Scalable verifier for recurrent neural networks using polyhedral abstractions.
problem Certifying the correctness of recurrent neural networks.
method Combining sampling, optimization, and Fermat's theorem for polyhedral abstractions; gradient descent for refinement.
result Successfully verified challenging recurrent models in various domains.
GPUPoly verifies large neural networks robustly on GPUs.
problem Proving robustness of deep neural networks is crucial but challenging.
method Custom polyhedra algorithms on GPUs.
result GPUPoly can verify 1M neuron networks in 34.5 ms.
A new framework for verifying robustness of neural networks.
problem Verifying the robustness of neural networks against adversarial attacks.
method LayerCert framework exploiting the nested hyperplane arrangement structure of ReLU networks.
result LayerCert reduces the number and size of convex programs needed for robustness verification.
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 …
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.
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…
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…
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.
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.
We show that area minimizing polyhedral surfaces are saddle.
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 …
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.
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 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.
Formalizes weak and strong verification for LLMs, controlling errors without assumptions.
problem Balancing cost and reliability in reasoning with LLMs.
method Formalizes weak-strong verification policies, introduces metrics, develops online algorithm.
result Optimal policies admit a two-threshold structure, and calibration and sharpness govern value of weak verifiers.
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.
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…
We present and apply a method for disproving the existence of polyhedral immersions in R3 of certain triangulations on non-orientable surfaces. In particular, it is proved that neither of the two vertex-minimal, neighborly 9-vertex triangulations of the non-orientable surface of genus 5 are realizable as im…
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 introduces combinatorial curvature and flow for polyhedral surfaces, proving rigidity and solving the Yamabe problem.
problem Discrete conformal structures on polyhedral surfaces and their rigidity.
method Parameterized combinatorial curvature, combinatorial α-Ricci flow, and flow extension through singularities.
result Existence and convergence of combinatorial α-Ricci flow for solving the Yamabe problem.
The study classifies singularities in curved 3D shapes.
problem Understanding nonnegatively curved polyhedral 3-manifolds.
method Classification of singularities with nonnegative curvature and integral monodromy.
result 32 isometry types of codimension 3 singularities are classified.
We formalize and study the natural approach of designing convex surrogate loss functions via embeddings, for problems such as classification, ranking, or structured prediction. In this approach, one embeds each of the finitely many predictions (e.g.\ rankings) as a point in Rd, assigns the original loss val…
Efficiently checks local robustness in neural networks using geometric projections.
problem Ensuring robustness of neural networks against adversarial inputs.
method Systematic search for decision boundaries in convex polyhedral regions using geometric projections.
result Shows geometric projections can efficiently check robustness in neural networks.
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.
Training certifiable neural networks enables one to obtain models with robustness guarantees against adversarial attacks. In this work, we introduce a framework to bound the adversary-free region in the neighborhood of the input data by a polyhedral envelope, which yields finer-grained certified robustness. We further …
Proves existence of unique circle packings on polyhedral surfaces.
problem Existence of unique circle packings on polyhedral surfaces with specified discrete curvature.
method Constructs diffeomorphism between fiber bundles, uses discrete Ricci flow and edge flipping.
result Proves existence of unique inversive distance circle packings.
We prove that, both in the hyperbolic and spherical 3-spaces, there exist nonconvex compact boundary-free polyhedral surfaces without selfintersections which admit nontrivial continuous deformations preserving all dihedral angles and study properties of such polyhedral surfaces. In particular, we prove that the volume …