analiza aiqbench
This paper refines theoretical guarantees for the Unadjusted Langevin Algorithm (ULA), establishing near-linear accuracy bounds without relying on third-derivative assumptions or Lipschitz Hessians. By leveraging a Poisson-based estimation technique, it directly bounds stationary error using only gradient and proximal evaluations per iteration. These advances improve the convergence analysis of sampling methods critical for high-dimensional Bayesian inference and generative modeling.
Near-Linear Accuracy Bounds for Moreau--Yosida Unadjusted Langevin Sampling
arXiv:2609.40193v1 Announce Type: new Abstract: We establish near-linear accuracy bounds for the classical Moreau--Yosida unadjusted Langevin algorithm (MYULA). The target is $\pi\propto e^{-f-g}$, where $f\in C^2(\mathbb{R}^d)$ is $m$-strongly convex with Lipschitz gradient and $g$ is convex and globally Lipschitz. Under an explicit parameter-dependent step-size condition, we bound the invariant-measure bias relative to the Moreau-smoothed target by $\widetilde O(h)$, with only logarithmic dependence on the inverse smoothing parameter in the error coefficient. Combining this estimate with the Moreau approximation bias and Wasserstein contraction gives $\widetilde O(\varepsilon^{-1})$ iterations to make the $N$th-iterate law $\mu_N$ satisfy $\sqrt m\,W_2(\mu_N,\pi)\le\varepsilon$, for fixed model parameters and initialization. We bound the stationary error directly, without assuming third derivatives or a Lipschitz Hessian. Each iteration uses one gradient evaluation and one exact proximal evaluation. The key idea in our analysis is to convert a second-order stationary residual into a Wasserstein bound using a Poisson-based estimate.
Abstract:We establish near-linear accuracy bounds for the classical Moreau--Yosida unadjusted Langevin algorithm (MYULA). The target is $\pi\propto e^{-f-g}$, where $f\in C^2(\mathbb{R}^d)$ is $m$-strongly convex with Lipschitz gradient and $g$ is convex and globally Lipschitz. Under an explicit parameter-dependent step-size condition, we bound the invariant-measure bias relative to the Moreau-smoothed target by $\widetilde O(h)$, with only logarithmic dependence on the inverse smoothing parameter in the error coefficient. Combining this estimate with the Moreau approximation bias and Wasserstein contraction gives $\widetilde O(\varepsilon^{-1})$ iterations to make the $N$th-iterate law $\mu_N$ satisfy $\sqrt m\,W_2(\mu_N,\pi)\le\varepsilon$, for fixed model parameters and initialization. We bound the stationary error directly, without assuming third derivatives or a Lipschitz Hessian. Each iteration uses one gradient evaluation and one exact proximal evaluation. The key idea in our analysis is to convert a second-order stationary residual into a Wasserstein bound using a Poisson-based estimate.
Machine Learning (cs.LG)
arXiv:2609.40193 [cs.LG]
(or arXiv:2609.40193v1 [cs.LG] for this version)
https://doi.org/10.48550/arXiv.2609.40193 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.
Text integral sub licența deschisă a publicației · 236 cuvinte
Subiecte conexe
Poisson-Corrector Complexity Bounds for Moreau--Yosida Unadjusted Langevin Sampling
arXiv · 14 sept. 2026

AI Model Co-Design: Hardware-Friendly LLM Design
NVIDIA · 10 iul. 2026
Near-Optimal Quantum Lower Bounds for Convex Optimization via Fourier Rank
arXiv · 9 sept. 2026

Researchers Bound Quantum Optimisation Query Complexity
Quantum Zeitgeist · 5 oct. 2026