polynomial
11422 papers tagged with this keyword
Optimal bounds on the polynomial Schur's theorem
Liu, Pach and Sándor recently characterized all polynomials $p(z)$ such that the equation $x+y=p(z)$ is $2$-Ramsey, that is, any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. In this paper, we find asymptotically tight bounds for the following two quantitative questions.
$\bullet$ For $n\in \mathbb{N}$, what is the longest interval $[n,f(n)]$ of natural numbers which admits a $2$-coloring with no monochromatic solutions of $x+y=p(z)$?
$\bullet$ For $n\in \mathbb{N}$ and a $2$-coloring of the first $n$ integers $[n]$, what is the smallest possible number $g(n)$ of monochromatic solutions of $x+y=p(z)$?
Our theorems determine $f(n)$ up to a multiplicative constant $2+o(1)$, and determine the asymptotics for $g(n)$.
Non-intersecting path explanation for block Pfaffians and applications into skew-orthogonal polynomials
Published
• View Publication
• BIB
In this paper, we mainly consider a combinatoric explanation for block Pfaffians in terms of non-intersecting paths, as a generalization of results obtained by Stembridge. As applications, we demonstrate how are generating functions of non-intersecting paths related to skew orthogonal polynomials and their deformations, including a new concept called multiple partial-skew orthogonal polynomials.
A coarse Tutte polynomial for hypermaps
Published
• View Publication
• BIB
We give an analogue of the Tutte polynomial for hypermaps. This polynomial can be defined as either a sum over subhypermaps, or recursively through deletion-contraction reductions where the terminal forms consist of isolated vertices. Our Tutte polynomial extends the classical Tutte polynomial of a graph as well as the Tutte polynomial of an embedded graph (i.e., the ribbon graph polynomial), and it is a specialization of the transition polynomial via a medial map transformation. We give hypermap duality and partial duality identities for our polynomial, as well as some evaluations, and examine relations between our polynomial and other hypermap polynomials.
Distinguishing Polynomials of Graphs
For a graph $G$, a $k$-coloring $c:V(G)\to \{1,2,\ldots, k\}$ is called distinguishing, if the only automorphism $f$ of $G$ with the property $c(v)=c(f(v))$ for every vertex $v\in G$ (color-preserving automorphism), is the identity. In this paper, we show that the number of distinguishing $k$-colorings of $G$ is a monic polynomial in $k$, calling it the distinguishing polynomial of $G$. Furthermore, we compute the distinguishing polynomials of cycles and complete multipartite graphs. We also show that the multiplicity of zero as a root of the distinguishing polynomial of $G$ is at least the number of orbits of $G$.
$q$-Chromatic polynomials
We introduce and study a $q$-version of the chromatic polynomial of a given graph $G=(V,E)$, namely, \[ χ_G^λ(q,n) \ := \sum_{\substack{\text{proper colorings}\\ c\,:\,V\to[n]}} q^{ \sum_{ v \in V } λ_v c(v) }, \] where $λ\in \mathbb{Z}^V$ is a fixed linear form. Via work of Chapoton (2016) on $q$-Ehrhart polynomials, $χ_G^λ(q,n)$ turns out to be a polynomial in the $q$-integer $[n]_q$, with coefficients that are rational functions in $q$. Additionally, we prove structural results for $χ_G^λ(q,n)$ and exhibit connections to neighboring concepts, e.g., chromatic symmetric functions and the arithmetic of order polytopes. We offer a strengthened version of Stanley's conjecture that the chromatic symmetric function distinguishes trees, which leads to an analogue of $P$-partitions for graphs.
Large line-free sets and their applications
In this paper, we construct explicit families of polynomials $P \in \mathbb{F}_q[x_1,\dots,x_n]$ with large root sets which have restricted intersections with affine lines. We use these sets to make substantial progress on a number of problems in extremal combinatorics.
For each prime power $q$ and integer $2 \le t \le q-1$, we construct $t$-line evasive subsets of $\mathbb{F}_q^n$ of size \[ q^{\,n\left(1-\frac{2}{t^2+t}\right)}, \] which is significantly larger than those previously known. Moreover, our method yields a partition of $\mathbb{F}_q^n$ into such sets.
We extend this partitioning result to the projective space $PG(n,q)$, obtaining the first explicit colorings for the vector space Ramsey number $R_q(2;k)$ that exhibit dependence on both $q$ and $k$. In particular, we show that \[ R_q(2;k) > \frac{(q-1)k}{2} - O_q(1), \] improving recent bounds.
Finally, we apply these constructions to extremal graph theory and improve the best-known bounds on the bipartite Turán number $ \mathrm{ex}(n,m,\{C_4,θ_{3,t}\})$. Most notably, we show that \[ \mathrm{ex}(n,n^{2/3},\{C_4,θ_{3,3}\}) = Θ(n^{1+1/9}), \] making progress on a question originally posed by Erdős.
On the scaling of random Tamari intervals and Schnyder woods of random triangulations (with an asymptotic D-finite trick)
Published
• View Publication
• BIB
We consider a Tamari interval of size $n$ (i.e., a pair of Dyck paths which are comparable for the Tamari relation) chosen uniformly at random. We show that the height of a uniformly chosen vertex on the upper or lower path scales as $n^{3/4}$, and has an explicit limit law. By the Bernardi-Bonichon bijection, this result also describes the height of points in the canonical Schnyder trees of a uniform random plane triangulation of size $n$.
The exact solution of the model is based on polynomial equations with one and two catalytic variables. To prove the convergence from the exact solution, we use a version of moment pumping based on D-finiteness, which is essentially automatic and should apply to many other models. We are not sure to have seen this simple trick used before.
It would be interesting to study the universality of this convergence for decomposition trees associated to positive Bousquet-Mélou--Jehanne equations.
Asymptotic computations of tropical refined invariants in genus 0 and 1
Published
• View Publication
• BIB
Block and Göttsche introduced a Laurent polynomial multiplicity to count tropical curves. Itenberg and Mikhalkin then showed that this multiplicity leads to invariant counts called tropical refined invariants. Recently, Brugallé and Jaramillo-Puentes studied the polynomiality properties of the coefficients of these invariants and showed that for fixed genus g, the coefficients ultimately coincide with polynomials in the homology class of the curves we look at. We call the generating series of these polynomials asymptotic refined invariant. In genus 0, the asymptotic refined invariant has been computed by the second author in the h-transverse case.
In this paper, we give a new proof of the formula for the asymptotic refined invariant for g = 0 using variations on the floor diagram algorithm. This technique allows also to compute the asymptotic refined invariant for g = 1. The result exhibits surprising regularity properties related to the generating series of partition numbers and quasi-modular forms.
Multiplicative generalised polynomial sequences
Published
• View Publication
• BIB
We fully classify completely multiplicative sequences which are given by generalised polynomial formulae, and obtain a similar result for (not necessarily completely) multiplicative sequences under the additional restriction that the sequence is not zero almost everywhere.
Tutte polynomials of matroids as universal valuative invariants
Published
• View Publication
• BIB
We provide a full classification of all families of matroids that are closed under duality and minors, and for which the Tutte polynomial is a universal valuative invariant. There are four inclusion-wise maximal families, two of which are the class of elementary split matroids and the class of graphic Schubert matroids. As a consequence of our framework, we derive new relations among Tutte polynomials of matroids. For example, we show that the Tutte polynomial of every matroid can be expressed uniquely as an integral combination of Tutte polynomials of graphic Schubert matroids.
Quadratic embedding constants of fan graphs and graph joins
Published in Linear Algebra and its Applications 709 (2025), 58-91
• View Publication
• BIB
We derive a general formula for the quadratic embedding constant of a graph join $\bar{K}_m+G$, where $\bar{K}_m$ is the empty graph on $m\ge1$ vertices and $G$ is an arbitrary graph. Applying our formula to a fan graph $K_1+P_n$, where $K_1=\bar{K}_1$ is the singleton graph and $P_n$ is the path on $n\ge1$ vertices, we show that $\mathrm{QEC}(K_1+P_n)=-\tildeα_n-2$, where $\tildeα_n$ is the minimal zero of a new polynomial $Φ_n(x)$ related to Chebyshev polynomials of the second kind. Moreover, for an even $n$ we have $\tildeα_n=\min\mathrm{ev}(A_n)$, where the right-hand side is the An minimal eigenvalue of the adjacency matrix $A_n$ of $P_n$. For an odd $n$ we show that $\min\mathrm{ev}(A_{n+1})\le\tildeα_n<\min\mathrm{ev}(A_n)$.
Quantum bumpless pipe dreams
Published in Forum of Mathematics, Sigma 13 (2025) e28
• View Publication
• BIB
Schubert polynomials are polynomial representatives of Schubert classes in the cohomology of the complete flag variety and have a combinatorial formulation in terms of bumpless pipe dreams. Quantum double Schubert polynomials are polynomial representatives of Schubert classes in the torus-equivariant quantum cohomology of the complete flag variety, but no analogous combinatorial formulation had been discovered. We introduce a generalization of the bumpless pipe dreams called quantum bumpless pipe dreams, giving a novel combinatorial formula for quantum double Schubert polynomials as a sum of binomial weights of quantum bumpless pipe dreams. We give a bijective proof for this formula by showing that the sum of binomial weights satisfies a defining transition equation.
$qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials
We introduce a probabilistic generalization of the dual Robinson--Schensted--Knuth correspondence, called $qt$RSK${}^*$, depending on two parameters $q$ and $t$. This correspondence extends the $q$RS$t$ correspondence, recently introduced by the authors, and allows the first tableaux-theoretic proof of the dual Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$, one recovers the row and column insertion version of the classical dual RSK correspondence as well as of $q$- and $t$-deformations thereof which are connected to $q$-Whittaker and Hall--Littlewood polynomials. When restricting to Jack polynomials and $\{0,1\}$-matrices corresponding to words, we prove that the insertion tableaux obtained by $qt$RSK${}^*$ are invariant under swapping letters in the input word. Our approach is based on Fomin's growth diagrams and the notion of probabilistic bijections.
Three Examples of Quasisymmetric Compatible $\mathfrak{S}_n$-modules
The Schur functions, a basis for the symmetric polynomials (Sym), encode the irreducible representations of the symmetric group, $\mathfrak{S}_n$, via the Frobenius characteristic map. In 1996, Krob and Thibon defined a quasisymmetric Frobenius map on the representations of $\mathcal{H}_n(0)$, mapping them to the quasisymmetric functions (QSym). Despite the obvious inclusion of Sym in QSym and the close relationship between $\mathfrak{S}_n$ and $\mathcal{H}_n(0)$, there is no known direct link between these two Frobenius characteristic maps and the related representations. We explore three specific situations in which a deformation of an $\mathfrak{S}_n$ action results in a valid $\mathcal{H}_n(0)$ action and gives a quasisymmetric Frobenius characteristic that is equal to the symmetric Frobenius characteristic. We introduce the concept of quasisymmetric compatibility, which formalizes a link between the two maps, and we show it applies to all $\mathfrak{S}_n$-modules.
A descent basis for the Garsia-Procesi module
Published
• View Publication
• BIB
We assign to each Young diagram $λ$ a subset $\mathcal{B}_{λ'}$ of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module $R_λ$, whose graded character is the Hall-Littlewood polynomial $\tilde{H}_λ[X;t]$. This basis is a major index analogue of the basis $\mathcal{B}_λ\subset R_λ$ defined by certain recursions in due to Garsia and Procesi, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra $R_n$, which in fact corresponds to the case when $λ=1^n$. By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of $\tilde{H}_λ[X;t]$. Despite a similar appearance, it does not appear obvious how to connect these formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at $q=0$.
Motivated exposition of combinatorial Nullstellensatz
Published in Mat. Prosveschenie, 34 (2025) 89--102
• Search Publication
In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations. The note is accessible to mathematicians not specialized in the area, and to students familiar with polynomials.
Canon permutations and generalized descents of standard Young tableaux
Published
• View Publication
• BIB
Canon permutations are permutations of the multiset having $k$ copies of each integer between $1$ and $n$, with the property that the subsequences obtained by taking the $j$th copy of each entry, for each fixed $j$, are all the same. For $k=2$, canon permutations are sometimes called nonnesting permutations, and it is known that the polynomial that enumerates them by the number of descents factors as a product of an Eulerian polynomial and a Narayana polynomial. We extend this result to arbitrary $k$, and we relate the problem to the enumeration of standard Young tableaux of rectangular shape with respect to generalized descent statistics. Our proof is bijective, and it also settles a conjecture of Sulanke about the distribution of certain lattice path statistics.
Stable multivariate Narayana polynomials and labeled plane trees
Published
• View Publication
• BIB
In this paper, we introduce stable multivariate generalizations of Narayana polynomials of type A and type B. We give an insertion algorithm for labeled plane trees and introduce the notion of improper edges. Our polynomials are multivariate generating polynomials of labeled plane trees and can be generated by a grammatical labeling based on a context-free grammar. Our proof of real stability uses a characterization of stable-preserving linear operators due to Borcea and Brändén. In particular, we get an alternative multivariate stable refinement of the second-order Eulerian polynomials, which is different from the one given by Haglund and Visontai.
Highly connected graphs have highly connected spanning bipartite subgraphs
Published in Elect. J. Combin. 31 (2024), P1.67
• View Publication
• BIB
For integers $k,n$ with $1 \le k \le n/2$, let $f(k,n)$ be the smallest integer $t$ such that every $t$-connected $n$-vertex graph has a spanning bipartite $k$-connected subgraph. A conjecture of Thomassen asserts that $f(k,n)$ is upper bounded by some function of $k$. The best upper bound for $f(k,n)$ is by Delcourt and Ferber who proved that $f(k,n) \le 10^{10}k^3 \log n$. Here it is proved that $f(k,n) \le 22k^2 \log n$. For larger $k$, stronger bounds hold. In the linear regime, it is proved that for any $0 < c < \frac{1}{2}$ and all sufficiently large $n$, if $k=\lfloor cn \rfloor$, then $f(k, n) \le 30\sqrt{c} n \le 30\sqrt{n(k+1)}$. In the polynomial regime, it is proved that for any $\frac{1}{3} \le α< 1$ and all sufficiently large $n$, if $k = \lfloor n^α\rfloor$, then $f(k ,n) \le 9n^{(1+α)/2} \le 9\sqrt{n(k+1)}$.
Characterizing the fourth-moment phenomenon of monochromatic subgraph counts via influences
Published
• View Publication
• BIB
We investigate the distribution of monochromatic subgraph counts in random vertex $2$-colorings of large graphs. We give sufficient conditions for the asymptotic normality of these counts and demonstrate their essential necessity (particularly for monochromatic triangles). Our approach refines the fourth-moment theorem to establish new, local influence-based conditions for asymptotic normality; these findings more generally provide insight into fourth-moment phenomena for a broader class of Rademacher and Gaussian polynomials.