polynomial
11538 papers tagged with this keyword
On the Log-submodularity for zonoids: from Mixed Volume inequalities to the Hypercube
In convex geometry, a number of inequalities for the volume of coordinate projections of convex bodies share a common structural property. We formalize them as inequalities of log-submodularity type, providing a definition that stems from the notion of a submodular function. The Loomis-Whitney inequality and some of its generalizations are the most prominent examples. Some inequalities of log-submodularity type are valid for zonoids but not for general convex bodies. They have a natural meaning in statistics and information theory. We propose a new inequality of log-submodularity type for zonoids. In dimension 3, our inequality is equivalent to the log-submodularity conjecture for zonoids formulated by Fradelizi, Madiman, Meyer, and Zvavitch, which is true in dimension $3$ and false in higher dimensions. In contrast, our inequality is true in every dimension. We reduce our inequality to copositivity of a special polynomial, which we call the hypercube polynomial. For 4-dimensional zonoids, we verify the copositivity of the respective hypercube polynomial algebraically by providing a sum-of-squares certificate. In every dimension, a proof of copositivity of the hypercube polynomial that uses probability theory and well-known matrix inequalities has been produced by LLMs and brought to our attention. We present a detailed and easy-to-read version of this proof.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement.
We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively.
For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.
James reduced product schemes and double quasisymmetric functions
Published in Advances 449, 2024, Article 109737
• View Publication
• BIB
Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\operatorname{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\operatorname{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory.
Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson-type rule for the structure coefficients of this basis.
Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex (quasi-)projective variety also carries the structure of a (quasi-)projective variety.
Semidefinite programming bounds for distance distribution of spherical codes
Multipoint semidefinite programming bounds for spherical codes use polynomials in several variables. We show how to obtain bounds for the distance distribution using a polynomial of one variable on a prescribed interval. The multivariate SDP supplies the required positivity; the sign and size of the univariate polynomial reveal the geometric consequences. We prove three- and four-point reductions and explain how to choose the polynomial to bound the number of pairs in a prescribed interval. Three-point experiments in dimension four illustrate this procedure, including nearly antipodal pairs, intervals near inner product $1/2$, and a local approach to the kissing number bound. As a further application, we extract a degree-six polynomial from the exact four-point construction of de Laat, Leijenhorst, and de Muinck Keizer. Its sign and four zeros give a direct description of the distance restriction underlying uniqueness of the $24$-cell.
The Kaleidoscopic Filter on the Partition Manifold, Part I: The Simplicial Ehrhart, Barycentric Pascal Product, and Continuous Bernoulli Exact Closed Forms for $p(n)$
The partition function $p(n)$ has historically been constrained by recursive series and asymptotic approximations, coupling evaluation to sequential memory bottlenecks. Here we derive three exact, non-recursive closed-form identities for $p(n)$ and $p_k(n)$. Via the Stratified Simplicial Decomposition (SSD) of the Ehrhart partition polytope in the affine $A_{k-1}$ Weyl group, we establish the Rational Structure Theorem and cross-convolution operator $\mathcal{B}_k$, proving $p_k(n)$ is computable in strictly $\mathcal{O}_k(1)$ time. First, the Macroscopic Bernoulli Formula and Absolute Closed-Form Theorem prove that the continuous boundary defect collapses into the topological singularity $+1$, yielding an exact algebraic evaluation of $p(n)$ via generalized Bernoulli polynomials without nearest-integer rounding. Second, the Simplicial-Ehrhart (Kaleidoscopic) Formula and Kaleidoscopic Filter Theorem show that applying $k$-dimensional Weyl reflection coefficients to $p(n)$ annihilates lower-dimensional boundary noise, yielding the exact number of partitions into parts strictly greater than $k$. Third, at $k=n$ around the Weyl barycenter $M = \frac{n(n+5)}{4}$, the Barycentric Pascal Product condenses into a multiplicative closed form, folding via symmetric roots into $\lfloor(n-1)/2\rfloor$ non-geometric biquadratic factors: $$p(n) = \frac{1}{n!(n-1)!} M^{δ_n} \prod_{r=1}^{\lfloor(n-1)/2\rfloor} (M^2 - Ω_{n,r}(n)) + \mathcal{D}_n(n).$$ Cancelling $n!(n-1)!$ via Legendre's formula enables division-free random-access evaluation in $\mathcal{O}(n \log n)$ operations. Finally, we resolve the continuum via Sylvester-Ramanujan waves, establish a Durfee-Ehrhart formulation, reveal the mock modular origin of the cyclotomic tail, and construct a non-recursive Toeplitz-Hessenberg determinant for the prime-counting function $π(x)$.
On the $ω$-circular $*$-distribution for complex unimodular $ω$
We consider a notion of $ω$-circular $*$-distribution $μ_ω$, defined in terms of a parameter $ω\in \mathbb{C}$ with $| ω|=1$. This $*$-distribution appears as limit law in an algebraic central limit theorem (CLT) for $ω$-commuting unitaries, and interpolates between the Fermionic setting (at $ω= -1$) and the Bosonic one (at $ω= 1$). On a combinatorial level, $μ_ω$ is described in terms of pair-partitions of sets $\{1, ... ,2n\}$, where one has a total order among the $n$ pairs of the partition and where every pair is assigned a direction, to the effect that one can define the sign of a crossing between two pairs. The main goal of the paper is to study a significant subspace, with "Fock space" flavour, of the $L^2$-space associated to a natural multi-variate version of $μ_ω$. The inner product on this subspace is defined by a sesquilinear form $\langle \cdot \, , \, \cdot \rangle_ω$ on non-commutative polynomials. We explicitly describe $\langle \cdot \, , \, \cdot \rangle_ω$ in terms of some tractable non-negative definite functions on symmetric groups, and we prove that it is non-degenerate if and only if $ω$ is not a root of unity.
Biquandle-Based Invariants of Virtual Knotoids and Connected Sum
In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1 \# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum. We then study the behavior of biquandle virtual bracket invariants under connected sum. We introduce normalized multiset invariants derived from biquandle virtual brackets and show that they are strictly stronger than their unnormalized versions in certain cases by an explicit example. Furthermore, we show that for each coloring of the connected sum $K_1 \# K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets. When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce an induced matrix product $\odot$ and show that the normalized biquandle virtual bracket matrices satisfy \begin{equation} \widetilde{M}_X^β(K_1 \# K_2) = \widetilde{M}_X^β(K_1) \odot \widetilde{M}_X^β(K_2). \end{equation}
Unbounded log-concavity breaks in independence polynomials of spherically symmetric trees
Using a dioid algebraic structure, we show that there exist spherically symmetric trees $T(2^m 1^n)$ whose independence polynomials exhibit multiple breaks in log-concavity, a result established by estimating the asymptotic growth of the coefficients of these polynomials. Provided the parameter $n$ is a sufficiently large odd integer, the number of breaks is bounded below by the Jacobsthal numbers. This result affirmatively answers a question raised by F. Bencs [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].
Four Special Directions over Prime Fields: Structure and Complete Classification
A direction of the affine plane $\mathbb{F}_p^2$ is special for a set if the lines in that direction do not all meet the set in the same number of points. We classify, for every prime $p\ge5$, the subsets of $\mathbb{F}_p^2$ with exactly four special directions. There are $54$ affine-equivalence classes, occurring only for $p=5,7,11,13,17$, and we give explicit representatives. In particular, $17$ is the largest prime admitting such a set, which answers a question of Ghidelli, Kiss and Somlai, and over $\mathbb{F}_{13}$ the minimum size is $65$, attained by exactly two classes. The key structural fact is that the projection polynomials of such a set share a vertex: the set is either centrally symmetric about this point or differs from its reflection by exchanging one full line with one empty line. We also show that, over an odd prime field, a Boolean function on $\mathbb{F}_p^d$ with exactly four active projective Fourier lines is pulled back from a plane, so the classification extends to every dimension. The classification and the exclusion of the primes $19\le p<2048$ are computer-assisted; the structural results and the exclusion of larger primes are proved directly.
Optimization and complexity of inertia-type bounds on the independence and chromatic numbers of graph powers
The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory.
The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.
Two Erdos-Hajnal-type theorems for forbidden order-size pairs
The celebrated Erdős-Hajnal conjecture says that any graph without a fixed induced subgraph $H$ contains a very large homogeneous set. A direct analog of this conjecture is not true for hypergraphs. In this paper we present two natural variants of this problem which do hold for hypergraphs. We show that for every $r \geq 3$, $m \geq m_0(r)$ and $0 \leq f \leq \binom{m}{r}$, if an $r$-graph $G$ does not contain $m$ vertices spanning exactly $f$ edges, then $G$ contains much larger homogeneous sets than what is guaranteed to exist in general $r$-graphs. We also prove that if a $3$-graph $G$ does not contain homogeneous sets of polynomial size, then for every $m \geq 3$ there are $Ω(m^3)$ values of $f$ such that $G$ contains $m$ vertices spanning exactly $f$ edges. This makes progress on a problem of Axenovich, Bradač, Gishboliner, Mubayi and Weber.
Explicit computation of the generic degree of the generalized Verschiebung in rank two
The purpose of this paper is to apply previous work on dormant opers to the study of the moduli space of stable bundles in positive characteristic. We affirmatively resolve the rank $2$ case of a conjecture proposed by the second author, which predicts a direct relationship between the number of higher-level dormant $\mathrm{PGL}_2$-opers and the generic degree of the generalized Verschiebung map for rank $2$ stable bundles induced by Frobenius pull-back. As a consequence, for a general smooth projective curve of genus $g>1$ in characteristic $p>2$, we obtain a procedure for explicitly determining these generic degrees by counting certain combinatorial objects and, in particular, compute $\mathrm{deg}(\mathrm{Ver}^2_1)$ as a polynomial in $p$ for $3\leq g\leq 10$.
Discrete $N$-particle systems at high temperature through Jack generating functions
Published in Proc. Lond. Math. Soc. (3) 133 (4), e70223, 2026
• View Publication
• BIB
We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin [Geom. Funct. Anal. 25 (2015), no. 3, 763-814] on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin [Comm. Math. Phys. 394 (2022), no. 2, 735-795] after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang [Adv. Math. 380 (2021), Paper No. 107545, 91].
Revisiting separators in string graphs, region intersection graphs, and induced-minor-free graphs
String graphs are intersection graphs of continuous curves in the plane. In 2010, Fox and Pach proved that string graphs with $m$ edges admit balanced vertex separators of size $\mathcal{O}(m^{3/4}\sqrt{\log m})$ and conjectured that this bound can be improved to $\mathcal{O}(\sqrt{m})$, which would be optimal. After partial progress, Lee claimed in 2017 to prove this conjecture, and more generally to prove analogous separator theorems for region intersection graphs over minor-closed graph families. A key intermediate step in Lee's approach was a padded decomposition scheme for region intersection graphs. In 2024, Korhonen and Lokshtanov extended Lee's approach to the broader setting of graph classes excluding a fixed graph as an induced minor. These results have since found applications in a wide range of works.
Later in 2024, a flaw was discovered in the construction of Lee's padded decomposition scheme, invalidating Lee's as well as Korhonen and Lokshtanov's separator results, and many works relying on them.
In this work, we prove that string graphs with $m$ edges admit balanced separators of size $\mathcal{O}(\sqrt{m})$, and more generally obtain analogous $\mathcal{O}(\sqrt{m})$ bounds for region intersection graphs over fixed minor-closed graph families and for graphs excluding a fixed graph as an induced minor, thereby repairing the vast majority of the affected works. Furthermore, our balanced separators can be found in polynomial time.
Our proof uses a different approach from Lee's and does not rely on padded decompositions. Since padded decompositions have also found applications independent of the separator theorems, particularly for string graphs, we also prove a padded decomposition result for region intersection graphs that is optimal for string graphs.
We have formalized both the balanced separator and the padded decomposition results in Lean 4 with mathlib.
A Generating Polynomial for Convex Subsets of Posets
For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations and show that it distinguishes certain posets constructed with the operations of ordinal sum and disjoint union, including Series-Parallel posets as a special case. Lastly, we comment on connections to the causal set approach to quantum gravity.
Sharp asymptotics for the Lovász number of random circulant graphs
We study the LOVÁSZ number of dense random circulant graphs generated by independent Bernoulli bits indexed by cyclic distances. Although only $O(n)$ independent random inputs determine $O(n^2)$ globally dependent edge indicators, we prove sharp expectation asymptotics along all odd orders, including composite orders, with leading constant one. This resolves a conjecture posed for random circulant graphs in 2025. The proof combines an exact Fourier reduction and complementary duality with a positive interior smoothing that reveals a nonlinear random fixed-point equation. To analyze this equation under the strong dependence of the distance-bit model, we construct canonical tree fields, establish growing-degree Gaussian approximations through polynomial comparison and Wick/Hermite expansions, and transfer the resulting approximation back to the original sign model. A deterministic residual estimate together with an explicit exceptional-event integration yields the sharp expectation asymptotics.
An Erdős-Pósa theorem for induced packings of even cycles
We show that for every graph $G$ and every positive integer $k$, $G$ contains either $k$ vertex-disjoint even cycles with no edges between distinct cycles, or a set of $O(k^2\log k)$ vertices whose closed neighborhood meets every even cycle of $G$. Moreover, we give a polynomial-time algorithm that outputs one of the two outcomes. As an application, we show that every $K_{1,t}$-free graph containing no induced packing of $k$ even cycles has tree-independence number $O(tk^2\log k)$, with a corresponding decomposition computable in polynomial time.
Triangle-free Rank--Ramsey graphs from ordered incidence lifts
For a graph $G$ with adjacency matrix $A_G$ and a coefficient field $\mathbb K$, put $ρ_{\mathbb K}(G)=\operatorname{rank}_{\mathbb K}(A_G+I)$. We answer the triangle-free Rank--Ramsey existence question of Beniamini, Linial and Shraibman. For every order $n$, we construct a triangle-free graph $H_n$ such that, simultaneously over all coefficient fields, $$
ρ_{\mathbb K}(H_n)=\bigl(4(2/3)^{3/4}+o(1)\bigr)n^{3/4}, $$ with an error uniform in the field. The graphs can be chosen Hamiltonian for all sufficiently large $n$. Our method combines ordered layers of point--line incidence flags with a common low-dimensional endpoint space. We determine the exact real rank, independence number and chromatic number of the affine lifts. For all triangle-free complete incidence lifts, we obtain a sharp two-term lower bound for complete incidence lifts, with sharpness witnessed by projective-plane incidence graphs over suitable coefficient fields. We also establish a third-order estimate and stability near equality. On the same explicit graphs, both the Lovász number and minimum semidefinite rank exceed the prescribed Boolean-matrix rank by polynomial factors. Thus neither parameter has a universal constant-factor upper bound in terms of complement rank. We determine Shannon capacity in the short-layer range.
Enumerating Integral Points on Triangles in $\mathbb{R}^3$
We present two ways of constructing Ehrhart polynomials corresponding to certain triangles in $\mathbb{R}^3$. One of our methods employs Popoviciu's Theorem, while the other method uses a version of Pick's Theorem adapted to rank-2 lattices in $\mathbb{R}^3$. We then apply our methods to linear Diophantine equations of the form $ax+by+cz=n$ and develop upper and lower bounds on the number of solutions in nonnegative integers $x$, $y$, and $z$. The bounds we develop are closed form quasi-polynomials, and the difference between them is bounded by a constant depending only on $a$ and $b$. As an application, we prove that the $k$th Frobenius number exists for any triple of positive integers and any $k$.
Ehrhart Properties under Operations on Lattice Polytopes
This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory:
(i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations.
(ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity.
(iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation.
We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.