polynomial
11414 papers tagged with this keyword
A Unified Spectral Framework for Weighted Adjacency-Degree Matrices of Dendrimer and Bethe Trees
We introduce a weighted adjacency-degree matrix \(A_{fg}(G)\) with edge weights \(f(d_i,d_j)\) and diagonal entries \(g(d_i)\), unifying adjacency, Laplacian, signless Laplacian, \(A_α\), ABC, Randić, Sombor and related matrices. For dendrimer trees \(D_{n,k}\) and Bethe trees \(B_{n,k}\), the characteristic polynomial is factorized through one recursive sequence \(P_{fg,n}\). When \(f^2(1,k)=f^2(k,k)\), this sequence admits a Chebyshev reduction to \( U_{j+1}(x)+δU_j(x)=0, \) covering \(L/L^+\) and \(A_α\); explicit cosine spectra occur only in special cases, such as the adjacency matrix and the \(L/L^+\) end factor of \(B_{n,k}\). We derive positive-semidefinite energy formulas, Gershgorin criteria, spectral-gap estimates, interlacing and non-interlacing results, partial eigenvalue-coincidence information, and McClelland- and Koolen--Moulton-type bounds. Several known results are recovered as special cases of this unified framework.
Coloring Monomial Cayley Graphs: The One-Parameter Case
How do algebraic relations among unit directions influence the chromatic number of the plane? We introduce monomial Cayley graphs as a framework for investigating this question, beginning with graphs whose allowed unit steps are signed powers of a single complex parameter. Transcendental parameters give bipartite graphs, while for roots of unity we determine both the chromatic and circular chromatic numbers. As a geometric consequence, every graph admitting a unit-distance embedding in the plane in which the angle between any two edge directions is a rational multiple of $π$ is three-colorable. For algebraic noninteger parameters, four colors suffice, and three suffice when the primitive integer minimal polynomial has leading coefficient at least three. We conjecture that three colors suffice for every algebraic noninteger direction parameter and that four suffice for every direction parameter.
A near-quadratic lower bound for sets with no unique sums
Let $m(p)$ be the least size of a subset of $\F_p$ with at least two elements for which every sum has two distinct representations as unordered pairs, allowing repetition. We prove that, for every prime $p\ge64$, \[
m(p)\ge2^{-80}\left(\frac{\log p}{\log\log p}\right)^2. \] The argument compresses the full integer collision lattice by unit-pivot elimination. A shared random sample and forests of bounded diameter give $O(\sqrt n+n/\log p)$ surviving coordinates of polynomial height for a minimal set of size $n$. A nonzero minor divisible by $p$ then gives the lower bound. We also construct weakly ternary-balanced seeds yielding \[
m(p)\le\frac{(\log p)^2}{2(\log3)^2}
+\left(\frac1{4\log3}+o(1)\right)
\frac{(\log p)^2}{\log\log p}. \] Consequently $m(p)=(\log p)^{2+o(1)}$ as $p$ tends to infinity through the primes. The constant-factor order of $m(p)$ remains undetermined.
Optimal bound for the polynomial Littlewood-Offord problem
We present an exposition of an argument, discovered by GPT-6 Pro, that gives an optimal bound for the polynomial Littlewood-Offord problem. Namely, let $F$ be a degree-$d$ multilinear polynomial that contains $r$ degree-$d$ monomials involving disjoint sets of variables. Then, for i.i.d. Rademacher random variables $ξ_1, \ldots, ξ_n$, we have $\mathbb{P}[F(ξ_1, \ldots, ξ_n) = 0] = O_d(r^{-1/2})$. This improves upon the previous bound of $(\log r)^{O_d(1)} r^{-1/2}$ due to Meka, O. Nguyen, and Vu, and resolves a conjecture attributed to H. Nguyen and Vu. The key part of the proof is an estimate for the total influence of bounded-degree rational functions, which resolves a recent conjecture of Kothari, Kovacs-Deak, Wang, and Yang.
Density regularity of $\{x,x+y,xy\}$ in the integers
Fix $k,s\in\mathbb{N}$. We prove that there exists a subadditive density on $\mathbb{N}$ such that, for every polynomial $P\in\mathbb{Z}[y]$ of degree $k$ and with $P(0)=0$, every set of positive density contains configurations $\{x,x+P(y),xy^s\}$ for arbitrarily large $x>y\geq 2$. This provides a density strengthening of Moreira's result on partition regularity for $\{x,x+y,xy\}$.
A Szemerédi-Trotter Theorem in Arbitrary Fields
Let $k$ be a field of characteristic $p\ge0$. We prove that $m$ points and $n$ lines in $k^2$ determine at most $3(mn)^{2/3}+m+n+2mn/p$ incidences, the last term being omitted in characteristic zero. Over the prime field $\mathbb{F}_p$ the coefficient of $mn/p$ can be replaced by $1$. The proof uses the polynomial method, and for $m=n$ the bound is sharp up to an absolute constant over prime fields. As applications, over prime fields in which $-1$ is not a square we obtain the $L^2\to L^r$ extension estimate for the paraboloid in $\mathbb{F}_p^3$ for $r>10/3$. Over every odd prime field, we show that a two-source extractor construction of Bourgain has exponentially small error at every min-entropy rate greater than $1/3$. We also improve sum-product estimates for small sets in positive characteristic and obtain projection and Furstenberg estimates over prime fields. The incidence inequalities with exact constants have been formalized in Lean.
Positivity for graph Laurent phenomenon algebras
Laurent phenomenon algebras were introduced by Lam and Pylyavskyy as a generalisation of cluster algebras. For a family associated with directed graphs, they showed that every cluster variable is a Laurent polynomial in the variables of any cluster and conjectured that these expansions have nonnegative coefficients. We prove this conjecture for all directed graphs without loops or multiple edges with respect to an arbitrary seed cluster.
The Distance Laplacian and Distance Signless Laplacian Spectra of $\mathcal{C}$-Graphs
Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.
Character expansions and affine Jacobi-Trudi identities
We provide character expansions of certain specialisations of multiparameter Hall--Littlewood polynomials of types $\mathrm{B}_n$, $\mathrm{C}_n$, and $\mathrm{BC}_n$ for rectangular shapes. We use these expansions to establish the six Jacobi-Trudi-type identities conjectured by Ole Warnaar in 2025.
Cayley graph diameters for fixed cycle types are eventually quasipolynomial
Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.
Maximum $2$-scattered subspaces of $V(r,q^6)$
For every prime power $q$ and every integer $r\geq5$ coprime to $6$, we construct a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$. The construction is a two-dimensional $\mathbb{F}_{q^r}$-subspace of $\mathbb{F}_{q^{6r}}$, viewed as an $r$-dimensional vector space over $\mathbb{F}_{q^6}$. A trace argument reduces the proof to the complementarity of two $\mathbb{F}_{q^r}$-subspaces. We establish this complementarity by separating two cases, which lead to a cubic polynomial obstruction and a quadratic norm obstruction. The associated rank-metric code is a $[2r,r,4]_{q^6/q}$ MRD code equivalent to its dual. Taking the cases $r=5,7$ and direct sums with the standard dimension-three construction gives maximum $2$-scattered subspaces of $V(r,q^6)$ for every $q$ and every $r\geq3$ except $r=4$. When $q$ is an odd power of $2$, the known dimension-four construction also covers this remaining case.
Polynomial-in-$r$ bounds for forbidden traces of uniform hypergraphs
We give a general principle that converts fixed-uniformity bounds for forbidden traces into bounds with polynomial dependence on the uniformity. More precisely, let $H$ be a fixed set system on $h\ge1$ vertices, and suppose that, for some $α\ge0$, $\operatorname{ex}_j(m,\operatorname{Tr}(H))=O_{H,j}(m^α)$ for every fixed integer $j\ge1$. Then, for every $\varepsilon>0$, there is a constant $C_{H,α,\varepsilon}$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(H))
\le C_{H,α,\varepsilon} r^{h-1-α+\varepsilon}m^α\] for all $m\ge r\ge2$.
In particular, for trace-$C_4$-free hypergraphs and every $\varepsilon>0$ there is a constant $C_\varepsilon$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(C_4))
\le C_\varepsilon r^{3/2+\varepsilon}m^{3/2} \] for all $m\ge r\ge2$. We also construct trace-$C_4$-free $r$-graphs showing that \[ \operatorname{ex}_r(m,\operatorname{Tr}(C_4)) \ge c r^{1/2}m^{3/2} \] for an absolute constant $c>0$, for every fixed $r\ge3$ and all sufficiently large $m$ (depending on $r$).
Unimodality of Forest Independence Polynomials
For a finite forest $F$ let $i_k(F)$ be the number of independent sets of $F$ with $k$ vertices. Zhang and Li proved that the sequence $i_0(F),i_1(F),\dots,i_{α(F)}(F)$ is unimodal for every finite forest $F$, which answers Erdős Problem 993. We give a second proof. It starts from their decomposition relative to a fixed independent set and from the bounds of Zhang and Li and of Fang, Lu, Nevo, Yao and Zheng that confine a valley of the sequence to an explicit window of ranks. For a forest with at least $25$ vertices, one moment argument excludes a valley at every rank of the window: at the activity where the hard-core mean equals the rank, the size of a random independent set is a mixture of binomial laws over an independent set of maximum weight, a valley is a moment inequality for this mixture, and it is excluded by duality given three bounds that hold for every forest, on the variance of the number of free vertices and on its Laplace transforms, and on the variance ratio. The variance bound is proved by hand up to finitely many interval checks and the other two bounds are verified by computer on finite interval-arithmetic coverings; on the resulting parameter domain a valley is excluded by exact tests on finitely many rational boxes while the mean number of free vertices is below an explicit starting mean between $19$ and $50$, and above it by one inequality, with explicit constants, for the fibers of a weighted valley kernel, proved by hand up to a finite list of explicit checks and averaged over the mixture. Forests with at most $24$ vertices are treated by exact counting, by hand except for exact rational evaluations of two explicit formulas at $43$ parameter triples. No forest is enumerated. A formal proof of the theorem in Lean 4 accompanies the paper.
Stability of plethysm coefficients and modified polynomial induction
The plethysm coefficient $\langle h_n[h_m], s_λ\rangle$ is the multiplicity of the Weyl module $W_λ(\mathbb{C}^N)$ in the representation $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ of $GL_N(\mathbb{C})$. We give short proofs of two stability results: the theorem of Bowman and Paget that $\langle h_n[h_m], s_{λ[mn]} \rangle$ is constant for $m, n \geq |λ|$, and Brion's theorem that $\langle h_n[h_{m+d}],\allowbreak s_{λ+(nd)} \rangle$ stabilizes as $d \to \infty$. A key step is the stability of vector partition functions. We show that the stable value in the theorem of Bowman and Paget equals $\langle h_{\lfloor|λ|/2\rfloor}[H-h_1], s_λ\rangle$. Our main new result connects this stable value to the multiplicity of the Weyl module in a representation of $GL_{|λ|}(\C)$. We give a formula for the stable Foulkes' coefficient in terms of a certain vector-partition function.
Positivity of the basic hypergeometric series and the MacMahon identity
The basic hypergeometric series ${}_{n+1}ϕ_{n}$ whose upper and lower parameters are non-negative integer powers of $q$ satisfying a certain constraint can be, after a normalisation, computed as a positive polynomial. We derive three formulas for this polynomial. The first formula is a generalisation of the MacMahon identity in which an infinite binomial series is identified with a normalised generating function of des and maj statistics of multiset permutations. The second formula is a generating function of multiset permutations for the inversion statistic and a generalisation of the statistic mstc. The third formula is a finite sum containing $2n$ $q$-binomial coefficients.
A direct inductive proof of the sharp Merino--Welsh threshold for matroids
Motivated by the Merino--Welsh conjecture, we consider the smallest $c\ge0$, denoted by $c_*$, for which the inequality $T_M(c,0)T_M(0,c)\ge T_M(1,1)^2$ holds for every loopless and coloopless finite matroid $M$. The counterexamples constructed by Beke, Csáji, Csikvári, and Pituk [\emph{Adv. Math.} \textbf{446} (2024), 109674] give the lower bound $x_0$, where $x_0\approx2.22668$ is the largest real root of the polynomial $x^3-9(x-1)$. Later, Csikvári [\emph{European J. Combin.} \textbf{137} (2026), 104402] improved the known upper bound for this constant to $2.35$ and then conjectured that the above inequality holds at $c=x_0$. This conjecture was recently proved by Liu (2026). We give an alternative direct inductive proof that $c_*=x_0$, without computer-assisted finite verification.
On the Hilbert polynomial of the linked projective space
Linked projective spaces are quiver Grassmannians of subspaces of dimension 1 of certain quiver representations. Degenerations of linear series produce these representations, with the limit divisors parameterized by the associated linked projective spaces. It is not known whether all linked projective spaces arise this way. If they do, they are degenerations of the (small) diagonal in a product of projective spaces. In any case, we prove here that they have the (multivariate) Hilbert polynomial of the diagonal. To achieve this, we first extend a Hilbert-polynomial formula for multiplicity-free varieties to (simple) normal-crossings schemes with multiplicity-free strata in products of projective spaces. Then we prove that a linked projective space is normal-crossings, by describing it locally in terms of Mustafin varieties. Finally, we use a relation between intersections of components of the linked projective space and certain polytopes in the tiling of a simplex associated to the linked net to prove that our formula for the Hilbert polynomial applies.
The Multiorbital Bivariate Chromatic Polynomial: A Subgroup-Lattice Refinement
We introduce the multiorbital bivariate chromatic polynomial F_Γ(G;x,y) = \sum_{H\leq G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y), which aggregates the orbital bivariate chromatic polynomials associated with all subgroups of a finite group acting on a graph. We derive the equivalent element-wise representation F_Γ(G;x,y) = \sum_{g\in G}c_G(g)P_{Γ/g}(x,y), where c_G(g) = \sum_{\langle g\rangle\leq H\leq G}\frac{1}{|H|}. The coefficient function depends only on the cyclic subgroup generated by the element and is constant on conjugacy classes. This yields decompositions by cyclic subgroups and conjugacy classes and an interpretation in terms of the incidence algebra of the subgroup lattice. After normalization, the coefficients define a probability distribution obtained by choosing a subgroup uniformly and then an element uniformly from that subgroup. We also establish diagonal multiplicativity for disjoint unions and a weighted cycle-index expression for edgeless graphs.
A further contribution concerns the distinguishing power of the orbital bivariate chromatic polynomial. We answer a question of Dohmen and Lange-Geisler affirmatively by exhibiting two non-isomorphic graphs, P_3 and K_2 \mathbin{\dot\cup} K_1 under C_2-actions, with identical orbital bivariate chromatic polynomials. The two actions nevertheless have different multiorbital bivariate chromatic polynomials. Thus the multiorbital polynomial is not determined by the orbital bivariate polynomial, whereas the converse question remains open.
Polynomial-Time Lattice-Point Counting without Barvinok Decomposition
By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. Our method starts from partial fraction decompositions and root-of-unity formulas for the lattice-point generating function of a rational simplicial cone. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that enables an exact recursive reduction. Smith normal form is then used to normalize the resulting child terms and restore the recursive structure. These transformations are justified by algebraic identities involving roots of binomial equations, while the algorithm itself works with integer exponent data and requires no explicit root computations. More precisely, for a rational simplicial cone \(\mathcal K\) in fixed dimension \(d\), with dual cone \(\mathcal K^*\), the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log\ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.
Additive decompositions of multiplicative subgroups via differential identities
We develop a local-to-global differential framework for additive decomposition problems involving multiplicative subgroups of prime fields. Starting from Hanson--Petridis-type auxiliary polynomials, we use degree bounds, in the spirit of Stepanov's method, to lift local coefficient relations at their roots to global differential identities. This yields a unified treatment of \[
H=A+B,\qquad H\cup\{0\}=A-A,\qquad H=A\mathbin{\widehat{+}} A,\qquad H\cup\{0\}=A\mathbin{\widehat{+}} A, \] where $H$ is a proper multiplicative subgroup. This circle of problems is motivated by Sárközy's conjecture on the additive irreducibility of nonzero quadratic residues and its generalizations to multiplicative subgroups. Rudnev and Tyrrell recently classified all decompositions $H=A+B$, building on the approach introduced by Hanson--Petridis and further developed by Kalmynin.
Our framework gives a new polynomial proof of the Rudnev--Tyrrell classification and substantially streamlines the existing proofs: it gives an independent proof of Kalmynin's equal-size theorem and reduces the classification to direct coefficient comparisons, avoiding the residue-theoretic input and more elaborate arithmetic analysis of earlier proofs. It also yields a streamlined proof of Kalmynin's resolution of a conjecture of Lev and Sonn on $H\cup\{0\}=A-A$. For the two restricted-sumset problems, we obtain complete classifications, substantially improving earlier results of Shkredov and Yip. We also establish some stability refinements.