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.
Graph pruning improves neural network performance by addressing squashing and smoothing issues.
problem Over-squashing and over-smoothing in Graph Neural Networks.
method Proposes edge deletions to simultaneously address over-squashing and over-smoothing, optimizing spectral gap.
result Edge deletions improve generalization and distinguishability of nodes of different classes.
Study of spectral gaps in non-smooth spaces with bounded Ricci curvature.
problem Analyzing spectral gaps in non-smooth metric measure spaces.
method Establishing a Polya-Szego type inequality and applying it to show spectral gaps for the p-Laplace operator.
result Sharp spectral gap results for the p-Laplace operator on various non-smooth spaces.
Paper establishes a universal growth rate for smooth surrogate losses in classification.
problem Analyzing growth rates of consistency bounds for various surrogate losses.
method Proves square-root growth rate for smooth margin-based losses; extends to multi-class classification.
result Demonstrates a universal square-root growth rate for smooth comp-sum and constrained losses.
Derandomizing PAC-Bayes bounds for smooth loss functions
problem Derandomizing PAC-Bayes bounds for smooth loss functions
method Exploiting smoothness properties of both the loss and the predictor class
result Bounds for deterministic predictors that involve flatness quantities
Study of hyperbolic polyhedral surfaces with regular faces.
problem Understanding the properties of hyperbolic polyhedral surfaces with regular faces.
method Combinatorial and geometric analysis of hyperbolic polyhedral surfaces with regular faces.
result There is a gap between the areas of non-smooth hyperbolic polyhedral surfaces and smooth hyperbolic surfaces.
Unpublished results of S Straus and W Browder state that two notions of homotopy equivalence for manifolds with smooth group actions - isovariant and equivariant - often coincide under a condition called the Gap Hypothesis; the proofs use deep results in geometric topology. This paper analyzes the difference between th…
Paper analyzes complexity of solving nonconvex-strongly-concave problems.
problem Finding approximate stationary points of nonconvex-strongly-concave minimax problems.
method Introduces a generic acceleration scheme to solve crafted subproblems.
result Algorithm nearly matches lower complexity bounds in general setting.
The paper sets limits on the number of ends of certain geometric structures.
problem Limits on the number of ends of smooth metric measure spaces.
method Analyzes the Bakry-Émery Ricci tensor and function degeneration to set limits.
result Establishes gap theorems for ends of smooth metric measure spaces under specific conditions.
New estimates show spectral gap stability in RCD spaces, close to Beta distribution.
problem Stability of spectral gap bounds in metric-measure spaces.
method Combines L1-functional inequality and Stein's method. result Sharp quantitative estimate for spectral gap stability.
Derives bounds for deterministic predictors using smooth loss functions.
problem Generalizing probabilistic predictors to deterministic ones.
method Exploits smoothness properties of loss and predictor classes, controlling the Jensen gap class through Rademacher complexity.
result Derives bounds for deterministic predictors involving flatness quantities from Jacobians and Hessians.
Kahler-Einstein metrics linked to eigenvalue gaps on Fano manifolds.
problem Existence of Kahler-Einstein metrics on Fano manifolds.
method Characterization via eigenvalue gaps of Cauchy-Riemann and Hamiltonian vector fields.
result Existence of Kahler-Einstein metrics linked to eigenvalue gaps.
We study λ-hypersurfaces that are critical points of a Gaussian weighted area functional ∫Σe−4∣x∣2dA for compact variations that preserve weighted volume. First, we prove various gap and rigidity theorems for complete λ-hypersurfaces in terms of the norm of the second fundamental form ∣A∣. Sec…
Counterexample shows state-constrained optimal control problems can have Young measure gaps.
problem Existence of Young measure gaps in state-constrained optimal control problems.
method Provided a counterexample for smooth controllable systems state-constrained to the unit ball.
result Gap occurs in a regular setting with non-convex Lagrangian density.
Deep neural networks perform poorly on smooth functions despite strong approximation theory.
problem The gap between deep learning theory and practical performance on smooth functions.
method Computational framework to study DNN performance, comparing against best-in-class methods.
result There is a crucial gap between DNN approximation theory and practical performance, but it can be closed.
In this paper, we extend the sharp lower bounds of spectal gap, due to Chen- Wang [10, 11], Bakry-Qian [6] and Andrews-Clutterbuck [5], from smooth Riemaniannian manifolds to general metric measure spaces with Riemannian curvature-dimension condition RCD*(K;N).
Complete connections proven for smooth fiber bundles.
problem Proving complete connections on fiber bundles.
method Provided a definitive proof with examples.
result Proven the existence of complete connections.
We prove the Fundamental Gap Conjecture, which states that the difference between the first two Dirichlet eigenvalues (the spectral gap) of a Schrödinger operator with convex potential and Dirichlet boundary data on a convex domain is bounded below by the spectral gap on an interval of the same diameter with zero poten…
In this note, we give a new and simple proof of a result in {\cite{DX1}} which states that any smooth complete self-shrinker in R3 with second fundamental form of constant length must be a generalized cylinder Sk×R2−k for some k≤2. Moreover, we prove a gap theorem for smo…
In this sequel to [arXiv:1412.4114], we prove an Ld/2 energy gap result for Yang-Mills connections on principal G-bundles, P, over arbitrary, closed, Riemannian, smooth manifolds of dimension d≥2. We apply our version of the Lojasiewicz-Simon gradient inequality [arXiv:1409.1525, arXiv:1510.03815] to rem…
We extend an L2 energy gap result due independently to Min-Oo and Parker (1982) for Yang-Mills connections on principal G-bundles, P, over closed, connected, four-dimensional, oriented, smooth manifolds, X, from the case of positive Riemannian metrics to the more general case of good Riemannian metrics, includ…
Improved inference-time alignment using Best-of-N and smoothing.
problem Reward overoptimization in Best-of-N (BoN) due to poor proxy reward models.
method Introduced Soft Best-of-N (SBoN) and analyzed its performance through KL divergence and regret analysis.
result Smoothing helps SBoN mitigate reward overoptimization, especially when proxy reward quality is low.
Calibrations help estimate volumes on odd spheres without gaps.
problem Estimating the minimum volume of tangent vector fields on odd spheres.
method Using a specific calibration and analyzing stable mass in the section class.
result No smooth unit field on Sn has a graph that is ω-calibrated everywhere. Paper studies a new curvature system and proves rigidity and gap theorems.
problem Extending CPE conjecture to manifolds with specific structures.
method Introduces (φ−CPE) system and proves rigidity and gap theorems. result Proves rigidity and gap theorems for (φ−CPE) solutions. Unified analysis of conjugate gradients and accelerated methods using duality gap.
problem Minimizing convex quadratic functions efficiently.
method Approximate Duality Gap Technique to unify conjugate gradients and accelerated methods.
result Unified and self-contained proof of conjugate gradients without relying on Chebyshev polynomials.
The paper extends Ricci flow conditions to less restrictive bounds.
problem Extending Ricci flow conditions to less restrictive negative bounds.
method Generalizing known Ricci flow invariant non-negative curvature conditions to negative bounds.
result Metrics with curvature operator eigenvalues greater than -1 can be evolved by Ricci flow for some uniform time.
New Dynkin condition for manifolds with boundary yields bi-Lipschitz equivalence and spectral properties.
problem Characterizing smooth Riemannian manifolds with boundary.
method Introducing a Dynkin-type condition and proving its equivalence to a weighted manifold.
result Bi-Lipschitz equivalence and various spectral properties of manifolds with boundary.
New method improves convergence rates for convex optimization problems.
problem Convex optimization with nonsmooth objectives.
method Randomized coordinate descent with smoothing, acceleration, homotopy, and non-uniform sampling.
result First convergence rate guarantees for coordinate descent methods.
In the first part we use Gromov's K--area to define the K--area homology which stabilizes into singular homology on the category of pairs of compact smooth manifolds. The second part treats the questions of certain curvature gaps. For instance, the L∞--curvature gap of complex vector bundles on a compact manif…
Let F be a family of Borel measurable functions on a complete separable metric space. The gap (or fat-shattering) dimension of F is a combinatorial quantity that measures the extent to which functions f in F can separate finite sets of points at a predefined resolution gamma > 0. We establish a connection between the g…
The L2-∂∂-Lemma is extended to complete Kähler manifolds with a gap in the spectrum.
problem Extending the L2-∂∂-Lemma to non-compact Kähler manifolds. method Proving the L2-∂∂-Lemma on complete Kähler manifolds with a gap in the spectrum. result The L2-∂∂-Lemma is generalized to complete Kähler manifolds. Researchers prove rigidity for spectral gap on special metric spaces.
problem Proving rigidity for spectral gap on RCD(K,∞)-spaces. method Lift of eigenfunctions to Wasserstein space, theory of regular Lagrangian flows.
result Sharp spectral gap achieved only by splitting off a 1-dimensional Gaussian space.
Gluon optimizes LMO-based methods for large-scale tasks, improving performance and theory-practice gap.
problem LMO-based methods lack theoretical support for practical implementation and smoothness assumptions.
method Introduces Gluon, a new LMO-based method with refined smoothness model.
result Gluon's theoretical stepsizes match fine-tuned values, closing the theory-practice gap.
We present a primal-dual algorithmic framework to obtain approximate solutions to a prototypical constrained convex optimization problem, and rigorously characterize how common structural assumptions affect the numerical efficiency. Our main analysis technique provides a fresh perspective on Nesterov's excessive gap te…
Epoch-GDA achieves optimal convergence rate for SCSC min-max problems.
problem Solving stochastic min-max problems with strong convexity and strong concavity.
method Epoch-wise stochastic gradient descent ascent method (Epoch-GDA) without additional assumptions.
result Achieves the optimal rate of O(1/T) for the duality gap of general SCSC min-max problems. Optimal distributed algorithms for convex optimization problems.
problem Distributed optimization in networks with communication constraints.
method Modeling network constraints as affine constraints, applying Nesterov's accelerated gradient descent to the dual problem.
result Achieves optimal convergence rates comparable to centralized optimization with additional spectral gap cost.
Study revisits AdaGrad convergence with relaxed noise assumptions.
problem Non-convex smooth optimization problems with general noise.
method General noise model with function value gap and gradient magnitude control.
result Probabilistic convergence rate of ( ilde{\mathcal{O}}(1/\sqrt{T})) under general noise.
Adaptive smooth non-stationary bandits achieve optimal regret rates without knowing parameters.
problem Smooth non-stationary bandits with Hölder class rewards.
method Established optimal dynamic regret rate and adaptive algorithm.
result Optimal dynamic regret can be attained adaptively without knowing Hölder exponent and coefficient.
GSP improves global average pooling for deep metric learning by learning weights and selecting semantic entities.
problem Improving global average pooling for deep metric learning.
method Generalized Sum Pooling (GSP) method that learns weights and selects semantic entities.
result GSP improves metric learning performance on 4 popular benchmarks.
Our main result is that if a generic convex domain in Rn collapses to a domain in Rn−1, then the difference between the first two Dirichlet eigenvalues of the Euclidean Laplacian, known as the fundamental gap, diverges. The boundary of the domain need not be smooth, merely Lipschitz continuous. To motivate th…
This note studies an issue relating to essential smoothness that can arise when the theory of large deviations is applied to a certain option pricing formula in the Heston model. The note identifies a gap, based on this issue, in the proof of Corollary 2.4 in \cite{FordeJacquier10} and describes how to circumvent it. T…
New spaces help connect manifold structures on equivariant Poincaré spaces.
problem Creating manifold structures on equivariant Poincaré spaces.
method Introducing semifree isovariant G-Poincaré spaces and gap conditions. result Space of isovariant structures on semifree G-Poincaré spaces is highly connected. We prove a persistence result for noncompact normally hyperbolic invariant manifolds in the setting of Riemannian manifolds of bounded geometry. Bounded geometry of the ambient manifold is a crucial assumption required to control the uniformity of all estimates throughout the proof. The Ck,α-smoothness result is o…
Improves neuroimaging model precision and speed using Nesterov's smoothing.
problem High-dimensional brain image analysis for clinical diagnosis with structured sparsity.
method Proposes CONESTA, a first-order continuation algorithm that automatically adjusts smoothing parameters.
result Significantly outperforms state-of-the-art solvers in convergence speed and precision.
The paper proves a gap theorem for almost non-negatively curved manifolds.
problem Proving a gap theorem for almost non-negatively curved manifolds.
method Two novel technical tools: controlling the spreading of minimal geodesics and Ricci flow smoothing.
result Closed manifolds with bounded geometry are diffeomorphic to torus bundles.
Paper closes convergence gap for SGD without replacement.
problem Establishing convergence rate for SGD without replacement.
method Analyzes convergence rates for strongly convex and smooth functions.
result Achieves a rate of O(1/T^2 + n^2/T^3) for quadratic sums.
New bounds for agnostic learning with average smoothness.
problem Distribution-free nonparametric regression with average smoothness.
method Distribution-free uniform convergence bounds and agnostic learning algorithm.
result Distribution-free uniform convergence bounds for average-smoothness classes in the agnostic setting.
New proof shows positive Ricci curvature on torus-manifolds.
problem Existence of metrics with positive Ricci curvature.
method Alternative proof for specific manifold types.
result Existence of infinitely many manifolds with positive Ricci curvature.