polytope ↗ reference
3112 papers tagged with this keyword
Some properties of a new partial order on Dyck paths
Published
• View Publication
• BIB
We introduce and study a new partial order on Dyck paths. We prove that these posets are meet-semilattices. We show that their numbers of intervals are the same as the number of bicubic planar maps. We describe an unexpected connection with the Hochschild polytopes of Saneblidze.
Flag-approximability of convex bodies and volume growth of Hilbert geometries
Published
• View Publication
• BIB
We introduce the flag-approximability of a convex body to measure how easy it is to approximate by polytopes. We show that the flag-approximability is exactly half the volume entropy of the Hilbert geometry on the body, and that both quantities are maximized when the convex body is a Euclidean ball.
We also compute explicitly the asymptotic volume of a convex polytope, which allows us to prove that simplices have the least asymptotic volume.
On local Dressians of matroids
Published
• View Publication
• BIB
We study the fan structure of Dressians $\Dr(d,n)$ and local Dressians $\Dr(\cM)$ for a given matroid $\cM$. In particular we show that the fan structure on $\Dr(\cM)$ given by the three term Plücker relations coincides with the structure as a subfan of the secondary fan of the matroid polytope $P(\cM)$. As a corollary, we have that a matroid subdivision is determined by its 3-dimensional skeleton. We also prove that the Dressian of the sum of two matroids is isomorphic to the product of the Dressians of the matroids. Finally we focus on indecomposable matroids. We show that binary matroids are indecomposable, and we provide a non-binary indecomposable matroid as a counterexample for the converse.
Levelness of toric rings arising from order and chain polytopes
Let $K[\mathcal{O}(P)]$ denote the toric ring of the order polytope $\mathcal{O}(P)$ of a finite partially ordered set $P$ and $K[\mathcal{C}(P)]$ that of the chain polytope $\mathcal{C}(P)$. It will be shown that $β_{p, p+j}(K[\mathcal{O}(P)]) = β_{p, p+j}(K[\mathcal{C}(P)])$ for all $j \geq 0$, where $p$ is the projective dimension of $K[\mathcal{O}(P)]$ (and that of $K[\mathcal{C}(P)]$). In particular, $K[\mathcal{O}(P)]$ is level if and only if $K[\mathcal{C}(P)]$ is level.
A two-dimensional topological representation theorem for matroid polytopes of rank 4
Published in European Journal of Combinatorics, 86 (2020) 103065
• View Publication
• BIB
The Folkman-Lawrence topological representation theorem, which states that every (loop-free) oriented matroid of rank $r$ can be represented as a pseudosphere arrangement on the $(r-1)$-dimensional sphere $S^{r-1}$, is one of the most outstanding results in oriented matroid theory. In this paper, we provide a lower-dimensional version of the topological representation theorem for uniform matroid polytopes of rank $4$. We introduce $2$-weak configurations of points and pseudocircles ($2$-weak PPC configurations) on $S^2$ and prove that every uniform matroid polytope of rank $4$ can be represented by a $2$-weak PPC configuration. As an application, we provide a proof of Las Vergnas conjecture on simplicial topes for the case of uniform matroid polytopes of rank $4$.
A note on deformations and mutations of fake weighted projective planes
Published
• View Publication
• BIB
It has been shown by Hacking and Prokhorov that if the projective surface X with quotient singularities and self-intersection number 9 has a smoothing to the projective plane, then X is the general fiber of a Q-Gorenstein deformation of the weighted projective plane with weights giving solutions to the Markov equation. This result has been understood and generalized by combinatorial mutations of Fano triangles by Akhtar, Coates, Galkin, and Kasprzyk. In this note, we study this result by utilizing polarized T-varieties and describe the associated deformation explicitly in terms of certain Minkowski summands of so-called divisorial polytopes.
Laplacian Simplices II: A Coding Theoretic Approach
This paper further investigates \emph{Laplacian simplices}. A construction by Braun and the first author associates to a simple connected graph $G$ a simplex $\cP_G$ whose vertices are the rows of the Laplacian matrix of $G$. In this paper we associate to a reflexive $\cP_G$ a duality-preserving linear code $\cC(\cP_G)$. This new perspective allows us to build upon previous results relating graphical properties of $G$ to properties of the polytope $\cP_G$. In particular, we make progress towards a graphical characterization of reflexive $\cP_G$ using techniques from Ehrhart theory. We provide a systematic investigation of $\cC(\cP_G)$ for cycles, complete graphs, and graphs with a prime number of vertices. We construct an asymptotically good family of MDS codes. In addition, we show that any rational rate is achievable by such construction.
A note on the diameter of convex polytope
Published in Discrete Applied Mathematics 289 534-538 2021
• View Publication
• BIB
This short note extends a recent result (Bonifas et al, On sub-determinants and the diameter of polyhedra, Discrete Computational Geometry, 52, 2014) of an upper bound of the diameter of a convex polytope defined by an integer matrix to a similar upper bound of the diameter of a convex polytope defined by a real matrix. It also shows, by an example, that the new bound may be better than the ones of Bonifas et al.
Barycenters of points in polytope skeleta
Published
• View Publication
• BIB
The first author showed that for a given point $p$ in an $nk$-polytope $P$ there are $n$ points in the $k$-faces of $P$, whose barycenter is $p$. We show that we can increase the dimension of $P$ by $r$, if we allow $r$ of the points to be in $(k+1)$-faces. While we can force points with a prescribed barycenter into faces of dimensions $k$ and $k+1$, we show that the gap in dimensions of these faces can never exceed one. We also investigate the weighted analogue of this question, where a convex combination with predetermined coefficients of $n$ points in $k$-faces of an $nk$-polytope is supposed to equal a given target point. While weights that are not all equal may be prescribed for certain values of $n$ and $k$, any coefficient vector that yields a point different from the barycenter cannot be prescribed for fixed $n$ and sufficiently large $k$.
Generalized angle vectors, geometric lattices, and flag-angles
Interior and exterior angle vectors of polytopes capture curvature information at faces of all dimensions and can be seen as metric variants of $f$-vectors. In this context, Gram's relation takes the place of the Euler--Poincaré relation as the unique linear relation among interior angles. We show the existence and uniqueness of Euler--Poincaré-type relations for generalized angle vectors by building a bridge to the algebraic combinatorics of geometric lattices, generalizing work of Klivans--Swartz.
We introduce flag-angles of polytopes as a geometric counterpart to flag-$f$-vectors. Flag-angles generalize the angle deficiencies of Descartes--Shephard, Grassmann angles, and spherical intrinsic volumes. Using the machinery of incidence algebras, we relate flag-angles of zonotopes to flag-$f$-vectors of graded posets. This allows us to determine the linear relations satisfied by interior/exterior flag-angle vectors.
A minimal counterexample to a strengthening of Perles' conjecture
In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.
On the minimum number of facets of a 2-neighborly polytope
Let $μ_{\text{2n}}(d,v)$ (respectively, $μ^{\text{s}}_{\text{2n}}(d,v)$) be the minimal number of facets of a (simplicial) 2-neighborly $d$-polytope with $v$ vertices, $v > d \ge 4$. It is known that $μ_{\text{2n}}(4,v) = v (v-3)/2$, $μ_{\text{2n}}(d, d+2) = d+5$, $μ_{\text{2n}}(d,d+3) = d+7$ for $d \ge 5$, and $μ_{\text{2n}}(d,d+4) \in [d+5, d+8]$ for $d \ge 6$. We show that $μ_{\text{2n}}(5, v) = Ω(v^{4/3})$, $μ_{\text{2n}}(6, v) \ge v$, and the equality $μ_{\text{2n}}(6, v) = v$ holds only for a simplex and for a dual 2-neighborly 6-polytope (if it exists) with $v \ge 27$. By using $g$-theorem, we get $μ^{\text{s}}_{\text{2n}}(d, v) = Δ(Δ(d-3) + 3d - 5)/2 + d + 1$, where $Δ= v - d - 1$. Also we show that $μ_{\text{2n}}(d, v) \ge d+7$ for $v \ge d+4$.
ABHY Associahedra and Newton polytopes of $F$-polynomials for finite type cluster algebras
Published
• View Publication
• BIB
A new construction of the associahedron was recently given by Arkani-Hamed, Bai, He, and Yan in connection with the physics of scattering amplitudes. We show that their construction (suitably understood) can be applied to construct generalized associahedra of any simply-laced Dynkin type. Unexpectedly, we also show that this same construction produces Newton polytopes for all the $F$-polynomials of the corresponding cluster algebras. In addition, we show that the toric variety associated to the g-vector fan has the property that its nef cone is simplicial.
Immaculate line bundles on toric varieties
Published
• View Publication
• BIB
We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional sequences, investigating the diagonal property, or the toric Frobenius morphism.
In the present paper we focus on line bundles on toric varieties. First, we present a possibility of understanding their cohomology in terms of their (generalized) momentum polytopes. Then we present a method to exhibit the entire locus of immaculate divisors within the class group. This will be applied to the cases of smooth toric varieties of Picard rank two and three and to those being given by splitting fans.
The locus of immaculate line bundles contains several linear strata of varying dimensions. We introduce a notion of relative immaculacy with respect to certain contraction morphisms. This notion will be stronger than plain immaculacy and provides an explanation of some of these linear strata.
Symmetries of 3-polytopes with fixed edge lengths
Published in SEMR 17 (2020), 1580-1587
• View Publication
• BIB
We consider an interesting class of combinatorial symmetries of polytopes which we call \emph{edge-length preserving combinatorial symmetries}. These symmetries not only preserve the combinatorial structure of a polytope but also map each edge of the polytope to an edge of the same length. We prove a simple sufficient condition for a polytope to realize all edge-length preserving combinatorial symmetries by isometries of ambient space. The proof of this condition uses Cauchy's rigidity theorem in an unusual way.
The Martin Gardner Polytopes
Published
• View Publication
• BIB
In the chapter "Magic with a Matrix" in \emph{Hexaflexagons and Other Mathematical Diversions} (1988), Martin Gardner describes a delightful "party trick" to fill the squares of a $d$-by-$d$ chessboard with nonnegative integers such that the sum of the numbers covered by any placement of $d$ nonthreatening rooks is a given number $N$. We consider such chessboards from a geometric perspective which gives rise to a family of lattice polytopes. The polyhedral structure of these Gardner polytopes explains the underlying trick and enables us to count such chessboards for given $N$ in three different ways. We also observe a curious duality that relates Gardner polytopes to Birkhoff polytopes.
State Polytopes Related to Two Classes of Combinatorial Neural Codes
Published
• View Publication
• BIB
Combinatorial neural codes are $0/1$ vectors that are used to model the co-firing patterns of a set of place cells in the brain. One wide-open problem in this area is to determine when a given code can be algorithmically drawn in the plane as a Venn diagram-like figure. A sufficient condition to do so is for the code to have a property called $k$-inductively pierced. Gross, Obatake, and Youngs recently used toric algebra to show that a code on three neurons is $1$-inductively pierced if and only if the toric ideal is trivial or generated by quadratics. No result is known for additional neurons in the same generality, part of the difficulty coming from the large number of codewords possible when additional neurons are used.
In this article, we study two infinite classes of combinatorial neural codes in detail. For each code, we explicitly compute its universal Gröbner basis. This is done for the first class by recognizing that the codewords form a Lawrence-type matrix. With the second class, this is done by showing that the matrix is totally unimodular. These computations allow one to compute the state polytopes of the corresponding toric ideals, from which all distinct initial ideals may be computed efficiently. Moreover, we show that the state polytopes are combinatorially equivalent to well-known polytopes: the permutohedron and the stellohedron.
Polyhedral geometry for lecture hall partitions
Published
• View Publication
• BIB
Lecture hall partitions are a fundamental combinatorial structure which have been studied extensively over the past two decades. These objects have produced new results, as well as reinterpretations and generalizations of classicial results, which are of interest in combinatorial number theory, enumerative combinatorics, and convex geometry. In a recent survey of Savage \cite{Savage-LHP-Survey}, a wide variety of these results are nicely presented. However, since the publication of this survey, there have been many new developments related to the polyhedral geometry and Ehrhart theory arising from lecture hall partitions. Subsequently, in this survey article, we focus exclusively on the polyhedral geometric results in the theory of lecture hall partitions in an effort to showcase these new developments. In particular, we highlight results on lecture hall cones, lecture hall simplices, and lecture hall order polytopes. We conclude with an extensive list of open problems and conjectures in this area.
A Brief Survey on Lattice Zonotopes
Published
• View Publication
• BIB
Zonotopes are a rich and fascinating family of polytopes, with connections to many areas of mathematics. In this article we provide a brief survey of classical and recent results related to lattice zonotopes. Our emphasis is on connections to combinatorics, both in the sense of enumeration (e.g. Ehrhart theory) and combinatorial structures (e.g. graphs and permutations).
Cracked Polytopes and Fano Toric Complete Intersections
Published
• View Publication
• BIB
We introduce the notion of cracked polytope, and - making use of joint work with Coates and Kasprzyk - construct the associated toric variety $X$ as a subvariety of a non-singular toric variety $Y$ under certain conditions. Restricting to the case in which this subvariety is a complete intersection, we present a sufficient condition for a smoothing of $X$ to exist inside $Y$. We exhibit a relative anti-canonical divisor for this smoothing of $X$, and show that the general member is simple normal crossings.