A Note on Unbounded Polyhedra Derived from Convex Caps

Joseph O'Rourke

DOI: https://doi.org/10.48550/arXiv.2002.06418

2020-02-16

Abstract:The construction of an unbounded polyhedron from a "jagged'' convex cap is described, and several of its properties discussed, including its relation to Alexandrov's "limit angle."

Computational Geometry

What problem does this paper attempt to address?

Unfolding Restricted Convex Caps

Joseph O'Rourke

DOI: https://doi.org/10.48550/arXiv.0709.1647

2007-09-11

Abstract:This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restrictions: the cap's faces are quadrilaterals, with vertices over an underlying integer lattice, and such that the cap convexity is ``radially monotone,'' a type of smoothness constraint. Extensions of Cauchy's arm lemma are used in the proof of non-overlap.

Computational Geometry
Unbounded matroids

Jonah Berggren,Jeremy L. Martin,José A. Samper

2023-12-05

Abstract:A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.

Combinatorics
C*-convexity and C*-Polyhedron

Clayton Suguio Hida

2023-06-07

Abstract:A polyhedron in a Banach space is a family of points $\mathcal{X}$ such that for every $x\in \mathcal{X}$, there is a closed convex set $C$ such that $a\notin C$ and $\mathcal{X}\setminus\{x\}\subset C$. In this article, we consider the notion of C*-convexity and introduce the notion of a C*-polyhedron, which is a noncommutative version of the notion of polyhedrons. We investigate the largest size of a C*-polyhedron in some classical C*-algebras.

Operator Algebras,Functional Analysis
Spiral Unfoldings of Convex Polyhedra

Joseph O'Rourke

DOI: https://doi.org/10.48550/arXiv.1509.00321

IF: 0.455

2015-09-01

Computational Geometry

Abstract:The notion of a spiral unfolding of a convex polyhedron, resulting by flattening a special type of Hamiltonian cut-path, is explored. The Platonic and Archimedian solids all have nonoverlapping spiral unfoldings, although among generic polyhedra, overlap is more the rule than the exception. The structure of spiral unfoldings is investigated, primarily by analyzing one particular class, the polyhedra of revolution.
Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Lizhuang Ma,Youdong Liang,Qunsheng Peng

DOI: https://doi.org/10.1111/1467-8659.1130405

IF: 2.5

1992-01-01

Computer Graphics Forum

Abstract:AbstractSmoothing of polyhedron with arbitrary topology is an important issue in CAGD and CAD/CAM, but so far it is deemed to be difficult to smooth the complex corners of a polyhedron. In this paper, the concept of distance surfaces of a surface and a solid is introduced, and the incisive properties of such surfaces are addressed which provide a theoretical foundation for modifying a general corner. The method is based on making constricted volume and the maximum distance the volume can be constricted is given too. It is shown that by the proposed method in this paper any polyhedron can be G1 smoothed with quadraic and, sometimes toroidal surfaces. The new approach is suitable for engineering design and NC machining. The associated algorithm based on the classification theorem of corners is simple, fast and robust.
Closed cap condition under the cap construction algorithm

Mercedes Sandu,Shuyi Weng,Jade Zhang

2023-06-11

Abstract:Every polygon $P$ can be companioned by a cap polygon $\hat P$ such that $P$ and $\hat P$ serve as two parts of the boundary surface of a polyhedron $V$. Pairs of vertices on $P$ and $\hat P$ are identified successively to become vertices of $V$. In this paper, we study the cap construction that asserts equal angular defects at these pairings. We exhibit a linear relation that arises from the cap construction algorithm, which in turn demonstrates an abundance of polygons that satisfy the closed cap condition, that is, those that can successfully undergo the cap construction process.

Computational Geometry
A Generalization of Hadamard's Inequality for Convex Functions

W. H. Yang

DOI: https://doi.org/10.1016/j.aml.2007.02.024

IF: 4.294

2007-01-01

Applied Mathematics Letters

Abstract:In this note, we give a counterexample to show that Hadamard’s inequality does not hold on a polyhedron in multi-dimensional Euclidean space. Then we give a sufficient condition on the polyhedron for Hadamard’s inequality to hold. Finally, we provide an approach to create a large class of polyhedra on which Hadamard’s inequality is true.
Unfolding Convex Polyhedra via Radially Monotone Cut Trees

Joseph O'Rourke

DOI: https://doi.org/10.48550/arXiv.1607.07421

2016-07-30

Abstract:A notion of "radially monotone" cut paths is introduced as an effective choice for finding a non-overlapping edge-unfolding of a convex polyhedron. These paths have the property that the two sides of the cut avoid overlap locally as the cut is infinitesimally opened by the curvature at the vertices along the path. It is shown that a class of planar, triangulated convex domains always have a radially monotone spanning forest, a forest that can be found by an essentially greedy algorithm. This algorithm can be mimicked in 3D and applied to polyhedra inscribed in a sphere. Although the algorithm does not provably find a radially monotone cut tree, it in fact does find such a tree with high frequency, and after cutting unfolds without overlap. This performance of a greedy algorithm leads to the conjecture that spherical polyhedra always have a radially monotone cut tree and unfold without overlap.

Computational Geometry
On Newton polytopes of Lagrangian augmentations

Orsola Capovilla‐Searle,Roger Casals

DOI: https://doi.org/10.1112/blms.12992

IF: 1.036

2024-02-08

Bulletin of the London Mathematical Society

Abstract:This note explores the use of Newton polytopes in the study of Lagrangian fillings of Legendrian submanifolds. In particular, we show that Newton polytopes associated to augmented values of Reeb chords can distinguish infinitely many distinct Lagrangian fillings, both for Legendrian links and higher dimensional Legendrian spheres. The computations we perform work in finite characteristic, which significantly simplifies arguments and also allows us to show that there exist Legendrian links with infinitely many nonorientable exact Lagrangian fillings.

mathematics
Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

Rahul Arya,Sunil Arya,Guilherme D. da Fonseca,David M. Mount

DOI: https://doi.org/10.1145/3559106

2022-08-24

Abstract:This paper considers the question of how to succinctly approximate a multidimensional convex body by a polytope. Given a convex body $K$ of unit diameter in Euclidean $d$-dimensional space (where $d$ is a constant) and an error parameter $\varepsilon > 0$, the objective is to determine a convex polytope of low combinatorial complexity whose Hausdorff distance from $K$ is at most $\varepsilon$. By combinatorial complexity we mean the total number of faces of all dimensions. Classical constructions by Dudley and Bronshteyn/Ivanov show that $O(1/\varepsilon^{(d-1)/2})$ facets or vertices are possible, respectively, but neither achieves both bounds simultaneously. In this paper, we show that it is possible to construct a polytope with $O(1/\varepsilon^{(d-1)/2})$ combinatorial complexity, which is optimal in the worst case. Our result is based on a new relationship between $\varepsilon$-width caps of a convex body and its polar body. Using this relationship, we are able to obtain a volume-sensitive bound on the number of approximating caps that are "essentially different." We achieve our main result by combining this with a variant of the witness-collector method and a novel variable-thickness layered construction of the economical cap covering.

Computational Geometry
Capped Vertex Functions for $\text{Hilb}^n (\mathbb{C}^2)$

Jeffrey Ayers,Andrey Smirnov

2024-09-28

Abstract:We obtain explicit formulas for capped descendent vertex functions of $\text{Hilb}^n(\mathbb{C}^2)$ for descendents given by chern classes of tautological bundles. The expression is the result of twisting a well known generating function for normalized Macdonald polynomials. This gives an explicit description of the rational function the capped vertex is an expansion of. Along the way we prove various limit expressions of the capping operator and the bare vertex function.

Mathematical Physics,High Energy Physics - Theory,Algebraic Geometry,Combinatorics,Representation Theory
Minkowski-type and Alexandrov-type theorems for polyhedral herissons

Victor Alexandrov

DOI: https://doi.org/10.1007/s10711-004-4090-3

2002-11-19

Abstract:Classical <a class="link-external link-http" href="http://H.Minkowski" rel="external noopener nofollow">this http URL</a> theorems on existence and uniqueness of convex polyhedra with prescribed directions and areas of faces as well as the well-known generalization of <a class="link-external link-http" href="http://H.Minkowski" rel="external noopener nofollow">this http URL</a> uniqueness theorem due to <a class="link-external link-http" href="http://A.D.Alexandrov" rel="external noopener nofollow">this http URL</a> are extended to a class of nonconvex polyhedra which are called polyhedral herissons and may be described as polyhedra with injective spherical image.

Metric Geometry,Differential Geometry
On Gromov's rigidity theorem for polytopes with acute angles

S. Brendle,Y. Wang

2023-08-16

Abstract:In his Four Lectures, Gromov conjectured a scalar curvature extremality property of convex polytopes. Moreover, Gromov outlined a proof of the conjecture in the special case when the dihedral angles are acute. Gromov's argument relies on Dirac operator techniques together with a smoothing construction. In this paper, we give the details of the smoothing construction, thereby providing a detailed proof of Gromov's theorem. The proof of the rigidity statement also uses a deep estimate due to Fefferman and Phong.

Differential Geometry
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Jeff Erickson

DOI: https://doi.org/10.48550/arXiv.math/0106095

2001-06-13

Abstract:We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.

Combinatorics,Metric Geometry
Scalar curvature rigidity of parabolic convex polytopes in hyperbolic space

Xiaoxiang Chai,Xueyuan Wan

2023-12-26

Abstract:In odd dimensions, we prove a scalar curvature rigidity for parabolic convex polytopes in hyperbolic space enclosed by linear planes in the Poincare upper half-space model and convex with respect to the conformally related flat metric. Our method is based on spinor techniques and relies on the recent smoothing constructions of Brendle-Wang. We also prove a Llarull type rigidity for bounded smooth parabolic convex domains and a dihedral rigidity for polytopal initial data sets with dominant energy conditions.

Differential Geometry,General Relativity and Quantum Cosmology
A note on the diameter of convex polytope

Yaguang Yang

DOI: https://doi.org/10.1016/j.dam.2020.11.008

IF: 1.254

2021-01-01

Discrete Applied Mathematics

Abstract:<p>This short note extends a recent result (Bonifas et al., 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.</p>

mathematics, applied
Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Khaled Elbassioni,Zvi Lotker,Raimund Seidel

DOI: https://doi.org/10.48550/arXiv.cs/0507038

IF: 0.455

2005-07-14

Computational Geometry

Abstract:In this note we show that the maximum number of vertices in any polyhedron $P=\{x\in \mathbb{R}^d : Ax\leq b\}$ with $0,1$-constraint matrix $A$ and a real vector $b$ is at most $d!$.
Rigidly breaking potential flows and a countable Alexandrov theorem for polytopes

Jian-Guo Liu,Robert L. Pego

2024-11-08

Abstract:We study all the ways that a given convex body in $d$ dimensions can break into countably many pieces that move away from each other rigidly at constant velocity, with no rotation or shearing. The initial velocity field is locally constant, but may be continuous and/or fail to be integrable. For any choice of mass-velocity pairs for the pieces, such a motion can be generated by the gradient of a convex potential that is affine on each piece. We classify such potentials in terms of a countable version of a theorem of Alexandrov for convex polytopes, and prove a stability theorem. For bounded velocities, there is a bijection between the mass-velocity data and optimal transport flows (Wasserstein geodesics) that are locally incompressible. Given any rigidly breaking velocity field that is the gradient of a continuous potential, the convexity of the potential is established under any of several conditions, such as the velocity field being continuous, the potential being semi-convex, the mass measure generated by a convexified transport potential being absolutely continuous, or there being a finite number of pieces. Also we describe a number of curious and paradoxical examples having fractal structure.

Analysis of PDEs,Optimization and Control
Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

Erik D. Demaine,Martin L. Demaine,David Eppstein

DOI: https://doi.org/10.48550/arXiv.2007.14525

2020-07-29

Abstract:We present new examples of topologically convex edge-ununfoldable polyhedra, i.e., polyhedra that are combinatorially equivalent to convex polyhedra, yet cannot be cut along their edges and unfolded into one planar piece without overlap. One family of examples is acutely triangulated, i.e., every face is an acute triangle. Another family of examples is stacked, i.e., the result of face-to-face gluings of tetrahedra. Both families achieve another natural property, which we call very ununfoldable: for every $k$, there is an example such that every nonoverlapping multipiece edge unfolding has at least $k$ pieces.

Computational Geometry

A Note on Unbounded Polyhedra Derived from Convex Caps

Unfolding Restricted Convex Caps

Unbounded matroids

C*-convexity and C*-Polyhedron

Spiral Unfoldings of Convex Polyhedra

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

Closed cap condition under the cap construction algorithm

A Generalization of Hadamard's Inequality for Convex Functions

Unfolding Convex Polyhedra via Radially Monotone Cut Trees

On Newton polytopes of Lagrangian augmentations

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

Capped Vertex Functions for $\text{Hilb}^n (\mathbb{C}^2)$

Minkowski-type and Alexandrov-type theorems for polyhedral herissons

On Gromov's rigidity theorem for polytopes with acute angles

Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes

Scalar curvature rigidity of parabolic convex polytopes in hyperbolic space

A note on the diameter of convex polytope

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Rigidly breaking potential flows and a countable Alexandrov theorem for polytopes

Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

C-convexity and C-Polyhedron