arXiv subjects

William Y. C. Chen

Publications and source records attributed to William Y. C. Chen.

At least 73 records · Page 4Linked to original sources

arXiv2012

The Sorting Index and Permutation Codes

In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group, and asked for a combinatorial proof of this fact. In answer to the question of Petersen, we observe a connection between the sorting index and the B-code of a permutation defined by Foata and Han, and we show that the bijection of Foata and Han serves the purpose of mapping $(inv,rl\textrm{-}min)$ to $(sor,cyc)$. We also give a type $B$ analogue of the Foata-Han bijection, and we derive the quidistribution of $(inv_B,{\rm Lmap_B},{\rm Rmil_B})$ and $(sor_B,{\rm Lmap_B},{\rm Cyc_B})$ over signed permutations. So we get a combinatorial interpretation of Petersen's equidistribution of $(inv_B,nmin_B)$ and $(sor_B,l_B')$. Moreover, we show that the six pairs of set-valued statistics $\rm (Cyc_B,Rmil_B)$, $\rm(Cyc_B,Lmap_B)$, $\rm(Rmil_B,Lmap_B)$, $\rm(Lmap_B,Rmil_B)$, $\rm(Lmap_B,Cyc_B)$ and $\rm(Rmil_B,Cyc_B)$ are equidistributed over signed permutations. For Coxeter groups of type $D$, Petersen showed that the two statistics $inv_D$ and $sor_D$ are equidistributed. We introduce two statistics $nmin_D$ and $\tilde{l}_D'$ for elements of $D_n$ and we prove that the two pairs of statistics $(inv_D,nmin_D)$ and $(sor_D,\tilde{l}_D')$ are equidistributed.

math.CO↗

arXiv2012

Branden's Conjectures on the Boros-Moll Polynomials

We prove two conjectures of Brändén on the real-rootedness of polynomials $Q_n(x)$ and $R_n(x)$ which are related to the Boros-Moll polynomials $P_n(x)$. In fact, we show that both $Q_n(x)$ and $R_n(x)$ form Sturm sequences. The first conjecture implies the 2-log-concavity of $P_n(x)$, and the second conjecture implies the 3-log-concavity of $P_n(x)$.

math.CO↗

arXiv2012

An Overpartition Analogue of Bressoud's Theorem of Rogers-Ramanujan Type

For $k\geq i\geq 1$, let $B_{k,i}(n)$ denote the number of partitions of $n$ such that part 1 appears at most $i-1$ times, two consecutive integers l and $l+1$ appear at most $k-1$ times and if l and $l+1$ appear exactly $k-1$ times then the total sum of the parts l and $l+1$ is congruent to $i-1$ modulo 2. Let $A_{k,i}(n)$ denote the number of partitions with parts not congruent to $i$, $2k-i$ and $2k$ modulo $2k$. Bressoud's theorem states that $A_{k,i}(n)=B_{k,i}(n)$. Corteel, Lovejoy, and Mallet found an overpartition analogue of Bressoud's theorem for $i=1$, that is, for partitions not containing nonoverlined part 1. We obtain an overpartition analogue of Bressoud's theorem in the general case. For $k\geq i\geq 1$, let $D_{k,i}(n)$ denote the number of overpartitions of $n$ such that the nonoverlined part 1 appears at most $i-1$ times, for any integer $l$, $l$ and nonoverlined $l+1$ appear at most $k-1$ times and if the parts $l$ and the nonoverlined part $l+1$ appear exactly $k-1$ times then the total sum of the parts $l$ and nonoverlined part $l+1$ is congruent to the number of overlined parts that are less than $l+1$ plus $i-1$ modulo 2. Let $C_{k,i}(n)$ denote the number of overpartitions with the nonoverlined parts not congruent to $\pm i$ and $2k-1$ modulo $2k-1$. We show that $C_{k,i}(n)=D_{k,i}(n)$. This relation can also be considered as a Rogers-Ramanujan-Gordon type theorem for overpartitions.

math.CO↗

arXiv2011

Extended Zeilberger's Algorithm for Identities on Bernoulli and Euler Polynomials

We present a computer algebra approach to proving identities on Bernoulli polynomials and Euler polynomials by using the extended Zeilberger's algorithm given by Chen, Hou and Mu. The key idea is to use the contour integral definitions of the Bernoulli and Euler numbers to establish recurrence relations on the integrands. Such recurrence relations have certain parameter free properties which lead to the required identities without computing the integrals.

math.CO↗

arXiv2011

The Rogers-Ramanujan-Gordon Theorem for Overpartitions

Let $B_{k,i}(n)$ be the number of partitions of $n$ with certain difference condition and let $A_{k,i}(n)$ be the number of partitions of $n$ with certain congruence condition. The Rogers-Ramanujan-Gordon theorem states that $B_{k,i}(n)=A_{k,i}(n)$. Lovejoy obtained an overpartition analogue of the Rogers-Ramanujan-Gordon theorem for the cases $i=1$ and $i=k$. We find an overpartition analogue of the Rogers-Ramanujan-Gordon theorem in the general case. Let $D_{k,i}(n)$ be the number of overpartitions of $n$ satisfying certain difference condition and $C_{k,i}(n)$ be the number of overpartitions of $n$ whose non-overlined parts satisfy certain congruences condition. We show that $C_{k,i}(n)=D_{k,i}(n)$. By using a function introduced by Andrews, we obtain a recurrence relation which implies that the generating function of $D_{k,i}(n)$ equals the generating function of $C_{k,i}(n)$. We also find a generating function formula of $D_{k,i}(n)$ by using Gordon marking representations of overpartitions, which can be considered as an overpartition analogue of an identity of Andrews for ordinary partitions.

math.CO↗

arXiv2011

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.

math.CO↗

arXiv2011

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}$.

math.CO↗

arXiv2011

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.

math.CA↗

arXiv2011

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.

math.CO↗

arXiv2011

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.

math.CO↗

arXiv2010

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}$.

math.CO↗

arXiv2010

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)$.

math.CO↗

arXiv2010

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.

math.CO↗

arXiv2010

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.

math.CO↗

arXiv2010

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.

math.CO↗

arXiv2010

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.

math.CO↗

arXiv2010

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].

math.CO↗

arXiv2010

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.

math.CO↗