polynomial
11184 papers tagged with this keyword
Hodge-Riemann polynomials
We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.
Bounds for Geometric rank in Terms of Subrank
For tensors of fixed order, we establish three types of upper bounds for the geometric rank in terms of the subrank. Firstly, we prove that, under a mild condition on the characteristic of the base field, the geometric rank of a tensor is bounded by a function in its subrank in some field extension of bounded degree. Secondly, we show that, over any algebraically closed field, the geometric rank of a tensor is bounded by a function in its subrank. Lastly, we prove that, for any order three tensor over an arbitrary field, its geometric rank is bounded by a quadratic polynomial in its subrank. Our results have several immediate but interesting implications: (1) We answer an open question posed by Kopparty, Moshkovitz and Zuiddam concerning the relation between the subrank and the geometric rank; (2) For order three tensors, we generalize the Biaggi-Chang- Draisma-Rupniewski (resp. Derksen-Makam-Zuiddam) theorem on the growth rate of the border subrank (resp. subrank), in an optimal way; (3) For order three tensors, we generalize the Biaggi- Draisma-Eggleston theorem on the stability of the subrank, from the real field to an arbitrary field; (4) We confirm the open problem raised by Derksen, Makam and Zuiddam on the maximality of the gap between the subrank of the direct sum and the sum of subranks; (5) We derive, for the first time, a de-bordering result for the border subrank and upper bounds for the partition rank and analytic rank in terms of the subrank; (6) We reprove a gap result for the subrank.
Eulerian-type polynomials over Stirling permutations and box sorting algorithm
It is well known that ascents, descents and plateaux are equidistributed over the set of classical Stirling permutations. Their common enumerative polynomials are the second-order Eulerian polynomials, which have been extensively studied by many researchers. This paper is divided into three parts. The first parts gives a convolution formula for the second-order Eulerian polynomials, which simplifies a result of Gessel. As an application, a determinantal expression for the second-order Eulerian polynomials is obtained. We then investigate the convolution formula of the trivariate second-order Eulerian polynomials. Among other things, by introducing three new statistics: proper ascent-plateau, improper ascent-plateau and trace, we discover that a six-variable Eulerian-type polynomial over a class of restricted Stirling permutations equals a six-variable Eulerian-type polynomial over signed permutations. By special parametrizations, we make use of Stirling permutations to give a unified interpretations of the $(p,q)$-Eulerian polynomials and derangement polynomials of types $A$ and $B$. The third part presents a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with grammars, we provide three interpretations of the second-order Eulerian polynomials.
Polynomiality of Subdimensions of Diagonal Harmonics and a Sharp Stability Bound
A sequence of representations \(V_n\) of the symmetric group \(S_n\) is called representation (multiplicity) stable if, after some \(n\), the irreducible decomposition of \(V_n\) stabilizes. In particular, Church, Ellenburg and Farb (2015) showed that for fixed \(a\) and \(b\), the space of diagonal harmonics \(DH_n^{a,b}\) exhibits this behavior, with its dimension eventually stabilizing to a polynomial in \(n\). Building on this result, we use the Schedules Formula by Haglund and Loehr (2005) to obtain an explicit combinatorial polynomial for the dimension of the bigraded spaces \(DH_n^{a,b}\). This derivation not only yields the dimension formula but also produces a new sharp stability bound of \(a + b\), and determines the exact degree of the dimension polynomial, which is also \(a + b\).
Ideal-theoretic non-noetherianity of polynomial functors in positive characteristic
A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem negatively over fields of positive characteristic using ideas from invariant theory. Specifically, we consider the algebra $P$ of polarizations of elementary symmetric polynomials inside the ring of all multisymmetric polynomials in $p \times \infty$ variables. We show $P$ is not noetherian based on two key facts: (1) the $p$-th power of every multisymmetric polynomial is in $P$ (our main technical result) and (2) the ring of multisymmetric polynomials is Frobenius split.
Structured and Punctured Nullstellensätze
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and Noga Alon's Combinatorial Nullstellensatz (1999) is a powerful tool in the "Polynomial Method", a technique used in combinatorics. Alon's Theorem excludes that a polynomial vanishing on a grid contains a monomial with certain properties. This theorem has been generalized in several directions, two of which we will consider in detail: Terence Tao and Van H. Vu (2006), Uwe Schauz (2008) and Michał Lasoń (2010) exclude more monomials, and recently, Bogdan Nica (2023) improved the result for grids with additional symmetries in their side edges. Simeon Ball and Oriol Serra (2009) incorporated the multiplicity of zeros and gave Nullstellensätze for punctured grids, which are sets of the form $X \setminus Y$ with both $X,Y$ grids.
We generalize some of these results; in particular, we provide a common generalization to the results of Schauz and Nica. To this end, we establish that during multivariate polynomial division, certain monomials are unaffected. This also allows us to generalize Pete L. Clark's proof of the nonzero counting theorem by Alon and Füredi to punctured grids.
Posets for Specht ideals of essential real reflection groups
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.
The large $N$ factorization does not hold for arbitrary multi-trace observables in random tensors
We consider real tensors of order $D$, that is $D$-dimensional arrays of real numbers $T_{a^1a^2 \dots a^D}$, where each index $a^c$ can take $N$ values. The tensor entries $T_{a^1a^2 \dots a^D}$ have no symmetry properties under permutations of the indices. The invariant polynomials built out of the tensor entries are called trace invariants.
We prove that for a Gaussian random tensor with $D\ge 3$ indices (that is such that the entries $T_{a^1a^2 \dots a^D}$ are independent identically distributed Gaussian random variables) the cumulant, or connected expectation, of a product of trace invariants is not always suppressed in scaling in $N$ with respect to the product of the expectations of the individual invariants. Said otherwise, not all the multi-trace expectations factor at large $N$ in terms of the single-trace ones and the Gaussian scaling is not subadditive on the connected components. This is in stark contrast to the $D=2$ case of random matrices in which the multi-trace expectations always factor at large $N$. The best one can do for $D\ge 3$ is to identify restricted families of invariants for which the large $N$ factorization holds and we check that this indeed happens when restricting to the family of melonic observables, the dominant family in the large $N$ limit.
Is it easy to regularize a hypergraph with easy links?
A partition of a (hyper)graph is $\varepsilon$-homogenous if the edge densities between almost all clusters are either at most $\varepsilon$ or at least $1-\varepsilon$. Suppose a $3$-graph has the property that the link of every vertex has an $\varepsilon$-homogenous partition of size $\text{poly}(1/\varepsilon)$. Does this guarantee that the $3$-graph also has a small homogenous partition? Terry and Wolf proved that such a $3$-graph has an $\varepsilon$-homogenous partition of size given by a wowzer-type function. Terry recently improved this to a double exponential bound, and conjectured that this bound is tight. Our first result in this paper disproves this conjecture by giving an improved (single) exponential bound, which is best possible. We further obtain an analogous result for $k$-graphs of all uniformities $k \geq 3$.
The above problem is part of a much broader programme which seeks to understand the conditions under which a (hyper)graph has small $\varepsilon$-regular partitions. While this problem is fairly well understood for graphs, the situation is (as always) much more involved already for $3$-graphs. For example, it is natural to ask if one can strengthen our first result by only requiring each link to have $\varepsilon$-regular partitions of size $\text{poly}(1/\varepsilon)$. Our second result shows that surprisingly the answer is `no', namely, a $3$-graph might only have regular partitions of tower-type size, even though the link of every vertex has an $\varepsilon$-regular partition of polynomial size.
Short monochromatic odd cycles
It is easy to see that every $k$-edge-colouring of the complete graph on $2^k+1$ vertices contains a monochromatic odd cycle. In 1973, Erdős and Graham asked to estimate the smallest $L(k)$ such that every $k$-edge-colouring of $K_{2^k+1}$ contains a monochromatic odd cycle of length at most $L(k)$. Recently, Girão and Hunter obtained the first nontrivial upper bound by showing that $L(k)=O(\frac{2^k}{k^{1-o(1)}})$, which improves the trivial bound by a polynomial factor. We obtain an exponential improvement by proving that $L(k)=O(k^{3/2}2^{k/2})$. Our proof combines tools from algebraic combinatorics and approximation theory.
On polynomial progressions via transference
We prove new cases of reasonable bounds for the polynomial Szemerédi theorem both over $\mathbb{Z}/N\mathbb{Z}$ with $N$ prime and over the integers. In particular, we prove reasonable bounds for Szemerédi's theorem in the integers with fixed polynomial common difference. That is, we prove for any polynomial $P(y)\in \mathbb{Z}[y]$ with $P(0) = 0$, that the largest subset $A\subseteq [N]$ avoiding the pattern \[x, x+P(y),\ldots, x+ kP(y)\] has size bounded by $\ll_{P,k}N(\log\log\log N)^{-Ω_{P,k}(1)}.$
Boundary rigidity of systolic and Helly complexes
In this article, we prove that finite (weakly) systolic and Helly complexes can be reconstructed from their boundary distances (computed in their 1-skeleta). Furthermore, Helly complexes and 2-dimensional systolic complexes can be reconstructed by an algorithm that runs in polynomial time with respect to the number of vertices of the complex. Both results can be viewed as a positive contribution to a general question of Haslegrave, Scott, Tamitegama, and Tan (2025). The reconstruction of a finite cell complex from the boundary distances is the discrete analogue of the boundary rigidity problem, which is a classical problem from Riemannian geometry.
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics.
We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles.
Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.
Sums of Schubert structure constants with bounded Coxeter length
Pak-Robichaux recently introduced a signed puzzle rule for Schubert structure constants, which they use to show that sums $γ_k(n)$ of these constants with a bounded number of inversions are polynomial. We give a different, conceptual proof of their theorem. Our argument computes the lead term of $γ_k(n)$ and extends to all classical Lie types.
A quasi-tree expansion for the surface Tutte polynomial
The surface Tutte polynomial has recently been generalised to pseudo-surfaces equipping it with recursive deletion-contraction relations. We use these relations to show that this generalisation naturally possesses a quasi-tree expansion. This extends quasi-tree expansions of the Bollobás-Riordan, Las Vergnas and Krushkal polynomials, which we recover from our main result.
Social Networks: Enumerating Maximal Community Patterns in $c$-Closed Graphs
Jacob Fox, C. Seshadhri, Tim Roughgarden, Fan Wei, and Nicole Wein introduced the model of $c$-closed graphs--a distribution-free model motivated by triadic closure, one of the most pervasive structural signatures of social networks. While enumerating maximal cliques in general graphs can take exponential time, it is known that in $c$-closed graphs, maximal cliques and maximal complete bipartite subgraphs can always be enumerated in polynomial time. These structures correspond to blow-ups of simple patterns: a single vertex or a single edge, with some vertices required to form cliques. In this work, we explore a natural extension: we study maximal blow-ups of arbitrary finite graphs $H$ in $c$-closed graphs. We prove that for any fixed graph $H$, the number of maximal blow-ups of $H$ in an $n$-vertex $c$-closed graph is always bounded by a polynomial in $n$. We further investigate the case of induced blow-ups and provide a precise characterization of the graphs $H$ for which the number of maximal induced blow-ups is also polynomially bounded in $n$. Finally, we study the analogue questions when $H$ ranges over an infinite family of graphs.
Lexicographic products and lexicographic powers of graphs -- a walk matrix approach
The characteristic polynomial and the spectrum of the lexicographic product of graphs $H[G]$, a specific instance of the generalized composition (also called $H$-join), are explicitly determined for arbitrary graphs $H$ and $G$, in terms of the eigenvalues of $G$ and an $H[G]$ associated matrix $\widetilde{\bf W}$, which relates $H$ with $G$. This study also establishes conditions under which a main eigenvalue of $G$ is a main or non-main eigenvalue of the matrix $\widetilde{\bf W}$, when the nullity of the graph $H$ is $η>0$. In such a case, we prove that every main eigenvalue of $G$ is an eigenvalue of $\widetilde{\bf W}$ with multiplicity at least $η$ which is non-main for $\bf \widetilde{W}$ if and only if $0$ is a non-main eigenvalue of $H$. Furthermore, the spectra of the lexicographic powers of arbitrary graphs $G$ are analysed by applying the obtained results.
Oriented hypergraphs and generalizing the Harary-Sachs theorem to integer matrices
Incidence-based generalizations of cycle covers, called contributors, extend the Harary-Sachs coefficient theorem for characteristic polynomials of the adjacency matrix of graphs. All minors of the Laplacian resulting from an integer matrix are characterized using their associated oriented hypergraph through a new minimal collection of contributors to produce the coefficients of the total-minor polynomial. We prove that the natural grouping of contributors via tail-equivalence is necessarily cancellative for any contributor family that reuses an edge. We then provide a new combinatorial proof on the non-0 isospectrality of the traditional characteristic polynomials of the Laplacian and its dual.
Graham positivity of triple Schubert calculus
We prove Samuel's conjecture on certain Graham positivity of the expansion coefficient of two double Schubert polynomials in three sets of variables by establishing a refined version of Graham's positivity theorem. As a corollary, we prove Kirillov's conjecture on the positivity of skew divided difference operators applied to Schubert polynomials.
Ideals generated by corner-interval minors
In this article, we study binomial ideals generated by an arbitrary collection of corner-interval $2$-minors of a generic matrix. We determine the minimal prime ideals of such ideals and characterize their radicality in the special case of corner minors. Moreover, we discuss connectivity properties of contingency tables in algebraic statistics. We compute the Hilbert-Poincaré polynomial of the ideal generated by the set of all corner-interval minors and we derive the formula for the regularity in the case of corner minors.