polynomial
11538 papers tagged with this keyword
Beyond the Laurent phenomenon
In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables. This allows obtaining any tame integral frieze pattern of type $A_n$ by specialisation of initial cluster variables, including specialisation to zero.
Homogeneous symmetric trace-positive sextics with vanishing abelianization are sums of Hermitian squares and commutators
Let $\mathbb{R}\langle X,Y\rangle$ be the free algebra on two symmetric letters. A polynomial is trace-positive if it has non-negative trace on every pair of real symmetric matrices, and it lies in the cone $Θ$ if it is cyclically equivalent to a sum of Hermitian squares. Burgdorf and Klep proved that the two notions coincide in degree at most four; from degree six onwards they differ. We give a complete, explicit description of both cones on the six-dimensional space $Z$ of symmetric homogeneous sextics in two symmetric letters whose abelianization vanishes identically, and show that on $Z$ they coincide: for $f\in Z$, trace-positivity is equivalent to membership in $Θ_3$, to non-negativity of the trace on pairs of $2\times2$ symmetric matrices, and to being cyclically equivalent to a sum of four Hermitian squares of cubics with vanishing abelianization. Membership in $Θ$ reduces to a $4\times4$ positive semidefinite Gram matrix whose diagonal blocks are fixed by the content-$(4,2)$ and $(2,4)$ parts of $f$; each of those parts ranges over a two-dimensional cone with two linear facets, and the content-$(3,3)$ part is then confined to a rectangle whose sides are the geometric means $\sqrt{p_+q_+}$ and $\sqrt{p_-q_-}$ of the eigenvalues of those blocks. Each facet is certified by one of two families of pairs of $2\times2$ symmetric matrices. The abelianization hypothesis is natural: every bivariate degree-six example we are aware of -- a trace-positive polynomial outside $Θ$ -- arises by lifting a non-negative, non-SOS polynomial in two variables to a cyclically sorted polynomial; and that lifting cannot operate when the abelianization vanishes. Symmetry of $f$ is essential: dropping it adds one antisymmetric direction, on which the trace vanishes identically, yet whose non-zero elements all lie outside $Θ$.
Back Stable Standard Elementary Monomials
We introduce back stable standard elementary monomials and their complete homogeneous analogues. These families form bases of the back stable Schubert ring and record the eventual standard elementary monomial expansions of left-stabilized Schubert polynomials. Dynkin reversal exchanges the two bases while preserving their coefficients. We also show that orbit sums of the back stable coefficients recover the elementary and complete homogeneous coefficients of Stanley symmetric functions. Finally, we study the shifted specialization polynomial $\mathcal{T}_w(t)=\mathfrak{S}_{1^t\times w}(1)$, considered by Fomin and Kirillov, which counts reduced pipe dreams of $1^t\times w$. We express this polynomial in terms of back stable standard elementary monomial coefficients.
Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties
Skew-symmetric matrix Schubert varieties are determinantal varieties obtained by intersecting matrix Schubert varieties with the space of skew-symmetric matrices. They are closely related to the orbit closures of the symplectic group action on the flag variety, and their torus-equivariant K-classes are the symplectic Grothendieck polynomials. We compute the Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties by giving a combinatorial formula for the degree of symplectic Grothendieck polynomials. In addition, we characterize the highest-degree homogeneous component of a symplectic Grothendieck polynomial and compute the maximal Castelnuovo-Mumford regularity of skew-symmetric matrix Schubert varieties.
Magic positivity of Snapper polynomials for matroids
In 1959, Snapper showed that the Euler characteristic of the tensor powers of a line bundle on a normal projective scheme is a polynomial, later named the \emph{Snapper polynomial}. Positivity of coefficients of Snapper polynomials implies various notions of positivity of line bundles, which we study through the lens of magic positivity and real-rootedness. We introduce zonotopal classes in the Grothendieck $K$-ring of vector bundles of the toric variety for any loopless matroid, and prove that their Snapper polynomials are magic positive. Our proof realizes such a Snapper polynomial as a weighted independence polynomial of the Dilworth truncation along certain lines of the matroid. As a consequence, their coefficients are positive, and their $h^{\ast}$-polynomials are real-rooted. In the realizable case, this polynomial is the multigraded Hilbert polynomial of the wonderful variety embedded in a product of projective lines.
We introduce analogous line bundles on the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal M}_{0,n}$ and prove that their Snapper polynomials are magic positive. For cotangent line bundles whose first Chern classes are distinct $ψ$-classes, which are not zonotopal, we nonetheless prove that their $h^{\ast}$-polynomials are real-rooted, whereas their Snapper polynomials are magic positive if and only if $n\leqslant7$. More generally, we introduce saturated and weakly saturated $K$-classes of matroids, which furnish a sufficient and a necessary condition for magic positivity of Snapper polynomials in terms of their dragon Hall--Rado polymatroids.
Equilibrium Numbers in Non-Square Bimatrix Games
Bimatrix games may have an exponential number of mixed Nash equilibria if both dimensions of the game are allowed to grow. Bounds on their maximal number give structural insights that have been used to construct hard-to-solve games. We show new sharp or asymptotically sharp bounds on the (polynomial) number of equilibria for generic games where one dimension of the game is fixed and the number of strategies of the other player grows. These results go beyond the hitherto studied square games. Our methods employ combinatorial properties of polytopes, and recent obstructions that relate to the graph of those polytopes. For $n\ge5$, we construct $3\times n$ games that have all $2n+1$ vertices of the best-response polytope as equilibrium strategies, proved using a simple case of the 4-color theorem for planar graphs. Generic $4\times 5$ games are shown to have at most 17 equilibria, using computer calculations with existing datasets for all combinatorial types of the relevant polytopes. For $d\times n$ games, we construct games where all but a fraction of $O(1/n)$ of the maximum number of vertices are equilibrium strategies.
Clique-dependent strongly sublinear treewidth and strongly sublinear tree-independence number
We establish a strongly sublinear counterpart of a recent result of Chudnovsky, E S, and Lokshtanov (arXiv 2025) on treewidth and tree-independence number. Namely, we prove that a hereditary graph class has strongly sublinear tree-independence number if and only if, for every fixed clique bound, its graphs of bounded clique number have strongly sublinear treewidth. In fact, this is part of a broader equivalence theorem. For hereditary classes, these conditions are also equivalent to having clique-dependent polynomial expansion, to admitting balanced separators whose size is bounded by $Kω(G)^s |V(G)|^{1-β}$ for fixed $K,s,β>0$, and to admitting balanced clique-based separators of strongly sublinear size (equivalently, weight). Thus, we show that all these properties, which arose independently in the study of subexponential-time exact algorithms and polynomial-time approximation schemes, in fact describe the same hereditary graph classes. As a consequence of our equivalence theorem, we also show that every hereditary class $\mathcal C$ with strongly sublinear tree-independence number admits a subexponential-time algorithm that, given $G\in\mathcal C$, computes a tree decomposition of $G$ with strongly sublinear independence number.
Askey--Wilson polynomials with ASEP parameters
Koornwinder moments generalize the Askey--Wilson moments arising in the asymmetric simple exclusion process. Rains conjectured that, under the specialization $t=q$, the minimal numerators of Koornwinder moments have nonnegative integer coefficients. While the one-row case of this conjecture was previously proved by Corteel, Mandelshtam, and Williams using rhombic staircase tableaux, its dual counterpart, the one-column case, has remained open. In this paper, we derive a closed, manifestly positive combinatorial formula for the normalized numerators of the coefficients of the rescaled Askey--Wilson polynomials. This proves Rains' conjecture for one-column partitions, thereby providing the exact dual counterpart to the previous result.
Independent Set Reconfiguration via Dilworth Decompositions
The Token Jumping and Sliding Token problems are fundamental reconfiguration problems defined on the independent sets of an undirected graph. Given two independent sets $I$ and $J$, each of size $k$, these problems ask whether there exists a sequence of elementary operations transforming $I$ into $J$ such that every intermediate configuration is also an independent set of size $k$. Suppose a token is placed on each vertex of $I$: in Sliding Token, an operation moves a token from a vertex $u \in I$ to an adjacent vertex $v \notin I$; in Token Jumping, the token may instead move to any vertex $v \notin I$. While both problems are $\mathsf{PSPACE}$-complete on general graphs, polynomial-time algorithms for one or both variants have been developed for several graph classes, including trees, block graphs, bipartite permutation graphs, cographs, $P_4$-tidy graphs, and interval graphs.
In this paper, we prove that both problems are solvable in polynomial time on threshold signed graphs, also known as Dilworth-2 graphs. A graph $G=(V,E)$ is a threshold signed graph if there exist a mapping $a:V\to\mathbb{R}$ and positive real constants $S,T>0$ such that $|a(v)|< \min\{S,T\}$ for all $v \in V$, and for any distinct vertices $u,v\in V$, $\{u,v\}\in E$ if and only if $|a(u)+a(v)|\ge S$ or $|a(u)-a(v)|\ge T$. More generally, we also show that Token Jumping can be solved in time $n^{O(\mathcal{D}(G))}$, where $\mathcal{D}(G)$ denotes the Dilworth number of $G$. Thus, Token Jumping belongs to $\mathsf{XP}$ when parameterised by the Dilworth number.
This graph class is a subclass of permutation graphs, for which the complexity of these problems remains open, and is incomparable with the class of bipartite permutation graphs studied by Fox-Epstein et al. (ISAAC, 2015).
Geometric Complexity Theory and Graph Isomorphism
We investigate ideas from the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001) in the setting of graph isomorphism. This provides us a playground of finite combinatorial objects on which to explore these techniques. We seek to separate non-isomorphic pairs of graphs using vector spaces of polynomials that are set-wise invariant under permutations (so-called separating modules). We characterize the power of this method for distinguishing graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ are equivalent in power to the counts of $O(k)$-vertex subgraphs.
- We show that separating modules of symmetric algebraic circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-dimensional Weisfeiler-Leman. This generalizes and strengthens the result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025).
- When considering only the representation-theoretic multiplicities of separating modules, we show that two graphs are separated by multiplicities if and only if their automorphism groups have different multiplicity of cycle types (cycle index).
The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect support size (from the study of WL) to complexity measures on $S_n$ (Dafni, Filmus, Lifshitz, Lindzey, & Vinyals, ITCS '21); as well as connections between invariant polynomials, the Graph Reconstruction Conjectures, and Forman's "invariants of finite type" (Adv. Math., 2004).
Kostant $ρ$-decomposition of homology I. Finite-dimensional representations
We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.
Kadison--Singer partitions and Bilu--Linial graph signings in polynomial time
We prove two main algorithmic results in spectral discrepancy. First, we give a deterministic polynomial-time rounding theorem for rational positive semidefinite matrices of arbitrary rank. The algorithm starts from any rational fractional signing and assigns one sign per original matrix. Its discrepancy is less than $3.37\,\|\sum_i \mathrm{Tr}(A_i)A_i\|^{1/2}$. This yields Kadison--Singer half-partitions with error below $1.69\sqrt{\varepsilon}$, as well as deterministic graph signings that control signed adjacency and signed degrees simultaneously. The proof builds on the spectral-potential method of Ezeunala and Jiang (2026) and introduces a new way to choose rounding directions. We prove polynomial bit complexity for the rounding procedure.
Second, we give a Las Vegas algorithm for the Bilu--Linial signing problem on an arbitrary prescribed graph. If $G$ has $n$ vertices and maximum degree $Δ\ge3$, the algorithm terminates almost surely. It uses fewer than $100n^3$ insertion attempts in expectation and returns a signing with $\|A_s\|<2\sqrt{2(Δ-1)}$. For bipartite graphs its one-sided form gives the sharp universal bound $\|A_s\|<2\sqrt{Δ-1}$. The algorithm builds the signing by inserting vertices and recursively deleting and restoring neighbors after rejected insertions. In the analysis, the $\sqrt2$ gap to the Bilu--Linial conjecture comes from a factor of two in the bound for vertex deletions in the two-sided case. On a $d$-regular bipartite Ramanujan base the same signing produces a Ramanujan $2$-lift of that prescribed base.
Sylvester simplices: Triangulations and Ehrhart-theoretic aspects
The Sylvester simplex $\mathsf{Sylv}_d^k$ is a $d$-dimensional lattice simplex with exactly $k$ interior lattice points. Sylvester simplices are conjectured to be the volume maximizers among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points for any $k\geq 1$. Even stronger, it is conjectured that they maximize (entry-wise) the $h^\ast$-vector among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points. Yet, Sylvester simplices seem to be rarely studied in their own right. In particular, their Ehrhart-theoretic properties are far from being well understood.
In the present article, we tackle this problem. We describe flag, regular and unimodular triangulations for the Sylvester simplices, and prove that their $h^\ast$-vectors are unimodal. Moreover, we explicitly determine the values of some entries of their $f^\ast$-vectors, and prove that they are Ehrhart magic positive up to dimension $6$ but not in dimension $7$. We conclude by detailing tables of Ehrhart-theoretic quantities (numbers of lattice points, Ehrhart polynomials, local and boundary $h^\ast$-vectors, $f^\ast$-vectors) for Sylvester simplices of dimensions 7 and lower.
A general counting and sampling Lovász local lemma
Consider a constraint satisfaction problem $\mathbf{C}$ on finitely many independent random variables with dependency graph $G$. Let $p_a$ be the violation probability of a constraint $a\in \mathbf{C}$ and $N_G^2 (a)$ the set of constraints at distance one or two from $a$ in $G$. Suppose that, there exists $x\in (0,1)^{\mathbf{C}}$ such that, for a sufficiently small universal constant $c > 0$, and for all $a \in \mathbf{C}$, \[ p_a \leq c \cdot x_a \prod_{b\in N_G^2(a)}(1-x_b). \] Under the above analog of the asymmetric Lovász Local Lemma, we give an FPRAS for the probability that all constraints are satisfied, and an approximate sampler, running in polynomial expected time, for the product distribution conditioned on this event. The degree of the polynomial in the running time is independent of the domain sizes, constraint sizes, or degree of the dependency graph. Up to the choice of the constant $c$, our condition on $p_a$ matches known hardness results.
Our work builds on the method of Liu, Wang, Yin, Zhang, and Zhou, who obtained an FPRAS for the probability of satisfaction in the setting of the symmetric Lovász Local Lemma. Our sampling result is new even in this special case.
Spectral width and polynomial degree in perfect state transfer
We study the minimum time for perfect state transfer under polynomial Hamiltonians with bounded degree and spectral width. For a strongly cospectral pair and width bound $W$, the optimum, when finite, is an integer multiple of $π/W$, determined by integer interpolation with prescribed parities. For equally spaced supported eigenvalues with alternating signs, we give degree bounds under which every minimizer is affine, and sharp asymptotics for each fixed exact degree. Near-minimizing phase polynomials satisfy a quantitative Chebyshev stability estimate. We determine the optimal transfer time for every degree bound on hypercubes of odd prime dimension. For complementary vertices of $J(2m,m)$, the optimal time at fixed spectral width grows exponentially in $m$ throughout an interval of feasible degrees. We also construct polynomial Hamiltonians showing that every feasible degree $m-t$ with $t=o(m)$ admits subexponential transfer time.
Vector Balancing in Polynomial Time
We present a spectral signing algorithm solving the Komlós problem with a constant discrepancy in polynomial time. Given a matrix $A\in\mathbb{R}^{m\times n}$ whose columns have Euclidean norm at most $1$, the algorithm finds a vector $\varepsilon\in\{-1,1\}^n$ satisfying $\|A\varepsilon\|_\infty\le C$, where $C$ is an absolute constant. By minimizing a cubic spectral potential, our spectral signing algorithm updates the fractional coloring toward Boolean signs with time complexity $O((mn^9+n^{10})\log(2+m+n))$.
Sign components of diagonal superspace coinvariants
We prove the sign-isotypic components of the coinvariant rings $R_n^{(2,1)}$ and $R_n^{(2,0)} \otimes R_n^{(0,1)}$ are isomorphic and show that the triply-graded multiplicity of this sign character is the Schröder polynomial $S_n(q,t,a)$, divided by $1+a$. This settles the sign-character component of a conjecture of Zabrocki (2019) on a module for the Delta theorem and proves a conjecture of F. Bergeron (2020) on the multiplicity of the sign character of $R_n^{(2,1)}$. Finally, using a result of Hogancamp (2017), we enhance a recent result of Gorsky--Mellit (2026) which relates the Khovanov--Rozansky homology of the $(n,n+1)$-torus knot to $R_n^{(2,0)} \otimes R_n^{(0,1)}$, by showing that the associated Poincaré series for this knot can be computed from the sign component of $R_n^{(2,1)}$.
A proof of the Athanasiadis-Chapoton ordinal-sum conjecture
Given a finite preorder $τ$, we study how its order relation determines the $h^*$-polynomial of the associated polar preorder polytope. Let $\mathcal R_τ^{\vee}$ be the convex hull of the negative standard basis vectors and the indicator vectors of nonempty order ideals, and write $h_τ^*(t)=h^*(\mathcal R_τ^{\vee},t)$. Athanasiadis and Chapoton conjectured that this enumerative invariant takes ordinal sums to products: $$h_{τ_1\oplusτ_2}^*(t)=h_{τ_1}^*(t)\,h_{τ_2}^*(t).$$ We prove the conjecture for arbitrary finite preorders, including those with nontrivial equivalence classes. More precisely, we construct a positively homogeneous piecewise unimodular shear from the free sum $\mathcal R_{τ_1}^{\vee}\oplus\mathcal R_{τ_2}^{\vee}$ onto $\mathcal R_{τ_1\oplusτ_2}^{\vee}$, giving lattice-point bijections at every nonnegative real dilation scale. The key is a formula for the Minkowski functional in terms of the least nonnegative order-reversing majorant: after the shear, the functional becomes the sum of the two factor functionals. Together with the Ehrhart product formula for free sums, this proves the conjecture and the corresponding product formula for normalized volume.
An Odd Pfaffian Number
The Pfaffian number of a graph is the minimum number of Pfaffians needed to obtain its perfect-matching polynomial by linear combination. In 2009, Norine conjectured that every Pfaffian number is a power of four. Miranda and Lucchesi disproved this conjecture in 2011 by constructing a graph of Pfaffian number six, and conjectured instead that every nontrivial Pfaffian number is even. We disprove their conjecture by proving that the Pfaffian number of $K_{3,3}\sqcup K_{3,3}$ is 13. We also construct a connected cubic bipartite matching-covered graph with Pfaffian number 13.
The polynomial characterization of tope graphs of the lopsided sets
The cube polynomial $C_G(x)$ generates the number of $k$-cubes on a graph $G$. As a subclass of partial cubes, the tope graphs of lopsided sets (LOPs) generalize daisy cubes and median graphs. In this paper, we prove that every tope graph of a LOP shares its cube polynomial with some daisy cube, thereby answering affirmatively a problem posed earlier by the authors. Furthermore, we present explicit expressions for the cube polynomials of tope graphs of LOPs: $C_G(x)=f_\mathcal{K}(x+1)$, where $f_\mathcal{K}(x)$ is the $f$-polynomial of the cubical complex $\mathcal{K}$ of $G$. Finally, we show that a class $\mathcal{G}$ of partial cubes is the class of tope graphs of LOPs if and only if the following equivalent conditions hold: (a) $\mathcal{G}$ is the maximal pc-minor-closed class such that every graph in $\mathcal{G}$ has the same cube polynomial as some daisy cube; (b) for every $G\in\mathcal{G}$, each antipodal subgraph of $G$ has the same cube polynomial as some daisy cube.