arXiv++ Combinatorics

We introduce and study the r-Lah distribution whose definition involves r-Stirling numbers of both kinds. We compute its expectation and variance, show its log-concavity and prove limit theorems for this distribution. We use these results to prove threshold phenomena for convex cones generated by random walks and to analyze the probability of unique recovery of sparse monotone signals from linear measurements.

Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of the cross-product inequality by Brightwell--Felsner--Trotter. The proofs are based on a multivariate generalization of the Ahlswede--Daykin inequality.

Given a graph $G$, its genus polynomial is $Γ_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture states that the genus polynomial of every graph is log-concave. It was further conjectured by Stahl that the genus polynomial of every graph has only real roots, however this was later disproved. We identify several examples of cubic graphs whose genus polynomials, in addition to having at least one non-real root, have a quadratic factor that is non-log-concave when factored over the real numbers.

We show that the number $A(n,m)$ of partitions with $m$ even parts and largest hook length $n$ is strongly unimodal with mode [(n-1)/4] for $n\ge 6$. We establish this result by induction, using a $5$-term recurrence due to Lin, Xiong and Yan, and two $4$-term recurrences obtained by Zeilberger's algorithm. The sequence $A(n,m)$ is not log-concave. Using Möbius transformation and the method of interlacing zeros, we obtain that every zero of every generating function $\sum_m A(n,m)z^m$ lies on the left half part of the circle |z-1|=2. Moreover, as a direct application of Wang and Zhang's characterization of root geometry of polynomial sequences that satisfy a recurrence of type $(1,1)$, we see that all these zeros are densely distributed on the half circle.

The trapezoidal Fox conjecture states that the coefficient sequence of the Alexander polynomial of an alternating knot is unimodal. We are motivated by a harder question, the strong Fox conjecture, which asks whether the coefficient sequence of the Alexander polynomial of alternating knots is actually log-concave. Our approach is to introduce a polynomial $Δ(t)$ associated to a Christoffel word and to prove that its coefficient sequence is log-concave. This implies the strong Fox conjecture for two-bridge knots.

Stanley's inequalities for partially ordered sets establish important log-concavity relations for sequences of linear extensions counts. Their extremals however, i.e., the equality cases of these inequalities, were until now poorly understood with even conjectures lacking. In this work, we solve this problem by providing a complete characterization of the extremals of Stanley's inequalities. Our proof is based on building a new ``dictionary" between the combinatorics of partially ordered sets and the geometry of convex polytopes, which captures their extremal structures.

Recently, the higher order Turán inequalities for the Boros-Moll sequences $\{d_\ell(m)\}_{\ell=0}^m$ were obtained by Guo. In this paper, we show a different approach to this result. Our proof is based on a criterion derived by Hou and Li, which need only checking four simple inequalities related to sufficiently sharp bounds for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$. In order to do so, we adopt the upper bound given by Chen and Gu in studying the reverse ultra log-concavity of Boros-Moll polynomials, and establish a desired lower bound for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$ which also implies the log-concavity of $\{\ell! d_\ell(m)\}_{\ell=0}^m$ for $m\geq 2$. We also show a sharper lower bound for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$ which may be available for some deep results on inequalities of Boros-Moll sequences.

We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.

We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to a paper by Iarrobino. The goal of this note is to address two general questions left open by Iarrobino's work: 1) Given the integer pair $(r,t)$, are all level Hilbert functions of codimension $r$ and type $t$ log-concave? 2) How about pure $O$-sequences with the same parameters? Iarrobino's main results consisted of a positive answer to 1) for $r=2$ and any $t$, and for $(r,t)=(3,1)$. Further, he proved that the answer to 1) is negative for $(r,t)=(4,1)$. Our chief contribution to 1) is to provide a negative answer in all remaining cases, with the exception of $(r,t)=(3,2)$, which is still open in any characteristic. We then propose a few detailed conjectures specifically on level Hilbert functions of codimension 3 and type 2. As for question 2), we show that the answer is positive for all pairs $(r,1)$; negative for $(r,t)=(3,4)$; and negative for any pair $(r,t)$ with $r\ge 4$ and $2\le t\le r+1$. Interestingly, the main case that remains open is again $(r,t)=(3,2)$. Further, we conjecture that, in analogy with the behavior of arbitrary level Hilbert functions, log-concavity fails for pure $O$-sequences of any codimension $r\ge 3$ and type $t$ large enough.

It is proven that a conjecture of Tao (2010) holds true for log-concave random variables on the integers: For every $n \geq 1$, if $X_1,\ldots,X_n$ are i.i.d. integer-valued, log-concave random variables, then $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n}) + \frac{1}{2}\log{\Bigl(\frac{n+1}{n}\Bigr)} - o(1) $$ as $H(X_1) \to \infty$, where $H$ denotes the (discrete) Shannon entropy. The problem is reduced to the continuous setting by showing that if $U_1,\ldots,U_n$ are independent continuous uniforms on $(0,1)$, then $$ h(X_1+\cdots+X_n + U_1+\cdots+U_n) = H(X_1+\cdots+X_n) + o(1) $$ as $H(X_1) \to \infty$, where $h$ stands for the differential entropy. Explicit bounds for the $o(1)$-terms are provided.

Recently, much attention has been given to various inequalities among partition functions. For example, Nicolas, {and later DeSavlvo--Pak,} proved that $p(n)$ is eventually log-concave, and Ji--Zang showed that the cranks are eventually unimodal. This has led to a flurry of recent activity generalizing such results in different directions. At the same time, Stanton recently made deep conjectures on the positivity of certain polynomials associated to ranks and cranks of partitions, with the ultimate goal of pointing the way to ``deeper'' structure refining ranks and cranks. These have been shown to be robust in recent works, which have identified further infinite families of such conjectures in the case of colored partitions. In this paper, we employ the Circle Method to prove unimodality for ranks. As a corollary, we prove Stanton's original conjecture. This points to future study of the positive, integral coefficients Stanton conjectured to exist, hinting at new combinatorial structure yet to be uncovered.

We establish a connection between the algebraic geometry of the type B permutohedral toric variety and the combinatorics of delta-matroids. Using this connection, we compute the volume and lattice point counts of type B generalized permutohedra. Applying tropical Hodge theory to a new framework of "tautological classes of delta-matroids," modeled after certain vector bundles associated to realizable delta-matroids, we establish the log-concavity of a Tutte-like invariant for a broad family of delta-matroids that includes all realizable delta-matroids. Our results include new log-concavity statements for all (ordinary) matroids as special cases.

Let $f: {\Bbb R}^n \longrightarrow {\Bbb R}$ be a positive definite quadratic form and let $y \in {\Bbb R}^n$ be a point. We present a fully polynomial randomized approximation scheme (FPRAS) for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x)}$, provided the eigenvalues of $f$ lie in the interval roughly between $s$ and $e^{s}$ and for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x-y)}$, provided the eigenvalues of $f$ lie in the interval roughly between $e^{-s}$ and $s^{-1}$ for some $s \geq 3$. To compute the first sum, we represent it as the integral of an explicit log-concave function on ${\Bbb R}^n$, and to compute the second sum, we use the reciprocity relation for theta functions. We then apply our results to test the existence of many short integer vectors in a given subspace $L \subset {\Bbb R}^n$, to estimate the distance from a given point to a lattice, and to sample a random lattice point from the discrete Gaussian distribution.

We use the geometry of the stellahedral toric variety to study matroids. We identify the valuative group of matroids with the cohomology ring of the stellahedral toric variety, and show that valuative, homological, and numerical equivalence relations for matroids coincide. We establish a new log-concavity result for the Tutte polynomial of a matroid, answering a question of Wagner and Shapiro-Smirnov-Vaintrob on Postnikov-Shapiro algebras, and calculate the Chern-Schwartz-MacPherson classes of matroid Schubert cells. The central construction is the "augmented tautological classes of matroids," modeled after certain vector bundles on the stellahedral toric variety.

In the $1970$s, Nicolas proved that the partition function $p(n)$ is log-concave for $ n > 25$. In \cite{HNT21}, a precise conjecture on the log-concavity for the plane partition function $\func{pp}(n)$ for $n >11$ was stated. This was recently proven by Ono, Pujahari, and Rolen. In this paper, we provide a general picture. We associate to double sequences $\{g_d(n)\}_{d,n}$ with $g_d(1)=1$ and $$0 \leq g_{d}\left( n\right) - n^{d}\leq g_{1}\left( n\right) \left( n-1\right) ^{d-1}$$ polynomials $\{P_n^{g_d}(x)\}_{d,n}$ given by \begin{equation*} \sum_{n=0}^{\infty} P_n^{g_d}(x) \, q^n := \func{exp}\left( x \sum_{n=1}^{\infty} g_d(n) \frac{q^n}{n} \right) =\prod_{n=1}^{\infty} \left( 1 - q^n \right)^{-x f_d(n)}. \end{equation*} We recover $ p(n)= P_n^{σ_1}(1)$ and $\func{pp}\left( n\right) = P_n^{σ_2}(1)$, where $σ_d (n):= \sum_{\ell \mid n} \ell^d$ and $f_d(n)= n^{d-1}$. Let $n \geq 6$. Then the sequence $\{P_n^{σ_d}(1)\}_d$ is log-concave for almost all $d$ if and only if $n$ is divisible by $3$. Let $\func{id}(n)=n$. Then $P_n^{\func{id}}(x) = \frac{x}{n} L_{n-1}^{(1)}(-x)$, where $L_{n}^{\left( α\right) }\left( x\right) $ denotes the $α$-associated Laguerre polynomial. In this paper, we invest in Turán inequalities \begin{equation*} Δ_{n}^{g_d}(x) := \left( P_n^{g_d}(x) \right)^2 - P_{n-1}^{g_d}(x) \, P_{n+1}^{g_d}(x) \geq 0. \end{equation*} Let $n \geq 6$ and $0 \leq x < 2 - \frac{12}{n+4}$. Then $n$ is divisible by $3$ if and only if $Δ_{n}^{g_d}(x) \geq 0$ for almost all $d$. Let $n \geq 6$ and $n \not\equiv 2 \pmod{3}$. Then the condition on $x$ can be reduced to $x \geq 0$. We determine explicit bounds. As an analogue to Nicolas' result, we have for $g_1= \func{id}$ that $Δ_{n}^{\func{id}}(x) \geq 0$ for all $x \geq 0 $ and all $n$.

In this paper, we present monotone sequences of lower and upper bounds on the Perron value of a nonngeative matrix, and we study their strict monotonicity. Using those sequences, we provide two combinatorial applications. One is to improve bounds on Perron values of rooted trees in combinatorial settings, in order to find characteristic sets of trees. The other is to generate log-concave and log-convex sequences through the monotone sequences.

We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $Δ_k(n)$ satisfies the order $d$ Turán inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $Δ_k(a)Δ_k(b)\geΔ_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.

Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and Pólya-Szegö as well as the Almkavist's estimation.

Let $\overline{N}_2(a,c,n)$ be the number of overpartitions of $n$ whose the $M_2$-rank is congruent to $a$ modulo $c$. In this paper, we obtain the asymptotic formula of $\overline{N}_2(a,c,n)$ utilizing the Ingham Tauberian Theorem. As applications, we derive inequalities concerning with $\overline{N}_2(a,c,n)$ including its strict concavity and log-concavity.

Here we examine the number of ways to partition an integer $n$ into $k$th powers when $n$ is large. Simplified proofs of some asymptotic results of Wright are given using the saddle-point method, including exact formulas for the expansion coefficients. The convexity and log-concavity of these partitions is shown for large $n$, and the stronger conjectures of Ulas are proved. The asymptotics of Wright's generalized Bessel functions are also treated.