polynomial
11184 papers tagged with this keyword
Spectral Properties of Zero-Divisor Graphs of Truncated Polynomial Rings
Let $R$ be a commutative ring with identity and let $Z^{\ast}(R)$ denote the set of nonzero zero-divisors of $R$. The \emph{zero-divisor graph} $ \varGamma(R)$ is the simple graph with vertex set $V( \varGamma(R))=Z^{\ast}(R)$, where two distinct vertices$x,y\in Z^{\ast}(R)$ are adjacent if and only if $xy=0$ in $R$. In this paper we investigate the zero-divisor graph of the truncated polynomial ring $R=\mathbb{Z}_{p}[x]/\langle x^{c}\rangle,$ for $c\in\mathbb{N}.$ We determine the spectrum of the $A_α$-matrix associated with $ \varGamma(R)$, and, as special cases, explicitly obtain both the adjacency spectrum and the signless Laplacian spectrum of $ \varGamma(R)$. Furthermore, we prove that the Laplacian eigenvalues, as well as the distance eigenvalues, of these graphs are all integers.
The Quantum Walk Characteristic Polynomial Distinguishes All Strongly Regular Graphs of Prime Orde
Let $G$ be a strongly regular graph of prime order $p$ with connection degree $k \geq 6$. We prove that the \emph{quantum walk characteristic polynomial} $χ_q(G,λ) \coloneqq \det(λI - U_G)$, where $U_G$ is the coined quantum walk operator on $G$, completely determines $G$ up to isomorphism within the class of strongly regular graphs of the same order.
The proof proceeds in three steps. First, we show that $U_G$ block-diagonalizes under the discrete Fourier transform over $\Z_p$, yielding $p$ blocks $U_G^{(j)}$ of size $k \times k$. Second, we prove an explicit formula \[
χ_q\!\bigl(U_G^{(j)}, λ\bigr) =
(λ-1)^{(k-2)/2}(λ+1)^{(k-2)/2}
\!\left(λ^2 - \tfrac{2\widehat{A}_G(j)}{k}\,λ+ 1\right), \] from which the Fourier coefficient $\widehat{A}_G(j)$ is recovered as the unique real part of an eigenvalue of $U_G^{(j)}$ distinct from $\pm 1$. Third, the inverse discrete Fourier transform recovers the connection set $S$ of $G$, and Turner's theorem (1967) identifies $G$ up to isomorphism. As a consequence, graph isomorphism is decidable in polynomial time within this class using the quantum walk spectrum, without resorting to the general quasi-polynomial algorithm of Babai (2016).
On expectations and variances in the hard-core model
The hard-core model can be used to understand the numbers of independent sets in graphs in extremal graph theory. The occupancy fraction, defined as the logarithmic derivative of the independence polynomial of a graph, is a key quantity in hard-core model. Davies \textit{et al.} (2017) established an upper bound on the occupancy fraction for $d$-regular graphs, and Perarnau and Perkins (2018) derived a corresponding bound on it for graphs with given girth. Inspired by their work, we provide the tight upper and lower bounds on occupancy fraction in $n$-vertex graphs with independence number $α$, extending the classical results on bounds for independence polynomials. We also prove a relevant conjecture posed by Davies \textit{et al.} (2025) to this topic.
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 2021) 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 establishes for the first time the existence of 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.
An Unconditional Barrier for Proving Multilinear Algebraic Branching Program Lower Bounds
Since the breakthrough superpolynomial multilinear formula lower bounds of Raz (Theory of Computing 2006), proving such lower bounds against multilinear algebraic branching programs (mABPs) has been a longstanding open problem in algebraic complexity theory. All known multilinear lower bounds rely on the min-partition rank method, and the best bounds against mABPs have remained quadratic (Alon, Kumar, and Volk, Combinatorica 2020).
We show that the min-partition rank method cannot prove superpolynomial mABP lower bounds: there exists a full-rank multilinear polynomial computable by a polynomial-size mABP. This is an unconditional barrier: new techniques are needed to separate $\mathsf{mVBP}$ from higher classes in the multilinear hierarchy.
Our proof resolves an open problem of Fabris, Limaye, Srinivasan, and Yehudayoff (ECCC 2026), who showed that the power of this method is governed by the minimum size $N(n)$ of a combinatorial object called a $1$-balanced-chain set system, and proved $N(n) \le n^{O(\log n/\log\log n)}$. We prove $N(n) = n^{O(1)}$ by giving the chain-builder a binary choice at each step, biasing what was a symmetric random walk into one where the imbalance increases with probability at most $1/4$; a supermartingale argument combined with a multi-scale recursion yields the polynomial bound.
Resolving problems on the polynomial identity characterization of daisy cubes
Let $X\subseteq\{0,1\}^n$ be a set of binary strings of length $n$. The daisy cube $Q_n(X)$ is the subgraph of the hypercube $Q_n$ induced by the union of the intervals $I(x,0^n)$ for $x\in X$. As a subclass of partial cubes, it generalizes Fibonacci cubes and Lucas cubes. For a graph $G$ and a vertex $u\in V(G)$, we consider the cube polynomial $C_G(x)$, the distance cube polynomial $D_{G,u}(x,y)$, and the polynomial $W_{G,u}(x)$, which count $k$-cubes, $k$-cubes at distance from $u$, and vertices at distance $k$ from $u$, respectively.
In this paper, we prove that for a partial cube $G$ with a vertex $u\in V(G)$, $G$ is a daisy cube and $u=0^n$ if and only if one of the following equivalent conditions holds: (1) $C_{G}(x)=W_{G,u}(x+1)$; (2) $D_{G,u}(x,y)=W_{G,u}(x+y)$; (3) $D_{G,u}(x,y)=C_{G}(x+y-1)$. In particular, conditions (1) and (3) give affirmative answers to two open problems posed by Klavžar and Mollard [European J. Combin., 80 (2019) 214--223]. Further, we obtain that for arbitrary partial cube $G$, $D_{G,u}(x,y)\leq W_{G,u}(x+y)$ and $C_{G}(x)\leq W_{G,u}(x+1)$. Besides, another bound for $C_G(x)$ due to Xie et al. [J. Graph Theory, 106 (2024) 907--922] is given by the clique polynomial $Cl_{G^\#}(x+1)$ of the crossing graph of $G$. We also compare these two bounds and show that the simplex graphs form the unique class of graphs for which the two bounds coincide.
Two Littlewood identities for fully inhomogeneous spin Hall-Littlewood symmetric rational functions
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ arise as partition functions of certain path configurations in the $\mathfrak{sl}_2$ higher spin six vertex models. They are multiparameter generalizations of the classical Hall-Littlewood symmetric polynomials. We establish two new generalizations of the classical Littlewood identity, where we express a weighted sum of $F_λ$'s over all partitions $λ$ as a product of the Littlewood kernel and another simple product in one case, and a product of the Littlewood kernel and a Pfaffian in the other case. As a corollary we obtain a novel Littlewood identity for Hall-Littlewood symmetric polynomials.
We also elaborate on the newly established connection between the fully inhomogeneous spin Hall-Littlewood symmetric rational functions $F_λ$ and the modified Robbins polynomials, the latter being multivariate generating functions for alternating sign matrices. This connection allowed us to discover the two generalizations of the Littlewood identity and we provide a bijection between the underlying combinatorial models in the case where $λ$ is strictly decreasing.
The Priority Lattice
We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.
Hypergeometric Bernoulli Polynomials Defined on Simplicial $d$-Polytopic Numbers
We introduce an ${\rm S}_d$-analogue of the hypergeometric Bernoulli polynomials and study their properties. To achieve this goal, we introduce a calculus defined on the simplicial $d$-polytopic numbers. Two definitions of the ${\rm S}_d$-derivatives are given. These two definitions allow us to derive an identity relating Kummer confluent hypergeometric function and Touchard polynomials. This calculus is closely related to the $d$-Hoggatt binomial coefficients. ${\rm S}_d$-analogs of the exponential function and the hypergeometric functions are given.
Beyond the Laurent phenomenon
In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables.
Upper bound on the $k$-th eigenvalue of a graph
We prove a general upper bound on the $k$-th adjacency eigenvalue of a graph. For $k\ge 2$, we show that \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1 \] for every graph $G$ on $n$ vertices. We build on a recent approach that addresses the case $k=3$ and generalize the upper bound for all $k \geq 3$ by using the positivity of Gegenbauer polynomials. The upper bound is tight for $k \in \{2,3,4,8,24\}$. We also highlight the close relation of $λ_k(G)$ to questions about equiangular lines.
Truncated Plethystic Exponentials Preserve Power Sum Constraints
Given an arbitrary sequence $(α_1, \ldots, α_n) \in \mathbb{C}^n$, we show that the degree-$n$ truncation of the formal exponential $\exp\bigl(-\sum_{k=1}^{\infty} \frac{α_k}{k} x^k\bigr)$ produces a polynomial whose roots $ρ_1, \ldots, ρ_n$ satisfy $\sum_{i=1}^n ρ_i^{-k} = α_k$ exactly for $k = 1, \ldots, n$. This truncation-exactness property is an algebraic identity in the ring of formal power series, proved by coefficient matching. It defines a natural embedding of sequences into multisets of complex numbers and yields an $O(n^2)$ algorithm for computing the polynomial from the prescribed power sums. We apply the result to the polylogarithm family $α_k = k^{1-s}$, where the associated exponential $\exp(-\mathrm{Li}_s(x))$ produces factorial-integer coefficient sequences for $s \leq 0$ and encodes values of the Riemann zeta function through $\lim_{n\to\infty} P_n^{(s)}(1) = \exp(-ζ(s))$ for $\mathrm{Re}(s) > 1$.
Exact Algorithms for Edge Deletion to Cactus
We study two related problems on simple, un-directed graphs: Edge Deletion to Cactus and Spanning Tree to Cactus. Edge Deletion to Cactus has been known to be NP-hard on general graphs at least since 1988. We show improved exact algorithms for the former and a polynomial time algorithm for the latter.
Log-concavity from enumerative geometry of planar curve singularities
We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.
Computing fixed point free automorphisms of graphs
In 1981, Lubiw proved that the fixed point free automorphism problem (FPFAut) is NP-complete: given a graph G, determine whether there exists an automorphism that maps no vertex of G to itself. We revisit this problem and prove that FPFAut remains NP-complete when restricted to split, bipartite, k-subdivided, and H-free graphs, if H is not an induced subgraph of P_4. The class of P_4-free graphs receives the special name of cographs. We provide a polynomial time algorithm for three extensions of cographs: bounded modular-width graphs, tree-cographs and P_4-sparse graphs. Our approach uses the well known modular decomposition of graphs. As a consequence, we generalize a result of Abiad et. al. on the problem of computing 2-homogeneous equitable partitions.
A proof of Fill's spectral gap conjecture
We prove a quantitative lower bound on the spectral gap of the adjacent-transposition chain on the symmetric group with a general probability vector. As a consequence, among all regular probability vectors, the spectral gap of the transition matrix is minimised by the uniform probability vector, i.e., $p_{i,j}\equiv {\frac 1 2}$ for all $i \ne j$. A second consequence is a uniform polynomial bound on the inverse spectral gap in the regular case. This resolves a longstanding conjecture known as Fill's Gap Problem.
An operator-theory construction on geometric lattices
We introduce a canonical operator-theoretic construction associated to a finite geometric lattice, in which a simple nonassociative ``diamond product'' on the lattice basis gives rise to a family of creation operators indexed by atoms and a corresponding self-adjoint Hamiltonian on $\mathbb R[L]$. A key structural feature is that the Hamiltonian changes rank by at most one, so that its compression to the rank-radial subspace is a Jacobi matrix. In this way, geometric lattices give rise in a direct and uniform manner to finite orthogonal polynomial systems.
The Jacobi coefficients admit explicit combinatorial formulas. For Boolean lattices one obtains the centered Krawtchouk Jacobi matrix, while for projective geometries one obtains natural $q$-deformations consistent with the $q$-Hahn family. The construction applies to arbitrary geometric lattices and requires no symmetry assumptions.
Inverse Kazhdan--Lusztig polynomials of fan matroids
The inverse Kazhdan--Lusztig polynomial of a matroid was introduced by Gao and Xie, and the inverse $Z$-polynomial of a matroid was introduced by Ferroni, Matherne, Stevens, and Vecchi. In this paper, we study these two polynomials for fan matroids, a family of graphic matroids associated with fan graphs. We first derive the generating functions for the inverse Kazhdan--Lusztig polynomials of fan matroids using their recursive definition, and then deduce the explicit formulas of these polynomials therefrom. For the inverse $Z$-polynomials of fan matroids, we obtain their generating functions using a parallel generating function approach, and further derive their explicit expansions based on these generating functions. Additionally, we provide alternative proofs for the above generating functions using the deletion formulas for inverse Kazhdan--Lusztig and inverse $Z$-polynomials. As an application of the explicit formula for inverse Kazhdan--Lusztig polynomials, we prove that the coefficients of the inverse Kazhdan--Lusztig polynomial of the fan matroid form a log-concave sequence with no internal zeros.
B-type coefficient polynomial
An A-type coefficient polynomial introduced by Kawauchi recovers the HOMFLY-PT polynomial as a formal power series within skein theory. A notable feature of this construction is that each coefficient defines a link invariant, yielding an infinite sequence of invariants, while the low-degree coefficients are relatively easy to compute. In this paper, we extend this viewpoint to the B-type setting. Unlike the A-type case, the B-type setting requires a genuinely new inductive scheme due to the four-term skein relation. More precisely, we introduce coefficient polynomials associated with the B-type skein relation and show that their generating series recovers the Kauffman polynomial. We further prove that these coefficient polynomials are well-defined and that the resulting generating series is invariant under the corresponding Reidemeister moves.
Eulerian polynomials and the alternating sum of excedances
Tangent numbers $T_{2n-1}$, which enumerate alternating permutations of odd length, play a prominent role in the Taylor series expansion of the tangent function $\tan(x)$. In this work, we adopt a combinatorial approach based on the excedance statistic of permutations, which allows us to interpret the coefficients of the tangent series in a structural and enumerative way. Using this framework, we establish a classical identity that relates the alternating sum of excedances to the hyperbolic tangent function. This perspective highlights deep connections with Eulerian polynomials, provides a combinatorial interpretation of tangent numbers, and links these sequences to Genocchi numbers and related arithmetic properties. The approach not only unifies analytic and combinatorial viewpoints but also opens the way to generalizations to other permutation statistics and families of specialized permutations.