polynomial
11422 papers tagged with this keyword
Unimodality for IDP Lattice Simplices of Prime Normalized Volume
Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.
Laurent Symmetric Functions
We describe the ring of Laurent symmetric polynomials in terms of generators and relations, giving an analogue of the Fundamental Theorem of Symmetric Polynomials. We extend the Hall inner product, and give an algebraic proof that the Laurent Schur polynomials form an orthonormal basis of this ring. In the case of infinitely many variables, we realize the ring of Laurent symmetric functions as a direct limit of inverse limits, and relate them to characters of rational and algebraic representations of general linear groups.
Hamiltonicity of graphs of acyclic orientations and acyclic polynomials
We study the graph $\mathcal{AO}(G)$ of acyclic orientations of a graph $G$. Two acyclic orientations are adjacent in this graph if they disagree on the orientation of a single arc. In particular, we focus on the Hamiltonicity of the graphs $\mathcal{AO}(G)$.
Using two methods of pattern lacing which generalize the zig-zag method of Brenner, Cardinal, McConville, Merino and Mütze, we characterize which multipaths are $\mathcal{AO}$-Hamiltonian. Moreover, we give a criterion for the gluing of a multipath on a given graph to preserve $\mathcal{AO}$-Hamiltonicity. Building towards an inductive certification of $\mathcal{AO}$-Hamiltonicity via the (open) ear decomposition of 2-connected graphs, we propose three ways of gluing several multipaths to a given graph.
In addition, we define the acyclic polynomials to encapsulate both the number of acyclic orientations of a graph and the "parity problem" proposed by Savage, Squire and West: if $-1$ is not a root of the acyclic polynomial of $G$, then $G$ is not $\mathcal{AO}$-Hamiltonian. We explore numerous properties of the acyclic polynomials, proving that they are not instances of the famous Tutte-Whitney polynomials, but that they too exhibit a partial deletion-contraction phenomenon.
A nowhere-zero point for several linear mappings simultaneously
Let $q=p^k$, and let $A_1,\ldots,A_{r-1}$ be invertible $n\times n$ matrices over ${\mathbb F}_q$. We prove that, if $k\ge r$, there is a vector $x$ for which \[
x,A_1x,\ldots,A_{r-1}x \] are all nowhere zero. For $r=2$ this recovers the theorem of Alon and Tarsi over nonprime finite fields. The proof tracks one monomial in the product of the coordinate forms. Frobenius powers keep every exponent below $p^r$, and finite-field polynomial nonvanishing supplies the required vector. The same method treats rectangular matrices with independent rows and prescribed forbidden values.
The method also gives an extension-degree criterion for representable matroids and clarifies an unpublished prime-field conjecture of M. J. Moghaddamzadeh. Projective-geometric examples explain why the analogous field-size statement fails over proper extensions and, translated back to matrices, give lower bounds for the large-field problem.
Finite Free Information Inequalities
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. We further characterize the equality cases in our inequalities, which arise from Hermite polynomials.
Counting List Colorings of Unlabeled Graphs
The classic enumerative functions for counting colorings of a graph $G$, such as the chromatic polynomial $P(G,k)$, do so under the assumption that the given graph is labeled. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph $\mathcal{G}$, $P(\mathcal{G}, k)$. Determining $P(\mathcal{G}, k)$ amounts to counting colorings under the action of automorphisms of $\mathcal{G}$. In this paper, we consider the problem of counting list colorings of unlabeled graphs. We extend Hanlon's definition to the list context and define the unlabeled list color function, $P_\ell(\mathcal{G}, k)$, of an unlabeled graph $\mathcal{G}$. In this context, we pursue a fundamental question whose analogues have driven much of the research on counting list colorings and its generalizations: For a given unlabeled graph $\mathcal{G}$, does $P_\ell(\mathcal{G}, k) = P(\mathcal{G}, k)$ when $k$ is large enough? We show the answer to this question is yes for almost all graphs, in particular, for a large class of unlabeled graphs that includes point-determining graphs (also known as twin-free graphs, irreducible graphs, and mating graphs).
Flip Combinatorial Invariance and Weyl groups
In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, we establish the Combinatorial Invariance Conjecture for all intervals up to length 10 in Weyl groups and up to length 12 in type $A$ Weyl groups.
On Polynomial Progressions Inside Sets of Large Dimension
In this note we connect Sobolev estimates in the context of polynomial averages e.g.\ \begin{align}\label{e:savings}
\| \int_0^1 \prod_{k=1}^m f_k(x-t^k) \|_{1} \leq \text{Const} \cdot 2^{-\text{const} \cdot l} \prod_{i=1}^m \| f_k \|_m \end{align} whenever some $f_i$ vanishes on $\{ |ξ| \leq 2^l \}$ to the existence of polynomial progressions inside of sets of sufficiently large Hausdorff dimension, in analogy with work of Peluse in the discrete context. Our strongest results builds off work of Becker-Krause and is as follows: suppose that $\mathcal{P} = \{a_{d_1} t^{d_1}, a_{d_2} t^{d_2},\dots, a_{d_k} t^{d_k}\}$ vanish at the origin at different rates, and that $E \subset [0,1]$ has sufficiently large Hausdorff dimension, \[ 1 - \text{const}(\mathcal{P}) < \text{dim}_H(E) < 1 \] and Hausdorff content bounded away from zero, sufficiently large in terms of its dimension. Then $E$ contains a non-trivial polynomial progression of the form \begin{align}
\{ x , x - a_{d_1} t^{d_1}, x - a_{d_2} t^{d_2}, \dots, x - a_{d_k} t^{d_k} \} \subset E, \; \; \; t \neq 0. \end{align}
Also, using the Fourier spectrum, we provide a short proof that whenever $E$ supports a measure with both positive Fourier dimension and a sufficiently large Frostman condition, it necessarily contains a non-trivial generalized three-term arithmetic progression of the form \[ \{ x, x - γ_1 t, x- γ_2 t\} \subset E, \; \; \; γ_i \in \mathbb{Q},\ t \neq 0.\]
Discrete $N$-particle systems at high temperature through Jack generating functions
We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang.
Sign patterns of real powers of infinite products: resolution of four conjectures of Schlosser and Zhou
For an infinite product P(q) = prod_{m>=1} (1-q^m)^{eps(m)} and real delta, write P(q)^delta = sum_{n>=0} c_delta(n) q^n. Schlosser and Zhou conjectured precise sign patterns for these coefficients, for several products and ranges of delta. We resolve four of their conjectures completely, in each case extending partial results already in the literature: those for the Goellnitz-Gordon product Q_8 = (q,q^7;q^8)_inf/(q^3,q^5;q^8)_inf (Conjecture 21), for Q_12 = (q,q^11;q^12)_inf/(q^5,q^7;q^12)_inf (Conjecture 24), and for the Borwein products G_7 and G_11 (Conjectures 20 and 23). Conjecture 23 is true. Conjecture 21 fails exactly on [beta, 8/3), where beta is approximately 2.66448; the threshold 8/3 is sharp, and the first counterexamples occur near n = 7.6 x 10^5. Conjecture 24 fails exactly on (delta_1, 0), where delta_1 = -0.64411... is a root of the 22nd coefficient polynomial. Conjecture 20 fails exactly on (delta_c, 5), where delta_c = 4.8735075853867342634... is a root of the 897th coefficient polynomial. All other stated ranges are proved. Parts of Conjecture 21 were settled independently by He and Li; what is new here is the range near delta = -1, where their threshold diverges. Each failure has the same mechanism: a leading circle-method amplitude vanishes, and a secondary term with the wrong sign overtakes it. The proofs are self-contained apart from classical facts. The cusp analysis is exact, via finite orbits of Weil representations; the Hardy-Ramanujan-Rademacher expansion is made fully explicit; and certified computations in exact and ball arithmetic handle the finite ranges and the degenerate regimes.
Decomposing Gorenstein polytopes of large index
In this paper we prove a free-join decomposition theorem on Gorenstein polytopes significantly improving upon results in prior joint work of the second author with Batyrev, Borger, Haase, Kretschmer, and Payne. In particular, as a strong extension of the Batyrev-Juny lattice pyramid theorem it implies that any $d$-dimensional Gorenstein polytope $P$ of index larger than $\frac{d+2}{2}$ is a free join of Gorenstein polytopes. Here, the index (also called codegree) is the dilation factor $r$ such that $rP$ is reflexive. As our main application, we prove that the stringy $E$-polynomial of a Gorenstein polytope $P$ vanishes if and only if $P$ is thin (i.e., its local $h^*$-polynomial vanishes), and it has the expected degree otherwise. The latter was conjectured by Batyrev and the second author.
The proofs of the general results were found via ChatGPT 5.6 Sol, while a proof of the extremal case of the Batyrev-Juny conjecture is contained in the master thesis of the first author.
Sim-Width, Induced Matching Treewidth, and Tree-Independence Number in Induced $K_{t,t}$-Free Graphs
The tree-independence number $tree\text{-}α(G)$, the induced matching treewidth $tree\text{-}μ(G)$, and the sim-width $simw(G)$ are graph parameters defined in terms of tree or branch decompositions. We establish two polynomial bounds for the tree-independence number of induced $K_{t,t}$-free graphs, one in terms of sim-width and the other in terms of induced matching treewidth. Abrishami et al. (SIDMA, 2025) and Brettell et al. (EJC, 2025) asked whether bounded sim-width, together with the exclusion of an induced $K_{t,t}$, implies bounded tree-independence number. We answer this question by proving that, for integers $t\geq 2$ and $s\geq 1$, every induced $K_{t,t}$-free graph $G$ with $simw(G)\leq s$ satisfies $tree\text{-}α(G)=O_t\left((s+1)^{2t^2-2t}\right)$. This also proves a polynomial strengthening of a conjecture of Bešter Štorgel et al. (arXiv, 2026) concerning induced $K_{1,t}$-free graphs and improves a theorem of Alon et al. (arXiv, 2025) by reducing the exponent from $3t^2+1$ to $2t^2-2t$. Alon et al. (arXiv, 2025) asked whether, for fixed induced matching treewidth, the tree-independence number is polynomially bounded in $t$. Using a VC-dimension argument, we answer this question affirmatively by showing that, for integers $μ\geq 1$ and $t\geq 2$, every induced $K_{t,t}$-free graph $G$ with $tree\text{-}μ(G)\leqμ$ satisfies $tree\text{-}α(G)=t^{O_μ(1)}$.
From Yang-Baxter to Robinson-Schensted-Knuth
We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals.
The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.
Exact Values, Extremal Classifications, and Sum-of-Squares Reductions for Second-Order Zarankiewicz Numbers
There is a natural connection between the SOS rank problem for bi-quadratic forms and the Zarankiewicz extremal problem for C4-free bipartite graphs. The classical Zarankiewicz number z(m,n) controls the bipartite skeleton associated with monomial squares. Allowing two cells to form a single bilinear square leads to augmented Zarankiewicz configurations and the second-order Zarankiewicz number z2(m,n). Unlike zRL and zSL, defined through recursive sufficient conditions, z2 maximizes over all irreducible displayed SOS decompositions without imposing (RW 3+). Hence, to prove z2(m,n)<=R, one must prove that every simple limited configuration with more displayed squares is reducible; failure of a sufficient condition cannot serve as a counterargument.
We prove z2(4,4)=10, z2(7,4)=19, z2(8,4)=21, z2(5,5)=17, and obtain z2=zSL=zRL in all these cases. The extremal irreducible 6x4 configurations with 16 displayed squares form a single isomorphism class under row and column relabeling, whereas the extremal irreducible 7x4 configurations with 19 displayed squares form exactly three isomorphism classes. The four-column results form a structural chain: classify lower-order extremal configurations first, then use hereditary irreducibility under deletion of complete squares to constrain the next order. Finite exhaustive steps use candidate pruning, a necessary compatibility graph, clique enumeration, and orbit reduction, with a verifiable reducibility or irreducibility proof for each remaining orbit. For 5x5, there are two ordinary extremal skeletons; finite exclusion leaves only two highly symmetric 18-square candidates. They define the same ten-square polynomial, which admits an explicit nine-square representation, yielding the upper bound for z2(5,5).
Generating Functions and the Minimum Spectral Radius in Strongly Connected Digraphs with $m+2$ Edges
We study the minimum adjacency spectral radius in the class $\mathcal{SC}_{m+2}(m)$ of strongly connected digraphs with $m$ vertices and $m+2$ edges. Using generating functions for directed paths, we associate with the relevant digraphs topological polynomials whose smallest positive roots determine the corresponding spectral radii. Based on an ear decomposition, we obtain a complete structural classification of $\mathcal{SC}_{m+2}(m)$ by showing that every digraph in this class can be obtained from a butterfly digraph by attaching a single ear. This reduces the extremal problem to the optimization and comparison of finitely many polynomial families subject to their realizability conditions. We prove that the minimum spectral radius is determined by the polynomial $P_{\min}(z)=1-2z^{m-1}-z^m$. If $R_m\in(0,1)$ denotes its unique root, then $\min_{G\in\mathcal{SC}_{m+2}(m)}ρ(G)=R_m^{-1}$. For $m\geq4$, the minimum is attained, up to isomorphism, uniquely by the cross-chorded cycle $\mathcal{C}_m^\times$. For $m=3$, there are exactly two non-isomorphic minimizers, both with spectral radius $(1+\sqrt5)/2$. Finally, we establish the bounds $2^{1/(m-1)}<ρ\left(\mathcal{C}_m^\times\right)<3^{1/(m-1)}$.
Demazure crystals for flagged set-valued reverse plane partitions
In this paper, we build a Demazure crystal structure on the set of all flagged set-valued reverse plane partitions of a given skew shape $λ/μ$ and flag $Φ$. Our construction provides a unified generalization of the Demazure crystal structures previously known for the set of all flagged semi-standard set-valued tableaux and the set of all flagged reverse plane partitions. Consequently, we obtain a combinatorial expansion for the flagged hybrid Grothendieck polynomial $H_{λ/μ}(\mathbf{x}_Φ;\mathbf{t};\mathbf{w})$, introduced by Guo--Kang--Liu, in terms of key polynomials. Applying this expansion, we express the hybrid Grothendieck polynomial $H_{λ/μ}(\mathbf{x};\mathbf{t};\mathbf{w})$ in terms of both the stable Grothendieck polynomials $G_ν(\mathbf{x})$ and the dual stable Grothendieck polynomials $g_ν(\mathbf{x})$.
Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
Let $\mathcal P_k=\mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra over the prime field $\mathbb F_2$, viewed as an unstable module over the mod-$2$ Steenrod algebra $\mathcal A$. The well-known Peterson hit problem asks for a minimal set of generators for the $\mathcal A$-module $\mathcal P_k$. This is equivalent to determining the dimension of the cohit space $(Q\mathcal P_k)_d=(\mathcal P_k/\mathcal A^{+}\mathcal P_k)_d$, where $\mathcal A^{+}$ denotes the augmentation ideal of $\mathcal A$, for every $k\geq1$ and positive degree $d$. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of $(Q\mathcal P_k)_d$ in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers $k$ and $d.$
Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
Strongly complete sets and a conjecture of Erdős
A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. Building on recent work of Bergelson and Simmons and that of Griesmer, we establish a new strong-completeness criterion exploiting a three-component partition of a given set. As an application, we show that $A$ is strongly complete whenever \[
\big|A\cap(2^k,2^{k+1}]\big|\ge5 \] for every sufficiently large $k\in\mathbb{N}$, and \[
\sum_{a\in A}\|aθ\|=\infty,
\quad\forallθ\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erdős. The new strong-completeness criterion also enables us to make progress on a 1996 problem of Burr, Erdős, Graham, and Li concerning strong completeness of mixed power sets by refining a previous result of Bergelson and Simmons. Besides, we study the polynomially perturbed ray set \[
\{\lfloor tα^n\rfloor,\lfloor tα^n\rfloor+P(n):n\in\mathbb{N}\}, \] which combines the polynomial set $\{P(n):n\in\mathbb{N}\}$ and the single-ray set $\{\lfloor tα^n\rfloor:n\in\mathbb{N}\}$ both previously considered by Graham, and show that it is strongly complete for any $t>0$ and $α\in(0,2)$ and any primitive integer-valued polynomial $P$. The machinery developed for the proof of this result also yields other interesting applications.
An Orthogonal View of Gaußian Polynomials
We establish an alternative, ``perpendicular" collection of generating functions for the coefficients of Gaussian polynomials, $\begin{bmatrix}N+m\\m\end{bmatrix}_q$. We provide a general characterization of these perpendicular generating functions. For small values of $m$, unimodality of the coefficients of Gaussian polynomials is easily proved from these generating functions. Additionally, we uncover new and surprising identities for the differences of Gaussian polynomial coefficients, including a very unexpected infinite family of congruences for coefficients of $\begin{bmatrix}N+4\\4\end{bmatrix}_q$.
Cyclotomic Euler-Mahonian polynomials
The cyclotomic Eulerian polynomials and the cyclotomic Mahonian polynomials have each been the subject of extensive studies in Combinatorics, with particular attention to their signed versions. In contrast, the joint study of cyclotomic Euler-Mahonian polynomials has received far less consideration. To the best of our knowledge, the only prior result in this direction is a formula due to Wachs for the signed Euler-Mahonian polynomials in the even case. In this paper, we focus on the cyclotomic Euler-Mahonian polynomials and derive a formula based on the Hadamard product.
As corollaries, we obtain the $I$-analogue (where $I=\sqrt{-1}$) of Wachs' formula for signed Euler-Mahonian polynomials, as well as the previously missing odd case for the signed Euler-Mahonian polynomials.