Constructs a map with prescribed local Lipschitz constants on a subset of a manifold.
problem Creating a Lipschitz map with specific local Lipschitz constants on a subset of a manifold.
method Constructs a Lipschitz map that matches a given map on a subset and has a local Lipschitz constant defined by a continuous function.
result A Lipschitz map can be constructed with a local Lipschitz constant prescribed by a continuous function.
The paper proves Lipschitz continuity of cut times in spacetimes.
problem Lipschitz continuity of cut times in globally hyperbolic spacetimes.
method Adapted Itoh-Tanaka method to Lorentzian setting.
result Lipschitz continuity of cut times with quantitative estimates.
Proves existence of curved surfaces in hyperbolic space.
problem Finding surfaces with specific curvature and boundary conditions.
method Proves existence using Weingarten curvature and asymptotic boundary conditions.
result Proves existence of locally Lipschitz continuous hypersurfaces.
We show that the isoperimetric profile hg(t)(ξ) of a compact Riemannian manifold (M,g) is jointly continuous when metrics g(t) vary continuously. We also show that, when M is a compact surface and g(t) evolves under normalized Ricci flow, hg(t)2(ξ) is uniform Lipschitz continuous and hence $h_{g(t)}(…
New methods solve MI problems with locally Lipschitz operators, improving solution efficiency.
problem Solving monotone inclusions with locally Lipschitz continuous operators.
method Primal-dual extrapolation methods using backtracking line search.
result Improved operation complexity for solving MI problems.
Local Lipschitz continuity of sub-elliptic harmonic maps into CAT(0) spaces proved.
problem Proving Lipschitz continuity of sub-elliptic harmonic maps between singular spaces.
method Analyzing sub-elliptic harmonic maps from the Heisenberg group into CAT(0) spaces.
result Local Lipschitz continuity established for sub-elliptic harmonic maps.
In 1997, J. Jost [27] and F. H. Lin [39], independently proved that every energy minimizing harmonic map from an Alexandrov space with curvature bounded from below to an Alexandrov space with non-positive curvature is locally Hölder continuous. In [39], F. H. Lin proposed a challenge problem: Can the Hölder continuity …
We prove a Frobenius-type theorem for singular distributions generated by a family of locally Lipschitz continuous vector fields satisfying almost everywhere a quantitative finite type condition.
A generalization of the Flow-box Theorem is given. The assumption of continuous differentiability of the vector field is relaxed to a local Lipschitz condition. The theorem holds in any Banach space.
The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations…
New method improves optimization algorithms without Lipschitz smoothness.
problem Improving optimization algorithms in the absence of Lipschitz smoothness.
method Dual kernel conditioning (DKC) to provide dual Lipschitz continuity.
result First complexity bounds and iterate convergence for random reshuffling mirror descent.
On a smooth complete Riemannian spin manifold with smooth compact boundary, we demonstrate that the Atiyah-Singer Dirac operator DB in L2 depends Riesz continuously on L∞ perturbations of local boundary conditions B. The Lipschitz bound for the map ${…
Lorentzian distances to Cauchy surfaces fail to be locally equi-Lipschitz.
problem Lorentzian distances to Cauchy surfaces
method Conjectures based on Cauchy temporal functions
result Lorentz distances to Cauchy surfaces are not locally equi-Lipschitz
We prove local Holder continuity of quasi-n-harmonic mappings from Euclidean domains into metric spaces with non-positive curvature in the sense of Alexandrov. We also obtain global Holder continuity of such mappings from bounded Lipschitz domains.
MLDL preserves manifold geometry in vector transformations.
problem Geometric deterioration in neural network transformations.
method Locally isometric smoothness (LIS) and Markov random field (MRF) encoding.
result Enhanced vector transformations into well-behaved metric homeomorphisms.
New methods for convex optimization with locally Lipschitz gradient, achieving faster convergence.
problem Optimization problems with locally Lipschitz continuous gradient.
method Accelerated proximal gradient (APG) methods and proximal augmented Lagrangian method.
result Achieved faster convergence rates for convex optimization problems with locally Lipschitz gradient.
Extends involutivity to non-Lipschitz subbundles and proves the Frobenius Theorem.
problem Defining involutivity for non-Lipschitz subbundles and proving the Frobenius Theorem.
method Using generalized functions, the Frobenius Theorem is extended to log-Lipschitz subbundles with sharp regularity estimates.
result For log-Lipschitz involutive subbundles, there exists a homeomorphism with specific regularity properties.
New framework tightens certified robustness gaps in machine learning models.
problem Persistent gap between theoretical certified robustness and empirical accuracy.
method Leverages Lipschitz continuity and novel confidence intervals.
result Improves robust accuracy, compressing the gap between theory and practice.
Proposes DMOC for more nuanced neural network robustness.
problem Lipschitz continuity is too coarse for nuanced data-dependent behavior.
method Data-driven, architecture-agnostic framework based on DMOC.
result DMOC provides a finer notion of robustness relative to data distribution.
A scattering transform defines a signal representation which is invariant to translations and Lipschitz continuous relatively to deformations. It is implemented with a non-linear convolution network that iterates over wavelet and modulus operators. Lipschitz continuity locally linearizes deformations. Complex classes o…
This paper bounds the Lipschitz constants of neural networks and their gradients.
problem Estimating the Lipschitz constant of complex models like neural networks.
method Local upper and lower bounds on Lipschitz constants computed with respect to network parameters.
result It is impossible to derive global upper bounds for the Lipschitz constants of neural networks.
Study 2D spaces with curvature, focusing on structure and approximations.
problem Characterize and understand 2D metric spaces with curvature constraints.
method Lipschitz homotopy approximations, curvature measures, convergence analysis.
result Established Gauss-Bonnet Theorem and characterized spaces.
New Transformers maintain Lipschitz continuity for robustness.
problem Ensuring robustness in Transformers for safety-sensitive applications.
method Introducing gradient-descent-type in-context Transformers with explicit Euler steps of negative gradient flows.
result Universal approximation theorem for Lipschitz continuous Transformers.
Probabilistic learning is increasingly being tackled as an optimization problem, with gradient-based approaches as predominant methods. When modelling multivariate likelihoods, a usual but undesirable outcome is that the learned model fits only a subset of the observed variables, overlooking the rest. In this work, we …
The paper examines convergence of distances in Lipschitz structures on manifolds.
problem Convergence of distances in Lipschitz vector fields and norms on manifolds.
method Analysis of convergence of distances associated to converging structures of Lipschitz vector fields and norms.
result Under mild controllability assumption, distances converge locally uniformly to the limit Carnot-Carathéodory distance.
GroupSort neural networks can approximate Lipschitz continuous functions.
problem Understanding and improving the expressive power of neural networks with Lipschitz constraints.
method Introduced and studied GroupSort neural networks with constraints on weights, proving their ability to approximate Lipschitz continuous functions.
result GroupSort networks can represent any Lipschitz continuous piecewise linear functions and are well-suited for approximating general Lipschitz continuous functions.
The curse of dimensionality affects neural network optimization, especially with smooth functions.
problem The curse of dimensionality in neural network optimization.
method Examined through the evolution of the parameter distribution under 2-Wasserstein gradient flow.
result The curse of dimensionality persists in neural network optimization, even with smooth functions.
The paper studies Lipschitz bounds for integral kernels under differentiability assumptions.
problem Understanding the Lipschitz continuity of feature maps associated with integral kernels.
method Analyzes differentiability assumptions to derive explicit formulas for Lipschitz constants and conditions for non-Lipschitz continuity.
result Explicit formulas and conditions for Lipschitz continuity of feature maps associated with various kernels.
We provide a new local class-purity theorem for Lipschitz continuous DNN classifiers. In addition, we discuss how to achieve classification margin for training samples. Finally, we describe how to compute margin p-values for test samples.
Investigates Lipschitz continuity in neural networks across various settings.
problem Understanding the Lipschitz behavior of neural networks.
method Empirical investigation of Lipschitz bounds in different neural network architectures and datasets.
result Remarkable fidelity of the lower Lipschitz bound and a Double Descent trend in both upper and lower bounds.
OTAD uses optimal transport to create robust models against adversarial attacks.
problem Vulnerability of deep neural networks to adversarial perturbations.
method OTAD combines optimal transport and Lipschitz networks to create a robust model.
result OTAD outperforms other robust models on diverse datasets.
The mean curvature flow is the gradient flow of volume functionals on the space of submanifolds. We prove a fundamental regularity result of the mean curvature flow in this paper: a Lipschitz submanifold with small local Lipschitz norm becomes smooth instantly along the mean curvature flow. This generalizes the regular…
This research explores principles of Lipschitz continuity in neural networks for robustness and generalization.
problem Ensuring robustness and generalization in neural networks, especially to small input perturbations and out-of-distribution data.
method Two complementary perspectives: internal (training dynamics) and external (frequency signal propagation).
result Advances in understanding the principles of Lipschitz continuity in neural networks.
Study Lipschitz regularity for manifold-constrained ROF model on curved surfaces.
problem Lipschitz regularity for manifold-constrained ROF model on curved surfaces.
method Generalization of ROF model, existence and uniqueness of minimizers, regularity results on PDE system.
result Lipschitz regularity of minimizers without convexity requirements.
We examine the impact of learning Lipschitz continuous models in the context of model-based reinforcement learning. We provide a novel bound on multi-step prediction error of Lipschitz models where we quantify the error using the Wasserstein metric. We go on to prove an error bound for the value-function estimate arisi…
In this note we prove that reconstruction from magnitudes of frame coefficients (the so called "phase retrieval problem") can be performed using Lipschitz continuous maps. Specifically we show that when the nonlinear analysis map α:H→Rm is injective, with (α(x))k=∣<x,fk>∣2, where $…
Let (X,d,μ) be a complete metric measure space, with μ a locally doubling measure, that supports a local weak L2-Poincaré inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic functions are Lipschitz continuous on (X,d,μ). Gradient estimates for Cheeger-harmonic func…
We consider geodesics in both Riemannian and Lorentzian manifolds with metrics of low regularity. We discuss existence of extremal curves for continuous metrics and present several old and new examples that highlight their subtle interrelation with solutions of the geodesic equations. Then we turn to the initial value …
Study proves interaction of three impulsive gravitational waves, showing local solution and Lipschitz continuity.
problem Interaction of three impulsive gravitational waves in Einstein vacuum equations.
method Geometric estimates and wave estimates to prove local solution and continuity.
result Local solution to Einstein vacuum equations with three impulsive gravitational waves, Lipschitz continuity.
Continuity of roots of hyperbolic polynomials with smooth coefficients.
problem Continuity of the solution map for hyperbolic polynomials.
method Proving continuity of the solution map from hyperbolic polynomials of degree d with C^d coefficients to their increasingly ordered roots.
result Continuity of the solution map for hyperbolic polynomials with C^d coefficients.
Optimistic method adapted for faster convex-concave min-max problems.
problem Solving convex-concave min-max optimization problems efficiently.
method Adaptive, line search-free second-order methods combining optimistic updates and second-order information.
result Achieves optimal convergence rate without line search or backtracking.
The paper proves properties of Lipschitz spacetimes with bounded Ricci curvature.
problem Properties of Lipschitz spacetimes with bounded Ricci curvature.
method Globally hyperbolic spacetimes with locally Lipschitz metrics and timelike Ricci curvature.
result New comparison theorems for Lipschitz spacetimes.
We give a generalization of a theorem of Bôcher for the Laplace equation to a class of conformally invariant fully nonlinear degenerate elliptic equations. We also prove a Harnack inequality for locally Lipschitz viscosity solutions and a classification of continuous radially symmetric viscosity solutions.
We provide a detailed proof of Hawking's singularity theorem in the regularity class C1,1, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in C1,1-causality theory and is based on regularisation techniques adapted to the causal structure.
Extends Lipschitz functions while preserving local constants.
problem Extending Lipschitz functions on metric spaces while maintaining local constants.
method Extends Lipschitz functions on metric spaces while locally preserving the asymptotic Lipschitz constant.
result Sobolev spaces on metric measure spaces are invariant under isomorphism of mm-structures.
Study geometric flows with varying parameters and prove continuous dependence.
problem Continuous dependence of flows on parameters in geometric settings.
method Derived suitable topologies for vector fields and flows, proved new continuous dependence.
result Proved continuous dependence of flows on parameters in a general topological space.
We model how Lipschitz continuity changes during neural network training.
problem Understanding how Lipschitz continuity evolves during training.
method We use a system of stochastic differential equations to capture the dynamics of Lipschitz continuity under SGD.
result We identify three factors driving the evolution of Lipschitz continuity: gradient flow projection, gradient noise, and Hessian projection.
Lipschitz continuity recently becomes popular in generative adversarial networks (GANs). It was observed that the Lipschitz regularized discriminator leads to improved training stability and sample quality. The mainstream implementations of Lipschitz continuity include gradient penalty and spectral normalization. In th…