In this page, we will be discussing some math terms that are used in machine learning and deep learning that i have no idea about.

Lipschitz continuity

Given two metric spaces (X,dX)(X, d_X) and (Y,dY)(Y, d_Y), a function f:X→Yf: X \rightarrow Y is said to be Lipschitz continuous if there exists a constant K≥0K \geq 0 such that for all x1,x2∈Xx_1, x_2 \in X.

Any such KK is called a Lipschitz constant for the function ff. The smallest constant KK for which the inequality holds is called the Lipschitz constant of ff.

Think of a double cone, where the slope of the cone is the Lipschitz constant. The function is Lipschitz continuous if the slope of the cone is bounded.

Krylov subspace

Given a matrix A∈Rn×nA \in \mathbb{R}^{n \times n} and a vector b∈Rnb \in \mathbb{R}^n, the Krylov subspace of order mm is defined as:

Km(A,b)=span{b,Ab,A2b,…,Am−1b}\mathcal{K}_m(A, b) = \text{span}\{b, Ab, A^2b, \ldots, A^{m-1}b\}

Polyak-Lojasiewicz inequality

Polyak-Lojasiewicz inequality is a mathematical inequality that is used to prove the convergence of optimization algorithms. It states that the difference between the function value and the minimum value of the function is bounded by the gradient of the function.

f(x)−f(x∗)≤12β∣∣∇f(x)∣∣2f(x) - f(x^*) \leq \frac{1}{2\beta} ||\nabla f(x)||^2

where f(x)f(x) is the function value at xx, f(x∗)f(x^*) is the minimum value of the function, ∇f(x)\nabla f(x) is the gradient of the function at xx, and β\beta is a constant that depends on the function.

This can also translate to if the magnitude of the gradient of the loss function is greater than constant times the loss function, we have exponential convergence of gradients.

We care about a more simpler version of this inequality, the minimum value of the function is hard to guess, so we forget about the f(x∗)f(x^*) term. We first prove this simpler form of the inequality and then we will see how it can be used to prove the convergence of optimization algorithms.

Generalization Error Bound

Rademacher Complexity

Search notes
Graph View