arXiv++ Combinatorics

We study six Eulerian-type polynomial families. We prove that the descent polynomials of derangements are real-rooted, settling the derangement part of a conjecture of S.~Fu, Z.~Lin, and J.~Zeng. The proof uses a compatible-pair recursion and finite-symbol stability. We also resolve the real-rootedness conjecture in OEIS \oeis{A335340}, strengthen the known rowwise real-rootedness of an even-top descent family to consecutive strict interlacing, and prove real-rootedness, consecutive interlacing, and real-rooted gamma-polynomials for U.~Shankar's super-Eulerian polynomials. A differential recurrence gives consecutive weak interlacing for ternary words counted by increasing runs. Finally, we prove stability of the peak-value refinement and consecutive interleaving of its positive weighted diagonals, settling a conjecture of P.~Alexandersson and O.~Nabawanda.

We prove that every monic palindromic real-rooted polynomial with nonnegative integer coefficients is the $h$-polynomial of a simplicial convex polytope. This resolves in the affirmative a longstanding problem circulated by Brenti since 2004.

Recently, Ehrenborg, Hetyei and Readdy expressed the toric $g$-polynomial of a simple polytope as a linear combination of a family of polynomials, called $g$-contribution polynomials, with coefficients given by the entries of its gamma-vector. They conjectured that these toric $g$-contribution polynomials are real-rooted. This paper proves this conjecture.

Bang (1976) proved the inequality for matrix permanents $\mathrm{per}^2(A) \geq 2^{-2n}\mathrm{per}(A \otimes J_2)$, where $J_2$ is the $2 \times 2$ all-ones matrix and $A$ is any $n \times n$ matrix with non-negative entries. We show that, if $A$ is any $n \times n$ real-valued matrix with rank at most two (possibly having negative entries), this inequality can be sharpened, replacing the constant $2^{-2n}$ by $1 / \binom{2n}{n} = (n!)^2 / (2n)! > 2^{-2n}$. We then show that this sharpened inequality also implies new inequalities for finite free convolutions of polynomials: if $p$ and $q$ are monic real-rooted polynomials of degree $n$, then $(p \boxplus_n q)(x)^2 \geq (p^2 \boxplus_{2n} q^2)(x)$ and $(p \boxtimes_n q)(x)^2 \geq (p^2 \boxtimes_{2n} q^2)(x)$ for all $x \in \mathbb{R}$, for $\boxplus_n$ and $\boxtimes_n$ the finite free additive and multiplicative convolution operations, respectively, on polynomials of degree $n$.

In this article, we show that for any bridgeless graph $G$, if its flow polynomial $F(G,x)$ has real zeros only, then $G$ is the dual of a chordal plane graph and each zero of $F(G,x)$ is an integer in the set $\{1,2,3\}$.

Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.

In this note we prove that in fixed dimension the Ehrhart $h^*$-polynomial of a lattice polytope of sufficiently large lattice width is real-rooted. In particular, this implies strict log-concavity and unimodality of the $h^*$-vector and answers a question of Averkov, Hofscheier and the author. For a lattice simplex we prove the analogous statement for its local $h^*$-polynomial, also called box polynomial. The proofs were found using ChatGPT 5.6 Sol and follow essentially directly from a result by Basu and Oertel that for large enough lattice width counting lattice points approximates the volume.

Let $T_n=K_{1,1,n}$, and let $P_n(x)$ denote the Kazhdan--Lusztig polynomial of its graphic matroid. We prove that, whenever $n\ge2$ and $0\leλ\le n/2$, the polynomial $P_n(x)+λx$ has exactly $\lfloor n/2\rfloor$ zeros, all of which are negative and simple. In particular, the Kazhdan--Lusztig polynomials of the graphic matroids of $T_n$ and $K_{2,n}$ are real-rooted. We also prove that, for $n\ge2$, the common polynomial $Z_{T_n}(x)=Z_{K_{2,n}}(x)$ has $n+1$ distinct negative zeros. The proofs use a common rational transformation, reducing the Kazhdan--Lusztig case to alternating sign evaluations at the zeros of a Chebyshev polynomial and the $Z$-polynomial case to a unit-circle criterion for self-inversive polynomials.

We construct, over every finite field, representable matroids whose Kazhdan-Lusztig polynomials are not unimodal. In particular, the conjectures that all Kazhdan-Lusztig polynomials of matroids are log-concave and that they are real-rooted are both false. Our examples are obtained by deleting points from finite projective geometries. More generally, we prove that, under a half-rank degree condition in each contraction quotient, the Kazhdan-Lusztig polynomial of every contraction enumerates the subspaces whose projective points lie in the corresponding deleted set, while the $Z$-polynomial agrees with that of the full projective geometry.

For a signing $σ$ of a $d$-regular graph, the spectrum of $A_σ$ depends only on the signs of cycles. We study the affine $\mathbb F_2$ family of signings making every short even cycle unbalanced, and show that averaging over it converts the sign problem of the Bilu-Linial conjecture into a counting problem: a master identity expresses the family-averaged trace as a parity-weighted sum over wrap classes confined to the span $W$ of the constraint cycles, and the family-averaged Ihara $L$-function diagonalizes so that every prime whose parity escapes $W$ contributes the Ramanujan rate $\sqrt{d-1}$ automatically. Uniform averaging over all signings, by contrast, provably cannot certify a spectral radius below the Kesten profile. We prove matched upper and lower bounds for the confined walk counts, a doubling injection from below, and from above an ear-decomposition encoding in which the number of fresh runs of a non-backtracking walk equals the cycle rank of its support, combined with a window lemma for bicycle-free graphs and a rank bound via the Moore bound for irregular graphs. Consequences include $\varepsilon$-versions of the Bilu-Linial conjecture: every $d$-regular graph that is subcritical at scale $\log n$, and every $d$-regular graph bicycle-free at radius $C\log\log n/δ$, admits a signing in the parity family with $ρ(A_σ)\le2\sqrt{d-1}(1+Cδ\log(1/δ))(1+o(1))$. We further identify the necessary hypotheses exactly ($K_d$-trapping; tree-burst gadgets), give an exact certificate on the hypercube, and record a decisive obstruction to two-sided interlacing: $\mathbb E_σ\det(xI-A_σ^2)$ is not real-rooted, already for the quadrilateral, where it equals $(x^2-4x+2)^2+4$.

Every polynomial with real non-negative coefficients yields a finite probability distribution after normalization. The Ehrhart $h^*$-polynomial of a lattice polytope $P$ is a non-negative integer polynomial that encodes the integer-point counts for positive integer dilations of $P$. We study the corresponding finite distributions, which we call $h^*$-distributions. We determine the mean and variance of these distributions, establish a connection between higher moments and Ehrhart polynomial coefficients, and study their cluster points in the $d$-dimensional probability simplex. We consider the special case of real-rooted $h^*$-distributions, applying existing tail bounds to obtain new linear inequalities for the coefficients of real-rooted $h^*$-polynomials arising from reflexive polytopes. We conclude by establishing sufficient conditions under which a sequence of real-rooted $h^*$-distributions is asymptotically normal, and we apply our results to various families of polytopes, including zonotopes and Pitman-Stanley polytopes.

We study the dimer model on two families of non-bipartite graphs on a torus. The first family is obtained by replacing degree $3$ vertices in a bipartite torus graph with triangles, while the second consists of corner graphs associated with bipartite torus graphs. We determine the relationship between the Newton polygons of these graphs and those of the underlying bipartite graphs. We also identify the primitive edge vectors of the Newton polygons with the homology classes of the zig-zag paths. We further consider the marginal polynomials obtained by restricting to monomials corresponding to a boundary side of the Newton polygon. For the triangular lattice and the Fisher graph of the hexagonal lattice, we prove that these polynomials are real-rooted and obtain an explicit factorization of their roots. Finally, we introduce new local moves, including a move on non-planar graphs, that preserve the dimer partition functions up to a scale.

For $m\in\mathbb{Z}_{\geq 0}$, let \[ N_{n,m}(x)={}_2F_1(-n,-n-m;m+1;x), \] which specializes to the Narayana polynomials of types $B$ and $A$ for $m=0$ and $m=1$, respectively. We prove that the associated basis transformation \[ T_{N_m}\left(\sum_{k=0}^n a_kx^k\right)=\sum_{k=0}^n a_kN_{k,m}(x) \] maps every real-rooted polynomial with nonnegative coefficients to a real-rooted polynomial. The proof is based on the rectangular additive convolution of polynomials. We then apply this result to products of lower triangular matrices and obtain a general criterion ensuring that their row generating functions remain real-rooted. As consequences, we recover this property for powers and products of several classical triangular matrices, including Pascal's triangle, the Stirling triangles, and the Narayana triangles of types $A$ and $B$. We conclude with conjectures concerning the squares of the Eulerian and Delannoy triangles.

Order polytopes for generalized snake posets were recently studied by von Bell et al. (2022), and are known to be unimodularly equivalent to strength-one flow polytopes for acyclic directed graphs strongly dual to generalized snake posets. Lee, Vindas-Meléndez, and Wang (2026) conjectured that the Ehrhart $h^*$-polynomials of these order polytopes are real-rooted. We prove this conjecture using a connection between these $h^*$-polynomials and non-nesting rook polynomials, which were recently introduced by Alexandersson and Jal (2024+) in connection with $P$-Eulerian polynomials for width two posets.

We study tilings of rectangular boards using unit squares together with a single type of big tile shaped as a Ferrers diagram. We derive generating functions for these tilings, prove real-rootedness and interlacing properties of associated independence polynomials, and establish connections with several sequences in the OEIS. Our results touch on tilings involving L-shaped polyominoes, fault-free tilings, and cylindric variants. We prove that tiling polynomials for two-column Ferrers shapes are real-rooted and form interlacing sequences.

Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate $\ell^p$-generalizations of the finite free Stam inequality for real-rooted polynomials under finite free additive convolution $\boxplus_n$. At $p=2$, FlowBoost finds the Hermite pair as the unique equality case and reveals the spectral structure of the linearized convolution map at this extremal point. As a result, we conjecture that the singular values of the doubly stochastic coupling matrix $E_n$ on the mean-zero subspace are ${2^{-k/2}:k=1,\ldots,n-1}$, independent of $n$. Conditional on this conjecture, we obtain a sharp local stability constant and the finite free CLT convergence rate, both uniform in $n$. We introduce a one-parameter family of $p$-Stam inequalities using $\ell^p$-Fisher information and prove that the Hermite pair itself violates the inequality for every $p>2$, with the sign of the deficit governed by the $\ell^p$-contraction ratio of $E_n$. Systematic computation via FlowBoost supports the conjecture that $p^*\!=2$ is the sharp critical exponent. For $p<2$, the extremal configurations undergo a bifurcation, meaning that they become non-matching pairs with bimodal root structure, converging back to the Hermite diagonal only as $p\to 2^-$. Our findings demonstrate that FlowBoost, can be an effective tool of mathematical discovery in infinite-dimensional extremal problems.

Motivated by the combinatorics of parking functions and their several generalizations, we study the Ehrhart theory of Pitman--Stanley polytopes. We prove a strong positivity phenomenon called \emph{magic positivity} for the Ehrhart polynomials of these polytopes, which in turn implies that their $h^*$-polynomials are real-rooted (and thus log-concave and unimodal). Our result is achieved by interpreting the coefficients of these Ehrhart polynomials in the \emph{magic basis} in terms of the number of \emph{lucky cars} in a modified parking protocol. Furthermore, we address the magic positivity problem for $\mathbf{y}$-generalized permutohedra and also discuss a \emph{magic} combinatorial interpretation for them, under the assumption that the input parameters are sufficiently large.

We develop a family-based route to unicyclic graphs whose independence polynomials are unimodal but not log-concave. The paper is organized around one flagship statement: for the explicit KL-closure family $U_{k,r}$, with $r\in\{0,1,2\}$ and admissible $k$, the independence polynomial is unimodal but not log-concave. The proof separates the closure polynomial into a dominant convolution term and a real-rooted correction term. On the non-log-concavity side, we prove symbolically that the penultimate log-concavity inequality fails for every admissible parameter. On the unimodality side, we prove that the main convolution term $H_{k,r}=G_kF_{k+r}$ is unimodal with a controlled mode, using a combination of exact coefficient formulas, Ibragimov's strong-unimodality principle, and a residue-class growth argument. Darroch localization and an adjacent-mode bridge lemma then transfer that mode statement to the full KL closure polynomial. This yields an explicit infinite family of unicyclic graphs with unimodal but non-log-concave independence polynomials. In the exact range $k\le 400$, we further verify that the penultimate break is unique and determine exact mode formulas for $H_{k,r}$, the binomial correction term, and $I(U_{k,r};x)$ itself. The paper also places the KL family inside a broader reservoir program involving Galvin, Ramos-Sun, and Bautista-Ramos trees, from which we obtain substantial universal exact theorems for finite ranges.

We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.

In this paper, we study type $B$ set partitions without zero block. Certain classes of these partitions, such as merging-free and separated partitions (enumerated by the Dowling numbers), are investigated. We show that these classes are in bijection with type $B$ set partitions. The intersection of these two classes is also studied, and we prove that their block-generating polynomials are real-rooted. Finally, we study the descent statistics on the class of permutations obtained by flattening type $B$ merging-free partitions. Using the valley-hopping action, we prove the Gamma-positivity of the descent distribution and provide a combinatorial interpretation of the Gamma-coefficients. We also show that the descent statistic is homomesic under valley-hopping.