polytope ↗ reference
3022 papers tagged with this keyword
Regular and chiral polytopes in low dimensions
There are two main thrusts in the theory of regular and chiral polytopes: the abstract, purely combinatorial aspect, and the geometric one of realizations. This brief survey concentrates on the latter. The dimension of a faithful realization of a finite abstract regular polytope in some euclidean space is no smaller than its rank, while that of a chiral polytope must strictly exceed the rank. There are similar restrictions on the dimensions of realizations of regular and chiral apeirotopes. From the viewpoint of realizations in a fixed dimension, the problems are now completely solved in up to three dimensions, while considerable progress has been made on the classification in four dimensions, the finite regular case again having been solved. This article reports on what has been done already, and what might be expected in the near future.
Weighted Brianchon-Gram decomposition
Published
• View Publication
• BIB
We give in this note a weighted version of Brianchon-Gram's decomposition for a simple polytope. This weighted version is a direct consequence of the ordinary Brianchon-Gram formula.
Tropical Convexity via Cellular Resolutions
Published in J. Algebraic Combin. 24 (2006), no. 1, 103--114
• View Publication
• BIB
The tropical convex hull of a finite set of points in tropical projective space has a natural structure of a cellular free resolution. Therefore, methods from computational commutative algebra can be used to compute tropical convex hulls. Tropical cyclic polytopes are also presented.
Neighborly Cubical Polytopes and Spheres
Published
• View Publication
• BIB
We prove that the neighborly cubical polytopes studied by G"unter M. Ziegler and the first author arise as a special case of neighborly cubical spheres constructed by Babson, Billera, and Chan. By relating the two constructions we obtain an explicit description of a non-polytopal neighborly cubical sphere and, further, a new proof of the fact that the cubical equivelar surfaces of McMullen, Schulz, and Wills can be embedded into R^3.
Permutation polytopes and indecomposable elements in permutation groups
Published
• View Publication
• BIB
Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving writing permutations as products of indecomposable permutations.
Cohen-Macaulay cell complexes
Published in Algebraic and geometric combinatorics, p.205-220, Contemp. Math. 423, Amer. Math. Soc., Providence, RI, 2006
• Search Publication
We show that a finite regular cell complex with the intersection property is a Cohen-Macaulay space iff the top enriched cohomology module is the only nonvanishing one. We prove a comprehensive generalization of Balinski's theorem on convex polytopes. Also we show that for any Cohen-Macaulay cell complex as above, although there is no generalization of the Stanley-Reisner ring of simplicial complexes, there is a generalization of its canonical module.
Sur la forme de la boule unité de la norme stable unidimensionnelle
Published in Manuscripta Mathematica 119 (2006) 347-358
• View Publication
• BIB
For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are completely described by combinatorial properties of the graph. We study then the realizable forms as stable ball of Riemannan manifolds of dimension larger than three. For a Riemannian manifold $(M, g)$ fixed, we show that a broad class of polytopes can appear as stable ball of metrics in the conformal class of $g$. We use for that a polyhedral technique.
Chains in the Bruhat order
Published
• View Publication
• BIB
We study a family of polynomials whose values express degrees of Schubert varieties in the generalized complex flag manifold G/B. The polynomials are given by weighted sums over saturated chains in the Bruhat order. We derive several explicit formulas for these polynomials, and investigate their relations with Schubert polynomials, harmonic polynomials, Demazure characters, and generalized Littlewood-Richardson coefficients. In the second half of the paper, we concern with the case of to the classical flag manifold of Lie type A and discuss related combinatorial objects: flagged Schur polynomials, 312-avoiding permutations, generalized Gelfand-Tsetlin polytopes, the inverse Schubert-Kostka matrix, parking functions, and binary trees.
Geometric approach to error correcting codes and reconstruction of signals
Published in International Mathematical Research Notices 64 (2005), 4019--4041
• Search Publication
We develop an approach through geometric functional analysis to error correcting codes and to reconstruction of signals from few linear measurements. An error correcting code encodes an n-letter word x into an m-letter word y in such a way that x can be decoded correctly when any r letters of y are corrupted. We prove that most linear orthogonal transformations Q from R^n into R^m form efficient and robust robust error correcting codes over reals. The decoder (which corrects the corrupted components of y) is the metric projection onto the range of Q in the L_1 norm. An equivalent problem arises in signal processing: how to reconstruct a signal that belongs to a small class from few linear measurements? We prove that for most sets of Gaussian measurements, all signals of small support can be exactly reconstructed by the L_1 norm minimization. This is a substantial improvement of recent results of Donoho and of Candes and Tao. An equivalent problem in combinatorial geometry is the existence of a polytope with fixed number of facets and maximal number of lower-dimensional facets. We prove that most sections of the cube form such polytopes.
Two New Bounds on the Random-Edge Simplex Algorithm
Published in SIAM Journal on Discrete Mathematics 21, 178-190 (2007)
• View Publication
• BIB
We prove that the Random-Edge simplex algorithm requires an expected number of at most 13n/sqrt(d) pivot steps on any simple d-polytope with n vertices. This is the first nontrivial upper bound for general polytopes. We also describe a refined analysis that potentially yields much better bounds for specific classes of polytopes. As one application, we show that for combinatorial d-cubes, the trivial upper bound of 2^d on the performance of Random-Edge can asymptotically be improved by any desired polynomial factor in d.
On the Computation of Clebsch-Gordan Coefficients and the Dilation Effect
Published
• View Publication
• BIB
We investigate the problem of computing tensor product multiplicities for complex semisimple Lie algebras. Even though computing these numbers is #P-hard in general, we show that if the rank of the Lie algebra is assumed fixed, then there is a polynomial time algorithm, based on counting the lattice points in polytopes. In fact, for Lie algebras of type A_r, there is an algorithm, based on the ellipsoid algorithm, to decide when the coefficients are nonzero in polynomial time for arbitrary rank. Our experiments show that the lattice point algorithm is superior in practice to the standard techniques for computing multiplicities when the weights have large entries but small rank. Using an implementation of this algorithm, we provide experimental evidence for conjectured generalizations of the saturation property of Littlewood--Richardson coefficients. One of these conjectures seems to be valid for types B_n, C_n, and D_n.
A non-regular Groebner fan
Published in Discrete Comput. Geom. 37 (2007), no, 443--453
• View Publication
• BIB
The Groebner fan of an ideal $I\subset k[x_1,...,x_n]$, defined by Mora and Robbiano, is a complex of polyhedral cones in $R^n$. The maximal cones of the fan are in bijection with the distinct monomial initial ideals of $I$ as the term order varies. If $I$ is homogeneous the Groebner fan is complete and is the normal fan of the state polytope of $I$. In general the Groebner fan is not complete and therefore not the normal fan of a polytope. We may ask if the restricted Groebner fan, a subdivision of $R_{>=0}^n$, is regular i.e. the normal fan of a polyhedron. The main result of this paper is an example of an ideal in $Q[x_1,...,x_4]$ whose restricted Groebner fan is not regular.
Irrational proofs for three theorems of Stanley
Published in European Journal of Combinatorics 28, no. 1 (2007), 403-409
• View Publication
• BIB
We give new proofs of three theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley's reciprocity theorem, relates the rational generating functions for the integer points in a cone K and for those in its interior. The second, Stanley's Positivity theorem asserts that the generating function of the Ehrhart quasipolynomial of a rational polytope P can be written as a rational function with nonnegative numerator. The third, Stanley's Monotonicity Theorem, asserts that if a polytope Q contains P, then each coefficient in the numerator for Q is at least as large as the corresponding coefficient in the numerator for P. Our proofs are based on elementary (primary school) counting afforded by irrational decompositions of rational polyhedra.
Supertopes
A perfect (Delaunay) ellipsoid is an ellipsoid in n-dimensional Euclidean space that does not contain integral points in its interior, but is uniquely defined by integral points that lie on its surface. A perfect Delaunay polytope with respect to a positive quadratic form f() is a polytope with integral vertices that is circumscribed by a perfect Delaunay ellipsoid with an equation whose quadratic part is f(). This document has been corrected on January 15, 2005. Note that it represents the state of the area as of the end of 2002. For recent research on perfect Delaunay polytopes see my recent preprint, with Erdahl and Ordine, math.NT/0408122 on ArXiv.org .
Alcoved Polytopes I
Published
• View Publication
• BIB
The aim of this paper is to study alcoved polytopes, which are polytopes arising from affine Coxeter arrangements. This class of convex polytopes includes many classical polytopes, for example, the hypersimplices. We compare two constructions of triangulations of hypersimplices due to Stanley and Sturmfels and explain them in terms of alcoved polytopes. We study triangulations of alcoved polytopes, the adjacency graphs of these triangulations, and give a combinatorial formula for volumes of these polytopes. In particular, we study a class of matroid polytopes, which we call the multi-hypersimplices.
Compressed polytopes and statistical disclosure limitation
Published
• View Publication
• BIB
We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.
On the geometry of graph arrangements
We use the results of AG/0406290 to discuss the counting formulas of network flow polytopes and magic squares, i.e. the formula for the corresponding Ehrhart polynomial in terms of residues. We also discuss a description of the big cells using the theory of non broken circuit bases.
Polyhedral surfaces of high genus
Published
• View Publication
• BIB
The construction of the COMBINATORIAL data for a surface with n vertices of maximal genus is a classical problem: The maximal genus g=[(n-3)(n-4)/12] was achieved in the famous ``Map Color Theorem'' by Ringel et al. (1968). We present the nicest one of Ringel's constructions, for the case when n is congruent to 7 mod 12, but also an alternative construction, essentially due to Heffter (1898), which easily and explicitly yields surfaces of genus g ~ 1/16 n^2.
For GEOMETRIC (polyhedral) surfaces with n vertices the maximal genus is not known. The current record is g ~ n log n, due to McMullen, Schulz & Wills (1983). We present these surfaces with a new construction: We find them in Schlegel diagrams of ``neighborly cubical 4-polytopes,'' as constructed by Joswig & Ziegler (2000).
Revlex-Initial 0/1-Polytopes
Published
• View Publication
• BIB
We introduce revlex-initial 0/1-polytopes as the convex hulls of reverse-lexicographically initial subsets of 0/1-vectors. These polytopes are special knapsack-polytopes. It turns out that they have remarkable extremal properties. In particular, we use these polytopes in order to prove that the minimum numbers f(d, n) of facets and the minimum average degree a(d, n) of the graph of a d-dimensional 0/1-polytope with n vertices satisfy f(d, n) <= 3d and a(d, n) <= d + 4. We furthermore show that, despite the sparsity of their graphs, revlex-initial 0/1-polytopes satisfy a conjecture due to Mihail and Vazirani, claiming that the graphs of 0/1-polytopes have edge-expansion at least one.
Enriched homology and cohomology modules of simplicial complexes
Published in J. Algebraic Combinatorics 25 (2007), no. 3, p. 285-307
• View Publication
• BIB
For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups.
We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex.
We also put strong vanishing conditions on the enriched homology modules and describe the simplicial complexes we then get. They are block designs and include Steiner systems S(c,d,n) and cyclic polytopes of even dimension.