polynomial
11257 papers tagged with this keyword
An algebraic proof of determinant formulas of Grothendieck polynomials
Published
• View Publication
• BIB
We give an algebraic proof of the determinant formulas for factorial Grothendieck polynomials obtained by Hudson--Ikeda--Matsumura--Naruse and by Hudson--Matsumura.
Actions of trees on semigroups, and an infinitary Gowers--Hales--Jewett Ramsey theorem
Published
• View Publication
• BIB
We introduce the notion of (Ramsey) action of a tree on a (filtered) semigroup. We then prove in this setting a general result providing a common generalization of the infinitary Gowers Ramsey theorem for multiple tetris operations, the infinitary Hales--Jewett theorems (for both located and nonlocated words), and the Farah--Hindman--McLeod Ramsey theorem for layered actions on partial semigroups. We also establish a polynomial version of our main result, recovering the polynomial Milliken--Taylor theorem of Bergelson--Hindman--Williams as a particular case. We present applications of our Ramsey-theoretic results to the structure of delta sets in amenable groups.
Carlitz Rank and Index of Permutation Polynomials
Carlitz rank and index are two important measures for the complexity of a permutation polynomial $f(x)$ over the finite field $\F_q$. In particular, for cryptographic applications we need both, a high Carlitz rank and a high index. In this article we study the relationship between Carlitz rank $Crk(f)$ and index $Ind(f)$. More precisely, if the permutation polynomial is neither close to a polynomial of the form $ax$ nor a rational function of the form $ax^{-1}$, then we show that $Crk(f)>q- \max\{3 Ind(f),(3q)^{1/2}\}$. Moreover we show that the permutation polynomial which represents the discrete logarithm guarantees both a large index and a large Carlitz rank.
Spectrahedrality of hyperbolicity cones of multivariate matching polynomials
Published
• View Publication
• BIB
The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further extended (albeit in a weaker sense) to a multivariate version of the independence polynomial for simplicial graphs. As an application we give a new proof of the conjecture for elementary symmetric polynomials (originally due to Brändén). Finally we consider a hyperbolic convolution of determinant polynomials generalizing an identity of Godsil and Gutman.
Flag Descents and Eulerian Polynomials for Wreath Product Quotients
We investigate the $α$-colored Eulerian polynomials and a notion of descents introduced in a recent paper of Hedmark and show that such polynomials can be computed as a polynomial encoding descents computed over a quotient of the wreath product $\mathbb{Z}_α\wr\mathfrak{S}_n$. Moreover, we consider the flag descent statistic computed over this same quotient and find that the flag Eulerian polynomial remains palindromic. We prove that the flag descent polynomial is palindromic over this same quotient by giving a combinatorial proof that the flag descent statistic is symmetrically distributed over the collection of colored permutations with fixed last color by way of a new combinatorial tool, the colored winding number of a colored permutation. We conclude with some conjectures, observations, and open questions.
Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts
Published
• View Publication
• BIB
Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear functional recurrences, to generate the generating functions, according to size, of the set of such partitions. By computing these polynomials for n=1,...21, we are able to rigorously derive explicit expressions for the expectation, variance, and third through seventh moments of the random variable "size of a (2n+1, 2n+3)-core partition with distinct parts." In particular, we find that this random variable is not asymptotically normal as n goes to infinity.
Some elementary observations on Narayana polynomials and related topics
We give an elementary account of generalized Fibonacci and Lucas polynomials whose moments are Narayana polynomials of type A and type B.
Some elementary observations on Narayana polynomials and related topics II: q-Narayana polynomials
We show that q-Catalan numbers, q- central binomial coefficients and q- Narayana polynomials are moments of q-analogues of Fibonacci and Lucas polynomials and related polynomials.
A Formula about W-operator and Its Application to Hurwitz Number
Published in Discrete Mathematics, 342(3), 715-722. Volume 342, Issue 3, March 2019, Pages 715-722
• View Publication
• BIB
W-operators are differential operators on the polynomial ring. Mironov, Morosov and Natanzon construct the generalized Hurwitz numbers. They use the W-operator to prove a formula for the generating function of the generalized Hurwitz numbers. A special example of the W-operator is the cut-and-join operator. Goulden and Jackson use the cut-and-join operator to calculate the simple Hurwitz number. In this paper, we study the relation between W-operator W([d]) and the central elements in Sn. Based on the relation we find, we give another proof about a differential equation of the generating function of d-Hurwitz number.
Combinatorial Identities for Generalized Stirling Numbers Expanding $f$-Factorial Functions and the $f$-Harmonic Numbers
We introduce a class of $f(t)$-factorials, or $f(t)$-Pochhammer symbols, that includes many, if not most, well-known factorial and multiple factorial function variants as special cases. We consider the combinatorial properties of the corresponding generalized classes of Stirling numbers of the first kind which arise as the coefficients of the symbolic polynomial expansions of these $f$-factorial functions. The combinatorial properties of these more general parameterized Stirling number triangles we prove within the article include analogs to known expansions of the ordinary Stirling numbers by $p$-order harmonic number sequences through the definition of a corresponding class of $p$-order $f$-harmonic numbers.
Rational Catalan polynomials and rank words
For $m,n$ coprime we introduce a new statistic skip on $(m,n)$-rational Dyck paths and give a fast way to compute dinv and skip statistics. We also introduce $(m,n)$-rank words, which are in one-to-one correspondence with $(m,n)$-Dyck paths. Defining an equivalence relation on pairs of certain ranks in a rank word, we prove that the number of equivalence classes is the skips of the rank word, and the skips of the corresponding Dyck path. We construct a homogeneous generating function $W_{m,n}(q,t,b)$ using statistics area, dinv and skip, where $W_{m,n}(q,t,1)=C_{m,n}(q,t)$, the rational Catalan polynomial. We then give an explicit formula for $(3,n)$-rational Catalan polynomials and prove they are $q,t$-symmetric.
Macdonald symmetry at $q=1$ and a new class of inv-preserving bijections on words
We give a direct combinatorial proof of the $q,t$-symmetry relation $\tilde H_μ(X;q,t)=\tilde H_{μ'}(X;t,q)$ in the Macdonald polynomials $\tilde H_μ$ at the specialization $q=1$. The bijection demonstrates that the Macdonald inv statistic on the permutations of any given row of a Young diagram filling is Mahonian. Moreover, our bijection gives rise a family of new bijections on words that preserves the classical Mahonian inv statistic.
Properties of chromatic polynomials of hypergraphs not held for chromatic polynomials of graphs
Published
• View Publication
• BIB
In this paper, we present some properties on chromatic polynomials of hypergraphs which do not hold for chromatic polynomials of graphs. We first show that chromatic polynomials of hypergraphs have all integers as their zeros and contain dense real zeros in the set of real numbers. We then prove that for any multigraph $G=(V,E)$, the number of totally cyclic orientations of $G$ is equal to the value of $|P(H,-1)|$, where $P(H,λ)$ is the chromatic polynomial of a hypergraph $H$ which is constructed from $G$. Finally we show that the multiplicity of root "$0$" of $P(H,λ)$ may be at least $2$ for some connected hypergraphs $H$, and the multiplicity of root "$1$" of $P(H,λ)$ may be $1$ for some connected and separable hypergraphs $H$ and may be $2$ for some connected and non-separable hypergraphs $H$.
Real Stable Polynomials and Matroids: Optimization and Counting
Published
• View Publication
• BIB
A great variety of fundamental optimization and counting problems arising in computer science, mathematics and physics can be reduced to one of the following computational tasks involving polynomials and set systems: given an $m$-variate real polynomial $g$ and a family of subsets $B$ of $[m]$, (1) find $S\in B$ such that the monomial in $g$ corresponding to $S$ has the largest coefficient in $g$, or (2) compute the sum of coefficients of monomials in $g$ corresponding to all the sets in $B$. Special cases of these problems, such as computing permanents, sampling from DPPs and maximizing subdeterminants have been topics of recent interest in theoretical computer science.
In this paper we present a general convex programming framework geared to solve both of these problems. We show that roughly, when $g$ is a real stable polynomial with non-negative coefficients and $B$ is a matroid, the integrality gap of our relaxation is finite and depends only on $m$ (and not on the coefficients of g).
Prior to our work, such results were known only in sporadic cases that relied on the structure of $g$ and $B$; it was not even clear if one could formulate a convex relaxation that has a finite integrality gap beyond these special cases. Two notable examples are a result by Gurvits on the van der Waerden conjecture for real stable $g$ when $B$ is a single element and a result by Nikolov and Singh for multilinear real stable polynomials when $B$ is a partition matroid. Our work, which encapsulates most interesting cases of $g$ and $B$, benefits from both - we were inspired by the latter in deriving the right convex programming relaxation and the former in establishing the integrality gap. However, proving our results requires significant extensions of both; in that process we come up with new notions and connections between stable polynomials and matroids which should be of independent interest.
Polynomial mixing of the edge-flip Markov chain for unbiased dyadic tilings
Published
• View Publication
• BIB
We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlapping dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}, (a+1)2^{-s}] \times [b2^{-t}, (b+1)2^{-t}] for non-negative integers a,b,s,t. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n^{4.09}), which implies that the mixing time is at most O(n^{5.09}). We complement this by showing that the relaxation time is at least Ω(n^{1.38}), improving upon the previously best lower bound of Ω(n\log n) coming from the diameter of the chain.
Approximately Sampling Elements with Fixed Rank in Graded Posets
Published in Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017) 1823-1838
• View Publication
• BIB
Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximately generate samples with any fixed rank in expected polynomial time. Our arguments do not rely on the typical proofs of log-concavity, which are used to construct a stationary distribution with a specific mode in order to give a lower bound on the probability of outputting an element of the desired rank. Instead, we infer this directly from bounds on the mixing time of the chains through a method we call $\textit{balanced bias}$.
A noteworthy application of our method is sampling restricted classes of integer partitions of $n$. We give the first provably efficient Markov chain algorithm to uniformly sample integer partitions of $n$ from general restricted classes. Several observations allow us to improve the efficiency of this chain to require $O(n^{1/2}\log(n))$ space, and for unrestricted integer partitions, expected $O(n^{9/4})$ time. Related applications include sampling permutations with a fixed number of inversions and lozenge tilings on the triangular lattice with a fixed average height.
Cluster algebraic interpretation of infinite friezes
Published in European Journal of Combinatorics 81 (2019), 22-57
• View Publication
• BIB
Originally studied by Conway and Coxeter, friezes appeared in various recreational mathematics publications in the 1970s. More recently, in 2015, Baur, Parsons, and Tschabold constructed periodic infinite friezes and related them to matching numbers in the once-punctured disk and annulus. In this paper, we study such infinite friezes with an eye towards cluster algebras of type D and affine A, respectively. By examining infinite friezes with Laurent polynomial entries, we discover new symmetries and formulas relating the entries of this frieze to one another. Lastly, we also present a correspondence between Broline, Crowe and Isaacs's classical matching tuples and combinatorial interpretations of elements of cluster algebras from surfaces.
On a condition equivalent to the Maximum Distance Separable conjecture
We denote by $\mathcal{P}_q$ the vector space of functions from a finite field $\mathbb{F}_q$ to itself, which can be represented as the space $\mathcal{P}_q := \mathbb{F}_q[x]/(x^q-x)$ of polynomial functions. We denote by $\mathcal{O}_n \subset \mathcal{P}_q$ the set of polynomials that are either the zero polynomial, or have at most $n$ distinct roots in $\mathbb{F}_q$. Given two subspaces $Y,Z$ of $\mathcal{P}_q$, we denote by $\langle Y,Z \rangle$ their span. We prove that the following are equivalent.
A) Let $k, q$ integers, with $q$ a prime power and $2 \leq k \leq q$. Suppose that either:
1) $q$ is odd
2) $q$ is even and $k \not\in \{3, q-1\}$.
Then there do not exist distinct subspaces $Y$ and $Z$ of $\mathcal{P}_q$ such that:
1') $dim(\langle Y, Z \rangle) = k$
2') $dim(Y) = dim(Z) = k-1$.
3') $\langle Y, Z \rangle \subset \mathcal{O}_{k-1}$
4') $Y, Z \subset \mathcal{O}_{k-2}$
5') $Y\cap Z \subset \mathcal{O}_{k-3}$.
B) The MDS conjecture is true for the given $(q,k)$.
Decompositions of Grothendieck Polynomials
Published in International Mathematics Research Notices 2019(10), 2019, 3214-3241
• View Publication
• BIB
We investigate the longstanding problem of finding a combinatorial rule for the Schubert structure constants in the $K$-theory of flag varieties (in type $A$). The Grothendieck polynomials of A. Lascoux-M.-P. Schützenberger (1982) serve as polynomial representatives for $K$-theoretic Schubert classes; however no positive rule for their multiplication is known outside the Grassmannian case. We contribute a new basis for polynomials, give a positive combinatorial formula for the expansion of Grothendieck polynomials in these glide polynomials, and provide a positive combinatorial Littlewood-Richardson rule for expanding a product of Grothendieck polynomials in the glide basis. Our techniques easily extend to the $β$-Grothendieck polynomials of S. Fomin-A. Kirillov (1994), representing classes in connective $K$-theory, and we state our results in this more general context.
A specialization of the glide basis recovers the fundamental slide polynomials of S. Assaf-D. Searles (2016), which play an analogous role with respect to the Chow ring of flag varieties. Additionally, the stable limits of another specialization of glide polynomials are T. Lam-P. Pylyavskyy's (2007) basis of multi-fundamental quasisymmetric functions, $K$-theoretic analogues of I. Gessel's (1984) fundamental quasisymmetric functions. Those glide polynomials that are themselves quasisymmetric are truncations of multi-fundamental quasisymmetric functions and form a basis of quasisymmetric polynomials.
The $α$-representation for the characteristic function of a matroid
Let $M=(E,\mathcal B)$ be an $\mathbb F_q$-linear matroid; denote by ${\mathcal B}$ the family of its bases, $s(M;α)=\sum_{B\in\mathcal B}\prod_{e \in B} α_e$, where ${α_e\in \mathbb F_q}$. According to the Kontsevich conjecture stated in 1997, the number of nonzero values of $s(M;α)$ is a polynomial with respect to $q$ for all matroids. This conjecture was disproved by P. Brosnan and P. Belkale. In this paper we express the characteristic polynomial of the dual matroid $M^\perp$ in terms of the "correct" Kontsevich formula (for $\mathbb F_q$-linear matroids). This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier (and with the help of another technique). In addition, generalizing the correlation (announced by us earlier) that connects flow and chromatic polynomials, we define the characteristic polynomial of $M^\perp$ in two ways, namely, in terms of characteristic polynomials of $M/A$ and $M|_A$, respectively, $A\subseteq E$. The latter expressions are close to convolution-multiplication formulas established by V. Reiner and J. P. S. Kung.