polynomial
11422 papers tagged with this keyword
Nonnegativity of the $g$-polynomial of split matroids
We prove that the $g$-polynomial of every split matroid has nonnegative coefficients, establishing Speyer's conjecture for a class closed under taking minors and containing all paving and copaving matroids. Our proof uses a deletion--contraction identity obtained by constructing an auxiliary split matroid. We first show that every simple, cosimple, connected split matroid $M$ has an element $e$ for which both the deletion $M\setminus e$ and the contraction $M/e$ are connected. More generally, let $M$ be any connected split matroid of rank $k$ on a ground set $E$ with $|E|\ge4$. Suppose that $e\in E$ is such that both $M\setminus e$ and $M/e$ are connected. For every $v\in E\setminus\{e\}$, we construct a connected elementary split matroid $N_{e,v}$ of rank $k-1$ on $E\setminus\{e,v\}$ satisfying \[
g_M(t)=g_{M\setminus e}(t)+g_{M/e}(t)+t\,g_{N_{e,v}}(t). \] Using a fixed total order on $E$, we prescribe the proper cyclic flats of $N_{e,v}$ and their ranks. The identity follows from the covaluative formula of Ferroni and Schröter together with recurrences for its correction polynomials, derived from Ferroni's enumeration of admissible Delannoy paths for Schubert matroids. Since all three matroids on the right have fewer elements, the identity supplies the induction step in the proof of nonnegativity.
Zeros of the independence polynomial on recursive sequences of graphs
We study the hard-core model on recursively defined sequences $(G_n)_{n\geq0}$ of graphs with a fixed number $k\geq 1$ of labeled vertices in each graph. The next graph in the sequence is constructed by taking a fixed number $m\geq 2$ of copies of the previous graph, connecting these copies by identifying some labeled vertices according to a fixed rule, and afterward choosing $k$ labeled vertices in the resulting graph, again in accordance with a fixed rule. Examples of such sequences include the Sierpiński gasket graphs, hierarchical lattices, and many more. We prove that, when the vertex degrees of the graphs $G_n$ are uniformly bounded and the distances between the labeled vertices in $G_n$ diverge, the complex zeros of the univariate independence polynomials $Z_{G_n}(λ)$ avoid a neighborhood of the non-negative real axis. By the Lee--Yang theory this implies that no phase transitions occur for the hard-core model on these recursive sequences of graphs, independently of the starting graph $G_0$.
The proof relies on the study of the dynamical properties of a one-parameter family of rational maps $F_λ$ on the $(2^k-1)$-dimensional complex projective space induced by the graph recursion operator. The dynamical framework developed in this paper can be naturally extended to other classical models in statistical mechanics (such as the Ising or Potts models) and to more general notions of graph recursions.
Interlacing on the Unit Circle via Coefficientwise Reciprocals
Let $f(z)=\sum_{k=0}^{n}a_kz^k$ be a polynomial with positive coefficients, and define its coefficientwise reciprocal by $f^{\#}(z)=\sum_{k=0}^{n}\frac{z^k}{a_k}.$ It is known that if $f$ is palindromic and has only negative real zeros, then all zeros of $f^{\#}$ lie on the unit circle. We prove that if $p$ and $q$ are palindromic polynomials of degrees $n$ and $n+1$, respectively, with only negative real zeros, then their coefficientwise reciprocals have only simple zeros, and $p^{\#}$ strictly interlaces $q^{\#}$ on the unit circle. Our proof is based on finite Blaschke products and the comparison of their boundary phases. As an immediate consequence, we obtain strict interlacing for the reciprocal binomial, reciprocal Eulerian, and reciprocal Narayana polynomials. By combining a sign change in the $γ$-coefficients with coefficientwise reciprocation, we further construct strictly interlacing families from Rogers--Szegő, Poupard, and Kreweras-related polynomials.
Splitting the Matroid Determinant
The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.
Quadratic bounds for uncompletable words and matrix mortality
Every finite nonempty incomplete uniquely decipherable code with maximum word length $k$ has an uncompletable word of length at most $4k^2-3k$. The bound is independent of the number of codewords and their total length. Deleting a complete codeword cycle gives a finite path-counting identity; Kraft equality then supplies a short word of deficient compressed mass. Cyclic averaging and padding turn it into an uncompletable word. Conditional expectation makes the construction polynomial-time and also decides completeness. First-return words extend the bound to mortal families of nonnegative integer $n\times n$ matrices with joint spectral radius at most one, provided every strongly connected component has a vertex meeting every cycle. Such a family has a zero product of length at most $4n^2-3n$. A binary partial deterministic family with $2k-1$ states has shortest zero product of length $k^2+k-1$, establishing the optimal quadratic order. The bounds and the explicit-code algorithm, including its polynomial work bound, are proved in Lean.
Stellahedral geometry of partially ordered sets
We introduce a transformation on partially ordered sets, termed the \emph{stellahedral transform}, with notable features. It preserves the properties of being Eulerian, Cohen--Macaulay, and of being the face poset of a polytope. Furthermore, it admits an explicit geometric realization for convex polytopes and specializes to the construction that takes a simplex to the stellahedron. One motivation for this definition comes from the theory of toric $h$-polynomials and (augmented) Chow polynomials of Eulerian posets. We show that the right augmented Chow polynomial of an Eulerian poset $P$ agrees with the toric $h$-polynomial of the stellahedral transform of $P$. We use this perspective, together with $\mathbf{cd}$-index results due to Ehrenborg (2005) and Karu (2006), to prove two positivity results for augmented Chow polynomials: for Gorenstein* posets they are unimodal, and for face posets of polytopes they are $γ$-positive.
Along the way we provide negative answers to two open questions concerning Eulerian and Gorenstein* posets. First, the question on the nonnegativity of Eulerian Chow polynomials, posed by Ferroni, Matherne, and Vecchi (2024). Second, the question posed by Athanasiadis and Kalampogia-Evangelinou (2023) on the real-rootedness of chain and Chow polynomials of Gorenstein* posets: these examples provide a novel application of a technique introduced by Murai and Nevo (2014).
Defective chromatic polynomials
For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.
Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions
We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$.
We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.
Explicit enumeration and large-valence asymptotics of even-valent maps
Let $\mathscr{N}_g(2ν,j)$ denote the number of connected labelled $2ν$-valent maps of genus $g$ with $j$ vertices. Explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ have been available only in the planar and toroidal cases. Using a structural formula of Ercolani et al (2023), we translate the problem of determining an explicit bivariate formula for $\mathscr{N}_g(2ν,j)$, $g \geq 2$, to finding finitely many counts with a fixed number of vertices. For $g=2,3$ and $4$ we determine these counts using the associated orthogonal polynomials, yielding explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ in these genera. Furthermore, the same method applies for every $g\ge5$ at the cost of additional computation. From these formulae we obtain the leading-order asymptotics of $\mathscr{N}_g(2ν,j)$ as $ν\to\infty$ for $g=2,3,4$, and we conjecture the structure of these formulae in general genus. In addition, we establish an analogous reduction to finitely many counts, derive explicit formulae and large-valence asymptotics, and formulate corresponding conjectures for two-legged even-valent maps.
Strong $q$-log-convexity of the $d$-Hoggatt polynomials
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.
Cyclotomic factors and irreducibility of the denominators of $q$-deformed rational numbers
For $d\ge2$ the $q$-deformed modular group specialized at a primitive $d$-th root of unity is the triangle group of type $(2,3,d)$. Using this we determine the fractions $r/s$ for which the $d$-th cyclotomic polynomial divides the denominator $S_{r/s}(q)$ of the $q$-deformed rational number $[r/s]_q$. They form the orbit of $\infty$ under the normal closure of the translation $z\mapsto z+d$ in $\mathrm{PSL}(2,\mathbb{Z})$. This proves a conjecture of Byakuno, Ren and Yanagawa, and shows that the congruences $s\equiv0$ and $r\equiv\pm1$ modulo $d$ characterize the divisibility exactly for $d\le5$. For $a\in\{2,3,4,6\}$ and $n>5a^2$ prime to $a$ we show that $S_{a/n}(q)$ is irreducible up to cyclotomic factors. Together with a computer check for small primes, this confirms a conjecture of Kogiso, Ren, Wakui, Yanagawa and the author for every prime $p$ and every $r$ prime to $p$ with $r\equiv\pm a$ or $ar\equiv\pm1\pmod p$.
Log-concavity of flat arrangement polynomials
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.
Polynomial Compressibility and Forbidden Oriented Forests
For a nonempty acyclic oriented graph $H$, let $p(H)$ be the order of a longest directed path and let $τ(H)$ be the least positive integer $n$ such that $H$ admits a homomorphism to every tournament of order $n$. For all $p\ge3$ and $g\ge1$, we construct a connected acyclic oriented graph $H$ with underlying girth greater than $g$, absolute and relative oriented clique numbers equal to three, and \[
p(H)=p,\qquad τ(H)=r_{\mathrm{tr}}(p), \] where $r_{\mathrm{tr}}(p)=2^{Θ(p)}$ is the tournament Ramsey number for a transitive $p$-vertex tournament. This disproves the conjectured polynomial bounds under bounded absolute or relative oriented clique number. It also shows that a forbidden graph can yield a polynomially $τ$-bounded class only if its underlying graph is a forest. For fixed $g$, the least order of these examples is bounded by a polynomial in $p$. A separate construction gives maximum in- and outdegree $O(p^2)$, uniformly in $g$. For $p=4$, the least order is $2^{Θ(g)}$. We also establish polynomial $τ$-boundedness for every orientation of the two four-vertex trees. The pure-claw case follows from the known $O(p^4)$ bound. We obtain the bound $2p-2$ for mixed claws and one-turn orientations of $P_4$ when $p\ge2$, and bounds $4$ and $3p-2$ for the directed and alternating orientations of $P_4$, respectively. In the alternating case, $τ(H)=p(H)$ when the underlying graph is triangle-free.
A Hopf Algebraic Theory of the Quantum Magnusian
We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction.
On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely.
For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.
A planar algebraic Zarankiewicz theorem over prime fields
We prove an incidence bound for bipartite graphs on finite subsets of $\mathbb{F}^2\times \mathbb{F}^2$ defined by Boolean combinations of polynomial equations of bounded degree. If such a graph is $K_{k,k}$-free and its vertex classes have sizes $m$ and $n$, then it has $O_{t,k}((mn)^{2/3}+m+n+mn/p)$ edges, where $t$ bounds the description complexity, $p$ is the characteristic of $\mathbb{F}$, and $1/p=0$ in characteristic zero. We also prove this bound for incidences between points and distinct geometrically irreducible components of a two-parameter polynomial family, allowing singular and nonreduced members. The proof extends Lewko's interpolation and contact-multiplicity method from lines to algebraic families. Applications include rich components, polynomial values on difference sets, and polynomial expansion.
Degree Power Sums in Extremal Set Systems
For a family $\mathcal F\subseteq\binom{[n]}k$ and $R\in\binom{[n]}r$, let $d_{\mathcal F}(R)=|\{F\in\mathcal F:R\subseteq F\}|$ and $\ell_{r,p}(\mathcal F)=\sum_{R\in\binom{[n]}r}d_{\mathcal F}(R)^p$; write $co_p(\mathcal F)=\ell_{k-1,p}(\mathcal F)$ for the codegree power sum. We introduce a method that uses convexity to extend sharp bounds for degree sums and sums of squared degrees to real powers, while retaining all equality cases. The method bounds $x^p$ by quadratic polynomials or by a continuous function that is linear on each of two intervals. These functions agree with $x^p$ at the degrees of the proposed extremal family, so the argument requires no bounds for sums of higher powers. For families with bounded matching number, we instead use a bound for $\sum_R\max\{d_{\mathcal F}(R)-s,0\}$ together with the degree sum. We give three exact applications. First, a full $t$-star maximizes $co_p$ among $t$-intersecting families for every real $p\geq2$ in the sharp range $n\geq(t+1)(k-t+1)$, with all equality cases determined. This extends the quadratic theorem of Wu and Zhang to real exponents and answers a problem of Zhou and Yuan throughout the sharp Erdős--Ko--Rado range. Second, among intersecting families with $n\geq2k$, a full star maximizes $\ell_{r,p}$ for every $1\leq r\leq k-1$ and real $p\geq2$, again with all equality cases determined. Third, if $ν(\mathcal F)\leq s$ and $n\geq(2s+1)k-s$, then for every real $p\geq1$, $co_p(\mathcal F)$ is uniquely maximized, up to permutation, by all $k$-sets meeting a fixed $s$-set. This removes the integrality restriction on $p$ and replaces previous cubic thresholds or assumptions that $n$ is sufficiently large with an explicit linear range valid for arbitrary $k$.
Optimization and complexity of inertia-type bounds on the independence and chromatic numbers of graph powers
The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory.
The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.
The edge of the asymptotic spectrum of tensors
Strassen founded the theory of the asymptotic spectrum of tensors to study the complexity of matrix multiplication. A central challenge in this theory is to explicitly construct new spectral points. In Crelle 1991, Strassen proposed the upper support functionals $ζ^θ$ as candidate spectral points, where $θ$ ranges over a triangle $Θ$. Recent progress, involving tools and ideas from quantum information theory (Christandl-Vrana-Zuiddam, STOC 2018, JAMS 2023) and convex optimization (Hirai, 2025), culminated in the proof that the upper support functionals are indeed spectral points over the complex numbers (Sakabe-Doğan-Walter, 2026).
In this paper, we give an even clearer picture of the situation for support functionals when $θ$ lies along the edges of the triangle. We show that not only are these functionals spectral points, but that they are uniquely determined as spectral points by their behavior on matrix multiplication tensors. As our methods are algebraic, as a corollary this gives the first explicit nontrivial spectral points over arbitrary fields.
As part of our argument, we show a close connection between the edge support functionals and Harder-Narasimhan filtrations from quiver representation theory. We thus show, using recent work in algorithmic invariant theory, that these support functionals can be computed in deterministic polynomial time. Other ingredients of our proof include a new criterion for abstractly characterizing asymptotic tensor ranks by spectral points, and a characterization of the edge support functionals in terms of matrix multiplication capacity. As another application of these tools, we prove the existence of spectral points for higher-mode tensors beyond those currently known.
Semidefinite programming bounds for distance distribution of spherical codes
Semidefinite programming bounds for spherical codes usually involve polynomials in several inner products. We show how these bounds lead to inequalities for the distance distribution involving only a polynomial of one variable. This polynomial need not have nonnegative Gegenbauer coefficients, since the required positivity follows from an auxiliary function of several variables. We prove three- and four-point versions of the method and apply them to count pairs of points whose inner products lie in a given interval. Our main example uses the four-point bound of de Laat, Leijenhorst, and de Muinck Keizer, who proved that, up to isometry, the $24$-cell is the unique optimal kissing configuration in dimension four. We obtain a polynomial of degree six whose sign and zeros force all inner products between distinct points of an optimal configuration to belong to a set of four values. This gives a short presentation of the distance restriction in their uniqueness proof. For the same polynomial, the usual two-point estimate gives a lower bound of minus three, while the four-point argument gives zero. We also derive restrictions on distance graphs and discuss numerical examples from our joint work on three-point bounds.
Acyclic orientations of mixed graphs
A mixed graph $M=(V,E\cup A)$ is acyclic if its directed part $(V,A)$ is an acyclic digraph. In this note we study the so-called orientation completion problem for the class of acyclic mixed graphs. That is, given an acyclic mixed graph $M$ and a property ${\cal P}$; can we orient the edges of $M$ so that the resulting digraph is acyclic and has property ${\cal P}$. We prove that one can decide in polynomial time whether $M$ can be completed to an acyclic digraph with an out-branching from a prescibed vertex $s$, while it is NP-complete to decide whether $M$ has an acyclic orientation which has both an out-branching and an in-branching (a bipolar orientation). We show that it is NP-complete to decide whether $M$ can be oriented so that it contains a directed path between two prescribed vertices. Finally we describe a polynomial algorithm for deciding whether an acyclic digraph $D$ has an out-branching $B^+_s$ such that the digraph $D-A(B^+_s)$ is connected (in the underlying sense). Based on this we pose as an open problem the complexity of deciding whether the edges of an acyclic mixed graph can be oriented so that the result is an acyclic digraph with a non-separating out-branching.