polynomial
11257 papers tagged with this keyword
A proof of the $4$-variable Catalan polynomial of the Delta conjecture
Published
• View Publication
• BIB
In The Delta Conjecture (arxiv:1509.07058), Haglund, Remmel and Wilson introduced a four variable $q,t,z,w$ Catalan polynomial, so named because the specialization of this polynomial at the values $(q,t,z,w) = (1,1,0,0)$ is equal to the Catalan number $\frac{1}{n+1}\binom{2n}{n}$. We prove the compositional version of this conjecture (which implies the non-compositional version) that states that the coefficient of $s_{r,1^{n-r}}$ in the expression $Δ_{h_\ell} \nabla C_α$ is equal to a weighted sum over decorated Dyck paths.
Tensor diagrams and Chebyshev polynomials
Published in International Mathematics Research Notices, 2018, pp.1-61
• View Publication
• BIB
In this paper, we describe a class of elements in the ring of $\mathrm{SL}(V)$-invariant polynomial functions on the space of configurations of vectors and linear forms of a 3-dimensional vector space $V.$ These elements are related to one another by an induction formula using Chebyshev polynomials. We also investigate the relation between these polynomials and G. Lusztig's dual canonical basis in tensor products of representations of $U_q(\mathfrak{sl}_3(\mathbb C)).$
Kohnert tableaux and a lifting of quasi-Schur functions
Published
• View Publication
• BIB
We introduce the quasi-key basis of the polynomial ring. We prove this basis contains the quasi-Schur polynomials of of Haglund, Luoto, Mason and van Willigenburg and that stable limits of quasi-key polynomials are quasi-Schur functions, thus giving a lifting of the quasi-Schur basis of quasisymmetric polynomials to the full polynomial ring. We introduce the combinatorial model of Kohnert tableaux, and use this model to prove that key polynomials expand positively in quasi-key polynomials which in turn expand positively in the fundamental slide polynomials introduced earlier by the authors. We give simple combinatorial formulas for these expansions in terms of Kohnert tableaux, lifting the parallel expansions of a Schur function into quasi-Schur functions into fundamental quasisymmetric functions. We further utilize Kohnert tableaux to find the precise point at which the fundamental slide expansion of a key polynomial stabilizes.
Algorithmic Aspects of Regular Graph Covers
A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study computational aspects of regular covers that have not been addressed before. The decision problem RegularCover asks for given graphs $G$ and $H$ whether $G$ regularly covers $H$. When $|H|=1$, this problem becomes Cayley graph recognition for which the complexity is still unresolved. Another special case arises for $|G| = |H|$ when it becomes the graph isomorphism problem.
Our main result is an involved FPT algorithm solving RegularCover for planar inputs $G$ in time $O^*(2^{e(H)/2})$ where $e(H)$ denotes the number of edges of $H$. The algorithm is based on dynamic programming and employs theoretical results proved in a related structural paper. Further, when $G$ is 3-connected, $H$ is 2-connected or the ratio $|G|/|H|$ is an odd integer, we can solve the problem RegularCover in polynomial time. In comparison, Bílka et al. (2011) proved that testing general graph covers is NP-complete for planar inputs $G$ when $H$ is a small fixed graph such as $K_4$ or $K_5$.
Lecture hall P-partitions
Published
• View Publication
• BIB
We introduce and study s-lecture hall P-partitions which is a generalization of s-lecture hall partitions to labeled (weighted) posets. We provide generating function identities for s-lecture hall P-partitions that generalize identities obtained by Savage and Schuster for s-lecture hall partitions, and by Stanley for P-partitions. We also prove that the corresponding (P,s)-Eulerian polynomials are real-rooted for certain pairs (P,s), and speculate on unimodality properties of these polynomials.
An Explicit Formula for the Eigenvectors of Acyclic Matrices and Weighted Trees
Let $A$ be an acyclic symmetric matrix of order $n$. There is a weighted forest $F$ whose adjacency matrix is $A$. In this paper, using some results on matching polynomials, we provide an explicit formula for eigenvectors of $A$.
Representing derivatives of Chebyshev polynomials by Chebyshev polynomials
Published
• View Publication
• BIB
A recursion formula for derivatives of Chebyshev polynomials is replaced by an explicit formula.
Computing DM-decomposition of a partitioned matrix with rank-1 blocks
Published
• View Publication
• BIB
In this paper, we develop a polynomial time algorithm to compute a Dulmage-Mendelsohn-type decomposition of a matrix partitioned into submatrices of rank at most $1$.
$q$-log-convexity from linear transformations and polynomials with only real zeros
Published in European Journal of Combinatorics, Volume 73, October 2018, Pages 231-246
• View Publication
• BIB
In this paper, we mainly study the stability of iterated polynomials and linear transformations preserving the strong $q$-log-convexity of polynomials
Let $[T_{n,k}]_{n,k\geq0}$ be an array of nonnegative numbers. We give some criteria for the linear transformation $$y_n(q)=\sum_{k=0}^nT_{n,k}x_k(q)$$ preserving the strong $q$-log-convexity (resp. log-convexity). As applications, we derive that some linear transformations (for instance, the Stirling transformations of two kinds, the Jacobi-Stirling transformations of two kinds, the Legendre-Stirling transformations of two kinds, the central factorial transformations, and so on) preserve the strong $q$-log-convexity (resp. log-convexity) in a unified manner. In particular, we confirm a conjecture of Lin and Zeng, and extend some results of Chen {\it et al.}, and Zhu for strong $q$-log-convexity of polynomials, and some results of Liu and Wang for transformations preserving the log-convexity.
The stability property of iterated polynomials implies the $q$-log-convexity. By applying the method of interlacing of zeros, we also present two criteria for the stability of the iterated Sturm sequences and $q$-log-convexity of polynomials. As consequences, we get the stabilities of iterated Eulerian polynomials of type $A$ and $B$, and their $q$-analogs. In addition, we also prove that the generating functions of alternating runs of type $A$ and $B$, the longest alternating subsequence and up-down runs of permutations form a $q$-log-convex sequence, respectively.
Pattern-Avoiding Polytopes
Published
• View Publication
• BIB
Two well-known polytopes whose vertices are indexed by permutations in the symmetric group $\mathfrak{S}_n$ are the permutohedron $P_n$ and the Birkhoff polytope $B_n$. We consider polytopes $P_n(Π)$ and $B_n(Π)$, whose vertices correspond to the permutations in $\mathfrak{S}_n$ avoiding a set of patterns $Π$. For various choices of $Π$, we explore the Ehrhart polynomials and $h^*$-vectors of these polytopes as well as other aspects of their combinatorial structure.
For $P_n(Π)$, we consider all subsets $Π\subseteq \mathfrak{S}_3$ and are able to provide results in most cases. To illustrate, $P_n(123,132)$ is a Pitman-Stanley polytope, the number of interior lattice points in $P_n(132,312)$ is a derangement number, and the normalized volume of $P_n(123,231,312)$ is the number of trees on $n$ vertices.
The polytopes $B_n(Π)$ seem much more difficult to analyze, so we focus on four particular choices of $Π$. First we show that the $B_n(231,321)$ is exactly the Chan-Robbins-Yuen polytope. Next we prove that for any $Π$ containing $\{123,312\}$ we have $h^*(B_n(Π))=1$. Finally, we study $B_n(132,312)$ and $\widetilde{B}_n(123)$, where the tilde indicates that we choose vertices corresponding to alternating permutations avoiding the pattern $123$. In both cases we use order complexes of posets and techniques from toric algebra to construct regular, unimodular triangulations of the polytopes. The posets involved turn out to be isomorphic to the lattices of Young diagrams contained in a certain shape, and this permits us to give an exact expression for the normalized volumes of the corresponding polytopes via the hook formula. Finally, Stanley's theory of $(P,ω)$-partitions allows us to show that their $h^*$-vectors are symmetric and unimodal.
Various questions and conjectures are presented throughout.
Flow polynomials as Feynman amplitudes and their $α$-representation
Published in Electron. J. Combin., vol. 24, (2017), no.1, paper 11, 19
• View Publication
• BIB
Let $G$ be a connected graph; denote by $τ(G)$ the set of its spanning trees. Let $\mathbb F_q$ be a finite field, $s(α,G)=\sum_{T\inτ(G)} \prod_{e \in E(T)} α_e$, where ${α_e\in \mathbb F_q}$. Kontsevich conjectured in 1997 that the number of nonzero values of $s(α, G)$ is a polynomial in $q$ for all graphs. This conjecture was disproved by Brosnan and Belkale. In this paper, using the standard technique of the Fourier transformation of Feynman amplitudes, we express the flow polynomial $F_G(q)$ in terms of the "correct" Kontsevich formula. Our formula represents $F_G(q)$ as a linear combination of Legendre symbols of $s(α, H)$ with coefficients $\pm 1/q^{(|V(H)|-1)/2}$, where $H$ is a contracted graph of $G$ depending on $α\in \left(\mathbb F^*_q\right)^{E(G)}$, and $|V(H)|$ is odd. The case $q=5$ corresponds to the least number with which all coefficients in the linear combination are positive. This allows us to hope that the obtained result can be applied to prove the Tutte 5-flow conjecture.
Newton flows for elliptic functions II Structural stability: Classification & Representation
Published
• View Publication
• BIB
In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.
On coordinatising planes of prime power order using finite fields
Published
• View Publication
• BIB
We revisit the coordinatisation method for projective planes. First, we discuss how the behaviour of the additive and multiplicative loops can be described in terms of its action on the "vertical" line, and how this means one can coordinatise certain planes in an optimal sense. We then move to consider projective planes of prime power order only. Specifically, we consider how coordinatising planes of prime power order using finite fields as the underlying labelling set leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider the Lenz-Barlotti type of the plane being coordinatised, deriving further restrictions on the form of the PTR polynomial.
A $q$-Queens Problem. V. Some of Our Favorite Pieces: Queens, Bishops, Rooks, and Nightriders
Published in J. Korean Math. Soc., 57(6) (2020), 1407-1433
• Search Publication
Parts I-IV showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$. For partial queens, which have a subset of the queen's moves, we proved complete formulas for these counting quasipolynomials for small numbers of pieces and other formulas for high-order coefficients of the general counting quasipolynomials. We found some upper and lower bounds for the periods of those quasipolynomials by calculating explicit denominators of vertices of the inside-out polytope.
Here we discover more about the counting quasipolynomials for partial queens, both familiar and strange, and the nightrider and its subpieces, and we compare our results to the empirical formulas found by Kotěšovec. We prove some of Kotěšovec's formulas and conjectures about the quasipolynomials and their high-order coefficients, and in some instances go beyond them.
Mirror graphs: graph theoretical characterization of reflection arrangements and finite Coxeter groups
Published
• View Publication
• BIB
Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.
Polytopes and large counterexamples
Published
• View Publication
• BIB
In this short note, we give large counterexamples to natural questions about certain order polytopes, in particular, Gelfand--Tsetlin polytopes. Several of the counterexamples are too large to be discovered via a brute-force computer search.
We also show that the multiset of hooks in a Young diagram is not enough information to determine the Ehrhart polynomial for an associated order polytope. This is somewhat counter-intuitive to the fact that the multiset of hooks always determine the leading coefficient of the Ehrhart polynomial.
Density of Zeros of the Tutte Polynomial
Published
• View Publication
• BIB
The Tutte polynomial of a graph is a two-variable polynomial whose zeros and evaluations encode many interesting properties of the graph. In this article we investigate the zeros of the Tutte polynomials of graphs, and show that they form a dense subset of certain regions of the plane. This is the first density result for the zeros of the Tutte polynomial in a region of positive volume. Our result almost confirms a conjecture of Jackson and Sokal except for one region which is related to an open problem on flow polynomials.
The number of ideals of $\mathbb{Z}[x]$ containing $x(x-α)(x-β)$ with given index
It is well-known that a connected regular graph is strongly-regular if and only if its adjacency matrix has exactly three eigenvalues. Let $B$ denote an integral square matrix and $\langle B \rangle$ denote the subring of the full matrix ring generated by $B$. Then $\langle B \rangle$ is a free $\mathbb{Z}$-module of finite rank, which guarantees that there are only finitely many ideals of $\langle B \rangle$ with given finite index. Thus, the formal Dirichlet series $ζ_{\langle B \rangle}(s)=\sum_{n\geq 1}a_n n^{-s}$ is well-defined where $a_n$ is the number of ideals of $\langle B \rangle$ with index $n$. In this article we aim to find an explicit form of $ζ_{\langle B \rangle}(s)$ when $B$ has exactly three eigenvalues all of which are integral, e.g., the adjacency matrix of a strongly-regular graph which is not a conference graph with a non-squared number of vertices. By isomorphism theorem for rings, $\langle B \rangle$ is isomorphic to $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ where $m(x)$ is the minimal polynomial of $B$ over $\mathbb{Q}$, and $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ is isomorphic to $\mathbb{Z}[x]/m(x+γ)\mathbb{Z}[x]$ for each $γ\in \mathbb{Z}$. Thus, the problem is reduced to counting the number of ideals of $\mathbb{Z}[x]/x(x-α)(x-β)\mathbb{Z}[x]$ with given finite index where $0,α$ and $β$ are distinct integers.
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
Published in Discrete Analysis 2017:4
• View Publication
• BIB
Parametric Presburger arithmetic concerns families of sets S_t in Z^d, for t in N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifiers on variables ranging over Z. That is, such families are defined using quantifiers and Boolean combinations of formulas of the form a(t) x <= b(t), where a(t) is in Z[t]^d, b(t) in Z[t]. A function g: N -> Z is a quasi-polynomial if there exists a period m and polynomials f_0, ..., f_{m-1} in Q[t] such that g(t)=f_i(t) for t congruent to i (mod m.)
Recent results of Chen, Li, Sam; Calegari, Walker; Roune, Woods; and Shen concern specific families in parametric Presburger arithmetic that exhibit quasi-polynomial behavior. For example, S_t might be an a quasi-polynomial function of t or an element x(t) in S_t might be specifiable as a function with quasi-polynomial coordinates, for sufficiently large t. Woods conjectured that all parametric Presburger sets exhibit this quasi-polynomial behavior. Here, we prove this conjecture, using various tools from logic and combinatorics.
Pieri rules for Schur functions in superspace
Published
• View Publication
• BIB
The Schur functions in superspace $s_Λ$ and $\bar s_Λ$ are the limits $q=t=0$ and $q=t=\infty$ respectively of the Macdonald polynomials in superspace. We prove Pieri rules for the bases $s_Λ$ and $\bar s_Λ$ (which happen to be essentially dual). As a consequence, we derive the basic properties of these bases such as dualities, monomial expansions, and tableaux generating functions.