This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a further four (nonuniversal) regular polytopes, and 152 nonregular but section regular…
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
Trend · papers per month
Efficiently projects points onto polytopes, especially useful in web-scale applications.
Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes sharing a common facet is convex. We prove that the real projective structure on…
Smooth deformation space of Coxeter polytopes proven for orderable orbifolds.
The paper studies deformation spaces of Coxeter truncation polytopes.
Moment polytope of toric exponential families is a projection of a simplex.
Study on volumes of random inscribed polytopes in projective geometries.
Optimal weight windows are found by projecting the origin onto a convex polytope.
Study real projective structures on a specific Coxeter orbifold.
Researchers prove finiteness of integral representations on specific polytopes.
Chow stability is one notion of Mumford's Geometric Invariant Theory for studying the moduli space of polarized varieties. Kapranov, Sturmfels and Zelevinsky detected that Chow stability of polarized toric varieties is determined by its inherent {\it secondary polytope}, which is a polytope whose vertices correspond to…
A method models nonlinear dynamics from data using barycentric coordinates and memory.
Finite volume Coxeter polytopes are quasiperfect and related to finite covolume reflection groups.
We create a minimal triangulation of 5D real projective space.
We propose in this paper a general framework for deriving loss functions for structured prediction. In our framework, the user chooses a convex set including the output space and provides an oracle for projecting onto that set. Given that oracle, our framework automatically generates a corresponding convex and smooth l…
Given a smooth projective toric variety of complex dimension , Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves into the dg derived category of constructible sheaves on a torus . Recently, K…
The paper derives a formula for Chow weights of toric blow-ups.
Ehrhart's conjecture proposes a sharp upper bound on the volume of a convex body whose barycenter is its only interior lattice point. Recently, Berman and Berndtsson proved this conjecture for a class of rational polytopes including reflexive polytopes. In particular, they showed that the complex projective space has t…
Hypernom is a virtual reality game. The cells of a regular 4D polytope are radially projected to S^3, the sphere in 4D space, then stereographically projected to 3D space where they are viewed in the headset. The orientation of the headset is given by an element of the group SO(3), which is also a space that is double …
The projection body operator Π, which associates with every convex body in Euclidean space Rn its projection body, is a continuous valuation, it is invariant under translations and equivariant under rotations. It is also well known that Π maps the set of polytopes in Rn into itself. We show that Π is the only non-trivi…
Theory developed for Hilbert geometry over valued fields, linking real and non-Archimedean geometries.
Established a correspondence for toric fibrations using Delzant polytopes.
A Coxeter -orbifold is an -dimensional orbifold based on a polytope with silvered boundary facets. Each pair of adjacent facets meet on a ridge of some order , whose neighborhood is locally modeled on modulo the dihedral group of order generated by two reflections. For , we study…
New examples found of complex manifolds with special metrics.
The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum fie…
Lasso is a widely used regression technique to find sparse representations. When the dimension of the feature space and the number of samples are extremely large, solving the Lasso problem remains challenging. To improve the efficiency of solving large-scale Lasso problems, El Ghaoui and his colleagues have proposed th…
We show that the complex projective space has maximal degree (volume) among all n-dimensional Kahler-Einstein Fano manifolds admitting a holomorphic C^*-action with a finite number of fixed points. The toric version of this result, translated to the realm of convex geometry, thus confirms Ehrhart's volume conjecture fo…
We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be viewed as a version of the Viro gluing theorem, relating topology of algebraic hyper…
The study broadens the concept of cyclic polytopes to Veronese polytopes.
Neural networks approximate unit spheres as polytopes.
The study classifies all compact hyperbolic polytopes with eight facets.
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension , equipped with an effective Hamiltonian action of the standard -torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map , a …
Proves stability in Weyl polytopes using optimal transport.
Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.
The study classifies all compact 5D polytopes with 9 facets.
The study classifies 331 specific 4D polytopes with 7 facets.
Contact manifolds' momentum polytopes are convex.
Given a lattice L of R^n, a polytope D is called a Delaunay polytope in L if the set of its vertices is S\cap L where S is a sphere having no lattice points in its interior. D is called perfect if the only ellipsoid in R^n that contains S\cap L is exactly S. For a vector v of the Leech lattice Λ_{24} we define Λ_{24}(v…
Conditional gradients constitute a class of projection-free first-order algorithms for smooth convex optimization. As such, they are frequently used in solving smooth convex optimization problems over polytopes, for which the computational cost of orthogonal projections would be prohibitive. However, they do not enjoy …
Smooth approximations bound dihedral angles of convex polytopes.
Polytopic Matrix Factorization models data as latent vectors from a polytope, maximizing determinant for identifiability.
Examines nonrational polytopes and fans in toric geometry.
The article studies factorization structures in geometry and their applications to cones and polytopes.
New methods classify hyperbolic polytopes with up to 40 facets.
Rotation intertwining maps from the set of convex bodies in Rn into itself that are continuous linear operators with respect to Minkowski and Blaschke addition are investigated. The main focus is on Blaschke-Minkowski homomorphisms. We show that such maps are represented by a spherical convolution operator. An applicat…
The paper explains how to parameterize facets of moment polytopes in real symplectic geometry.
Linear optimization is many times algorithmically simpler than non-linear convex optimization. Linear optimization over matroid polytopes, matching polytopes and path polytopes are example of problems for which we have simple and efficient combinatorial algorithms, but whose non-linear convex counterpart is harder and …
We introduce two operations named biflip and puzzle-move on simple polytopes producing polytopes with diffeomorphic moment-angle manifolds.