polytope ↗ reference
3024 papers tagged with this keyword
On the asymptotics of Kronecker coefficients
Published
• View Publication
• BIB
Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). We describe a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. Moreover the method gives access to lots of extra information. Most notably, we can often compute the stable Kronecker coefficients, sometimes as number of points in very explicit polytopes. We can also describe explicitely the moment polytope in the neighbourhood of our stable triples. Finally, we explain an observation of Stembridge on the behaviour of certain rectangular Kronecker coefficients, by relating it to the affine Dynkin diagram of type $E\_6$.
The infinite cyclohedron and its automorphism group
Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron.
The $δ$-vectors of reflexive polytopes and of the dual polytopes
Published in Discrete Mathematics 339(2016) 2450--2456
• View Publication
• BIB
Let $δ(\mathcal{P})$ be the $δ$-vector of a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ and $δ(\mathcal{P} ^\vee)$ the $δ$-vector of the dual polytope $\mathcal{P}^\vee \subset \mathbb{R}^d$. In general, $δ(\mathcal{P})=δ(\mathcal{P}^\vee)$ does not hold. In this paper, we give a higher-dimensional construction of reflexive polytope whose $δ$-vector equals the $δ$-vector of the dual polytope. In particular, we consider the case that the reflexive polytope and the dual polytope are unimodularly equivalent.
The Hierarchy of Circuit Diameters and Transportation Polytopes
Published
• View Publication
• BIB
The study of the diameter of the graph of polyhedra is a classical problem in the theory of linear programming. While transportation polytopes are at the core of operations research and statistics it is still open whether the Hirsch conjecture is true for general $m{\times}n$--transportation polytopes. In earlier work the first three authors introduced a hierarchy of variations to the notion of graph diameter in polyhedra. The key reason was that this hierarchy provides some interesting lower bounds for the usual graph diameter.
This paper has three contributions: First, we compare the hierarchy of diameters for the $m{\times}n$--transportation polytopes. We show that the Hirsch conjecture bound of $m+n-1$ is actually valid in most of these diameter notions. Second, we prove that for $3{\times}n$--transportation polytopes the Hirsch conjecture holds in the classical graph diameter. Third, we show for $2{\times}n$--transportation polytopes that the stronger monotone Hirsch conjecture holds and improve earlier bounds on the graph diameter.
Combinatorially two-orbit convex polytopes
Published
• View Publication
• BIB
Any convex polytope whose combinatorial automorphism group has two orbits on the flags is isomorphic to one whose group of Euclidean symmetries has two orbits on the flags (equivalently, to one whose automorphism group and symmetry group coincide.) Hence, a combinatorially two-orbit convex polytope is isomorphic to one of a known finite list, all of which are 3-dimensional: the cuboctahedron, icosidodecahedron, rhombic dodecahedron, or rhombic triacontahedron. The same is true of combinatorially two-orbit normal face-to-face tilings by convex polytopes.
Canonical bases for cluster algebras
Published
• View Publication
• BIB
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.
Affine Symmetries of Orbit Polytopes
Published in Adv. Math. 288, pp. 386-425 (2016)
• View Publication
• BIB
An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense set of generic points such that the orbit polytopes of generic points have conjugated affine symmetry groups. We prove that the symmetry group of a generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand, we describe some general cases where the affine symmetry group grows.
We apply our theory to representation polytopes (the convex hull of a finite matrix group) and show that their affine symmetries can be computed effectively from a certain character. We use this to construct counterexamples to a conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math. 222 (2009), 431--452, Conjecture~5.4].
Thirty-five years and counting
It has been 35 years since Stanley proved that f-vectors of boundaries of simplicial polytopes satisfy McMullen's conjectured g-conditions. Since then one of the outstanding questions in the realm of face enumeration is whether or not Stanley's proof could be extended to larger classes of spheres. Here we hope to give an overview of various attempts to accomplish this and why we feel this is so important. In particular, we will see a strong connection to f-vectors of manifolds and pseudomanifolds. Along the way we have included several previously unpublished results involving how the g-conjecture relates to bistellar moves and small g_2, the topology and combinatorics of stacked manifolds introduced independently by Bagchi and Datta, and Murai and Nevo, and counterexamples to over optimistic generalizations of the g-theorem.
Toric graph associahedra and compactifications of $M_{0,n}$
Published in Journal of Algebraic Combinatorics (2016) Vol. 43 Issue 1 pp 139-151
• View Publication
• BIB
To any graph $G$ one can associate a toric variety $X(\mathcal{P}G)$, obtained as a blowup of projective space along coordinate subspaces corresponding to connected subgraphs of $G$. The polytope of this toric variety is the graph associahedron of $G$, a class of polytopes that includes the permutohedron, associahedron, and stellahedron. We show that the space $X(\mathcal{P}{G})$ is isomorphic to a Hassett compactification of $M_{0,n}$ precisely when $G$ is an iterated cone over a discrete set. This may be viewed as a generalization of the well-known fact that the Losev--Manin moduli space is isomorphic to the toric variety associated to the permutohedron.
Three Ehrhart Quasi-polynomials
Published
• View Publication
• BIB
Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$
S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum the integrals. The purely discrete sum is of course a particular case ($L=0$), so $S^0(P(b), 1)$ counts the integer points in the parametric polytopes.
The chambers are the open conical subsets of $R^N$ such that the shape of $P(b)$ does not change when $b$ runs over a chamber. We first prove that on every chamber of $R^N$, $S^L (P(b),h)$ is given by a quasi-polynomial function of $b\in R^N$. A key point of our paper is an analysis of the interplay between two notions of degree on quasi-polynomials: the usual polynomial degree and a filtration, called the local degree.
Then, for a fixed $k\leq d$, we consider a particular linear combination of such intermediate weighted sums, which was introduced by Barvinok in order to compute efficiently the $k+1$ highest coefficients of the Ehrhart quasi-polynomial which gives the number of points of a dilated rational polytope. Thus, for each chamber, we obtain a quasi-polynomial function of $b$, which we call Barvinok's patched quasi-polynomial (at codimension level $k$).
Finally, for each chamber, we introduce a new quasi-polynomial function of $b$, the cone-by-cone patched quasi-polynomial (at codimension level $k$), defined in a refined way by linear combinations of intermediate generating functions for the cones at vertices of $P(b)$.
We prove that both patched quasi-polynomials agree with the discrete weighted sum $b\mapsto S^0(P(b),h)$ in the terms corresponding to the $k+1$ highest polynomial degrees.
Marked poset polytopes: Minkowski sums, indecomposables, and unimodular equivalence
Published
• View Publication
• BIB
We analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic.
We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreover, we provide a decomposition of the marked poset into indecomposable marked posets, which respects this Minkowski sum decomposition for the marked chain polytopes polytopes.
Codes for DNA Storage Channels
Published
• View Publication
• BIB
We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Lattice polytopes in coding theory
Published in J. Algebra Comb. Discrete Appl., 2(2) pp.85-94 (2015)
• View Publication
• BIB
In this paper we discuss combinatorial questions about lattice polytopes motivated by recent results on minimum distance estimation for toric codes. We also prove a new inductive bound for the minimum distance of generalized toric codes. As an application, we give new formulas for the minimum distance of generalized toric codes for special lattice point configurations.
A characterization of Gorenstein toric Del Pezzo $n$-folds
Published
• View Publication
• BIB
We give a characterizaion of Gorenstein toric Fano $n$-folds with index $n-1$, which is called Gorenstein toric Del Pezzo $n$-folds, among toric varieties. In practice, we obtain a condition for a lattice $n$-polytope to be a Gorenstein Fano polytope. In our proof, we do not use Batyrev-Juny's classification of Gorenstein Fano polytopes.
Core-based criterion for extreme supermodular functions
Published in Discrete Applied Mathematics, 206:122-151, 2016
• Search Publication
We give a necessary and sufficient condition for extremality of a supermodular function based on its min-representation by means of (vertices of) the corresponding core polytope. The condition leads to solving a certain simple linear equation system determined by the combinatorial core structure. Our result allows us to characterize indecomposability in the class of generalized permutohedra. We provide an in-depth comparison between our result and the description of extremality in the supermodular/submodular cone achieved by other researchers.
Irrational mixed decomposition and sharp fewnomial bounds for tropical polynomial systems
Published
• View Publication
• BIB
Given convex polytopes $P_1,...,P_r$ in $R^n$ and finite subsets $W_I$ of the Minkowsky sums $P_I=\sum_{i \in I} P_i$, we consider the quantity $N(W)=\sum_{I \subset {\bf [}r {\bf ]}} {(-1)}^{r-|I|} \big| W_I \big|$. We develop a technique that we call irrational mixed decomposition which allows us to estimate $N(W)$ under some assumptions on the family $W=(W_I)$. In particular, we are able to show the nonnegativity of $N(W)$ in some important cases. The quantity $N(W)$ associated with the family defined by $W_I=\sum_{i \in I} W_i$ is called discrete mixed volume of $W_1,...,W_r$. We show that for $r=n$ the discrete mixed volume provides an upper bound for the number of nondegenerate solutions of a tropical polynomial system with supports $W_1,...,W_n$. We also prove that the discrete mixed volume of $W_1,...,W_r$ is bounded from above by the Kouchnirenko number $\prod_{i=1}^r (|W_i|-1)$. For $r=n$ this number was proposed as a bound for the number of nondegenerate positive solutions of any real polynomial system with supports $W_1,...,W_n$. This conjecture was disproved, but our result shows that the Kouchnirenko number is a sharp bound for the number of nondegenerate positive solutions of real polynomial systems constructed by means of the combinatorial patchworking.
Complexity of LP in Terms of the Face Lattice
Published in Journal of Applied and Industrial Mathematics, 10(3), pp 370-379, 2016
• View Publication
• BIB
Let $X$ be a finite set in $Z^d$. We consider the problem of optimizing linear function $f(x) = c^T x$ on $X$, where $c\in Z^d$ is an input vector. We call it a problem $X$. A problem $X$ is related with linear program $\max\limits_{x \in P} f(x)$, where polytope $P$ is a convex hull of $X$. The key parameters for evaluating the complexity of a problem $X$ are the dimension $d$, the cardinality $|X|$, and the encoding size $S(X) = \log_2 \left(\max\limits_{x\in X} \|x\|_{\infty}\right)$. We show that if the (time and space) complexity of some algorithm $A$ for solving a problem $X$ is defined only in terms of combinatorial structure of $P$ and the size $S(X)$, then for every $d$ and $n$ there exists polynomially (in $d$, $\log n$, and $S$) solvable problem $Y$ with $\dim Y = d$, $|Y| = n$, such that the algorithm $A$ requires exponential time or space for solving $Y$.
Convex-normal (pairs of) polytopes
Published
• View Publication
• BIB
In 2012 Gubeladze (Adv.\ Math.\ 2012) introduced the notion of k-convex-normal polytopes to show that integral polytopes all of whose edges are longer than 4d(d+1) have the integer decomposition property. In the first part of this paper we show that for lattice polytopes there is no difference between k- and (k+1)-convex-normality (for k >= 3) and improve the bound to 2d(d+1). In the second part we extend the definition to pairs of polytopes and show that for rational polytopes P and Q, where the normal fan of P is a refinement of the normal fan of Q, if every edge e_P of P is at least d times as long as the corresponding edge e_Q of Q, then (P+Q) \cap \Z^d = (P\cap \Z^d) + (Q \cap \Z^d).
Möbius Polynomials of Face Posets of Convex Polytopes
Published in Communications in Algebra 2016 44(11):4945-4972
• View Publication
• BIB
The Möbius polynomial is an invariant of ranked posets, closely related to the Möbius function. In this paper, we study the Möbius polynomial of face posets of convex polytopes. We present formulas for computing the Möbius polynomial of the face poset of a pyramid or a prism over an existing polytope, or of the gluing of two or more polytopes in terms of the Möbius polynomials of the original polytopes. We also present general formulas for calculating Möbius polynomials of face posets of simplicial polytopes and of Eulerian posets in terms of their $f$-vectors and some additional constraints.
Nerve complexes of circular arcs
Published in Discrete & Computational Geometry, 56(2):251-273, 2017
• View Publication
• BIB
We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log n). For the particular case of the nerve complex of evenly-spaced arcs of the same length, we determine the dihedral group action on homology, and we relate the complex to a cyclic polytope with n vertices. We give three applications of our knowledge of the homotopy types of nerve complexes of circular arcs. First, we use the connection to cyclic polytopes to give a novel topological proof of a known upper bound on the distance between successive roots of a homogeneous trigonometric polynomial. Second, we show that the Lovasz bound on the chromatic number of a circular complete graph is either sharp or off by one. Third, we show that the Vietoris--Rips simplicial complex of n points in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension, and furthermore this homotopy type can be computed in time O(n log n).