polynomial
11184 papers tagged with this keyword
A family of polynomials and related congruences and series
Published in Frontiers in Combinatorics and Number Theory 2 (2026), 1--22
• Search Publication
In this paper we study a family of polynomials $$S_n^{(m)}(x):=\sum_{i,j=0}^n\binom ni^m\binom nj^m\binom{i+j}ix^{i+j}\ \ (m,n=0,1,2,\ldots).$$ For example, we show that $$\sum_{k=0}^{p-1}S_k^{(0)}(x)\equiv\frac x{2x-1}\left(1+\left(\frac{1-4x^2}p\right)\right)\pmod p $$ for any odd prime $p$ and integer $x\not\equiv1/2\pmod p$, where $(\frac{\cdot}p)$ denotes the Legendre symbol.
We also formulate some open conjectures on related congruences and series for $1/π$. For example, we conjecture that $$\sum_{k=0}^\infty(7k+1)\frac{S_k^{(2)}(1/11)}{9^k}=\frac{5445}{104\sqrt{39}\,π}$$ and $$\sum_{k=0}^\infty(1365k+181)\frac{S_k^{(2)}(1/18)}{16^k}=\frac{1377}{\sqrt2\,π}.$$
The Arboricity Polynomial
We introduce a new matroid (graph) invariant, the arboricity polynomial. Given a matroid, the arboricity polynomial enumerates the number of covers of the ground set by disjoint independent sets. We establish the polynomiality of the counting function as a special case of a scheduling polynomial, i.e. both in terms of quasisymmetric functions and via Ehrhart theory of the normal fan of the matroid base polytope. We show basic properties of the polynomial and demonstrate that it is not a Tutte invariant. Namely, the arboricity polynomial does not satisfy a contraction / deletion recursion.
Finite Free Convolution: Infinitesimal Distributions
Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szegö and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.
Tesler identities for wreath Macdonald polynomials
We give an explicit formula for an operator that sends a wreath Macdonald polynomial to the delta function at a character associated to its partition. This allows us to prove many new results for wreath Macdonald polynomials, especially pertaining to reciprocity: Macdonald--Koornwinder duality, evaluation formulas, etc. Additionally, we initiate the study of wreath interpolation Macdonald polynomials, derive a plethystic formula for wreath $(q,t)$-Kostka coefficients, and present series solutions to the bispectral problem involving wreath Macdonald operators. Our approach is to use the eigenoperators for wreath Macdonald polynomials that have been produced from quantum toroidal and shuffle algebras.
Characteristic polynomial of $\overline{\mathcal{M}}_{0,n}$ and log-concavity
Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.
Combinatorics of Even-Valent Graphs on Riemann Surfaces
Using connections to random matrix theory and orthogonal polynomials, we develop a framework for obtaining explicit closed-form formulae for the number, $\mathscr{N}_{g}(2ν,j)$, of connected $2ν$-valent labeled graphs with $j$ vertices that can be embedded on a compact Riemann surface of minimal genus $g$. We also derive formulae for their two-legged counterparts $\mathcal{N}_{g}(2ν,j)$. Our method recovers the known explicit results for graphs embedded on the plane and the torus, and extends them to all genera $g \geq 2$. In earlier work, Ercolani, Lega, and Tippings (2023) showed that $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ admit structural expressions as linear combinations of, respectively, $3g-2$ and $3g$ Gauss hypergeometric functions ${}_2F_1$, but with coefficients left undetermined. The framework developed here provides a systematic procedure to compute these coefficients, thereby turning the structural expressions into fully explicit formulae for $\mathscr{N}_{g}(2ν,j)$ and $\mathcal{N}_{g}(2ν,j)$ as functions of both $j$ and $ν$. Detailed results are given for $g=2,3,$ and $4$, and the framework extends naturally to all $g \geq 5$ with increasing computational effort. This closes the fixed genus combinatorics for even-valent graphs.
On Minimal generating sets of splitting field, Cluster towers and Multiple transitivity of Galois groups
A natural generating set for a Galois extension regarded as the splitting field of an irreducible polynomial is introduced and investigated here. Minimal generating sets arising in this context throw many surprises compared to the analogous concept in linear algebra: they can be of different cardinalities. In fact we establish that for a certain family of polynomials over the rationals, we have minimal generating sets of all cardinalities in a certain range and that these are the only possible cardinalities for minimal generating set for such a polynomial. We also study how minimal generating sets behave under multiple transitivity of the Galois group and consequently prove the existence of polynomials with all minimal generating sets of uniformly same cardinality. We also connect minimal generating sets with the concept of root cluster tower of an irreducible polynomial introduced by the second author and Krithika in [8].
Cluster deletion and clique partitioning in graphs with bounded clique number
The Cluster Deletion problem takes a graph $G$ as input and asks for a minimum size set of edges $X$ such that $G-X$ is the disjoint union of complete graphs. An equivalent formulation is the Clique Partition problem, which asks to find a partition of $V(G)$ into cliques such that the number of edges in the cliques is maximized.
We begin by giving a much simpler proof of a theorem of Gao, Hare, and Nastos that Cluster Deletion is efficiently solvable on the class of cographs. We then investigate Cluster Deletion and Clique Partition on permutation graphs, which are a superclass of cographs. Our findings suggest that Cluster Deletion may be NP-hard on permutation graphs.
Finally, we prove that for graphs with clique number at most $c$, there is a $\frac{2\binom{c}{2}}{\binom{c}{2}+1}$-approximation algorithm for Clique Partition. This is the first polynomial time algorithm which achieves an approximation ratio better than 2 for graphs with bounded clique number. More generally, our algorithm runs in polynomial time on any graph class for which Maximum Clique can be computed in polynomial time. We also provide a class of examples which shows that our approximation ratio is best possible.
On the magic positivity of Ehrhart polynomials of dilated polytopes
A polynomial $f(x)$ of degree $d$ is said to be magic positive if all the coefficients are non-negative when $f(x)$ is expanded with respect to the basis $\{x^i(x+1)^{d-i}\}_{i=0}^d$. It is known that if $f(x)$ is magic positive, then the polynomial appearing in the numerator of its generating function is real-rooted. In this paper, we show that for a polynomial $f(x)$ with positive real coefficients, there exists a positive real number $k$ such that $f(k'x)$ is magic positive for any $k' \geq k$. Furthermore, for any integer $d\geq3$, we show the existence of a $d$-dimensional polytope $P$ such that the Ehrhart polynomial of $kP$ is not magic positive for a given integer $k$. Finally, we investigate how much certain polytopes need to be dilated to make their Ehrhart polynomials magic positive.
Bounded powers of edge ideals: Gorenstein toric rings
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{N}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. For a finite graph $G$, its edge ideal is denoted by $I(G)$. Let $\mathcal{B}(\mathfrak{c},G)$ be the toric ring which is generated by the monomials belonging to the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. In a previous work, the authors proved that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. It follows that $\mathcal{B}(\mathfrak{c},G)$ is a normal Cohen--Macaulay domain. In this paper, we study the Gorenstein property of $\mathcal{B}(\mathfrak{c},G)$.
Enumeration of minimum weight codewords of affine Cartesian codes
Affine Cartesian codes were first discussed by Geil and Thomsen in 2013 in a broader framework and were formally introduced by López, Rentería-Márquez and Villarreal in 2014. These are linear error-correcting codes obtained by evaluating polynomials at points of a Cartesian product of subsets of the given finite field. They can be viewed as a vast generalization of Reed-Muller codes. In 1970, Delsarte, Goethals and MacWilliams gave a %characterization of minimum weight codewords of Reed-Muller codes and also formula for the minimum weight codewords of Reed-Muller codes. Carvalho and Neumann in 2020 considered affine Cartesian codes in a special setting where the subsets in the Cartesian product are nested subfields of the given finite field, and gave a characterization of their minimum weight codewords. We use this to give an explicit formula for the number of minimum weight codewords of affine Cartesian codes in the case of nested subfields. This is seen to unify the known formulas for the number of minimum weight codewords of Reed-Solomon codes and Reed-Muller codes.
Periodicity and local complexity of Delone sets
We study complexity and periodicity of Delone sets by applying an algebraic approach to multidimensional symbolic dynamics. In this algebraic approach, $\mathbb{Z}^d$-configurations $c: \mathbb{Z}^d \to \mathcal{A}$ for a finite set $\mathcal{A} \subseteq \mathbb{C}$ and finite $\mathbb{Z}^d$-patterns are regarded as formal power series and Laurent polynomials, respectively. In this paper we study also functions $c: \mathbb{R}^d \to \mathcal{A}$ where $\mathcal{A}$ is as above. These functions are called $\mathbb{R}^d$-configurations. Any Delone set may be regarded as an $\mathbb{R}^d$-configuration by simply presenting it as its indicator function. Conversely, any $\mathbb{R}^d$-configuration whose support (that is, the set of cells for which the configuration gets non-zero values) is a Delone set can be seen as a colored Delone set. We generalize the concept of annihilators and periodizers of $\mathbb{Z}^d$-configurations for $\mathbb{R}^d$-configurations. We show that if an $\mathbb{R}^d$-configuration has a non-trivial annihilator, that is, if a linear combination of some finitely many of its translations is the zero function, then it has an annihilator of a particular form. Moreover, we show that $\mathbb{R}^d$-configurations with integer coefficients that have non-trivial annihilators are sums of finitely many periodic functions $c_1,\ldots,c_m: \mathbb{R}^d \to \mathbb{Z}$. Also, $\mathbb{R}^d$-pattern complexity is studied alongside with the classical patch-complexity of Delone sets. We point out the fact that sufficiently low $\mathbb{R}^d$-pattern complexity of an $\mathbb{R}^d$-configuration implies the existence of non-trivial annihilators. Moreover, it is shown that if a Meyer set has sufficiently slow patch-complexity growth, then it has a non-trivial annihilator. Finally, a condition for forced periodicity of colored Delone sets of finite local complexity is provided.
Note about the complexity of the acyclic orientation with parity constraint problem
Let $G = (V, E)$ be a connected graph, and let $T$ in $V$ be a subset of vertices. An orientation of $G$ is called $T$-odd if any vertex $v \in V$ has odd in-degree if and only if it is in $T$. Finding a T -odd orientation of G can be solved in polynomial time as shown by Chevalier, Jaeger, Payan and Xuong (1983). Since then, $T$-odd orientations have continued to attract interest, particularly in the context of global constraints on the orientation. For instance, Frank and Király (2002) investigated $k$-connected $T$-odd orientations and raised questions about acyclic $T$-odd orientations. This problem is now recognized as an Egres problem and is known as the "Acyclic orientation with parity constraints" problem. Szegedy ( 005) proposed a randomized polynomial algorithm to address this problem. An easy consequence of his work provides a polynomial time algorithm for planar graphs whenever $|T | = |V | - 1$. Nevertheless, it remains unknown whether it exists in general. In this paper we contribute to the understanding of the complexity of this problem by studying a more general one. We prove that finding a $T$-odd acyclic orientation on graphs having some directed edges is NP-complete.
Trapezodial property of the generalized Alexander polynomial
Fox's conjecture from 1962, that the absolute values of the coefficients of the Alexander polynomial of an alternating link are trapezoidal, has remained stubbornly open to this date. Recently Fox's conjecture was settled for all special alternating links. In this paper we take a broad view of the Alexander polynomials of special alternating links, showing that they are a generating function for a statistic on certain vector configurations. We study three types of vector configurations: (1) vectors arising from cographic matroids, (2) vectors arising from graphic matroids, (3) vectors arising from totally positive matrices. We prove that Alexander polynomials of special alternating links belong to both classes (1) and (2), and prove log-concavity, respectively trapezoidal, properties for classes (2) and (3). As a special case of our results, we obtain a new proof of Fox's conjecture for special alternating links.
Bull-free graphs and $χ$-boundedness
A bull is a graph obtained from a four-vertex path by adding a vertex adjacent to the two middle vertices of the path. A graph $G$ is bull-free if no induced subgraph of $G$ is a bull. We prove that for all $k,t\in \mathbb{N}$, if $G$ is a bull-free graph of clique number at most $k$ and every triangle-free induced subgraph of $G$ has chromatic number at most $t$, then $G$ has chromatic number at most $k^{\mathcal{O}(\log t)}$. We further show that the bound $k^{\mathcal{O}(\log t)}$ is best possible up to a multiplicative constant in the exponent.
Thomassé, Trotignon and Vušković (2017) were the first to give a bound, of the form $2^{p\log p}$ where $p=\mathcal{O}(k^2+t)$, with a proof that uses Chudnovsky's structure theorem for bull-free graphs. This was improved by Chudnovsky, Cook, Davies and Oum (2023) to a bound that is polynomial in $k$ (of degree linear in $t$), with a 10-page proof that again relies heavily on Chudnovsky's structure theorem.
Our proof is a single page long and completely avoids the structure theorem; instead using only one result of Chudnovsky and Safra (which itself has a short proof).
On polynomially high-chromatic pure pairs
Let $T$ be a forest. We study polynomially high-chromatic pure pairs in graphs with no $T$ as an induced subgraph ($T$-free graphs in other words), with applications to the polynomial Gyárfás-Sumner conjecture. In addition to reproving several known results in the literature, we deduce:
$\bullet$ If $T=P_5$ is the five-vertex path, then every $T$-free graph $G$ with clique number $w\ge2$ contains a complete pair $(A,B)$ of induced subgraphs with $χ(A)\ge w^{-d}χ(G)$ and $χ(B)\ge 2^{-d}χ(G)$, for some universal $d\ge1$. The proof uses the recent Erdős-Hajnal result for $P_5$-free graphs. Via the classical Gyárfás path argument, such a ``polynomial versus linear high-$χ$ complete pairs'' result can be viewed as further supporting evidence for the polynomial Gyárfás-Sumner conjecture for $P_5$. In particular, it implies
\[χ(G)\le w^{O(\log w/\log\log w)}\]
which asymptotically improves the bound $χ(G)\le w^{\log w}$ of Scott, Seymour, and Spirkl.
$\bullet$ If $T$ and a broom satisfy the polynomial Gyárfás-Sumner conjecture, then so does their disjoint union. Unifying earlier results of Chudnovsky, Scott, Seymour, and Spirkl, and of Scott, Seymour, and Spirkl, this gives new instances of $T$ for which the conjecture holds.
The partial derivative of ratios of Schur polynomials and applications to symplectic quotients
Published in European Journal of Combinatorics Volume 134 (2026), 104351
• View Publication
• BIB
We show that a ratio of Schur polynomials $s_λ/s_ρ$ associated to partitions $λ$ and $ρ$ such that $λ\subsetneqρ$ has a negative partial derivative at any point where all variables are positive. This is accomplished by establishing an injective map between sets of pairs of skew semistandard Young tableaux that preserves the product of the corresponding monomials. We use this result and the description of the first Laurent coefficient of the Hilbert series of the graded algebra of regular functions on a linear symplectic quotient by the circle to demonstrate that many such symplectic quotients are not graded regularly diffeomorphic. In addition, we give an upper bound for this Laurent coefficient in terms of the largest two weights of the circle representation and demonstrate that all but finitely many circle symplectic quotients of each dimension are not graded regularly diffeomorphic to linear symplectic quotients by $\operatorname{SU}_2$.
Faithful universal graphs for minor-closed classes
It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(n)}$ vertices. On the other hand, we construct a polynomial size $K_4$-minor-free graph containing every $n$-vertex tree as an induced subgraph, and a polynomial size $K_7$-minor-free graph containing every $n$-vertex $K_4$-minor-free graph as induced subgraph. This answers several problems raised recently by Bergold, Iršič, Lauff, Orthaber, Scheucher and Wesolek.
We study more generally the order of universal graphs for various classes (of graphs of bounded degree, treedepth, pathwidth, or treewidth), if the universal graphs retain some of the structure of the original class.
Lattice points in polytope boundaries and formal geometric quantization of singular Calabi Yau hypersurfaces in toric varieties
Published in Journal of Geometry and Physics Volume 222, April 2026, 105762
• View Publication
• BIB
We show that the number of lattice points in the boundary of a positive integer dilate of a Delzant integral polytope is a polynomial in the dilation parameter, analogous to the Ehrhart polynomial giving the number of lattice points in a lattice polytope. We give an explicit formula for this polynomial, analogous to the formula of Khovanskii-Pukhlikov for the Ehrhart polynomial. These counting polynomials satisfy a lacunarity principle, the vanishing of alternate coefficients, quite unlike the Ehrhart polynomial. We show that formal geometric quantization of singular Calabi Yau hypersurfaces in smooth toric varieties gives this polynomial, in analogy with the relation of the Khovanskii-Pukhlikov formula to the geometric quantization of toric varieties. The Atiyah-Singer theorem for the index of the Dirac operator gives a moral argument for the lacunarity of the counting polynomial. We conjecture that similar formulas should hold for arbitrary simple integral polytope boundaries.
The $\mathbb{S}_n$-equivariant Chow polynomial of the Braid matroid
We determine the generating function for the $\mathbb{S}_n$-equivariant Chow polynomials of the braid matroid $B_n$, using a modular interpretation of this polynomial recently given by Devkota, Robotis, and Zahariuc. We also give a new modular interpretation of the numerical Chow polynomial of $B_n$ in terms of a certain moduli space of genus-zero relative stable maps to $\mathbb{P}^1$.