arXiv++ Combinatorics

We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to similar proofs in the literature, our injection is local in the sense that it proceeds by moving a single edge from one forest to the other. In the particular case of the complete graph, this gives a new combinatorial proof of log-concavity of unsigned Stirling numbers of the first kind where a pair of permutations is transformed into a new pair by breaking a single cycle in the first permutation and gluing two cycles in the second permutation, while all the other spectator cycles are left untouched.

In this paper, we prove that if $f(x)=\sum_{k=0}^n{n\choose k}a_kx^k$ is a polynomial with real zeros only, then the sequence $\{a_k\}_{k=0}^n$ satisfies the following inequalities $a_{k+1}^2(1-\sqrt{1-c_k})^2/a_k^2 \leq(a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}^2(1+\sqrt{1-c_k})^2/a_k^2$, where $c_k=a_ka_{k+2}/a_{k+1}^2$. This inequality holds for the coefficients of the Riemann $ξ$-function, the ultraspherical, Laguerre and Hermite polynomials, and the partition function. Moreover, as a corollary, for the partition function $p(n)$, we prove that $p(n)^2-p(n-1)p(n+1)$ is increasing for $n\geq 55$. We also find that for a positive and log-concave sequence $\{a_k\}_{k\geq 0}$, the inequality $a_{k+2}/a_k\leq (a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}/a_{k-1}$ is the sufficient condition for both the $2$-log-concavity and the higher order Tur{á}n inequalities of $\{a_k\}_{k\geq 0}$. It is easy to verify that if $a_k^2\geq ra_{k+1}a_{k-1}$, where $r\geq 2$, then the sequence $\{a_k\}_{k\geq 0}$ satisfies this inequality.

Bessenrodt and Ono's work on additive and multiplicative properties of the partition function and DeSalvo and Pak's paper on the log-concavity of the partition function have generated many beautiful theorems and conjectures. In January 2020, the first author gave a lecture at the MPIM in Bonn on a conjecture of Chern--Fu--Tang, and presented an extension (joint work with Neuhauser) involving polynomials. Partial results have been announced. Bringmann, Kane, Rolen and Tripp provided complete proof of the Chern--Fu--Tang conjecture, following advice from Ono to utilize a recently provided exact formula for the fractional partition functions. They also proved a large proportion of Heim--Neuhauser's conjecture, which is the polynomization of Chern--Fu--Tang's conjecture. We prove several cases, not covered by Bringmann et.\ al. Finally, we lay out a general approach for proving the conjecture.

The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.

Horizontal and vertical generating functions and recursion relations have been investigated by Comtet for triangular double sequences. In this paper we investigate the horizontal and vertical log-concavity of triangular sequences assigned to polynomials which show up in combinatorics, number theory and physics. This includes Laguerre polynomials, the Pochhammer polynomials, the D'Arcais and Nekrasov--Okounkov polynomials.

Identifying graphs with extremal properties is an extensively studied topic in spectral graph theory. In this paper, we study the log-concavity of a type of iteration sequence related to the $α$-normal weighted incidence matrices which is presented by Lu and Man for computing the spectral radius of hypergraphs. By using results obtained about the sequence and the method of some edge operations, we will characterize completely extremal k-graphs with the smallest spectral radius among bicyclic hypergraphs with given size.

The classical Eulerian Numbers $A_{n,k}$ are known to be log-concave. Let $P_{n,k}$ and $Q_{n,k}$ be the number of even and odd permutations with $k$ excedances. In this paper, we show that $P_{n,k}$ and $Q_{n,k}$ are log-concave. For this, we introduce the notion of strong synchronisation and ratio-alternating which are motivated by the notion of synchronisation and ratio-dominance, introduced by Gross, Mansour, Tucker and Wang in 2014. We show similar results for Type B Coxeter Groups. We finish with some conjectures to emphasize the following: though strong synchronisation is stronger than log-concavity, many pairs of interesting combinatorial families of sequences seem to satisfy this property.

Let $Q_n(z)$ be the polynomials associated with the Nekrasov-Okounkov formula $$\sum_{n\geq 1} Q_n(z) q^n := \prod_{m = 1}^\infty (1 - q^m)^{-z - 1}.$$ In this paper we partially answer a conjecture of Heim and Neuhauser, which asks if $Q_n(z)$ is unimodal, or stronger, log-concave for all $n \geq 1$. Through a new recursive formula, we show that if $A_{n,k}$ is the coefficient of $z^k$ in $Q_n(z)$, then $A_{n,k}$ is log-concave in $k$ for $k \ll n^{1/6}/\log n$ and monotonically decreasing for $k \gg \sqrt{n}\log n$. We also propose a conjecture that can potentially close the gap.

The harmonic polytope and the bipermutahedron are two related polytopes which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We study the bipermutahedron. We show that its faces are in bijection with the vertex-labeled and edge-labeled multigraphs with no isolated vertices; the generating function for its f-vector is a simple evaluation of the three variable Rogers--Ramanujan function. We show that the h-polynomial of the bipermutahedral fan is the biEulerian polynomial, which counts bipermutations according to their number of descents. We construct a unimodular triangulation of the product of n triangles that is combinatorially equivalent to (the triple cone over) the nth bipermutahedral fan. Ehrhart theory then gives us a formula for the biEulerian polynomial, which we use to show that this polynomial is real-rooted and that the h-vector of the bipermutahedral fan is log-concave and unimodal. We describe all the deformations of the bipermutahedron; that is, the ample cone of the bipermutahedral toric variety. We prove that among all polytopes in this family, the bipermutahedron has the largest possible symmetry group. Finally, we show that the Minkowski quotient of the bipermutahedron and the harmonic polytope equals 2.

We consider the higher order Turán inequality and higher order log-concavity for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{α_i}} + o\left( \frac{1}{n^β} \right), \] where $m$ is a nonnegative integer, $α_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < α_1 < α_2 < \cdots < α_m < β. \] We will give a sufficient condition on the higher order Turán inequality and the $r$-log-concavity for $n$ sufficiently large. Most $P$-recursive sequences fall in this frame. At last, we will give a method to find the exact $N$ such that for any $n>N$, the higher order Turán inequality holds.

In analogy with the classical Kazhdan-Lusztig polynomials for Coxeter groups, Elias, Proudfoot and Wakefield introduced the concept of Kazhdan-Lusztig polynomials for matroids. It is known that both the classical Kazhdan-Lusztig polynomials and the matroid Kazhdan-Lusztig polynomials can be considered as special cases of the Kazhdan-Lusztig-Stanley polynomials for locally finite posets. In the framework of Kazhdan-Lusztig-Stanley polynomials, we study the inverse of Kazhdan-Lusztig-Stanley functions and define the inverse Kazhdan-Lusztig polynomials for matroids. We also compute these polynomials for boolean matroids and uniform matroids. As an unexpected application of the inverse Kazhdan-Lusztig polynomials, we obtain a new formula to compute the Kazhdan-Lusztig polynomials for uniform matroids. Similar to the Kazhdan-Lusztig polynomial of a matroid, we conjecture that the coefficients of its inverse Kazhdan-Lusztig polynomial are nonnegative and log-concave.

It is well-known that measures whose density is the form $e^{-V}$ where $V$ is a uniformly convex potential on $\RR^n$ attain strong concentration properties. In search of a notion of log-concavity on the discrete hypercube, we consider measures on $\{-1,1\}^n$ whose multi-linear extension $f$ satisfies $\log \nabla^2 f(x) \preceq β\Id$, for $β\geq 0$, which we refer to as $β$-semi-log-concave. We prove that these measures satisfy a nontrivial concentration bound, namely, any Hamming Lipchitz test function $\varphi$ satisfies $\Var_ν[\varphi] \leq n^{2-C_β}$ for $C_β>0$. As a corollary, we prove a concentration bound for measures which exhibit the so-called Rayleigh property. Namely, we show that for measures such that under any external field (or exponential tilt), the correlation between any two coordinates is non-positive, Hamming-Lipschitz functions admit nontrivial concentration.

Motivated by the classical Eulerian number, descent and excedance numbers in the hyperoctahedral groups, an triangular array from staircase tableaux and so on, we study a triangular array $[\mathcal {T}_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} \mathcal {T}_{n,k}=λ(a_0n+a_1k+a_2)\mathcal {T}_{n-1,k}+(b_0n+b_1k+b_2)\mathcal {T}_{n-1,k-1}+\frac{cd}λ(n-k+1)\mathcal {T}_{n-1,k-2} \end{equation*} with $\mathcal {T}_{0,0}=1$ and $\mathcal {T}_{n,k}=0$ unless $0\le k\le n$. We derive a functional transformation for its row-generating function $\mathcal{T}_n(x)$ from the row-generating function $A_n(x)$ of another array $[A_{n,k}]_{n,k}$ satisfying a two-term recurrence relation. Based on this transformation, we can get properties of $\mathcal {T}_{n,k}$ and $\mathcal{T}_n(x)$ including nonnegativity, log-concavity, real rootedness, explicit formula and so on. Then we extend the famous Frobenius formula, the $γ$ positivity decomposition and the David-Barton formula for the classical Eulerian polynomial to those of a generalized Eulerian polynomial. We also get an identity for the generalized Eulerian polynomial with the general derivative polynomial. Finally, we apply our results to an array from the Lambert function, a triangular array from staircase tableaux and the alternating-runs triangle of type $B$ in a unified approach.

Lopéz de Medrano-Rinćon-Shaw defined Chern-Schwartz-MacPherson cycles for an arbitrary matroid $M$ and proved by an inductive geometric argument that the unsigned degrees of these cycles agree with the coefficients of $T(M;x,0)$, where $T(M;x,y)$ is the Tutte polynomial associated to $M$. Ardila-Denham-Huh recently utilized this interpretation of these coefficients in order to demonstrate their log-concavity. In this note we provide a direct calculation of the degree of a matroid Chern-Schwartz-MacPherson cycle by taking its stable intersection with a generic tropical linear space of the appropriate codimension and showing that the weighted point count agrees with the Gioan-Las Vergnas refined activities expansion of the Tutte polynomial.

Log-concavity and almost log-convexity of the cycle index polynomials were proved by Bender and Canfield [J. Combin. Theory Ser. A 74 (1996)]. Schirmacher [J. Combin. Theory Ser. A 85 (1999)] extended them to $q$-log-concavity and almost $q$-log-convexity. Motivated by these, we consider the stronger properties total positivity from the Toeplitz matrix and Hankel matrix. By using exponential Riordan array methods, we give some criteria for total positivity of the triangular matrix of coefficients of the generalized cycle index polynomials, the Toeplitz matrix and Hankel matrix of the polynomial sequence in terms of the exponential formula, the logarithmic formula and the fractional formula, respectively. Finally, we apply our criteria to some triangular arrays satisfying some recurrence relations, including Bessel triangles of two kinds and their generalizations, the Lah triangle and its generalization, the idempotent triangle and some triangles related to binomial coefficients, rook polynomials and Laguerre polynomials. We not only get total positivity of these lower-triangles, and $q$-Stieltjes moment properties and $3$-$q$-log-convexity of their row-generating functions, but also prove that their triangular convolutions preserve Stieltjes moment property. In particular, we solve a conjecture of Sokal on $q$-Stieltjes moment property of rook polynomials.

It has been conjectured by W. Chen that the distribution of the length of the longest increasing subsequence in a uniformly random permutation is log-concave. We propose a stronger version of this conjecture which involves the Kronecker coefficients of the symmetric group.

This paper presents the log-concavity of the $m$-gonal figurate number sequences. The author gives and proves the recurrence formula for $m$-gonal figurate number sequences and its corresponding quotient sequences which are found to be bounded. Finally, the author also show that for $m\geq 3$, the sequence $\big \{S_n(m)\big\}_{n\geq 1}$ of $m$-gonal figurate numbers is a log-concave.

Given an Eulerian digraph, we consider the genus distribution of its face-oriented embeddings. We prove that such distribution is log-concave for two families of Eulerian digraphs, thus giving a positive answer for these families to a question asked in Bonnington, Conder, Morton and McKenna (2002). Our proof uses real-rooted polynomials and the representation theory of the symmetric group $\mathbb{S}_n$. The result is also extended to some factorizations of the identity in $\mathbb{S}_n$ that are rotation systems of some families of one-face constellations.

The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.

Let $A$ be an $n \times n$ positive definite Hermitian matrix with all eigenvalues between 1 and 2. We represent the permanent of $A$ as the integral of some explicit log-concave function on ${\Bbb R}^{2n}$. Consequently, there is a fully polynomial randomized approximation scheme (FPRAS) for the permanent of $A$.