polytope ↗ reference
3024 papers tagged with this keyword
Multitriangulations, pseudotriangulations and some problems of realization of polytopes
This thesis explores two specific topics of discrete geometry, the multitriangulations and the polytopal realizations of products, whose connection is the problem of finding polytopal realizations of a given combinatorial structure.
A k-triangulation is a maximal set of chords of the convex n-gon such that no k+1 of them mutually cross. We propose a combinatorial and geometric study of multitriangulations based on their stars, which play the same role as triangles of triangulations. This study leads to interpret multitriangulations by duality as pseudoline arrangements with contact points covering a given support. We exploit finally these results to discuss some open problems on multitriangulations, in particular the question of the polytopal realization of their flip graphs.
We study secondly the polytopality of Cartesian products. We investigate the existence of polytopal realizations of cartesian products of graphs, and we study the minimal dimension that can have a polytope whose k-skeleton is that of a product of simplices.
Algebro-geometric semistability of polarized toric manifolds
Published
• View Publication
• BIB
Let $Δ\subset \mathbb{R}^n$ be an $n$-dimensional integral Delzant polytope. It is well-known that there exist the $n$-dimensional compact toric manifold $X_Δ$ and the very ample $(\mathbb{C}^\times)^n$-equivariant line bundle $L_Δ$ on $X_Δ$ associated with $Δ$. In the present paper, we give a necessary and sufficient condition for Chow semistability of $(X_Δ,L_Δ^i)$ for a maximal torus action. We then see that asymptotic (relative) Chow semistability implies (relative) K-semistability for toric degenerations, which is proved by Ross and Thomas, without any knowledge of Riemann-Roch theorem and test configurations.
Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.
The short toric polynomial
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1441-1468
• View Publication
• BIB
We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.
Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann polytopes as marked poset polytopes
Published in Journal of Combinatorial Theory, Series A 118 (2011), 2454-2462
• View Publication
• BIB
Stanley (1986) showed how a finite partially ordered set gives rise to two polytopes, called the order polytope and chain polytope, which have the same Ehrhart polynomial despite being quite different combinatorially. We generalize his result to a wider family of polytopes constructed from a poset P with integers assigned to some of its elements.
Through this construction, we explain combinatorially the relationship between the Gelfand-Tsetlin polytopes (1950) and the Feigin-Fourier-Littelmann polytopes (2010), which arise in the representation theory of the special linear Lie algebra. We then use the generalized Gelfand-Tsetlin polytopes of Berenstein and Zelevinsky (1989) to propose conjectural analogues of the Feigin-Fourier-Littelmann polytopes corresponding to the symplectic and odd orthogonal Lie algebras.
Small covers and the equivariant bordism classification of 2-torus manifolds
Published in International Mathematics Research Notices, Vol. 2014, No. 24, pp. 6756--6797
• View Publication
• BIB
Associated with the Davis-Januszkiewicz theory of small covers, this paper deals with the theory of 2-torus manifolds from the viewpoint of equivariant bordism. We define a differential operator on the "dual" algebra of the unoriented $G_n$-representation algebra introduced by Conner and Floyd, where $G_n=(\Z_2)^n$. With the help of $G_n$-colored graphs (or mod 2 GKM graphs), we may use this differential operator to give a very simple description of tom Dieck-Kosniowski-Stong localization theorem in the setting of 2-torus manifolds. We then apply this to study the $G_n$-equivariant unoriented bordism classification of $n$-dimensional 2-torus manifolds. We show that the $G_n$-equivariant unoriented bordism class of each $n$-dimensional 2-torus manifold contains an $n$-dimensional small cover as its representative, solving the conjecture posed in [19]. In addition, we also obtain that the graded noncommutative ring formed by the equivariant unoriented bordism classes of 2-torus manifolds of all possible dimensions is generated by the classes of all generalized real Bott manifolds (as special small covers over the products of simplices). This gives a strong connection between the computation of $G_n$-equivariant bordism groups or ring and the Davis-Januszkiewicz theory of small covers. As a computational application, with the help of computer, we completely determine the structure of the group formed by equivariant bordism classes of all 4-dimensional 2-torus manifolds. Finally, we give some essential relationships among 2-torus manifolds, coloring polynomials, colored simple convex polytopes, colored graphs.
Constructions of Chiral Polytopes of Small Rank
An abstract polytope of rank n is said to be chiral if its automorphism group has precisely two orbits on the flags, such that adjacent flags belong to distinct orbits. The present paper describes a general method for deriving new finite chiral polytopes from old finite chiral polytopes of the same rank. In particular, the technique is used to construct many new examples in ranks 3, 4 and 5.
Sobre un contraejemplo a la conjetura de Hirsch
Published in La Gaceta de la RSME, Vol. 13 (2010), Num. 3, 525-538
• Search Publication
This is an expository paper (in Spanish) describing the origin and history of the Hirsch Conjecture about the maximum diameter of graphs of polytopes, and the ideas that led to the counter-example to it recently announced by the author in arxiv:1006.2814
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to the Tutte type polynomials of graphs
Published
• View Publication
• BIB
A common generalization for the chromatic polynomial and the flow polynomial of a graph $G$ is the Tutte polynomial $T(G;x,y)$. The combinatorial meaning for the coefficients of $T$ was discovered by Tutte at the beginning of its definition. However, for a long time the combinatorial meaning for the values of $T$ is missing, except for a few values such as $T(G;i,j)$, where $1\leq i,j\leq 2$, until recently for $T(G;1,0)$ and $T(G;0,1)$. In this third one of a series of papers, we introduce product valuations, cartesian product arrangements, and multivariable characteristic polynomials, and apply the theory of product arrangement to the tension-flow group associated with graphs. Three types of tension-flows are studied in details: elliptic, parabolic, and hyperbolic; each type produces a two-variable polynomial for graphs. Weighted polynomials are introduced and their reciprocity laws are obtained. The dual versions for the parabolic case turns out to include Whitney's rank generating polynomial and the Tutte polynomial as special cases. The product arrangement part is of interest for its own right. The application part to graphs can be modified to matroids.
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.
On duality and fractionality of multicommodity flows in directed networks
Published in Discrete Optimization 8 (2011), 428-445
• View Publication
• BIB
In this paper we address a topological approach to multiflow (multicommodity flow) problems in directed networks. Given a terminal weight $μ$, we define a metrized polyhedral complex, called the directed tight span $T_μ$, and prove that the dual of $μ$-weighted maximum multiflow problem reduces to a facility location problem on $T_μ$. Also, in case where the network is Eulerian, it further reduces to a facility location problem on the tropical polytope spanned by $μ$. By utilizing this duality, we establish the classifications of terminal weights admitting combinatorial min-max relation (i) for every network and (ii) for every Eulerian network. Our result includes Lomonosov-Frank theorem for directed free multiflows and Ibaraki-Karzanov-Nagamochi's directed multiflow locking theorem as special cases.
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.
Three non-equivalent realizations of the associahedron
We review three realizations of the associahedron that arise as secondary polytopes, from cluster algebras, and as Minkowski sums of simplices, and show that under any choice of parameters, the resulting associahedra are affinely non-equivalent.
A counterexample to the Hirsch conjecture
Published in Annals of Math. (2), 176 (July 2012), 383-412
• View Publication
• BIB
The Hirsch Conjecture (1957) stated that the graph of a $d$-dimensional polytope with $n$ facets cannot have (combinatorial) diameter greater than $n-d$. That is, that any two vertices of the polytope can be connected by a path of at most $n-d$ edges.
This paper presents the first counterexample to the conjecture. Our polytope has dimension 43 and 86 facets. It is obtained from a 5-dimensional polytope with 48 facets which violates a certain generalization of the $d$-step conjecture of Klee and Walkup.
Geometric Combinatorics of Transportation Polytopes and the Behavior of the Simplex Method
This dissertation investigates the geometric combinatorics of convex polytopes and connections to the behavior of the simplex method for linear programming. We focus our attention on transportation polytopes, which are sets of all tables of non-negative real numbers satisfying certain summation conditions. Transportation problems are, in many ways, the simplest kind of linear programs and thus have a rich combinatorial structure. First, we give new results on the diameters of certain classes of transportation polytopes and their relation to the Hirsch Conjecture, which asserts that the diameter of every $d$-dimensional convex polytope with $n$ facets is bounded above by $n-d$. In particular, we prove a new quadratic upper bound on the diameter of $3$-way axial transportation polytopes defined by $1$-marginals. We also show that the Hirsch Conjecture holds for $p \times 2$ classical transportation polytopes, but that there are infinitely-many Hirsch-sharp classical transportation polytopes. Second, we present new results on subpolytopes of transportation polytopes. We investigate, for example, a non-regular triangulation of a subpolytope of the fourth Birkhoff polytope $B_4$. This implies the existence of non-regular triangulations of all Birkhoff polytopes $B_n$ for $n \geq 4$. We also study certain classes of network flow polytopes and prove new linear upper bounds for their diameters.
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kahler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kähler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
An Implicitization Challenge for Binary Factor Analysis
Published in J. Symbolic Comput. 45 (2010), no. 12, 1296--1315
• View Publication
• BIB
We use tropical geometry to compute the multidegree and Newton polytope of the hypersurface of a statistical model with two hidden and four observed binary random variables, solving an open question stated by Drton, Sturmfels and Sullivant in "Lectures on Algebraic Statistics" (Problem 7.7). The model is obtained from the undirected graphical model of the complete bipartite graph $K_{2,4}$ by marginalizing two of the six binary random variables. We present algorithms for computing the Newton polytope of its defining equation by parallel walks along the polytope and its normal fan. In this way we compute vertices of the polytope. Finally, we also compute and certify its facets by studying tangent cones of the polytope at the symmetry classes vertices. The Newton polytope has 17214912 vertices in 44938 symmetry classes and 70646 facets in 246 symmetry classes.
Generalized permutohedra, h-vector of cotransversal matroids and pure O-sequences
Published
• View Publication
• BIB
Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.