polynomial
11538 papers tagged with this keyword
Linear Laurent phenomenon algebras are of finite type
Laurent phenomenon algebras generalise cluster algebras by allowing irreducible exchange polynomials in place of binomials. Lam and Pylyavskyy proved finite type for those arising from graphs and conjectured that the same holds for every Laurent phenomenon algebra admitting a linear seed. We prove this conjecture over an arbitrary unique factorisation domain. Our proof constructs a nonzero element of the upper algebra divisible by every cluster variable. Comparing noninitial cluster variables with the prime factors of this element in the initial Laurent ring bounds the number of cluster variable classes and yields a finite normalised mutation pattern.
Chow polynomials and chain polynomials of matroids are not log-concave
The Hilbert--Poincaré series of the Chow rings of the toric varieties of matroids, often called the \emph{Chow polynomials}, and the $f$-polynomial of their boundary complexes, called the \emph{chain polynomials}, have been conjectured to only have real zeros. We construct several explicit infinite families of matroids from finite geometries, whose multichain counts fail to be log-concave. They share a common geometric construction called \emph{hyperplane coalescence}, together with several classical operations in projective geometry and combinatorial designs. This induces failures of log-concavity for Chow, augmented Chow, chain, and $h$-polynomials of several explicit infinite families of matroids, disproving the real-rootedness conjectures of Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou from the lowest possible ranks.
As an application of the same mechanism, we also give counterexamples to the log-concavity of $h$-polynomials of graph associahedra, answering in the negative a question of Sack.
Determinantal linear spanning forests
We introduce a determinantal linear process on the space of $1$-forms over a weighted graph endowed with a unitary local system, which we call the determinantal linear spanning forest (DLSF). This process is the analog of the uniform spanning tree in the presence of an arbitrary rank $n$ quenched gauge field in ${\rm U}(n)$ (or ${\rm O}(n)$, ${\rm SO}(n)$, ${\rm SU}(n)$, ${\rm Sp}(n)$), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of ${\rm U}(1)$ and ${\rm SU}(2)$.
We describe the support of this process by means of a polymatroid which is described in terms of the circular and bicircular matroids. We also explain how the DLSF relates to the computation of currents in an electrical network in the presence of a gauge field.
The partition function of the DLSF is shown to be the determinant of the twisted Laplacian, for which we also give a matrix-tree type theorem that computes its characteristic polynomial. We initiate the study of the twisted Laplacian determinant as a functional on the space of connections, and give a first order expansion of it in a neighborhood of the trivial connection, for which we provide a probabilistic interpretation.
We extend the construction to infinite graphs, exhibiting the analogs of the classical wired and free distributions on spanning forests. We give a sufficient geometric condition on the local spectral gap for the existence of a Poincaré inequality as well as the uniqueness of the infinite volume measure, and the exponential decay of correlations. We show that on any recurrent graph, the wired and free DLSF coincide. We construct examples where they do not, for example, unlike in the classical case, on $\mathbb Z^d$ for $d\geq 3$.
Solomon--Terao Algebras: Top Degree, Dimension, and Homology
We study the Solomon--Terao algebra and the Solomon--Terao complex of a central hyperplane arrangement $\mathcal A$ in $\mathbb C^\ell$. Let $η$ be a homogeneous polynomial of degree $d\geq2$ whose restriction to every flat of $\mathcal A$ has no critical point away from the origin. We prove that the Solomon--Terao algebra $\mathrm{ST}(\mathcal A,η)$ has top degree $|\mathcal A|+\ell(d-2)$ and a one-dimensional top graded component with an explicit generator, solving a conjecture of Abe, Maeno, Murai, and Numata. For $d=2$, we show that the total dimension of $\mathrm{ST}(\mathcal A,η)$ is bounded below by that of the Orlik--Solomon algebra. Both results hold without assuming that the arrangement $\mathcal A$ is tame. Finally, we prove that $\mathcal A$ is tame if and only if all positive-degree homology groups of the Solomon--Terao complex associated with $η$ vanish.
Finite noncommutative coinvariant algebras
We study quotients of free associative algebras by the two-sided ideals generated by positive-degree symmetric, quasisymmetric, or free quasisymmetric polynomials. Free quasisymmetric functions give a word realization of the Malvenuto-Reutenauer Hopf algebra of permutations. For quotients on $n$ variables, finiteness in the symmetric and quasisymmetric cases follows from a theorem of Bergman--Isaacs when $n!$ is invertible in the field. Our main result is a nilpotence criterion for families of relations compatible with restriction to subalphabets. The criterion proves finiteness over every field for quasisymmetric, $r$-quasisymmetric, and free quasisymmetric coinvariants, with explicit degree bounds exponential in $n$ for fixed $r$. In the quasisymmetric and $r$-quasisymmetric cases, these improve the bounds inherited from Bergman--Isaacs. A principal application is to the free quasisymmetric case, where, for $n\geq3$, the group-invariant argument used for the symmetric case does not apply.
For the symmetric quotient $C_n$, we prove that invertibility of $n!$ is also necessary for finiteness. In characteristic zero, an auxiliary presentation and the Golod--Shafarevich inequality give $\log\dim C_n\geq(1-o(1))n^5(\log n)^2$ as $n\to\infty$. The same inequality shows that quasisymmetric and free quasisymmetric coinvariant dimensions grow faster than every fixed power of $n!$. For all three families on several freely noncommuting alphabets, we determine all multigraded Hilbert series and, for symmetric coinvariants in characteristic zero, Frobenius characteristics from one-alphabet data. In characteristic zero, projection gives stable Schur multiplicities for compatible quotients in mixed commuting, anticommuting, and free alphabets.
The weak cylinder conjecture for polynomial graphs of bounded degree
Ball's weak cylinder conjecture asserts that a set of $p^2$ points in $\mathrm{AG}(3,p)$ with at least $p$ non-determined directions is a union of $p$ parallel lines. We prove the conjecture for sets admitting a polynomial graph representation of total degree at most $D$, provided that $p>D^{9/2}$. More precisely, a non-cylindrical graph of degree $D\ge3$ satisfies $|\mathcal{N}_S|\le p+1-\lceil p/(D-1)\rceil$ under the same hypothesis. This bound is attained when $p\equiv1\pmod{D-1}$. The proof relates non-determined directions to permutation polynomials on parallel affine lines. A rigidity lemma for moving line restrictions, together with a reconstruction of their compositional components, bounds the number of contributing directions uniformly in $p$. Directions with affine restrictions are treated separately; all other contributions are bounded using geometric indecomposability and the Weil bound for plane curves.
The nabla operator, Hall--Littlewood polynomials and LLT polynomials
Bergeron, Garsia, Haiman, and Tesler conjectured that $(-1)^{n-\ell(μ)}\nabla\widetilde H_μ[X;0,t]$ and $\nablaω\widetilde H_μ[X;0,t^{-1}]$ are Schur positive, and that $\nablaω\widetilde H_μ[X;0,t^{-1}]-\nablaω\widetilde H_ν[X;0,t^{-1}]$ is Schur positive when $μ$ dominates $ν$. The first statement follows from the compositional shuffle conjecture of Haglund, Morse, and Zabrocki, proved by Carlsson and Mellit. We prove the other two statements. All three statements also hold for $\nabla^r$ with $r\geq1$. The main new step is an identity: when $μ$ covers $ν$, the difference $ω\widetilde H_μ[X;0,t^{-1}]-ω\widetilde H_ν[X;0,t^{-1}]$ is minus a power of $t$ times one LLT polynomial. Using the Catalanimals and the Cauchy identity of Blasiak, Haiman, Morse, Pun, and Seelinger, we show that $\nabla^r$ of this LLT polynomial is, up to sign, a positive sum of LLT polynomials. We also extend the main results to the Schiffmann algebra setting.
Period Piece: NEXPTIME-complete problems on digraphs via Boolean network dynamics
The central object in this work is the Boolean network, a function $f:\{0,1\}^V \to \{0,1\}^V$. Often identified with $f$ is its dynamics $D_f$, the digraph with exactly $\{x \to y : f(x)=y\}$ as its arcs. The interaction graph of $f$ is the digraph $G$ on $V$ which can be thought of as representing the dependencies of the components of $f$ on one another. On the other hand, model-checking is a major field of study in graph algorithms and complexity.
We consider problems at the intersection of these paradigms: for a given property $ϕ$, we say that a digraph $G$ is $ϕ$-dynamic if $G$ is the interaction graph of some Boolean network $f$ such that $D_f \models ϕ$. The corresponding decision problem $ϕ$-DYNAMIC asks whether $G$ is $ϕ$-dynamic. Problems of this form are well-studied in the Boolean networks community. For example, it is a well-known result that, letting $ϕ$ be 'No fixed points' (i.e. $\nexists x:x\to x$), $ϕ$-DYNAMIC is equivalent to the structural digraph problem NON-ACYCLIC, which is solvable in linear time.
We establish, for the first time, properties $ϕ$ for which $ϕ$-DYNAMIC is computationally hard. These include the 'Unique fixed point' property $\exists!x:x\to x$, and a range of properties concerning the periodic points of $f$ (i.e. vertices of $D_f$ which lie on a cycle). More widely, we exhibit an infinite family of natural properties $ϕ$ such that $ϕ$-DYNAMIC is $\mathrm{NEXPTIME}$-complete, which we call PERIOD PIECE. As a special case, these include all properties of the form 'Unique cycle of length $k$' and 'Exactly $k$ fixed points' for any $k \ge 1$. On the other hand, we show that if the input digraph has bounded in-degree, then for those same problems $ϕ$-DYNAMIC collapses down to $\mathrm{NP}^{\mathrm{NP}}$, the second level of the polynomial hierarchy, though it remains $\mathrm{NP}^{\mathrm{NP}}$-complete.
AI Discovery in Combinatorics: From Problems to Solutions and Back to Bigger Problems
We introduce $qt$Bench, a benchmark of 29 open problems in algebraic combinatorics. These problems ask for a simple combinatorial algorithm that explains given polynomial coefficients or identities. To help AI agents search for such algorithms, we provide a scaffold for playing with combinatorial objects, countering cheating attempts, and testing candidate solutions. To explore how far frontier AI systems can go on these problems, we collaborated with OpenAI, whose researchers obtained proposed solutions to several of them. This highlights bigger meta-problems: is AI discovery at scale ethical? How should these results be released? How should proof digestion be organized? We discuss these questions and give our views.
The rich-neighbor chromatic index is linear in the maximum degree
An edge of a multigraph is rich with respect to a proper edge-coloring if all the edges adjacent to it receive mutually distinct colors, and a proper edge-coloring is a rich-neighbor coloring if every non-isolated edge has a rich edge adjacent to it. The least number of colors in such a coloring is the rich-neighbor chromatic index chi'_rn(G). So far it was studied for subcubic graphs only, and multigraphs of larger maximum degree are considered here for the first time. The only upper bound valid in general was the quadratic one inherited from the strong chromatic index, while a single rich edge already requires 2D-1 colors in a D-regular graph, where D denotes the maximum degree. We give an upper linear bound chi'_rn(G) <= 6D-8 which holds for every loopless multigraph G with D >= 3, and we show that a coloring realizing this bound can be found in polynomial time. Consequently chi'_rn(G) = Theta(D). For D-regular graphs with D >= 3 the lower bound is 2D-1, and the upper bound is 5D-8. The bound 5D-8 holds more generally for every multigraph with D >= 3 which has a dominating P_{>=3}-system, and we characterize these multigraphs: such a system exists if and only if k_2(G-T) <= 2|T| holds for every set T of vertices, where k_2 counts the components on two vertices. In particular the bound holds for every graph with 3 <= D <= 4d-4, where d denotes the minimum degree. The paper is concluded with a conjecture on the tight upper bound on chi'_rn(G).
Dot actions and Hessenberg spaces for dihedral groups
Splines on Weyl groups model the equivariant cohomology of regular semisimple Hessenberg varieties, and the natural group action on them encodes the monodromy action. The resulting representations are of great interest in algebraic combinatorics for their connections to Hecke algebra characters, LLT polynomials, and chromatic symmetric functions. We study the analogous construction for dihedral groups, which in general have no underlying geometry. Using purely algebraic methods, we show that these spline modules are free, construct explicit bases, and compute their Hilbert series, recovering the familiar properties of the geometric setting. We also determine the associated dihedral group representations completely. Unlike what is conjectured for the symmetric group case, these need not be permutation representations.
The Negami Polynomial and Broken-Circuit Stanley--Reisner Rings
We summarize the classical passage from the chromatic specialization of Negami's polynomial to the Hilbert series of a broken-circuit Stanley--Reisner ring, and record formulas for several graph families with their connectivity hypotheses made explicit. Our main construction in this revision is the associated graded algebra of the squarefree edge algebra under the graphic-matroid rank filtration, for an arbitrary finite loopless graph. Its basis is indexed by all edge subsets, and its multiplication is governed by disjointness and rank additivity. Its bigraded Hilbert polynomial recovers the full three-variable Negami polynomial. We prove that its socle has a basis indexed by edge subsets of full matroid rank; for a connected graph, these are precisely the connected spanning subgraphs. A vertex-degree refinement counts connected regular spanning subgraphs. This finite-dimensional algebra is distinct from a broken-circuit Stanley--Reisner ring. We distinguish these elementary structural results from the unresolved question of whether abstract algebra isomorphism can distinguish graphs with the same Negami polynomial; no priority claim is made for the construction or its Hilbert identity.
From Trees to All Loops: The Combinatorial Geometry of Two-Site Cosmological Wavefunctions
We prove, at arbitrary loop order and including arbitrary tadpole decorations, the shifted-tree decomposition of two-site cosmological wavefunction coefficients proposed in our previous work, and uncover the combinatorial and geometric structure underlying it. For conformally coupled scalars with polynomial interactions, this decomposition expresses each loop coefficient as a finite signed sum of tree coefficients evaluated at shifted energies. For bubble-like graphs, the alternating sum over a Boolean lattice can be written in terms of finite differences or maximal chains. We prove the maximal-chain identity algebraically by induction on loop order and geometrically by decomposing a cubical Laplace integral into simplices. The maximal chains correspond to permutohedron vertices, whose incident facets encode the chain-dependent divisors. For tadpole-decorated graphs, the finite-difference Leibniz rule gives an explicit expansion indexed by ordered partitions and local maximal chains, which glue into global maximal chains and organize the coefficient as a combinatorial "path integral". A natural ordering of the divisors yields a term-by-term match with graph tubings and completes the all-loop proof, while other orderings give alternative tubing representations of the same coefficient. These identities hold before spatial loop-momentum integration and extend to power-law FRW backgrounds by linearity of the twisted integral. Two-site loop coefficients can therefore be obtained directly from known tree coefficients without solving new loop-level differential systems.
On the Quantitative Bounds of Nonlinear Roth Theorem
We prove that any subset $A \subseteq \{1, \dots, N\}$ lacking non-trivial polynomial progressions $(x, x + y, x + y^2)$ satisfies $\lvert A \rvert \le CN \exp\bigl(-c(\log \log N)^β\bigr)$ for effective absolute constants $C, c, β> 0$. The argument develops a density increment framework localized to anisotropic quadratic Bohr sets. To handle mixed linear and quadratic frequencies, we establish a multilinear transference principle coupled with a relative quadratic inverse theorem based on Balog--Szemer{é}di--Gowers additive energy rigidity. Boundary stability across increments is maintained via semi-algebraic model regularization using cylindrical algebraic decomposition and Cauchy--Crofton estimates, while dimension growth is controlled by dissociated basis reduction and multidimensional Erd{ő}s--Tur{á}n--Koksma equidistribution.
The optimal van der Corput property for squares
We prove a sharp quantitative form of the van der Corput property for squares. For all sufficiently large $N$, we construct a real trigonometric polynomial $P(θ)=a_0+\sum_{1\le n\le\sqrt N}a_n\cos(2πn^2θ)$ satisfying \begin{equation}\tag{1}\label{eq:abstract-vdc} P(θ)\ge0\quad(θ\in\mathbb{R}/\mathbb{Z}),\qquad P(0)=1, \end{equation} with \[0\le a_0\le\exp(-c\sqrt{\log N\log\log N}),\] where $c>0$ is an absolute constant. As a consequence, if $A\subseteq\mathbb{N}\cap[1,N]$ has no nonzero square difference, then \[|A|\le N\exp(-c\sqrt{\log N\log\log N}),\] improving upon a recent result of Green and Sawhney. Our construction builds on previous work of Slijepčević, Slijepčević--Ninčević, and Fan--Lott, and the proof of the upper bound is elementary and self-contained. We also show that every real trigonometric polynomial of the above form satisfying \eqref{eq:abstract-vdc} has \[a_0\ge\exp(-C\sqrt{\log N\log\log N})\] for an absolute constant $C>0$. Thus the van der Corput property cannot be used to obtain a power-saving bound for the Furstenberg--Sárközy theorem.
The Hajnal-Szemerédi theorem in digraphs revisited
The Hajnal--Szemerédi theorem states that every graph with $Δ(G)\le k-1$ admits an equitable $k$-coloring. Using a reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon (which itself builds on the literature surrounding feedback arc sets), we prove that this theorem is equivalent to each of four digraph analogues guaranteeing equitable acyclic $k$-colorings under various degree conditions. A minor modification of the proof method in makes the construction algorithmic, so the equitable acyclic coloring guaranteed by these statements can be found in polynomial time. The same reduction shows that the Ore-type Hajnal--Szemerédi theorem is equivalent to its four digraph analogues.
These equivalences settle the conjecture of Treglown that every $n$-vertex digraph with $r\mid n$ and $δ^{\max}(D)\ge(1-\frac{1}{r})n$ contains a $T_r$-factor, answer a question of Molla and Treglown by determining the exact Ore-type threshold for $T_r$-factors, and recover the directed Hajnal--Szemerédi theorems of Czygrinow, DeBiasio, Kierstead, and Molla as immediate corollaries of this reduction.
We also discuss related problems for oriented graphs which do not follow immediately from the reduction mentioned above.
$\textbf{k}$-neighborhood ideals of graphs
In this paper, we introduce and investigate the $\textbf{k}$-neighborhood ideal of a graph, a natural generalization of the closed neighborhood ideal. Let $G$ be a simple graph on the vertex set $[n]$, and let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$. For a vector $\textbf{k}=(k_1,\ldots,k_n)\in \mathbb{N}^n$ satisfying $1\leq k_i\leq \textrm{deg}_G(i)+1$ for all $i$, the $\textbf{k}$-neighborhood ideal of $G$ is defined as the squarefree monomial ideal $$\textrm{NI}_{\textbf{k}}(G)=\sum_{i=1}^n\, (\textbf{x}_W:\, W\subseteq N_G[i],\, |W|=k_i)$$ of $S$, where $\textbf{x}_W=\prod_{i\in W} x_i$. We study homological invariants and properties of $\textrm{NI}_{\textbf{k}}(G)$ focusing on its Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness. Special attention is devoted to the case where the vector ${\textbf{k}}$ is the degree-vector of the graph, i.e., $k_i=\textrm{deg}_G(i)$ for all vertices $i$, and to the case where $\textrm{NI}_{\textbf{k}}(G)$ coincides with the edge ideal of a graph. In these settings, we provide combinatorial characterizations and bounds for the regularity and projective dimension of $\textrm{NI}_{\textbf{k}}(G)$ for several classes of graphs, and further investigate the Cohen-Macaulay property of these ideals.
New results on the odd- and unique-Ramsey numbers
The odd-Ramsey number $r_{\text{odd}}(n,H)$ of a graph $H$ is the minimum number of colors needed to edge-color $K_n$ so that in every copy of $H$ some color occurs an odd number of times, and the unique-Ramsey number $r_{\text{u}}(n,H)$ is the corresponding notion in which some color is required to occur not only an odd number of times but exactly once.
In this paper, we address three questions from previous papers. We show $r_{\text{odd}}(n,K_{s,t})> n^{1/\left(\frac s2+\frac 1{2\lfloor t/8 \rfloor}\right)}$ when $s\leq t$ and $s$ is odd and $t$ is even, which is log-asymptotically tight when $s$ is fixed and $t\to\infty$. Next, we consider the odd-Ramsey number when the host graph to be edge-colored is a super-Dirac graph, and show that the smallest minimum degree that forces a non-trivial odd-Ramsey number of Hamilton cycles is $n/2+1$. Finally, we show that $r_\text{u}(n,C_n)> n/4$, which leads to a polynomial gap between $r_\text{odd}(n,C_n)$ and $r_\text{u}(n,C_n)$.
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment
Published
• View Publication
• BIB
We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.
CoS++: Towards More General and Explicit Implementations for Sampling High-Order Feynman Diagrammatic Series
We extend combinatorial summation (CoS) of connected Feynman diagrams to Hubbard mod- els with flavor-dependent propagators and counterterm shifts. The construction combines an interaction-occupancy mask with labels for the open fermion cycle, allowing equivalent endpoint his- tories to be accumulated while retaining the flavor and sublattice information needed by subsequent contractions. In the flavor-dependent version, denoted symmetry-broken CoS (SB-CoS), normal heads carry the cycle flavor and counterterm heads inherit the flavor at their interaction partner. We prove the correctness of the resulting recurrence and introduce terminal readouts that return all nonempty interaction-subset values from a shared circuit, as required by a many-configuration Markov-chain sampler. For three flavors, a second formulation uses determinant polynomials and a local interaction tensor, with connected coefficients extracted by subset recursion or Fourier interpo- lation and a support sieve. Applications to the two-spin honeycomb and three-flavor square-lattice Hubbard models illustrate the treatment of sublattice structure and non-uniform reference shifts.