polytope ↗ reference
3077 papers tagged with this keyword
The Number of Nowhere-Zero Flows on Graphs and Signed Graphs
Published in J. Combinatorial Th. Ser. B 96, no. 6 (2006), 901-918
• View Publication
• BIB
A nowhere-zero $k$-flow on a graph $Γ$ is a mapping from the edges of $Γ$ to the set $\{\pm1, \pm2, ..., \pm(k-1)\} \subset \bbZ$ such that, in any fixed orientation of $Γ$, at each node the sum of the labels over the edges pointing towards the node equals the sum over the edges pointing away from the node. We show that the existence of an \emph{integral flow polynomial} that counts nowhere-zero $k$-flows on a graph, due to Kochol, is a consequence of a general theory of inside-out polytopes. The same holds for flows on signed graphs. We develop these theories, as well as the related counting theory of nowhere-zero flows on a signed graph with values in an abelian group of odd order. Our results are of two kinds: polynomiality or quasipolynomiality of the flow counting functions, and reciprocity laws that interpret the evaluations of the flow polynomials at negative integers in terms of the combinatorics of the graph.
The partial-fractions method for counting solutions to integral linear systems
Published in Discrete & Computational Geometry 32 (2004), 437-446 (special issue in honor of Louis Billera)
• View Publication
• BIB
We present a new tool to compute the number $φ_\A (\b)$ of integer solutions to the linear system $$ \x \geq 0 \qquad \A \x = \b $$ where the coefficients of $\A$ and $\b$ are integral. $φ_\A (\b)$ is often described as a \emph{vector partition function}. Our methods use partial fraction expansions of Euler's generating function for $φ_\A (\b)$. A special class of vector partition functions are Ehrhart (quasi-)polynomials counting integer points in dilated polytopes.
Tropical Convexity
Published in Documenta Math. 9 (2004), 1--27
• View Publication
• BIB
The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed.
Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at http://www.math.uiuc.edu/documenta/vol-09/vol-09-eng.html .
On the Monotone Upper Bound Problem
Published
• View Publication
• BIB
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets.
It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank (n<=d+2: Gärtner et al., 2001). Here we prove that it is not tight in general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30 vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a strictly-increasing edge-path.
The proof involves classification results about neighborly polytopes, Kalai's (1988) concept of abstract objective functions, the Holt-Klee conditions (1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized generation of instances, as well as non-realizability proofs via a version of the Farkas lemma.
Quaternionic Geometry of Matroids
Published
• View Publication
• BIB
Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.
A weighted version of quantization commutes with reduction for a toric manifold
Published
• View Publication
• BIB
We compute explicitly the equivariant Hirzebruch $χ_y$-characteristic of an equivariant complex line bundle over a toric manifold and state a weighted version of the quantization commutes with reduction principle in symplectic geometry. Then, we give a weighted decomposition formula for any simple polytope in $\R^n$. This formula generalizes a polytope decomposition due to Lawrence [10] and Varchenko [14] and extends a previous weighted version obtained by Karshon, Sternberg and Weitsman [9].
Properties of parallelotopes equivalent to Voronoi's conjecture
Published
• View Publication
• BIB
A parallelotope is a polytope whose translation copies fill space without gaps and intersections by interior points. Voronoi conjectured that each parallelotope is an affine image of the Dirichlet domain of a lattice, which is a Voronoi polytope. We give several properties of a parallelotope and prove that each of them is equivalent to it is an affine image of a Voronoi polytope.
Euler Maclaurin with remainder for a simple integral polytope
Published
• View Publication
• BIB
We give an Euler Maclaurin formula with remainder for the sum of the values of a smooth function on the integral points in a simple integral polytope. This formula is proved by elementary methods.
Quotients of a Universal Locally Projective Polytope of type {5,3,5}
Published
• View Publication
• BIB
This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quotients of the polytope. A total of 145 quotients are found, including 69 section regular polytopes with the same facets and vertex figures as $\CP$.
On the graph-density of random 0/1-polytopes
Published
• View Publication
• BIB
Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n} (i.e., the number of one-dimensional faces of P_{d,n} divided by n(n-1)/2). Our main result is that, for any function n(d), the expected value of D_{d,n(d)} converges (with d tending to infinity) to one if, for some arbitrary e > 0, n(d) <= (\sqrt{2}-e)^d holds for all large d, while it converges to zero if n(d) >= (\sqrt{2}+e)^d holds for all large d.
On the cohomology of torus manifolds
Published in Osaka J. Math. 43 (2006), 711-746
• Search Publication
A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.
Some examples in toric geometry
We present two examples in toric geometry concerning the relationship between toric and quasitoric manifolds, and provide the sufficient conditions on the base polytope and characteristic map so that the resulting quasitoric manifold is almost complex.
A Closer Look at Lattice Points in Rational Simplices
Published in Electronic J. Comb. 6, no. 1 (1999), R 37
• View Publication
• BIB
We generalize Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational simplex, that is, an n-dimensional polytope with n+1 rational vertices, we use its description as the intersection of n+1 halfspaces, which determine the facets of the simplex. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We give an elementary proof that the lattice point counts in the interior and closure of such a "vector-dilated" simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. As an example, we derive a lattice point count formula for a rectangular rational triangle, which enables us to compute the number of lattice points inside any rational polygon.
Counting Lattice Points by means of the Residue Theorem
Published in Ramanujan J. 4, no. 3 (2000), 299-310
• View Publication
• BIB
We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.
The volume of the 10th Birkhoff polytope
The n'th Birkhoff polytope $B_n$ is the set of all doubly stochastic $n \times n$ matrices, that is, those matrices with nonnegative real coefficients in which every row and column sums to one. A long-standing open problem is the determination of the relative volume of $B_n$. In [arXiv:math.CO/0202267] we introduced a method of calculating this volume and used it to compute $\vol B_9$. This note is an update on our progress: with the same program (but much longer computing time), we have now derived $\vol B_{10}$.
Lattice path combinatorics and asymptotics of multiplicities of weights in tensor powers
Published in J. Funct. Anal. 217 (2004), no. 2, 402--447.
• View Publication
• BIB
We give asymptotic formulas for the multiplicities of weights and irreducible summands in high-tensor powers $V_λ^{\otimes N}$ of an irreducible representation $V_λ$ of a compact connected Lie group $G$. The weights are allowed to depend on $N$, and we obtain several regimes of pointwise asymptotics, ranging from a central limit region to a large deviations region. We use a complex steepest descent method that applies to general asymptotic counting problems for lattice paths with steps in a convex polytope.
Infinite serie of extreme Delaunay polytopes
Published
• View Publication
• BIB
A Delaunay polytope $P$ is said to be {\em extreme} if the only (up to isometries) affine bijective transformations $f$ of $\R^n$, for which $f(P)$ is again a Delaunay polytope, are the homotheties. This notion was introduced in \cite{DGL92}; also some examples in dimension 1, 6, 7, 15, 16, 22, 23 were constructed and it was proved that in dimension less than 6 there are no extreme Delaunay polytopes, except the segment. In this note, for every $n\geq 6$ we build an extreme Delaunay polytope $ED_n$ of dimension $n$.
h-vectors of Gorenstein* simplicial posets
Published in Adv. Math. 194 (2005), 332--344
• View Publication
• BIB
As is well known, h-vectors of simple (or simplicial) convex polytopes are characterized. In fact, those h-vectors must satisfy Dehn-Sommerville equations and some other inequalities. Simple convex polytopes determine Gorenstein* simplicial posets and h-vectors are defined for simplicial posets. It is known that h-vectors of Gorenstein* simplicial posets must satisfy Dehn-Sommerville equations and that every component in the h-vectors must be non-negative. In this paper we will show that h-vectors of Gorenstein* simplicial posets must satisfy one more subtle condition conjectured by R. Stanley and complete characterization of those h-vectors. Our proof is purely algebraic but the idea of the proof stems from topology.
Toric manifolds with degenerate dual variety and defect polytopes
We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.
The $E_t$-Construction for Lattices, Spheres and Polytopes
Published
• View Publication
• BIB
We describe and analyze a new construction that produces new Eulerian lattices from old ones. It specializes to a construction that produces new strongly regular cellular spheres (whose face lattices are Eulerian). The construction does not always specialize to convex polytopes; however, in a number of cases where we can realize it, it produces interesting classes of polytopes. Thus we produce an infinite family of rational 2-simplicial 2-simple 4-polytopes, as requested by Eppstein, Kuperberg and Ziegler. We also construct for each $d\ge3$ an infinite family of $(d-2)$-simplicial 2-simple $d$-polytopes, thus solving a problem of Grünbaum.