Optimization · 125
Glossary
The technical terms of this track, with short definitions (and the Persian term where available). Each term links to the lesson where it is introduced.
- (L0, L1)-smoothness
- The condition : curvature may grow with the gradient norm. Under it, clipped gradient descent is much faster than gradient descent with a fixed step. Introduced in: Lesson 7
- active constraint
- An inequality constraint that holds with equality at the point, . An inactive constraint has and multiplier zero. Introduced in: Lesson 8
- AdaGrad
- An adaptive method that divides each coordinate of the gradient by the square root of the sum of all its past squared gradients. Its step sizes only shrink. Introduced in: Lesson 6
- Adam
- The update , with bias-corrected EMAs of the gradient and of its square. Defaults , . Introduced in: Lesson 6
- AdamW
- Adam with decoupled weight decay (Loshchilov and Hutter 2019). The decay is applied to the weights directly and is not divided by . Introduced in: Lesson 6
- adjoint variables
- The Lagrange multipliers of the state equation in a PDE-constrained problem. One adjoint solve gives the gradient with respect to all parameters. Introduced in: Lesson 8
- ADMM
- The alternating direction method of multipliers for with . It minimizes an augmented Lagrangian over , then over , then updates the dual variable. Introduced in: Lesson 9
- affine invariance
- Newton's method gives corresponding iterates on and on for an invertible , so scaling or rotating the variables does not change its speed. Introduced in: Lesson 10
- Armijo condition
- The sufficient-decrease test with a small , for example . Introduced in: Lesson 3
- backtracking
- A line search that starts with a trial step and multiplies it by until the Armijo condition holds. Introduced in: Lesson 3
- BFGS
- The quasi-Newton update with . It keeps positive definite when . Introduced in: Lesson 10
- bias correction
- Division of an EMA started at zero by , so that early estimates are not too small. Adam applies it to both moments. Introduced in: Lesson 6
- complementary slackness
- The condition for each inequality: a constraint can have a nonzero multiplier only when it is active. Introduced in: Lesson 8
- condition number
- The ratio of the largest to the smallest curvature. For a quadratic with Hessian , . Large means slow first-order methods. Introduced in: Lesson 2
- conjugate gradient method
- A Krylov method for with symmetric positive definite. Each step is optimal over a Krylov subspace, and the error bound shrinks like . Introduced in: Lesson 4
- constraint qualification
- A condition on the constraints, such as Slater's condition or LICQ, that guarantees that a minimizer satisfies the KKT conditions. Introduced in: Lesson 8
- convex function
- A function whose chord lies above its graph, for . Every local minimum of a convex function is global. Introduced in: Lesson 2
- cooldown
- The final decay phase of a schedule such as WSD, where the learning rate falls to a small value, for example linearly or with the shape. Introduced in: Lesson 7
- cosine schedule
- The decay with the fraction of the decay phase done. It needs the total length in advance. Introduced in: Lesson 7
- critical batch size
- The batch size above which a larger batch no longer reduces the number of steps much, so it wastes computation. It is close to the gradient noise scale. Introduced in: Lesson 5
- damped Newton method
- Newton's method with a line search on the Newton direction, so that decreases enough at every step. Introduced in: Lesson 10
- descent direction
- A direction with . A small enough step along decreases . Introduced in: Lesson 3
- descent lemma
- For an -smooth , . The step minimizes this upper bound. Introduced in: Lesson 2
- diagonal preconditioner
- A diagonal matrix that rescales each coordinate, so the method runs on instead of . Feature standardization is one; Adam uses an adaptive one. Introduced in: Lesson 2
- directional derivative
- The slope of along a unit vector , equal to . It is largest for . Introduced in: Lesson 1
- dual function
- The function . It is concave, and for it is a lower bound on . Introduced in: Lesson 8
- dual norm
- For a norm , the norm . The dual of is , and the dual of the spectral norm is the nuclear norm. Introduced in: Lesson 12
- dual problem
- The problem of finding the best lower bound, . Its optimal value is never larger than (weak duality). Introduced in: Lesson 8
- duality gap
- The difference between a primal value and a dual value, for example . A small gap at a pair of points certifies that both are nearly optimal. Introduced in: Lesson 8
- edge of stability
- The regime where the sharpness reaches and stays near it. The loss oscillates over short times but keeps decreasing over long times (Cohen et al. 2021). Introduced in: Lesson 11
- empirical risk
- The average loss over the training examples, . Introduced in: Lesson 5
- epoch
- One full pass over the training data. Introduced in: Lesson 5
- exact line search
- A line search that chooses the step that minimizes exactly. On a quadratic it has a closed form. Introduced in: Lesson 3
- exponential moving average (EMA)
- The running average with . It weights the gradient of steps ago by . Introduced in: Lesson 6
- feasible point
- A point that satisfies all constraints of the problem. Introduced in: Lesson 8
- Fisher block
- The part of the Fisher matrix for the weights of one layer. For a layer with inputs and outputs it has entries. Introduced in: Lesson 12
- Fisher information matrix
- The expected outer product of the gradient of the log-likelihood, with the labels sampled from the model. For losses such as cross-entropy it equals the GGN. Introduced in: Lesson 10
- FISTA
- The proximal gradient method with Nesterov momentum. It reaches , but need not decrease at every step. Introduced in: Lesson 9
- gain ratio
- The ratio of the actual decrease of the function to the decrease the model predicted. Levenberg–Marquardt and trust-region methods use it to accept steps and adapt or the radius. Introduced in: Lesson 10
- Gauss–Newton method
- For , the step solves . It is Newton's method without the term of the Hessian. Introduced in: Lesson 10
- generalized Gauss–Newton (GGN) matrix
- The matrix , the part of the Hessian of that ignores the curvature of the network . It is positive semidefinite when is convex. Introduced in: Lesson 10
- global minimum
- The smallest value of over all points, and a point where it is reached. Introduced in: Lesson 1
- global norm
- The Euclidean norm of all parameter gradients taken together, . Introduced in: Lesson 7
- gradient clipping
- Limiting the size of the gradient before the step. Clipping by global norm replaces by , which keeps its direction. Introduced in: Lesson 7
- gradient descent
- The method . Each step moves against the gradient, the direction of steepest decrease. Introduced in: Lesson 1
- gradient noise scale
- The quantity that compares gradient noise with the signal. The simple noise scale approximates it. Introduced in: Lesson 5
- heavy-ball method
- Polyak's method . With the best and on a quadratic, its factor per step is . Introduced in: Lesson 4
- Hessian-vector product (HVP)
- The product , computed by automatic differentiation for a small multiple of the cost of one gradient, without forming the Hessian. Introduced in: Lesson 11
- indicator function
- The function that is 0 on a set and outside it. Adding it to turns a constraint into a penalty. Introduced in: Lesson 9
- iteration matrix
- The matrix that maps the state to the next state for a linear method on a quadratic. The method converges when its spectral radius is below 1. Introduced in: Lesson 4
- K-FAC
- Kronecker-factored approximate curvature. It approximates the Fisher block of a linear layer by (input and output-gradient covariances) and takes the step . Introduced in: Lesson 12
- KKT conditions
- The Karush–Kuhn–Tucker conditions: primal feasibility, dual feasibility , complementary slackness and stationarity of the Lagrangian in . For a convex problem with strong duality they are necessary and sufficient. Introduced in: Lesson 8
- Kronecker product
- For and , the block matrix with blocks . It satisfies . Introduced in: Lesson 12
- L-BFGS
- Limited-memory BFGS. It stores only the newest pairs and computes with the two-loop recursion in time. Introduced in: Lesson 10
- L-smooth
- A function whose gradient is Lipschitz with constant , . For a twice differentiable this means everywhere (and ). Introduced in: Lesson 2
- L2 regularization
- Adding to the loss, so the gradient gets the extra term . Inside Adam this term is divided by like the rest of the gradient. Introduced in: Lesson 6
- Lagrange multiplier
- The coefficient or of a constraint in the Lagrangian. At the optimum it is the price of the constraint, the rate at which changes when the constraint is relaxed. Introduced in: Lesson 8
- Lagrangian
- The function that adds the constraints to the objective with multipliers. Introduced in: Lesson 8
- lasso
- Least squares with an penalty, . Its solutions are often sparse. Introduced in: Lesson 9
- learning rate (step size)
- The number that multiplies the gradient in a gradient-descent step. On , gradient descent is stable only for . Introduced in: Lesson 1
- learning-rate range test
- A short run where the learning rate grows (often exponentially) while a smoothed loss is recorded. The peak learning rate is chosen clearly below the point where the loss blows up. Introduced in: Lesson 7
- learning-rate schedule
- A function that gives the learning rate at each step of training. Introduced in: Lesson 7
- level set
- The set of points where has one fixed value, . A contour plot draws several level sets. Introduced in: Lesson 1
- Levenberg–Marquardt method
- The damped Gauss–Newton step . Small gives Gauss–Newton, large a short gradient step. Introduced in: Lesson 10
- LICQ
- Linear independence constraint qualification: the gradients of the equality constraints and of the active inequality constraints are linearly independent at the point. Introduced in: Lesson 8
- line search
- A rule that chooses the step length along a descent direction at each iteration, instead of a fixed step. Introduced in: Lesson 3
- linear convergence
- The error shrinks by at least a fixed factor per step, . On a log scale the error falls along a straight line. Introduced in: Lesson 3
- linear scaling rule
- When the batch size is multiplied by , multiply the learning rate by (Goyal et al. 2017). It holds only below the critical batch size and needs warmup. Introduced in: Lesson 5
- local minimum
- A point where is not larger than at any nearby point. It can be higher than the global minimum. Introduced in: Lesson 1
- look-ahead point
- The extrapolated point where Nesterov's method takes the gradient, one momentum step ahead of . Introduced in: Lesson 4
- loss surface
- The graph of the loss as a function of the parameters. With two parameters it is a surface over the plane. Introduced in: Lesson 1
- majorize–minimize
- Minimizing at each step an upper bound of that touches at the current point. Then cannot increase. Introduced in: Lesson 9
- minibatch gradient
- The average of example gradients, . It is unbiased, and its variance is when the indices are independent. Introduced in: Lesson 5
- minimizer
- A point with for all (global) or for all near (local). The value is the optimal value. Introduced in: Lesson 1
- momentum
- Adding a fraction of the previous step to the current one. It averages gradients over time, damps the zig-zag and speeds up motion along a valley. Introduced in: Lesson 4
- Muon
- An optimizer for 2D weight matrices that orthogonalizes the momentum with a few Newton–Schulz steps and uses the result as the update. Other parameters use AdamW. Introduced in: Lesson 12
- Nesterov's accelerated gradient method
- A momentum method that evaluates the gradient at a look-ahead point . For every smooth convex function it reaches . Introduced in: Lesson 4
- Newton's method
- The method where the Newton step solves . It jumps to the minimum of the local quadratic model. Introduced in: Lesson 10
- Newton–Schulz iteration
- A polynomial iteration that pushes the singular values of a normalized matrix toward 1 with matrix products only, so it approximates . Introduced in: Lesson 12
- noise ball
- The region around the minimizer where SGD with a fixed step keeps moving. Its size grows with the step size and with the gradient variance . Introduced in: Lesson 5
- objective (loss)
- The function that an optimization method minimizes. In machine learning it is the loss , the average error of the model with parameters . Introduced in: Lesson 1
- optimization problem
- The task of finding that makes an objective as small as possible, written . Training a model is an optimization problem over its parameters. Introduced in: Lesson 1
- orthogonalized gradient
- For a gradient matrix , the matrix (the polar factor). It keeps the singular vectors and sets all nonzero singular values to 1. Introduced in: Lesson 12
- Polyak–Łojasiewicz (PL) inequality
- The inequality . Strong convexity implies it, and it alone gives gradient descent a linear rate, also for some nonconvex functions. Introduced in: Lesson 2
- preconditioned sharpness
- The largest eigenvalue of the preconditioned Hessian , the quantity that limits the stable step of a preconditioned method such as Adam. Introduced in: Lesson 11
- probability simplex
- The set of vectors with nonnegative entries that sum to 1, . Introduced in: Lesson 8
- progressive sharpening
- The rise of the sharpness during full-batch training while . Introduced in: Lesson 11
- projected gradient descent
- The proximal gradient method with the indicator of a convex set : a gradient step, then the projection onto . Introduced in: Lesson 9
- proximal gradient method (ISTA)
- For with smooth: a gradient step on , then a prox step on , . With it reaches . Introduced in: Lesson 9
- proximal operator
- The map . For an indicator function it is the projection onto the set. Introduced in: Lesson 9
- quadratic convergence
- Convergence with near the solution, so the number of correct digits roughly doubles at every step. Introduced in: Lesson 10
- quasi-Newton method
- A method that builds an approximation of the Hessian (or of its inverse) from changes of the gradient, without computing second derivatives. Introduced in: Lesson 10
- region of confusion
- The region where the example gradients point in different directions, so a stochastic step can move away from the minimizer. Far from it, all examples agree. Introduced in: Lesson 5
- RMSProp
- An adaptive method that divides each coordinate of the gradient by the square root of an EMA of its squared gradients, . Introduced in: Lesson 6
- saddle point
- A stationary point where goes up in some directions and down in others, for example for . Introduced in: Lesson 1
- saddle-free Newton
- A Newton-type method that uses instead of the Hessian, so it moves away from saddle points along negative-curvature directions. Introduced in: Lesson 11
- secant condition
- The requirement (or ) with and . Introduced in: Lesson 10
- Shampoo
- A matrix preconditioner with and and update . With only the current gradient it gives . Introduced in: Lesson 12
- sharpness
- The largest eigenvalue of the Hessian of the loss, . Gradient descent on a quadratic is stable only for . Introduced in: Lesson 11
- sharpness-aware minimization (SAM)
- A method that minimizes the worst loss in a ball of radius , , to find flatter minima. Each step needs two gradients. Introduced in: Lesson 11
- sign descent
- The update . Adam's first step, and Adam with and , is sign descent. Introduced in: Lesson 6
- Slater's condition
- For a convex problem, there is a strictly feasible point ( for the nonaffine inequalities). It implies strong duality. Introduced in: Lesson 8
- SOAP
- Adam run in the eigenbasis of Shampoo's matrices and ; the eigenbasis is updated only every few steps. Introduced in: Lesson 12
- soft thresholding
- The proximal operator of with step : each entry becomes . Small entries become exactly zero. Introduced in: Lesson 9
- square-root scaling rule
- For Adam, when the batch size is multiplied by , multiply the learning rate by (Malladi et al. 2022). Introduced in: Lesson 7
- stationary point
- A point with (also called a critical point). Minima, maxima and saddle points are stationary points. Introduced in: Lesson 1
- steepest descent under a norm
- The step that decreases the linear model most among steps of norm at most 1. Under it is , under it is , under the spectral norm it is . Introduced in: Lesson 12
- stochastic gradient descent (SGD)
- Gradient descent that uses a random, cheap estimate of the gradient (from one example or a minibatch) instead of the full gradient. Introduced in: Lesson 5
- strict saddle
- A stationary point with . Gradient descent from a random start almost surely does not converge to a strict saddle. Introduced in: Lesson 11
- strictly convex
- Convex with strict inequality for and . It has at most one minimizer, but it need not be strongly convex (). Introduced in: Lesson 2
- strong duality
- The case . It holds for convex problems under Slater's condition, but not for every convex problem. Introduced in: Lesson 8
- subgradient
- For a convex , a vector with for all . The set of all subgradients at is the subdifferential . Introduced in: Lesson 9
- sublinear convergence
- The error goes to zero more slowly than any fixed factor per step, for example for gradient descent on a convex -smooth function. Introduced in: Lesson 3
- superlinear convergence
- Convergence with and . BFGS converges superlinearly near a minimizer. Introduced in: Lesson 10
- support vectors
- The training points of an SVM with a nonzero dual variable . By complementary slackness they lie on the margin, and only they define . Introduced in: Lesson 8
- total variation
- The penalty , with a difference operator. It favours piecewise-constant signals and images. Introduced in: Lesson 9
- transition state
- An index-1 saddle point of a potential energy surface (one negative Hessian eigenvalue). It is the highest point of the lowest path between two minima. Introduced in: Lesson 11
- trust region
- A ball around the current point where the quadratic model is trusted. The step minimizes the model only inside this ball, and the radius changes with the quality of the model. Introduced in: Lesson 10
- warm start
- Starting a solver from the solution of a nearby problem, for example the previous on a lasso path. Introduced in: Lesson 9
- warmup
- A first phase of training where the learning rate grows from almost zero to its peak value, usually linearly over steps. Introduced in: Lesson 7
- warmup–stable–decay (WSD)
- A schedule with three phases: warmup, a long phase at a constant learning rate, and a short cooldown to a small value. The stable phase can be extended without planning . Introduced in: Lesson 7
- weight decay
- Shrinking the weights toward zero at every step, . For plain SGD it is the same as L2 regularization; for Adam it is not. Introduced in: Lesson 6
- Wolfe conditions
- The Armijo condition plus a curvature condition with . The strong form bounds the absolute value of the new slope. Introduced in: Lesson 3
- zig-zag
- The path of gradient descent in a narrow valley. The step is limited by the steep direction, so the iterates jump across the valley and move slowly along it. Introduced in: Lesson 1
- μ-strongly convex
- A function with for some . For a twice differentiable this means everywhere. Introduced in: Lesson 2