arXiv++ Combinatorics

The $r$th-order Stirling cycle and subset triangles and their associated quasi-Eulerian triangles were introduced by Deb and Sokal in their study of total positivity of combinatorial triangles. They found combinatorial interpretations for the cycle case in terms of Stirling permutations, leaving the subset case open. For $r\ge 2$, we resolve this problem by introducing the notion of Stirling subset permutations along with a consecutive-descent statistic. We also prove the conjectures of Deb and Sokal on the row log-concavity of the higher-order Stirling cycle and subset triangles. Our log-concavity proofs rely on Sagan's criterion, Dey's extension, and strengthened log-concavity inequalities discovered with the assistance of ChatGPT 5.6.

We prove that every cluster monomial of type $A_n$ is log-concave and unimodal with respect to its Laurent expansion in a fan initial cluster. We derive a coefficient formula for laminar interval products arising from compatible diagonals in the polygon model. In even rank, we reduce log-concavity in fan coordinates to log-concavity along integer lines. In odd rank, we use convolution to handle the coefficient sums arising from the fan substitution. This gives partial affirmative answers to the log-concavity conjecture of Chen-Huang-Sun and the unimodality conjecture of Chen. Our result also complements Shen's study on the supports of products of canonical basis elements for cluster X-varieties of type $A_n$.

The parametrization of Borel orbits on classical symmetric varieties G/K is traditionally described via the combinatorics of clans, developed by Matsuki, Oshima, Wyser, and Yamamoto. We provide a quiver-theoretic reproof of the indexing sets for G = GL_n or Sp_{2n} and K a two-block Levi subgroup using Gabriel's Theorem. This method reveals an unexpected independence from algebraic closure: while orbit counts for most symmetric varieties are sensitive to the base field, our parametrizations remain valid over arbitrary fields for GL_n, and in characteristic not 2 for Sp_{2n}. We further reformulate these sets via matchings in corona graphs to derive new enumerative results, including the ultra log-concavity of orbit counts.

The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.

This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory: (i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations. (ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity. (iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation. We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.

The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--Pólya class. Brändén [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--Pólya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(λ_n)_{n\ge0}$. In this paper, we prove that the sequence $(λ_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.

Using a dioid algebraic structure, we show that there exist spherically symmetric trees $T(2^m 1^n)$ whose independence polynomials exhibit multiple breaks in log-concavity, a result established by estimating the asymptotic growth of the coefficients of these polynomials. Provided the parameter $n$ is a sufficiently large odd integer, the number of breaks is bounded below by the Jacobsthal numbers. This result affirmatively answers a question raised by D. Galvin [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].

We study Ehrhart coefficients, the integer decomposition property, and unimodular triangulations for two families of Hermite normal form simplices considered by Bruckamp, Caicedo, and Juhnke. The first family consists of simplices of the form $S_{\boldsymbol{a}}=\mathrm{conv}(0,e_1,\ldots,e_{d-1},\boldsymbol{a})$, where $\boldsymbol{a}=(a_1,\ldots,a_{d-1},N)$, and the second consists of the simplices $T_{d,N}=\mathrm{conv}\bigl(0,e_1,\ldots,e_{d-2},(d-2,\ldots,d-2,d-1,0),(1,\ldots,1,N)\bigr)$. For the family $T_{d,N}$, we prove unimodality of the Ehrhart coefficients in every dimension and determine the log-concave and real-rooted cases. For the subfamily $S_{\boldsymbol{a}}$ with $\boldsymbol{a}=(N-q,\ldots,N-q,N)$, we characterize both the integer decomposition property and the existence of a regular unimodular triangulation via a congruence condition on a negative continued fraction. We also give an arithmetic test for the integer decomposition property and finite triangulation tests for $S_{\boldsymbol{a}}$ with arbitrary $\boldsymbol{a}$. These results address three open questions of Bruckamp, Caicedo, and Juhnke.

In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).

We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.

Unit interval graphs admit a classical Catalan encoding by area sequences, or equivalently by Dyck paths. We introduce a new statistic on these graphs, called peak-nesting, defined as the largest number of peak-cliques containing a common vertex. Through the correspondence with area sequences, peak-nesting also defines a new statistic on Dyck paths. We construct a bijection between Dyck paths and bicolored Motzkin paths which simultaneously records peak-nesting and the number of peaks. This yields a refinement of Touchard's identity, coefficient formulas involving Dyck paths of given height, and new combinatorial interpretations for several sequences recorded in the OEIS. We study the peak and peak-nesting polynomials over all unit interval graphs and over the subclasses of connected, Abelian, $2$-nested, and reduced unit interval graphs. For these families we obtain closed formulas, recurrences, and, for the symmetric cases, nonnegative expansions in the gamma-basis with explicit combinatorial interpretations. We also investigate questions regarding the location of zeros and the log-concavity of the corresponding coefficient sequences: some of the polynomial families form generalized Sturm sequences, whereas others fail to be real-rooted but appear nevertheless to have log-concave coefficients. Finally, we relate the peak-clique presentation of a unit interval graph to lattice path matroids.

In this paper, we first construct two graphs $\mathcal{F}(l,m,t,s)$ and $\mathcal{G}_4(l,m,t,s)$. Then we introduce the graph $\mathcal{F}_n(l,m,t,s)$ and the operator $E_{\mathcal{G}_4(l,m,t,s)}$, where $\mathcal{F}_n(l,m,t,s)$ is defined by identifying the vertex $c$ of $n$ copies of $\mathcal{F}(l,m,t,s)$, and $E_{\mathcal{G}_4(l,m,t,s)}$ is defined by replacing each edge of $G$ with $\mathcal{G}_4(l,m,t,s)$, for any simple finite undirected graph $G$. By using the theory of Lorentzian polynomials, we prove that the independence polynomials of the graphs $\mathcal{F}_n(l,m,t,s)$ and the image graphs of $E_{\mathcal{G}_4(l,m,t,s)}$ are log-concave, respectively. As applications, our results not only make progress on the conjecture of Alavi, Malde, Schwenk and Erdős, but also generalize the results of Bendjeddou and Hardiman.

We prove that the Ehrhart $h^*$-polynomial of a rank-two matroid with exactly three parallel classes is real-rooted whenever its smallest parallel class has size at most three. This bound is sharp: the rank-two matroids with parallel-class sizes $(4,561,600)$ and $(4,a,a+29)$, for all sufficiently large integers $a$, have $h^*$-polynomials that are not real-rooted. These counterexamples disprove Ferroni's real-rootedness conjecture. Their duals are cycle matroids of theta graphs and have the same $h^*$-polynomials. Nevertheless, every matroid of rank two or corank two has a positive $h^*$-coefficient sequence that is ultra log-concave of order equal to the polynomial's degree. In particular, the unimodality conjecture holds in both cases.

Scott and Sokal asked whether every homogeneous polynomial with the half-plane property has a completely monotone negative power. We answer this question affirmatively and prove the Riesz-positivity conjecture of Michałek, Sturmfels, Uhler and Zwiernik, restated by Kozhasov, Michałek and Sturmfels: in $n$ variables, every exponent $α\ge4096n^2$ is admissible, independently of the degree and coefficients. For complete hyperbolic polynomials the Riesz density is strictly log-concave, with relative Gaussian error at most $512n^2/α$ and explicit curvature bounds. We characterize admissible exponents by a common spectral Dirichlet law, prove $n\le m+αm(m-1)$ with its equality case, and obtain the sharp degree-dependent gap $0<α<1/(2(m-1))$ whenever the degree-$m$ polynomial has a nonlinear irreducible factor. A nonnegative fourth-order defect of $-\log p$ vanishes at one point precisely for products of positive integer powers of Euclidean Jordan determinants. We classify the corresponding logarithmic Monge-Amp{è}re equation and answer the question of Etingof, Kazhdan and Polishchuk about polynomial multiplicative Legendre transforms within irreducible complete hyperbolic polynomials; the general question has counterexamples, the Clifford quartics of Kogiso and Sato. The classification extends to reducible polynomials under a boundary-visibility hypothesis, and asymptotic common-power formulas for the Riesz densities force exact Jordan formulas.

We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences. The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.

In this paper, three ($q$-)log-convexity or concavity properties related to the $d$-Hoggatt numbers are investigated. First, we show that the $d$-Hoggatt transformation preserves the log-convexity of a sequence. We then establish the strong $q$-log-concavity of a $q$-analog of $d$-Hoggatt numbers. Finally, we prove the core result of this work, namely, the sequence of $d$-Hoggatt polynomials is strongly $q$-log-convex, based on the theory of Schur functions.

We prove log-concavity for the determinant-weighted external semi-activity polynomials of all real flat arrangements, strengthening their known trapezoidality. In fact, we establish a quadratic coefficient inequality that, in rank at least two, implies power concavity with an explicit rank-dependent exponent. The proof uses a new mixed-volume representation of the coefficients and the Alexandrov--Fenchel inequality. A more general formula gives a factorization and log-concavity for related mixed-volume sequences. As applications, we establish the conjectured log-concavity for spanning-tree polynomials of Eulerian digraphs, extend it to positive circulation weights, and strengthen the coefficient inequalities for Alexander polynomials of special alternating links.

We show that the cohomology rings of toric Richardson varieties in the Grassmannian are finite truncations of the ring of quasisymmetric functions. We exhibit an affine paving of each such variety whose cell closures give rise to the basis of fundamental quasisymmetric functions. We similarly interpret the homology of these varieties in terms of the ring of noncommutative symmetric functions and show that the expansion of the homological class of any torus-invariant subvariety into the affine paving basis agrees with the expansion of a corresponding generalized noncommutative ribbon function into the ribbon basis. By taking the direct limit of all toric Richardson varieties, we obtain an ind-variety equipped with a weak $H$-group structure whose cohomology is the Hopf algebra of quasisymmetric functions. We conjecture that it is isomorphic to a similar $H$-group constructed by Baker--Richter. As a byproduct, we deduce that the $f$-vectors of shard polytopes are log-concave, making the first progress on a question of Ferroni--Schröter for matroid base polytopes.

This paper studies the antichain polynomials of $[k]\times P$, where $P$ is a connected minuscule poset. We give a formula for the number of antichains, counted by size, of an arbitrary poset. Using this formula, we present necessary and sufficient conditions for the palindromicity of antichain polynomials for two infinite families of connected minuscule posets. We show that, for every connected minuscule poset $P$, if the antichain polynomial of $[k]\times P$ is palindromic, then it has only real and strictly negative zeros. This result, in particular, gives an affirmative answer to Ding-Dong's conjecture about $γ$-positivity of the antichain polynomial of $[k]\times P$. By constructing a bijection between antichains and labeled Dyck paths, we also give a layer-refined enumeration of the antichains in $[2]\times[m]\times[n]$. We establish a relation between such antichains and Clar covers of the hexagonal flakes $O(2,m,n)$, thus prove a conjectured determinantal formula for a family of Zhang-Zhang polynomials. Real-rootedness and stability results are also obtained when the shortest chain has length at most two. Finally, we present infinitely many connected Peck posets whose antichain polynomials are not unimodal, disproving the log-concavity conjecture of Ding and Dong.

We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.