Related Experiment Videos
Quantitative Convergence Analysis of Projected Stochastic Gradient Descent for Non-Convex Losses via the Goldstein
Yuping Zheng1, Andrew Lamperski1
1Department of Electrical and Computer Engineering, University of Minnesota, Twin Cities, Minneapolis, MN 55414, USA.
Summary
This study analyzes projected stochastic gradient descent (SGD) for non-convex problems. It achieves convergence without variance reduction, offering new theoretical bounds for machine learning optimization.
Area of Science:
- Machine Learning
- Optimization Theory
- Convex Analysis
Background:
- Stochastic Gradient Descent (SGD) is fundamental to machine learning.
- Projected SGD is used for constrained optimization, but convergence analysis for non-convex losses is challenging.
- Existing convergence measures (e.g., Moreau envelopes) differ from unconstrained settings, and gradient mapping requires variance reduction.
Purpose of the Study:
- Analyze projected SGD for non-convex losses over compact convex sets.
- Develop a convergence criterion comparable to unconstrained SGD.
- Obtain convergence guarantees without relying on variance reduction techniques.
Main Methods:
- Convergence analysis using the distance to the Goldstein subdifferential.
- Theoretical analysis for independent and identically distributed (IID) and mixing data.
- Derivation of asymptotic and non-asymptotic convergence bounds.
Main Results:
- Achieved convergence for projected SGD without variance reduction.
- Derived asymptotic convergence and O(N^{-1/3}) non-asymptotic bounds for IID/mixing data.
- Established first high-probability non-asymptotic O(N^{-1/5}) bounds for projected SGD with non-convex losses on sub-Gaussian data.
Conclusions:
- The proposed convergence criterion unifies projected and unconstrained SGD analysis.
- The study provides novel theoretical guarantees for projected SGD in non-convex settings.
- These findings advance the understanding and application of constrained optimization in machine learning.
Related Concept Videos
Maximizing the Directional Derivative
The directional derivative is a central concept in multivariable calculus that describes how a function changes at a given point when moving in a specified direction. This direction is represented by a unit vector, ensuring that only the orientation influences the rate of change. By varying the direction, different rates of change can be observed, demonstrating that the directional derivative depends strongly on the chosen direction.The directional derivative is computed using the gradient...
One-Compartment Open Model: Wagner-Nelson and Loo Riegelman Method for ka Estimation
This lesson introduces two critical methods in pharmacokinetics, the Wagner-Nelson and Loo-Riegelman methods, used for estimating the absorption rate constant (ka) for drugs administered via non-intravenous routes. The Wagner-Nelson method relates ka to the plasma concentration derived from the slope of a semilog percent unabsorbed time plot. However, it is limited to drugs with one-compartment kinetics and can be impacted by factors like gastrointestinal motility or enzymatic degradation.
On...
On...
State Function, Exact and Inexact Differentials
A state function is a thermodynamic property that depends solely on the current state of a system, irrespective of its history or how it arrived at that state. These functions are represented by capital letters, such as U, H, and S, which stand for internal energy, enthalpy, and entropy, respectively.For instance, the value of internal energy depends on the system's state variables and remains unaffected by the process path. This means that whether the system underwent a linear process or a...
Lagrange Multipliers: Two Constraints
The method of Lagrange multipliers with two constraints is used to optimize a function subject to two independent constraints. In many applications, the objective function represents a quantity to be maximized or minimized, such as cost, area, distance, or energy. The two constraints represent requirements that the solution must satisfy, such as fixed volume, limited resources, or prescribed dimensions.For a function of three variables, each constraint forms a surface in three-dimensional space.
Divergence and Stokes' Theorems
The divergence and Stokes' theorems are a variation of Green's theorem in a higher dimension. They are also a generalization of the fundamental theorem of calculus. The divergence theorem and Stokes' theorem are in a way similar to each other; The divergence theorem relates to the dot product of a vector, while Stokes' theorem relates to the curl of a vector. Many applications in physics and engineering make use of the divergence and Stokes' theorems, enabling us to write numerous physical laws...
Multivariable Functions and Higher Derivatives
A multivariable function assigns a single output value to each ordered set of independent inputs, thereby defining a surface in three-dimensional space. For a function f(x, y), each point (x, y) corresponds to a height z = f(x, y). This geometric interpretation allows systematic analysis of how the output varies as multiple variables change simultaneously. Such functions frequently arise in physical models and optimization problems, where system behavior depends on several interacting...