polynomial
11422 papers tagged with this keyword
Incidence Theorems and Their Applications
Published
• View Publication
• BIB
We survey recent (and not so recent) results concerning arrangements of lines, points and other geometric objects and the applications these results have in theoretical computer science and combinatorics. The three main types of problems we will discuss are:
(1) Counting incidences: Given a set (or several sets) of geometric objects (lines, points, etc..), what is the maximum number of incidences (or intersections) that can exist between elements in different sets? We will see several results of this type, such as the Szemeredi-Trotter theorem, over the reals and over finite fields and discuss their applications in combinatorics (e.g., in the recent solution of Guth and Katz to Erdos' distance problem) and in computer science (in explicit constructions of multi-source extractors).
(2) Kakeya type problems: These problems deal with arrangements of lines that point in different directions. The goal is to try and understand to what extent these lines can overlap one another. We will discuss these questions both over the reals and over finite fields and see how they come up in the theory of randomness-extractors.
(3) Sylvester-Gallai type problems: In this type of problems, one is presented with a configuration of points that contain many `local' dependencies (e.g., three points on a line) and is asked to derive a bound on the dimension of the span of all points. We will discuss several recent results of this type, over various fields, and see their connection to the theory of locally correctable error-correcting codes.
Throughout the different parts of the survey, two types of techniques will make frequent appearance. One is the polynomial method, which uses polynomial interpolation to impose an algebraic structure on the problem at hand. The other recurrent techniques will come from the area of additive combinatorics.
Remarks on the paper "Skew Pieri rules for Hall-Littlewood functions" by Konvalinka and Lauve
Published in Journal of Algebraic Combinatorics 38 (2013), 519-526
• View Publication
• BIB
In a recent paper Konvalinka and Lauve proved several skew Pieri rules for Hall-Littlewood polynomials. In this note we show that q-analogues of these rules are encoded in a q-binomial theorem for Macdonald polynomials due to Lascoux and the author.
The $\s$-Eulerian polynomials have only real roots
Published in Trans. Amer. Math. Soc. 367 (2015), 1441-1466
• View Publication
• BIB
We study the roots of generalized Eulerian polynomials via a novel approach. We interpret Eulerian polynomials as the generating polynomials of a statistic over inversion sequences. Inversion sequences (also known as Lehmer codes or subexcedant functions) were recently generalized by Savage and Schuster, to arbitrary sequences $\s$ of positive integers, which they called $\s$-inversion sequences.
Our object of study is the generating polynomial of the {\em ascent} statistic over the set of $\s$-inversion sequences of length $n$. Since this ascent statistic over inversion sequences is equidistributed with the descent statistic over permutations we call this generalized polynomial the \emph{$\s$-Eulerian polynomial}. The main result of this paper is that, for any sequence $\s$ of positive integers, the $\s$-Eulerian polynomial has only real roots.
This result is first shown to generalize many existing results about the real-rootedness of various Eulerian polynomials. We then show that it can be used to settle a conjecture of Brenti, that Eulerian polynomials for all finite Coxeter groups have only real roots. It is then extended to several $q$-analogs. We also show that the MacMahon--Carlitz $q$-Eulerian polynomial has only real roots whenever $q$ is a positive real number confirming a conjecture of Chow and Gessel. The same holds true for the $(\des,\finv)$-generating polynomials and also for the $(\des,\fmaj)$-generating polynomials for the hyperoctahedral group and the wreath product groups, confirming further conjectures of Chow and Gessel, and Chow and Mansour, respectively.
Wreath Macdonald polynomials and categorical McKay correspondence
Published
• View Publication
• BIB
Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$.
A short proof of a similar derived equivalence for any symplectic quotient singularity has been obtained by the first author and Kaledin via quantization in positive characteristic. In the present note we show the properties of the derived equivalence which imply the generalized Macdonald positivity for wreath products.
On the Complexity of Hilbert Refutations for Partition
Published in J. Symbolic Comp. 66(2015), 70-83
• View Publication
• BIB
Given a set of integers W, the Partition problem determines whether W can be divided into two disjoint subsets with equal sums. We model the Partition problem as a system of polynomial equations, and then investigate the complexity of a Hilbert's Nullstellensatz refutation, or certificate, that a given set of integers is not partitionable. We provide an explicit construction of a minimum-degree certificate, and then demonstrate that the Partition problem is equivalent to the determinant of a carefully constructed matrix called the partition matrix. In particular, we show that the determinant of the partition matrix is a polynomial that factors into an iteration over all possible partitions of W.
The Boundary of the Gelfand-Tsetlin Graph: New Proof of Borodin-Olshanski's Formula, and its q-analogue
Published
• View Publication
• BIB
In the recent paper [arXiv:1109.1412], Borodin and Olshanski have presented a novel proof of the celebrated Edrei-Voiculescu theorem which describes the boundary of the Gelfand-Tsetlin graph as a region in an infinite-dimensional coordinate space. This graph encodes branching of irreducible characters of finite-dimensional unitary groups. Points of the boundary of the Gelfand-Tsetlin graph can be identified with finite indecomposable (= extreme) characters of the infinite-dimensional unitary group. An equivalent description identifies the boundary with the set of doubly infinite totally nonnegative sequences.
A principal ingredient of Borodin-Olshanski's proof is a new explicit determinantal formula for the number of semi-standard Young tableaux of a given skew shape (or of Gelfand-Tsetlin schemes of trapezoidal shape). We present a simpler and more direct derivation of that formula using the Cauchy-Binet summation involving the inverse Vandermonde matrix. We also obtain a q-generalization of that formula, namely, a new explicit determinantal formula for arbitrary q-specializations of skew Schur polynomials. Its particular case is related to the q-Gelfand-Tsetlin graph and q-Toeplitz matrices introduced and studied by Gorin [arXiv:1011.1769].
A canonical expansion of the product of two Stanley symmetric functions
Published
• View Publication
• BIB
We study the problem of expanding the product of two Stanley symmetric functions $F_w\cdot F_u$ into Stanley symmetric functions in some natural way. Our approach is to consider a Stanley symmetric function as a stabilized Schubert polynomial $F_{w}=\lim_{n\to \infty}\mathfrak{S}_{1^{n}\times w}$, and study the behavior of the expansion of $\s_{1^n\times w}\cdot\s_{1^n\times u}$ into Schubert polynomials, as $n$ increases. We prove that this expansion stabilizes and thus we get a natural expansion for the product of two Stanley symmetric functions. In the case when one permutation is Grassmannian, we have a better understanding of this stability. We then study some other related stable properties, which provides a second proof of the main result.
A New Approach to Permutation Polynomials over Finite Fields, II
Published
• View Publication
• BIB
Let $p$ be a prime and $q$ a power of $p$. For $n\ge 0$, let $g_{n,q}\in\Bbb F_p[{\tt x}]$ be the polynomial defined by the functional equation $\sum_{a\in\Bbb F_q}({\tt x}+a)^n=g_{n,q}({\tt x}^q-{\tt x})$. When is $g_{n,q}$ a permutation polynomial (PP) of $\Bbb F_{q^e}$? This turns out to be a challenging question with remarkable breath and depth, as shown in the predecessor of the present paper. We call a triple of positive integers $(n,e;q)$ {\em desirable} if $g_{n,q}$ is a PP of $\Bbb F_{q^e}$. In the present paper, we find many new classes of desirable triples whose corresponding PPs were previously unknown. Several new techniques are introduced for proving a given polynomial is a PP.
Enumeration of Linear Transformation Shift Registers
Published in Designs, Codes and Cryptography, Vol. 75, No. 2 (2015), pp. 301-314
• View Publication
• BIB
We consider the problem of counting the number of linear transformation shift registers (TSRs) of a given order over a finite field. We derive explicit formulae for the number of irreducible TSRs of order two. An interesting connection between TSRs and self-reciprocal polynomials is outlined. We use this connection and our results on TSRs to deduce a theorem of Carlitz on the number of self-reciprocal irreducible monic polynomials of a given degree over a finite field.
On existence of Budaghyan-Carlet APN hexanomials
Published in Finite Fields and Their Applications 24, 118-123, 2013
• View Publication
• BIB
Budaghyan and Carlet constructed a family of almost perfect nonlinear (APN) hexanomials over a field with r^2 elements, and with terms of degrees r+1, s+1, rs+1, rs+r, rs+s, and r+s, where r = 2^m and s = 2^n with GCD(m,n)=1. The construction requires a technical condition, which was verified empirically in a finite number of examples. Bracken, Tan, and Tan (arXiv:1110.3177 [cs.it]) proved the condition holds when m = 2 or 4 (mod 6). In this article, we prove that the construction of Budaghyan and Carlet produces APN polynomials for all m and n.
In the case where GCD(m,n) = k >= 1, Budaghyan and Carlet showed that the nonzero derivatives of the hexanomials are 2^k-to-one maps from F_{r^2} to F_{r^2}, provided the same technical condition holds. We prove their construction produces hexanomials with this differential property for all m and n.
Disposition Polynomials and Plane Trees
Published
• View Publication
• BIB
We define the disposition polynomial $R_{m}(x_1, x_2, ..., x_n)$ as $\prod_{k=0}^{m-1}(x_1+x_2+...+x_n+k)$. When $m=n-1$, this polynomial becomes the generating function of plane trees with respect to certain statistics as given by Guo and Zeng. When $x_i=1$ for $1\leq i\leq n$, $R_{m}(x_1, x_2, ..., x_n)$ reduces to the rising factorial $n(n+1)... (n+m-1)$. Guo and Zeng asked the question of finding a combinatorial proof of the formula for the generating function of plane trees with respect to the number of younger children and the number of elder children. We find a combinatorial interpretation of the disposition polynomials in terms of the number of right-to-left minima of each linear order in a disposition. Then we establish a bijection between plane trees on $n$ vertices and dispositions from ${1, 2,..., n-1}$ to ${1, 2,..., n}$ in the spirit of the Prüfer correspondence. It gives an answer to the question of Guo and Zeng, and it also provides an answer to another question of Guo and Zeng concerning an identity on the plane tree expansion of a polynomial introduced by Gessel and Seo.
Output polynomial enumeration of all fixed-cardinality ideals of a poset, respectively all fixed-cardinality subtrees of a tree
Published in Order 31 (2014) 121-135
• View Publication
• BIB
The N cardinality k ideals of any w-element poset (w, k variable) can be enumerated in time O(Nw^3). The corresponding bound for k-element subtrees of a w-element tree is O(Nw^5). An algorithm is described that by the use of wildcards displays all order ideals of a poset in a compact manner, i.e. not one by one.
Proper caterpillars are distinguished by their symmetric chromatic function
Published
• View Publication
• BIB
This paper deals with the so-called Stanley conjecture, which asks whether they are non-isomorphic trees with the same symmetric function generalization of the chromatic polynomial. By establishing a correspondence between caterpillars trees and integer compositions, we prove that caterpillars in a large class (we call trees in this class proper) have the same symmetric chromatic function generalization of the chromatic polynomial if and only if they are isomorphic.
The Distribution of Heights of Discrete Excursions
We compute the limiting distribution of height of a random discrete excursion with step sets consisting of one positive step 1 and arbitrary finite set of non-positive integers. The limit law is the supremum of a Brownian excursion. This is well-known for Dyck and Motzkin paths. We apply a representation of the length and height generating function in terms of certain Schur polynomials put forward in a 2008 paper by Bousquet-Melout which leads to a form of the moment generating functions amenable to a Mellin transform analysis.
Context-free Grammars and Multivariate Stable Polynomials over Stirling Permutations
Published
• View Publication
• BIB
Recently, Haglund and Visontai established the stability of the multivariate Eulerian polynomials as the generating polynomials of the Stirling permutations, which serves as a unification of some results of Bóna, Brenti, Janson, Kuba, and Panholzer concerning Stirling permutations. Let $B_n(x)$ be the generating polynomials of the descent statistic over Legendre-Stirling permutations, and let $T_n(x)=2^nC_n(x/2)$, where $C_n(x)$ are the second-order Eulerian polynomials. Haglund and Visontai proposed the problems of finding multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. We obtain context-free grammars leading to multivariate stable refinements of the polynomials $B_n(x)$ and $T_n(x)$. Moreover, the grammars enable us to obtain combinatorial interpretations of the multivariate polynomials in terms of Legendre-Stirling permutations and marked Stirling permutations. Such stable multivariate polynomials provide solutions to two problems posed by Haglund and Visontai.
Vertex Nim played on graphs
Given a graph G with positive integer weights on the vertices, and a token placed on some current vertex u, two players alternately remove a positive integer weight from u and then move the token to a new current vertex adjacent to u. When the weight of a vertex is set to 0, it is removed and its neighborhood becomes a clique. The player making the last move wins. This adaptation of Nim on graphs is called Vertexnim, and slightly differs from the game Vertex NimG introduced by Stockman in 2004. Vertexnim can be played on both directed or undirected graphs. In this paper, we study the complexity of deciding whether a given game position of Vertexnim is winning for the first or second player. In particular, we show that for undirected graphs, this problem can be solved in quadratic time. Our algorithm is also available for the game Vertex NimG, thus improving Stockman's exptime algorithm. In the directed case, we are able to compute the winning strategy in polynomial time for several instances, including circuits or digraphs with self loops.
A new polynomial on compositions of integers: on distinguishing caterpillars from their symmetric chromatic function
In this paper, we propose an algebraic approach to determine whether two non-isomorphic caterpillar trees can have the same symmetric function generalization of the chromatic polynomial. On the set of all composition on integers, we introduce: An operation, which we call composition product; and a combinatorial polynomial, which we call the composition-lattice polynomial or L-polynomial, that mimics the weighted graph polynomial of Noble and Welsh. We prove a unique irreducible factorization theorem and establish a connection between the L-polynomial of a composition and its irreducible factorization, namely that reversing irreducible factors does not change L, and conjecture that is the only way of generating such compositions. Finally, we find a sufficient condition for two caterpillars have a different symmetric function generalization of the chromatic polynomial, and use this condition to show that if our conjecture were to hold, then the symmetric function generalization of the chromatic polynomial distinguishes among a large class of caterpillars.
Unimodality and Dyck paths
We propose an original approach to the problem of rankunimodality for Dyck lattices. It is based on a well known recursive construction of Dyck paths originally developed in the context of the ECO methodology, which provides a partition of Dyck lattices into saturated chains. Even if we are not able to prove that Dyck lattices are rank-unimodal, we describe a family of polynomials (which constitutes a polynomial analog of ballot numbers) and a succession rule which appear to be useful in addressing such a problem. At the end of the paper, we also propose and begin a systematic investigation of the problem of unimodality of succession rules.
Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial
We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets.
A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects.
We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.
Improved bounds for incidences between points and circles
Published in Combinator. Probab. Comp. 24 (2015) 490-520
• View Publication
• BIB
We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in R^3 without first improving it in the plane.
Nevertheless, we show that if the set of circles is required to be "truly three-dimensional" in the sense that no sphere or plane contains more than $q$ of the circles, for some $q << n$, then the bound can be improved to \[O*(m^{3/7}n^{6/7} + m^{2/3}n^{1/2}q^{1/6} + m^{6/11}n^{15/22}q^{3/22} + m + n). \]
For various ranges of parameters (e.g., when $m=Θ(n)$ and $q = o(n^{7/9})$), this bound is smaller than the lower bound $Ω*(m^{2/3}n^{2/3}+m+n)$, which holds in two dimensions.
We present several extensions and applications of the new bound: (i) For the special case where all the circles have the same radius, we obtain the improved bound $O*(m^{5/11}n^{9/11} + m^{2/3}n^{1/2}q^{1/6} + m + n$. (ii) We present an improved analysis that removes the subpolynomial factors from the bound when $m=O(n^{3/2-\eps})$ for any fixed $\varepsilon >0$. (iii) We use our results to obtain the improved bound $O(m^{15/7})$ for the number of mutually similar triangles determined by any set of $m$ points in R^3.
Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry.