polynomial
11422 papers tagged with this keyword
Efficient Removal Lemmas for Matrices
Published
• View Publication
• BIB
The authors and Fischer recently proved that any hereditary property of two-dimensional matrices (where the row and column order is not ignored) over a finite alphabet is testable with a constant number of queries, by establishing the following (ordered) matrix removal lemma: For any finite alphabet $Σ$, any hereditary property $\mathcal{P}$ of matrices over $Σ$, and any $ε> 0$, there exists $f_{\mathcal{P}}(ε)$ such that for any matrix $M$ over $Σ$ that is $ε$-far from satisfying $\mathcal{P}$, most of the $f_{\mathcal{P}}(ε) \times f_{\mathcal{P}}(ε)$ submatrices of $M$ do not satisfy $\mathcal{P}$. Here being $ε$-far from $\mathcal{P}$ means that one needs to modify at least an $ε$-fraction of the entries of $M$ to make it satisfy $\mathcal{P}$.
However, in the above general removal lemma, $f_{\mathcal{P}}(ε)$ grows very fast as a function of $ε^{-1}$, even when $\mathcal{P}$ is characterized by a single forbidden submatrix. In this work we establish much more efficient removal lemmas for several special cases of the above problem. In particular, we show the following: For any fixed $s \times t$ binary matrix $A$ and any $ε> 0$ there exists $δ> 0$ polynomial in $ε$, such that for any binary matrix $M$ in which less than a $δ$-fraction of the $s \times t$ submatrices are equal to $A$, there exists a set of less than an $ε$-fraction of the entries of $M$ that intersects every $A$-copy in $M$.
We generalize the work of Alon, Fischer and Newman [SICOMP'07] and make progress towards proving one of their conjectures. The proofs combine their efficient conditional regularity lemma for matrices with additional combinatorial and probabilistic ideas.
Permutation Polynomials of the form ${\tt X}^r(a+{\tt X}^{2(q-1)})$ --- A Nonexistence Result
Let $f={\tt X}^r(a+{\tt X}^{2(q-1)})\in{\Bbb F}_{q^2}[{\tt X}]$, where $a\in{\Bbb F}_{q^2}^*$ and $r\ge 1$. The parameters $(q,r,a)$ for which $f$ is a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ have been determined in the following cases: (i) $a^{q+1}=1$; (ii) $r=1$; (iii) $r=3$. These parameters together form three infinite families. For $r>3$ (there is a good reason not to consider $r=2$) and $a^{q+1}\ne 1$, computer search suggested that $f$ is not a PP of ${\Bbb F}_{q^2}$ when $q$ is not too small relative to $r$. In the present paper, we prove that this claim is true. In particular, for each $r>3$, there are only finitely many $(q,a)$, where $a^{q+1}\ne 1$, for which $f$ is a PP of ${\Bbb F}_{q^2}$.
Tropical Ideals
Published in Compositio Math. 154 (2018) 640-670
• View Publication
• BIB
We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals strictly includes the tropicalizations of classical ideals, and allows us to define subschemes of tropical toric varieties, generalizing [Giansiracusa-Giansiracusa]. We investigate some of the basic structure of tropical ideals, and show that they satisfy many desirable properties that mimic the classical setup. In particular, every tropical ideal has an associated variety, which we prove is always a finite polyhedral complex. In addition we show that tropical ideals satisfy the ascending chain condition, even though they are typically not finitely generated, and also the weak Nullstellensatz.
Faà di Bruno for operads and internal algebras
Published in J. London Math. Soc. 99 (2019), 919-944
• View Publication
• BIB
For any coloured operad R, we prove a Faà di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Faà di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of Gálvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following Gálvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Faà di Bruno formula of Brouder--Frabetti--Krattenthaler).
On the Erdös flat polynomials problem, Chowla conjecture and Riemann Hypothesis
There are no square $L^2$-flat sequences of polynomials of the type
$$\frac{1}{\sqrt q}( ε_0 + ε_1z + ε_2z^2 + \cdots + ε_{q-2}z^{q-2} +ε_q z^{q-1}),$$ where for each $j,~~ 0 \leq j\leq q-1,~ε_j = \pm 1$. It follows that Erdös's conjectures on Littlewood polynomials hold. Consequently, Turyn-Golay's conjecture is true, that is, there are only finitely many Barker sequences. We further get that the spectrum of dynamical systems arising from continuous Morse sequences is singular. This settles an old question due to M. Keane. Applying our reasoning to the Liouville function we obtain that the popular Chowla conjecture on the %Bernouillicity normality of the Liouville function implies Riemann hypothesis.
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.