Enhances neural network robustness with polyhedral envelope regularization.
problem Improving neural network robustness against adversarial attacks.
method Introduces polyhedral envelope regularization to bound the robustness region.
result Demonstrates improved robustness guarantees with minimal computational overhead.
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…
Correct method found for drawing precise envelope of straight lines.
problem Widespread method fails to represent the precise shape of envelope.
method Recently discovered correct method for straight line families in the plane.
result Correct method precisely represents the envelope of straight lines.
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 …
Study three discrete envelope types of polygon bisection lines.
problem Understanding different envelope types of polygon bisection lines.
method Examined three distinct notions of discrete envelopes.
result Connected three different notions of discrete envelopes.
Paper solves four problems of pseudo-circle envelopes in Minkowski plane.
problem Four problems of pseudo-circle envelopes in Minkowski plane.
method Solutions to four basic problems.
result Solved four problems of pseudo-circle envelopes in Minkowski plane.
Describes envelopes of Thurston metric on Teichmüller space.
problem Characterizing the shape and properties of envelopes in Teichmüller space.
method Using harmonic stretch lines and topological invariants, the shape and properties of envelopes are described.
result Envelopes are contractible and vary continuously with endpoints.
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.
Improves regression efficiency by separating material and immaterial parts of responses.
problem Improving estimation efficiency in nonlinear multivariate regressions.
method Kernel envelope (KENV) estimator for nonparametric response envelopes in reproducing kernel Hilbert space.
result KENV achieves lower in-sample prediction risk than kernel ridge regression in non-trivial immaterial components.
Study circle families' envelopes and related curves.
problem Understanding relationships between circle families and special curves.
method Investigate envelopes of circle families and their connections to evolutes, pedals, evolutoids, and pedaloids.
result Characterized relationships between circle families and related curves.
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.
Solves four problems related to circle families in the plane.
problem Four basic problems of circle families in the plane.
method Solves all four basic problems of circle families in the plane.
result All four basic problems are solved.
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…
New method for operating envelope identifies key performance indicators without arbitrary binning.
problem Accurate identification of operating envelope for optimal KPIs.
method Regularized GA algorithm with interpretability and implementability constraints.
result Validated through simulations and real-world application in mining.
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…
New Lie group approach for envelope surface computation.
problem Efficient computation of envelope surfaces.
method Interpreting surfaces as curves in Lie group spaces, leveraging Lie group and algebra formalisms.
result Explicit rational parameterization of cone envelope surfaces and solution to trimming problem.
Solves four problems related to sphere families in 3D space.
problem Four basic problems of sphere families in Euclidean 3-space.
method Solves all four basic problems of sphere families in Euclidean 3-space.
result All four basic problems are solved.
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…
The dynamical analysis of American options has motivated the development of robust versions of the classical Snell envelopes. The cost of superhedging an American option is characterized by the upper Snell envelope. The infimum of the arbitrage free prices is characterized by the lower Snell envelope. In this paper we …
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.
This paper explores geometric insights into discrete R-congruences and their envelopes.
problem Understanding the ambiguity in discrete R-congruences and their envelopes.
method Analyzes discrete R-congruences that are enveloped by specific types of surfaces and maps.
result Discovers a 2-parameter family of discrete enveloping surfaces for discrete R-congruences.
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.
Extends orbital integral evaluation to center of enveloping algebra.
problem Evaluate semisimple orbital integrals for arbitrary elements in the center of the enveloping algebra.
method Explicit geometric evaluation of Casimir operator to arbitrary elements in the center of the enveloping algebra.
result Extension of orbital integral evaluation to center of enveloping algebra.
Study on Laplacian determinant in isosceles triangles, finding equilateral triangle minimizes determinant.
problem Finding the minimum of the spectral determinant on isosceles triangles.
method Analyzing the determinant of the Laplacian on Euclidean isosceles triangle envelopes of fixed area.
result Equilateral triangle envelope minimizes the determinant of the Laplacian.
We show that area minimizing polyhedral surfaces are saddle.
This work uses Lasry-Lions envelopes to solve nonconvex optimization problems.
problem Nonconvex and nonsmooth terms in optimization problems.
method Develops a homotopy approach using Lasry-Lions envelopes to approximate and solve the original problem.
result The method can solve composite minimization problems and is more effective than classical alternatives in certain domains.
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.
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 …
We make a systematic study of (quasi-)plurisubharmonic envelopes on compact Kähler manifolds, as well as on domains of Cn, by using and extending an approximation process due to Berman [Ber13]. We show that the quasi-psh envelope of a viscosity super-solution is a pluripotential super-solution of a given co…
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.
New geometric mechanism solves four envelope problems.
problem Four basic problems on envelopes created by hyperplane families.
method Simple geometric mechanism of intersections of perpendicular bisectors and normal lines.
result Solves all four basic problems on envelopes at once.
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…
New methods help escape strict saddle points in nonsmooth optimization.
problem Escaping strict saddle points in nonsmooth optimization.
method An inexact stochastically perturbed gradient method applied to the Moreau envelope.
result A variety of algorithms for nonsmooth optimization can efficiently escape strict saddle points of the Moreau envelope.
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 show that a compact length space is polyhedral if a small spherical neighborhood of any point is conic.
This paper generalizes the envelope of mid-lines to intermediate lines for a plane curve.
problem Understanding the envelope of intermediate lines for a plane curve.
method Using singularity theory techniques to analyze the local behavior of the envelope of intermediate lines.
result The envelope of intermediate lines (EIL) is formed by three disconnected sets: AEIL, the curve itself, and IPTL.