polynomial
11257 papers tagged with this keyword
A tightness property of relatively smooth permutations
Published in J. Combin. Theory Ser. A 163 (2019) 59-84
• View Publication
• BIB
It is well known that many geometric properties of Schubert varieties of type $A$ can be interpreted combinatorially. Given two permutations $w,x\in S_n$ we give a combinatorial consequence of the property that the smooth locus of the Schubert variety $X_w$ contains the Schubert cell $Y_x$. This is a necessary ingredient for the interpretation of recent representation-theoretic results of the author with Mínguez in terms of identities of Kazhdan--Lusztig polynomials.
Dihedral Sieving Phenomena
Published
• View Publication
• BIB
Cyclic sieving is a well-known phenomenon where certain interesting polynomials, especially $q$-analogues, have useful interpretations related to actions and representations of the cyclic group. We propose a definition of sieving for an arbitrary group $G$ and study it for the dihedral group $I_2(n)$ of order $2n$. This requires understanding the generators of the representation ring of the dihedral group. For $n$ odd, we exhibit several instances of dihedral sieving which involve the generalized Fibonomial coefficients, recently studied by Amdeberhan, Chen, Moll, and Sagan. We also exhibit an instance of dihedral sieving involving Garsia and Haiman's $(q,t)$-Catalan numbers.
Stieltjes moment sequences of polynomials
A sequence $(a_n)_{n \geq 0}$ is Stieltjes moment sequence if it has the form $a_n = \int_0^\infty x^n dμ(x)$ for $μ$ is a nonnegative measure on $[0,\infty)$. It is known that $(a_n)_{n \geq 0}$ is a Stieltjes moment sequence if and only if the matrix $H =[a_{i+j}]_{i,j \geq 0}$ is totally positive, i.e., all its minors are nonnegative. We define a sequence of polynomials in $x_1,x_2,\ldots,x_n$ $(a_n(x_1,x_2,\ldots,x_n))_{n \geq 0}$ to be a Stieltjes moment sequence of polynomials if the matrix $H =[a_{i+j} (x_1,x_2,\ldots,x_n)]_{i,j \geq 0}$ is $(x_1,x_2,\ldots,x_n)$-totally positive, i.e., all its minors are polynomials in $x_1,x_2,\ldots,x_n$ with nonnegative coefficients. The main goal of this paper is to produce a large class of Stieltjes moment sequences of polynomials by finding multivariable analogues of Catalan-like numbers as defined by Aigner.
The Removal Lemma for Tournaments
Published
• View Publication
• BIB
Suppose one needs to change the direction of at least $εn^2$ edges of an $n$-vertex tournament $T$, in order to make it $H$-free. A standard application of the regularity method shows that in this case $T$ contains at least $f^*_H(ε)n^h$ copies of $H$, where $f^*_H$ is some tower-type function. It has long been observed that many graph/digraph problems become easier when assuming that the host graph is a tournament. It is thus natural to ask if the removal lemma becomes easier if we assume that the digraph $G$ is a tournament.
Our main result here is a precise characterization of the tournaments $H$ for which $f^*_H(ε)$ is polynomial in $ε$, stating that such a bound is attainable if and only if $H$'s vertex set can be partitioned into two sets, each spanning an acyclic directed graph. The proof of this characterization relies, among other things, on a novel application of a regularity lemma for matrices due to Alon, Fischer and Newman, and on probabilistic variants of Ruzsa-Szemerédi graphs.
We finally show that even when restricted to tournaments, deciding if $H$ satisfies the condition of our characterization is an NP-hard problem.
The colored Jones polynomial and Kontsevich-Zagier series for double twist knots
Published in Journal of Knot Theory and its Ramifications 30 (2021), no. 5, Paper No. 2150031, 28 pp
• View Publication
• BIB
Using a result of Takata, we prove a formula for the colored Jones polynomial of the double twist knots $K_{(-m,-p)}$ and $K_{(-m,p)}$ where $m$ and $p$ are positive integers. In the $(-m,-p)$ case, this leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. Comparing with the cyclotomic expansion of the colored Jones polynomials of $K_{(m,p)}$ gives a generalization of a duality at roots of unity between the Kontsevich-Zagier function and the generating function for strongly unimodal sequences.
On the Containment Problem for Linear Sets
It is well known that the containment problem (as well as the equivalence problem) for semilinear sets is $\log$-complete in $Π_2^p$. It had been shown quite recently that already the containment problem for multi-dimensional linear sets is $\log$-complete in $Π_2^p$ (where hardness even holds for a unary encoding of the numerical input parameters). In this paper, we show that already the containment problem for $1$-dimensional linear sets (with binary encoding of the numerical input parameters) is $\log$-hard (and therefore also $\log$-complete) in $Π_2^p$. However, combining both restrictions (dimension $1$ and unary encoding), the problem becomes solvable in polynomial time.
Hard and Easy Instances of L-Tromino Tilings
Published in Theoretical Computer Science 2020
• View Publication
• BIB
We study tilings of regions in the square lattice with L-shaped trominoes. Deciding the existence of a tiling with L-trominoes for an arbitrary region in general is NP-complete, nonetheless, we identify restrictions to the problem where it either remains NP-complete or has a polynomial time algorithm. First, we characterize the possibility of when an Aztec rectangle and an Aztec diamond has an L-tromino tiling. Then, we study tilings of arbitrary regions where only $180^\circ$ rotations of L-trominoes are available. For this particular case we show that deciding the existence of a tiling remains NP-complete; yet, if a region does not contains certain so-called "forbidden polyominoes" as sub-regions, then there exists a polynomial time algorithm for deciding a tiling.
The Domination Equivalence Classes of Paths
A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. %The domination number $G$, denoted $γ(G)$, is the cardinality of the smallest dominating set of $G$. The domination polynomial is defined by $D(G,x) = \sum d(G,i)x^i$ where $d(G,i)$ is the number of dominating sets in $G$ with cardinality $i$. Two graphs $G$ and $H$ are considered $\mathcal{D}$-equivalent if $D(G,x)=D(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}$-equivalent to $G$. Extending previous results, we determine the equivalence classes of all paths.
VC-dimension of short Presburger formulas
Published
• View Publication
• BIB
We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula.
On Louchard's Asymptotic Series
Recently G. Louchard obtained an asymptotic series $\sum_{j=0}^\infty\frac{I_j}{n^j}$ for the integral $\int_0^1[x^n+(1-x)^n]^{\frac1n}dx$ as $n\to\infty$, and computed $I_j$ for $j\le 5$ in terms of values of the Riemann zeta function. An interesting feature of the computation is that the $I_j$ are first obtained in terms of alternating multiple zeta values, but then everything except products of ordinary zeta values cancels out. We obtain similar formulas for $I_n$, $6\le n\le 9$, and conjecture a general formula for $I_n$ in terms of alternating multiple zeta values. We also conjecture that $I_n$ is a rational polynomial in the ordinary zeta values.
Computing metric hulls in graphs
Published
• View Publication
• BIB
We prove that, given a closure function the smallest preimage of a closed set can be calculated in polynomial time in the number of closed sets. This confirms a conjecture of Albenque and Knauer and implies that there is a polynomial time algorithm to compute the convex hull-number of a graph, when all its convex subgraphs are given as input. We then show that computing if the smallest preimage of a closed set is logarithmic in the size of the ground set is LOGSNP-complete if only the ground set is given. A special instance of this problem is computing the dimension of a poset given its linear extension graph, that was conjectured to be in P.
The intent to show that the latter problem is LOGSNP-complete leads to several interesting questions and to the definition of the isometric hull, i.e., a smallest isometric subgraph containing a given set of vertices $S$. While for $|S|=2$ an isometric hull is just a shortest path, we show that computing the isometric hull of a set of vertices is NP-complete even if $|S|=3$. Finally, we consider the problem of computing the isometric hull-number of a graph and show that computing it is $Σ^P_2$ complete.
On classes of graphs with strongly sublinear separators
For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine membership in G_{c,epsilon}: there exist c'>0 such that for each input graph G, this algorithm in polynomial time determines either that G belongs to G_{c',epsilon^2/160}, or that G does not belong to G_{c,epsilon}.
Casselman's basis of Iwahori vectors and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
A problem in representation theory of $p$-adic groups is the computation of the \textit{Casselman basis} of Iwahori fixed vectors in the spherical principal series representations, which are dual to the intertwining integrals. We shall express the transition matrix $(m_{u,v})$ of the Casselman basis to another natural basis in terms of certain polynomials which are deformations of the Kazhdan-Lusztig R-polynomials. As an application we will obtain certain new functional equations for these transition matrices under the algebraic involution sending the residue cardinality $q$ to $q^{-1}$. We will also obtain a new proof of a surprising result of Nakasuji and Naruse that relates the matrix $(m_{u,v})$ to its inverse.
Optimal Graphs for Independence and $k$-Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial $I(G,x)$ of a finite graph $G$ is the generating function for the sequence of the number of independent sets of each cardinality. We investigate whether, given a fixed number of vertices and edges, there exists optimally-least (optimally-greatest) graphs, that are least (respectively, greatest) for all non-negative $x$. Moreover, we broaden our scope to $k$-independence polynomials, which are generating functions for the $k$-clique-free subsets of vertices. For $k \geq 3$, the results can be quite different from the $k = 2$ (i.e. independence) case.
Tropicalization, symmetric polynomials, and complexity
Published in J. Symbolic Comput. 99 (2020), 242--249
• View Publication
• BIB
D. Grigoriev-G. Koshevoy recently proved that tropical Schur polynomials have (at worst) polynomial tropical semiring complexity. They also conjectured tropical skew Schur polynomials have at least exponential complexity; we establish a polynomial complexity upper bound. Our proof uses results about (stable) Schubert polynomials, due to R. P. Stanley and S. Billey-W. Jockusch-R. P. Stanley, together with a sufficient condition for polynomial complexity that is connected to the saturated Newton polytope property.
On the Schur positivity of $Δ_{e_2} e_n[X]$
Published
• View Publication
• BIB
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in terms of $q,t$-analogs.
A New Proof for a Triple Product Formula for Plane Partitions
Stanley generalized MacMahon's classical theorem by proving a product formula for the norm-trace generating function for plane partition with unbounded parts. In his recent work on biothorgonal polynomials, Kamioka proved a finite analogue of Stanley's formula for plane partitions with bounded parts (arXiv:1508.01674). In this paper, we use techniques from the enumeration of tilings to give a new proof for Kamioka's formula.
Laplacian Immanantal polynomials and the GTS poset on Trees
Published in Linear Algebra and its Applications Volume 561, 15 January 2019, Pages 1-23
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices with Laplacian $L_T$ and let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known for coefficients of the characteristic polynomial of $L_T$ as we go up the poset $GTS_n$. In this work, we generalize these inequalities to the $q$-Laplacian $L^q_T$ of $T$ and to the coefficients of all immanantal polynomials.
Stable arithmetic regularity in the finite-field model
Published
• View Publication
• BIB
The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degree of uniformity, and that one must allow for a small number of non-uniform cosets.
Our main result is that, under a natural model-theoretic assumption of stability, the tower-type bound and non-uniform cosets in the arithmetic regularity lemma are not necessary. Specifically, we prove an arithmetic regularity lemma for $k$-stable subsets $A\subseteq \mathbb{F}_p^n$ in which the bound on the codimension of the subspace is a polynomial (depending on $k$) in the degree of uniformity, and in which there are no non-uniform cosets. This result is an arithmetic analogue of the stable graph regularity lemma proved by Malliaris and Shelah.
On tropical and nonnegative factorization ranks of band matrices
Matrix factorization problems over various semirings naturally arise in different contexts of modern pure and applied mathematics. These problems are very hard in general and cause computational difficulties in applications. We give a survey of what is known on the algorithmic complexity of Boolean, fuzzy, tropical, nonnegative, and positive semidefinite factorizations, and we examine the behavior of the corresponding rank functions on matrices of bounded bandwidth. We show that the Boolean, fuzzy, and tropical versions of matrix factorization become polynomial time solvable when restricted to this class of matrices, and we also show that the nonnegative rank of a tridiagonal matrix is easy to compute. We recall several open problems from earlier papers on the topic and formulate many new problems.