polytope ↗ reference
3024 papers tagged with this keyword
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.
Fooling Polytopes
We give a pseudorandom generator that fools $m$-facet polytopes over $\{0,1\}^n$ with seed length $\mathrm{polylog}(m) \cdot \log n$. The previous best seed length had superlinear dependence on $m$. An immediate consequence is a deterministic quasipolynomial time algorithm for approximating the number of solutions to any $\{0,1\}$-integer program.
Projectively unique polytopes and toric slack ideals
Published
• View Publication
• BIB
The slack ideal of a polytope is a saturated determinantal ideal that gives rise to a new model for the realization space of the polytope. The simplest slack ideals are toric and have connections to projectively unique polytopes. We prove that if a projectively unique polytope has a toric slack ideal, then it is the toric ideal of the bipartite graph of vertex-facet non-incidences of the polytope. The slack ideal of a polytope is contained in this toric ideal if and only if the polytope is morally 2-level, a generalization of the 2-level property in polytopes. We show that polytopes that do not admit rational realizations cannot have toric slack ideals. A classical example of a projectively unique polytope with no rational realizations is due to Perles. We prove that the slack ideal of the Perles polytope is reducible, providing the first example of a slack ideal that is not prime.
Explicit computations of Fourier transforms of polyhedral cones
The Fourier transforms of polyhedral cones can be used, via Brion's theorem, to compute various geometric quantities of polytopes, such as volumes, moments, and lattice-point counts. We present a novel method of computing these conic Fourier transforms by polynomial interpolation. Given the fact that computing volumes of polytopes is #P-hard (Dyer--Frieze [DF88]), we cannot hope for fast algorithms in the general case. However, with extra assumptions on the combinatorics of the cone, we demonstrate it is possible to compute its Fourier transform efficiently.
Squeezed Complexes
Published
• View Publication
• BIB
Given a shifted order ideal $U$, we associate to it a family of simplicial complexes $(Δ_t(U))_{t\geq 0}$ that we call squeezed complexes. In a special case, our construction gives squeezed balls that were defined and used by Kalai to show that there are many more simplicial spheres than boundaries of simplicial polytopes. We study combinatorial and algebraic properties of squeezed complexes. In particular, we show that they are vertex decomposable and characterize when they have the weak or the strong Lefschetz property. Moreover, we define a new combinatorial invariant of pure simplicial complexes, called the singularity index, that can be interpreted as a measure of how far a given simplicial complex is from being a manifold. In the case of squeezed complexes $(Δ_t(U))_{t\geq 0}$, the singularity index turns out to be strictly decreasing until it reaches (and stays) zero if $t$ grows.
The Erdos-Szekeres problem and an induced Ramsey question
Published
• View Publication
• BIB
Motivated by the Erdos-Szekeres convex polytope conjecture in $R^d$, we initiate the study of the following induced Ramsey problem for hypergraphs. Given integers $ n > k \geq 5$, what is the minimum integer $g_k(n)$ such that any $k$-uniform hypergraph on $g_k(n)$ vertices with the property that any set of $k + 1$ vertices induces 0, 2, or 4 edges, contains an independent set of size $n$. Our main result shows that $g_k(n) > 2^{cn^{k-4}}$, where $c = c(k)$.
Moment Varieties of Measures on Polytopes
Published
• View Publication
• BIB
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.
Ehrhart-equivalent $\boldsymbol 3$-polytopes are equidecomposable
Published in Proc. Amer. Math. Soc. 147 (2019), 5373-5383
• View Publication
• BIB
We show that if two lattice $3$-polytopes $P$ and $P'$ have the same Ehrhart function then they are $\operatorname{GL}_3({\mathbb Z})$-equidecomposable; that is, they can be partitioned into relatively open simplices $U_1,\dots, U_k$ and $U'_1,\dots,U'_k$ such that $U_i$ and $U'_i$ are unimodularly equivalent, for each $i$.
Shadows in Coxeter groups
Published in Annals of Combinatorics, Volume 24, Issue 1 (2020), https://rdcu.be/b1ZBg
• View Publication
• BIB
For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $φ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.