polynomial
11422 papers tagged with this keyword
Positivity properties of $q$-hit numbers in the finite general linear group
Published
• View Publication
• BIB
We consider the problem of counting matrices over a finite field with fixed rank and support contained in a fixed set. The count of such matrices gives a $q$-analogue of the classical rook and hit numbers, known as the $q$-rook and $q$-hit numbers. They are known not to be polynomial in $q$ in general. We use inclusion-exclusion on the support of the matrices and the orbit counting method of Lewis et al. to show that the residues of these functions in low degrees are polynomial. We define a generalization of the classical rook and hit numbers which count placements of certain classes of graphs. These give us a formula for residues of the $q$-rook and $q$-hit numbers in low degrees. We analyze the residues of the $q$-hit number and show that the coefficient of $q-1$ in the $q$-hit number is always non-negative.
Expanding the unicellular LLT polynomials of two-headed melting lollipops into ribbon Schurs
We prove a simple formula expanding the unicellular LLT polynomials of a class of graphs we call two-headed melting lollipops into ribbon Schur functions. Our work extends the Schur expansion originally found for melting lollipop graphs by Huh, Nam, and Yoo.
Toda-Type Presentations for the Quantum K Theory of Partial Flag Varieties
Published in SIGMA 21 (2025), 098, 26 pages
• View Publication
• BIB
We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety ${\rm Fl}(r_1, \dots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety ${\rm Fl}(n)$, via Kato's ${\rm K}_T({\rm pt})$-algebra homomorphism from the quantum K ring of ${\rm Fl}(n)$ to that of ${\rm Fl}(r_1, \dots, r_k;n)$. Starting instead from the Whitney presentation for ${\rm Fl}(n)$, we show that the same pushforward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of ${\rm Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the ${\rm K}$-theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.
On Macdonald expansions of $q$-chromatic symmetric functions and the Stanley-Stembridge Conjecture
The Stanley-Stembridge conjecture asserts that the chromatic symmetric function of a $(3+1)$-free graph is $e$-positive. Recently, Hikita proved this conjecture by giving an explicit $e$-expansion of the Shareshian-Wachs $q$-chromatic refinement for unit interval graphs. Using the $\mathbb{A}_{q,t}$ algebra, we give an expansion of these $q$-chromatic symmetric functions into Macdonald polynomials. Upon setting $t=1$, we obtain another proof of the Stanley-Stembridge conjecture and rederive Hikita's formula. Upon setting $t=0$, we obtain an expansion into Hall-Littlewood symmetric functions.
Quasipolynomial bounds for the corners theorem
Published
• View Publication
• BIB
Let $G$ be a finite abelian group and $A$ be a subset of $G \times G$ which is corner--free, meaning that there are no $x, y \in G$ and $d \in G \setminus \{0\}$ such that $(x, y)$, $(x+d, y)$, $(x, y+d) \in A$. We prove that \[|A| \le |G|^2 \cdot \exp(-(\log |G|)^{Ω(1)}).\] As a consequence, we obtain polynomial (in the input length) lower bounds on the nondeterministic communication complexity of Exactly-N in the 3-player Number-on-Forehead model. We also obtain the first "reasonable'' lower bounds on the coloring version of the $3$-dimensional corners problem, as well as on the nondeterministic communication complexity of Exactly-N in the 4-player Number-on-Forehead model.
Canonical forms of polytopes from adjoints
Projectivizations of pointed polyhedral cones $C$ are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like $$ Ω_C(x)=\frac{A(x)}{B(x)} dx, $$ with $A,B$ polynomials. The denominator $B(x)$ is just the product of the linear equations defining the facets of $C$. We will see that the numerator $A(x)$ is given by the adjoint polynomial of the dual cone $C^{\vee}$. The adjoint was originally defined by Warren, who used it to construct barycentric coordinates in general polytopes. Confirming the intuition that the job of the numerator is to cancel unwanted poles outside the polytope, we will see that the adjoint is the unique polynomial of minimal degree whose hypersurface contains the residual arrangement of non-face intersections of supporting hyperplanes of $C$.
Shellability of the quotient order on lattice path matroids
The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.
Integrability of Combinatorial Riemann Boundary Value Problem and Lattice Walks Avoiding a Quadrant
We introduce a general framework of matrix-form combinatorial Riemann boundary value problem (cRBVP) to characterize the integrability of functional equations arising in lattice walk enumerations. A matrix cRBVP is defined as integrable if it can be reduced to enough polynomial equations with one catalytic variable. Our central results establish that the integrability depends on the eigenspace of some matrix associated to the problem. For lattice walks in three quadrants, we demonstrate how the obstinate kernel method transforms a discrete difference equation into a $3\times 3$ matrix cRBVP. The special double-roots eigenvalue $1/4$ yields two independent polynomial equations in the problem. The other single-root eigenvalue yields a linear equation. We obtain three independent equations from a $3\times 3$ system. Crucially, our framework generalizes three-quadrant walks with Weyl symmetry to models satisfying only orbit-sum conditions. It explains many criteria about the orbit-sum proposed by various researchers and it also explains the counter-example of lattice walks starting outside the quadrant.
Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs
We study the Max Partial $k$-Coloring problem, where we are given a vertex-weighted graph, and we ask for a maximum-weight induced subgraph that admits a proper $k$-coloring. For $k=1$ this problem coincides with Maximum Weight Independent Set, and for $k=2$ the problem is equivalent (by complementation) to Minimum Odd Cycle Transversal. Furthermore, it generalizes $k$-Coloring. We show that Max Partial $k$-Coloring on $n$-vertex instances with clique number $ω$ can be solved in time
* $n^{\mathcal{O}(kω)}$ if the input graph excludes the bull and the chair as an induced subgraph,
* $n^{\mathcal{O}(kω\log n)}$ if the input graph excludes the bull and E as an induced subgraph.
This implies that $k$-Coloring can be solved in polynomial time in the former class, and in quasipolynomial-time in the latter one.
Componentwise Linear Ideals From Sums
Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any componentwise linear monomial ideal in $k[x,y]$ has linear quotients using generators in non-decreasing degrees. In any dimension, we show that under mild compatibility conditions, one can build a componentwise linear ideal from a given collection of componentwise linear monomial ideals using only sum and product with square-free monomials. We provide numerous examples to demonstrate the optimality of our results.
Signatures of Type $A$ Root Systems
Given a type $A$ root system $Φ$ of rank $n$, we introduce the concept of a signature for each subset $S$ of $Φ$ consisting of $n+1$ positive roots. For a subset $S$ represented by a tuple $(β_1, \ldots, β_{n+1})$, the signature of $S$ is defined as an unordered pair $\{a, b\}$, where $a$ and $b$ denote the numbers of $1$s and $-1$s, respectively, among the cofactors $(-1)^k \det(S \setminus \{β_k\})$ for $1 \le k \le n+1$. We prove that the number of tuples with a given signature can be expressed in terms of classical Eulerian numbers. The study of these signatures is motivated by their connections to the arithmetic and combinatorial properties of cones over deformed arrangements defined by $Φ$, including the Shi, Catalan, Linial, and Ish arrangements. We apply our main result to compute two important invariants of these arrangements: The minimum period of the characteristic quasi-polynomial, and the evaluation of the classical and arithmetic Tutte polynomials at $(1, 1)$.
The Flood Polynomial of a Graph
Published
• View Publication
• BIB
The flood polynomial of a simple finite graph is a weight generating function that counts all flooding cascade sets of the graph. The flood polynomial is inspired by the water mechanics in the video game Minecraft. We give necessary conditions for two graphs to have the same flood polynomial. We then provide a formula for the flood polynomials of certain families of graphs. We will see that many flood polynomials can be expressed using a Fibonacci-like recurrence and in some cases are equal to Fibonacci or Lucas polynomials. We then provide general examples of pairs of distinct graphs with the same flood polynomial. In these examples, the flood polynomial will be expressed as the product of Fibonacci and Lucas polynomials.
Word-Representability of Well-Partitioned Chordal Graphs
In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of well-partitioned chordal graphs can be done in polynomial time. Moreover, we prove that the representation number of a word-representable well-partitioned chordal graph is at most three. Further, we obtain a minimal forbidden induced subgraph characterization of circle graphs restricted to well-partitioned chordal graphs. Accordingly, we determine the class of word-representable well-partitioned chordal graphs having representation number exactly three.
Generalized Erdős-Rogers problems for hypergraphs
Published
• View Publication
• BIB
Given $r$-uniform hypergraphs $G$ and $F$ and an integer $n$, let $f_{F,G}(n)$ be the maximum $m$ such that every $n$-vertex $G$-free $r$-graph has an $F$-free induced subgraph on $m$ vertices. We show that $f_{F,G}(n)$ is polynomial in $n$ when $G$ is a subgraph of an iterated blowup of $F$. As a partial converse, we show that if $G$ is not a subgraph of an $F$-iterated blowup and is $2$-tightly connected, then $f_{F,G}(n)$ is at most polylogarithmic in $n$. Our bounds generalize previous results of Dudek and Mubayi for the case when $F$ and $G$ are complete.
The $h^*$-polynomials of type C hypersimplices
We study the Ehrhart theory of hypersimplices of type C, as introduced by Lam and Postnikov for general crystallographic root systems. The $h^*$-polynomials of classical hypersimplices are known to relate to various Eulerian statistics on the symmetric group. In this paper, we introduce a new statistic and partial order on signed permutations, which we use to derive explicit formulas for the $h^*$-polynomials of type C hypersimplices. Additionally, we explore connections with other statistics, including flag-excedances and circular descents, flag-descents, and Coxeter descents.
A contratableau model for K-theoretic Littlewood-Richardson rule
Published
• View Publication
• BIB
The K-theoretic Littlewood-Richardson rule, established by A. Buch, is a combinatorial method for counting the structure constants involved in the product of two Grothendieck polynomials of Grassmannian type. In this paper, we provide an explicit combinatorial formula in terms of set-valued contratableau for the K-theoretic Littlewood-Richardson rule generalizing contratableau model for the classical Littlewood-Richardson rule given by Carré.
Interval Graphs are Reconstructible
A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs with at least three vertices are reconstructible. For this purpose we develop a technique to handle separations in the context of reconstruction. This resolves a major roadblock to using graph structure theory in the context of reconstruction. To apply our novel technique, we also develop a resilient combinatorial structure theory for interval graphs. A consequence of our result is that interval graphs can be reconstructed in polynomial time.
Polynomial Bounds for the Graph Minor Structure Theorem
Published
• View Publication
• BIB
The Graph Minor Structure Theorem, originally proven by Robertson and Seymour [JCTB, 2003], asserts that there exist functions $f_1, f_2 \colon \mathbb{N} \to \mathbb{N}$ such that for every non-planar graph $H$ with $t := |V(H)|$, every $H$-minor-free graph can be obtained via the clique-sum operation from graphs which embed into surfaces where $H$ does not embed after deleting at most $f_1(t)$ many vertices with up to at most $t^2-1$ many ``vortices'' which are of ``depth'' at most $f_2(t)$. In the proof presented by Robertson and Seymour the functions $f_1$ and $f_2$ are non-constructive. Kawarabayashi, Thomas, and Wollan [arXiv, 2020] found a new proof showing that $f_1(t), f_2(t) \in 2^{\mathbf{poly}(t)}$. While believing that this bound was the best their methods could achieve, Kawarabayashi, Thomas, and Wollan conjectured that $f_1$ and $f_2$ can be improved to be polynomials.
In this paper we confirm their conjecture and prove that $f_1(t), f_2(t) \in \mathbf{O}(t^{2300})$. Our proofs are fully constructive and yield a polynomial-time algorithm that either finds $H$ as a minor in a graph $G$ or produces a clique-sum decomposition for $G$ as above.
Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH
The Schubert vanishing problem is a central decision problem in algebraic combinatorics and Schubert calculus, with applications to representation theory and enumerative algebraic geometry. The problem has been studied for over 50 years in different settings, with much progress given in the last two decades.
We prove that the Schubert vanishing problem is in ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH). This complements our earlier result in arXiv:2412.02064, that the problem is in ${\sf coAM}$ assuming the GRH. In particular, this implies that the Schubert vanishing problem is unlikely to be ${\sf coNP}$-hard, as we previously conjectured in arXiv:2412.02064.
The proof is of independent interest as we formalize and expand the notion of a lifted formulation partly inspired by algebraic computations of Schubert problems, and extended formulations of linear programs. We use a result by Mahajan--Vinay to show that the determinant has a lifted formulation of polynomial size. We combine this with Purbhoo's algebraic criterion to derive the result.
Counting k-ary words by number of adjacency differences of a prescribed size
Published
• View Publication
• BIB
Recently, the general problem of enumerating permutations $π=π_1\cdots π_n$ such that $π_{i+r}-π_i \neq s$ for all $1\leq i\leq n-r$, where $r$ and $s$ are fixed, was considered by Spahn and Zeilberger. In this paper, we consider an analogous problem on $k$-ary words involving the distribution of the corresponding statistic. Note that for $k$-ary words, it suffices to consider only the $r=1$ case of the aforementioned problem on permutations. Here, we compute for arbitrary $s$ an explicit formula for the ordinary generating function for $n \geq 0$ of the distribution of the statistic on $k$-ary words $ρ=ρ_1\cdotsρ_n$ recording the number of indices $i$ such that $ρ_{i+1}-ρ_i=s$. This result may then be used to find a comparable formula for finite set partitions with a fixed number of blocks, represented sequentially as restricted growth functions. Further, several sequences from the OEIS arise as enumerators of certain classes of $k$-ary words avoiding adjacencies with a prescribed difference. The comparable problem where one tracks indices $i$ such that the absolute difference $|a_{i+1}-a_i|$ is a fixed number is also considered on $k$-ary words and the corresponding generating function may be expressed in terms of Chebyshev polynomials. Finally, combinatorial proofs are found for several related recurrences and formulas for the total number of adjacencies of the form $a(a+s)$ on the various structures.