The article studies factorization structures in geometry and their applications to cones and polytopes.
problem Understanding and characterizing factorization structures in geometry.
method Comprehensive study of factorization structures, including structure theory, construction of compatible polytopes and cones, and derivation of generalised Gale's evenness condition.
result Established generalised Vandermonde identities and found examples of Delzant and rational Delzant compatible polytopes.
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…
Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.
problem Uniqueness of smooth structures on real moment-angle manifolds.
method Arguments from calculus applied to results from complex moment-angle manifolds.
result Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.
The study broadens the concept of cyclic polytopes to Veronese polytopes.
problem Extending the framework of cyclic polytopes to a broader class of polytopes.
method Described facial structure and combinatorial characterisation of facets via σ-parity alternating sequences.
result Established a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets.
Polytopic Matrix Factorization models data as latent vectors from a polytope, maximizing determinant for identifiability.
problem Data decomposition with semi-structured latent vectors and polytope constraints.
method Model input data as latent vectors from a polytope, using determinant maximization for identifiability.
result Identifiability condition for polytopes with specific symmetry restrictions.
Researchers prove finiteness of integral representations on specific polytopes.
problem Proving finiteness of integral representations on 2-perfect truncation polytopes.
method Analyzing the geometric component of the deformation space of properly convex real projective structures on Coxeter orbifolds.
result Contains only finitely many integral representations.
Study of measured laminations on surfaces using Newton polytopes and Poisson brackets.
problem Understanding the space of measured laminations on surfaces from a valuative perspective.
method Introducing Newton polytopes for character variety functions, defining tangent spaces, and identifying symplectic structures.
result Trace functions have unit coefficients at the extremal points of their Newton polytopes.
Smooth deformation space of Coxeter polytopes proven for orderable orbifolds.
problem Proving smoothness of deformation space for Coxeter polytopes.
method Analyzing natural map into realization space.
result Deformation space of Coxeter 3-polytopes is smooth.
The paper solves Monge-Ampère equations on reflexive polytopes, linking solvability to SYZ conjecture and tropical geometry.
problem Solvability of Monge-Ampère equations on reflexive polytopes.
method Analyzes reflexive polytopes with height functions, proving conditions for Monge-Ampère solvability and linking to SYZ conjecture.
result Conditions for Monge-Ampère solvability are necessary and sufficient, and solvability implies the SYZ conjecture for Calabi-Yau hypersurfaces.
We provide the first examples of geometric transition from hyperbolic to anti-de Sitter structures in dimension four, in a fashion similar to Danciger's three-dimensional examples. The main ingredient is a deformation of hyperbolic 4-polytopes, discovered by Kerckhoff and Storm, eventually collapsing to a 3-dimensional…
Efficiently projects points onto polytopes, especially useful in web-scale applications.
problem Efficiently projecting points onto polytopes in large-scale applications.
method Developed a vertex-oriented incremental algorithm for polytope projection, tailored for simplex and unit-box cut polytopes.
result Majority of projections lie on vertices of polytopes, leading to significant performance improvements.
Unified approach to verify NN properties using ReLU's unique polytope structure.
problem Lack of robustness and interpretability in ReLU NNs for risk-sensitive applications.
method Identifying and traversing the local polytopes of ReLU NNs, developing an algorithm to verify properties.
result Unified approach to examine network behavior in risk-sensitive settings.
Study real projective structures on a specific Coxeter orbifold.
problem Characterize real projective structures on a noncompact Coxeter orbifold.
method Embedding and extending a Coxeter quadrilateral, perturbing to form a convex polytope, and analyzing the deformation space.
result Determine the detailed properties of the deformation space of real projective structures on the orbifold.
PolytopeWalk library efficiently samples high-dimensional polytopes.
problem Sampling from high-dimensional polytopes efficiently.
method End-to-end solution including preprocessing and MCMC algorithms.
result Improved sampling efficiency and scalability to high dimensions.
We introduce a globally-convergent algorithm for optimizing the tree-reweighted (TRW) variational objective over the marginal polytope. The algorithm is based on the conditional gradient method (Frank-Wolfe) and moves pseudomarginals within the marginal polytope through repeated maximum a posteriori (MAP) calls. This m…
Study controllability of diffeomorphisms of simple polytopes.
problem Controllability of diffeomorphisms of simple polytopes.
method Lie group structure and controllability results for diffeomorphisms of simple polytopes.
result Identity component of the diffeomorphism group is generated by the exponential image.
We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure. Our results are applied in spherical and hyperbolic space. This…
The study classifies cellular pseudomanifolds and their properties.
problem Understanding the structure of cellular pseudomanifolds.
method Analyzing the combinatorial and geometric properties of cellular pseudomanifolds.
result Complete classification of cellular pseudomanifolds with excess < 2, and progress towards excess 2.
We call complex quasifold of dimension k a space that is locally isomorphic to the quotient of an open subset of the space C^k by the holomorphic action of a discrete group; the analogue of a complex torus in this setting is called a complex quasitorus. We associate to each simple polytope, rational or not, a family of…
Convex polytope trees expand decision trees with interpretable boundaries.
problem High accuracy often requires many nodes in decision trees, reducing interpretability.
method CPT uses logical disjunction of weighted linear decision-makers, geometrically a convex polytope.
result CPT achieves high accuracy with fewer nodes compared to existing methods.
Homotopy commutativity in quasitoric manifolds depends on polytope structure and characteristic matrix type.
problem Conditions for homotopy commutativity in quasitoric manifolds.
method Analyzing characteristic matrices and polytope structures.
result Homotopy commutativity is determined by specific polytope and matrix conditions.
The paper studies deformation spaces of Coxeter truncation polytopes.
problem Understanding the geometric properties and deformations of Coxeter truncation polytopes.
method Analyzing Coxeter truncation polytopes and their deformation spaces.
result Description of deformation spaces for Coxeter truncation polytopes of dimension d⩾4. Neural networks approximate unit spheres as polytopes.
problem Approximating unit spheres with neural networks.
method Using ReLU activation in neural networks to generate polytopes.
result Neural networks can approximate unit spheres as polytopes.
The study classifies all compact hyperbolic polytopes with eight facets.
problem Classifying compact hyperbolic Coxeter four-polytopes with specific numbers of facets.
method Complete classification through mathematical analysis.
result The complete classification of compact hyperbolic Coxeter four-polytopes with eight facets.
This paper solves a problem in 3D geometry by defining a canonical partition for certain manifolds.
problem Building an explicit canonical decomposition for orientable 3-manifolds defined by vector-colourings of 3-polytopes.
method Analysis of results from previous studies on similar problems.
result A complete answer to the problem of decomposing orientable 3-manifolds defined by vector-colourings of 3-polytopes.
Proves stability in Weyl polytopes using optimal transport.
problem Stability of Weyl polytopes under optimal transport.
method Optimal transport stability for reflexive Weyl polytopes.
result Weak metric SYZ conjecture holds for Delzant reflexive Weyl polytopes.
Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.
problem Characterizing faces of quasi-arithmetic Coxeter polytopes.
method Proof of quasi-arithmetic property of faces and sufficient condition for arithmetic faces.
result Lower-dimensional faces of quasi-arithmetic Coxeter polytopes are quasi-arithmetic.
Generalizes crystallographic properties to all dimensions.
problem Analytic eigenfunctions in crystallographic groups.
method Algebraic, geometric, and analytic proofs.
result Equivalent conditions for real analytic eigenfunctions in crystallographic polytopes.
Study of infinitesimal rigidity in hyperbolic manifolds.
problem Proving infinitesimal rigidity of geometrically infinite hyperbolic manifolds.
method Developed a strategy to study infinitesimal rigidity of cyclic coverings of manifolds colored by right-angled polytopes.
result Proved infinitesimal rigidity of some hyperbolic 4- and 5-manifolds.
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…
The study classifies all compact 5D polytopes with 9 facets.
problem Classifying compact hyperbolic Coxeter polytopes.
method Complete classification through mathematical analysis.
result A complete list of compact hyperbolic Coxeter 5D polytopes with 9 facets.
The study classifies 331 specific 4D polytopes with 7 facets.
problem Classifying finite-volume hyperbolic Coxeter 4D polytopes.
method Complete classification through exhaustive search.
result 331 unique polytopes with 7 facets identified.
Contact manifolds' momentum polytopes are convex.
problem Understanding the structure of contact manifolds.
method Using isomorphism to toric varieties.
result Momentum polytopes of contact manifolds 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…
Smooth approximations bound dihedral angles of convex polytopes.
problem Bounding dihedral angles of convex polytopes.
method Approximating polytopes with smooth hypersurfaces and using geometric relations.
result Established lower bounds on dihedral angles.
Examines nonrational polytopes and fans in toric geometry.
problem Understanding nonrational convex polytopes and fans in toric geometry.
method Discussion and interrelation of recent developments.
result Exploration of nonrational polytopes and fans in toric geometry.
New methods classify hyperbolic polytopes with up to 40 facets.
problem Classifying compact hyperbolic Coxeter polytopes with specific facet counts.
method New combinatorial method via point set order types.
result Proves existence of a compact hyperbolic Coxeter 29-polytope with at least 40 facets.
The paper explains how to parameterize facets of moment polytopes in real symplectic geometry.
problem Understanding the moment polytopes in real symplectic geometry.
method Parameterizing equations of facets of Delta(Z) in terms of real Ressayre's pairs of Z.
result Parameterization of facets of moment polytopes explained.
We introduce two operations named biflip and puzzle-move on simple polytopes producing polytopes with diffeomorphic moment-angle manifolds.
Improved UCB algorithm for diversity in bandits with lower bounds.
problem Improving diversity in bandit-based recommendations.
method Designing a UCB algorithm exploiting the specific structure of the problem.
result The UCB algorithm achieves bounded distribution-dependent regret under certain conditions.
Proves necessity of at least log2(n) layers to compute maximum of n numbers.
problem Computing the maximum of n numbers with ReLU neural networks.
method Uses lattice polytopes and duality with Newton polytopes to prove depth lower bounds.
result Proves that log2(n) hidden layers are necessary and sufficient.
Unified cosmological and Einstein polytope theories.
problem Unified understanding of cosmological and Einstein polytope theories.
method Unified combinatorial perspective of cosmological and Einstein polytope theories.
result Unified construction of cosmological and Einstein polytope theories.
The study of symmetries in manifolds derived from colored polytopes.
problem Existence and types of symmetries in rational homology 3-spheres.
method Analysis of hyperbolic manifolds and right-angled polytopes.
result Described how to create colorings with specific symmetries.
Diffeomorphisms of convex polytopes form a Lie group.
problem Understanding transformations of convex polytopes.
method Forming a Lie group from diffeomorphisms of convex polytopes.
result The group of diffeomorphisms of a convex polytope is a regular Lie group.
We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative …
Geometric constraints help classify hyperbolic polytopes.
problem Classifying reflective anisotropic Lorentzian lattices and cocompact arithmetic hyperbolic reflection groups.
method Established geometric constraints on compact Coxeter polytopes in hyperbolic spaces.
result Geometric constraints are useful for classifying hyperbolic polytopes.
New noncompact Coxeter polytopes found in various dimensions.
problem Classifying and constructing noncompact hyperbolic Coxeter polytopes.
method Maximal-cusp density and noncompact analog of Bogachev-Douba-Raimbault's argument.
result Infinitely many pairwise incommensurable noncompact Coxeter polytopes in dimensions 4-9.
Proves weight polytope matches with energy vectors in toric varieties.
problem Understanding the relationship between weight polytopes and energy functionals in toric varieties.
method Combines two slope formulas of K-energy in the toric setting.
result Weight polytope of Hurwitz form matches with convex hull of characteristic vectors.