arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Cindy C. Y. Gu

4 paper(s) by this author · All BibTeX
2026-10-18
Inequalities for Higher-Order Logarithmic Differences of Boros--Moll Coefficients
Let $d_i(m)$ denote the coefficient of $x^i$ in the Boros--Moll polynomial $P_m(x)$. We prove that the sequence $\{d_{i-1}(m)d_{i+1}(m)/d_i(m)^2\}_{i=1}^{m-1}$ is strictly log-concave for every $m\ge4$, settling a conjecture of Chen and Gu. For every $m\ge 3$, we show that the consecutive ratios $d_i(m)/d_{i-1}(m)$ form a strictly log-convex sequence for $1\le i\le\lfloor m/2\rfloor+1$ and a strictly log-concave sequence for $\lfloor m/2\rfloor\le i\le m$, as conjectured by Zhao. For each fixed $i\ge 1$, we establish $(-1)^{r-1}Δ_m^r\log d_i(m)>0$ for $r\ge 2$ and $m\ge i$, where $Δ_m$ denotes the forward difference with respect to $m$. For $i=0$, we obtain the opposite inequalities. We thereby prove a conjecture of Jiang and Wang and two further conjectures of Zhao. For every integer $i\ge 0$, we prove strict infinite log-monotonicity of the sequence $\{d_i(m-1)d_i(m+1)/(\binom{m}{i+1}d_i(m)^2)\}_{m\ge i+1}$, strengthening another conjecture of Zhao. We further show that every positive real power of the binomially normalized ratio sequence is a Hausdorff moment sequence with a strictly totally positive Hankel matrix. We also obtain asymptotic formulas for forward differences of arbitrary fixed order, resolving a conjecture of Jiang and Wang. For integers $i\ge 1$, we prove that the sequence $\{2^n d_i(i)/d_i(i+n)\}_{n\ge 0}$ is an infinitely divisible Hausdorff moment sequence and that the Hankel matrix $[1/d_i(i+j+k)^τ]_{j,k\ge 0}$ is strictly totally positive for every $τ>0$. For the integral interpolation, we show that the Hausdorff moment property of the normalized reciprocals holds precisely when the positive real coefficient index is at least $1/4$.
Minimal Permutations and 2-Regular Skew Tableaux
Published • View Publication • BIB
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)$.
Higher Order Log-Concavity in Euler's Difference Table
Published • View Publication • BIB
Let $e_{n}^k$ be the entries in the classical Euler's difference table. We consider the array $d_{n}^{k}=e_n^k/k!$ for $0\leq k \leq n$, where $d_n^k$ can be interpreted as the number of k-fixed-points-permutations of [n]. We show that the sequence $\{d_n^k\}_{0\leq k\leq n}$ is 2-log-concave and reverse ultra log-concave for any given n.
2008-08-31 v2
The Reverse Ultra Log-Concavity of the Boros-Moll Polynomials
Published • View Publication • BIB
We prove the reverse ultra log-concavity of the Boros-Moll polynomials. We further establish an inequality which implies the log-concavity of the sequence $\{i!d_i(m)\}$ for any $m\geq 2$, where $d_i(m)$ are the coefficients of the Boros-Moll polynomials $P_m(a)$. This inequality also leads to the fact that in the asymptotic sense, the Boros-Moll sequences are just on the borderline between ultra log-concavity and reverse ultra log-concavity. We propose two conjectures on the log-concavity and reverse ultra log-concavity of the sequence $\{d_{i-1}(m) d_{i+1}(m)/d_i(m)^2\}$ for $m\geq 2$.