polynomial
11184 papers tagged with this keyword
$q$-deformed Gaussian unitary ensemble: spectral moments and genus-type expansions
The eigenvalue probability density function of the Gaussian unitary ensemble permits a $q$-extension related to the discrete $q$-Hermite weight and corresponding $q$-orthogonal polynomials. A combinatorial counting method is used to specify a positive sum formula for the spectral moments of this model. The leading two terms of the scaled $1/N^2$ genus-type expansion of the moments are evaluated explicitly in terms of the incomplete beta function. Knowledge of these functional forms allows for the smoothed leading eigenvalue density and its first correction to be determined analytically.
Generalization of Spivey's recurrence relation
In 2008, Spivey found a recurrence relation for the Bell numbers. We consider the probabilistic r-Bell polynomials associated with which are a probabilistic extension of the r-Bell polynomials. Here Y is a random variable whose moment generating function exists in some neighborhood of the origin . The aim of this paper is to generalize the relation for the Bell numbers to that for the probabilistic r-Bell polynomials associated with Y.
Refined canonical stable Grothendieck polynomials and their duals, Part 2
This paper is the sequel of the paper under the same title with part 1, where we introduced refined canonical stable Grothendieck polynomials and their duals with two families of infinite parameters. In this paper we give combinatorial interpretations for these polynomials using generalizations of set-valued tableaux and reverse plane partitions, respectively. Our results extend to their flagged and skew versions.
Division properties of commuting polynomials
Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic particularity of the commuting polynomials coming from weighted sums for cycle graphs with pendant edges (arXiv:2402.07209v1.).
On off-diagonal hypergraph Ramsey numbers
A fundamental problem in Ramsey theory is to determine the growth rate in terms of $n$ of the Ramsey number $r(H, K_n^{(3)})$ of a fixed $3$-uniform hypergraph $H$ versus the complete $3$-uniform hypergraph with $n$ vertices. We study this problem, proving two main results. First, we show that for a broad class of $H$, including links of odd cycles and tight cycles of length not divisible by three, $r(H, K_n^{(3)}) \ge 2^{Ω_H(n \log n)}$. This significantly generalizes and simplifies an earlier construction of Fox and He which handled the case of links of odd cycles and is sharp both in this case and for all but finitely many tight cycles of length not divisible by three. Second, disproving a folklore conjecture in the area, we show that there exists a linear hypergraph $H$ for which $r(H, K_n^{(3)})$ is superpolynomial in $n$. This provides the first example of a separation between $r(H,K_n^{(3)})$ and $r(H,K_{n,n,n}^{(3)})$, since the latter is known to be polynomial in $n$ when $H$ is linear.
Growth of regular partitions 3: strong regularity and the vertex partition
We consider here the strong regularity for $3$-uniform hypergraphs developed by Frankl, Gowers, Kohayakawa, Nagle, Rödl, Skokan, and Schacht. This type of regular decomposition comes with two components, a partition of the vertices, and a partition of the pairs of vertices. The data of a regular decomposition also includes two parameters measuring quasirandomness, a fixed constant $ε_1>0$, and a function $ε_2:\mathbb{N}\rightarrow (0,1]$. We define two growth functions associated to a hereditary property $\mathcal{H}$ of $3$-uniform hypergraphs: $T_{\mathcal{H}}(ε_1,ε_2)$ which measures the size of the vertex component, and $L_{\mathcal{H}}(ε,ε_2)$ which measures the size of the pairs component. We introduce the following question. What are the possible asymptotic growth rates of functions of the form $T_{\mathcal{H}}$ and $L_{\mathcal{H}}$? In this paper, we consider this question for $T_{\mathcal{H}}$, proving a separation into four classes: constant, polynomial, exponential, or at least wowzer. The separations among the constant, polynomial and exponential ranges require only slow growing (namely polynomial) choices for $ε_2$. The jump to the wowzer range uses a very fast growing $ε_2$ and makes crucial use of a lower bound construction for strong graph regularity due to Conlon and Fox.
Growth of regular partitions 4: strong regularity and the pairs partition
This paper studies bounds in a strong form of regularity for $3$-uniform hypergraphs which was developed by Frankl, Gowers, Kohayakawa, Nagle, Rödl, Skokan, and Schacht. Regular decompositions of this type involve two structural components: a partition on the vertex set and a partition on the pairs of vertices. The regularity of such decompositions are measured by two parameters: an $ε_1>0$ and a function $ε_2:\mathbb{N}\rightarrow (0,1]$. To each hereditary property $\mathcal{H}$ of $3$-uniform hypergraphs, we associate two corresponding growth functions: $T_{\mathcal{H}}(ε_1,ε_2)$ for the size of the vertex component, and $L_{\mathcal{H}}(ε_1,ε_2)$ for the size of the pairs component. The problem of understanding the asymptotic growth of such functions was introduced in a companion paper, which also proved several results about $T_{\mathcal{H}}$. In this paper we study the possible asymptotic behavior of $L_{\mathcal{H}}$. We show any such function is either constant, bounded above and below by a polynomial, or bounded below by an exponential. All results require only reasonable growth rates for $ε_2$ (namely polynomial).
On a Conjecture Concerning the Roots of Ehrhart Polynomials of Symmetric Edge Polytopes from Complete Multipartite Graphs
In [7], Higashitani, Kummer, and Michałek pose a conjecture about the symmetric edge polytopes of complete multipartite graphs and confirm it for a number of families in the bipartite case. We confirm that conjecture for a number of new classes following the authors' methods and we present a more general result which suggests that the methods in their current form might not be enough to prove the conjecture in full generality.
Marton's Conjecture in abelian groups with bounded torsion
We prove a Freiman--Ruzsa-type theorem with polynomial bounds in arbitrary abelian groups with bounded torsion, thereby proving (in full generality) a conjecture of Marton. Specifically, let $G$ be an abelian group of torsion $m$ (meaning $mg=0$ for all $g \in G$) and suppose that $A$ is a non-empty subset of $G$ with $|A+A| \leq K|A|$. Then $A$ can be covered by at most $(2K)^{O(m^3)}$ translates of a subgroup of $H \leq G$ of cardinality at most $|A|$. The argument is a variant of that used in the case $G = \mathbf{F}_2^n$ in a recent paper of the authors.
Growth of regular partitions 2: Weak regularity
This is Part 2 in a series of papers about the growth of regular partitions in hereditary properties $3$-uniform hypergraphs. The focus of this paper is the notion of weak hypergraph regularity, first developed by Chung, Chung-Graham, and Haviland-Thomason. Given a hereditary property of $3$-uniform hypergraphs $\mathcal{H}$, we define a function $M_{\mathcal{H}}:(0,1)\rightarrow \mathbb{N}$ by letting $M_{\mathcal{H}}(ε)$ be the smallest integer $M$ such that all sufficiently large elements of $\mathcal{H}$ admit weak regular partitions of size at most $M$. We show the asymptotic growth rate of such a function falls into one of four categories: constant, polynomial, between single and double exponentials, or tower. These results are a crucial component in Part 3 of the series, which considers vertex partitions associated to a stronger notion of hypergraph regularity.
Tutte polynomials in superspace
We associate a quotient of superspace to any hyperplane arrangement by considering the differential closure of an ideal generated by powers of certain homogeneous linear forms. This quotient is a superspace analogue of the external zonotopal algebra, and it further contains the central zonotopal algebra in the appropriate grading. We show that an evaluation of the bivariate Tutte polynomial is the bigraded Hilbert series of this quotient. We then use this fact to construct an explicit basis for the Macaulay inverse. These results generalize those of Ardila-Postnikov and Holtz-Ron. We also discuss enumerative consequences of our results in the setting of hyperplane arrangements.
Mahonian-Stirling statistics for partial permutations
Recently Cheng et al. (Adv. in Appl. Math. 143 (2023) 102451) generalized the inversion number to partial permutations, which are also known as Laguerre digraphs, and asked for a suitable analogue of MacMahon's major index. We provide such a major index, namely, the corresponding maj and inv statistics are equidistributed, and exhibit a Haglund-Remmel-Wilson type identity. We then interpret some Jacobi-Rogers polynomials in terms of Laguerre digraphs generalizing Deb and Sokal's alternating Laguerre digraph interpretation of some special Jacobi-Rogers polynomials.
Polynomial Bogolyubov for special linear groups via tensor rank
We prove a polynomial Bogolyubov type lemma for the special linear group over finite fields. Specifically, we show that there exists an absolute constant $C>0,$ such that if $A$ is a density $α$ subset of the special linear group, then the set $AA^{-1}AA^{-1}$ contains a subgroup $H$ of density $α^C$. Moreover, this subgroup is isomorphic to a special linear group of a smaller rank. We also show that if $A$ is an approximate subgroups then it can be covered by the union of few cosets of $H$. Our proof makes use of the Gurevich--Howe notion of tensor rank, and of a strengthened Bonami type Lemma for global functions on the bilinear scheme. We also present applications to spectral bounds for global convolution operators, global product free sets, and covering numbers corresponding to global sets.
Some geometric consequences of the symmetric reduction
In this article, we derived some consequences to the symmetrization process developed in \cite{Deng23}. This consists a geometric derivation of part of the properties which uniquely determines the Kazhdan-Lusztig polynomials of type $A_n$ as well as an interpretations of the last property by the decomposition theorem of \cite{BBD}. Finally, the relation of geometry of graded nilpotent classes to Parabolic Kazhdan-Lusztig polynomials is discussed for the purpose of later applications to Zelevinsky's derivatives.
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
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
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.