aiqbench analysis
This research establishes a rigorous mathematical framework for applying diffusion approximations to Stochastic Gradient Descent (SGD) within the infinite-dimensional Wasserstein space P2. By lifting the problem to a linear Hilbert space, the authors demonstrate that Gaussian random-field approximations can accurately capture SGD dynamics with second-order weak accuracy, offering new analytical tools for understanding optimization over probability measures.
Stochastic Gradient Descent over P2
arXiv:2609.13343v1 Announce Type: cross Abstract: Stochastic gradient descent (SGD) admits diffusion approximations that replace the complicated randomness of stochastic gradients by Gaussian noise, providing a powerful tool for understanding its dynamics and long-time behavior. We investigate whether an analogous approximation principle holds for optimization over probability measures, where the objective is a functional defined on the Wasserstein space P2. The nonlinear geometry and infinite-dimensional nature of P2 prevent a direct extension of the classical Euclidean theory. Using Lions differentiability, we lift the problem to a linear Hilbert space, where higher-order differential calculus becomes available. We then construct a Gaussian random-field approximation whose velocity field matches the mean and covariance of the original stochastic gradient. By exploiting this moment matching through higher-order Taylor expansions, we show that the Gaussian approximation captures the SGD dynamics with second-order weak accuracy. Our result provides a rigorous foundation for replacing sample-driven randomness by analytically tractable Gaussian fluctuations in stochastic optimization over probability measures.
Abstract:Stochastic gradient descent (SGD) admits diffusion approximations that replace the complicated randomness of stochastic gradients by Gaussian noise, providing a powerful tool for understanding its dynamics and long-time behavior. We investigate whether an analogous approximation principle holds for optimization over probability measures, where the objective is a functional defined on the Wasserstein space P2. The nonlinear geometry and infinite-dimensional nature of P2 prevent a direct extension of the classical Euclidean theory. Using Lions differentiability, we lift the problem to a linear Hilbert space, where higher-order differential calculus becomes available. We then construct a Gaussian random-field approximation whose velocity field matches the mean and covariance of the original stochastic gradient. By exploiting this moment matching through higher-order Taylor expansions, we show that the Gaussian approximation captures the SGD dynamics with second-order weak accuracy. Our result provides a rigorous foundation for replacing sample-driven randomness by analytically tractable Gaussian fluctuations in stochastic optimization over probability measures.
Machine Learning (stat.ML); Machine Learning (cs.LG); Probability (math.PR)
arXiv:2609.13343 [stat.ML]
(or arXiv:2609.13343v1 [stat.ML] for this version)
https://doi.org/10.48550/arXiv.2609.13343 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 252 words
Related coverage
The Implicit Bias of Steepest Descent with Mini-batch Stochastic Gradient
arXiv · Jun 17, 2026
Minimax-Optimal Generalization Bounds for Smooth Deep Neural Networks Trained by (Stochastic) Gradient Descent
arXiv · Jul 31, 2026
Second-Order Path Kernel Interpolation Formulas in Machine Learning
arXiv · Jun 8, 2026
Uniform Stability and Generalization Error of GD and SGD on Fixed-Point Parameters
arXiv · Jun 8, 2026