polynomial
11173 papers tagged with this keyword
Subdivided expanders and counterexamples to the Tree Product Conjecture
Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood (2023) conjectured that graphs of degree-$d$ polynomial growth can be embedded into the strong product of $d$ trees, each with linear growth, and a constant-size complete graph. Very recently, the case $d = 4$ of the conjecture was disproved by Illingworth, Norin and Steiner (2026). In this paper, we provide counterexamples to the conjecture for every integer $d \geq 2$, thus leaving $d=1$ as the only open case. Our counterexamples are appropriately subdivided cubic expanders. Our main contribution is to construct, for every real number $d>1$, subdivisions of cubic expanders with degree-$d$ polynomial growth and whose balanced separators have size $Ω(n^{1-1/d}\log n)$, where $n$ denotes the number of vertices.
Some sequences and number triangles which are related to Narayana polynomials and to q-Narayana polynomials for q=-1
As is well known the Catalan numbers can be interpreted as numbers of Dyck paths. The Narayana polynomials and the q-Narayana polynomials for q=-1 can analogously be interpreted as certain weights of these paths. In the present note we try to get some information about the corresponding weights of bounded Dyck paths. This also leads to some number sequences and analogues of Pascals triangle which previously have occurred in other contexts. We consider some examples and obtain some results and conjectures.
Lattice polytopes of large width have real-rooted Ehrhart $h^*$-polynomials
In this note we prove that in fixed dimension the Ehrhart $h^*$-polynomial of a lattice polytope of sufficiently large lattice width is real-rooted. In particular, this implies strict log-concavity and unimodality of the $h^*$-vector and answers a question of Averkov, Hofscheier and the author. For a lattice simplex we prove the analogous statement for its local $h^*$-polynomial, also called box polynomial. The proofs were found using ChatGPT 5.6 Sol and follow essentially directly from a result by Basu and Oertel that for large enough lattice width counting lattice points approximates the volume.
The Chow Polynomial of the Noncrossing Partition Lattice
We prove that the Chow polynomial of the noncrossing partition lattice is equal to the descent generating function of tieless parking functions. As a consequence, we obtain new results on the descent statistic for parking functions.
From b-Coloring to $b^*$-Coloring: Large Girth and Parameterized Complexity
A b-coloring is a proper vertex coloring such that every color class contains a vertex, a so-called b-vertex, which sees all colors in its closed neighborhood. This type of coloring has been intensively studied from both structural and algorithmic point of view. Recently, Zaker [DAM 2025] introduced the notion of a b*-coloring, which is a b-coloring in which there is a vertex that sees a b-vertex of every color in its closed neighborhood. The b*-chromatic number is the maximum integer k such that there is a b*-coloring with k colors.
We partially answer a question posed by Zaker and prove that graphs of girth at least 7 are b*-monotonic, which means that the b*-chromatic number does not increase by taking an induced subgraph. In addition, we discover a class of d-regular graphs of girth at least 5 with b*-chromatic number d+1, which strengthens a result about b-colorings by Dettlaff, Furmańczyk, Peterin, Roux, and Ziemann [AMC 2024].
We also study the parameterized complexity of finding b*-colorings, and show that for many structural parameters, the complexity coincides with that of finding b-colorings. In particular, the b*-chromatic number can be computed in polynomial time on any class of bounded clique-width. For most parameters, the translation from b-colorings is straightforward but for the feedback edge number, the FPT algorithm for b*-colorings is actually much simpler than that for b-colorings by Balabán [MFCS 2026].
$P$-polynomial coherent configurations
Suda introduced the notion of a $Q$-polynomial coherent configuration, which provides a natural and important concept. Subsequently, Lato introduced a notion of a $P$-polynomial coherent configuration and proved that every such configuration satisfying the definition has at most two fibers. Although Lato's definition is interesting, particularly because it characterizes distance-biregular graphs, we argue that an alternative definition is desirable. In this paper, we propose an alternative notion of $P$-polynomial coherent configurations that is naturally aligned with Suda's $Q$-polynomial framework. We show that every two-fiber coherent configuration that is $P$-polynomial in Lato's sense is also $P$-polynomial in our sense, whereas the converse does not hold. We further prove that every coherent configuration of type $(2,2;3)$, $(3,2;3)$ or $(3,3;3)$ is $P$-polynomial in our sense. In addition, we present three families of $P$-polynomial coherent configurations with an arbitrary number of fibers: those arising from tight Euclidean $t$-designs in $\mathbb R^2$, the Terwilliger algebra of $H(n,2)$, and the set of all subspaces of $\mathbb F_q^n$. Finally, we give an equivalent condition for the cross-block intersection matrices to be tridiagonal and verify that all three families satisfy this condition.
Formulas for Koornwinder polynomials
This paper provides formulas for Koornwinder polynomials in analogy with the creation formula, the alcove walk formula and the non-attacking fillings formula for the type $GL_n$ Macdonald polynomials. We state the creation formula in terms of the divided-difference operators used in Schubert calculus, and we use a box-greedy reduced word to reformulate the alcove walk formula in terms of uncompressed set-valued tableaux. Then two types of compression, ``around-the-end compression'' and ``across-the-$0$-gap compression'', are used to derive a formula for Koornwinder polynomials in terms of compressed set-valued tableaux. Throughout we work in the full generality of relative Koornwinder polynomials, which are the analogues of the permuted basement Macdonald polynomials used in the type $GL_n$ case.
Product sets in sets of returns and positivity of symmetric ergodic averages
We study sets of (measurable) returns in countable groups $G$, namely sets of the form $\{g\in G:μ(A\cap T_gA)>0\}$ arising from measure-preserving actions. Extending a result of Bergelson, we show that sets of returns in $G\times G$ contain subsets of the form $B\times B$, where $B$ is large with respect to suitable notions of largeness that remain meaningful even for non-amenable groups. As a consequence, if $G$ is amenable, then every sufficiently large subset $A\subseteq G\times G$ satisfies $B\times B\subseteq AA^{-1}$ for some large set $B\subseteq G$.
We also investigate when sets of returns in $G$ contain product sets $BB$ with $B$ large. In contrast with the Cartesian-product phenomenon above, this problem is considerably subtler in non-abelian groups and is closely connected to `symmetric correlation functions', namely functions of the form $g\mapsto μ(T_g^{-1}A\cap T_gA)$. We use this connection to show that, for broad classes of amenable groups - including finitely generated nilpotent groups and certain solvable non-nilpotent groups, every sufficiently large set $A\subseteq G$ contains a large subset $B$ satisfying $BB\subseteq AA^{-1}$.
Finally, we establish polynomial analogues of these results for finitely generated nilpotent groups, extending earlier work of Bergelson and Ruzsa.
Type $B$ fermionic coinvariant rings
Let $\mathfrak{B}_n$ denote the hyperoctahedral group. The type $B$ coinvariant rings $R_{\mathfrak{B}_n}^{(k,j)}$ are quotients of the ring of polynomials in $k$ sets of $n$ commuting variables and $j$ sets of $n$ anticommuting variables by the ideal generated by the diagonal $\mathfrak{B}_n$-invariants without constant term. Building upon the work of Kim--Rhoades (2022), we give an explicit formula for the bigraded Frobenius series of $R_{\mathfrak{B}_n}^{(0,2)}$: the bigraded multiplicity of each irreducible $\mathfrak{B}_n$-character is a single Schur polynomial, so $R_{\mathfrak{B}_n}^{(0,2)}$ is multiplicity-free as a $\operatorname{GL}_2 \times \mathfrak{B}_n$-module. We then determine that the trigraded multiplicity of the sign character of $R_{\mathfrak{B}_n}^{(0,3)}$ is given by a single Schur function. Finally, for all $k$ and $j$, we determine the multiplicity of the standard character in the type $A$ coinvariant ring $R_{n}^{(k,j)}$, as well as the multiplicities of the characters indexed by the bipartitions $((n-1),(1))$ and $((n-1,1),\varnothing)$ in $R_{\mathfrak{B}_n}^{(k,j)}$. These are the first nontrivial characters established for all $(k,j)$ in either of types $A$ or $B$.
A Characterization of Trees with Trinomial Partial Petrial Polynomials
The partial Petrial polynomial of a bouquet can be computed from the coranks over GF(2) of matrices obtained by varying the diagonal entries of the adjacency matrix of its intersection graph. Motivated by this matrix formulation, we study the corresponding polynomial for simple graphs and determine when it has exactly two or three nonzero terms. A key tool is the interpolating property: the exponents of the nonzero terms are consecutive. Using this property together with local complementation minors of grafts, we extend the known characterization of the binomial case from connected circle graphs to all connected simple graphs, showing that such a graph has a binomial partial Petrial polynomial if and only if it is a path. Our main result characterizes the trinomial case for trees: a tree has a trinomial partial Petrial polynomial if and only if it is a T-shape tree or an H-shape tree. Here, a T-shape tree has maximum degree 3 and exactly one vertex of degree 3, whereas an H-shape tree has maximum degree 3 and exactly two vertices of degree 3, which are adjacent. We also derive explicit formulas for both families in terms of Jacobsthal numbers.
A graph-theoretical characterisation of subgroups of Thompson's group $V$
We prove a graph-theoretical characterisation of finitely generated subgroups of Thompson's group $V$: a finitely generated group embeds in $V$ if and only if it admits a faithful context-free action, or equivalently if it belongs to the class CF-TR of transition groups of context-free graphs recently introduced by Matucci and the three last authors. Using this characterisation, we prove results in different directions:
- All known examples of groups with co-context-free Word Problem do embed in $V$, providing evidence towards Lehnert's conjecture.
- Each finitely generated subgroup of $V$ is either virtually abelian, or contains a free non-abelian semigroup. It follows that groups of intermediate growth do not embed in Thompson's $V$.
We further study the relation between transition groups defined by graphs that are limits or covers of each others, and prove properties of transition groups of context-free graphs of polynomial growth. Finally, we prove that the Basilica and Hanoï Towers groups do not embed in $V$. This uses the geometry of Schreier graphs of the natural actions of these groups and of Thompson's $V$.
On Erdős--Ko--Rado and Hilton--Milner Theorems for Direct Products
Let $X=X_1\mathbin{\dot\cup}\cdots\mathbin{\dot\cup}X_p$ and $\mathcal{H}(\boldsymbol k)=\{F\subseteq X:|F\cap X_i|=k_i\text{ for every }i\}$. We study $t$-intersecting families in one such layer and in finite unions of layers under the ordinary condition $|A\cap B|\ge t$. A generating-set method reduces every shifted extremal non-star system to at most $pt$ supporting points. This gives coordinatewise linear Erdős--Ko--Rado thresholds, improving the previous quadratic and higher-degree hypotheses, and proves that every maximum family is a full $t$-star; no positive lower bound on each layer coordinate is needed in the multilayer result. We also solve the nontrivial problem for general $t$ under an explicit polynomial large-part hypothesis, thereby resolving a problem posed by Kwan, Sudakov and Vieira. Every maximum family is a product Hilton--Milner family $\mathcal{H}^\times(T,Y)$, where $T\subseteq X$ is a $t$-set and $Y\subseteq X\setminus T$ has at least two elements. An explicit product formula and an endpoint reduction give a finite optimization and classify all equality cases, including the family $\mathcal{A}_1^\times(T\cup Y)$ when $|Y|=2$.
Spectral Properties of Power Graphs of Metacyclic Groups
For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.
Real-rootedness of Kazhdan--Lusztig and $Z$-polynomials of thagomizer matroids and graphic matroids of $K_{2,n}$
Let $T_n=K_{1,1,n}$, and let $P_n(x)$ denote the Kazhdan--Lusztig polynomial of its graphic matroid. We prove that, whenever $n\ge2$ and $0\leλ\le n/2$, the polynomial $P_n(x)+λx$ has exactly $\lfloor n/2\rfloor$ zeros, all of which are negative and simple. In particular, the Kazhdan--Lusztig polynomials of the graphic matroids of $T_n$ and $K_{2,n}$ are real-rooted. We also prove that, for $n\ge2$, the common polynomial $Z_{T_n}(x)=Z_{K_{2,n}}(x)$ has $n+1$ distinct negative zeros. The proofs use a common rational transformation, reducing the Kazhdan--Lusztig case to alternating sign evaluations at the zeros of a Chebyshev polynomial and the $Z$-polynomial case to a unit-circle criterion for self-inversive polynomials.
The DP Color Function of Bipartite Graphs
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of $P(G,q)$, the chromatic polynomial of a graph $G$, the DP color function of $G$, denoted by $P_{DP}(G,q)$, counts the minimum number of DP-colorings over all $q$-fold covers of $G$. It follows that $P_{DP}(G,q) \leq P(G,q)$. It is known that there are graphs for which $P_{DP}(G,q) < P(G,q)$ for all sufficiently large $q$; in fact, all bipartite graphs containing a cycle have this property. A fundamental open question about DP color functions asks whether, for every graph $G$, there exist $N \in \mathbb{N}$ and a polynomial $p$ such that $P_{DP}(G,q) = p(q)$ whenever $q \geq N$. In this paper we answer this question affirmatively for all bipartite graphs. Specifically, if $G$ is an $n$-vertex bipartite graph with $c$ components, then $P_{DP}(G,q) = (-1)^{n-c}q^c \;T_G(1-q,1)$ for all sufficiently large $q$, where $T_G(x,y)$ is the Tutte polynomial of $G$. The ideas we develop also yield an asymptotic formula for $P(G,q)-P_{DP}(G,q)$ whenever the girth of $G$ is even.
The half interlacing property among the types A, B and D Eulerian polynomials
A famous result in the theory of combinatorial polynomials is the real-rootedness of the type $D$ Eulerian polynomial $D_n(x)$, which was originally conjectured by Brenti in 1994. By constructing a set of compatible polynomials over $s$-inversion sequences, Savage and Visontai proved this conjecture in 2013. Using matrices preserving interlacing properties of nonnegative polynomial sequences, Bränden also established the real-rootedness of $D_n(x)$. Combining Hermite-Biehler theorem and a result of Borcea and Brändén on Hurwitz stability, Yang and Zhang gave another proof of the real-rootedness of $D_n(x)$. By constructing half Eulerian polynomials of type $D$, Hyatt reproved Brenti's conjecture. As originally suggested by Brenti in 1994, it is possible that the real-rootedness of $D_n(x)$ may be established by using a more precise knowledge of the location of zeros of the types $A$ and $B$ Eulerian polynomials. In this paper, we add more details to the first proof of the real-rootedness of $D_n(x)$ that was provided by the author in 2012, which yields the half interlacing property among the types $A,B$ and $D$ Eulerian polynomials.
A simplified min-max formula for the inverse arborescence problem
A simple min-max theorem is formulated and proved for the smallest modification (measured in $l_1$-norm) of an input cost function $w_0$ that makes a target arborescence $F_0$ of a digraph a cheapest arborescence. The constructive proof gives rise to a polynomial time algorithm for computing both a minimizer cost function on the primal side and a maximizer dual object in the min-max formula.
An explicit construction of two completely independent spanning trees in the four-dimensional dual-cube
Lalou, Mbarek, Skender and Togni (arXiv:2607.25917) proved that the $n$-dimensional dual-cube $F_n$ admits two completely independent spanning trees for every $n\ge 5$, observed that none exist for $n\le 3$, and identified $F_4$ as the first unresolved case, reporting more than 700 hours of inconclusive computation. We settle this case affirmatively by an explicit construction, completing the classification: $F_n$ admits two completely independent spanning trees if and only if $n\ge 4$. The internal-vertex sets of the two trees are the level sets of a single ten-term cubic polynomial over $\mathbb{F}_2$ in the seven vertex bits, and correctness reduces to finite connectivity checks that are machine-verified by a solver-free program distributed with the certificate. In $F_4$ the two trees necessarily use 254 of the 256 edges. We also report exact infeasibility results for simpler rules of the same shape: within the search model, no affine or quadratic rule works, and ten terms is the fewest possible for a cubic rule.
Cluster Algebras for Bosonic Plethysm
Let $\Bbbk$ be an algebraically closed field of characteristic zero, let $V=\Bbbk^\ell$ and $W=\Bbbk^m$, and set \[ \mathcal R_{\ell,m}=\operatorname{Sym}(\operatorname{Sym}^2V\otimes W)^{U_V}. \] We construct an explicit skew-symmetrizable seed $Σ_{\ell,m}$ by restricting and folding the determinantal seed for the flagged $m$-arrow Kronecker quiver. For every $\ell,m\ge2$, we have \[ \mathcal R_{\ell,m}=\mathcal U(Σ_{\ell,m}), \] with polynomial frozen coefficients, and $Σ_{\ell,m}$ admits a reddening sequence. The theta basis extends across the frozen boundary exactly for parameters in a rational polyhedral cone $\mathscr C_{\ell,m}$. Its weight fibers count the multigraded highest-weight multiplicities of $\mathcal R_{\ell,m}$, and the Jacobi--Trudi identity expresses symmetric-square plethysm coefficients as finite alternating sums of these counts. Optimized frozens give an explicit finite system of inequalities for $\mathscr C_{\ell,m}$.
Perfect codes as exact minimizers of quadratic discrepancy in q-ary Hamming spaces
Stolarsky's invariance principle converts quadratic discrepancy into an energy-minimization problem. Barg developed its form for binary Hamming space and proved that binary perfect codes minimize total quadratic ball discrepancy among binary codes of the same length and cardinality. We prove an exact finite-alphabet counterpart: whenever a fixed Hamming space and cardinality admit a perfect code, the perfect codes are precisely the discrepancy minimizers. The competitors are arbitrary subsets of the prescribed cardinality, with no linearity or minimum-distance assumption.
More sharply, we give explicit parameter-only lower benchmarks before existence is known. For every arithmetically admissible one-error parameter set, and for every nontrivial two-error parameter set satisfying the sphere-packing and integral Lloyd-root conditions, equality in the corresponding benchmark is equivalent to perfect tiling. The bounds are proved by explicit Fourier--Krawtchouk and polynomial certificates rather than by solving a numerical linear program. Thus, in every covered parameter regime, perfect-code existence is equivalent to attainment of an explicit variational target.