polynomial
11422 papers tagged with this keyword
Planarity and number of crossings in general models of random geometric graphs
Consider a random geometric graph with vertices given by a Poisson point process, and whose edges depend on independent marks corresponding to the vertices and pairs of vertices. In this paper, we study two related questions on this general model: the number of edge crossings in a projection of this graph, and its graph-theoretical planarity. We focus on models with heavy-tailed mark distributions, in particular with polynomial tails with arbitrary exponents. We show that the asymptotic behaviour varies significantly depending on this exponent.
Monotone Diameters of Lattice Polytopes
An influential 1989 result of Naddef shows that the diameters of $0/1$-polytopes are at most their dimension. This was extended shortly after by Kleinschmidt and Onn to any lattice polytope in $[0,k]^{d}$, where they showed a bound of at most $dk$. Naddef's argument easily extends to the monotone setting motivated by the simplex method, where one requires paths to increase with respect to a linear objective function. However, the Kleinschmidt-Onn argument does not. In fact, no argument in the 30 years since has managed to fill that gap. Prior to this work, it remained open whether the monotone diameter is bounded by a polynomial in $d$ and $k$ with no lower bounds suggesting any separation between the worst-case diameter and worst-case monotone diameter. Linear upper bounds hold for $k=1$ and $k=2$. However, we exhibit a sharp threshold for this question at $k = 3$ by constructing for each $d \geq 1$ a lattice polytope in $[0,3]^{6d}$ with monotone diameter at least $2^{d}-1$. In particular, the polynomial bound does not hold. Furthermore, we show that Naddef's result does not extend to the unbounded setting by exhibiting a family of unbounded polyhedra with $0/1$-vertices and diameter exponential in their dimension.
A study of $m$-ary partitions whose conjugates are $q$-ary
Published in Journal of Algebra Combinatorics Discrete Structures and Applications (2026), 13(3), 385-407
• View Publication
• BIB
While people have studied $m$-ary partitions of an integer $n$ and studied conjugation of partitions of $n$, these topics are rarely mixed because the $m$-ary property is almost always lost after conjugation. In a previous work, Flowers and Lockard investigated $m$-ary partitions of $n$ whose conjugates were also $m$-ary. We generalize that previous work by studying $m$-ary partitions whose conjugates are $q$-ary, where $m$ and $q$ may be distinct. We provide a family of operators on these partitions that can be used to generate all such partitions uniquely and associate a unique polynomial with each partition based on the sequence of operators used to generate it. Using the generating operators and modular arithmetic we explore many examples and families of $m$-ary partitions whose conjugates are $q$-ary.
Extremal problems for cancellative and locally thin hypergraphs
We study Turán-type extremal problems for cancellative and locally thin uniform hypergraphs. An $r$-uniform hypergraph is $t$-cancellative if $(\cup_{i=1}^t A_i)\cup B\ne (\cup_{i=1}^t A_i)\cup C$ whenever $A_1,\ldots,A_t,B,C$ are distinct edges. Let $C_t(n,r)$ denote the maximum number of edges in such a hypergraph on $n$ vertices. For all fixed integers $t,k\ge2$, we prove that $C_{2(t-1)}(n,tk)=(1+o(1))\frac{\binom{n}{k}}{\binom{tk-1}{k-1}}$ as $n\to\infty$. In the case $t=2$, this shows that Füredi's 2012 upper bound for $C_2(n,2k)$ is asymptotically sharp. The lower bound uses locally sparse induced packings, while the upper bound follows from double counting and a matching argument.
More generally, for integers $s\ge t\ge1$, an $r$-uniform hypergraph is locally $(s,t)$-thin if among any $s$ distinct edges, at least $t$ contain a vertex that lies in none of the other $s-1$ edges. This notion includes cancellative hypergraphs as special cases. We establish general upper and lower bounds for the corresponding extremal numbers and determine their polynomial order of growth under suitable divisibility assumptions.
Abelian Cayley High-Dimensional Expanders with Polylogarithmic Degree
We construct an explicit infinite family of simple two-dimensional Cayley complexes over $\mathbb{F}_2^n$ whose degree is polynomial in $n$ and whose nontrivial vertex-link eigenvalues lie in $[-λ,λ]$ for every fixed $λ>0$. For every fixed $d\ge2$, we also obtain an explicit infinite family of weighted $d$-dimensional Cayley complexes over $\mathbb{F}_2^n$ with codimension-two local spectral norm at most $1/d$ and Cayley degree $Θ_d(n)$. Our two-dimensional construction uses evaluation at rational points of algebraic curves to produce projective direction sets and many functions affine along these directions, which may be useful for further constructions and improvements.
Real-rooted Eulerian polynomials from permutations, words, and paths
We study six Eulerian-type polynomial families. We prove that the
descent polynomials of derangements are real-rooted, settling the
derangement part of a conjecture of S.~Fu, Z.~Lin, and J.~Zeng. The proof
uses a compatible-pair recursion and finite-symbol stability. We also
resolve the real-rootedness conjecture in OEIS
\oeis{A335340}, strengthen the known rowwise real-rootedness of an even-top
descent family to consecutive strict interlacing, and prove real-rootedness,
consecutive interlacing, and real-rooted gamma-polynomials for U.~Shankar's
super-Eulerian polynomials. A differential recurrence gives consecutive
weak interlacing for ternary words counted by increasing runs.
Finally, we prove stability of the peak-value refinement and consecutive
interleaving of its positive weighted diagonals, settling a conjecture of
P.~Alexandersson and O.~Nabawanda.
Real-rootedness of the $τ$-polynomial under graph joins
For a simple graph $G$ with $n$ vertices, write its chromatic polynomial in the rising factorial basis as $$ χ_G(x)=\sum_{i=0}^{n}(-1)^{n-i}c_i(G)\langle x\rangle_i,$$ where $ \langle x\rangle_i=x(x+1)\cdots(x+i-1).$ The associated $τ$-polynomial $$ τ_G(x)=\sum_{i=0}^{n}c_i(G)x^i $$ was defined and systematically investigated by Brenti in 1992. In this paper, we prove that if the $τ$-polynomials of two vertex-disjoint simple graphs $G$ and $H$ have only real zeros, then the $τ$-polynomial of their join $G\vee H$ has only real zeros. This settles a conjecture posed by Brenti, Royle and Wagner since 1994.
Partial Petrial Polynomials of Bouquets
Gross, Mansour, and Tucker [European J. Combin., 95 (2021): 103329] introduced the \emph{partial Petrial polynomial} of a ribbon graph $G$, denoted by $^{\partial}{\varepsilon^{\times}_G}(z)$. For a prime bouquet $B_n$, Yan and Li [Discrete Appl. Math., 375 (2025): 281-289] determined $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when the intersection graph $I(B_n)$ is either the complete graph or a path, and provided an equivalent condition under which the lowest degree of the nonzero coefficient in $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ is $1$. In this paper, we determine $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when the intersection graph is a cycle. Moreover, we present a complete characterization of the prime bouquets whose lowest nonzero term in $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ is of degree $2$ and determine the partial Petrial polynomial for the prime bouquets. As corollaries, we determine $^{\partial}{\varepsilon^{\times}_{B_n}}(z)$ when $I(B_n)$ is the complete bipartite and tripartite graph.
Real-rootedness of the $Z$-polynomials of sparse paving matroids and strict interlacing for uniform matroids
We prove that the $Z$-polynomial of every sparse paving matroid has only negative real zeros, confirming the real-rootedness conjecture of Proudfoot, Xu, and Young for this class. We also prove that, for each fixed positive corank, the $Z$-polynomials of uniform matroids in consecutive ranks strictly interlace. Our approach is to prove real-rootedness of the corresponding $γ$-polynomials for sparse paving matroids and their strict interlacing for uniform matroids, and then transfer both properties to the corresponding $Z$-polynomials.
Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples
Let \(N\ge2\) and let \(p\) be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by \(Φ_N\) has support diameter at least \((p-1)N/p\). Equality holds precisely for positive scalar multiples of monomial shifts of the \(p\)-term geometric sum \(\sum_{j=0}^{p-1} X^{jN/p}\), thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first \(p-1\) Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graph algebras and defined by a deletion-loopy-contraction recursion, in which the contracted edge becomes a loop. We show that L_G contains the Tutte polynomial and admits a similar spanning-forest activity expansion. It also determines Stanley's chromatic symmetric function, the degree sequence, the induced edge count profile, and the independence polynomial for loopless graphs, and the clique and matching polynomials for simple graphs. Separating the size and the external activity of each forest component leads to a refined loopy polynomial, which we show to be equivalent to the extended U-polynomial of Noble and Welsh and to the extended polychromate. Different specializations of this common refinement give the ordinary U-polynomial, Tutte's universal V-function, and Stanley's Tutte symmetric function, placing these invariants into a single framework.
We conjecture that L_G and the U-polynomial have the same distinguishing power on simple graphs, and verify this for all graphs on at most 11 vertices. Simplicity is essential: we found two loopless multigraphs with equal U-polynomials but distinct loopy polynomials. They also have distinct extended U-polynomials, so the ordinary U-polynomial does not determine the extended one on loopless multigraphs. This solves an open problem by Merino and Noble.
For the score polytope P_G of the external bizonotopal algebra, loopy deletion-contraction lifts from the lattice-point enumerator to the polytope itself. This gives forest-indexed geometric parking complexes whose lattice points partition those of P_G, and which are piecewise-linearly parametrized by products of intervals whose lengths are the component weights in the forest expansion of L_G.
Generic Nullity of Generalized Commutators
We study the generic nullity of generalized commutator operators \[L_{\mathbf{A}}(X)=s_{k+1}(A_1,\cdots,A_k,X)\] on matrix algebras, where $s_{k+1}$ denotes the standard polynomial. Dixon and Pressman conjectured an explicit formula for the generic nullity of $L_{\mathbf{A}}$, and Brassil and Reichstein proved the conjecture when $k$ is even. In this paper, we settle the remaining case where $k$ is odd. Our proof first treats the boundary cases $k=2n-3$ in dimensions $n$ and $n+1$ using degree decompositions and graph-theoretic interpretations of alternating trace forms, and then establishes a dimension-extension argument from $n$ to $n+2$. Consequently, together with the result of Brassil and Reichstein, we obtain a complete proof of the Dixon-Pressman generic nullity conjecture over any field of characteristic zero.
Exponential Sampling Lower Bounds for Polynomial Sources
A degree-$d$ polynomial source is the output of a polynomial map of degree at most $d$ over $\mathbb{F}_2$ on arbitrarily many uniform random bits. Khodabandeh and Shinkar (FOCS '26) proved that $\mathrm{Ber}(1/3)^{\otimes N}$ has statistical distance $1-o(1)$ from every constant-degree polynomial source and conjectured exponentially small overlap. Independently of Khodabandeh and Shinkar, Byramji, Kane, Morris, and Ostuni (RANDOM '26) asked for an explicit target distribution at distance $1-\exp(-N^{Ω_d(1)})$.
We resolve both questions. For every fixed $d\geq1$, every degree-$d$ polynomial source has overlap at most $\exp(-c_dN)$ with $\mathrm{Ber}(1/3)^{\otimes N}$, where $c_d>0$ is independent of the seed length. For quadratics, $c_2=2^{-26}$ suffices. We amplify Khodabandeh and Shinkar's uniform separation of acceptance probabilities from non-dyadic parameters (numbers not of the form $a/2^b$ for integers $a$ and $b\geq0$). The result extends to other non-dyadic Bernoulli parameters and to coordinates that are Boolean functions of boundedly many bounded-degree polynomials.
We also give a uniform deterministic hierarchy between adjacent degrees. Appending the outputs of disjoint AND gates on $d+1$ inputs to uniform seed bits yields flat degree-$(d+1)$ target distributions of entropy $k$ with overlap $\exp(-Ω_d(\min\{k,N-k\}))$ against every degree-$d$ source, for $\min\{k,N-k\}\geq2(d+1)$. This entropy dependence is optimal up to constants in the exponent among flat target distributions for fixed $d$. The construction has locality $d+1$ and uses $O(N)$ field operations to sample. At $k=\lfloor N/2\rfloor$, it handles $d\leq(1-\varepsilon)\log_2N/3$ with overlap $\exp(-N^{\varepsilon-o(1)})$ for fixed $0<\varepsilon<1$.
The proof combines monotonicity of Gowers uniformity norms, pairwise independence of points in a random affine cube, and relative entropy.
On the maximum number of triangles in tripartite graphs with no $4$-cycles between any two parts
Let $G$ be a $3$-partite graph with $k$ vertices in each part such that the bipartite graph induced by any two parts contains no cycle of length four. Fischer and Matoušek [J. Combin. Theory Ser. A, 2001] asked for the maximum number of triangles in such a graph. They obtained the lower bound $(1-o(1))k^{3/2}$ and the upper bound $k^{7/4}+O(k^{3/2})$. Coulter, Matthews and Timmons [J. Combin. Theory Ser. B, 2018] later constructed such graphs using planar polynomials over finite fields and improved the lower bound to $(1-o(1))k^{5/3}$. In this note, we use a new triple of planar polynomials and further improve the lower bound to $(1-o(1))k^{17/10}$.
Improved Degree Tables for Secure Distributed Matrix Multiplication
In secure distributed matrix multiplication, a user wishes to compute the product of two matrices with the assistance of servers, in such a way that any $T$ colluding servers learn nothing about either matrix. Degree tables are a combinatorial tool for constructing polynomial codes for this problem and underlie several state-of-the-art schemes, including $\mathsf{GASP}_r$, $\mathsf{GASP}_{r,s}$, and $\mathsf{DOG}_{r,s}$. We introduce a periodic-gap framework for constructing degree tables that contains these three families as special cases and leads to two new constructions, $\mathsf{SHIFT}_{r,s}$ and $\mathsf{COVER}_r$. We determine their exact recovery thresholds and show that, in many cases, they outperform the current state of the art. We also prove a new lower bound on the recovery threshold of ordinary integer degree tables. In the balanced case, in which the partitioning parameters and the security parameter are equal, we sharpen this bound to match $\mathsf{SHIFT}_{r,s}$ up to lower-order terms, showing that it is asymptotically optimal among degree-table constructions.
Random independent sets and local sparsity
We analyze random constructions of independent sets in locally sparse graphs, specifically graphs with bounded maximum average degree in neighborhoods or with fractionally $r$-colorable neighborhoods. Specializing our methods to finding large independent sets and low-weight fractional colorings, we focus on optimizing for marginals, but we also derive results that find many independent sets (i.e.\ give lower bounds on the independence polynomial) by optimizing for entropy. Our main results generalize the local Shearer bound of Martinsson and Steiner for triangle-free graphs to graphs with few triangles and to graphs with fractionally $r$-colorable neighborhoods, in the latter case improving upon a result of Dhawan. We also extend independence polynomial bounds obtained via induction to such graphs, improving upon known bounds obtained by local occupancy by relaxing the necessary hypotheses from a maximum degree condition to an average degree condition.
Stability of independence polynomials of spiders
For a graph $G$, let $i_k(G)$ denote the number of independent sets
of cardinality $k$, and let
\[
I(G,z)=\sum_{k\ge0} i_k(G)z^k
\]
be its independence polynomial. Following Brown and Cameron \cite{BrownCameron2018}, a graph is called stable if all zeros
of its independence polynomial lie in the closed left half-plane.
They proved that every star is stable, but also constructed nonstable
trees. They then asked for a characterization of stable trees.
In this paper, we extend and strengthen their result by proving that every spider,
obtained from a star by arbitrary and possibly nonuniform subdivisions
of its edges, has all its independence roots in the open left
half-plane. Hence, every spider is stable.
Infinitely many size-Ramsey numbers of $k$-uniform relaxed $\ell$-trees are not polynomial
The size-Ramsey number $\widehat{R}_k(\mathcal G)$ of a $k$-uniform hypergraph $\mathcal G$ is the minimum number of edges in a $k$-uniform hypergraph $\mathcal H$ such that every $2$-edge-coloring of $\mathcal H$ contains a monochromatic copy of $\mathcal G$. The following question was pointed out by Fox and recorded by Dudek, La Fleur, Mubayi and Rödl~\cite{Dudek-Fleur-Mubayi-Rodl}: for fixed $2\le \ell<k$, is the size-Ramsey number of every $k$-uniform relaxed $\ell$-tree bounded by a polynomial in $n$? We answer this question in the range \[ \ell\geq3 \quad\text{and}\quad \ell+1\leq k\leq2\ell-2. \] For every sufficiently large $n$, we construct a $k$-uniform relaxed $\ell$-tree $\bar{\mathcal{T}}_{n,\ell}^{(k)}$ on exactly $n$ vertices such that $$ \widehat{R}_k(\bar{\mathcal{T}}_{n,\ell}^{(k)})\ge 2^{c_{k,\ell}n^{1/\ell}} $$ for a constant $c_{k,\ell}>0$ depending only on $k$ and $\ell$.
A Fixed-Point Worpitzky Identity and a Positive Binomial Transform for Type $B$ Involutions
Let $\mathcal I_n^B$ be the involutions of the hyperoctahedral group $\mathfrak B_n$, and let $\des^B$ denote the descent number with respect to the natural Coxeter order. We derive the fixed-point-refined Worpitzky identity \[ \sum_{n\ge0}\frac{\mathcal F_n(p,t)\,z^n}{(1-t)^{n+1}} =\sum_{m\ge0} \frac{(1+pz)^m\,t^m}{(1-pz)^{m+1}(1-z^2)^{m(m+1)}}, \quad \mathcal F_n(p,t)=\sum_{π\in\mathcal I_n^B}p^{\fixB(π)}t^{\des^B(π)}. \] Extracting the stratum with $j$ two-cycles and $f$ fixed positions yields a one-parameter deformation of the fixed-point-free Worpitzky series of Wan, Gao, Li and Yang. After the change of variables $x=t/(1+t)^2$, this deformation becomes a positive binomial transform. More precisely, if \[ P_j(x)=\sum_sD_{2j,s}x^s \] is the fixed-point-free $γ$-polynomial, then the transform coefficients $A_{j,r}(x)$ are determined by \[ \sum_{r\ge0}A_{j,r}(x)W^r =\sum_{s=0}^{j}D_{2j,s}x^s (1+4xW)^{2j-2s}(1+2W+4xW^2)^s, \] and the $γ$-polynomial of the $(j,f)$-stratum is \[ Φ_{j,f}(x)=\sum_{r=0}^{f}\binom fr A_{j,r}(x). \] This manifestly positive transform is the main structural result of the paper. As consequences, every fixed cycle-type stratum is $γ$-positive and $\mathcal F_n(p,t)$ is coefficientwise $γ$-positive in the fixed-point variable $p$. The cases $f=0$ and $p=1$ recover, respectively, the fixed-point-free theorem of Wan--Gao--Li--Yang and the all-involution theorem of Cao--Liu. We also give explicit formulas for the first binomial layers and for the strata with one and two two-cycles.
A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the $q,t$-Catalan Symmetry
Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study such a bijection as a word-to-word computation and measure its memory, input access, and control of output order. This refines existence questions by asking which computational mechanisms a bijection requires. We develop this viewpoint for Dyck paths.
Our motivating example is the $q,t$-Catalan polynomial. Let $D_n$ be the set of Dyck paths of semilength $n$, let $D=\bigcup_{n\ge 0}D_n$, and let $area, dinv, bounce \colon D\to\mathbb{N}$ be the standard statistics. Then, \[
C_n(q,t)=\sum_{P\in D_n}q^{area(P)}t^{bounce(P)}
=\sum_{P\in D_n}q^{dinv(P)}t^{area(P)}. \] Haglund's zeta map $ζ\colon D\to D$ gives a bijective proof: it preserves semilength and sends $(dinv,area)$ to $(area,bounce)$. By contrast, the full symmetry $C_n(q,t)=C_n(t,q)$ still lacks a direct explanation: no explicit, uniform, semilength-preserving bijection is known that swaps area and dinv on every Dyck path.
Polyregular maps from automata theory provide a natural computational starting point, but we prove that neither $ζ$ nor the classical height-sweep bijection witnessing Narayana symmetry is polyregular. The missing mechanism is global ordering by numerical levels whose range grows with the input. We call this a \emph{rank sort} and introduce \emph{weighted-rank polyregular maps} (WRP), extending polyregular maps by one such sort and containing both bijections. Nevertheless, WRP is a proper subclass of deterministic logspace. We prove that $ζ^{-1}$ lies outside WRP and that no WRP map can realise a semilength-preserving area-dinv swap. Thus the rank-sorting strategy behind $ζ$ cannot be extended within WRP to exchange the two statistics.