polynomial
11250 papers tagged with this keyword
Central limit theorems and the geometry of polynomials
Published
• View Publication
• BIB
Let $X \in \{0,\ldots,n \}$ be a random variable, with mean $μ$ and standard deviation $σ$ and let \[f_X(z) = \sum_{k} \mathbb{P}(X = k) z^k, \] be its probability generating function. Pemantle conjectured that if $σ$ is large and $f_X$ has no roots close to $1\in \mathbb{C}$ then $X$ must be approximately normal. We completely resolve this conjecture in the following strong quantitative form, obtaining sharp bounds. If $δ= \min_ζ|ζ-1|$ over the complex roots $ζ$ of $f_X$, and $X^{\ast} := (X-μ)/σ$, then \[ \sup_{t \in \mathbb{R}} \left|\mathbb{P}(X^{\ast} \leq t) - \mathbb{P}( Z \leq t) \, \right| = O\left(\frac{\log n}{δσ} \right) \] where $Z \sim \mathcal{N}(0,1)$ is a standard normal. This gives the best possible version of a result of Lebowitz, Pittel, Ruelle and Speer. We also show that if $f_X$ has no roots with small argument, then $X$ must be approximately normal, again in a sharp quantitative form: if we set $δ= \min_ζ|\arg(ζ)|$ then \[ \sup_{t \in \mathbb{R}} \left|\mathbb{P}(X^{\ast} \leq t) - \mathbb{P}( Z \leq t) \, \right| = O\left(\frac{1}{δσ} \right). \] Using this result, we answer a question of Ghosh, Liggett and Pemantle by proving a sharp multivariate central limit theorem for random variables with real-stable probability generating functions.
Decomposable polymatroids and connections with graph coloring
Published in European Journal of Combinatorics, 2020
• View Publication
• BIB
We introduce ideas that complement the many known connections between polymatroids and graph coloring. Given a hypergraph that satisfies certain conditions, we construct polymatroids, given as rank functions, that can be written as sums of rank functions of matroids, and for which the minimum number of matroids required in such sums is the chromatic number of the line graph of the hypergraph. This result motivates introducing chromatic numbers and chromatic polynomials for polymatroids. We show that the chromatic polynomial of any 2-polymatroid is a rational multiple of the chromatic polynomial of some graph. We also find the excluded minors for the minor-closed class of polymatroids that can be written as sums of rank functions of matroids that form a chain of quotients.
Chromatic symmetric function of graphs from Borcherds algebras
Published
• View Publication
• BIB
Let $\mathfrak g$ be a Borcherds algebra with the associated graph $G$. We prove that the chromatic symmetric function of $G$ can be recovered from the Weyl denominator identity of $\mathfrak g$ and this gives a Lie theoretic proof of Stanley's expression for chromatic symmetric function in terms of power sum symmetric function. Also, this gives an expression for chromatic symmetric function of $G$ in terms of root multiplicities of $\lie g$. The absolute value of the linear coefficient of the chromatic polynomial of $G$ is known as the chromatic discriminant of $G$. As an application of our main theorem, we prove that graphs with different chromatic discriminants are distinguished by their chromatic symmetric functions. Also, we find a connection between the Weyl denominators and the $G$-elementary symmetric functions. Using this connection, we give a Lie theoretic proof of non-negativity of coefficients of $G$-power sum symmetric functions.
Flag complexes and homology
Published
• View Publication
• BIB
We prove several relations on the $f$-vectors and Betti numbers of flag complexes. For every flag complex $Δ$, we show that there exists a balanced complex with the same $f$-vector as $Δ$, and whose top-dimensional Betti number is at least that of $Δ$, thereby extending a theorem of Frohmader by additionally taking homology into consideration. We obtain upper bounds on the top-dimensional Betti number of $Δ$ in terms of its face numbers. We also give a quantitative refinement of a theorem of Meshulam by establishing lower bounds on the $f$-vector of $Δ$, in terms of the top-dimensional Betti number of $Δ$. This result has a continuous analog: If $Δ$ is a $(d-1)$-dimensional flag complex whose $(d-1)$-th reduced homology group has dimension $a\geq 0$ (over some field), then the $f$-polynomial of $Δ$ satisfies the coefficient-wise inequality $f_Δ(x) \geq (1 + (\sqrt[d]{a}+1)x)^d$.
A Pieri rule for Demazure characters of the general linear group
Published
• View Publication
• BIB
The Pieri rule is a nonnegative, multiplicity-free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation-free, multiplicity-free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson--Schensted--Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.
Masur-Veech volumes, frequencies of simple closed geodesics and intersection numbers of moduli spaces of curves
We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space of meromorphic quadratic differential with simple poles as polynomials in the intersection numbers of psi-classes supported on the boundary cycles of the Deligne-Mumford compactification of the moduli space of curves. Our formulae are derived from lattice point count involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli space of bordered hyperbolic Riemann surfaces.
A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani through completely different approach. We prove further result: up to an explicit normalization factor depending only on the genus and on the number of cusps, the density of the orbit of any simple closed multicurve computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to the simple closed multicurve.
We study the resulting densities in more detail in the special case when there are no cusps. In particular, we compute explicitly the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus g for all small genera g and we show that in large genera the separating closed geodesics are exponentially less frequent.
We conclude with detailed conjectural description of combinatorial geometry of a random simple closed multicurve on a surface of large genus and of a random square-tiled surface of large genus. This description is conditional to the conjectural asymptotic formula for the Masur-Veech volume in large genera and to the conjectural uniform asymptotic formula for certain sums of intersection numbers of psi-classes in large genera.
Real polynomials with constrained real divisors. I. Fundamental groups
Published
• View Publication
• BIB
In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.
Schröder Coloring and Applications
Published in J. Integer Seq. 24 (2021), no. 1, Article 21.1.3
• Search Publication
We present several bijections, in terms of combinatorial objects counted by the Schröder numbers, that are then used (via coloring) for the construction and enumeration of rational Schröder paths with integer slope, ordered rooted trees, and simple rooted outerplanar maps. On the other hand, we derive partial Bell polynomial identities for the little and large Schröder numbers, which allow us to obtain explicit enumeration formulas.
Decoding Downset codes over a finite grid
Published
• View Publication
• BIB
In a recent paper, Kim and Kopparty (Theory of Computing, 2017) gave a deterministic algorithm for the unique decoding problem for polynomials of bounded total degree over a general grid. We show that their algorithm can be adapted to solve the unique decoding problem for the general family of Downset codes. Here, a downset code is specified by a family D of monomials closed under taking factors: the corresponding code is the space of evaluations of all polynomials that can be written as linear combinations of monomials from D.
Colored five-vertex models and Lascoux polynomials and atoms
Published
• View Publication
• BIB
We construct an integrable colored five-vertex model whose partition function is a Lascoux atom based on the five-vertex model of Motegi and Sakai [arXiv:1305.3030] and the colored five-vertex model of Brubaker, the first author, Bump, and Gustafsson [arXiv:1902.01795]. We then modify this model in two different ways to construct a Lascoux polynomial, yielding the first known combinatorial interpretation of a Lascoux polynomial and atom. Using this, we prove a conjectured combinatorial interpretation in terms of set-valued tableaux of a Lascoux polynomial and atom due to Pechenik and the second author [arXiv:1904.09674]. We also prove the combinatorial interpretation of the Lascoux atom using set-valued skyline tableaux of Monical [arXiv:1611.08777].
Chromatic nonsymmetric polynomials of Dyck graphs are slide-positive
Published
• View Publication
• BIB
Motivated by the study of Macdonald polynomials, J. Haglund and A. Wilson introduced a nonsymmetric polynomial analogue of the chromatic quasisymmetric function called the \emph{chromatic nonsymmetric polynomial} of a Dyck graph. We give a positive expansion for this polynomial in the basis of fundamental slide polynomials using recent work of Assaf-Bergeron on flagged $(P,ρ)$-partitions. We then derive the known expansion for the chromatic quasisymmetric function of Dyck graphs in terms of Gessel's fundamental basis by taking a backstable limit of our expansion.
Safe sets in digraphs
Published
• View Publication
• BIB
A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize}
\item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there exists an arc from $M$ to $N$; and \item[(ii)] for every strongly connected component $M$ of $D-S$ and every strongly connected component $N$ of $D[S]$, we have $|M|\leq |N|$ whenever there exists an arc from $M$ to $N$. \end{itemize} In the case of acyclic digraphs a set $X$ of vertices is a safe set precisely when $X$ is an {\it in-dominating set}, that is, every vertex not in $X$ has at least one arc to $X$. We prove that, even for acyclic digraphs which are traceable (have a hamiltonian path) it is NP-hard to find a minimum cardinality in-dominating set. Then we show that the problem is also NP-hard for tournaments and give, for every positive constant $c$, a polynomial algorithm for finding a minimum cardinality safe set in a tournament on $n$ vertices in which no strong component has size more than $c\log{}(n)$. Under the so called Exponential Time Hypothesis (ETH) this is close to best possible in the following sense: If ETH holds, then, for every $ε>0$ there is no polynomial time algorithm for finding a minimum cardinality safe set for the class of tournaments in which the largest strong component has size at most $\log^{1+ε}(n)$.
We also discuss bounds on the cardinality of safe sets in tournaments.
Fast multi-precision computation of some Euler products
Published
• View Publication
• BIB
For every modulus $q\ge3$, we define a family of subsets $\mathcal{A}$ of the multiplicative group $(\mathbb{Z}/{q}\mathbb{Z})^\times$ for which the Euler product $\prod_{p\text{mod}q\in\mathcal{A}}(1-p^{-s})$ can be computed in double exponential time, where $s>1$ is some given real number. We provide a Sage script to do so, and extend our result to compute Euler products $\prod_{p\in\mathcal{A}}F(1/p)/G(1/p)$ where $F$ and $G$ are polynomials with real coefficients, when this product converges absolutely. This enables us to give precise values of several Euler products intervening in Number Theory.
An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences
Published
• View Publication
• BIB
As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in polynomial time, at the expense of possibly producing an erroneous output on some "yes" instances but with very low error rate.
A New Formula of q-Fubini Numbers via Goncharov polynomials
Connected the generalized Goncharov polynomials associated to a pair ($\partial,\mathcal{Z}$) if a delta operator $\partial$ and an interpolation grid $\mathcal{Z}$, introduced by Lorentz, Tringali and Yan in [7], with the theory of binomial enumeration and order statistics, a new $q$-deformed of these polynomials given in this paper allows us to derive a new combinatorial formula of $q$-Fubini numbers. A combinatorial proof and some nice algebraic and analytic properties have been expanded to the $q$-deformed version.
Tropical geometry
Published
• View Publication
• BIB
Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.
A finitary structure theorem for vertex-transitive graphs of polynomial growth
Published
• View Publication
• BIB
We prove a quantitative, finitary version of Trofimov's result that a connected, locally finite vertex-transitive graph G of polynomial growth admits a quotient with finite fibres on which the action of Aut(G) is virtually nilpotent with finite vertex stabilisers. We also present some applications. We show that a finite, connected vertex-transitive graph G of large diameter admits a quotient with fibres of small diameter on which the action of Aut(G) is virtually abelian with vertex stabilisers of bounded size. We also show that G has moderate growth in the sense of Diaconis and Saloff-Coste, which is known to imply that the mixing and relaxation times of the lazy random walk on G are quadratic in the diameter. These results extend results of Breuillard and the second author for finite Cayley graphs of large diameter. Finally, given a connected, locally finite vertex-transitive graph G exhibiting polynomial growth at a single, sufficiently large scale, we describe its growth at subsequent scales, extending a result of Tao and an earlier result of our own for Cayley graphs. In forthcoming work we will give further applications.
Lower bounds in the polynomial Szemerédi theorem
We construct large subsets of the first $N$ positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order $N^{0.7685}$ lacking the configuration $\{x,x+y,x+y^2\},$ surpassing the $N^{3/4}$ limit of Ruzsa's construction for sets lacking a square difference. We also extend Ruzsa's construction to sets lacking polynomial differences for a wide class of univariate polynomials. Finally, we turn to multivariate differences, constructing a set of order $N^{1/2}$ lacking a difference equal to a sum of two squares. This is in contrast to the analogous problem of sets lacking a difference equal to a prime minus one, where the current record is of order $N^{o(1)}.$
Singer difference sets and the projective norm graph
We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset $\mathcal{H}$ of $\mathcal{N}$, the group of elements of norm 1 in the field extension $\mathbb{F}_{q^3}/\mathbb{F}_q$. $\mathcal{H}$ is given as the solution set of a simple polynomial equation, and we obtain an explicit formula expressing each non-identity element of $\mathcal{N}$ as a product $B\cdot C^{-1}$ with $B, C\in \mathcal{H}$. The description and the definitions naturally carry over to the nonplanar and the infinite setting. On the other hand, relying heavily on the difference set properties, we also complete the proof that the projective norm graph $\text{NG}(q,4)$ does contain the complete bipartite graph $K_{4,6}$ for every prime power $q \geq 5$. This complements the property, known for more than two decades, that projective norm graphs do not contain $K_{4,7}$ (and hence provide tight lower bounds for the Turán number $ex(n,K_{4,7})$).
How many ways to color the map of America?
Although the Four Color Conjecture originated in cartography, surprisingly, there is nothing in the literature on the number of ways to color an actual geographic map with four or fewer colors. In this paper, we compute these numbers, with exponentially increasing order of difficulty, for the maps of Canada, France, and the USA. Our attempts to compute the latter two lead to some new results on the chromatic polynomial of graphs.