polynomial
11173 papers tagged with this keyword
A Polynomial Improvement of Naslund--Sawin Bound for Sunflower-Free Families Using Triangular Tensors
Naslund and Sawin used the slice-rank method for diagonal tensors to prove that $$|\mathcal{F}|=O\!\left(n^{1/2}\left(\frac{3}{2^{2/3}}\right)^n\right)$$ for any sunflower-free family $\mathcal{F}\subseteq 2^{[n]}$. We prove a lemma similar to the slice-rank lemma for the newly defined $i$-triangular tensors, and use it to achieve a polynomial-factor improvement of the bound of Naslund and Sawin by proving that $$|\mathcal{F}|=O\!\left(n^{1/6}\left(\frac{3}{2^{2/3}}\right)^n\right)$$ for any sunflower-free family $\mathcal{F}\subseteq 2^{[n]}$.
Power-Saving Bounds For Monic Minkowski Polynomials
We prove that if $f\in \mathbb Z[x]$ is a monic polynomial of degree $k\geq 2$, then there exists a constant $c>0$, depending only on $f$, and finite sets $A\subset \mathbb R$ of arbitrarily large size such that \[ |f(A)|\leq |A|^{k-c}, \] where $f(A)$ is interpreted in the Minkowski sum-product sense. In particular, taking $f(x)=x^2+x$, this gives a power-saving upper bound for $AA+A$, answering a question raised by Roche-Newton, Ruzsa, Shen, and Shkredov.
On the Complexity of Counting Orderings in Graphs
We study the computational complexity of several counting problems on graphs. Each of these problems consists of counting orderings of the vertices or edges with adjacency constraints. We show $\#P$-completeness for all of them via a common new technique. Given a counting function $C$ of interest, we define a parameterized family of instances $G_q$, where the parameter $q$ controls the amplification of a simple gadget. After multiplying by an explicit factor $f(q)$, we show that the values of $f(q) \cdot C(G_q)$, for positive integers $q$, agree with a rational function in $q$ whose numerator and denominator can be interpolated in polynomial time. We then recover a $\#P$-hard function by evaluating this rational function symbolically at a limiting value $L \in \mathbb{Q} \cup \{\infty, -\infty\}$. With this methodology, we show $\#P$-completeness for the following counting problems: (a) successive vertex orderings of bipartite graphs, (b) st-numberings of graphs, (c) shellings of bipartite graphs, (d) linear extensions of N-free posets of height $3$, and (e) linear extensions of posets of height $2$. Result (d) settles a conjecture of Felsner and Manneville (2015). Although result (e) was first proved by Dittmer and Pak (2018), we include an alternative proof, using our technique, that does not rely on the result of Brightwell and Winkler (1991) about the hardness of counting linear extensions for general posets.
A Turán Theorem for Cayley Graphs
In this note, we give a Turán theorem for Cayley graphs $\Cay(\Z_p,S)$ over prime cyclic groups $\Z_p$. For a graph $F$ and a finite abelian group $G$, define the Cayley--Turán number by \[ \exCay(F,G) =
\max\{|S|:S=-S\subseteq G\setminus\{0\},\ \Cay(G,S)\text{ is }F\text{-free}\}. \] Using a polynomial method, we prove that for every odd prime $p$ and every $1\le r\le p-1$, \[ \exCay(K_{r+1},\Z_p) =
p-1-2\left\lfloor\frac{p}{r+1}\right\rfloor . \] The extremal construction is the complement of the short-difference interval \[ D_0=\{0,\pm1,\ldots,\pm\lfloor p/(r+1)\rfloor\}. \] We also discuss what changes for general finite abelian groups, showing why the exact prime-cyclic formula does not extend verbatim to composite cyclic groups.
Strongly Primitive Salem Growth Polynomials for Right-Angled Coxeter Groups
We study standard spherical growth rates of right-angled Coxeter groups through the clique polynomial of the defining graph. We prove that every even degree at least four occurs as the degree of a strongly primitive Salem growth rate: for each $d \geq 2$, there are infinitely many connected $K_{2d+1}$-free defining graphs whose full reciprocal-radius polynomial is an irreducible Salem polynomial of degree $2d$. We also prove independence-polynomial obstructions for prescribed Salem polynomials, including a sharp first-coefficient bound $a_1 \leq -5$, and apply them to Lehmer's polynomial and its suspension multiples.
Chamber geometry and specification numbers of Boolean threshold functions
The specification number $σ_n(f)$ of a Boolean threshold function $f$ on $n$ variables is the least number of points whose $f$-values determine $f$ uniquely among all threshold functions. Its essential points form the unique minimum such set. We develop Zuev's geometric interpretation: the threshold functions are the chambers of a central hyperplane arrangement in the $(n+1)$-dimensional space of weights and thresholds, and the essential points of a function correspond exactly to the facets of its chamber, so the specification number is the chamber's facet number.
The lower bound $σ_n(f)\ge n+1$ becomes the fact that a pointed full-dimensional cone has at least $n+1$ facets, with equality for simplicial chambers. The average specification number $\overlineσ_n$ becomes an average facet count. We evaluate this average exactly via the resonance arrangement and bound it through a theorem of Fukuda, Tamura, and Tokuyama, obtaining $\overlineσ_n\le 2n$; hence $\overlineσ_n=Θ(n)$. This settles a question of Gutekunst, Mészáros, and Petersen. The method also extends to polynomial threshold functions.
The same geometry links threshold functions with a threshold zonotope, whose vertices are modified Chow vectors. Its one-skeleton is the one-inclusion graph, and a vertex's degree is the specification number of that function.
Finally, we treat the operations of Lozin et al. on functions of minimum specification number. Adding a variable and extending on a variable both take the product of a chamber closure with a half-line, preserving simpliciality. For the symmetric-variables extension we give an exact thresholdness criterion and show that minimum specification number is preserved whenever the extension is a threshold function. We also resolve a question they pose concerning a fourth operation.
A QUBO Formulation for Nowhere-Zero $k$-Flows
Published in Util. Math. 127 (2026), 341--365
• View Publication
• BIB
We consider the encoding of graph problems as Quadratic Unconstrained Binary Optimization (QUBO) problems, which are solvable by either quantum or classical annealers. Yet, the class of problems encoded as QUBO problems has not previously included nowhere-zero flows. Nowhere-zero flows are related to Tutte's $5$-flow conjecture and appear in many contexts in graph theory. We provide an encoding of nowhere-zero flows as a QUBO Hamiltonian and prove the correctness of the construction. Our construction yields a Hamiltonian $H_{\mathrm{mod},k}$ whose ground state has zero energy if and only if the graph $G$ has a nowhere-zero $\mathbb Z_k$-flow. By Tutte's equivalence theorem, zero ground energy is equivalent to $\varphi(G)\le k$, and the zero-energy degeneracy is given by the flow polynomial $F(G;k)$. In particular, when the ground-state energy is zero, this is also the ground-state degeneracy. The construction uses one-hot variables to represent the edge flow residues modulo $k$ and auxiliary variables to represent the per-vertex modular quotient. We prove that the correctness of the construction is independent of the choice of orientation, root vertex, and positive penalty weights. We verify the construction on $59$ examples of graphs and values of $k$ that include both yes-instances and no-instances. We exhaustively sweep orientations and root choices on selected robustness instances and test a finite suite of positive penalty weights. The resulting Hamiltonian is implemented using the dimod.BinaryQuadraticModel class, which is compatible with the D-Wave Ocean SDK. Quantum-hardware runs and claims about potential speedup using these devices are left to follow-up work.
An Improved Upper Bound for the Bilu-Linial Conjecture via Interlacing Families
The Bilu-Linial conjecture asserts that every $d$-regular graph admits a signing $σ$ such that the spectral radius of the signed adjacency matrix $A_σ$ satisfies $ρ(A_σ)\le 2\sqrt{d-1}$. Bilu and Linial also proved the weaker bound $O(\sqrt{d\log^3 d})$ for graphs of maximum degree $d$. Marcus, Spielman, and Srivastava confirmed the conjecture in the case of $d$-regular bipartite graphs. In this paper, we prove that every graph of maximum degree $d$ has a signing $σ$ such that $$ρ(A_σ)\le 2\sqrt{3(d-1)}.$$ This removes the polylogarithmic factor from the estimate of Bilu and Linial and gives an explicit $2\sqrt{3(d-1)}$ two-sided spectral bound.
The proof builds on the method of interlacing polynomials introduced by Marcus, Spielman, and Srivastava, together with results on mixed characteristic polynomials established by Marcus, Spielman, and Srivastava and by Bownik.
Mixed Products of Modified Greaves--Jing--Zhu Operators
Let $\mathcal Y(z;t)$ be the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We first point out that this operator can be obtained from the classical neutral operator by a simple diagonal change of variables. We then study products in which the two deformation parameters are not necessarily the same. For two parameters $t$ and $s$, we compute the scalar factor that appears in the mixed product. This factor has an explicit exponential form and, in a completed setting, can also be written as a quotient of infinite $t$-Pochhammer products. We also give a recurrence for its coefficients, a product formula for several mixed operators, and formulas for the coefficients obtained after applying the operators to $\mathbf 1$.
A particularly simple case occurs when $s=t^M$. In this case the scalar factor becomes the finite quotient $(u;t)_M/(-u;t)_M$. Its coefficients are signed principal specializations of one-row Schur $Q$-functions. As a result, after removing the signs, these coefficients are nonnegative palindromic polynomials. We also give a Gaussian-binomial formula and a finite-order recurrence.
All limit points of the largest roots of matching polynomials are determined
The largest matching root $μ(G)$ of a graph $G$ is that of its matching polynomial. In this paper, all limit points of the largest matching roots of graphs are determined. More precisely, we identify the limit points of the largest matching roots of graphs less than $τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$. For any $γ\geq τ^{\frac{1}{2}}+τ^{-\frac{1}{2}}$ with $τ=\frac{\sqrt{5}+1}{2}$, there exists a graph sequence $\{G_i\, |\, i\in \mathbb{N}\}$ such that $\lim\limits_{i \rightarrow \infty}μ(G_i)=γ$.
Enumerating matrices with prescribed entries in an adjoint orbit
We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.
Proof of Cigler's conjecture on $q$-Hoggatt numbers
We prove the nonnegativity and palindromicity of a family of polynomials arising from $q$-Hoggatt numbers. The nonnegativity is derived from Stanley's $(P,ω)$-partition theory through a standard Young tableau formula, while the palindromicity is proved by an involution on rectangular standard Young tableaux. Our result confirms a conjecture of Cigler.
Hidden critical and Morse equivalence behind duality: Theory and Applications
The aim of this paper is to establish critical duality theory for ratios of nonnegative homogeneous convex functions (shorten for RC functions) and differences of convex functions (abbreviated as DC functions) on Banach spaces. Specifically, we establish a series of duality results on critical point theory and Morse theory for RC functions, including the homotopy type of sublevel sets, the Morse critical points and their Rothe critical groups, Lagrange critical points and their multiplicities, Lusternik-Schnirelman min-max critical values, Poincare polynomials, as well as the structure of handlebody decompositions, all of which are proved to be preserved under polarity dual. Moreover, we obtain the first critical duality theory of DC functions which does not depend on the DC decomposition. This answers a question left open from the work of Toland on DC functions and the work of Le-Pham on DC programming.
We apply these results to provide a reformulation of the graph Cheeger constant using zonotopes; we introduce the contact data which serves as a geometric characterization of Lagrange criticality; and we show that the eigenproblems for 1-Laplacian and $\infty$-Laplacian on hypergraphs are equivalent to the contact problems of zonotopes, which indeed establishes a new characterization of zonotopes. We also prove a duality equivalence for certain nonlinear eigenvalue problems and bifurcation problems. Our study here reveals an intricate interaction of critical point theory with other fields such as convex analysis, combinatorial geometry, and nonlinear eigenproblems on graphs.
Discrete Space-Time Wave Kernels and Trace Identities on Regular Graphs
We study the discrete space-time wave equation on a $(q+1)$-regular graph $X$ associated with the affine Laplace-type operator. For the forward time-difference scheme we derive explicit formulas for the two fundamental solutions (wave kernels) in terms of discrete modified Bessel functions and the non-backtracking walk counts on $X$ thus providing a direct and explicit link between wave propagation and combinatorial graph data. Utilizing uniqueness property of the wave kernel, we prove a new trace-type formula associated to the affine Laplace-type operator on $X$ and apply it to deduce many combinatorial identities. For example, we derive a closed-form expression for evaluation of some trigonometric sums twisted by an additive character as well as evaluations of finite sums of Chebyshev polynomials twisted by binomial coefficients.
Maker-Breaker Sabotage Game
The Maker-Breaker sabotage game is played on a graph $G$ by Runner and Blocker. They play in turns, Runner first moves along a not yet traversed edge from her current position, afterwards Blocker removes one edge. The goal of Runner is to visit as many vertices of $G$ as possible, Blocker's goal is opposite. Assuming that both players use optimal strategies, the number of vertices visited by Runner determines an invariant called the sabotage number ${\rm sab}(G)$ of $G$. A formula for the sabotage number of an arbitrary tree is proved which can be evaluated in polynomial time. For a unicyclic graph $G$ it is proved that ${\rm sab}(G)\in \{{\rm sab}^-(G), {\rm sab}^-(G)+1\}$, where ${\rm sab}^-(G)$ is the lower sabotage number of $G$. The sabotage number of a bridgeless subcubic graph is sharply bounded from the above by the maximum girth. The sabotage number is also bounded for complete bipartite graphs and generalized Sierpiński graphs, and determined exactly in some special cases.
On Boolean polynomials and the Union-Closed Conjecture
For a set of $m$ subsets of a universe set of size $n$, we construct a Boolean polynomial $\mathrm{ICC}_{m,n}(X)$ such that the Union-Closed Conjecture is true for this $m$ and $n$ if and only if $\mathrm{ICC}_{m,n}(X)$ is the zero Boolean polynomial. We use an equivalent formulation, called the Intersection-Closed Conjecture.
Graph Isomorphism and Representation Theory
We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures:
- We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01).
- We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions.
- When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices.
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 use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).
Bounded Treewidth and Complete Monotonicity for Scott-Sokal Spanning-Tree Polynomials
Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.
Polar Degrees of Matroids
We show that the polar degrees of the coordinate-wise inverse of a linear subspace $L \subseteq \mathbb{P}^n$ are given by the coefficients of a substitution of the reduced characteristic polynomial of the associated matroid $\mathrm{M}(L)$. Our proof connects the geometry of conormal varieties of reciprocal linear spaces to the combinatorial conormal fan of $\mathrm{M}(L)$. As a corollary, we settle two open conjectures regarding matroid discriminants.
Linear relations for Tutte polynomials of semimatroids
We establish a family of linear relations for the coefficients of the Tutte polynomial of a semimatroid. We also introduce ranked central sets, a mild generalization of semimatroids, and prove that the same identities hold in this broader setting. The proof relies on the specialization $x=\frac{z}{z-1}$, $y=z$ along the hyperbola $(x-1)(y-1)=1$; under this specialization, the edge subgraph expansion over central sets reduces to the $f$-polynomial of the central set complex. As applications, we obtain explicit formulas for Tutte polynomials of affine hyperplane arrangements and for balanced Tutte polynomials of biased graphs, whose central sets are central subarrangements and balanced edge sets, respectively. Our results recover the generalized Brylawski's identities for Tutte polynomials of ranked sets, matroids and graphs.