arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11284 papers tagged with this keyword
2009-02-13 v4
Associative polynomial functions over bounded distributive lattices
Published in Order - A Journal on the Theory of Ordered Sets and its Applications 28 (1) (2011) 1-8 • View PublicationBIB
The associativity property, usually defined for binary functions, can be generalized to functions of a given fixed arity n>=1 as well as to functions of multiple arities. In this paper, we investigate these two generalizations in the case of polynomial functions over bounded distributive lattices and present explicit descriptions of the corresponding associative functions. We also show that, in this case, both generalizations of associativity are essentially the same.
2009-02-12 v2
Recurrence formulas for Macdonald polynomials of type A
Published in Journal of Algebraic Combinatorics, 32 (2010), 113-131 • View PublicationBIB
We consider products of two Macdonald polynomials of type A, indexed by dominant weights which are respectively a multiple of the first fundamental weight and a weight having zero component on the k-th fundamental weight. We give the explicit decomposition of any Macdonald polynomial of type A in terms of this basis.
2009-02-11
A Combinatorial Approach to Multiplicity-Free Richardson Subvarieties of the Grassmannian
Published • View PublicationBIB
We consider Buch's rule for K-theory of the Grassmannian, in the Schur multiplicity-free cases classified by Stembridge. Using a result of Knutson, one sees that Buch's coefficients are related to Moebius inversion. We give a direct combinatorial proof of this by considering the product expansion for Grassmannian Grothendieck polynomials. We end with an extension to the multiplicity-free cases of Thomas and Yong.
2009-02-09
Bilinear and Quadratic Variants on the Littlewood-Offord Problem
Published in Israel Journal of Mathematics, Vol 194 (2013), pg. 359-394 • View PublicationBIB
If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/- a_n which take on any single value? Here we consider the case where f is either a bilinear form or a quadratic form. For the bilinear case, we show that the only forms having concentration significantly larger than n^{-1} are those which are in a certain sense very close to being degenerate. For the quadratic case, we show that no form having many nonzero coefficients has concentration significantly larger than n^{-1/2}. In both cases the results are nearly tight.
2009-02-08 v3
Jeu de taquin and a monodromy problem for Wronskians of polynomials
Published • View PublicationBIB
The Wronskian associates to d linearly independent polynomials of degree at most n, a non-zero polynomial of degree at most d(n-d). This can be viewed as giving a flat, finite morphism from the Grassmannian Gr(d,n) to projective space of the same dimension. In this paper, we study the monodromy groupoid of this map. When the roots of the Wronskian are real, we show that the monodromy is combinatorially encoded by Schutzenberger's jeu de taquin; hence we obtain new geometric interpretations and proofs of a number of results from jeu de taquin theory, including the Littlewood-Richardson rule.
2009-02-06 v3
Combinatorics and Genus of Tropical Intersections and Ehrhart Theory
Published • View PublicationBIB
Let $g_1, ..., g_k$ be tropical polynomials in $n$ variables with Newton polytopes $P_1, ..., P_k$. We study combinatorial questions on the intersection of the tropical hypersurfaces defined by $g_1, ..., g_k$, such as the $f$-vector, the number of unbounded faces and (in case of a curve) the genus. Our point of departure is Vigeland's work who considered the special case $k=n-1$ and where all Newton polytopes are standard simplices. We generalize these results to arbitrary $k$ and arbitrary Newton polytopes $P_1, ..., P_k$. This provides new formulas for the number of faces and the genus in terms of mixed volumes. By establishing some aspects of a mixed version of Ehrhart theory we show that the genus of a tropical intersection curve equals the genus of a toric intersection curve corresponding to the same Newton polytopes.
2009-02-02 v6
Counting elements and geodesics in Thompson's group $F$
Published • View PublicationBIB
We present two quite different algorithms to compute the number of elements in the sphere of radius $n$ of Thompson's group $F$ with standard generating set. The first of these requires exponential time and polynomial space, but additionally computes the number of geodesics and is generalisable to many other groups. The second algorithm requires polynomial time and space and allows us to compute the size of the spheres of radius $n$ with $n \leq 1500$. Using the resulting series data we find that the growth rate of the group is bounded above by $2.62167...$. This is very close to Guba's lower bound of $\tfrac{3+\sqrt{5}}{2}$ \cite{Guba2004}. Indeed, numerical analysis of the series data strongly suggests that the growth rate of the group is exactly $\tfrac{3+\sqrt{5}}{2}$.
2009-01-30 v3
Polynomial functions over bounded distributive lattices
Published in Journal of Multiple-Valued Logic and Soft Computing 18 (3-4) (2012) 247-256 • View PublicationBIB
Let L be a bounded distributive lattice. We give several characterizations of those L^n --> L mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions.
2009-01-29
Hankel determinants of q-exponential polynomials
We give simple proofs for the Hankel determinants of q-exponential polynomials.
2009-01-27 v3
The sl_3 Selberg integral
Published in Advances in Mathematics 224 (2010) 499-524 • View PublicationBIB
Using an extension of the well-known evaluation symmetry, a new Cauchy-type identity for Macdonald polynomials is proved. After taking the classical limit this yields a new sl_3 generalisation of the famous Selberg integral. Closely related results obtained in this paper are an sl_3-analogue of the Askey-Habsieger-Kadell q-Selberg integral and an extension of the q-Selberg integral to a transformation between q-integrals of different dimensions.
2009-01-26 v3
Combinatorial Cellular Decompositions for the Space of Complex Coefficient Polynomials
We describe a classification of degree n complex coefficient polynomials with respect to combinatorial patterns that arise from the two real algebraic curves obtained as the zero sets for their real and imaginary part. In particular, we work out explicitly this classification for degree 3 polynomials, and other special families of polynomials. This work extends to the singular case similar considerations of Martin, Savitt, and Singer for non-singular basketballs.
2009-01-26 v2
Growth Diagrams for the Schubert Multiplication
Published • View PublicationBIB
We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.
Average-case analysis of perfect sorting by reversals
Published in CPM'09, Lille : France (2009) • View PublicationBIB
A sequence of reversals that takes a signed permutation to the identity is perfect if at no step a common interval is broken. Determining a parsimonious perfect sequence of reversals that sorts a signed permutation is NP-hard. Here we show that, despite this worst-case analysis, with probability one, sorting can be done in polynomial time. Further, we find asymptotic expressions for the average length and number of reversals in commuting permutations, an interesting sub-class of signed permutations.
2009-01-17 v2
An inverse theorem for the uniformity seminorms associated with the action of $F^ω$
Published in Geom. Funct. Anal. 19 (2010), No. 6, 1539-1596 • View PublicationBIB
Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $φ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.
Extensions to the Method of Multiplicities, with applications to Kakeya Sets and Mergers
Published • View PublicationBIB
We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in $\F_q^n$ must be of size at least $q^n/2^n$. This bound is tight to within a $2 + o(1)$ factor for every $n$ as $q \to \infty$, compared to previous bounds that were off by exponential factors in $n$. (B) We give improved randomness extractors and "randomness mergers". Mergers are seeded functions that take as input $Λ$ (possibly correlated) random variables in $\{0,1\}^N$ and a short random seed and output a single random variable in $\{0,1\}^N$ that is statistically close to having entropy $(1-δ) \cdot N$ when one of the $Λ$ input variables is distributed uniformly. The seed we require is only $(1/δ)\cdot \log Λ$-bits long, which significantly improves upon previous construction of mergers. (C) Using our new mergers, we show how to construct randomness extractors that use logarithmic length seeds while extracting $1 - o(1)$ fraction of the min-entropy of the source. The "method of multiplicities", as used in prior work, analyzed subsets of vector spaces over finite fields by constructing somewhat low degree interpolating polynomials that vanish on every point in the subset {\em with high multiplicity}. The typical use of this method involved showing that the interpolating polynomial also vanished on some points outside the subset, and then used simple bounds on the number of zeroes to complete the analysis. Our augmentation to this technique is that we prove, under appropriate conditions, that the interpolating polynomial vanishes {\em with high multiplicity} outside the set. This novelty leads to significantly tighter analyses.
2009-01-14 v2
Coloring H-free Hypergraphs
Published • View PublicationBIB
Fix $r \ge 2$ and a collection of $r$-uniform hypergraphs $\cH$. What is the minimum number of edges in an $\cH$-free $r$-uniform hypergraph with chromatic number greater than $k$. We investigate this question for various $\cH$. Our results include the following: An $(r,l)$-system is an $r$-uniform hypergraph with every two edges sharing at most $l$ vertices. For $k$ sufficiently large, the minimum number of edges in an $(r,l)$-system with chromatic number greater than $k$ is at most $c(k^{r-1}\log k)^{l/(l-1)}$, where $$c<...$$ This improves on the previous best bounds of Kostochka-Mubayi-Rödl-Tetali \cite{KMRT}. The upper bound is sharp aside from the constant $c$ as shown in \cite{KMRT}. The minimum number of edges in an $r$-uniform hypergraph with independent neighborhoods and chromatic number greater than $k$ is of order $\tilde k^{r+1/(r-1)}$ as $k \to \infty$. This generalizes (aside from logarithmic factors) a result of Gimbel and Thomassen \cite{GT} for triangle-free graphs. Let $T$ be an $r$-uniform hypertree of $t$ edges. Then every $T$-free $r$-uniform hypergraph has chromatic number at most $p(t)$, where $p(t)$ is a polynomial in $t$. This generalizes the well known fact that every $T$-free graph has chromatic number at most $t$. Several open problems and conjectures are also posed.
2009-01-13
Distribution of Random Variables on the Symmetric Group
The well known Erdos-Turan law states that the logarithm of an order of a random permutation is asymptotically normally distributed. The aim of this work is to estimate convergence rate in this theorem and also to prove analogous result for distribution of the logarithm of an order of a random permutation on a certain class of subsets of the symmetric group. We also study the asymptotic behavior of the mean values of multiplicative functions on the symmetric group and the results we obtain are of independent interest besides their application to the investigation of the remainder term in the Erdos-Turan law. We also study a related problem of distribution of the degree of a splitting field of a random polynomial and obtain sharp estimates for its convergence rate to normal law. In research we apply both probabilistic and analytic methods. Some analytic methods used here have their origins in the probabilistic number theory, and some have their roots in the theory of summation of divergent series. One of the approaches we use is to apply Tauberian type estimates for Voronoi summability of divergent series to analyze the generating functions of the mean values of multiplicative functions.
2009-01-12 v3
K-theory Schubert calculus of the affine Grassmannian
Published in Compositio Math. 146 (2010) 811-852 • View PublicationBIB
We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = SL_n, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called K-k-Schur functions, whose highest degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations using Kashiwara's thick affine flag manifold.
2009-01-12 v2
q,t-Fuss-Catalan numbers for finite reflection groups
Published • View PublicationBIB
In type A, the q,t-Fuss-Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group. We generalize this construction to (finite) complex reflection groups and, based on computer experiments, we exhibit several conjectured algebraic and combinatorial properties of these polynomials with non-negative integer coefficients. We prove the conjectures for the dihedral groups and for the cyclic groups. Finally, we present several ideas how the q,t-Fuss-Catalan numbers could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras and thereby generalize known connections.
2009-01-12 v2
Pseudo-factorials, elliptic functions, and continued fractions
Published • View PublicationBIB
This study presents miscellaneous properties of pseudo-factorials, which are numbers whose recurrence relation is a twisted form of that of usual factorials. These numbers are associated with special elliptic functions, most notably, a Dixonian and a Weierstrass function, which parametrize the Fermat cubic curve and are relative to a hexagonal lattice. A continued fraction expansion of the ordinary generating function of pseudo-factorials, first discovered empirically, is established here. This article also provides a characterization of the associated orthogonal polynomials, which appear to form a new family of "elliptic polynomials", as well as various other properties of pseudo-factorials, including a hexagonal lattice sum expression and elementary congruences.