Beruflich Dokumente
Kultur Dokumente
October 2017
Based on:
D. C. Sorensen and M. Embree. “A DEIM Induced CUR Factorization.”
SIAM J. Sci. Comput. 38 (2016) A1454–A1482.
http://epubs.siam.org/doi/pdf/10.1137/140978430
≈
Low rank data decompositions
A
Low rank data decompositions
A = V Σ W∗
=
Low rank data decompositions
A = C U R
=
Interpolatory approximations
A ≈ C U R
k m, n
A ≈ C X
k m, n
A ≈ X R
k m, n
I A ∈ IR493×9 : data for 493 cases, 9 justices (from Keith Poole, U. Georgia)
I A ∈ IR493×9 : data for 493 cases, 9 justices (from Keith Poole, U. Georgia)
nnor
urg
edy
as
ns
er
er
Thom
a
Ginsb
Steve
Kenn
O’Co
Rehn
Scali
Sout
Brey
1 + + + + + + + + +
2 + ◦ + + + ◦ + ◦ ◦
3 + ◦ + ◦ + + ◦ + +
4 ◦ + + ◦ + ◦ + ◦ +
5 + ◦ + + ◦ ◦ + ◦ +
6 + + ◦ ◦ + ◦ ◦ + +
CUR Factorizations
kA − CURk2 ≥ σk+1
q
2
kA − CURkF ≥ σk+1 + · · · + σr2 .
CUR Factorization: Goals
kA − CURk2 ≥ σk+1
q
2
kA − CURkF ≥ σk+1 + · · · + σr2 .
kA − CURk2 ≤ C2 σk+1
q
2
kA − CURkF ≤ CF σk+1 + · · · + σr2 .
kA − CURk2 ≥ σk+1
q
2
kA − CURkF ≥ σk+1 + · · · + σr2 .
kA − CURk2 ≤ C2 σk+1
q
2
kA − CURkF ≤ CF σk+1 + · · · + σr2 .
Fundamental questions:
I Which columns of A should form C? Which rows should form R?
I Given C and R, how should we best construct U?
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
V
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
V |V(j, k)|2
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,11 = 0.7892
V |V(j, k)|2
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,11 = 0.7892
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,3 = 0.7229
`r ,11 = 0.7892
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,3 = 0.7229
`r ,10 = 0.7159
`r ,11 = 0.7892
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,3 = 0.7229
`r ,10 = 0.7159
`r ,11 = 0.7892
`r ,17 = 0.6933
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,3 = 0.7229
`r ,10 = 0.7159
`r ,11 = 0.7892
`r ,12 = 0.6933
`r ,17 = 0.6933
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
Leverage Scores are a popular technique for computing the CUR factorization,
based on identifying the key elements of the singular vectors; see, e.g.,
[Mahoney, Drineas 2009].
`r ,3 = 0.7229
`r ,10 = 0.7159
`r ,11 = 0.7892
`r ,12 = 0.6933
`r ,17 = 0.6933
`r ,18 = 0.6624
`r ,24 = 0.7447
2
V |V(j, k)|
CUR based on Leverage Scores
I To rank the importance of the columns, take the 2-norm of each row of W:
I To rank the importance of the columns, take the 2-norm of each row of W:
We shall pick columns and rows of A to form C and R using a variant of the
Discrete Empirical Interpolation Method (DEIM) method.
x1 x1
× #
x3 x3
P
× = #
× #
x6 x6
× #
Key Tool: Interpolatory Projectors
P = V(ET V)−1 ET
P = V(ET V)−1 ET
∈ IRm×j
Vj = v1 v2 ··· vj
Ej = I( : , [p1 , . . . , pj ]) ∈ IRm×j .
×
×
×
v1 =
×
×
F p1
×
Discrete Empirical Interpolation Method (DEIM)
Step 2b: Project v1 against v2 to zero out p1 entry, and compute the residual:
r2 = v2 − P1 v2 .
×
×
F p2
r2 =
×
×
0
×
Discrete Empirical Interpolation Method (DEIM)
Step 3b: Project v1 and v2 against v3 to zero out the p1 and p2 entries, and
compute the residual:
r3 = v3 − P2 v3 .
p3
F
×
0
r3 =
×
×
0
×
Discrete Empirical Interpolation Method (DEIM)
Once C and R have been constructed, two notable choices are available for U
(presuming one needs the explicit A ≈ CUR factorization).
(CUR)(p, q) = A(p, q)
I U = C+ AR+
This choice is optimal in the Frobenius norm [Stewart, 1999];
See also [Mahoney, Drineas, 2009].
CUR = (CC+ )A(R+ R), where CC+ and R+ R are orthogonal projectors.
C and R need not have the same number of columns and rows.
Our analysis shall use the latter choice of U. However, we emphasize that the
motivating application may not need U ∈ Ck×k explicitly.
Options for computing the SVD
Problem size dictates how to compute/approximate the SVD that feeds DEIM.
I For modest m or n, use the economy SVD: [V,S,W] = svd(A,’econ’).
A(:, 1 : k) =
Partial QR factorization
Incremental One-Pass QR Factorization
Find qj with
kR(j, :)k2 < ε2 kRk2F − kR(j, :)k2
Incremental One-Pass QR Factorization
How does badly does this simple truncation strategy compromise the accuracy
of the factorization?
Then
kAk − Qk Rk kF ≤ ε dk kRk kF .
Note that one can monitor this error bound as the method progresses.
Incremental One-Pass QR Factorization: Analysis
How does badly does this simple truncation strategy compromise the accuracy
of the factorization?
Then
kAk − Qk Rk kF ≤ ε dk kRk kF .
Note that one can monitor this error bound as the method progresses.
Corollary. Suppose A ≈ Q bRb has been computed via the incremental QR
∗
algorithm with d deletions and tolerance ε. Let R
b = VΣW
b be an SVD of R.
b
b ΣW∗ is an approximate SVD of A with
Then Q bV
∗
kA − Q
b V)ΣW
b kF ≤ ε d kRk
b F.
How close can a rank-k CUR factorization come to the optimal approximation?
kA − Vk Σk WkT k = σk+1
Analysis of the CUR Approximations
How close can a rank-k CUR factorization come to the optimal approximation?
kA − Vk Σk WkT k = σk+1
Step 1: Triangle inequality splits the error into row and column projections.
To analyze the accuracy of a CUR factorization with U = C+ AR+ ,
begin by splitting the problem into estimates for two orthogonal projections
[Mahoney & Drineas 2009].
Proof: Write
PA(I − R+ R) = V(ET V)−1 ET A(I − RT (RRT )−1 R)
= V(ET V)−1 R (I − RT (RRT )−1 R)
= V(ET V)−1 (R − RRT (RRT )−1 R)
= 0,
and hence
A(I − R+ R) = (I − P)A(I − R+ R).
Analysis of CUR Factorizations: Step 3
(I − P)(I − Π) = I − P.
Analysis of CUR Factorizations: Step 3
(I − P)(I − Π) = I − P.
thus giving
kA(I − R+ R)k ≤ k(ET V)−1 k σk+1 .
In summary,
kA(I − R+ R)k ≤ k(ET V)−1 k σk+1 .
Theorem. Let V ∈ IRm×k and W ∈ IRn×k contain the k leading left and right
singular vectors of A, and let E = I(:, p) and F = I(:, q) for p = DEIM(V) and
q = DEIM(W). Then for C = AF, R = ET A, and U = C+ AR+ ,
kA − CURk ≤ k(WT F)−1 k + k(ET V)−1 k σk+1 .
Analysis of DEIM-CUR Factorization
Theorem. Let V ∈ IRm×k and W ∈ IRn×k contain the k leading left and right
singular vectors of A, and let E = I(:, p) and F = I(:, q) for p = DEIM(V) and
q = DEIM(W). Then for C = AF, R = ET A, and U = C+ AR+ ,
kA − CURk ≤ k(WT F)−1 k + k(ET V)−1 k σk+1 .
Theorem. Let V ∈ IRm×k and W ∈ IRn×k contain the k leading left and right
singular vectors of A, and let E = I(:, p) and F = I(:, q) for p = DEIM(V) and
q = DEIM(W). Then for C = AF, R = ET A, and U = C+ AR+ ,
kA − CURk ≤ k(WT F)−1 k + k(ET V)−1 k σk+1 .
kA − CURk ≤ k(WT F)−1 k + k(ET V)−1 k σk+1
kA − CURk ≤ k(WT F)−1 k + k(ET V)−1 k σk+1
Example: Sparse + Steady Singular Value Decay
T
100 100 one application of A and A
10-2 10-2 T
angle, radians
angle, radians
A
-4
10-4
and
of A
10
s
tion
10-6 10-6 ica
appl
10
-8
10
-8 two
OnePass RandSVD
10-10 10-10
0 5 10 15 20 25 30 0 5 10 15 20 25 30
k k
Example: Sparse + Steady Singular Value Decay
The “dirty” singular vectors have very little effect on the accuracy of the DEIM
approximation. In the plot below, the inexact singular vectors from RandSVD
(one application of A and AT ) are shown as the dashed black line.
10 2
kA ! Ck Uk Rk k
10 1
10 0
10 -1
0 5 10 15 20 25 30
k
Example: Sparse + Steady Singular Value Decay
100
50
rank, k
1
0.2 0.6 1 1.4 1.8
ratio (DEIM-CUR better when < 1)
Example: Sparse + Steady Singular Value Decay
100 100
50 50
rank, k
rank, k
1 1
0 1 2 3 4 5 0 1 2 3 4 5
log10 (2p ) log10 (2p )
Example: Sparse + Steady Singular Value Decay
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
Term document example
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
Term document example
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
Term document example
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
Comparison of DEIM columns with those of leverage scores (LS) using all
singular vectors versus only two leading singular vectors.
(The leverage scores are normalized.)
A data set from the TechTC collection, used by [Mahoney, Drineas 2009].
Concatenation of web pages about Evansville, Indiana and Miami, Florida.
A ∈ IR139×15170 , k = 30
CUR error for leverage scores based only on the two leading singular vectors.
Gait Analysis from Building Vibrations
w/Dustin Bales, Serkan Gugercin, Rodrigo Sarlo, Pablo Tarazaga, and Mico Woolard
w/Dustin Bales, Serkan Gugercin, Rodrigo Sarlo, Pablo Tarazaga, and Mico Woolard
Proof of concept project: Send a walker down a heavily instrumented hallway.
Can one classify the gender or weight of the walker based on vibrations?
Gait Analysis from Building Vibrations
w/Dustin Bales, Serkan Gugercin, Rodrigo Sarlo, Pablo Tarazaga, and Mico Woolard
Proof of concept project: Send a walker down a heavily instrumented hallway.
Can one classify the gender and weight of the walker based on vibrations?
w/Dustin Bales, Serkan Gugercin, Rodrigo Sarlo, Pablo Tarazaga, and Mico Woolard
Proof of concept project: Send a walker down a heavily instrumented hallway.
Can one classify the gender and weight of the walker based on vibrations?
w/Dustin Bales, Serkan Gugercin, Rodrigo Sarlo, Pablo Tarazaga, and Mico Woolard
Proof of concept project: Send a walker down a heavily instrumented hallway.
Can one classify the gender and weight of the walker based on vibrations?