The study provides conditions for approximating Riemannian manifolds with polyhedral metrics.
problem Approximating Riemannian manifolds with polyhedral metrics.
method Conditions on curvature tensors for Lipschitz and local polyhedral approximations.
result Conditions are sufficient for local polyhedral approximations, conjectured to be sufficient for global approximations.
Smooth 2-tori in R^4 can be approximated by polyhedral Lagrangian or isotropic tori.
problem Approximating smooth 2-tori in high-dimensional spaces.
method Polyhedral approximation using Lagrangian and isotropic tori.
result Smooth 2-tori can be approximated by polyhedral Lagrangian or isotropic tori in C0 or C1 sense.
We show that 3-dimensional polyhedral manifolds with nonnegative curvature in the sense of Alexandrov can be approximated by nonnegatively curved 3-dimensional Riemannian manifolds.
The paper uses polyhedral expansions to capture the shape of compact metric spaces.
problem Capturing the shape of compact metric spaces using finite approximations.
method Inverse sequences of polyhedra based on finite approximations of a compact metric space.
result Proves the General Principle and computes inverse persistent homology groups.
Survey on discrete curvature concepts for polygons and polyhedral surfaces.
problem Defining curvature for discrete structures like polygons and polyhedral surfaces.
method Explains curvature notions for polygons, polyhedral surfaces, and abstract polyhedral manifolds.
result Discrete curvature theorems parallel classical theorems in differential geometry.
The paper tackles prescribing discrete Gaussian curvature on polyhedral surfaces.
problem Prescribing discrete Gaussian curvature on polyhedral surfaces.
method Discrete conformal theory and variational principles with constraints.
result Proves Kazdan-Warner type theorems for polyhedral surfaces.
While Gaussian probability densities are omnipresent in applied mathematics, Gaussian cumulative probabilities are hard to calculate in any but the univariate case. We study the utility of Expectation Propagation (EP) as an approximate integration method for this problem. For rectangular integration regions, the approx…
Study approximates Riemannian manifolds using polyhedra.
problem Understanding Tullio Regge's approximation theorem.
method Proof of Regge theorem using polyhedra approximation.
result Integral of scalar curvature approximated by polyhedral curvature.
Study on discrete Gaussian curvature for polyhedral surfaces.
problem Discretization of Gaussian curvature for polyhedral surfaces.
method Generalization of discrete conformal equivalence to define discrete Gaussian curvature and classify polyhedral surfaces.
result Existence of polyhedral surfaces with constant discrete Gaussian curvature in every discrete conformal class.
Polyhedral surfaces are fundamental objects in architectural geometry and industrial design. Whereas closeness of a given mesh to a smooth reference surface and its suitability for numerical simulations were already studied extensively, the aim of our work is to find and to discuss suitable assessments of smoothness of…
A discrete conformality for hyperbolic polyhedral surfaces is introduced in this paper. This discrete conformality is shown to be computable. It is proved that each hyperbolic polyhedral metric on a closed surface is discrete conformal to a unique hyperbolic polyhedral metric with a given discrete curvature satisfying …
Paper tackles image reconstruction from limited data using polyhedral norms and convex regularizers.
problem Learning convex regularizers for image reconstruction from limited data.
method Imposes amplitude-equivariance, approximates functionals with polyhedral norms, identifies synthesis and analysis forms, proposes a trainable tight frame architecture.
result Proposed framework outperforms sparsity-based methods in denoising and biomedical image reconstruction.
Polyhedral semantics for intermediate logics; Nerve Criterion ensures completeness.
problem Characterize polyhedrally-complete intermediate logics.
method Developed Nerve Criterion to characterize polyhedrally-complete logics combinatorially.
result Nerve Criterion provides a necessary and sufficient condition for polyhedrally-completeness.
Locally finite complexes with polyhedral CAT(0) metrics are arborescent.
problem Characterizing locally finite complexes with CAT(0) metrics. method Proving arborescence for complexes with polyhedral CAT(0) metrics. result Locally finite complexes with polyhedral CAT(0) metrics are arborescent. The paper proves rigidity of bordered polyhedral surfaces using variational principles.
problem Determining the rigidity of bordered polyhedral surfaces.
method Using the variational principle, the paper shows that bordered polyhedral surfaces are determined by boundary values and discrete curvatures on interior edges.
result The paper re-proves the classical result that two Euclidean or hyperbolic cyclic polygons are congruent if their side lengths are equal.
The paper approximates Einstein tensor using finite elements.
problem Approximating Einstein tensor for piecewise polynomial metrics.
method Finite element method applied to Riemannian metrics.
result Convergence rate of O(hr+1) in H−2(Ω)-norm. We develop a method to find a set of diminimal polyhedral maps on the torus from which all other polyhedral maps on the torus may be generated by face splitting and vertex splitting. We employ this method, though not to its completion, to find 53 diminimal polyhedral maps on the Torus.
Characterizes metrics on triangulated surfaces using glued Euclidean triangles.
problem Describing metrics on triangulated surfaces constructed from glued Euclidean triangles.
method Carefully constructing polyhedral metrics and proving their uniqueness.
result Polyhedral metrics are the only intrinsic metrics preserving Euclidean triangle lengths.
We study hyperbolic polyhedral surfaces with faces isometric to regular hyperbolic polygons satisfying that the total angles at vertices are at least 2π. The combinatorial information of these surfaces is shown to be identified with that of Euclidean polyhedral surfaces with negative combinatorial curvature everywher…
We prove that any metric of non-positive curvature in the sense of Alexandrov on a compact surface can be isometrically embedded as a convex spacelike Cauchy surface in a flat spacetime of dimension (2+1). The proof follows from polyhedral approximation.
A discrete conformality for polyhedral metrics on surfaces is introduced in this paper which generalizes earlier work on the subject. It is shown that each polyhedral metric on a surface is discrete conformal to a constant curvature polyhedral metric which is unique up to scaling. Furthermore, the constant curvature me…
A polyhedral map is called {p,q}-equivelar if each face has p edges and each vertex belongs to q faces. In 1983, it was shown that there exist infinitely many geometrically realizable {p,q}-equivelar polyhedral maps if q>p=4, p>q=4 or q−3>p=3. It was shown in 2001 that there exist infi…
In this paper, we consider clustering data that is assumed to come from one of finitely many pointed convex polyhedral cones. This model is referred to as the Union of Polyhedral Cones (UOPC) model. Similar to the Union of Subspaces (UOS) model where each data from each subspace is generated from a (unknown) basis, in …
New method tackles bilevel optimization with polyhedral constraints.
problem Challenges in bilevel optimization with active-set changes and expensive Hessian inversions.
method Logarithmic barrier smoothing and proxy-gradient algorithm for differentiable approximation.
result Stationarity rates of O(K−2/3) in deterministic setting and O(K−2/5) under stochastic noise. Finite element method approximates scalar curvature in arbitrary dimensions.
problem Approximating scalar curvature using finite elements in arbitrary dimensions.
method Piecewise polynomial interpolants of a smooth Riemannian metric on a triangulated polyhedral domain.
result Finite element interpolants converge to scalar curvature with rate O(hr+1) in H−2(Ω) norm. We show that area minimizing polyhedral surfaces are saddle.
Study calculates Floer homology for binary polyhedral spaces.
problem Calculating Floer homology for specific polyhedral spaces.
method Equivariant instanton Floer homology, modified algebraic construction.
result Equivariant instanton Floer homology values for binary polyhedral spaces.
We study rigidity of polyhedral surfaces and the moduli space of polyhedral surfaces using variational principles. Curvature like quantities for polyhedral surfaces are introduced. Many of them are shown to determine the polyhedral metric up to isometry. The action functionals in the variational approaches are derived …
This paper investigates several global rigidity issues for polyhedral surfaces including inversive distance circle packings. Inversive distance circle packings are polyhedral surfaces introduced by P. Bowers and K. Stephenson as a generalization of Andreev-Thurston's circle packing. They conjectured that inversive dist…
New bounds show polyhedral surrogates are optimal for generalization.
problem Proving generalization rates for polyhedral loss functions.
method Developed two general results for polyhedral surrogates.
result Polyhedral surrogates provide linear surrogate regret bounds, translating directly to target rates.
New index theory proves Gromov's dihedral conjectures.
problem Comparisons and rigidity of scalar curvatures, mean curvatures, and dihedral angles.
method Developed a new index theory for manifolds with polyhedral boundary.
result Proved Gromov's dihedral extremality and rigidity conjectures.
SOC-ICNN expands neural network representational capacity by using conic optimization.
problem Restrictive representational capacity of ReLU-based ICNNs.
method Proposes SOC-ICNN architecture that uses Second-Order Cone Programming.
result SOC-ICNN strictly expands representational space without increasing complexity.
Constructs a moment map flow for isotropic maps on surfaces.
problem Understanding isotropic maps on surfaces and their properties.
method Develops a Kähler moment map geometry and a modified moment map flow.
result Polyhedral modified moment map flow induces a strong deformation retraction.
This work describes compactifications of metric spaces and vector spaces using asymmetric norms.
problem Compactifying metric spaces and vector spaces using asymmetric norms.
method Nonstandard methods, ultrapowers of the spaces at hand.
result Polyhedral compactifications of vector spaces with stratified structure.
We investigate the rigidity of hyperbolic cone metrics on 3-manifolds which are isometric gluing of ideal and hyper-ideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyper-ideal hyperbolic polyhedral metrics. It is shown that a hyper-ideal hyperbolic polyhedral metric is determined up to i…
Researchers decompose hyperbolic n-manifolds with totally geodesic boundaries into polyhedral cells.
problem Decomposing hyperbolic n-manifolds with totally geodesic boundaries into polyhedral cells.
method Two different approaches to demonstrate the existence of polyhedral decompositions.
result The number of polyhedral decompositions of M is finite. In this article we introduce the notion of Polyhedral Kahler manifolds, even dimensional polyhedral manifolds with unitary holonomy. We concentrate on the 4-dimensional case, prove that such manifolds are smooth complex surfaces, and classify the singularities of the metric. The singularities form a divisor and the res…
The study connects polyhedral manifolds to Riemannian ones with geometric bounds.
problem Connecting polyhedral manifolds to Riemannian manifolds with geometric constraints.
method Using a theorem by C. Lange and B. Bowditch, the study bounds the curvature and injectivity radius of Riemannian manifolds.
result Polyhedral manifolds with bounded geometry are bi-Lipschitz homeomorphic to Riemannian manifolds with controlled curvature and injectivity radius.
We study a cutting-plane method for semidefinite optimization problems (SDOs), and supply a proof of the method's convergence, under a boundedness assumption. By relating the method's rate of convergence to an initial outer approximation's diameter, we argue that the method performs well when initialized with a second-…
We show that a compact length space is polyhedral if a small spherical neighborhood of any point is conic.
Softens tilings in 3D space, proving conjectures about polyhedral tilings.
problem Proving that all locally polyhedral tilings in 3D space can be softened.
method Developed a new edge-bending algorithm to prove the statement.
result Proved conjectures about polyhedral tilings in 3D space and the plane.
Study shows non-polyhedral structure in moduli spaces for n≥8.
problem Identifying non-polyhedral structure in moduli spaces of pointed stable curves.
method Constructing an extremal non-polyhedral ray via maps on meromorphic strata of differentials.
result Moduli spaces are not Mori Dream Spaces for n≥8.
Conditions for polyhedral Kähler metrics on CP^n with specific singularities.
problem Existence of polyhedral Kähler metrics on complex projective space with specified singularities.
method Parabolic Kobayashi-Hitchin correspondence, linear and quadratic constraints on cone angles.
result Necessary and sufficient conditions for the existence of polyhedral Kähler metrics on CP^n.
Study circle patterns and polyhedral surfaces in hyperbolic ends, proving manifold properties.
problem Understanding the space of complex projective structures on surfaces with circle patterns.
method Analyzing ideal polyhedral surfaces in hyperbolic ends, proving manifold properties and Lagrangian immersions.
result The space of complex projective structures on surfaces with circle patterns is a manifold of dimension 6g-6.
The paper explores how ReLU DNNs can represent MPC policies and vice versa.
problem Representing MPC policies as ReLU DNNs and vice versa.
method Developed an approximate method for identifying input-space in ReLU nets resulting in PWA functions over polyhedral regions. Studied inverse multiparametric linear or quadratic programs for reconstruction of constraints and cost functions given a PWA function.
result Identification and representation of MPC policies as ReLU DNNs and vice versa.
Flat metrics on hyperbolic surfaces embed as polyhedral surfaces in (2+1)-spacetimes.
problem Embedding flat metrics on hyperbolic surfaces into (2+1)-spacetimes.
method Using convex polyhedral Cauchy surfaces and Teichmüller space properties.
result Existence and uniqueness of flat metrics embedding in (2+1)-spacetimes.
Study shows Bergman metric is non-Einstein for certain domains.
problem Characterizing the Bergman metric of specific domains.
method Analyzing pseudoconvex domains with strongly pseudoconvex polyhedral boundaries.
result Bergman metric is not Einstein for the studied domains.
We study the rigidity of polyhedral surfaces using variational principle. The action functionals are derived from the cosine laws. The main focus of this paper is on the cosine law for a non-triangular region bounded by three possibly disjoint geodesics. Several of these cosine laws were first discovered and used by Fe…