polynomial
11422 papers tagged with this keyword
The flag polynomial of the Minkowski sum of simplices
Published
• View Publication
• BIB
For a polytope we define the {\em flag polynomial}, a polynomial in commuting variables related to the well-known flag vector and describe how to express the the flag polynomial of the Minkowski sum of $k$ standard simplices in a direct and canonical way in terms of the {\em $k$-th master polytope} $P(k)$ where $k\in\nats$. The flag polynomial facilitates many direct computations. To demonstrate this we provide two examples; we first derive a formula for the $f$-polynomial and the maximum number of $d$-dimensional faces of the Minkowski sum of two simplices. We then compute the maximum discrepancy between the number of $(0,d)$-chains of faces of a Minkowski sum of two simplices and the number of such chains of faces of a simple polytope of the same dimension and on the same number of vertices.
Notes on lattice points of zonotopes and lattice-face polytopes
Published
• View Publication
• BIB
Minkowski's second theorem on successive minima gives an upper bound on the volume of a convex body in terms of its successive minima. We study the problem to generalize Minkowski's bound by replacing the volume by the lattice point enumerator of a convex body. In this context we are interested in bounds on the coefficients of Ehrhart polynomials of lattice polytopes via the successive minima. Our results for lattice zonotopes and lattice-face polytopes imply, in particular, that for 0-symmetric lattice-face polytopes and lattice parallelepipeds the volume can be replaced by the lattice point enumerator.
Rational Ehrhart quasi-polynomials
Published
• View Publication
• BIB
Ehrhart's famous theorem states that the number of integral points in a rational polytope is a quasi-polynomial in the integral dilation factor. We study the case of rational dilation factors and it turns out that the number of integral points can still be written as a rational quasi-polynomial. Furthermore the coefficients of this rational quasi-polynomial are piecewise polynomial functions and related to each other by derivation.
The Tutte polynomial of the Sierpinski and Hanoi graphs
Published in Advances in Geometry, Vol. 13 (2013), Issue 4, 663-694
• View Publication
• BIB
We study the Tutte polynomial of two infinite families of finite graphs: the Sierpiński graphs, which are finite approximations of the well-known Sierpiński gasket, and the Schreier graphs of the Hanoi Towers group $H^{(3)}$ acting on the rooted ternary tree. For both of them, we recursively describe the Tutte polynomial and we compute several special evaluations of it, giving interesting results about the combinatorial structure of these graphs.
Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials
Published in JCSS 79(1) (February, 2013) 68-78
• View Publication
• BIB
We consider the problem of approximating certain combinatorial polynomials. First, we consider the problem of approximating the Tutte polynomial of a binary matroid with parameters q>= 2 and gamma. (Relative to the classical (x,y) parameterisation, q=(x-1)(y-1) and gamma=y-1.) A graph is a special case of a binary matroid, so earlier work by the authors shows inapproximability (subject to certain complexity assumptions) for q>2, apart from the trivial case gamma=0. The situation for q=2 is different. Previous results for graphs imply inapproximability in the region -2<=gamma<0, apart from at two "special points" where the polynomial can be computed exactly in polynomial time. For binary matroids, we extend this result by showing (i) there is no FPRAS in the region gamma<-2 unless NP=RP, and (ii) in the region gamma>0, the approximation problem is hard for the complexity class #RHPi_1 under approximation-preserving (AP) reducibility. The latter result indicates a gap in approximation complexity at q=2: whereas an FPRAS is known in the graphical case, there can be none in the binary matroid case, unless there is an FPRAS for all of #RHPi_1. The result also implies that it is computationally difficult to approximate the weight enumerator of a binary linear code, apart from at the special weights at which the problem is exactly solvable in polynomial time. As a consequence, we show that approximating the cycle index polynomial of a permutation group is hard for #RHPi_1 under AP-reducibility, partially resolving a question that we first posed in 1992.
A new combinatorial identity for unicellular maps, via a direct bijective approach
Published in Advances in Applied Mathematics, 47(4):874-893 (2011)
• View Publication
• BIB
A unicellular map, or one-face map, is a graph embedded in an orientable surface such that its complement is a topological disk. In this paper, we give a new viewpoint to the structure of these objects, by describing a decomposition of any unicellular map into a unicellular map of smaller genus. This gives a new combinatorial identity for the number $ε_g(n)$ of unicellular maps of size $n$ and genus $g$. Contrarily to the Harer-Zagier recurrence formula, this identity is recursive in only one parameter (the genus). Iterating the construction gives an explicit bijection between unicellular maps and plane trees with distinguished vertices, which gives a combinatorial explanation (and proof) of the fact that $ε_g(n)$ is the product of the $n$-th Catalan number by a polynomial in $n$. The combinatorial interpretation also gives a new and simple formula for this polynomial. Variants of the problem are considered, like bipartite unicellular maps, or unicellular maps with cubic vertices only.
Galois groups of multivariate Tutte polynomials
Published
• View Publication
• BIB
The multivariate Tutte polynomial $\hat Z_M$ of a matroid $M$ is a generalization of the standard two-variable version, obtained by assigning a separate variable $v_e$ to each element $e$ of the ground set $E$. It encodes the full structure of $M$. Let $\bv = \{v_e\}_{e\in E}$, let $K$ be an arbitrary field, and suppose $M$ is connected. We show that $\hat Z_M$ is irreducible over $K(\bv)$, and give three self-contained proofs that the Galois group of $\hat Z_M$ over $K(\bv)$ is the symmetric group of degree $n$, where $n$ is the rank of $M$. An immediate consequence of this result is that the Galois group of the multivariate Tutte polynomial of any matroid is a direct product of symmetric groups. Finally, we conjecture a similar result for the standard Tutte polynomial of a connected matroid.
Some operator identities related to $q-$Hermite polynomials
Some $q-$analogues of the normal ordering of the operator $(X+sD)^n$ on the polynomials are derived.
Conflict-Free Coloring Made Stronger
Published
• View Publication
• BIB
In FOCS 2002, Even et al. showed that any set of $n$ discs in the plane can be Conflict-Free colored with a total of at most $O(\log n)$ colors. That is, it can be colored with $O(\log n)$ colors such that for any (covered) point $p$ there is some disc whose color is distinct from all other colors of discs containing $p$. They also showed that this bound is asymptotically tight. In this paper we prove the following stronger results:
\begin{enumerate} \item [(i)] Any set of $n$ discs in the plane can be colored with a total of at most $O(k \log n)$ colors such that (a) for any point $p$ that is covered by at least $k$ discs, there are at least $k$ distinct discs each of which is colored by a color distinct from all other discs containing $p$ and (b) for any point $p$ covered by at most $k$ discs, all discs covering $p$ are colored distinctively. We call such a coloring a {\em $k$-Strong Conflict-Free} coloring. We extend this result to pseudo-discs and arbitrary regions with linear union-complexity.
\item [(ii)] More generally, for families of $n$ simple closed Jordan regions with union-complexity bounded by $O(n^{1+α})$, we prove that there exists a $k$-Strong Conflict-Free coloring with at most $O(k n^α)$ colors.
\item [(iii)] We prove that any set of $n$ axis-parallel rectangles can be $k$-Strong Conflict-Free colored with at most $O(k \log^2 n)$ colors.
\item [(iv)] We provide a general framework for $k$-Strong Conflict-Free coloring arbitrary hypergraphs. This framework relates the notion of $k$-Strong Conflict-Free coloring and the recently studied notion of $k$-colorful coloring. \end{enumerate}
All of our proofs are constructive. That is, there exist polynomial time algorithms for computing such colorings.
On Apery numbers and generalized central trinomial coefficients
We decide to combine this preprint with two other ones (arXiv:1101.1946 and arXiv:1008.3887). The results on Apery numbers and polynomials will be added to the new version of arxiv:1101.1946, and those results on generalized trinomial coefficients will be added to the new version of arxiv:1008.3887
Kazhdan-Lusztig polynomials and drift configurations
Published in Algebra & Number Theory J., Vol. 5 (2011), No. 5, 595-626
• View Publication
• BIB
The coefficients of the Kazhdan-Lusztig polynomials $P_{v,w}(q)$ are nonnegative integers that are upper semicontinuous on Bruhat order. Conjecturally, the same properties hold for $h$-polynomials $H_{v,w}(q)$ of local rings of Schubert varieties. This suggests a parallel between the two families of polynomials. We prove our conjectures for Grassmannians, and more generally, covexillary Schubert varieties in complete flag varieties, by deriving a combinatorial formula for $H_{v,w}(q)$. We introduce \emph{drift configurations} to formulate a new and compatible combinatorial rule for $P_{v,w}(q)$. From our rules we deduce, for these cases, the coefficient-wise inequality $P_{v,w}(q)\preceq H_{v,w}(q)$.
Gallai-Edmonds Structure Theorem for Weighted Matching Polynomial
Published
• View Publication
• BIB
In this paper, we prove the Gallai-Edmonds structure theorem for the most general matching polynomial. Our result implies the Parter-Wiener theorem and its recent generalization about the existence of principal submatrices of a Hermitian matrix whose graph is a tree. keywords:
The Quadratic Graver Cone, Quadratic Integer Minimization, and Extensions
Published in Mathematical Programming, 136:301--323, 2012
• View Publication
• BIB
We consider the nonlinear integer programming problem of minimizing a quadratic function over the integer points in variable dimension satisfying a system of linear inequalities. We show that when the Graver basis of the matrix defining the system is given, and the quadratic function lies in a suitable {\em dual Graver cone}, the problem can be solved in polynomial time. We discuss the relation between this cone and the cone of positive semidefinite matrices, and show that none contains the other. So we can minimize in polynomial time some non-convex and some (including all separable) convex quadrics.
We conclude by extending our results to efficient integer minimization of multivariate polynomial functions of arbitrary degree lying in suitable cones.
Orthogonal polynomials and operator orderings
Published in JOURNAL OF MATHEMATICAL PHYSICS 51, 043506 (2010?)
• View Publication
• BIB
An alternative and combinatorial proof is given for a connection between a system of Hahn polynomials and identities for symmetric elements in the Heisenberg algebra, which was first observed by Bender, Mead, and Pinsky [Phys. Rev. Lett. 56 (1986), J. Math. Phys. 28, 509 (1987)] and proved by Koornwinder [J. Phys. Phys. 30(4), 1989]. In the same vein two results announced by Bender and Dunne [J. Math. Phys. 29 (8), 1988] connecting a special one-parameter class of Hermitian operator orderings and the continuous Hahn polynomials are also proved.
Computing Node Polynomials for Plane Curves
Published
• View Publication
• BIB
According to the Göttsche conjecture (now a theorem), the degree N^{d, delta} of the Severi variety of plane curves of degree d with delta nodes is given by a polynomial in d, provided d is large enough. These "node polynomials" N_delta(d) were determined by Vainsencher and Kleiman-Piene for delta <= 6 and delta <= 8, respectively. Building on ideas of Fomin and Mikhalkin, we develop an explicit algorithm for computing all node polynomials, and use it to compute N_delta(d) for delta <= 14. Furthermore, we improve the threshold of polynomiality and verify Göttsche's conjecture on the optimal threshold up to delta <= 14. We also determine the first 9 coefficients of N_delta(d), for general delta, settling and extending a 1994 conjecture of Di Francesco and Itzykson.
The Tutte-Potts connection in the presence of an external magnetic field
Published in Adv. in Appl. Math., 47 (2011) 772-782
• View Publication
• BIB
The classical relationship between the Tutte polynomial of graph theory and the Potts model of statistical mechanics has resulted in valuable interactions between the disciplines. Unfortunately, it does not include the external magnetic fields that appear in most Potts model applications. Here we define the V-polynomial, which lifts the classical relationship between the Tutte polynomial and the zero field Potts model to encompass external magnetic fields. The V-polynomial generalizes Nobel and Welsh's W-polynomial, which extends the Tutte polynomial by incorporating vertex weights and adapting contraction to accommodate them. We prove that the variable field Potts model partition function (with its many specializations) is an evaluation of the V-polynomial, and hence a polynomial with deletion-contraction reduction and Fortuin-Kasteleyn type representation. This unifies an important segment of Potts model theory and brings previously successful combinatorial machinery, including complexity results, to bear on a wider range of statistical mechanics models.
Degenerations and orbits in finite abelian groups
Published in Journal of Combinatorial Theory, Series A, Volume 118, Issue 6, August 2011, Pages 1685-1694
• View Publication
• BIB
A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition $λ$, the lattice parametrizing orbits in a finite abelian p-group of type $λ$ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.
Gorenstein polytopes and their stringy E-functions
Published
• View Publication
• BIB
Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these concepts relate to the decomposition of nef-partitions.
The degree of a $q$-holonomic sequence is a quadratic quasi-polynomial
Published
• View Publication
• BIB
A sequence of rational functions in a variable $q$ is $q$-holonomic if it satisfies a linear recursion with coefficients polynomials in $q$ and $q^n$. We prove that the degree of a $q$-holonomic sequence is eventually a quadratic quasi-polynomial. Our proof uses differential Galois theory (adapting proofs regarding holonomic $D$-modules to the case of $q$-holonomic $D$-modules) combined with the Lech-Mahler-Skolem theorem from number theory. En route, we use the Newton polygon of a linear $q$-difference equation, and introduce the notion of regular-singular $q$-difference equation and a WKB basis of solutions of a linear $q$-difference equation at $q=0$. We then use the Lech-Mahler-Skolem theorem to study the vanishing of their leading term. Unlike the case of $q=1$, there are no analytic problems regarding convergence of the WKB solutions.Our proofs are constructive, and they are illustrated by an explicit example.
The symmetric and unimodal expansion of Eulerian polynomials via continued fractions
Published in European Journal of Combinatorics, 33(2), 111-127, 2012
• View Publication
• BIB
This paper was motivated by a conjecture of Brändén (European J. Combin. \textbf{29} (2008), no.~2, 514--531) about the divisibility of the coefficients in an expansion of generalized Eulerian polynomials, which implies the symmetric and unimodal property of the Eulerian numbers. We show that such a formula with the conjectured property can be derived from the combinatorial theory of continued fractions. We also discuss an analogous expansion for the corresponding formula for derangements and prove a $(p,q)$-analogue of the fact that the (-1)-evaluation of the enumerator polynomials of permutations (resp. derangements) by the number of excedances gives rise to tangent numbers (resp. secant numbers). The $(p,q)$-analogue unifies and generalizes our recent results (European J. Combin. \textbf{31} (2010), no.~7, 1689--1705.) and that of Josuat-Vergès (European J. Combin. \textbf{31} (2010), no.~7, 1892--1906).