polynomial
11432 papers tagged with this keyword
The jump of the clique chromatic number of random graphs
Published in Random Structures and Algorithms, 62 (2023), 1016-1034
• View Publication
• BIB
The clique chromatic number of a graph is the smallest number of colors in a vertex coloring so that no maximal clique is monochromatic. In 2016 McDiarmid, Mitsche and Pralat noted that around p \approx n^{-1/2} the clique chromatic number of the random graph G_{n,p} changes by n^{Ω(1)} when we increase the edge-probability p by n^{o(1)}, but left the details of this surprising phenomenon as an open problem.
We settle this problem, i.e., resolve the nature of this polynomial `jump' of the clique chromatic number of the random graph G_{n,p} around edge-probability p \approx n^{-1/2}. Our proof uses a mix of approximation and concentration arguments, which enables us to (i) go beyond Janson's inequality used in previous work and (ii) determine the clique chromatic number of G_{n,p} up to logarithmic factors for any edge-probability p.
DP color functions versus chromatic polynomials
Published
• View Publication
• BIB
For any graph $G$, the chromatic polynomial of $G$ is the function $P(G,m)$ which counts the number of proper $m$-colorings of $G$ for each positive integer $m$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock in 2019, is a generalization of $P(G,m)$ with $P_{DP}(G,m)\le P(G,m)$ for each positive integer $m$. Let $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G)< P(G)$) denote the property that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for sufficiently large integers $m$.It is an interesting problem of finding graphs $G$ for which $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds. Kaul and Mudrock showed that if $G$ has an even girth, then $P_{DP}(G)<P(G)$ and Mudrock and Thomason recently proved that $P_{DP}(G)\approx P(G)$ holds for each graph $G$ which has a dominating vertex. We shall generalize their results in this article. For each edge $e$ in $G$, let $\ell(e)=\infty$ if $e$ is a bridge of $G$, and let $\ell(e)$ be the length of a shortest cycle in $G$ containing $e$ otherwise. We first show that if $\ell(e)$ is even for some edge $e$ in $G$, then $P_{DP}(G)<P(G)$ holds. However, the converse statement of this conclusion fails with infinitely many counterexamples. We then prove that $P_{DP}(G)\approx P(G)$ holds for every graph $G$ that contains a spanning tree $T$ such that for each $e\in E(G)\setminus E(T)$, $\ell(e)$ is odd and $e$ contained in a cycle $C$ of length $\ell (e)$ with the property that $\ell(e')<\ell(e)$ for each $e'\in E(C)\setminus (E(T)\cup \{e\})$. Some open problems are proposed in this article.
Infinite flags and Schubert polynomials
Published in Forum of Mathematics, Sigma 13 (2025) e36
• View Publication
• BIB
We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.
Tabulation of knots up to five triple-crossings and moves between oriented diagrams
Published
• View Publication
• BIB
We enumerate and show tables of minimal diagrams for all prime knots up to the triple-crossing number equal to five. We derive a minimal generating set of oriented moves connecting triple-crossing diagrams of the same oriented knot. We also present a conjecture about a strict lower bound of the triple-crossing number of a knot related to the breadth of its Alexander polynomial.
$\mathbb{F}_q$-zeros of sparse trivariate polynomials and toric 3-fold codes
Published
• View Publication
• BIB
For a given lattice polytope $P$ in $\mathbb{R}^3$, consider the space $\mathcal{L}_P$ of trivariate polynomials over a finite field $\mathbb{F}_q$, whose Newton polytopes are contained in $P$. We give an upper bound for the maximum number of $\mathbb{F}_q$-zeros of polynomials in $\mathcal{L}_P$ in terms of the Minkowski length of $P$ and $q$, the size of the field. Consequently, this produces lower bounds for the minimum distance of toric codes defined by evaluating elements of $\mathcal{L}_P$ at the points of the algebraic torus $(\mathbb{F}_q^*)^3$. Our approach is based on understanding factorizations of polynomials in $\mathcal{L}_P$ with the largest possible number of non-unit factors. The related combinatorial result that we obtain is a description of Minkowski sums of lattice polytopes contained in $P$ with the largest possible number of non-trivial summands.
Three families of $q$-Lommel polynomials
Three $q$-versions of Lommel polynomials are studied. Included are explicit representations, recurrences, continued fractions, and connections to associated Askey--Wilson polynomials. Combinatorial results are emphasized, including a general theorem when $R_I$ moments coincide with orthogonal polynomial moments. The combinatorial results use weighted Motzkin paths, Schröder paths, and parallelogram polyominoes.
A General Family of $q$-Hypergeometric Polynomials and Associated Generating Functions
Published in Mathematics 9 (11), 1161 (2021)
• View Publication
• BIB
In this paper, we introduce a general family of $q$-hypergeometric polynomials and investigate several $q$-series identities such as an extended generating function and a Srivastava-Agarwal type bilinear generating function for this family of $q$-hypergeometric polynomials. We give a transformational identity involving generating functions for the generalized $q$-hypergeometric polynomials which we have introduced here. We also point out relevant connections of the various $q$-results, which we investigate here, with those in several related earlier works on this subject. We conclude this paper by remarking that it will be a rather trivial and inconsequential exercise to give the so-called $(p,q)$-variations of the $q$-results, which we have investigated here, because the additional parameter $p$ is obviously redundant.
Twisted Linearized Reed-Solomon Codes: A Skew Polynomial Framework
Published
• View Publication
• BIB
We provide an algebraic description for sum-rank metric codes, as quotient space of a skew polynomial ring. This approach generalizes at the same time the skew group algebra setting for rank-metric codes and the polynomial setting for codes in the Hamming metric. This allows to construct twisted linearized Reed-Solomon codes, a new family of maximum sum-rank distance codes extending at the same time Sheekey's twisted Gabidulin codes in the rank metric and twisted Reed-Solomon codes in the Hamming metric. Furthermore, we provide an analogue in the sum-rank metric of Trombetti-Zhou construction, which also provides a family of maximum sum-rank distance codes. As a byproduct, in the extremal case of the Hamming metric, we obtain a new family of additive MDS codes over quadratic fields.
Infinite monochromatic patterns in the integers
Published
• View Publication
• BIB
We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers $\mathbb{N}=C_1\cup\ldots\cup C_r$, there exists an increasing sequence $a<b<c<\ldots$ such that all elements below are monochromatic, that is, they belong to the same $C_i$: $$a,b,c,\ldots, a+b+ab, a+c+ac, b+c+bc,\ldots,a+b+c+ab+ac+bc+abc,\ldots.$$ The proofs use algebra in the space of ultrafilters $β\mathbb{Z}$.
Incidence Monoids: Automorphisms and Complexity
Published
• View Publication
• BIB
The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the incidence monoid with respect to the two sided action of its maximal torus in terms of the zeta polynomial of the poset. In addition, we characterize the finite (connected) posets whose incidence monoids have complexity $\leq 1$. Finally, we determine the covering relations of the adherence order on the incidence monoid of a star poset.
The equivariant inverse Kazhdan-Lusztig polynomials of uniform matroids
Published
• View Publication
• BIB
Motivated by the concepts of the inverse Kazhdan-Lusztig polynomial and the equivariant Kazhdan-Lusztig polynomial, Proudfoot defined the equivariant inverse Kazhdan-Lusztig polynomial for a matroid. In this paper, we show that the equivariant inverse Kazhdan-Lusztig polynomial of a matroid is very useful for determining its equivariant Kazhdan-Lusztig polynomials, and we determine the equivariant inverse Kazhdan-Lusztig polynomials for Boolean matroids and uniform matroids. As an application, we give a new proof of Gedeon, Proudfoot and Young's formula for the equivariant Kazhdan-Lusztig polynomials of uniform matroids. Inspired by Lee, Nasr and Radcliffe's combinatorial interpretation for the ordinary Kazhdan-Lusztig polynomials of uniform matroids, we further present a new formula for the corresponding equivariant Kazhdan-Lusztig polynomials.
On abelian $\ell$-towers of multigraphs II
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. Previously, abelian $\ell$-towers of multigraphs were introduced which are analogous to $\mathbb{Z}_{\ell}$-extensions of number fields. It was shown that for a certain class of towers of bouquets, the growth of the $\ell$-part of the number of spanning trees behaves in a predictable manner (analogous to a well-known theorem of Iwasawa for $\mathbb{Z}_{\ell}$-extensions of number fields). In this paper, we give a generalization to a broader class of regular abelian $\ell$-towers of bouquets than was originally considered. To carry this out, we observe that certain shifted Chebyshev polynomials are members of a continuously parametrized family of power series with coefficients in $\mathbb{Z}_{\ell}$ and then study the special value at $s=1$ of the Artin-Ihara $L$-function $\ell$-adically.
Euler obstructions for the Lagrangian Grassmannian
Published
• View Publication
• BIB
We prove a case of a positivity conjecture of Mihalcea-Singh, concerned with the local Euler obstructions associated to the Schubert stratification of the Lagrangian Grassmannian LG(n,2n). Combined with work of Aluffi-Mihalcea-Schürmann-Su, this further implies the positivity of the Mather classes for Schubert varieties in LG(n,2n), which Mihalcea-Singh had verified for the other cominuscule spaces of classical Lie type. Building on the work of Boe and Fu, we give a positive recursion for the local Euler obstructions, and use it to show that they provide a positive count of admissible labelings of certain trees, analogous to the ones describing Kazhdan-Lusztig polynomials. Unlike in the case of the Grassmannians in types A and D, for LG(n,2n) the Euler obstructions e_{y,w} may vanish for certain pairs (y,w) with y <= w in the Bruhat order. Our combinatorial description allows us to classify all the pairs (y,w) for which e_{y,w}=0. Restricting to the big opposite cell in LG(n,2n), which is naturally identified with the space of n x n symmetric matrices, we recover the formulas for the local Euler obstructions associated with the matrix rank stratification.
Polynomial upper bounds on the number of differing columns of $Δ$-modular integer programs
Published
• View Publication
• BIB
We study integer-valued matrices with bounded determinants. Such matrices appear in the theory of integer programs (IP) with bounded determinants. For example, Artmann et al. showed that an IP can be solved in strongly polynomial time if the constraint matrix is bimodular, that is, the determinants are bounded in absolute value by two. Determinants are also used to bound the $\ell_1$-distance between IP solutions and solutions of its linear relaxation. One of the first works to quantify the complexity of IPs with bounded determinants was that of Heller, who identified the maximum number of differing columns in a totally unimodular matrix. Each extension of Heller's bound to general determinants has been super-polynomial in the determinants or the number of equations. We provide the first column bound that is polynomial in both values. For integer programs with box constraints, our result gives the first $\ell_1$-distance bound that is polynomial in the determinants and the number of equations. Our result can also be used to derive a bound on the height of Graver basis elements that is polynomial in the determinants and the number of equations. Furthermore, we show a tight bound on the number of differing columns in a bimodular matrix; this is the first tight bound since Heller. Our analysis reveals combinatorial properties of bimodular IPs that may be of independent interest.
An algebra over the operad of posets and structural binomial identities
Published in Bol. Soc. Mat. Mex. 29, 8 (2023)
• View Publication
• BIB
We study generating functions of strict and non-strict order polynomials of series-parallel posets, called order series. These order series are closely related to Ehrhart series and h*-polynomials of the associated order polytopes. We explain how they can be understood as algebras over a certain operad of posets. Our main results are based on the fact that the order series of chains form a basis in the space of order series. This allows to reduce the search space of an algorithm that finds for a given power series f, if possible, a poset P such that f is the generating function of the order polynomial of P. In terms of Ehrhart theory of order polytopes, the coordinates with respect to this basis describe the number of (internal) simplices in the canonical triangulation of the order polytope of P. Furthermore, we derive a new proof of the reciprocity theorem of Stanley. As an application, we find new identities for binomial coefficients and for finite partitions that allow for empty sets, and we describe properties of the negative hypergeometric distribution.
Evaluations of Tutte polynomials of regular graphs
Published
• View Publication
• BIB
Let $T_G(x,y)$ be the Tutte polynomial of a graph $G$. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs with girth $g(G_n)\to \infty$, then for $x\geq 1$ and $0\leq y\leq 1$ we have $$\lim_{n\to \infty}T_{G_n}(x,y)^{1/v(G_n)}=t_d(x,y),$$ where $$t_d(x,y)=\left\{\begin{array}{lc} (d-1)\left(\frac{(d-1)^2}{(d-1)^2-x}\right)^{d/2-1}&\ \ \mbox{if}\ x\leq d-1,\\ x\left(1+\frac{1}{x-1}\right)^{d/2-1} &\ \ \mbox{if}\ x> d-1. \end{array}\right.$$ independently of $y$ if $0\leq y\leq 1$. If $(G_n)_n$ is a sequence of random $d$-regular graphs, then the same statement holds true asymptotically almost surely.
This theorem generalizes results of McKay ($x=1,y=1$, spanning trees of random $d$-regular graphs) and Lyons ($x=1,y=1$, spanning trees of large-girth $d$-regular graphs). Interesting special cases are $T_G(2,1)$ counting the number of spanning forests, $T_G(2,0)$ counting the number of acyclic orientations.
Finding solutions with distinct variables to systems of linear equations over $\mathbb{F}_p$
Published
• View Publication
• BIB
Let us fix a prime $p$ and a homogeneous system of $m$ linear equations $a_{j,1}x_1+\dots+a_{j,k}x_k=0$ for $j=1,\dots,m$ with coefficients $a_{j,i}\in\mathbb{F}_p$. Suppose that $k\geq 3m$, that $a_{j,1}+\dots+a_{j,k}=0$ for $j=1,\dots,m$ and that every $m\times m$ minor of the $m\times k$ matrix $(a_{j,i})_{j,i}$ is non-singular. Then we prove that for any (large) $n$, any subset $A\subseteq\mathbb{F}_p^n$ of size $|A|> C\cdot Γ^n$ contains a solution $(x_1,\dots,x_k)\in A^k$ to the given system of equations such that the vectors $x_1,\dots,x_k\in A$ are all distinct. Here, $C$ and $Γ$ are constants only depending on $p$, $m$ and $k$ such that $Γ<p$.
The crucial point here is the condition for the vectors $x_1,\dots,x_k$ in the solution $(x_1,\dots,x_k)\in A^k$ to be distinct. If we relax this condition and only demand that $x_1,\dots,x_k$ are not all equal, then the statement would follow easily from Tao's slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments.
Principal specialization of dual characters of flagged Weyl modules
Schur polynomials are special cases of Schubert polynomials, which in turn are special cases of dual characters of flagged Weyl modules. The principal specialization of Schur and Schubert polynomials has a long history, with Macdonald famously expressing the principal specialization of any Schubert polynomial in terms of reduced words. We study the principal specialization of dual characters of flagged Weyl~modules. Our result yields an alternative proof of a conjecture of Stanley about the principal specialization of Schubert polynomials, originally proved by Weigandt.
On discrete gradient vector fields and Laplacians of simplicial complexes
Published
• View Publication
• BIB
Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.
Total positivity of some polynomial matrices that enumerate labeled trees and forests, I. Forests of rooted labeled trees
Published in Monatsh. Math. 200, 389--452 (2023)
• View Publication
• BIB
We consider the lower-triangular matrix of generating polynomials that enumerate $k$-component forests of rooted trees on the vertex set $[n]$ according to the number of improper edges (generalizations of the Ramanujan polynomials). We show that this matrix is coefficientwise totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. More generally, we define the generic rooted-forest polynomials by introducing also a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $φ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.