polytope ↗ reference
3112 papers tagged with this keyword
Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes
We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are indeed necessary to compute the maximum of $n$ numbers, matching known upper bounds. Our results are based on the known duality between neural networks and Newton polytopes via tropical geometry. The integrality assumption implies that these Newton polytopes are lattice polytopes. Then, our depth lower bounds follow from a parity argument on the normalized volume of faces of such polytopes.
Reflexive polytopes and discrete polymatroids
Published
• View Publication
• BIB
A classification of discrete polymatroids whose independence polytopes are reflexive will be presented.
Intersection Bodies of Polytopes: Translations and Convexity
Published in Journal of Algebraic Combinatorics, 60, 127-143 (2024)
• View Publication
• BIB
We continue the study of intersection bodies of polytopes, focusing on the behavior of $IP$ under translations of $P$. We introduce an affine hyperplane arrangement and show that the polynomials describing the boundary of $I(P+t)$ can be extended to polynomials in variables $t\in \mathbb{R}^d$ within each region of the arrangement. In dimension $2$, we give a full characterization of those polygons such that their intersection body is convex. We give a partial characterization for general dimensions.
Translation of "Simplizialzerlegungen von Beschrankter Flachheit'' by Hans Freudenthal, Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583
Published in German original published in the Annals of Mathematics, Second Series, Volume 43, Number 3, July 1942, Pages 580-583
• Search Publication
Translation of the paper ``Simplizialzerlegungen von Beschrankter Flachheit'' by Hans Freudenthal (https://doi.org/10.2307/1968813), in which Freudenthal answers ``a question by Brouwer about the construction of an infinite series of subdivisions of a polytope, such that the next element in the sequence is a subdivision of the previous one and such that the subsimplices that arise do not become arbitrarily flat.''
Positivity for partial tropical flag varieties
We study positivity notions for the tropicalization of type A flag varieties and the flag Dressian. We focus on the hollow case, where we have one constituent of rank 1 and another of corank 1. We characterize the three different notions that exist for this case in terms of Plücker coordinates. These notions are the tropicalization of the totally non-negative flag variety, Bruhat subdivisions and the non-negative flag Dressian. We show the first example where the first two concepts above do not coincide. In this case the non-negative flag Dressian equals the tropicalization of the Plücker non-negative flag variety and is equivalent to flag positroid subdivisions. Using these characterizations, we provide similar conditions on the Plücker coordinates for flag varieties of arbitrary rank that are necessary for each of these positivity notions, and conjecture them to be sufficient. In particular we show that regular flag positroid subdivisions always come from the non-negative Dressian. Along the way, we show that the set of Bruhat interval polytopes equals the set of twisted Bruhat interval polytopes and we introduce valuated flag gammoids.
Realizable Standard Young Tableaux
Given two vectors $u$ and $v$, their outer sum is given by the matrix $A$ with entries $A_{ij} = u_{i} + v_{j}$. If the entries of $u$ and $v$ are increasing and sufficiently generic, the total ordering of the entries of the matrix is a standard Young tableau of rectangular shape. We call standard Young tableaux arising in this way realizable. The set of realizable tableaux was defined by Mallows and Vanderbei for studying a deconvolution algorithm, but we show they have appeared in many other contexts including sorting algorithms, quantum computing, random sorting networks, reflection arrangements, fiber polytopes, and Goodman and Pollack's theory of allowable sequences. In our work, we prove tight bounds on the asymptotic number of realizable rectangular tableaux. We also derive tight asymptotics for the number of realizable allowable sequences, which are in bijection with realizable staircase-shaped standard Young tableaux with the notion of realizability coming from the theory of sorting networks. As a consequence, we resolve an open question of Angel, Gorin, and Holroyd from 2012 and improve upon a 1986 result of Goodman and Pollack.
Existence of a small cover over a 15-colorable simple 4-polytope
The chromatic number for properly colouring the facets of a combinatorial simple $n$-polytope $P^n$ that is the orbit space of a quasitoric manifold satisfies the inequality $n\leq P^n\leq 2^n-1$. The inequality is sharp for $n=2$ but not for $n=3$ due to the Four Color theorem. In this note, we construct a simple 4-polytope admitting a characteristic map whose chromatic number equals $15$ and deduce that the predicted upper bound is attained for $n=4$. Analogues results are verified for the case of oriented small covers in dimensions $4$ and $5$.
On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture
Published
• View Publication
• BIB
Circuit diameters of polyhedra are a fundamental tool for studying the complexity of circuit augmentation schemes for linear programming and for finding lower bounds on combinatorial diameters. The main open problem in this area is the circuit diameter conjecture, the analogue of the Hirsch conjecture in the circuit setting. A natural question is whether the well-known counterexamples to the Hirsch conjecture carry over. Previously, Stephen and Yusun showed that the Klee-Walkup counterexample to the unbounded Hirsch conjecture does not transfer to the circuit setting. Our main contribution is to show that the original counterexamples for the other variants, for bounded polytopes and using monotone walks, also do not transfer.
Our results rely on new observations on structural properties of these counterexamples. To resolve the bounded case, we exploit the geometry of certain $2$-faces of the polytopes underlying all known bounded Hirsch counterexamples in Santos' work. For Todd's monotone Hirsch counterexample, we provide two alternative approaches. The first one uses sign-compatible circuit walks, and the second one uses the observation that Todd's polytope is anti-blocking. Along the way, we enumerate all linear programs over the polytope and find four new orientations that contradict the monotone Hirsch conjecture, while the remaining $7107$ satisfy the bound.
Fine Polyhedral Adjunction Theory
Originally introduced by Fine and Reid in the study of plurigenera of toric hypersurfaces, the Fine interior of a lattice polytope got recently into the focus of research. It is has been used for constructing canonical models in the sense of Mori Theory [arXiv:2008.05814]. Based on the Fine interior, we propose here a modification of the original adjoint polytopes as defined in [arXiv:1105.2415], by defining the Fine adjoint polytope $P^{F(s)}$ of $P$ as consisting of the points in $P$ that have lattice distance at least $s$ to all valid inequalities for $P$. We obtain a Fine Polyhedral Adjunction Theory that is, in many respects, better behaved than its original analogue. Many existing results in Polyhedral Adjunction Theory carry over, some with stronger conclusions, as decomposing polytopes into Cayley sums, and most with simpler, more natural proofs as in the case of the finiteness of the Fine spectrum.
Diameters of the Characteristic Imset Polytopes
It has been shown that the edge structure of the characteristic imset polytope is closely connected to the question of causal discovery. The diameter of a polytope is an indicator of how connected the polytope is and moreover gives us a hypothetical worst case scenario for an edge-walk over the polytope. We present low-degree polynomial bounds on the diameter of $\operatorname{CIM}_n$ and, for any given undirected graph $G$, the face $\operatorname{CIM}_G$.
Toric arc schemes and $q$-enumeration of lattice points
Published
• View Publication
• BIB
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behavior of the coefficients at $q = 1$ is Gaussian.
Extremal spherical polytopes and Borsuk's conjecture
We generate anti-self-polar polytopes via a numerical implementation of the gradient flow induced by the diameter functional on the space of all finite subsets of the sphere, and prove related results on the critical points of the diameter functional as well as results about the combinatorics of such polytopes. We also discuss potential connections to Borsuk's conjecture.
Deep lattice points in zonotopes, lonely runners, and lonely rabbits
Published in International Mathematics Research Notices 2024, no. 8, 6553-6578
• View Publication
• BIB
Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.
Laplacian polytopes of simplicial complexes
Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.
A realization of poset associahedra
Published
• View Publication
• BIB
Given any connected poset $P$, we give a simple realization of Galashin's poset associahedron $\mathscr{A}(P)$ as a convex polytope in $\mathbb{R}^P.$ The realization is inspired by the description of $\mathscr{A}(P)$ as a compactification of the configuration space of order-preserving maps $P \to \mathbb{R}.$ In addition, we give an analogous realization for Galashin's affine poset cyclohedra.
MV polytopes and reduced double Bruhat cells
Published
• View Publication
• BIB
When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. By fixing $w$ from the Weyl group, we can define MV polytopes whose highest vertex is labelled by $w$. We show that these polytopes are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we define a collection of generalized minor functions $Δ_γ^\text{new}$ which tropicalize on the reduced Bruhat cell to the BZ data of an MV polytope of highest vertex $w$.
We also describe the combinatorial structure of MV polytopes of highest vertex $w$. We explicitly describe the map from the Weyl group to the subset of elements bounded by $w$ in the Bruhat order which sends $u \mapsto v$ if the vertex labelled by $u$ coincides with the vertex labelled by $v$ for every MV polytope of highest vertex $w$. As a consequence of this map, we prove that these polytopes have vertices labelled by Weyl group elements less than $w$ in the Bruhat order.
The minimal volume of a lattice polytope
Published in Australasian J. Combin. 85 (2023), 159--163
• Search Publication
Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.
Exact values and improved bounds on $k$-neighborly families of boxes
Published in European J. Combin. 118 (2024), Paper No. 103926, 17pp
• View Publication
• BIB
A finite family $\mathcal{F}$ of $d$-dimensional convex polytopes is called $k$-neighborly if $d-k\le\textup{dim}(C\cap C')\le d-1$ for any two distinct members $C,C'\in\mathcal{F}$. In 1997, Alon initiated the study of the general function $n(k,d)$, which is defined to be the maximum size of $k$-neighborly families of standard boxes in $\mathbb{R}^{d}$. Based on a weighted count of vectors in $\{0,1\}^{d}$, we improve a recent upper bound on $n(k,d)$ by Alon, Grytczuk, Kisielewicz, and Przesławski for any positive integers $d$ and $k$ with $d\ge k+2$. In particular, when $d$ is sufficiently large and $k\ge 0.123d$, our upper bound on $n(k,d)$ improves the bound $\sum_{i=1}^{k}2^{i-1}\binom{d}{i}+1$ shown by Huang and Sudakov exponentially.
Furthermore, we determine that $n(2,4)=9$, $n(3,5)=18$, $n(3,6)=27$, $n(4,6)=37$, $n(5,7)=74$, and $n(6,8)=150$. The stability result of Kleitman's isodiametric inequality plays an important role in the proofs.
A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks
Published in Combinator. Probab. Comp. 33 (2024) 769-794
• View Publication
• BIB
We present a new explicit formula for the determinant that contains superexponentially fewer terms than the usual Leibniz formula. As an immediate corollary of our formula, we show that the tensor rank of the $n \times n$ determinant tensor is no larger than the $n$-th Bell number, which is much smaller than the previously best known upper bounds when $n \geq 4$. Over fields of non-zero characteristic we obtain even tighter upper bounds, and we also slightly improve the known lower bounds. In particular, we show that the $4 \times 4$ determinant over $\mathbb{F}_2$ has tensor rank exactly equal to $12$. Our results also improve upon the best known upper bound for the Waring rank of the determinant when $n \geq 17$, and lead to a new family of axis-aligned polytopes that tile $\mathbb{R}^n$.
Universal minima of potentials of certain spherical designs contained in the fewest parallel hyperplanes
We find the set of all universal minimum points of the potential of the $16$-point sharp code on $S^4$ and (more generally) of the demihypercube on $S^d$, $d\geq 5$, as well as of the $2_{41}$ polytope on $S^7$. We also extend known results on universal minima of three sharp configurations on $S^{20}$ and $S^{21}$ containing no antipodal pair to their symmetrizations about the origin. Finally, we prove certain general properties of spherical $(2m-1)$-designs contained in as few as $m$ parallel hyperplanes (all but one configuration considered here possess this property).