polynomial
11257 papers tagged with this keyword
Polynomial sequences of binomial-type arising in graph theory
Published
• View Publication
• BIB
In this paper, we show that the solution to a large class of "tiling" problems is given by a polynomial sequence of binomial type. More specifically, we show that the number of ways to place a fixed set of polyominos on an $n\times n$ toroidal chessboard such that no two polyominos overlap is eventually a polynomial in $n$, and that certain sets of these polynomials satisfy binomial-type recurrences. We exhibit generalizations of this theorem to higher dimensions and other lattices. Finally, we apply the techniques developed in this paper to resolve an open question about the structure of coefficients of chromatic polynomials of certain grid graphs (namely that they also satisfy a binomial-type recurrence).
Interval structure of the Pieri formula for Grothendieck polynomials
Published in International Journal of Algebra and Computation, Vol: 23 Iss: 1 pp123, 2013
• View Publication
• BIB
We give a combinatorial interpretation of a Pieri formula for double Grothendieck polynomials in terms of an interval of the Bruhat order. Another description had been given by Lenart and Postnikov in terms of chain enumerations. We use Lascoux's interpretation of a product of Grothendieck polynomials as a product of two kinds of generators of the 0-Hecke algebra, or sorting operators. In this way we obtain a direct proof of the result of Lenart and Postnikov and then prove that the set of permutations occuring in the result is actually an interval of the Bruhat order.
An algebraic approach to symmetric extended formulations
Published
• View Publication
• BIB
Extended formulations are an important tool to obtain small (even compact) formulations of polytopes by representing them as projections of higher dimensional ones. It is an important question whether a polytope admits a small extended formulation, i.e., one involving only a polynomial number of inequalities in its dimension. For the case of symmetric extended formulations (i.e., preserving the symmetries of the polytope) Yannakakis established a powerful technique to derive lower bounds and rule out small formulations. We rephrase the technique of Yannakakis in a group-theoretic framework. This provides a different perspective on symmetric extensions and considerably simplifies several lower bound constructions.
Recurrence relations and splitting formulas for the domination polynomial
Published in The Electronic Journal of Combinatorics 19(3) (2012) #P47
• View Publication
• BIB
The domination polynomial D(G,x) of a graph G is the generating function of its dominating sets. We prove that D(G,x) satisfies a wide range of reduction formulas. We show linear recurrence relations for D(G,x) for arbitrary graphs and for various special cases. We give splitting formulas for D(G,x) based on articulation vertices, and more generally, on splitting sets of vertices.
Obstructions to weak decomposability for simplicial polytopes
Published in Proc. Amer. Math. Soc., 142(9):3249-3257, 2014
• View Publication
• BIB
Provan and Billera introduced notions of (weak) decomposability of simplicial complexes as a means of attempting to prove polynomial upper bounds on the diameter of the facet-ridge graph of a simplicial polytope. Recently, De Loera and Klee provided the first examples of simplicial polytopes that are not weakly vertex-decomposable. These polytopes are polar to certain simple transportation polytopes. In this paper, we refine their analysis to prove that these $d$-dimensional polytopes are not even weakly $O(\sqrt{d})$-decomposable. As a consequence, (weak) decomposability cannot be used to prove a polynomial version of the Hirsch conjecture.
Generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes
Published in Symmetries, integrable systems and representations, 15--33, Springer Proc. Math. Stat., 40,, 2013
• View Publication
• BIB
In this paper we prove that the generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes of points in the plane has a beautiful decomposition into an infinite product. We also compute the generating series of the numbers of quasihomogeneous components in a moduli space of sheaves on the projective plane. The answer is given in terms of characters of the affine Lie algebra $\hat{sl}_m$.
Rationally smooth elements of Coxeter groups and triangle group avoidance
Published in J. Algebraic Combin. 30 (2014), no. 39, 659-681
• View Publication
• BIB
We study a family of infinite-type Coxeter groups defined by the avoidance of certain rank 3 parabolic subgroups. For this family, rationally smooth elements can be detected by looking at only a few coefficients of the Poincaré polynomial. We also prove a factorization theorem for the Poincaré polynomial of rationally smooth elements. As an application, we show that a large class of infinite-type Coxeter groups have only finitely many rationally smooth elements. Explicit enumerations and descriptions of these elements are given in special cases.
Independent sets in edge-clique graphs II
We show that edge-clique graphs of cocktail party graphs have unbounded rankwidth. This, and other observations lead us to conjecture that the edge-clique cover problem is NP-complete for cographs. We show that the independent set problem on edge-clique graphs of cographs. We show that the independent set problem on edge-clique graphs of graphs without odd wheels remains NP-complete. We present a PTAS for planar graphs and show that the problem is polynomial for planar graphs without triangle separators.
Full support of the Kasteleyn operator associated with a bipartite toroidal graph
A perfect matching in a bipartite graph embedded on a torus defines a height function on the graph's faces and an associated height change vector in $\Z^2$. These matchings are enumerated by a combination of four evaluations of a bivariate Laurent polynomial, called Kasteleyn operator, whose coefficient of bidegree (i,j) is, up to the sign, the number of perfect matchings with height change (i,j). Therefore the Newton polygon of the Kasteleyn operator is the convex hull of the height change vectors. In this article, we prove that any point with integer coordinates in that polygon is realized by a perfect matching.
Degenerate flag varieties: moment graphs and Schröder numbers
Published in JOURNAL OF ALGEBRAIC COMBINATORICS, p. 1-31, 2012
• View Publication
• BIB
We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.
Arithmetic of marked order polytopes, monotone triangle reciprocity, and partial colorings
Published
• View Publication
• BIB
For a poset P, a subposet A, and an order preserving map F from A into the real numbers, the marked order polytope parametrizes the order preserving extensions of F to P. We show that the function counting integral-valued extensions is a piecewise polynomial in F and we prove a reciprocity statement in terms of order-reversing maps. We apply our results to give a geometric proof of a combinatorial reciprocity for monotone triangles due to Fischer and Riegler (2011) and we consider the enumerative problem of counting extensions of partial graph colorings of Herzberg and Murty (2007).
Perfect taxon sampling and fixing taxon traceability: Introducing a class of phylogenetically decisive collections of taxon sets
Published
• View Publication
• BIB
Phylogenetically decisive collections of taxon sets have the property that if trees are chosen for each of their elements, as long as these trees are compatible, the resulting supertree is unique. This means that as long as the trees describing the phylogenetic relationships of the (input) species sets are compatible, they can only be combined into a common supertree in precisely one way. This setting is sometimes also referred to as \enquote{perfect taxon sampling}. While for rooted trees, the decision if a given set of input taxon sets is phylogenetically decisive can be made in polynomial time, the decision problem to determine whether a collection of taxon sets is phylogenetically decisive concerning \emph{unrooted} trees is unfortunately coNP-complete and therefore in practice hard to solve for large instances. This shows that recognizing such sets is often difficult. In this paper, we explain phylogenetic decisiveness and introduce a class of input taxon sets, namely so-called \emph{fixing taxon traceable} sets, which are guaranteed to be phylogenetically decisive and which can be recognized in polynomial time. Using both combinatorial approaches as well as simulations, we compare properties of fixing taxon traceability and phylogenetic decisiveness, e.g., by deriving lower and upper bounds for the number of quadruple sets (i.e., sets of 4-tuples) needed in the input set for each of these properties. In particular, we correct an erroneous lower bound concerning phylogenetic decisiveness from the literature.
We have implemented the algorithm to determine if a given collection of taxon sets is fixing taxon traceable in \textsf{R} and made our software package \verb+FixingTaxonTraceR+ publicly available.
Macdonald polynomials, Laumon spaces and perverse coherent sheaves
Published
• View Publication
• BIB
Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$-theoretic version of the main result of arXiv/0811.4454.
Matchings and Independent Sets of a Fixed Size in Regular Graphs
We use an entropy based method to study two graph maximization problems. We upper bound the number of matchings of fixed size $\ell$ in a $d$-regular graph on $N$ vertices. For $\frac{2\ell}{N}$ bounded away from 0 and 1, the logarithm of the bound we obtain agrees in its leading term with the logarithm of the number of matchings of size $\ell$ in the graph consisting of $\frac{N}{2d}$ disjoint copies of the complete bipartite graph $K_{d,d}$. This provides asymptotic evidence for a conjecture of S. Friedland {\it et al.}.
We also obtain an analogous result for independent sets of a fixed size in regular graphs, giving asymptotic evidence for a conjecture of J. Kahn. Our bounds on the number of matchings and independent sets of a fixed size are derived from bounds on the partition function (or generating polynomial) for matchings and independent sets.
Extensions of a result of Elekes and Rónyai
Published in Journal of Combinatorial Theory, Series A 120 (2013), 1695-1713
• View Publication
• BIB
Many problems in combinatorial geometry can be formulated in terms of curves or surfaces containing many points of a cartesian product. In 2000, Elekes and Rónyai proved that if the graph of a polynomial contains $cn^2$ points of an $n\times n\times n$ cartesian product in $\mathbb{R}^3$, then the polynomial has the form $f(x,y)=g(k(x)+l(y))$ or $f(x,y)=g(k(x)l(y))$. They used this to prove a conjecture of Purdy which states that given two lines in $\mathbb{R}^2$ and $n$ points on each line, if the number of distinct distances between pairs of points, one on each line, is at most $cn$, then the lines are parallel or orthogonal. We extend the Elekes-Rónyai Theorem to a less symmetric cartesian product. We also extend the Elekes-Rónyai Theorem to one dimension higher on an $n\times n\times n\times n$ cartesian product and an asymmetric cartesian product. We give a proof of a variation of Purdy's conjecture with fewer points on one of the lines. We finish with a lower bound for our main result in one dimension higher with asymmetric cartesian product, showing that it is near-optimal.
Ramanujan's {_1ψ_1} summation
Published in Notices of the AMS, 60, Number 1 (2013), 18-22
• Search Publication
This paper gives a short but reasonably comprehensive review of Ramanujan's {_1ψ_1} summation and its generalisations. It covers the history of Ramanujan's summation, simple applications to sums of squares and orthogonal polynomials, non-commutative generalisations, and generalisations to affine root systems.
Laurent phenomenon algebras
Published
• View Publication
• BIB
We generalize Fomin and Zelevinsky's cluster algebras by allowing exchange polynomials to be arbitrary irreducible polynomials, rather than binomials.
GL-equivariant modules over polynomial rings in infinitely many variables
Published in Trans. Amer. Math. Soc. 368 (2016), 1097-1158
• View Publication
• BIB
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly.
Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.
Flows on Simplicial Complexes
Published in Discrete Mathematics & Theoretical Computer Science Proc. AR (2012), 817-826 (Proceedings of FPSAC'12)
• View Publication
• BIB
Given a graph $G$, the number of nowhere-zero $\ZZ_q$-flows $φ_G(q)$ is known to be a polynomial in $q$. We extend the definition of nowhere-zero $\ZZ_q$-flows to simplicial complexes $Δ$ of dimension greater than one, and prove the polynomiality of the corresponding function $φ_Δ(q)$ for certain $q$ and certain subclasses of simplicial complexes.
On Chromatic Numbers of Integer and Rational Lattices
Published
• View Publication
• BIB
In the present paper, we have found new upper bounds for chromatic numbers for integer lattices and some rational spaces and other lattices. In particular, we have proved that for any concrete critical distance $d$ the chromatic number of $\Z^{n}$ with critical distance $\sqrt{2d}$ has a polynomial growth in $n$ with exponent less than or equal to $d$ (sometimes this estimate is sharp). The same statement is true not only in the Euclidean norm, but also in any $l_{p}$ norm. Besides, we have given concrete estimates for some small dimensions as well as upper bounds for the chromatic number of $\Q_{p}^{n}$, where by $\Q_{p}$ we mean the ring of all rational numbers having denominators not divisible by some prime numbers.