Sobolev training helps neural nets fit function values and derivatives.
problem Training neural nets to match function values and derivatives accurately.
method Using Sobolev loss with gradient flow for overparameterized networks.
result Gradient flow from random initialization can fit any function and its derivatives.
Study shows harmful overfitting in Sobolev spaces even as training data grows.
problem Harmful overfitting in Sobolev spaces under noisy conditions.
method Geometric argument using Sobolev inequalities.
result Approximately norm-minimizing interpolators exhibit harmful overfitting.
We propose a new Integral Probability Metric (IPM) between distributions: the Sobolev IPM. The Sobolev IPM compares the mean discrepancy of two distributions for functions (critic) restricted to a Sobolev ball defined with respect to a dominant measure μ. We show that the Sobolev IPM compares two distributions in hig…
The paper analyzes how adding gradient data affects overparameterized models' performance.
problem The impact of Sobolev training on high-dimensional predictive models.
method Combining replica method from statistical physics and operator-valued free probability theory.
result Sobolev training does not universally improve performance for target functions described by single-index models.
Gradient descent achieves optimal learning for elliptic PDEs via Sobolev norms.
problem Learning elliptic PDEs from noisy data.
method Gradient descent on Sobolev norm objective functions.
result Gradient descent achieves statistical optimality for elliptic PDEs.
The paper provides approximation guarantees for neural networks trained with gradient flow.
problem Approximating neural networks trained with gradient flow in continuous L2(Sd−1)-norm. method NTK argument for non-convex second but last layer, under-parametrized regime.
result Gradient flow convergence guarantees for neural networks under Sobolev smoothness assumptions.
Optimizes learning Hilbert-Schmidt operators between Sobolev spaces.
problem Statistical limits of learning mappings between infinite-dimensional function spaces.
method Minimax optimal regularization and multilevel training.
result Multilevel kernel operator learning achieves optimal learning rate.
Neural networks cannot approximate certain functions in Sobolev spaces, leading to unbounded parameter growth.
problem Non-closedness of sets of neural networks in Sobolev spaces.
method Construction of sequences of neural networks whose realizations converge to functions not realizable by neural networks.
result Sets of realized neural networks are not closed in order-(m−1) Sobolev spaces Wm−1,p for p∈[1,∞]. We study a simplification of GAN training: the problem of transporting particles from a source to a target distribution. Starting from the Sobolev GAN critic, part of the gradient regularized GAN family, we show a strong relation with Optimal Transport (OT). Specifically with the less popular dynamic formulation of OT …
New Sobolev inequalities on Kähler manifolds with positive Ricci curvature.
problem Proving Sobolev inequalities on Kähler manifolds.
method Using a classical Bidaut-Véron and Véron approach.
result Proved new Sobolev inequalities on compact Kähler manifolds with positive Ricci curvature.
Sharp inequality found on three-balls for fourth order Sobolev traces.
problem Fourth order Sobolev trace inequality on three-balls.
method Established through equivalence to a third order Sobolev inequality on two-spheres.
result Sharp fourth order Sobolev trace inequality on three-balls.
Novel algorithm speeds up computation of Sobolev IPM for graph-based probability measures.
problem Efficient computation of Sobolev IPM for graph-based probability measures.
method Established relation between Sobolev norm and weighted Lp-norm, proposed novel regularization, leveraged graph structure. result Proposed regularized Sobolev IPM provides closed-form expression for fast computation.
Explains optimal functional inequalities, focusing on Sobolev and fractional Sobolev.
problem Optimal functional inequalities and their stability.
method Compactness theorems, characterization of optimizers, and quantitative stability analysis.
result Characterization and stability of optimizers for Sobolev inequalities and their fractional generalizations.
Log Sobolev and Michael Simon inequalities for tensor fields on curved manifolds.
problem Establishing inequalities for tensor fields on curved manifolds.
method Applying the ABP method to symmetric tensor fields on manifolds with nonnegative sectional curvature.
result Log Sobolev and Michael Simon inequalities for tensor fields.
In this paper we study the problem of deriving further Sobolev inequalities from a given Sobolev inequality. We use several different methods, including Bessel potentials and Riesz transforms. We apply the results to the Ricci flow to extend the author's results on the W1,2 Sobolev inequality along the Ricci flow …
Proves Sobolev inequality on manifolds with specific curvature properties.
problem Proving Sobolev inequality on manifolds with asymptotically nonnegative Bakry-Émery Ricci curvature.
method Density and Bakry-Émery Ricci curvature.
result Proves Sobolev inequality on manifolds with asymptotically nonnegative Bakry-Émery Ricci curvature.
Paper connects Fenchel-Willmore and Sobolev inequalities for submanifolds in curved spaces.
problem Developing inequalities for submanifolds in curved spaces.
method Connecting Fenchel-Willmore and logarithmic Sobolev inequalities for mean-convex submanifolds.
result Established extensions of Fenchel-Willmore inequality and derived new Sobolev-type inequalities.
Alternative proof of Michael-Simon-Sobolev inequality using optimal transport.
problem Proving the Michael-Simon-Sobolev inequality for submanifolds of codimension 2.
method Optimal transport techniques.
result Sharpness of the inequality for submanifolds of codimension 2.
Study shows how close functions are to optimal in Riemannian manifolds.
problem Understanding how close functions are to optimal in Riemannian manifolds.
method Analyzes quantitative stability of Sobolev inequalities on compact Riemannian manifolds.
result Functions that nearly saturate a critical Sobolev inequality are quantitatively close to extremal functions.
NTK neural networks are robust to adversarial attacks in nonparametric regression.
problem Adversarial robustness of neural networks in nonparametric regression.
method Gradient flow with early stopping for NTK neural networks, proving robustness in Sobolev spaces.
result NTK neural networks achieve optimal adversarial robustness rates in Sobolev spaces.
Paper relaxes the Lipschitz constraint in WGANs to improve performance.
problem WGANs do not always outperform other GAN variants due to imperfect implementation of the Lipschitz condition.
method Proposes a new dual form of Wasserstein distance (Sobolev duality) that relaxes the Lipschitz constraint but maintains gradient property.
result SWGAN, based on Sobolev duality, outperforms existing methods in experiments.
New Sobolev inequalities found for curved spaces.
problem Sobolev inequalities in curved spaces with specific decay conditions.
method Used ABP method developed by Cabré and Brendle.
result Established Sobolev inequalities for compact domains and submanifolds.
Study noncommutative Sobolev inequalities using quantum state metrics.
problem Establishing Sobolev inequalities in noncommutative settings.
method Generalizing monotone metrics in quantum states.
result Developed new matrix-valued Beckner inequalities.
The paper examines stability of Sobolev inequalities on manifolds with Ricci curvature bounds.
problem Stability of Sobolev inequalities on Riemannian manifolds with Ricci curvature lower bounds.
method Generalized Lions' concentration compactness and rigidity results of Sobolev inequalities on singular spaces.
result Almost extremal functions are close to extremal functions on the round sphere and Euclidean Sobolev inequality.
Study continuity of complex Sobolev functions, with applications to Kaehler metrics.
problem Continuity of functions in complex Sobolev spaces.
method Analysis of function regularity in Sobolev spaces, with applications to Kaehler metrics.
result Hermitian generalizations of recent results on Kaehler metrics.
Improved CR Sobolev inequalities on CR sphere established.
problem Establishing CR Sobolev inequalities on CR sphere.
method Nice commutator identities involving CR intertwining operators.
result Simpler proof of existence and classification of minimizers.
Generalizes Sobolev IPM for graph-based measures using Orlicz geometric structure.
problem Limitation of Le et al. (2025) framework to Lp geometry. method Generalizes Sobolev IPM through Orlicz geometric structure, employing convex functions to capture nuanced geometric relationships.
result GSI-M reduces to a simple univariate optimization problem, achieving remarkable computational efficiency.
The paper improves CR Sobolev inequalities and classifies minimizers.
problem Higher-order CR Sobolev inequalities on the CR sphere.
method Improvement through vanishing higher order moments of the volume element.
result New direct proof of minimizers' classification and existence of minimizers in C2k(N). Sharp Sobolev and Michael-Simon inequalities on curved manifolds.
problem Proving inequalities on manifolds with nonnegative curvature.
method Analyzing asymptotic volume ratio and curvature properties.
result Sharp Sobolev and Michael-Simon inequalities established.
Paper uses ABP method to prove logarithmic Sobolev inequalities on curved spaces.
problem Proving logarithmic Sobolev inequalities on manifolds with nonnegative curvature.
method Employing the ABP method developed by Brendle.
result Sharp L2 and Lp logarithmic Sobolev inequalities established. The paper proves inequalities on Finsler manifolds under Ricci curvature bounds.
problem Proving (p,q)-Sobolev and Nash inequalities on Finsler metric measure manifolds. method Global p-Poincaré inequality, (p,q)-Sobolev inequality, Nash inequality derivation. result Established global optimal (p,q)-Sobolev inequality with a sharp constant. Completeness of surface metrics established for Sobolev spaces.
problem Ensuring completeness of reparametrization-invariant Sobolev metrics on surface spaces.
method Recasting completeness criteria for infinite-dimensional Riemannian manifolds and applying geometric estimates based on the Michael--Simon--Sobolev inequality.
result Established metric and geodesic completeness for specific Sobolev metrics on immersed surfaces, validating Mumford's conjecture.
In this article, we prove a Sobolev-like inequality for the Dirac operator on closed compact Riemannian spin manifolds with a nearly optimal Sobolev constant. As an application, we give a criterion for the existence of solutions to a nonlinear equation with critical Sobolev exponent involving the Dirac operator. We fin…
Study on completeness of Sobolev metrics on manifold-valued curves.
problem Completeness of Sobolev metrics on spaces of manifold-valued curves.
method Analysis of reparametrization invariant Sobolev metrics of order n≥2. result Sobolev immersions are metrically and geodesically complete for several important cases of metrics.
Sharp Sobolev inequalities proved on manifolds with non-negative Ricci curvature.
problem Proving sharp Sobolev inequalities on noncompact Riemannian manifolds with non-negative Ricci curvature.
method Using Optimal Mass Transportation with quadratic distance cost.
result Sharp Lp-Sobolev and Lp-logarithmic Sobolev inequalities established for p>1 and p=1. Ancient Ricci flows with bounded Nash entropy have uniform Sobolev inequalities.
problem Bounding Nash entropy in ancient Ricci flows.
method Uniformly bounded Nash entropy implies uniform bounds on the ν-functional, leading to uniform logarithmic and Sobolev inequalities.
result Uniform logarithmic and Sobolev inequalities on ancient Ricci flows with bounded Nash entropy.
Uniform Sobolev inequality for Kähler metrics with entropy bound.
problem Establishing Sobolev inequalities for Kähler metrics with entropy bound.
method Uniform Sobolev inequality for Kähler metrics with entropy bound and no lower Ricci curvature bound.
result Derive various geometric estimates for Kähler-Einstein currents.
Proves new Sobolev inequalities for submanifolds in manifolds with nonnegative intermediate Ricci curvature.
problem Proving Sobolev inequalities for submanifolds in manifolds with nonnegative intermediate Ricci curvature.
method Using the Alexandrov-Bakelman-Pucci method to prove Michael-Simon type inequalities.
result Extends existing inequalities to the k-Ricci curvature setting and provides isoperimetric inequalities. Frank and Lieb gave a new, rearrangement-free, proof of the sharp Hardy-Littlewood-Sobolev inequalities by exploiting their conformal covariance. Using this they gave new proofs of sharp Sobolev inequalities for the embeddings Wk,2(Rn)↪Ln−2k2n(Rn). We show that their …
We prove a sharp logarithmic Sobolev inequality which holds for submanifolds in Euclidean space of arbitrary dimension and codimension. Like the Michael-Simon Sobolev inequality, this inequality includes a term involving the mean curvature.
New Sobolev inequality found for mean convex spacelike submanifolds in Minkowski space.
problem Finding a Sobolev inequality for mean convex spacelike submanifolds in Minkowski space.
method Applying the ABP estimate method to spacelike submanifolds in Rn,1. result Obtained a Sobolev inequality without a mean curvature term for mean convex hypersurfaces.
This paper establishes inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
problem Establishing higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
method Developing factorization theorems and introducing Geller's operators, combining with Helgason-Fourier analysis and kernel estimates.
result Established higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane.
The paper shows how Sobolev maps affect currents in metric spaces.
problem Understanding how Sobolev maps affect currents in metric spaces.
method Proving that a Sobolev map pushes almost every compactly supported integral current to an Ambrosio-Kirchheim integral current.
result The paper proves an isoperimetric inequality for Sobolev mappings relative to bounded, closed, and additive cochains.
New proof of Sobolev inequality with constraints on sphere.
problem Improving Sobolev inequality on sphere with constraints.
method Careful study of extremal problem on sphere.
result Explicit determination of constant in second order moments case.
Sharp fractional Sobolev inequalities on closed manifolds identified.
problem Critical fractional Sobolev embedding on closed Riemannian manifolds.
method Intrinsic heat-kernel based framework, determining optimal coefficients, proving sharp inequalities.
result Sharp p-power inequality and almost sharp inequality established. Sharp Sobolev inequality derived for Riemannian manifolds with bounded Ricci curvature.
problem Deriving a sharp Sobolev inequality for Riemannian manifolds with bounded Ricci curvature.
method Reduction to functions with small volume support, first order uniform asymptotic expansion of isoperimetric profile, local uniform Sobolev inequality.
result Sharp Sobolev inequality for W1,p(M) into Ln−pnp(M) is derived. Study improves Poincaré-Sobolev inequalities for differential forms.
problem Improving Sobolev space embeddings for differential forms.
method Utilizes Lq,p-cohomology and bi-Lipschitz images to estimate embedding norms. result Estimates for embedding norms in Euclidean balls and their images.
The paper extends log-Sobolev inequalities to matrix-valued settings using combinatorial methods.
problem Log-Sobolev inequalities for matrix-valued settings.
method Combining noncommutative geometry tools and combinatorial methods.
result Combinatorial methods yield computable lower bounds for matrix-valued log-Sobolev inequalities.