BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

William Y. C. Chen

William Y. C. Chen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.NTmath.CAmath.HOmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
29works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2024arXiv

Breaking Cycles, the Odd Versus the Even

In an award-winning expository article, V. Pozdnyakov and J.M. Steele gave a beautiful demonstration of the ramifications of a basic bijection for permutations. The aim of this note is to connect this correspondence to a seemingly unrelated problem concerning odd cycles and even cycles, arising in the combinatorial study of the Cayley continuants by E. Munarini and D. Torri. In extreme cases, one encounters two special classes of permutations of $2n$ elements with the same cardinality. A bijection of this appealing relation has been found by E. Sayag. A combinatorial study of permutations with only odd cycles has been carried out by M. Bóna, A. Mclennan and D. White. We find an intermediate structure which leads to a linkage between these two antipodal structures. A recursive setting reveals that everything boils down to only one trick -- breaking the cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Cubic Equations Through the Looking Glass of Sylvester

One can hardly believe that there is still something to be said about cubic equations. To dodge this doubt, we will instead try and say something about Sylvester. He doubtless found a way of solving cubic equations. As mentioned by Rota, it was the only method in this vein that he could remember. We realize that in the generic case Sylvester's magnificent approach aimed at reduced cubic equations boils down to an easy identity expressing a cubic polynomial as a sum of two third powers of linear forms. This leads to Cardano's formula for cubic equations involving the third roots of unity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Combinatorial Telescoping for an Identity of Andrews on Parity in Partitions

Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the combinatorial objects corresponding to a sum of positive terms, we establish bijections that lead a telescoping relation. We illustrate this idea by giving a combinatorial telescoping relation for a classical identity of MacMahon. Recently, Andrews posed a problem of finding a combinatorial proof of an identity on the q-little Jacobi polynomials which was derived based on a recurrence relation. We find a combinatorial classification of certain triples of partitions and a sequence of bijections. By the method of cancelation, we see that there exists an involution for a recurrence relation that implies the identity of Andrews.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices

Let $Q_n$ denote the $n$-dimensional hypercube with the vertex set $V_n=\{0,1}^n$. A 0/1-polytope of $Q_n$ is a convex hull of a subset of $V_n$. This paper is concerned with the enumeration of equivalence classes of full-dimensional 0/1-polytopes under the symmetries of the hypercube. With the aid of a computer program, Aichholzer completed the enumeration of equivalence classes of full-dimensional 0/1-polytopes for $Q_4$, $Q_5$, and those of $Q_6$ up to 12 vertices. In this paper, we present a method to compute the number of equivalence classes of full-dimensional 0/1-polytopes of $Q_n$ with more than $2^{n-3}$ vertices. As an application, we finish the counting of equivalence classes of full-dimensional 0/1-polytopes of $Q_6$ with more than 12 vertices.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Han's Hook Length Formulas for Trees

Recently, Han obtained two hook length formulas for binary trees and asked for combinatorial proofs. One of Han's formulas has been generalized to k-ary trees by Yang. Sagan has found a probabilistic proof of Yang's extension. We give combinatorial proofs of Yang's formula for k-ary trees and the other formula of Han for binary trees. Our bijections are based on the structure of k-ary trees with staircase labelings.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Oscillating Rim Hook Tableaux and Colored Matchings

Motivated by the question of finding a type B analogue of the bijection between oscillating tableaux and matchings, we find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m-rim hook tableau is defined as a sequence $(λ^0,λ^1,...,λ^{2n})$ of Young diagrams starting with the empty shape and ending with the empty shape such that $λ^{i}$ is obtained from $λ^{i-1}$ by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook tableau is also called an oscillating domino tableau. When we restrict our attention to two column oscillating domino tableaux of length 2n, we are led to a bijection between such tableaux and noncrossing 2-colored matchings on $\{1, 2,..., 2n\}$, which are counted by the product $C_nC_{n+1}$ of two consecutive Catalan numbers. A 2-colored matching is noncrossing if there are no two arcs of the same color that are intersecting. We show that oscillating domino tableaux with at most two columns are in one-to-one correspondence with Dyck path packings. A Dyck path packing of length 2n is a pair (D, E), where D is a Dyck path of length 2n, and E is a dispersed Dyck path of length 2n that is weakly covered by D. So we deduce that Dyck path packings of length 2n are counted by $C_nC_{n+1}$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The Abel-Zeilberger Algorithm

We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial coefficients. This approach can be used to verify and discover identities involving harmonic numbers and derangement numbers. As examples, we use the Abel-Zeilberger algorithm to prove the Paule-Schneider identities, the Apery-Schmidt-Strehl identity, Calkin's identity and some identities involving Fibonacci numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

2-Log-concavity of the Boros-Moll Polynomials

The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Anti-lecture Hall Compositions and Overpartitions

We show that the number of anti-lecture hall compositions of n with the first entry not exceeding k-2 equals the number of overpartitions of n with non-overlined parts not congruent to $0,\pm 1$ modulo k. This identity can be considered as a refined version of the anti-lecture hall theorem of Corteel and Savage. To prove this result, we find two Rogers-Ramanujan type identities for overpartition which are analogous to the Rogers-Ramanjan type identities due to Andrews. When k is odd, we give an alternative proof by using a generalized Rogers-Ramanujan identity due to Andrews, a bijection of Corteel and Savage and a refined version of a bijection also due to Corteel and Savage.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Arithmetic Properties of Overpartition Pairs

Bringmann and Lovejoy introduced a rank for overpartition pairs and investigated its role in congruence properties of $\bar{pp}(n)$, the number of overpartition pairs of n. In particular, they applied the theory of Klein forms to show that there exist many Ramanujan-type congruences for the number $\bar{pp}(n)$. In this paper, we shall derive two Ramanujan-type identities and some explicit congruences for $\bar{pp}(n)$. Moreover, we find three ranks as combinatorial interpretations of the fact that $\bar{pp}(n)$ is divisible by three for any n. We also construct infinite families of congruences for $\bar{pp}(n)$ modulo 3, 5, and 9.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Congruences for Bipartitions with Odd Parts Distinct

Hirschhorn and Sellers studied arithmetic properties of the number of partitions with odd parts distinct. In another direction, Hammond and Lewis investigated arithmetic properties of the number of bipartitions. In this paper, we consider the number of bipartitions with odd parts distinct. Let this number be denoted by $pod_{-2}(n)$. We obtain two Ramanujan type identities for $pod_{-2}(n)$, which imply that $pod_{-2}(2n+1)$ is even and $pod_{-2}(3n+2)$ is divisible by 3. Furthermore, we show that for any $α\geq 1$ and $n\geq 0$, $ pod_{-2}(3^{2α+1}n+\frac{23\times 3^{2α}-7}{8})$ is a multiple of 3 and $pod_{-2}(5^{α+1}n+\frac{11\times 5^α+1}{4})$ is divisible by 5. We also find combinatorial interpretations for the two congruences modulo 2 and 3.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Han's Bijection via Permutation Codes

We show that Han's bijection when restricted to permutations can be carried out in terms of the cyclic major code and the cyclic inversion code. In other words, it maps a permutation $π$ with a cyclic major code $(s_1, s_2, ..., s_n)$ to a permutation $σ$ with a cyclic inversion code $(s_1,s_2, ..., s_n)$. We also show that the fixed points of Han's map can be characterized by the strong fixed points of Foata's second fundamental transformation. The notion of strong fixed points is related to partial Foata maps introduced by Björner and Wachs.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Interlacing Log-concavity of the Boros-Moll Polynomials

We introduce the notion of interlacing log-concavity of a polynomial sequence $\{P_m(x)\}_{m\geq 0}$, where $P_m(x)$ is a polynomial of degree m with positive coefficients $a_{i}(m)$. This sequence of polynomials is said to be interlacing log-concave if the ratios of consecutive coefficients of $P_m(x)$ interlace the ratios of consecutive coefficients of $P_{m+1}(x)$ for any $m\geq 0$. Interlacing log-concavity is stronger than the log-concavity. We show that the Boros-Moll polynomials are interlacing log-concave. Furthermore we give a sufficient condition for interlacing log-concavity which implies that some classical combinatorial polynomials are interlacing log-concave.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Labeled Ballot Paths and the Springer Numbers

The Springer numbers are defined in connection with the irreducible root systems of type $B_n$, which also arise as the generalized Euler and class numbers introduced by Shanks. Combinatorial interpretations of the Springer numbers have been found by Purtill in terms of Andre signed permutations, and by Arnol'd in terms of snakes of type $B_n$. We introduce the inversion code of a snake of type $B_n$ and establish a bijection between labeled ballot paths of length n and snakes of type $B_n$. Moreover, we obtain the bivariate generating function for the number B(n,k) of labeled ballot paths starting at (0,0) and ending at (n,k). Using our bijection, we find a statistic $α$ such that the number of snakes $π$ of type $B_n$ with $α(π)=k$ equals B(n,k). We also show that our bijection specializes to a bijection between labeled Dyck paths of length 2n and alternating permutations on [2n].

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees

The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Minimal Permutations and 2-Regular Skew Tableaux

Bouvel and Pergola introduced the notion of minimal permutations in the study of the whole genome duplication-random loss model for genome rearrangements. Let $\mathcal{F}_d(n)$ denote the set of minimal permutations of length $n$ with $d$ descents, and let $f_d(n)= |\mathcal{F}_d(n)|$. They derived that $f_{n-2}(n)=2^{n}-(n-1)n-2$ and $f_n(2n)=C_n$, where $C_n$ is the $n$-th Catalan number. Mansour and Yan proved that $f_{n+1}(2n+1)=2^{n-2}nC_{n+1}$. In this paper, we consider the problem of counting minimal permutations in $\mathcal{F}_d(n)$ with a prescribed set of ascents. We show that such structures are in one-to-one correspondence with a class of skew Young tableaux, which we call $2$-regular skew tableaux. Using the determinantal formula for the number of skew Young tableaux of a given shape, we find an explicit formula for $f_{n-3}(n)$. Furthermore, by using the Knuth equivalence, we give a combinatorial interpretation of a formula for a refinement of the number $f_{n+1}(2n+1)$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Noncrossing Linked Partitions and Large (3,2)-Motzkin Paths

Noncrossing linked partitions arise in the study of certain transforms in free probability theory. We explore the connection between noncrossing linked partitions and colored Motzkin paths. A (3,2)-Motzkin path can be viewed as a colored Motzkin path in the sense that there are three types of level steps and two types of down steps. A large (3,2)-Motzkin path is defined to be a (3,2)-Motzkin path for which there are only two types of level steps on the x-axis. We establish a one-to-one correspondence between the set of noncrossing linked partitions of [n+1] and the set of large (3,2)-Motzkin paths of length n. In this setting, we get a simple explanation of the well-known relation between the large and the little Schroder numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On Stanley's Partition Function

Stanley defined a partition function t(n) as the number of partitions $λ$ of n such that the number of odd parts of $λ$ is congruent to the number of odd parts of the conjugate partition $λ'$ modulo 4. We show that t(n) equals the number of partitions of n with an even number of hooks of even length. We derive a closed-form formula for the generating function for the numbers p(n)-t(n). As a consequence, we see that t(n) has the same parity as the ordinary partition function p(n) for any n. A simple combinatorial explanation of this fact is also provided.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Partially 2-Colored Permutations and the Boros-Moll Polynomials

We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Partition Identities for Ramanujan's Third Order Mock Theta Functions

We find two involutions on partitions that lead to partition identities for Ramanujan's third order mock theta functions $ϕ(-q)$ and $ψ(-q)$. We also give an involution for Fine's partition identity on the mock theta function f(q). The two classical identities of Ramanujan on third order mock theta functions are consequences of these partition identities. Our combinatorial constructions also apply to Andrews' generalizations of Ramanujan's identities.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Partitions and Partial Matchings Avoiding Neighbor Patterns

We obtain the generating functions for partial matchings avoiding neighbor alignments and for partial matchings avoiding neighbor alignments and left nestings. We show that there is a bijection between partial matchings avoiding three neighbor patterns (neighbor alignments, left nestings and right nestings) and set partitions avoiding right nestings via an intermediate structure of integer compositions. Such integer compositions are known to be in one-to-one correspondence with self-modified ascent sequences or $3\bar{1}52\bar{4}$-avoiding permutations, as shown by Bousquet-Mélou, Claesson, Dukes and Kitaev.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Permutation Tableaux and the Dashed Permutation Pattern 32-1

We give a solution to a problem posed by Corteel and Nadeau concerning permutation tableaux of length n and the number of occurrences of the dashed pattern 32--1 in permutations on [n]. We introduce the inversion number of a permutation tableau. For a permutation tableau T and the permutation $π$ obtained from T by the bijection of Corteel and Nadeau, we show that the inversion number of T equals the number of occurrences of the dashed pattern 32--1 in the reverse complement of $π$. We also show that permutation tableaux without inversions coincide with L-Bell tableaux introduced by Corteel and Nadeau.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

q-Hook Length Formulas for Signed Labeled Forests

A signed labeled forest is defined as a (plane) forest labeled by {1,2,..., n} along with minus signs associated to some vertices. Signed labeled forests can be viewed as an extension of signed permutations. We define the inversion number, the flag major index and the R-major index on signed labeled forests. They can be considered as type B analogues of the indices for labeled forests introduced by Bjorner and Wachs. The flag major index for signed labeled forests is based on the flag major index on signed permutations introduced by Adin and Roichman, whereas the R-major index for signed labeled forests is based on the R-major index that we introduce for signed permutations, which is closely related to the major defined by Reiner. We obtain q-hook length formulas by q-counting signed labelings of a given forest with respect to the above indices, from which we see that these three indices are equidistributed for signed labeled forests. Our formulas for the major indices and the inversion number are type B analogues of the formula due to Bjorner and Wachs. We also give a type D analogue with respect to the inversion number of even-signed labeled forests.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ratio Monotonicity of Polynomials Derived from Nondecreasing Sequences

The ratio monotonicity of a polynomial is a stronger property than log-concavity. Let P(x) be a polynomial with nonnegative and nondecreasing coefficients. We prove the ratio monotone property of P(x+1), which leads to the log-concavity of P(x+c) for any $c\geq 1$ due to Llamas and Mart\'ınez-Bernal. As a consequence, we obtain the ratio monotonicity of the Boros-Moll polynomials obtained by Chen and Xia without resorting to the recurrence relations of the coefficients.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The 2-log-convexity of the Apery Numbers

We present an approach to proving the 2-log-convexity of sequences satisfying three-term recurrence relations. We show that the Apery numbers, the Cohen-Rhin numbers, the Motzkin numbers, the Fine numbers, the Franel numbers of order 3 and 4 and the large Schroder numbers are all 2-log-convex. Numerical evidence suggests that all these sequences are k-log-convex for any $k\geq 1$ possibly except for a constant number of terms at the beginning.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Generating Function for the Dirichlet Series $L_m(s)$

The Dirichlet series $L_m(s)$ are of fundamental importance in number theory. Shanks defined the generalized Euler and class numbers in connection with these Dirichlet series, denoted by $\{s_{m,n}\}_{n\geq 0}$. We obtain a formula for the exponential generating function $s_m(x)$ of $s_{m,n}$, where m is an arbitrary positive integer. In particular, for m>1, say, $m=bu^2$, where b is square-free and u>1, we prove that $s_m(x)$ can be expressed as a linear combination of the four functions $w(b,t)\sec (btx)(\pm \cos ((b-p)tx)\pm \sin (ptx))$, where p is an integer satisfying $0\leq p\leq b$, $t|u^2$ and $w(b,t)=K_bt/u$ with $K_b$ being a constant depending on b. Moreover, the Dirichlet series $L_m(s)$ can be easily computed from the generating function formula for $s_m(x)$. Finally, we show that the main ingredient in the formula for $s_{m,n}$ has a combinatorial interpretation in terms of the m-signed permutations defined by Ehrenborg and Readdy. In principle, this answers a question posed by Shanks concerning a combinatorial interpretation for the numbers $s_{m,n}$.

0 citations0 reviewsNo code linkedOpen access