arXiv research

This work describes compactifications of metric spaces and vector spaces using asymmetric norms.

Study normal curves in sub-Finsler Lie groups with specific norms, focusing on branching and face stability.

We establish a natural and geometric 1-1 correspondence between projective toric varieties of dimension $n$ and horofunction compactifications of $\mathbb{R}^n$ with respect to rational polyhedral norms. For this purpose, we explain a topological model of toric varieties. Consequently, toric varieties in algebraic geom…

In this paper we answer positively a question raised by Kapovich and Leeb in a paper titled "Finsler bordifications of symmetric and certain locally symmetric spaces". Specifically, we show that for a finite-dimensional vector space with a polyhedral norm, its horofunction compactification is homeomorphic to the dual u…

Paper tackles image reconstruction from limited data using polyhedral norms and convex regularizers.

We study the stable norm on the first homology of a closed, non-orientable surface equipped with a Riemannian metric. We prove that in every conformal class there exists a metric whose stable norm is polyhedral. Furthermore the stable norm is never strictly convex if the first Betti number of the surface is greater tha…

We propose a novel method for computing exact pointwise robustness of deep neural networks for all convex $\ell_p$ norms. Our algorithm, GeoCert, finds the largest $\ell_p$ ball centered at an input point $x_0$, within which the output class of a given neural network with ReLU nonlinearities remains unchanged. We relat…

The real homology of a compact Riemannian manifold $M$ is naturally endowed with the stable norm. The stable norm on $H_1(M,\mathbb{R})$ arises from the Riemannian length functional by homogenization. It is difficult and interesting to decide which norms on the finite-dimensional vector space $H_1(M,\mathbb{R})$ are st…

For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are completely described by combinatorial properties of the graph. We study then th…

Algorithms compute length spectra of torus graphs efficiently.

Sparse methods for supervised learning aim at finding good linear predictors from as few variables as possible, i.e., with small cardinality of their supports. This combinatorial selection problem is often turned into a convex optimization problem by replacing the cardinality function by its convex envelope (tightest c…

Study on discrete Gaussian curvature for polyhedral surfaces.

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 …

Polyhedral semantics for intermediate logics; Nerve Criterion ensures completeness.

Locally finite complexes with polyhedral $CAT(0)$ metrics are arborescent.

The paper proves rigidity of bordered polyhedral surfaces using variational principles.

A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral structure in the unit ball of the stable commutator length norm. We prove the foll…

SOC-ICNN expands neural network representational capacity by using conic optimization.

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.

New algorithm achieves optimal privacy and efficiency in non-Euclidean convex optimization.

Characterizes metrics on triangulated surfaces using glued Euclidean triangles.

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…

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…

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-…

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…

Smooth 2-tori in R^4 can be approximated by polyhedral Lagrangian or isotropic tori.

Survey on discrete curvature concepts for polygons and polyhedral surfaces.

We show that area minimizing polyhedral surfaces are saddle.

The study provides conditions for approximating Riemannian manifolds with polyhedral metrics.

Study calculates Floer homology for binary polyhedral spaces.

Finite element method approximates scalar curvature in arbitrary dimensions.

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.

New index theory proves Gromov's dihedral conjectures.

Constructs a moment map flow for isotropic maps on surfaces.

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.

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 paper approximates Einstein tensor using finite elements.

The study connects polyhedral manifolds to Riemannian ones with geometric bounds.

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.

Study shows non-polyhedral structure in moduli spaces for n≥8.

Conditions for polyhedral Kähler metrics on CP^n with specific singularities.

Study circle patterns and polyhedral surfaces in hyperbolic ends, proving manifold properties.

Flat metrics on hyperbolic surfaces embed as polyhedral surfaces in (2+1)-spacetimes.