polynomial
11184 papers tagged with this keyword
Combinatorial proofs of the type A quiver component formulas
The K-theoretic quiver component formula expresses the K-polynomial of a type A quiver locus as an alternating sum of products of double Grothendieck polynomials. This formula was conjectured by A. Buch and R. Rimányi and later proved by R. Kinser, A. Knutson, and the second author. We provide a new proof of this formula which replaces Gröbner degenerations by combinatorics. Along the way, we obtain a new proof of A. Buch and R. Rimányi's cohomological quiver component formula. Again, our proof replaces geometric techniques by combinatorics.
Multi-parametric matroids -- Applications to interdiction and weight set decomposition
In this article, we investigate the multi-parametric matroid problem. The weights of the elements of the matroid's ground set depend linearly on an arbitrary but fixed number of parameters, each of which is taken from a real interval. The goal is to compute a minimum weight basis for each possible combination of the parameters. For this problem, we propose an algorithm that requires a polynomial number of independence tests and discuss two useful applications. First, the algorithm can be applied to solve a multi-parametric version of a special matroid interdiction problem, and second, it can be utilized to compute the weight set decomposition of the multi-objective (graphic) matroid problem. For the latter, we asymptotically improve the current state-of-the-art algorithm by a factor that is almost proportional to the number of edges of the graphic matroid.
Ghost Kohnert posets
Recently, Pan and Yu showed that Lascoux polynomials can be defined in terms of certain collections of diagrams consisting of unit cells arranged in the first quadrant. Starting from certain initial diagrams, one forms a finite set of diagrams by applying two types of moves: Kohnert and ghost moves. Both moves cause at most one cell to move to a lower row with ghost moves leaving a new "ghost cell" in its place. Each diagram formed in this way defines a monomial in the associated Lascoux polynomial. Restricting attention to diagrams formed by applying sequences of only Kohnert moves in the definition of Lascoux polynomials, one obtains the family of key polynomials. Recent articles have considered a poset structure on the collections of diagrams formed when one uses only Kohnert moves. In general, these posets are not "well-behaved," not usually having desirable poset properties. Here, as an intermediate step to studying the analogous posets associated with Lascoux polynomials, we consider the posets formed by restricting attention to those diagrams formed by using only ghost moves. Unlike in the case of Kohnert posets, we show that such "ghost Kohnert posets" are always ranked join semi-lattices. In addition, we establish a necessary condition for when ghost Kohnert posets are bounded and, consequently, lattices.
Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent
We answer in the negative the long-standing open question of whether biholomorphic equivalence implies algebraic equivalence for germs of real algebraic manifolds in $\mathbb C^n$. More precisely we give an example of two germs of real algebraic surfaces in $\mathbb C^2$ that are biholomorphic, but not via an algebraic biholomorphism. In fact we even prove that the components of any biholomorphism between these two surfaces are never solutions of polynomial differential equations. The proof is based on enumerative combinatorics and differential Galois Theory results concerning the nature of the generating series of walks restricted to the quarter plane.
A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset-FAST
In the Subset Feedback Arc Set in Tournaments, Subset-FAST problem we are given as input a tournament $T$ with a vertex set $V(T)$ and an arc set $A(T)$, along with a terminal set $S \subseteq V(T)$, and an integer $ k$. The objective is to determine whether there exists a set $ F \subseteq A(T) $ with $|F| \leq k$ such that the resulting graph $T-F $ contains no cycle that includes any vertex of $S$. When $S=V(T)$ this is the classic Feedback Arc Set in Tournaments (FAST) problem. We obtain the first polynomial kernel for this problem parameterized by the solution size. More precisely, we obtain an algorithm that, given an input instance $(T, S, k)$, produces an equivalent instance $(T',S',k')$ with $k'\leq k$ and $V(T')=O(k^2)$.
It was known that FAST admits a simple quadratic vertex kernel and a non-trivial linear vertex kernel. However, no such kernel was previously known for Subset-FAST. Our kernel employs variants of the most well-known reduction rules for FAST and introduces two new reduction rules to identify irrelevant vertices. As a result of our kernelization, we also obtain the first sub-exponential time FPT algorithm for Subset-FAST.
On the expressive power of $2$-edge-colourings of graphs
Given a finite set of $2$-edge-coloured graphs $\mathcal F$ and a hereditary property of graphs $\mathcal{P}$, we say that $\mathcal F$ expresses $\mathcal{P}$ if a graph $G$ has the property $\mathcal{P}$ if and only if it admits a $2$-edge-colouring not having any graph in $\mathcal F$ as an induced $2$-edge-coloured subgraph. We show that certain classic hereditary classes are expressible by some set of $2$-edge-coloured graphs on three vertices. We then initiate a systematic study of the following problem. Given a finite set of $2$-edge-coloured graphs $\mathcal F$, structurally characterize the hereditary property expressed by $\mathcal F$. In our main results we describe all hereditary properties expressed by $\mathcal F$ when $\mathcal F$ consists of 2-edge-coloured graphs on three vertices and (1) patterns have at most two edges, or (2) $\mathcal F$ consists of both monochromatic paths and a set of coloured triangles.
On the algorithmic side, we consider the $\mathcal F$-free colouring problem, i.e., deciding if an input graph admits an $\mathcal F$-free $2$-edge-colouring. It follows from our structural characterizations, that for all sets considered in (1) and (2) the $\mathcal F$-free colouring problem is solvable in polynomial time. We complement these tractability results with a uniform reduction to boolean constraint satisfaction problems which yield polynomial-time algorithms that recognize most graph classes expressible by a set $\mathcal F$ of $2$-edge-coloured graphs on at most three vertices. Finally, we exhibit some sets $\mathcal F$ such that the $\mathcal F$-free colouring problem is NP-complete.
Algebraic and Combinatorial Stability of Independence Polynomials in Iterated Strong Products of Cycles
This paper investigates the independence polynomials arising from iterated strong products of cycle graphs, examining their algebraic symmetries and combinatorial structures. Leveraging modular arithmetic and Galois theory, we establish precise conditions under which these polynomials factor over finite fields, highlighting modular collapses based on prime and composite cycle lengths. We demonstrate that while real-rootedness depends on cycle parity, the combinatorial structure ensures universal log-concavity and unimodality of coefficients. A toggling argument provides a combinatorial proof of unimodality, complementing algebraic methods and offering insights into polynomial stability. These findings bridge combinatorial and algebraic perspectives, contributing to graph-theoretic frameworks with implications in statistical mechanics and information theory.
Deterministically approximating the volume of a Kostka polytope
Polynomial-time deterministic approximation of volumes of polytopes, up to an approximation factor that grows at most sub-exponentially with the dimension, remains an open problem. Recent work on this question has focused on identifying interesting classes of polytopes for which such approximation algorithms can be obtained. In this paper, we focus on one such class of polytopes: the Kostka polytopes. The volumes of Kostka polytopes appear naturally in questions of random matrix theory, in the context of evaluating the probability density that a random Hermitian matrix with fixed spectrum $λ$ has a given diagonal $μ$ (the so-called randomized Schur-Horn problem): the corresponding Kostka polytope is denoted $\mathrm{GT}(λ, μ)$. We give a polynomial-time deterministic algorithm for approximating the volume of a ($Ω(n^2)$ dimensional) Kostka polytope $\mathrm{GT}(λ, μ)$ to within a multiplicative factor of $\exp(O(n\log n))$, when $λ$ is an integral partition with $n$ parts, with entries bounded above by a polynomial in $n$, and $μ$ is an integer vector lying in the interior of the permutohedron (i.e., convex hull of all permutations) of $λ$. The algorithm thus gives asymptotically correct estimates of the log-volume of Kostka polytopes corresponding to such $(λ, μ)$. Our approach is based on a partition function interpretation of a continuous analogue of Schur polynomials.
Probabilistic Entry Swapping Bijections for Non-Attacking Fillings
Non-attacking fillings are combinatorial objects central to the theory of Macdonald polynomials. A probabilistic bijection for partition-shaped non-attacking fillings was introduced by Mandelshtam (2024) to prove a compact formula for symmetric Macdonald polynomials. In this work, we generalize this probabilistic bijection to composition-shaped non-attacking fillings. As an application, we provide a bijective proof to extend a symmetry theorem for permuted-basement Macdonald polynomials established by Alexandersson (2019), proving a version with fewer assumptions.
On the coefficients of Tutte polynomials with one variable at 1
Denote the Tutte polynomial of a graph $G$ and a matroid $M$ by $T_G(x,y)$ and $T_M(x,y)$ respectively. $T_G(x,1)$ and $T_G(1,y)$ were generalized to hypergraphs and further extended to integer polymatroids by Kálmán \cite{Kalman} in 2013, called interior and exterior polynomials respectively. Let $G$ be a $(k+1)$-edge connected graph of order $n$ and size $m$, and let $g=m-n+1$. Guan et al. (2023) \cite{Guan} obtained the coefficients of $T_G(1,y)$: \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2} \text{ for } g-k\leq j\leq g,\] which was deduced from coefficients of the exterior polynomial of polymatroids. Recently, Chen and Guo (2025) \cite{Chen} further obtained \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2}-\sum_{i=k+1}^{g-j}\binom{m-j-i-1}{n-2}|\mathcal{EC}_i(G)|\] for $g-3(k+1)/2< j\leq g$, where $\mathcal{EC}_i(G)$ denotes the set of all minimal edge cuts with $i$ edges. In this paper, for any matroid $M=(X,rk)$ we first obtain \[[y^j]T_M(1,y)=\sum_{t=j}^{|X|-r}(-1)^{t-j}\binom{t}{j}σ_{r+t}(M),\] where $σ_{r+t}(M)$ denotes the number of spanning sets with $r+t$ elements in $M$ and $r=rk(M)$. Moveover, the expression of $[x^i]T_M(x,1)$ is obtained immediately from the duality of the Tutte polynomial. As applications of our results, we generalize the two aforementioned results on graphs to the setting of matroids. This not only resolves two open problems posed by Chen and Guo in \cite{Chen} but also provides a purely combinatorial proof that is significantly simpler than their original proofs.
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
We identify the size of the largest connected component in a subcritical inhomogeneous random graph with a kernel of preferential attachment type. The component is polynomial in the graph size with an explicitly given exponent, which is strictly larger than the exponent for the largest degree in the graph. This is in stark contrast to the behaviour of inhomogeneous random graphs with a kernel of rank one. Our proof uses local approximation by branching random walks going well beyond the weak local limit and novel results on subcritical killed branching random walks.
Using Walnut to solve problems from the OEIS
We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns runs of sums of upper Wythoff numbers. We extend a result of Hajdu, Tijdeman, and Varga on polynomials with nonzero coefficients modulo a prime. Additionally, we settle open problems related to the anti-recurrence sequences A265389 and A299409, as well as the subsumfree sequences A026471 and A026475. Our findings also give rise to new open problems.
Polynomial Bounds in the Apex Minor Theorem
A graph $A$ is "apex" if $A-z$ is planar for some vertex $z\in V(A)$. Eppstein [Algorithmica, 2000] showed that for a minor-closed class $\mathcal{G}$, the graphs in $\mathcal{G}$ with bounded radius have bounded treewidth if and only if some apex graph is not in $\mathcal{G}$. In particular, for every apex graph $A$ and integer $r$, there is a minimum integer $g(A,r)$ such that every $A$-minor-free graph with radius $r$ has treewidth at most $g(A,r)$. We show that if $t=|V(A)|$ then $g(A,r)\in O^\ast(r^9t^{18})$ which is the first upper bound on $g(A,r)$ with polynomial dependence on both $r$ and $t$. More precisely, we show that every $A$-minor-free graph with radius $r$ has no $16rt^2 \times 16rt^2$ grid minor, which implies the first result via the Polynomial Grid Minor Theorem. A key example of an apex graph is the complete bipartite graph $K_{3,t}$, since $K_{3,t}$-minor-free graphs include and generalise graphs embeddable in any fixed surface. In this case, we prove that every $K_{3,t}$-minor-free graph with radius $r$ has no $4r(1+\sqrt{t})\times 4r(1+\sqrt{t})$ grid minor, which is tight up to a constant factor.
On posets and polytopes attached to arbors
Starting from the data of an arbor, which is a rooted tree with vertices decorated by disjoint sets, we introduce a lattice polytope and a partial order on its lattice points. We give recursive algorithms for various classical invariants of these polytopes and posets, using the tree structure. For linear arbors, we propose a conjecture exchanging the Ehrhart polynomial of the polytope with the Zeta polynomial of the poset for the reverse arbor. The general motivation comes from the action of a transmutation operator acting on M -triangles, which should link the posets considered here with some kinds of generalized noncrossing partitions and generalized associahedra. We give some evidence for this relationship in several cases, including notably some polytopes, namely halohedra and Hochschild polytopes.
A Method for Establishing Asymptotically Accurate Bounds for Extremal Roots of Eulerian Polynomials Using Polynomial Stability Preservers
We develop the tools to bound extreme roots of multivariate real zero polynomials globally. This is done through the use of a relaxation that approximates their rigidly convex sets. This relaxation can easily be constructed using the degree $3$ truncation of the polynomial and it produces in this way a spectrahedron whose computation is relatively easy and whose size is relatively small and depending solely on the number of variables of the polynomial. As we know that, in order to be able to produce in general spectrahedral representations of rigidly convex sets it is necessary to build matrices of very big size, we try, analyze and experiment with several constructions that could increase the size of these matrices. These constructions are based principally in two main approaches: adding information about higher degree monomials or non-trivially increasing the number of variables of the original polynomial. We explore these two construction first in a general setting and see that it is necessary to particularize to certain families of polynomials in order to make them work. In particular, we are able to prove that increasing the number of variables improves the behavior of the relaxation along the diagonal in the case of Eulerian polynomials. We see that applying the relaxation to multivariate Eulerian polynomials and then looking at the univariate polynomials injected in their diagonals produces an exponential asymptotic improvement in the bounds provided. We compare these bounds with other bounds that have appeared previously in the literature and refine these previous bounds in order to study how close do the bounds provided by the relaxation are to the actual roots of the univariate Eulerian polynomials.
Three-dimensional Riordan arrays and bivariate Laguerre polynomials
We show how to represent various families of Laguerre polynomials by the three-dimensional Riordan arrays, and use the fundamental theorem of Riordan arrays to obtain the corresponding exponential generating functions.
Monomial stability of Frobenius images
We study representation stability in the sense of Church, Ellenberg, and Farb \cite{FI-module} through the lens of symmetric function theory and the different symmetric function bases. We show that a sequence, $(F_n)_n$, where $F_n$ is a homogeneous symmetric function of degree $n$, has stabilizing Schur coefficients if and only if it has stabilizing monomial coefficients. More generally, we develop a framework for checking when stabilizing coefficients transfer from one symmetric function basis to another. We also see how one may compute representation stable ranges from the monomial expansions of the $F_n$.\parspace
As applications, we reprove and refine the representation stability of diagonal coinvariant algebras, $DR_n$. We also observe new representation stability phenomena of the Garsia-Haiman modules. This establishes certain stability properties of the modified Macdonald polynomials, $\tilde{H}_{μ^{(n)}}[X;q,t]$ and the modified $q,t$-Kostka numbers, $\tilde{K}_{μ^{(n)},ν[n]}(q,t)$, for arbitrary sequences of partitions with $μ^{(n)}\vdash n$ and $μ^{(n)}\subseteq μ^{(n+1)}$.
A New Representation of Ewens-Pitman's Partition Structure and Its Characterization via Riordan Array Sums
Ewens-Pitman's partition structure arises as a system of sampling consistent probability distributions on set partitions induced by the Pitman-Yor process. It is widely used in statistical applications, particularly in species sampling models in Bayesian nonparametrics. Drawing references from the area of representation theory of the infinite symmetric group, we view Ewens-Pitman's partition structure as an example of a non-extreme harmonic function on a branching graph, specifically, the Kingman graph. Taking this perspective enables us to obtain combinatorial and algebraic constructions of this distribution using the interpolation polynomial approach proposed by Borodin and Olshanski (The Electronic Journal of Combinatorics, 7, 2000). We provide a new explicit representation of Ewens-Pitman's partition structure using modern umbral interpolation based on Sheffer polynomial sequences. In addition, we show that a certain type of marginals of this distribution can be computed using weighted row sums of a Riordan array. In this way, we show that some summary statistics and estimators derived from Ewens-Pitman's partition structure can be obtained using methods of generating functions. This approach simplifies otherwise cumbersome calculations of these quantities often involving various special combinatorial functions. In addition, it has the added benefit of being amenable to symbolic computation.
Additive growth amongst images of linearly independent analytic functions
Let $\mathcal{F}$ be a set of $n$ real analytic functions with linearly independent derivatives restricted to a compact interval $I$. We show that for any finite set $A \subset I$, there is a function $f \in \mathcal{F}$ that satisfies
$$|2^{n-1}f(A)-(2^{n-1}-1)f(A)|\gg_{\mathcal{F},I} |A|^{φ(n)},$$ where $φ:\mathbb{N} \to \mathbb{R}$ satisfies the recursive formula
$$φ(1)=1, \quad φ(n)=1+\frac{1}{1+\frac{1}{φ(n-1)}} \quad \text{for } n\geq 2.$$ The above result allows us to prove the bound
$$|2^nf(A-A)-(2^n-1)f(A-A)| \gg_{f,n,I} |A|^{1+φ(n)}$$ where $f$ is an analytic function for which any $n$ distinct non-trivial discrete derivatives of $f'$ are linearly independent. This condition is satisfied, for instance, by any polynomial function of degree $m \geq n+1$. We also check this condition for the function $\arctan(e^x)$ with $n=3$, allowing us to improve upon a recent bound on the additive growth of the set of angles in a Cartesian product due to Roche-Newton.
Single-SEM Schubert Polynomials
We give a pattern-avoidance characterization of $w \in S_n$ such that the Schubert polynomial $\mathfrak{S}_w$ is a standard elementary monomial. This characterization tells us which quantum Schubert polynomials are easiest to compute. We solve a similar problem for complete homogeneous monomials.