Skip to content
nonconvexcard

Linear convergence under strong convexity

ProofIntermediate⏱ 30 minOptimizationgradient descentstrongly convexlinear ratepl

Problem

Prove that for μ\mu-strongly convex and LL-smooth ff, gradient descent with η=1/L\eta = 1/L satisfies f(xt)−f⋆≤(1−1/κ)t(f(x0)−f⋆)f(x_t)-f^\star \le (1-1/\kappa)^t(f(x_0)-f^\star) with κ=L/μ\kappa = L/\mu. Deduce the number of iterations needed for accuracy ε\eps.

Write a complete argument. Every inequality you use should be one you could state precisely.

Solution

Opening this before you have a real attempt on paper is the fastest way to feel like you understand something you cannot reproduce.

Related problems

All problems
SolvedProblemFieldTypeDifficultyTime
The exact step-size threshold on a quadraticOptimizationProofBeginner15 min
Gradient descent finds the minimum-norm interpolatorLearning TheoryProofIntermediate30 min
Non-convex gradient descent reaches an approximate stationary pointOptimizationProofIntermediate30 min
Gradient descent with exact line search on a quadraticOptimizationProofAdvanced1 hour
Implement gradient descent and verify all four rates runOptimizationCodingAdvanced3 hours