Searcharxiv⌕ Search

arXiv subjects

William Y. C. Chen

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

At least 127 records · Page 7Linked to original sources
arXiv2008

Labeled Partitions with Colored Permutations

In this paper, we extend the notion of labeled partitions with ordinary permutations to colored permutations in the sense that the colors are endowed with a cyclic structure. We use labeled partitions with colored permutations to derive the generating function of the $\mathrm{fmaj}_k$ indices of colored permutations. The second result is a combinatorial treatment of a relation on the q-derangement numbers with respect to colored permutations which leads to the formula of Chow for signed permutations and the formula of Faliharimalala and Zeng [10] on colored permutations. The third result is an involution on permutations that implies the generating function formula for the signed q-counting of the major indices due to Gessel and Simon. This involution can be extended to signed permutations. In this way, we obtain a combinatorial interpretation of a formula of Adin, Gessel and Roichman.

math.CO↗
arXiv2008

The q-Log-convexity of the Generating Functions of the Squares of Binomial Coefficients

We prove a conjecture of Liu and Wang on the q-log-convexity of the polynomial sequence $\{\sum_{k=0}^n{n\choose k}^2q^k\}_{n\geq 0}$. By using Pieri's rule and the Jacobi-Trudi identity for Schur functions, we obtain an expansion of a sum of products of elementary symmetric functions in terms of Schur functions with nonnegative coefficients. Then the principal specialization leads to the q-log-convexity. We also prove that a technical condition of Liu and Wang holds for the squares of the binomial coefficients. Hence we deduce that the linear transformation with respect to the triangular array $\{{n\choose k}^2\}_{0\leq k\leq n}$ is log-convexity preserving.

math.CO↗
arXiv2008

On the Combinatorics of the Boros-Moll Polynomials

The Boros-Moll polynomials arise in the evaluation of a quartic integral. The original double summation formula does not imply the fact that the coefficients of these polynomials are positive. Boros and Moll proved the positivity by using Ramanujan's Master Theorem to reduce the double sum to a single sum. Based on the structure of reluctant functions introduced by Mullin and Rota along with an extension of Foata's bijection between Meixner endofunctions and bi-colored permutations, we find a combinatorial proof of the positivity. In fact, from our combinatorial argument one sees that it is essentially the binomial theorem that makes it possible to reduce the double sum to a single sum.

math.CO↗
arXiv2008

Derangement Polynomials and Excedances of Type B

Adopting the definition of excedances of type B due to Brenti, we give a type B analogue of the q-derangement polynomials. The connection between q-derangement polynomials and Eulerian polynomials naturally extends to the type B case. Based on this relation, we derive some basic properties of the q-derangement polynomials of type B, including the generating function formula, the Sturm sequence property, and the asymptotic normal distribution. We also show that the q-derangement polynomials are almost symmetric in the sense that the coefficients possess the spiral property.

math.CO↗
arXiv2008

A Reflection Principle for Three Vicious Walkers

We establish a reflection principle for three lattice walkers and use this principle to reduce the enumeration of the configurations of three vicious walkers to that of configurations of two vicious walkers. In the combinatorial treatment of two vicious walkers, we make connections to two-chain watermelons and to the classical ballot problem. Precisely, the reflection principle leads to a bijection between three walks $(L_1, L_2, L_3)$ such that $L_2$ intersects both $L_1$ and $L_3$ and three walks $(L_1, L_2, L_3)$ such that $L_1$ intersects $L_3$. Hence we find a combinatorial interpretation of the formula for the generating function for the number of configurations of three vicious walkers, originally derived by Bousquet-Mélou by using the kernel method, and independently by Gessel by using tableaux and symmetric functions.

cond-mat.stat-mech↗
arXiv2008

Pairs of Noncrossing Free Dyck Paths and Noncrossing Partitions

Using the bijection between partitions and vacillating tableaux, we establish a correspondence between pairs of noncrossing free Dyck paths of length $2n$ and noncrossing partitions of $[2n+1]$ with $n+1$ blocks. In terms of the number of up steps at odd positions, we find a characterization of Dyck paths constructed from pairs of noncrossing free Dyck paths by using the Labelle merging algorithm.

math.CO↗
arXiv2008

Faulhaber's Theorem on Power Sums

We observe that the classical Faulhaber's theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression $a+b, a+2b, ..., a+nb$ is a polynomial in $na+n(n+1)b/2$. While this assertion can be deduced from the original Fauhalber's theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for $r$-fold sums of powers without resorting to the notion of $r$-reflexive functions. We also provide formulas for the $r$-fold alternating sums of powers in terms of Euler polynomials.

math.CO↗
arXiv2008

Recurrence Relations for Strongly q-Log-Convex Polynomials

We consider a class of strongly q-log-convex polynomials based on a triangular recurrence relation with linear coefficients, and we show that the Bell polynomials, the Bessel polynomials, the Ramanujan polynomials and the Dowling polynomials are strongly q-log-convex. We also prove that the Bessel transformation preserves log-convexity.

math.CO↗
arXiv2008

Log-concavity and q-Log-convexity Conjectures on the Longest Increasing Subsequences of Permutations

Let $P_{n,k}$ be the number of permutations $π$ on [n]={1, 2,..., n} such that the length of the longest increasing subsequences of $π$ equals k, and let $M_{2n, k}$ be the number of matchings on [2n] with crossing number k. Define $P_n(x)= \sum_k P_{n,k}x^k$ and $M_{2n}(x)=\sum_{k} M_{2n,k}x^k$. We propose some conjectures on the log-concavity and q-log-convexity of the polynomials $P_n(x)$ and $M_{2n}(x)$. We also introduce the notions of $\infty$-q-log-convexity and $\infty$-q-log-concavity, and the notion of higher order log-concavity with respect to $\infty$-q-log-convex or $\infty$-q-log-concavity. A conjecture on the $\infty$-q-log-convexity of the Boros-Moll polynomials is presented. It seems that $M_{2n}(x)$ are log-concave of any order with respect to $\infty$-q-log-convexity.

math.CO↗
arXiv2008

The q-WZ Method for Infinite Series

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove nonterminating basic hypergeometric series identities. This observation enables us to extend the q-WZ method to identities on infinite series. As examples, we will give the q-WZ pairs for some classical identities such as the q-Gauss sum, the $_6ϕ_5$ sum, Ramanujan's $_1ψ_1$ sum and Bailey's $_6ψ_6$ sum.

math.CO↗
arXiv2008

Schur Positivity and the $q$-Log-convexity of the Narayana Polynomials

Using Schur positivity and the principal specialization of Schur functions, we provide a proof of a recent conjecture of Liu and Wang on the $q$-log-convexity of the Narayana polynomials, and a proof of the second conjecture that the Narayana transformation preserves the log-convexity. Based on a formula of Bränd$\mathrm{\acute{e}}$n which expresses the $q$-Narayana numbers as the specializations of Schur functions, we derive several symmetric function identities using the Littlewood-Richardson rule for the product of Schur functions, and obtain the strong $q$-log-convexity of the Narayana polynomials and the strong $q$-log-concavity of the $q$-Narayana numbers.

math.CO↗
arXiv2008

The srank Conjecture on Schur's $Q$-Functions

We show that the shifted rank, or srank, of any partition $λ$ with distinct parts equals the lowest degree of the terms appearing in the expansion of Schur's $Q_λ$ function in terms of power sum symmetric functions. This gives an affirmative answer to a conjecture of Clifford. As pointed out by Clifford, the notion of the srank can be naturally extended to a skew partition $λ/μ$ as the minimum number of bars among the corresponding skew bar tableaux. While the srank conjecture is not valid for skew partitions, we give an algorithm to compute the srank.

math.CO↗
arXiv2008

Partitions of $\mathbb{Z}_n$ into Arithmetic Progressions

We introduce the notion of arithmetic progression blocks or AP-blocks of $\mathbb{Z}_n$, which can be represented as sequences of the form $(x, x+m, x+2m, ..., x+(i-1)m) \pmod n$. Then we consider the problem of partitioning $\mathbb{Z}_n$ into AP-blocks for a given difference $m$. We show that subject to a technical condition, the number of partitions of $\mathbb{Z}_n$ into $m$-AP-blocks of a given type is independent of $m$. When we restrict our attention to blocks of sizes one or two, we are led to a combinatorial interpretation of a formula recently derived by Mansour and Sun as a generalization of the Kaplansky numbers. These numbers have also occurred as the coefficients in Waring's formula for symmetric functions.

math.CO↗
arXiv2008

Efficient Counting and Asymptotics of $k$-noncrossing tangled-diagrams

In this paper we enumerate $k$-noncrossing tangled-diagrams. A tangled-diagram is a labeled graph whose vertices are $1,...,n$ have degree $\le 2$, and are arranged in increasing order in a horizontal line. Its arcs are drawn in the upper halfplane with a particular notion of crossings and nestings. Our main result is the asymptotic formula for the number of $k$-noncrossing tangled-diagrams $T_{k}(n) \sim c_k n^{-((k-1)^2+(k-1)/2)} (4(k-1)^2+2(k-1)+1)^n$ for some $c_k>0$.

math.CO↗
arXiv2007

Converging to Gosper's Algorithm

Given two polynomials, we find a convergence property of the GCD of the rising factorial and the falling factorial. Based on this property, we present a unified approach to computing the universal denominators as given by Gosper's algorithm and Abramov's algorithm for finding rational solutions to linear difference equations with polynomial coefficients.

math.CA↗
arXiv2007

Crossings and nesting in tangled-diagrams

A tangled-diagram over $[n]=\{1,...,n\}$ is a graph of degree less than two whose vertices $1,...,n$ are arranged in a horizontal line and whose arcs are drawn in the upper halfplane with a particular notion of crossings and nestings. Generalizing the construction of Chen {\it et.al.} we prove a bijection between generalized vacillating tableaux with less than $k$ rows and $k$-noncrossing tangled-diagrams and study their crossings and nestings. We show that the number of $k$-noncrossing and $k$-nonnesting tangled-diagrams are equal and enumerate tangled-diagrams.

math.CO↗