polynomial
11184 papers tagged with this keyword
Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem
We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p \in \mathbb{Z}[x_1,\cdots,x_n]$ for which the equation $p(x_1,\cdots,x_n) = 0$ is partition regular over $\mathbb{Z}\setminus\{0\}$ is undecidable conditional on Hilbert's tenth problem for $\mathbb{Q}$. For other integral domains, we get the analogous result unconditionally. More generally, we determine the exact lightface complexity of the various sets of interest. For example, we show that the set of homogeneous polynomials $p \in \mathbb{F}_q(t)[x_1,\cdots,x_n]$ for which the equation $p(x_1,\cdots,x_n) = 0$ is partition regular over $\mathbb{F}_q(t)\setminus\{0\}$ is $Π_2^0$-complete.
We also prove several other results of independent interest. These include a compactness principle and a uniformity principle for density Ramsey theory on countable cancellative left amenable semigroups, as well as the existence of the natural extension for measure preserving systems of countable cancellative left reversible semigroups.
Ancient caloric functions and parabolic frequency on graphs
We study ancient solutions to discrete heat equations on some weighted graphs. On a graph of the form of a product with $\bb Z,$ we show that there are no non-trivial ancient solutions with polynomial growth. This result is parallel to the case of finite graphs, which is also discussed. Along the way, we prove a backward uniqueness result for solutions with appropriate decaying rate based on a monotonicity formula of parabolic frequency.
On the order of 4-dimensional regular polytope numbers
In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$.
An Extension of Pólya's Enumeration Theorem
In combinatorics, Pólya's Enumeration Theorem is a powerful tool for solving a wide range of counting problems, including the enumeration of groups, graphs, and chemical compounds. In this paper, we present an extension of Pólya's Enumeration Theorem. As an application, we derive a formula that expresses the $n$-th elementary symmetric polynomial in $m$ indeterminates (where $n\leq m$) as a variant of the cycle index polynomial of the symmetric group $\mathrm{Sym}(n)$. This result resolves a problem posed by Amdeberhan in 2012.
Determinantal representations of alternating run polynomials
Based on a determinantal formula for the higher derivative of a quotient of two functions, we first present the determinantal expressions of Eulerian polynomials and Andre polynomials. In particular, we discover that the Euler number (number of alternating permutations) can be expressed as a lower Hessenberg determinant. We then investigate the determinantal representations of the up-down run polynomials and the types A and B alternating run polynomials. As applications, we deduce several new recurrence relations, which imply the multiplicity of -1 in these three kinds of polynomials. And then, we provide two determinantal representations for the alternating run polynomials of dual Stirling permutations. In particular, we discover a close connection between the alternating run polynomials of dual Stirling permutations and the type B Eulerian polynomials.
The external activity complex of a pair of matroids
We introduce the Schubert variety of a pair of linear subspaces in $\mathbf{C}^n$ and the external activity complex of a pair of not necessarily realizable matroids. Both of these generalize constructions of Ardila et al., which occur when one of the linear spaces is one-dimensional. We prove that our external activity complex is Cohen-Macaulay and deduce a formula for its $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of matroids. As a consequence, we deduce a non-negative formula for the matroid invariant $ω(M)$ of Fink, Shaw, and Speyer in terms of certain homology groups of links within an external activity complex, proving the 2005 tropical $f$-vector conjecture of Speyer.
The Frankl-Pach upper bound is not tight for any uniformity
Published in J. Combin. Theory Ser. A 217 (2026), Paper No. 106078, 9pp
• View Publication
• BIB
For any positive integers $n\ge d+1\ge 3$, what is the maximum size of a $(d+1)$-uniform set system in $[n]$ with VC-dimension at most $d$? In 1984, Frankl and Pach initiated the study of this fundamental problem and provided an upper bound $\binom{n}{d}$ via an elegant algebraic proof. Surprisingly, in 2007, Mubayi and Zhao showed that when $n$ is sufficiently large and $d$ is a prime power, the Frankl-Pach upper bound is not tight. They also remarked that their method requires $d$ to be a prime power, and asked for new ideas to improve the Frankl-Pach upper bound without extra assumptions on $n$ and $d$.
In this paper, we provide an improvement for any $d\ge 2$ and $n\ge 2d+2$, which demonstrates that the long-standing Frankl-Pach upper bound $\binom{n}{d}$ is not tight for any uniformity. Our proof combines a simple yet powerful polynomial method and structural analysis.
Lorentzian polynomials and the incidence geometry of tropical linear spaces
We introduce a notion of Lorentzian proper position in close analogy to proper position of stable polynomials. Using this notion, we give a new characterization of elementary quotients of M-convex function that parallels the Lorentzian characterization of M-convex functions. We thereby use Lorentzian proper position to study the incidence geometry of tropical linear spaces, and vice versa. In particular, we prove new structural results on the moduli space of codimension-1 tropical linear subspaces of a given tropical linear space and show that it is tropically convex.
Applying these results, we show that some properties of classical linear incidence geometry fail for tropical linear spaces. For instance, we show that the poset of all matroids on $[n]$, partially ordered by matroid quotient, is not submodular when $n\geq 8$. On the other hand, we introduce a notion of adjoints for tropical linear spaces, generalizing adjoints of matroids, and show that certain incidence properties expected from classical geometry hold for tropical linear spaces that have adjoints.
Galois orbits of torsion points over polytopes near atoral sets
Given an essentially atoral Laurent polynomial $P$, we show an equidistribution theorem for the function $\operatorname{log}|P|$ on specific subsets of Galois orbits of torsion points of the $d$-dimensional algebraic torus $\mathbb{G}^d_m(\overline{\mathbb{Q}})$. The specific subsets under consideration are the preimages of $d$-dimensional polytopes within the hypercube $[0,1]^d$ under the cotropicalization map. This generalises an equidistribution theorem of V. Dimitrov and P. Habegger, who considered only all Galois orbits that correspond to the entire hypercube $[0,1]^d$. In addition, we provide an estimate for the convergence speed of this equidistribution, expressed as a negative power of the strictness degree. Our approach is to derive an alternative version of Koksma's inequality over polytopes.
As an application, we provide the convergence speed of heights on a sequence of projective points for a specific two-dimensional example, answering a question posed by R. Gualdi and M. Sombra. In the appendix, we present an algorithm to compute the explicit value of the power of the strictness degree.
Cyclic polytopes through the lens of iterated integrals
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 365-385
• Search Publication
The volume of a cyclic polytope can be obtained by forming an iterated integral along a suitable piecewise linear path running through its edges. Different choices of such a path are related by the action of a subgroup of the combinatorial automorphisms of the polytope. Motivated by this observation, we look for other linear combinations of iterated integrals that are invariant under the subgroup action. This yields interesting polynomial attributes of the cyclic polytope. We prove that there are infinitely many of these invariants which are algebraically independent in the shuffle algebra.
Partial Chebyshev Polynomials and Fan Graphs
Motivated by the product formula of the Chebyshev polynomials of the second kind $U_n(x)$, we newly introduce the partial Chebyshev polynomials $U^{\mathrm{e}}_n(x)$ and $U^{\mathrm{o}}_n(x)$ and derive their basic properties, relations to the classical Chebyshev polynomials, and new factorization formulas for $U_n(x)$. In order to calculate the quadratic embedding constant (QEC) of a fan graph $K_1+P_n$, we derive a new polynomial $φ_n(x)$ which is factorized by partial Chebyshev polynomial $U^{\mathrm{e}}_n(x)$. We prove that $\mathrm{QEC}(K_1+P_n)$ is given in terms of the minimal zero of $φ_n(x)$, and obtain the explicit value of $\mathrm{QEC}(K_1+P_n)$ for an even $n$ and its reasonable exstimate for an odd $n$.
Fourier growth of degree $2$ polynomials
We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $\le 2$. First we prove the bound
$\lesssim (1+\sqrt{2})^k$. Then, by a different method, we make it sharp: $\lesssim k^{-1/2} (1+\sqrt{2})^k$.
Parabolic restrictions and double deformations of weight multiplicities
We introduce some (p,q)-deformations of the weight multiplicities for the representations of any simple Lie algebra g over the complex numbers. This is done by associating the indeterminate q to the positive roots of a parabolic subsystem of g and the indeterminate p to the remaining positive roots. When p=q, we just recover the usual Lusztig analogues of weight multiplicities. We then study the positivity of the coefficients in these double deformations. In particular, the positivity holds when p=1 in which case the polynomials have a natural algebraic interpretation in terms of a parabolic Brylinski filtration. For the parabolic restriction from type C to type A, this positivity result was conjectured by Lee. We also establish this positivity, in any finite type and for any p, for a stabilized version of our double deformation. In addition, we study the double deformation obtained by replacing the pair (p,q) by (p+1,q+1), show it has nonnegative coefficients and admits a combinatorial description in terms of crystals.
The BBDVW Conjecture for Kazhdan-Lusztig polynomials of lower intervals
Blundell, Buesing, Davies, Veličković, and Williamson (BBDVW) introduced the notion of a hypercube decomposition of an interval in Bruhat order. They conjectured a recursive formula in terms of this structure which, if shown for all intervals, would imply the Combinatorial Invariance Conjecture of Lusztig and Dyer, for Kazhdan-Lusztig polynomials of the symmetric group. In this article, we prove implications between the BBDVW Conjecture and several other recurrences for hypercube decompositions, under varying hypotheses, which have appeared in the recent literature. As an application, we prove the BBDVW Conjecture for lower intervals $[e,v]$, the first non-trivial class of intervals for which it has been established.
Fixed points of reverse Hessenberg convolution varieties
Associated to any unit interval graph, Syu Kato introduced a variety which gives (via the geometric Satake correspondence) a graded $GL_m$ representation whose character is the chromatic quasisymmetric polynomial of the graph. In this short note, we reprove Kato's result by analyzing the fixed points of his varieties.
Polynomial Inscriptions
We prove that for every smooth Jordan curve $γ\subset \mathbb{C}$ and for every set $Q \subset \mathbb{C}$ of six concyclic points, there exists a non-constant quadratic polynomial $p \in \mathbb{C}[z]$ such that $p(Q) \subset γ$. The proof relies on a theorem of Fukaya and Irie. We also prove that if $Q$ is the union of the vertex sets of two concyclic regular $n$-gons, there exists a non-constant polynomial $p \in \mathbb{C}[z]$ of degree at most $n-1$ such that $p(Q) \subset γ$. The proof is based on a computation in Floer homology. These results support a conjecture about which point sets $Q \subset \mathbb{C}$ admit a polynomial inscription of a given degree into every smooth Jordan curve $γ$.
$q$-deformation of chromatic polynomials and graphical arrangements
We first observe a mysterious similarity between the braid arrangement and the arrangement of all hyperplanes in a vector space over the finite field $\mathbb{F}_q$. These two arrangements are defined by the determinants of the Vandermonde and the Moore matrix, respectively. These two matrices are transformed to each other by replacing a natural number $n$ with $q^n$ ($q$-deformation).
In this paper, we introduce the notion of ``$q$-deformation of graphical arrangements'' as certain subarrangements of the arrangement of all hyperplanes over $\mathbb{F}_q$. This new class of arrangements extends the relationship between the Vandermonde and Moore matrices to graphical arrangements. We show that many invariants of the ``$q$-deformation'' behave as ``$q$-deformation'' of invariants of the graphical arrangements. Such invariants include the characteristic (chromatic) polynomial, the Stirling number of the second kind, freeness, exponents, basis of logarithmic vector fields, etc.
On Poincaré polynomials for plane curves with quasi-homogeneous singularities
Published in Bulletin of the London Mathematical Society 57(8): 2549 - 2560 (2025)
• View Publication
• BIB
We define a combinatorial object that can be associated with any conic-line arrangement with ordinary singularities, which we call the combinatorial Poincaré polynomial. We prove a Terao-type factorization statement on the splitting of such a polynomial over the rationals under the assumption that our conic-line arrangements are free and admit ordinary quasi-homogeneous singularities. Then we focus on the so-called $d$-arrangements in the plane. In particular, we provide a combinatorial constraint for free $d$-arrangements admitting ordinary quasi-homogeneous singularities.
Order Polytopes of Dimension $\leq 13$ are Ehrhart Positive
The order polytopes arising from the finite poset were first introduced and studied by Stanley. For any positive integer $d\geq 14$, Liu and Tsuchiya proved that there exists a non-Ehrhart positive order polytope of dimension $d$. They also proved that any order polytope of dimension $d\leq 11$ is Ehrhart positive. We confirm that any order polytope of dimension $12$ or $13$ is Ehrhart positive. This solves an open problem proposed by Liu and Tsuchiya. Besides, we also verify that any $h^{*}$-polynomial of order polytope of dimension $d\leq 13$ is real-rooted.
Sign pattern matrices associated with cycle graphs that require algebraic positivity
A real matrix is said to be positive if its every entry is positive, and a real square matrix A is algebraically positive if there exists a real polynomial f such that f(A) is a positive matrix. A sign pattern matrix A is said to require a property if all matrices having sign pattern as A have that property. In this paper, we characterize all sign pattern matrices associated with cycle graphs that require algebraic positivity.