polynomial
11184 papers tagged with this keyword
The $q$-analog of the Markoff injectivity conjecture over the language of a balanced sequence
Published in Combinatorial Theory 2 (2022) #9
• View Publication
• BIB
The Markoff injectivity conjecture states that $w\mapstoμ(w)_{12}$ is injective on the set of Christoffel words where $μ:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$ is a certain homomorphism and $M_{12}$ is the entry above the diagonal of a $2\times2$ matrix $M$. Recently, Leclere and Morier-Genoud (2021) proposed a $q$-analog $μ_q$ of $μ$ such that $μ_{q}(w)_{12}|_{q=1}=μ(w)_{12}$ is the Markoff number associated to the Christoffel word $w$ when evaluated at $q=1$. We show that there exists an order $<_{radix}$ on $\{\mathtt{0},\mathtt{1}\}^*$ such that for every balanced sequence $s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$ and for all factors $u, v$ in the language of $s$ with $u <_{radix} v$, the difference $μ_q(v)_{12} - μ_q(u)_{12}$ is a nonzero polynomial of indeterminate $q$ with nonnegative integer coefficients. Therefore, the map $u\mapstoμ_q(u)_{12}$ is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.
Close relatives (of Feedback Vertex Set), revisited
At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a number of problems related to the classic Feedback Vertex Set (FVS) problem do not admit a $2^{o(k \log k)} \cdot n^{\mathcal{O}(1)}$-time algorithm on graphs of treewidth at most $k$, assuming the Exponential Time Hypothesis. This contrasts with the $3^{k} \cdot k^{\mathcal{O}(1)} \cdot n$-time algorithm for FVS using the Cut&Count technique.
During their live talk at IPEC 2020, Bergougnoux et al.~posed a number of open questions, which we answer in this work.
- Subset Even Cycle Transversal, Subset Odd Cycle Transversal, Subset Feedback Vertex Set can be solved in time $2^{\mathcal{O}(k \log k)} \cdot n$ in graphs of treewidth at most $k$. This matches a lower bound for Even Cycle Transversal of Bergougnoux et al.~and improves the polynomial factor in some of their upper bounds.
- Subset Feedback Vertex Set and Node Multiway Cut can be solved in time $2^{\mathcal{O}(k \log k)} \cdot n$, if the input graph is given as a clique-width expression of size $n$ and width $k$.
- Odd Cycle Transversal can be solved in time $4^k \cdot k^{\mathcal{O}(1)} \cdot n$ if the input graph is given as a clique-width expression of size $n$ and width $k$. Furthermore, the existence of a constant $\varepsilon > 0$ and an algorithm performing this task in time $(4-\varepsilon)^k \cdot n^{\mathcal{O}(1)}$ would contradict the Strong Exponential Time Hypothesis.
Multicolor Size-Ramsey Number of Cycles
Published
• View Publication
• BIB
Given a positive integer $ r $, the $ r $-color size-Ramsey number of a graph $ H $, denoted by $ \hat{R}(H, r) $, is the smallest integer $ m $ for which there exists a graph $ G $ with $ m $ edges such that, in any edge coloring of $ G $ with $ r $ colors, $G$ contains a monochromatic copy of $ H $. Haxell, Kohayakawa and Łuczak showed that the size-Ramsey number of a cycle $ C_n $ is linear in $ n $ i.e. $ \hat{R}(C_n, r) \leq c_rn $, for some constant $ c_r $. Their proof, however, is based on the Szemerédi's regularity lemma and so no specific constant $ c_r $ is known. Javadi, Khoeini, Omidi and Pokrovskiy gave an alternative proof for this result which avoids using of the regularity lemma. Indeed, they proved that if $ n $ is even, then $ c_r $ is exponential in $ r $ and if $ n $ is odd, then $ c_r $ is doubly exponential in $ r $.
\noindent In this paper, we improve the bound $c_r$ and prove that $c_r$ is polynomial in $r$ when $n$ is even and is exponential in $r$ when $n$ is odd. We also prove that in the latter case, it cannot be improved to a polynomial bound in $r$. More precisely, we prove that there are some positive constants $c_1,c_2$ such that for every even integer $n$, we have $c_1r^2n\leq \hat{R}(C_n,r)\leq c_2r^{120}(\log^2 r)n$ and for every odd integer $n$, we have
$c_1 2^{r}n \leq \hat{R}(C_n, r)\leq c_22^{16 r^2+2\log r}n $.
Eulerian polynomials, Stirling permutations and increasing trees
We study two generalizations of the gamma-expansion of Eulerian polynomials from the viewpoint of the decompositions of statistics. We first present an expansion formula of the trivariate Eulerian polynomials, which are the enumerators for the joint distribution of descents, big ascents and successions of permutations. And then, inspired by the work of Chen and Fu on the trivariate second-order Eulerian polynomials, we show the e-positivity of the multivariate k-th order Eulerian polynomials, which are the enumerators for the joint distribution of ascents, descents and j-plateaux of k-Stirling permutations. We provide combinatorial interpretations for the coefficients of these two expansions in terms of increasing trees.
Generating series of non-oriented constellations and marginal sums in the Matching-Jack conjecture
Published
• View Publication
• BIB
Using the description of hypermaps with matchings, Goulden and Jackson have given an expression of the generating series of rooted bipartite maps in terms of the zonal polynomials. We generalize this approach to the case of constellations on non-oriented surfaces that have recently been introduced by Chapuy and Dołęga. A key step in the proof is an encoding of constellations with tuples of matchings.
We consider a one parameter deformation of the generating series of constellations using Jack polynomials and we introduce the coefficients $c^λ_{μ^0,...,μ^k}(b)$ obtained by the expansion of these functions in the power-sum basis. These coefficients are indexed by $k+2$ integer partitions and the deformation parameter $b$, and can be considered as a generalization for $k\geq1$ of the connection coefficients introduced by Goulden and Jackson. We prove that when we take some marginal sums, these coefficients enumerate $b$-weighted $k$-tuples of matchings. This can be seen as an "unrooted" version of a recent result of Chapuy and Dołęga for constellations. For $k=1$, this gives a partial answer to Goulden and Jackson Matching-Jack conjecture.
Lassale has formulated a positivity conjecture for the coefficients $θ^{(α)}_μ(λ)$, defined as the coefficient of the Jack polynomial $J_λ^{(α)}$ in the power-sum basis. We use the second main result of this paper to give a proof of this conjecture in the case of partitions $λ$ with rectangular shape.
A remark on ${\mathbb F}_{q^n}$-Linear MRD codes
In this note, we provide a description of the elements of minimum rank of a generalized Gabidulin code in terms of Grassmann coordinates. As a consequence, a characterization of linearized polynomials of rank at most $n-k$ is obtained, as well as parametric equations for MRD-codes of distance $d=n-k+1$.
Counting Divisions of a $2\times n$ Rectangular Grid
Published
• View Publication
• BIB
Consider a $2\times n$ rectangular grid composed of $1\times 1$ squares. Cutting only along the edges between squares, how many ways are there to divide the board into $k$ pieces? Building off the work of Durham and Richmond, who found the closed-form solutions for the number of divisions into 2 and 3 pieces, we prove a recursive relationship that counts the number of divisions of the board into $k$ pieces. Using this recursion, we obtain closed-form solutions for the number of divisions for $k=4$ and $k=5$ using fitting techniques on data generated from the recursion. Furthermore, we show that the closed-form solution for any fixed $k$ must be a polynomial on $n$ with degree $2k-2$.
Elliptic Ruijsenaars difference operators, symmetric polynomials, and Wess-Zumino-Witten fusion rings
Published in Sel. Math. New Ser. 29:5 (2023) 80
• View Publication
• BIB
The fusion ring for $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten conformal field theories is known to be isomorphic to a factor ring of the ring of symmetric polynomials presented by Schur polynomials. We introduce a deformation of this factor ring associated with eigenpolynomials for the elliptic Ruijsenaars difference operators. The corresponding Littlewood-Richardson coefficients are governed by a Pieri rule stemming from the eigenvalue equation. The orthogonality of the eigenbasis gives rise to an analog of the Verlinde formula. In the trigonometric limit, our construction recovers the refined $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten fusion ring associated with the Macdonald polynomials.
Grothendieck to Lascoux expansions
Published
• View Publication
• BIB
We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials.
Recovery from Power Sums
We study the problem of recovering a collection of $n$ numbers from the evaluation of $m$ power sums. This yields a system of polynomial equations, which can be underconstrained ($m < n$), square ($m = n$), or overconstrained ($m > n$). Fibers and images of power sum maps are explored in all three regimes, and in settings that range from complex and projective to real and positive. This involves surprising deviations from the Bézout bound, and the recovery of vectors from length measurements by $p$-norms.
A note on one-sided interval edge colorings of bipartite graphs
Published
• View Publication
• BIB
For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $χ'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a polynomial $P(x)$ such that if $G$ has maximum degree at most $Δ$, then $χ'_{int}(G,X) \leq P(Δ)$. In this short note, we prove this conjecture; in fact, we prove that a cubic polynomial suffices. We also deduce some improved upper bounds on $χ'_{int}(G,X)$ for bipartite graphs with small maximum degree.
The $q$-Onsager algebra and its alternating central extension
Published
• View Publication
• BIB
The $q$-Onsager algebra $O_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Dolan/Grady relations. The alternating central extension $\mathcal O_q$ has a presentation involving the alternating generators $\lbrace \mathcal W_{-k}\rbrace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1}\rbrace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1}\rbrace_{k=0}^\infty$, $\lbrace \mathcal {\tilde G}_{k+1}\rbrace_{k=0}^\infty$ and a large number of relations. Let $\langle \mathcal W_0, \mathcal W_1 \rangle$ denote the subalgebra of $\mathcal O_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $O_q \to \langle \mathcal W_0, \mathcal W_1 \rangle$ that sends $W_0\mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. It is known that the center $\mathcal Z$ of $\mathcal O_q$ is isomorphic to a polynomial algebra in countably many variables.
It is known that the multiplication map $\langle \mathcal W_0, \mathcal W_1 \rangle \otimes \mathcal Z \to \mathcal O_q$, $ w \otimes z \mapsto wz$ is an isomorphism of algebras. We call this isomorphism the standard tensor product factorization of $\mathcal O_q$. In the study of $\mathcal O_q$ there are two natural points of view: we can start with the alternating generators, or we can start with the standard tensor product factorization. It is not obvious how these two points of view are related. The goal of the paper is to describe this relationship. We give seven main results; the principal one is an attractive factorization of the generating function for some algebraically independent elements that generate $\mathcal Z$.
Combinatorial and harmonic-analytic methods for integer tilings
A finite set of integers $A$ tiles the integers by translations if $\mathbb{Z}$ can be covered by pairwise disjoint translated copies of $A$. Restricting attention to one tiling period, we have $A\oplus B=\mathbb{Z}_M$ for some $M\in\mathbb{N}$ and $B\subset\mathbb{Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with $A$ and $B$.
In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids, and saturating spaces, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set $A$ containing certain configuration can tile a cyclic group $\mathbb{Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in a follow-up paper that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz.
Schubert polynomials, the inhomogeneous TASEP, and evil-avoiding permutations
Published
• View Publication
• BIB
Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The inhomogeneous totally asymmetric simple exclusion process (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to products of double Schubert polynomials. In this paper we introduce the class of evil-avoiding permutations, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.
On finite groups with polynomial diameter
Given a finite group $G$ and a generating set $S \subseteq G$, the diameter $diam(G,S)$ is the least integer $n$ such that every element of $G$ is the product of at most $n$ elements of $S$. In this paper, for bounded $|S|$, we characterize groups with polynomial diameter as the groups with a large abelian section close to the top, precisely of size an exponential portion of the size of the full group. This complements a key result of Breuillard and Tointon. As a consequence, groups with polynomial diameter have many conjugacy classes, and contain a large nilpotent subgroup of class at most $2$.
Roots of the characteristic polynomials of hyperplane arrangements and their restrictions and localizations
Published
• View Publication
• BIB
Terao's factorization theorem shows that if an arrangement is free, then its characteristic polynomial factors into the product of linear polynomials over the integer ring. This is not a necessary condition, but there are not so many non-free arrangements whose characteristic polynomial factors over the integer ring. On the other hand, the localization of a free arrangement is free, and its restriction is in many cases free, thus its characteristic polynomial factors. In this paper, we consider how their integer, or real roots behave.
Immanant Positivity for Catalan-Stieltjes Matrices
Published
• View Publication
• BIB
In this paper we give some sufficient conditions for the nonnegativity of immanants of square submatrices of Catalan-Stieltjes matrices and their corresponding Hankel matrices. To obtain these sufficient conditions, we construct new planar networks with a recursive nature for Catalan-Stieltjes matrices. As applications, we provide a unified way to produce inequalities for many combinatorial polynomials, such as the Eulerian polynomials, Schröder polynomials and Narayana polynomials.
$(p, q)$-analogues of the generalized Touchard polynomials and Stirling numbers
Published
• View Publication
• BIB
In this paper we introduce a $(p, q)$-deformed analogues of the generalized Touchard polynomials and Stirling numbers, the post-quantum analogues of the $q$-deformed generalized Touchard polynomials and Stirling numbers. The connection between these deformations is established. A recurrence relation for the $(p, q)$-deformed generalized Touchard polynomials is expounded, elucidating a $(p, q)$-deformation of Spivey's relation.
The leading coefficient of Lascoux polynomials
Lascoux polynomials have been recently introduced to prove polynomiality of the maximum-likelihood degree of linear concentration models. We find the leading coefficient of the Lascoux polynomials (type C) and their generalizations to the case of general matrices (type A) and skew symmetric matrices (type D). In particular, we determine the degrees of such polynomials. As an application, we find the degree of the polynomial $δ(m,n,n-s)$ of the algebraic degree of semidefinite programming, and when $s=1$ we find its leading coefficient for types C, A and D.
Stability of combinatorial polynomials and its applications
The aim of this paper is to make a systematical study on the stability of polynomials in combinatorics.
Applying the characterizations of Borcea and Brändén concerning linear operators preserving stability, we present criteria for real stability and Hurwitz stability. We also give a criterion for Hurwitz stability of the Turán expressions. As applications, we derive some stability results occurred in the literature in a unified manner. In addition, we obtain the Hurwitz stability of Turán expressions for alternating runs polynomials of types $A$ and $B$ and solve a conjecture concerning Hurwitz stability of alternating runs polynomials defined on a dual set of Stirling permutations.
Furthermore, we prove that the Hurwitz stability of any symmetric polynomial implies its semi-$γ$-positivity. We study a class of symmetric polynomials and derive many nice properties including Hurwitz stability, semi-$γ$-positivity, non $γ$-positivity, unimodality, strong $q$-log-convexity, the Jacobi continued fraction expansion and the relation with derivative polynomials. In particular, these properties of the alternating descents polynomials of types $A$ and $B$ can be obtained in a unified approach.
Finally, we use real stability to prove a criterion for zeros interlacing between a polynomial and its reciprocal polynomial, which implies the alternatingly increasing property. This criterion extends a result of Brändén and Solus and unifies such properties for many combinatorial polynomials, including ascent polynomials for $k$-ary words, descent polynomials on signed Stirling permutations and $q$-analog of descent polynomials on colored permutations, and so on. We prove the alternatingly increasing property and zeros interlacing for two kinds of peak polynomials on the dual set of Stirling permutations.