polynomial
11422 papers tagged with this keyword
Path-Minimality of $p$-Energy for Connected Graphs
Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov.
The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.
Grove polynomials and $K$-theoretic quasisymmetry
We define the grove polynomials, a set-valued extension of forest polynomials. We show that they are $K$-theoretically dual to the quasisymmetric Schubert cells which pave the quasisymmetric flag variety, in the same way that Grothendieck polynomials are dual to Schubert cells in the complete flag variety. As a consequence, the finite truncations of the multi-fundamental quasisymmetric functions of Lam-Pylyavskyy acquire a geometric interpretation as $K$-theoretic representatives of quasisymmetric Schubert cells.
Betti Numbers of Cut Complexes of Squared Paths and a Recurrence Conjecture
For a graph $G$ on $[n]$, the $k$-cut complex $Δ_k(G)$ has facets $[n]\setminus T$, where $T$ ranges over the disconnected $k$-vertex induced subgraphs of $G$. Bayer, Denker, Jelić Milutinović, Sundaram, and Xue proved that the $k$-cut complex of the squared path $P_n^2$ is shellable for $n\ge k+3$ and conjectured a finite-difference recurrence for its top reduced Betti number along every diagonal $n-k=r$. We prove the recurrence by giving the exact formula $β(k,n)=\binom{n-1}{k-1}-\sum_{j=0}^{\min\{k-1,n-k\}}\binom{k-1}{j}(n-k-j+1)+(n-k)$ for $r=n-k\ge3$. Equivalently, for fixed $r\ge3$, the diagonal sequence $B_r(k)=β(k,k+r)$ is a polynomial in $k$ of degree $r-1$, and therefore $\nabla^rB_r(k)=0$. The proof uses a complementary-face enumeration: among complements with size at least $k$, all bad complements have size $k$ or $k+1$, and they are, respectively, connected $k$-subsets of $P_n^2$ and intervals of length $k+1$. The same formula also proves the conjectural closed forms for $k=4,5$.
Cyclic Sieving for Strong Dichotomy Enumeration
Agustín-Aquino solved, in terms of the table of marks of $\Aff(\mathbb{Z}/2k\mathbb{Z})$, the problem of enumerating the classes of bicolour self-complementary and rigid patterns in $\mathbb{Z}/2k\mathbb{Z}$ (also known as \emph{strong dichotomy classes}). In particular, the rigid pattern-inventory polynomial appeared, for odd $k$, to yield the number of strong classes with negative sign when evaluated in $-1$, and it was conjectured that this is true for $k$ a power of an odd prime. Here we prove the conjecture is true for $k$ odd in general.
Reciprocals of Partition Polynomials
Ballantine--Beck--Feigon--Maurischat introduced the subsum polynomial \[ \operatorname{sp}(λ,x):=\prod_i (1+x^{λ_i}) \] attached to an integer partition $λ$, and studied rational functions obtained by summing reciprocals of these olynomials over natural classes of partitions. They posed ten conjectures which naturally divide into coprimality and divisibility questions, special-value and recurrence formulas, and coefficient-shape problems. We prove all of the conjectures in the first two families: the ordinary and binary coprimality/divisibility conjectures, and the odd and ternary special-value/recurrence conjectures. AxiomProver autonomously produced Lean/mathlib formalizations and machine-checkable proofs of these six conjectures, and also discovered the counterexample showing that the binary log-concavity conjecture is false as stated.
On Kazhdan--Lusztig basis elements having no reversal factorization
For $w$ in the symmetric group $S_n$, let $\widetilde C_w$ be the corresponding modified, signless Kazhdan--Lusztig basis element of the type-$A$ Hecke algebra $H_n(q)$. An extension [Ann. Comb. 25, no. 3 (2021) pp. 757--787] of a result of Deodhar [Geom. Dedicata 36, (1990) pp. 95--119] implies that any factorization of the form \begin{equation*}
\widetilde C_w = \frac1{f(q)} \widetilde C_{v^{(1)}} \cdots \widetilde C_{v^{(r)}},
\end{equation*} with $v^{(1)},\dotsc,v^{(r)}$ maximal elements of parabolic subgroups of $S_n$ and $f(q) \in \mathbb N[q]$ depending on these, provides cancellation-free combinatorial interpretations of the polynomials $\{P_{v,w}(q) \,|\, v \in S_n \}$ appearing in the expansion $\sum_v P_{v,w}(q) T_v$ of $\widetilde C_w$ in terms of the natural basis $\{ T_v \,|\, v \in S_n \}$ of $H_n(q)$. While the set of permutations $w \in S_n$ admitting such a factorization of $\widetilde C_w$ has not yet been characterized, we apply a result of Gaetz -- Gao [Adv. Math. 457 (2024) Paper No. 109941] to describe a set admitting no such factorization.
A Classification of Positive-Curvature Discrete Einstein Metrics on Trees
For a weighted tree, the Lin--Lu--Yau Ricci curvature admits an explicit formula in terms of the edge weights. Consequently, the constant-curvature equation is equivalent to an eigenvalue problem for an edge-indexed Ricci matrix $R_T$. Building on the spectral characterization of discrete Einstein metrics on trees, we classify all finite trees whose discrete Einstein metric has positive curvature, equivalently all trees satisfying $λ_{\max}(R_T)<0$. For caterpillars with spine order $m\ge 12$, this occurs precisely for the endpoint families $T_m(a,0,\ldots,0,b)$ with $1\le a,b\le 3$ and $(a,b)\ne(3,3)$. The remaining cases $3\le m\le 11$ are settled by an exact finite verification using rational characteristic polynomials and Sturm root counts. We also determine the zero level set $λ_{\max}(R_T)=0$: among caterpillars, it consists of the stable family $(3,0,\ldots,0,3)$ together with nine exceptional short-spine caterpillars, while $S_3^2$ is the unique non-caterpillar zero example.
Horizontal miniatures and normal-sized miniatures of convex lattice polytopes
Let $d$ be a nonnegative integer, and let $P \subset \mathbb R^d$ be a $d$-dimensional convex lattice polytope. In this article, we prove that the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d},$ which generalizes the known results for the unit hypercube and lattice simplices provided by the author. This theorem is proven by establishing that the number of horizontal miniatures of $P$ with resolution $t$ is a polynomial of degree $d+1$ in $t$ whose leading coefficient is $\mathrm{vol}\,(P)/(d+1),$ which is derived from Ehrhart theory.
Corrigendum and Addendum to "Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition''
In Section 6 of the paper ``Fraïssé's Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition'', we applied the methods developed in earlier sections to show that a certain reduct of the generic permutation has finite big Ramsey degrees. Unfortunately, this reduct was incorrectly identified as the generic partial order. We are grateful to Jan Hubička for bringing this error to our attention.
In this note we correct the statements that rely on this misidentification and demonstrate that the reduct in question is in fact the generic 2-dimensional partial order. We emphasize that the arguments presented in Section 6 remain valid, with the sole exception of the Claim in the proof of Theorem 6.4, whose role was to (incorrectly) identify the reduct of the generic permutation as the generic partial order.
This correction has an unexpected positive consequence. Rather than reproving a well-known result whose existing proof is already notably elegant, this note demonstrates that our general framework can be used to establish that a previously unexplored class of generic relational structures has finite big Ramsey degrees. This observation opens a potentially new direction for further research in the thriving area of big Ramsey combinatorics.
In the addendum, we combine a recent result by Oudrar and Pouzet with our analysis of finite big Ramsey degrees for structures admitting finite monomorphic decomposition to characterize the existence of finite Big Ramsey degrees for all countable relational structures whose language has a linear order and age has polynomial growth.
Schur positivity of the nabla operator on two-column modified Hall--Littlewood polynomials
In this paper, we investigate the Schur positivity of modified Hall--Littlewood polynomials indexed by two-column partitions under the action of the $\nabla$ operator. Specifically, we resolve two conjectures posed by Bergeron, Garsia, Haiman, and Tesler in the two-column case. Furthermore, our approach demonstrates that these results can be extended to arbitrary powers $\nabla^k$ for all integers $k\geq 1$.
A generalization of the Erdős-Sierpiński conjecture
In this paper, we investigate the combinatorial structure and asymptotic distribution of the solution set of the equation $σ(n+1) = kσ(n)$ for a given integer $k>1$. From a combinatorial perspective, the solutions to this equation are closely related to the concept of $k$-layered numbers, which are a generalization of Zumkeller numbers. In the analytic section, which constitutes the core of this research, we employ the framework of probabilistic number theory and an extension of the classical Kubilius model to study the oscillatory and local behavior of the sum-of-divisors function. Utilizing the truncation technique for arithmetic functions and applying the Chinese Remainder Theorem, the problem is reduced to a synthetic measure space equipped with independent random variables. Subsequently, by applying the optimized version of the Kolmogorov-Rogozin anti-concentration inequality (Petrov's theorem) to the difference of additive variables and finely tuning the error parameters, we prove that the natural density of this set is zero. The main quantitative outcome of this approach is the derivation of the explicit upper bound $A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$ for the counting function of the solutions. Finally, alongside the zero asymptotic density, relying on the framework of polynomials and Schinzel's H Hypothesis, we establish the conditional infinitude of the solution set for the case $k=2$ and formulate the existential results.
Linear Algebraic Method and the Erdős-Heilbronn Conjecture
Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erdős-Heilbronn conjecture. In this note, we develop Das's linear algebraic method and give a new elementary proof of the Alon-Nathanson-Ruzsa theorem for restricted sumsets, which implies the Erdős-Heilbronn conjecture. Compared with the classical polynomial method via Combinatorial Nullstellensatz, our proof uses only basic linear algebra over finite fields, including Vandermonde matrices and solvability of linear systems.
Divisibility of Trace Codes
A linear code is said to be $Δ$-divisible if the Hamming weights of all its codewords are divisible by $Δ$. The $p$-adic valuation of a code is defined as the greatest integer $t$ such that the code is $p^t$-divisible. In this paper, we establish a divisibility criterion for trace codes. Specifically, this criterion provides a systematic method to determine the $p$-adic valuation of the associated trace code, thereby extending Ward's classical divisibility criterion from standard generating sets (or matrices) to generalized generator matrices over an extension field. Furthermore, we present two applications of our framework. The first application provides a concise proof of the celebrated divisibility results on abelian codes established by Delsarte and McEliece. The second application establishes several explicit lower bounds on the $p$-adic valuation of the number of solutions over $\mathbb{F}_{q^m}$ (where $q = p^e$) to the Artin-Schreier type equation $ f(x_1,\ldots,x_k)=y^q-y $. In particular, under the condition $\left(d,\frac{q^m-1}{q-1}\right)=1$, we determine the exact minimum $p$-adic valuation of the number of solutions when $f$ is restricted to homogeneous polynomials of degree $d$.
Haiman's Conjecture and Springer's Representations
For any connected complex reductive group $G$ and element $z$ of its Weyl group $W$, we use work of Lusztig and Abreu-Nigro to compute the graded $W$-character of the intersection cohomology of any closed Lusztig variety for $z$ over the regular semisimple locus of $G$. We relate the resulting formula to unipotent Lusztig varieties, giving a new geometric model for unicellular LLT polynomials. We then consider Laurent polynomials $α_{ψ, G}^z$ indexed by irreducible characters $ψ$, encoding how our formula decomposes into ungraded characters arising from the Springer theory of $G$. From evidence in low rank, we conjecture that if $ψ$ is inflated from type $A$ in a particular way, then the nonzero coefficients of $α_{ψ, G}^z$ are positive and unimodal. This offers an answer to a 1993 question of Haiman about generalizing a conjecture he posed for symmetric groups. We also prove that the matrix formed by the $α_{ψ, G}^z$ is partially triangular, and that their positivity and unimodality properties are stable under inclusions of Levi subgroups.
The Symmetries of Three-Layer ReLU Networks
We develop a framework for analyzing parameter symmetries in deep ReLU networks and obtain a complete characterization of the generic parameter fibers for three-layer bottleneck architectures. Our approach provides explicit semi-algebraic descriptions of these fibers and yields a polynomial time algorithm for deciding functional equivalence of two parameters. The symmetries include discrete and continuous transformations arising from layer composition, and depend on whether deeper layers hide or preserve geometric structure from preceding layers. Finally, we show that some of these symmetries induce local conservation laws along gradient flow, while others do not.
The number of realisations of a random graph
Determining the number of realisations of a graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we prove that the $d$-dimensional realisation number of an Erdős-Renyi random graph is either infinity or a power of 2 with exponent computable in polynomial time. We also determine a similar formula for the number of complex solutions to the generic rank-$d$ PSD matrix completion problem with randomly-selected non-diagonal unknown entries.
Module Lattice Security (Part IV): Probabilistic Polynomial Quantum Attack on Module-LWE over 2-Power Cyclotomics
We present a quantum attack on ML-KEM and related 2-power cyclotomic lattice schemes. Combining with Parts I-III, we provide an algorithm and verify the resulting approximation factor satisfies $γ\le 21 < q/2=1665$ for ML-KEM-1024, with a success probability $\ge 0.99$. We apply a tower decomposition of the Principal Ideal Problem (PIP) through the chain $\Q \subset \Q(ζ_8) \subset \cdots \subset \Q(ζ_{2^k})$ which yields a polynomial-time quantum algorithm costing $O(n^3 \log^2 n)$ gates, $O(n^2 \log n)$ qubits, and $\mathrm{poly}(n)$ classical bit operations. We extend the analysis to Falcon, Hawk, and NTRU over 2-power cyclotomic rings. This means that ML-KEM, Falcon, Hawk, NTRU-HPS, and NTRU-HRSS with all standardized parameter sets are broken under quantum attack.
The (n-2,2)-Spectrum of a Graph
We study a representation-theoretic refinement of the ordinary Laplacian spectrum of a graph. Given a graph $G$ on $n$ vertices, one may associate to it the element \[ X_G=\sum_{ij\in E(G)} (ij)\in \C[S_n]. \] The action of $X_G$ in irreducible representations of $S_n$ produces spectral invariants of graphs. The standard representation $(n-1,1)$ recovers the ordinary graph Laplacian spectrum, up to the elementary affine change $X_G=mI-L_G$, where $m=|E(G)|$. The next component, $(n-2,2)$, gives the first representation-theoretic correction. We give an explicit edge-space model for this component, derive a concrete coordinate formula for the induced operator, give a conceptual formula for all trace moments, specialize it to trees as universal linear combinations of support-forest counts, and then compute the first three moments explicitly. The third moment is expressed in terms of three-edge subgraph counts. We also introduce a weighted trace polynomial and prove that this weighted refinement already reconstructs every tree from the second moment, except for a single exceptional value of $n$ where the fourth moment suffices. Finally we discuss the relation with the invariant-theoretic approach of Thiéry \cite{Thiery} and formulate a more explicit support-forest-profile conjecture for the unweighted graph isomorphism problem for trees.
Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field
We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=λt^{3/2}+t\), where \(λ\in\mathbb R\setminus\mathbb Q\), singled out in their integer-coefficient derivative-span question, we prove that every \(F\in\nablaz(f_1,f_2)\) satisfies \(\lim_{t\to\infty}|F(t)|\in\{0,\infty\}\). Nevertheless, there is a set \(E\subset\mathbb N\) of positive natural density such that \(R_{f_1}(E)\cap R_{f_2}(E)\) is piecewise syndetic and not thick. Thus the proposed integer-coefficient replacement does not imply thickness.
We further show that, even under the same full integer derivative-span condition, the common return-time set may be empty. This stronger obstruction also gives a negative answer to their question asking whether the recurrence conclusion of Theorem A follows from joint intersectivity of the integer polynomials in \(\operatorname{poly}(f_1,\ldots,f_k)\). The constructions use elementary Bohr sets.
Hypermaps with hyperedges of length at most $3$
We study the computation of our recently introduced Whitney polynomial and the enumeration of the spanning hypertrees for hypermaps whose hyperedges have length at most $3$. This is a class of hypermaps where the computation of the above invariants depends only on the underlying (multi)hypergraph structure. We develop deletion-contraction formulas involving six types of generalized loops and bridges, and we prove results on special substitutions into our Whitney polynomial. We generalize the reliability polynomial and the random cluster model to hypermaps in general in such a way that they can be computed using our Whitney polynomial. Finally we explicitly count the spanning hypertrees in reciprocals of plane graphs in which every vertex has degree at most $3$.