Seyed Masoud Hosseini · Overview · Study log · Weekly summaries · Ideas · Search · Transcript · RSS feed
Matrix Methods for Data Analysis & ML · Lecture 9 of 36 · 47:16
Lecture 7: Eckart-Young, the Closest Rank k Matrix to A
Study guide
What this lecture covers
Building on the singular value decomposition, Strang states and explains the Eckart-Young theorem: truncating the SVD to its k largest pieces gives the best possible rank-k approximation to a matrix, in several standard senses of "best." Understanding this requires matrix norms, so he introduces three: the spectral (L2) norm, the Frobenius norm, and the nuclear norm, all computable directly from the singular values.
The lecture then applies this to real problems, the Netflix prize and MRI reconstruction as matrix completion problems where the nuclear norm matters, and closes by introducing principal component analysis (PCA) as a fundamentally different fitting problem from ordinary least squares. After watching you should be able to state the Eckart-Young theorem, name the three matrix norms and how they use singular values, and explain how PCA's "perpendicular distance" differs from least squares' "vertical distance."
Key ideas
- Eckart-Young theorem: among all rank-k matrices
B, the truncated SVDA_k(built from the k largest singular values and their vectors) minimizes the distance (norm)||A - B||. - Vector norms: the L2 norm is ordinary length (
sqrt(sum of squares)), the L1 norm is the sum of absolute values, and the L-infinity norm is the largest entry; minimizing in the L1 norm tends to produce sparse (mostly-zero) solutions, unlike L2. - Matrix norms built from singular values: the L2 (spectral) norm is the largest singular value
σ1; the Frobenius norm is the square root of the sum of squares of all entries; the nuclear norm is the sum of all the singular values. - Orthogonal invariance: multiplying a matrix by an orthogonal matrix on either side does not change its singular values or its norms, since
QUis still orthogonal wheneverQandUare. - Netflix and MRI as matrix completion: recovering missing entries in a large data matrix (movie ratings, MRI scans) by minimizing the nuclear norm is the key idea behind both the Netflix Prize approach and undersampled MRI reconstruction.
- PCA versus least squares: least squares minimizes the sum of squared vertical errors between data points and a fitted line; PCA instead minimizes the sum of squared perpendicular distances from the points to a line through the (mean-centered) data, a different problem with a different answer.
- PCA's answer comes from the SVD: after centering the data (subtracting the mean) and forming the sample covariance matrix
AA^T, the best-fit direction for PCA is given by the leading singular vector, connected to the largest singular valueσ1.
Walkthrough
The Eckart-Young theorem (1:03)
Strang states the central theorem of the lecture: for any matrix B of rank k, the distance from A to B is at least as large as the distance from A to A_k, the matrix built from the k largest pieces of the SVD. This means the SVD, truncated to its most significant terms, gives the best possible low-rank summary of a matrix, a result credited to Eckart and Young.
Vector and matrix norms (4:04)
Strang reviews the L2, L1, and L-infinity norms for vectors, noting that minimizing in the L1 norm tends to produce sparse solutions with mostly zero components, a property with major applications in signal processing. He then defines three matrix norms that all depend only on the singular values: the L2 (spectral) norm is the largest singular value, the Frobenius norm treats the matrix as one long vector and takes its L2 norm, and the nuclear norm sums all the singular values.
Netflix and MRI as matrix completion problems (15:12)
Strang explains that the nuclear norm turned out to be the right quantity to minimize in the Netflix Prize competition, where a large matrix of movie ratings has many missing entries that must be filled in to predict a viewer's unseen preferences. The same idea, completing a matrix with missing data by minimizing its nuclear norm, applies to reconstructing MRI images from undersampled scans.
Why orthogonal multiplication preserves norms (27:22)
Using a diagonal example with singular values 4, 3, 2, 1, Strang shows that the best rank-two approximation keeps the two largest singular values, and that any attempt to spread error differently across the matrix (even improving the diagonal) makes the total error worse once off-diagonal entries are introduced. He then shows that multiplying a matrix by an orthogonal matrix Q on the left leaves its singular values and all three norms unchanged, since QU remains orthogonal, which is why the Eckart-Young theorem is not just a special property of diagonal matrices.
PCA versus least squares (31:24)
Strang sets up a small example, data on height and age, and shows the first step is centering the data by subtracting the mean of each row so the data cloud is centered at the origin. He contrasts this with ordinary least squares, which minimizes the sum of squared vertical distances from data points to a fitted line (solved via the normal equations A^T A x̂ = A^T b) and explains that PCA instead minimizes the sum of squared perpendicular distances, a different problem that uses the sample covariance matrix AA^T and whose best-fit direction is given by the leading singular vector of the data matrix.
Before you watch
- Watch Lecture 6 on the singular value decomposition first, since this lecture builds the Eckart-Young theorem and PCA directly on top of
A = UΣV^T. - Familiarity with least squares and the normal equations
A^T A x̂ = A^T bhelps when comparing PCA to least squares.
Check your understanding
- What does the Eckart-Young theorem say about the truncated SVD
A_k? - How are the L2 (spectral), Frobenius, and nuclear norms of a matrix each computed from its singular values?
- Why does multiplying a matrix by an orthogonal matrix leave its norms and singular values unchanged?
- How does the nuclear norm relate to the Netflix Prize and MRI reconstruction problems?
- What is the key difference between what least squares minimizes and what PCA minimizes when fitting a line to data?
Vocabulary
- theorem (noun)
- A mathematical statement that has been proven to be true.
The Eckart-Young theorem is central to this lecture. - truncate (verb)
- To cut something short by keeping only part of it.
Truncating the SVD to its k largest pieces gives the best rank-k approximation. - rank-k approximation (noun)
- A simplified version of a matrix built from only k directions instead of all of them.
A_k is the best rank-k approximation to A. - norm (noun)
- A way of measuring the size or length of a vector or matrix.
The Frobenius norm is one way to measure a matrix's size. - spectral norm (noun)
- A matrix norm equal to the largest singular value.
The spectral norm is also called the L2 matrix norm. - Frobenius norm (noun)
- A matrix norm found by treating all entries as one long vector and taking its length.
The Frobenius norm uses the square root of the sum of squared singular values. - nuclear norm (noun)
- A matrix norm equal to the sum of all the singular values.
The nuclear norm matters for matrix completion problems. - sparse (adjective)
- Having mostly zero or empty values.
Minimizing the L1 norm tends to produce a sparse solution. - orthogonal invariance (noun)
- The property that multiplying by an orthogonal matrix does not change a value.
Orthogonal invariance means norms stay the same after rotation. - matrix completion (noun)
- The task of filling in missing entries of a matrix using patterns in the known entries.
The Netflix Prize was a matrix completion problem. - undersampled (adjective)
- Having fewer measurements taken than would normally be needed.
MRI reconstruction works with undersampled scan data. - reconstruction (noun)
- The process of rebuilding a full picture or dataset from partial information.
MRI reconstruction fills in the missing scan data. - least squares (noun)
- A method that finds the best fit line by minimizing the sum of squared vertical errors.
Least squares minimizes vertical distance to the data points. - principal component analysis (PCA) (noun)
- A method that finds the directions of greatest variation in a dataset.
PCA gives a different best-fit line than least squares. - perpendicular distance (noun)
- The shortest distance from a point to a line, measured at a right angle.
PCA minimizes the perpendicular distance from points to the line. - vertical distance (noun)
- The up-and-down distance from a point to a line.
Least squares minimizes vertical distance, not perpendicular distance. - center (data) (verb)
- To shift data so its average value sits at zero.
PCA starts by centering the data around the mean. - covariance matrix (noun)
- A matrix that shows how much different variables in a dataset change together.
PCA uses the sample covariance matrix AA^T. - normal equations (noun)
- The equation A^T A x = A^T b, solved to find the best least squares fit.
Least squares is solved using the normal equations. - summary (noun)
- A short version of a larger idea, capturing its main point.
The Eckart-Young theorem is a summary result about best approximations. - significant (adjective)
- Important enough to matter.
The largest singular values are the most significant part of a matrix. - stable (adjective)
- Not changing much when small errors are introduced.
A well-conditioned problem is numerically stable.
Chapters
- 0:00 Intro
- 2:32 Theorem
- 4:39 Norms
- 7:00 L1 Norm
- 9:52 Properties of Norms
- 11:44 Three Norms
- 13:38 Eckhart Jung Statement
- 15:21 Netflix Competition
- 19:19 MRIs
- 20:26 Example
- 29:29 Singular Value Decomposition
- 31:39 Data Example
- 35:34 Finding the Best Line
- 37:03 Least Square
From the YouTube description
MIT 18.065 Matrix Methods in Data Analysis, Signal Processing, and Machine Learning, Spring 2018
Instructor: Gilbert Strang
View the complete course: https://ocw.mit.edu/18-065S18
YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP63oMNUHXqIUcrkS2PivhN3k
In this lecture, Professor Strang reviews Principal Component Analysis (PCA), which is a major tool in understanding a matrix of data. In particular, he focuses on the Eckart-Young low rank approximation theorem.
License: Creative Commons BY-NC-SA
More information at https://ocw.mit.edu/terms
More courses at https://ocw.mit.edu
← Lecture 6: Singular Value Decomposition (SVD) · Lecture 8: Norms of Vectors and Matrices →
