arXiv++ Combinatorics

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.

We study the Ooms multiplicities of Frobenius maximal parabolics $W(a,b)$ of type~$A$. For $a=mb+r$ with $1\le r<b$, the Euclidean algorithm relates their potential histograms to those of the smaller algebra $W(r,b-r)$. We prove strict unimodality for every positive coprime pair: the multiplicities increase strictly to the equal central values at eigenvalues $0$ and $1$, then decrease strictly. This strengthens the recent maximal-parabolic unimodality theorem of Giaquinto, Irving, Lauve, and Mastnak. We also prove log-concavity for the unbounded families $W(mb\pm t,b)$, where $t\in\{1,2,3\}$, $b>t$, $\gcd(b,t)=1$, and $m\ge1$. These results cover every Frobenius case with smaller block at most $8$, and also smaller block $10$. For each fixed residue class, we then prove that log-concavity of the whole family is determined by finitely many initial spectra. The finite cutoff is obtained symbolically. Exact integer verification of the resulting finite lists proves strict internal log-concavity whenever the smaller block is at most $128$, with no bound on the larger block. The unrestricted log-concavity conjecture is not proved here.

The permanent and mixed discriminant of positive matrices are classic problems for which we do not expect an efficient algorithm for exact computation. Thus much work has been done to understand how well we can bound and approximately compute these quantities. One line of research in this area begins with the results of the first author, where van der Waerden lower bounds of $\frac{n!}{n^n}$ are proven for doubly stochastic inputs for both problems, using a simple proof via stable polynomials. Along with the bound itself, the same techniques are used to show that the permanent and mixed discriminant are uniquely minimized at a certain natural symmetric input. In this paper, we generalize those results in two ways. First, we extend the unique minimization results beyond doubly stochastic inputs to other marginals which are near doubly stochastic. This yields the first such unique minimization results for the mixed discriminant beyond the doubly stochastic case. We also discuss why one cannot hope similar results to hold in general for all marginals. Second, we extend the unique minimization result for real stable polynomials to strongly log-concave (aka Lorentzian) polynomials in the doubly stochastic case. This captures an analogous previous result on unique minimization for the mixed volume. Finally, we discuss various open problems related to these results.

We prove that the independence sequence of every sufficiently large forest is unimodal. The result follows from establishing log-concavity on a central interval of the sequence, along with monotonicity of the initial and final segments. The main analytic step is a central limit theorem for the size of a random independent set sampled with the hard-core model, uniform over all forests and over an interval of positive fugacities.

Let $(d_i(n))_{i=0}^n$ be the Boros--Moll coefficient sequence. We prove that, for every integer $n\ge1$, the polynomial \[ M_n(x)=\sum_{i=0}^n \bigl(d_i(n)^2-d_{i-1}(n)d_{i+1}(n)\bigr)x^i \] has only simple negative zeros, which strictly interlace those of the Narayana polynomial of the same degree. This proves a conjecture of Chen, Yang, and Zhang and, by Brändén's preservation theorem, settles the infinite log-concavity conjecture of Boros and Moll. The proof uses an expansion of the reversed and normalized form of $M_n(x)$ in derivatives of the Narayana polynomial, together with estimates for the weights and partial sums of the normalized derivatives.

Grünbaum asked whether every planar convex body admits, for every $0\leq t\leq 1/4$, two orthogonal lines cutting it into pieces with cyclically ordered areas $t,t,1/2-t,1/2-t$. Bárány posed the analogous question for well-behaved planar measures and conjectured that the answer there is negative. We confirm Bárány's conjecture in a particularly robust form: for every fixed $0<t<1/4$ we construct smooth, strictly positive, centrally symmetric, strongly log-concave measures arbitrarily close to the standard Gaussian for which the prescribed partition does not exist. In contrast, we prove that the partition exists for every $t$ whenever the measure is invariant under an orientation-reversing affine involution. We also exhibit a $96$-point counterexample for which no pair of perpendicular lines produces cyclic counts $8,8,40,40$.

We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.

Gao and Xie conjectured that the coefficients of the ordinary, unnormalized inverse Kazhdan-Lusztig polynomial of every matroid are log-concave with no internal zeros. We give counterexamples and prove locality and composition formulas for deletions of projective charts. For every finite field and every nonempty finite set S contained in {2, 3, ...}, these formulas yield simple 3-connected matroids whose negative internal Turán determinants occur exactly at S. Their coefficients are positive and strictly decreasing. The polynomial degree can be prescribed above max S, and all selected Turán ratios can tend to zero simultaneously. The universal first-index inequality remains open.

We prove that the multiplicities of every symmetric $Q$-polynomial association scheme form a log-concave sequence. This resolves the 1984 unimodality conjecture of Bannai and Ito and establishes both related inequalities conjectured by Stanton. Our proof is a novel application of strong subadditivity and weak monotonicity inequalities for quantum entropy.

The Boros-Moll sequences $\{d_i(m)\}_{0\leq i\leq m}$ are defined as $$d_i(m)=2^{-2m}\sum_{k=i}^m 2^k \binom{2m-2k}{m-k}\binom{m+k}{k}\binom{k}{i}.$$ Consider the ratio sequence $$u_i(m)=\frac{d_{i-1}(m)d_{i+1}(m)}{d_i(m)^2}.$$ Chen and Gu conjectured that $\{u_i(m)\}_{2\leq i \leq m-2}$ is both reverse ultra log-concave and log-concave. In this paper, we prove the reverse ultra log-concavity conjecture using bounds of Chen-Gu and Zhao, and prove the log-concavity conjecture asymptotically by showing that $\{u_i(m)\}_{2\leq i \leq m-2}$ is strictly log-concave for all sufficiently large $m$. The key ingredient in the latter result is a recurrence of Kauers and Paule, which we interpret as a nonlinear discrete dynamical system through a backward map. We construct an approximation to the ratio sequence using its stable limiting fixed point and combine localization and contraction arguments with finite-difference estimates and separate interior and edge analyses to obtain the desired strict log-concavity.

For a nonzero real polynomial $p$, let $\W(p)$ denote the numerator of its ordinary generating function. We prove that if the coefficients of both $\W(p)$ and $\W(q)$ are nonnegative and log-concave with no internal zeros, then so are the coefficients of $\W(pq)$. This provides an affirmative answer to a question of Brändén, Ferroni, and Jochemko. As applications, we derive corresponding results for finite products and for Cartesian products of lattice polytopes, answering a question of Ferroni and Higashitani.

We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.

For a finite subset $I$ of positive integers, the descent polynomial $\mathcal{D}(I;n)$ counts the number of permutations in $S_n$ that have descent set $I$. We generalize descent polynomials by considering permutations with a specific subset $S$ of common inversions called $\mathbf{h}$-inversions, where $\mathbf{h} = (\mathbf{h}(1), \mathbf{h}(2), \ldots )$ is a weakly increasing sequence of positive integers such that $\mathbf{h}(i)> i$. We prove that this more general count, denoted by $\mathcal{I}_\mathbf{h}(S;n)$, is also a polynomial. We give three explicit expansions for $\mathcal{I}_\mathbf{h}(S;n)$, prove the coefficients for two of these expansions are log-concave, and define a graded generalization.

Let \(S\) be a smooth projective complex surface with irregularity \(q=h^{1,0}(S)\) and geometric genus \(g=h^{2,0}(S)\), and let \(S^{[n]}\) denote its Hilbert scheme of \(n\) points. We prove that, for every \(n\ge0\), the sequence \[ \left(h^{p,0}\bigl(S^{[n]}\bigr)\right)_{p=0}^{2n} \] is log-concave if and only if \(g\le\binom{q+1}{2}\). Moreover, log-concavity of all these sequences is already equivalent to log-concavity of the sequence for \(n=2\). We also prove that these sequences are unimodal for every \(n\ge0\) if and only if \(q\ge1\) or \(g=0\), and that this condition is already detected by the sequence for \(n=1\).

We define an invariant of alternating links---a homogeneous, four-variable Laurent polynomial---that encodes the symmetrized Alexander polynomial, the signature, and other topological data. Along the way, we extend a spanning tree formulation of the Alexander polynomial due to Murasugi and Stoimenow from special alternating links to all alternating links. This project is motivated by Fox's trapezoidal conjecture; accordingly, we prove certain sequences associated to our invariant are trapezoidal for all alternating links. We also conjecture our polynomial has $M$-convex support, and that it satisfies symmetry and log-concavity properties. We prove a partial symmetry result.

Let $F_k(G)$ be the $k$-token graph of a finite graph with nonnegative edge weights, and let $A_k$ and $D_k$ be its weighted adjacency and degree matrices. For every $-1\leq\vartheta\leq1$, we prove that $k\mapstoλ_{\max}(A_k+\vartheta D_k)$ is discretely concave. Complement symmetry then makes this sequence nondecreasing up to the middle level. At $\vartheta=1$ and $\vartheta=0$, this gives the signless-Laplacian and adjacency spectral-radius monotonicity conjectures of Apte, Parekh, and Sud. The spectral result follows from a finite-time theorem: for every $t\geq0$, the heat contents $\binom{n}{k}^{-1}\mathbf{1}^{*}e^{t(A_k+\vartheta D_k)}\mathbf{1}$ are log-concave in $k$. We encode all token levels in one Lorentzian polynomial. A four-variable operator symbol proves preservation by each edge heat gate, and the Lie-Trotter formula passes this preservation to the full semigroup. Large-time growth rates recover the top eigenvalues. The same construction also yields Lorentzian polynomials from top spectral projections. Finally, we show that the local symbol certifies exactly the parameter range $[-1,1]$.

In 1971, Mason conjectured that the numbers of independent sets of fixed size in a matroid constitute an ultra log-concave sequence. In 2020, this conjecture was proven by Brändén and Huh and independently by Anari, Liu, Gharan and Vinzant. Recently, this result was extended to $M^\natural$-concave functions. In this note, we make the next step by proving it for $M_2^\natural$-concave functions. This shows the same property for the intersection of any pair of matroids (which itself may not be a matroid). Furthermore, we show that this can not be further extended to the intersections of three matroids by including a counterexample of partition matroids.

Given a word over a finite alphabet, consider the sequence that counts, for each length, the number of distinct subsequences of that length. In 1976, Chase proved that this sequence is log-concave. His proof uses a triangular array indexed by the prefixes of the word together with a meticulous analysis of ratios of several sums. We instead decompose according to the first letter, which reduces the proof to a weighted average.

We use the Pfaffian minor summation formula together with Jacobi--Trudi Toeplitz matrices to derive Pfaffian expansions in skew Schur functions. This yields explicit Schur expansions for several generating functions involving products of skew Schur functions. In particular, using sparse skew-symmetric matrices, we provide a Pfaffian proof of a Schur-positive identity arising in the study of the $q$-log-convexity of the Narayana polynomials. As the main application, we prove that the Baxter polynomials form a $q$-log-convex sequence. We further show that the Baxter transformation defined by the refined Baxter numbers preserves log-convexity. Finally, by realizing the $q$-refined Baxter numbers as principal specializations of rectangular Schur functions, we prove that the array of $q$-refined Baxter numbers is $q$-log-concave both along each row and along each column. Both $q$-log-concavity results extend naturally to the $q$-analogues of the $d$-Hoggatt numbers.