polynomial
11422 papers tagged with this keyword
The distribution of polynomials over finite fields, with applications to the Gowers norms
Published
• View Publication
• BIB
In this paper we investigate the uniform distribution properties of polynomials in many variables and bounded degree over a fixed finite field F of prime order. Our main result is that a polynomial P : F^n -> F is poorly-distributed only if P is determined by the values of a few polynomials of lower degree, in which case we say that P has small rank.
We give several applications of this result, paying particular attention to consequences for the theory of the so-called Gowers norms. We establish an inverse result for the Gowers U^{d+1}-norm of functions of the form f(x)= e_F(P(x)), where P : F^n -> F is a polynomial of degree less than F, showing that this norm can only be large if f correlates with e_F(Q(x)) for some polynomial Q : F^n -> F of degree at most d.
The requirement deg(P) < |F| cannot be dropped entirely. Indeed, we show the above claim fails in characteristic 2 when d = 3 and deg(P)=4, showing that the quartic symmetric polynomial S_4 in F_2^n has large Gowers U^4-norm but does not correlate strongly with any cubic polynomial. This shows that the theory of Gowers norms in low characteristic is not as simple as previously supposed. This counterexample has also been discovered independently by Lovett, Meshulam, and Samorodnitsky.
We conclude with sundry other applications of our main result, including a recurrence result and a certain type of nullstellensatz.
Polynomial largeness of sumsets and totally ergodic sets
Published
• View Publication
• BIB
We prove that a sumset of a TE subset of (\N) (these sets can be viewed as "aperiodic" sets) with a set of positive upper density intersects a set of values of any polynomial with integer coefficients., i.e. for any (A \subset \N ) a TE set, for any (p(n) \in \Z[n]: °{p(n)} > 0, p(n) \to_{n \to \infty} \infty ) and any subset (B \subset \N ) of positive upper density we have (R_p = A+B \cap \{p(n) | n \in \N \} \neq \emptyset). For (A ) a WM set (subclass of TE sets) we prove that (R_p ) has lower density 1. In addition we obtain a generalization of the latter result to the case of several polynomials and several WM sets.
Computing the Tutte polynomial in vertex-exponential time
The deletion--contraction algorithm is perhaps the most popular method for computing a host of fundamental graph invariants such as the chromatic, flow, and reliability polynomials in graph theory, the Jones polynomial of an alternating link in knot theory, and the partition functions of the models of Ising, Potts, and Fortuin--Kasteleyn in statistical physics. Prior to this work, deletion--contraction was also the fastest known general-purpose algorithm for these invariants, running in time roughly proportional to the number of spanning trees in the input graph. Here, we give a substantially faster algorithm that computes the Tutte polynomial--and hence, all the aforementioned invariants and more--of an arbitrary graph in time within a polynomial factor of the number of connected vertex sets. The algorithm actually evaluates a multivariate generalization of the Tutte polynomial by making use of an identity due to Fortuin and Kasteleyn. We also provide a polynomial-space variant of the algorithm and give an analogous result for Chung and Graham's cover polynomial. An implementation of the algorithm outperforms deletion--contraction also in practice.
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. V. Further Results for the Square-Lattice Chromatic Polynomial
Published in J. Statist. Phys. 135 (2009) 279-373
• View Publication
• BIB
We derive some new structural results for the transfer matrix of square-lattice Potts models with free and cylindrical boundary conditions. In particular, we obtain explicit closed-form expressions for the dominant (at large |q|) diagonal entry in the transfer matrix, for arbitrary widths m, as the solution of a special one-dimensional polymer model. We also obtain the large-q expansion of the bulk and surface (resp. corner) free energies for the zero-temperature antiferromagnet (= chromatic polynomial) through order q^{-47} (resp. q^{-46}). Finally, we compute chromatic roots for strips of widths 9 <= m <= 12 with free boundary conditions and locate roughly the limiting curves.
Leading coefficients of Kazhdan--Lusztig polynomials for Deodhar elements
Published
• View Publication
• BIB
We show that the leading coefficient of the Kazhdan--Lusztig polynomial $P_{x,w}(q)$ known as $μ(x,w)$ is always either 0 or 1 when $w$ is a Deodhar element of a finite Weyl group. The Deodhar elements have previously been characterized using pattern avoidance by Billey--Warrington (2001) and Billey--Jones (2007). In type $A$, these elements are precisely the 321-hexagon avoiding permutations. Using Deodhar's (1990) algorithm, we provide some combinatorial criteria to determine when $μ(x,w) = 1$ for such permutations $w$.
Partition Polynomials: Asymptotics and Zeros
Published
• View Publication
• BIB
Let $F_n(x)$ be the partition polynomial $\sum_{k=1}^n p_k(n) x^k$ where $p_k(n)$ is the number of partitions of $n$ with $k$ parts. We emphasize the computational experiments using degrees up to $70,000$ to discover the asymptotics of these polynomials. Surprisingly, the asymptotics of $F_n(x)$ have two scales of orders $n$ and $\sqrt{n}$ and in three different regimes inside the unit disk. Consequently, the zeros converge to network of curves inside the unit disk given in terms of the dilogarithm.
Polynomials associated with Partitions: Polynomials associated with Partitions: Their Asymptotics and Zeros
Published
• View Publication
• BIB
Let $p_n$ be the number of partitions of an integer $n$. For each of the partition statistics of counting their parts, ranks, or cranks, there is a natural family of integer polynomials. We investigate their asymptotics and the limiting behavior of their zeros as sets and densities.
On Enumeration of Conjugacy Classes of Coxeter Elements
Published in Proc. Amer. Math. Soc. 136 (2008), 4157-4165.
• View Publication
• BIB
In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T(Y,1,0), and we provide bijections to two other classes of acyclic orientations that are known to be counted in the same way. A transversal of the set of equivalence classes is given.
On certain spaces of lattice diagram polynomials
Published in Discrete Mathematics 256 (2002) 557-575
• View Publication
• BIB
The aim of this work is to study some lattice diagram determinants $Δ_L(X,Y)$. We recall that $M_L$ denotes the space of all partial derivatives of $Δ_L$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is defined as the sum of $M_L$ spaces where the lattice diagrams $L$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ in a fixed Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. This dimension is a multiple of $n!$ and thus we obtain a generalization of the $n!$ conjecture. Moreover, these upper bounds associated to nice properties of some special symmetric differential operators (the ``shift'' operators) allow us to construct explicit bases in the case of one set of variables, i.e. for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.
On certain spaces of lattice diagram determinants
Published in Dans Actes du colloque LACIM2000 - LaCIM2000, Montréal : Canada (2000)
• Search Publication
The aim of this work is to study some lattice diagram polynomials $Δ_D(X,Y)$. We recall that $M_D$ denotes the space of all partial derivatives of $Δ_D$. In this paper, we want to study the space $M^k_{i,j}(X,Y)$ which is the sum of $M_D$ spaces where the lattice diagrams $D$ are obtained by removing $k$ cells from a given partition, these cells being in the ``shadow'' of a given cell $(i,j)$ of the Ferrers diagram. We obtain an upper bound for the dimension of the resulting space $M^k_{i,j}(X,Y)$, that we conjecture to be optimal. These upper bounds allow us to construct explicit bases for the subspace $M^k_{i,j}(X)$ consisting of elements of 0 $Y$-degree.
Ideals and quotients of B-quasisymmetric functions
Published in Seminaire Lotharingien de Combinatoire B54 (2006) B54d
• Search Publication
The space $QSym_n(B)$ of $B$-quasisymmetric polynomials in 2 sets of $n$ variables was recently studied by Baumann and Hohlweg. The aim of this work is a study of the ideal $<QSym_n(B)^+>$ generated by $B$-quasisymmetric polynomials without constant term. In the case of the space $QSym_n$ of quasisymmetric polynomials in 1 set of $n$ variables, Aval, Bergeron and Bergeron proved that the dimension of the quotient of the space of polynomials by the ideal $<QSym_n^+>$ is given by Catalan numbers $C_n=\frac 1 {n+1} {2n \choose n}$. In the case of $B$-quasisymmetric polynomials, our main result is that the dimension of the analogous quotient is equal to $\frac{1}{2n+1}{3n\choose n}$, the numbers of ternary trees with $n$ nodes. The construction of a Gröbner basis for the ideal, as well as of a linear basis for the quotient are interpreted by a bijection with lattice paths. These results are finally extended to $p$ sets of variables, and the dimension is in this case $\frac{1}{pn+1}{(p+1)n\choose n}$, the numbers of $p$-ary trees with $n$ nodes.
Quasi-invariant and super-coinvariant polynomials for the generalized symmetric group
Published in Formal Power Series and Algebraic Combinatorics, Linköping : Suède (2003)
• Search Publication
The aim of this work is to extend the study of super-coinvariant polynomials, to the case of the generalized symmetric group $G_{n,m}$, defined as the wreath product $C_m\wr§_n$ of the symmetric group by the cyclic group. We define a quasi-symmetrizing action of $G_{n,m}$ on $\Q[x_1,...,x_n]$, analogous to those defined by Hivert in the case of $§_n$. The polynomials invariant under this action are called quasi-invariant, and we define super-coinvariant polynomials as polynomials orthogonal, with respect to a given scalar product, to the quasi-invariant polynomials with no constant term. Our main result is the description of a Gröbner basis for the ideal generated by quasi-invariant polynomials, from which we dedece that the dimension of the space of super-coinvariant polynomials is equal to $m^n C_n$ where $C_n$ is the $n$-th Catalan number.
Polynômes quasi-invariants et super-coinvariants pour le groupe symétrique généralisé
Published in Annales des sciences mathématiques du Québec 27, 2 (2003) 111-121
• Search Publication
A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.
Nested Hilbert schemes and the nested q,t-Catalan series
Published
• View Publication
• BIB
In this paper we study the tangent spaces of the smooth nested Hilbert scheme $ Hil{n,n-1}$ of points in the plane, and give a general formula for computing the Euler characteristic of a $\TT^2$-equivariant locally free sheaf on $\Hil{n,n-1}$. Applying our result to a particular sheaf, we conjecture that the result is a polynomial in the variables $q$ and $t$ with non-negative integer coefficients . We call this conjecturally positive polynomial as \textsl{the nested $q,t$-Cat alan series}, for it has many conjectural properties similar to that of the $q,t $-Catalan series.
An example of algebraization of analysis and Fibonacci cobweb poset characterization
In recent Kwasniewski's papers inspired by O. V. Viskov it was shown that the $ψ$-calculus in parts appears to be almost automatic, natural extension of classical operator calculus of Rota - Mullin or equivalently - of umbral calculus of Roman and Rota. At the same time this calculus is an example of the algebraization of the analysis - here restricted to the algebra of polynomials. The first part of the article is the review of the recent author's contribution. The main definitions and theorems of Finite Fibonomial
Operator Calculus which is a special case of $ψ$-extented Rota's finite operator calculus are presented there. In the second part the characterization of Fibonacci Cobweb poset P as DAG and oDAG is given. The dim 2 poset such that its Hasse diagram coincide with digraf of P is constructed.
Tutte chromatic identities from the Temperley-Lieb algebra
Published in Geom. Topol. 13 (2009) 709-741
• View Publication
• BIB
This paper introduces a conceptual framework, in the context of quantum topology and the algebras underlying it, for analyzing relations obeyed by the chromatic polynomial χ(Q) of planar graphs. Using it we give new proofs and substantially extend a number of classical results concerning the combinatorics of the chromatic polynomial. In particular, we show that Tutte's golden identity is a consequence of level-rank duality for SO(N) topological quantum field theories and Birman-Murakami-Wenzl algebras. This identity is a remarkable feature of the chromatic polynomial relating χ({φ+2}) for any triangulation of the sphere to (χ({φ+1}))^2 for the same graph, where φdenotes the golden ratio. The new viewpoint presented here explains that Tutte's identity is special to these values of the parameter Q. A natural context for analyzing such properties of the chromatic polynomial is provided by the {\em chromatic algebra}, whose Markov trace is the chromatic polynomial of an associated graph. We use it to show that another identity of Tutte's for the chromatic polynomial at Q=φ+1 arises from a Jones-Wenzl projector in the Temperley-Lieb algebra. We generalize this identity to each value Q= 2+2\cos(2πj/(n+1)) for j< n positive integers. When j=1, these Q are the Beraha numbers, where the existence of such identities was conjectured by Tutte. We present a recursive formula for this sequence of chromatic polynomial relations.
Combinatorial interpretation and positivity of Kerov's character polynomials
Published in J. Alg. Comb., 29 (4), pp. 473 - 507 (2009)
• View Publication
• BIB
Kerov's polynomials give irreducible character values in term of the free cumulants of the associated Young diagram. We prove in this article a positivity result on their coefficients, which extends a conjecture of S. Kerov. Our method, through decomposition of maps, gives a description of the coefficients of the k-th Kerov's polynomials using permutations in S(k). We also obtain explicit formulas or combinatorial interpretations for some coefficients. In particular, we are able to compute the subdominant term for character values on any fixed permutation (it was known for cycles).
Two addition theorems on polynomials of prime variables
We extend a recent result of Khalfalah and Szemeredi to the polynomials of prime variables.
Factorised solutions of Temperley-Lieb $q$KZ equations on a segment
Published in Adv. Theor. Math. Phys. 14 (2010), 795-877
• View Publication
• BIB
We study the q-deformed Knizhnik-Zamolodchikov equation in path representations of the Temperley-Lieb algebras. We consider two types of open boundary conditions, and in both cases we derive factorised expressions for the solutions of the qKZ equation in terms of Baxterised Demazurre-Lusztig operators. These expressions are alternative to known integral solutions for tensor product representations. The factorised expressions reveal the algebraic structure within the qKZ equation, and effectively reduce it to a set of truncation conditions on a single scalar function. The factorised expressions allow for an efficient computation of the full solution once this single scalar function is known. We further study particular polynomial solutions for which certain additional factorised expressions give weighted sums over components of the solution. In the homogeneous limit, we formulate positivity conjectures in the spirit of Di Francesco and Zinn-Justin. We further conjecture relations between weighted sums and individual components of the solutions for larger system sizes.
Intersective polynomials and polynomial Szemeredi theorem
Published
• View Publication
• BIB
Let $P=\{p_{1},\ld,p_{r}\}\subset\Q[n_{1},\ld,n_{m}]$ be a family of polynomials such that $p_{i}(\Z^{m})\sle\Z$, $i=1,\ld,r$. We say that the family $P$ has {\it PSZ property} if for any set $E\sle\Z$ with $d^{*}(E)=\limsup_{N-M\ras\infty}\frac{|E\cap[M,N-1]|}{N-M}>0$ there exist infinitely many $n\in\Z^{m}$ such that $E$ contains a polynomial progression of the form \hbox{$\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}$}. We prove that a polynomial family $P=\{p_{1},\ld,p_{r}\}$ has PSZ property if and only if the polynomials $p_{1},\ld,p_{r}$ are {\it jointly intersective}, meaning that for any $k\in\N$ there exists $n\in\Z^{m}$ such that the integers $p_{1}(n),\ld,p_{r}(n)$ are all divisible by $k$. To obtain this result we give a new ergodic proof of the polynomial Szemerédi theorem, based on the fact that the key to the phenomenon of polynomial multiple recurrence lies with the dynamical systems defined by translations on nilmanifolds. We also obtain, as a corollary, the following generalization of the polynomial van der Waerden theorem: If $p_{1},\ld,p_{r}\in\Q[n]$ are jointly intersective integral polynomials, then for any finite partition of $\Z$, $\Z=\bigcup_{i=1}^{k}E_{i}$, there exist $i\in\{1,\ld,k\}$ and $a,n\in E_{i}$ such that $\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}\sln E_{i}$.