Georgia Institute of Technology
SLIM
Felix J. Herrmann
Extreme scale matrix factorizations in Exploration Seismology
Saturday, November 11, 17
Extreme scale matrix factorizations in Exploration Seismology Felix - - PowerPoint PPT Presentation
Extreme scale matrix factorizations in Exploration Seismology Felix J. Herrmann SLIM Georgia Institute of Technology Saturday, November 11, 17 SLIM Seismic inversion Infer 3D images & velocity models from mul+-experiment data: unknowns
Georgia Institute of Technology
Saturday, November 11, 17
SLIM
Saturday, November 11, 17
Saturday, November 11, 17
m
M
i=1
Saturday, November 11, 17
Saturday, November 11, 17
6
Saturday, November 11, 17
6
Saturday, November 11, 17
7
Saturday, November 11, 17
7
Saturday, November 11, 17
Georgia Institute of Technology
Saturday, November 11, 17
intensive
Saturday, November 11, 17
10
Aleksandr Y. Aravkin, Rajiv Kumar, Hassan Mansour, Ben Recht, and Felix J. Herrmann, “Fast methods for denoising matrix completion formulations, with applications to robust seismic data interpolation”, SIAM Journal on Scientific Computing,
Rajiv Kumar, Haneet Wason, and Felix J. Herrmann, “Source separation for simultaneous towed-streamer marine acquisition –- a compressed sensing approach”, Geophysics, vol. 80, p. WD73-WD88, 2015. Rajiv Kumar, Curt Da Silva, Okan Akalin, Aleksandr Y. Aravkin, Hassan Mansour, Ben Recht, and Felix J. Herrmann, “Efficient matrix completion for seismic data reconstruction”, Geophysics, vol. 80, p. V97-V114, 2015. Curt Da Silva and Felix J. Herrmann, “Optimization on the Hierarchical Tucker manifold - applications to tensor completion”, Linear Algebra and its Applications, vol. 481, p. 131-173, 2015.
Saturday, November 11, 17
!
!
[Candes and Plan 2010, Oropeza and Sacchi 2011]
Saturday, November 11, 17
12
Src x, Src y Rec x, Rec y 100 200 300 400 500 600 100 200 300 400 500 600
10 20 30 40 50 60 70 80 90 100
100 200 300 400 500 600 700 10
−710
−610
−510
−410
−310
−210
−110 Normalized singular value
Full data
Saturday, November 11, 17
13
Src x, Rec x Src y, Rec y 100 200 300 400 500 600 100 200 300 400 500 600
10 20 30 40 50 60 70 80 90 100
100 200 300 400 500 600 700 10
−710
−610
−510
−410
−310
−210
−110 Normalized singular value
(Rx Ry) matricization (Sy Ry) matricization
Saturday, November 11, 17
!
!
Saturday, November 11, 17
15
Src x, Src y Rec x, Rec y 100 200 300 400 500 600 100 200 300 400 500 600
10 20 30 40 50 60 70 80 90 100
100 200 300 400 500 600 700 10
−710
−610
−510
−410
−310
−210
−110 Normalized singular value
No subsampling 50% missing sources
Saturday, November 11, 17
16
Src x, Rec x Src y, Rec y 100 200 300 400 500 600 100 200 300 400 500 600
10 20 30 40 50 60 70 80 90 100
100 200 300 400 500 600 700 10
−810
−710
−610
−510
−410
−310
−210
−110 Normalized singular value
No subsampling 50% missing sources
Saturday, November 11, 17
!
!
Saturday, November 11, 17
convex relaxation of rank-minimization
sum of singular values of X
[Recht et. al., 2010]
18
X ∈ Cnf ×nrx×nsx×nry×nsy
L ∈ Cnf ×nrx×nsx×nk R ∈ Cnf ×nry×nsy×nk nk nk
nry × nsy nry × nsy
n
r x
× n
s x
nrx × nsx
nf nf nf
[Rennie and Srebro 2005, Lee et. al. 2010, Recht and Re 2011]
Saturday, November 11, 17
! ! !
where is sum of squares of all entries!
! !
!
[Rennie and Srebro 2005]
kLRHk∗ 1 2
L R
F
k.k2
F
Saturday, November 11, 17
20
Saturday, November 11, 17
21 Conventional acquisition random coil acquisition
from https://www.slb.com/~/media/Files/resources/oilfield_review/ors08/aut08/shooting_seismic_surveys_in_circles.pdf
Saturday, November 11, 17
22
Saturday, November 11, 17
Saturday, November 11, 17
Saturday, November 11, 17
0.5 1 1.5 2
Sx-Rx
# 10 4 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Sy-Ry
# 10 4
2 4 6 8 10
Rx (km)
2 4 6 8 10
Ry (km)
24
common source gather
Saturday, November 11, 17
0.5 1 1.5 2
Sx-Rx
# 10 4 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Sy-Ry
# 10 4
2 4 6 8 10
Rx (km)
2 4 6 8 10
Ry (km)
25
common source gather
Saturday, November 11, 17
0.5 1 1.5 2
Sx-Rx
×10 4 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Sy-Ry
×10 4
2 4 6 8 10
Rx (km)
2 4 6 8 10
Ry (km)
26
common source gather
Saturday, November 11, 17
0.5 1 1.5 2
Sx-Rx
×10 4 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
Sy-Ry
×10 4
2 4 6 8 10
Rx (km)
2 4 6 8 10
Ry (km)
27
common source gather
Saturday, November 11, 17
28
2 4 6 8 10
Receiver-Y (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
2 4 6 8 10
Receiver-Y (km)
Saturday, November 11, 17
29
2 4 6 8 10
Receiver-Y (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
2 4 6 8 10
Receiver-Y (km)
Saturday, November 11, 17
30
2 4 6 8 10
Receiver-Y (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
2 4 6 8 10
Receiver-Y (km)
Saturday, November 11, 17
31
2 4 6 8 10
Receiver-Y (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
0.5 1 1.5 2 2.5 3
Time (s)
2 4 6 8 10
Receiver-X (km)
2 4 6 8 10
Receiver-Y (km)
Saturday, November 11, 17
Saturday, November 11, 17
Frequency (Hz) Parameter Size SNR Compression Ratio Non-canonical Non-canonical canonical canonical 3 6 3 6 71MB 501MB 421MB 1194MB 42.8 71MB 42.9 43.0 43.1 98.8% 91.6% 92.9% 79.9%
Saturday, November 11, 17
Frequency (Hz) Compression Ratio Non-canonical Non-canonical Nyquist Nyquist 3 6 3 6 98.8% 89% 92.9% 0 %
θ = 45o, V = 1500 m/s θ = 45o, V = 1500 m/s
Saturday, November 11, 17
nxrec
nxsrc
nysrc
k k k k
nxrec
nxrec
index number Common shot gather
Saturday, November 11, 17
nxrec
nxsrc
nysrc
k k k k
nxrec
nxrec
index number Common shot gather
Saturday, November 11, 17
Saturday, November 11, 17
Saturday, November 11, 17
Saturday, November 11, 17
Saturday, November 11, 17
University of British Columbia
Marie Graff-Kray, Rajiv Kumar and Felix J. Herrmann
Saturday, November 11, 17
38
Saturday, November 11, 17
39
Saturday, November 11, 17
40
Saturday, November 11, 17
41
6 5 4 3 x (km) 2 1 1 2 y (km) 3 4 5 6 5 z (km)
1500 2000 2500 3000 3500 4000 4500 Saturday, November 11, 17
41
6 5 4 3 x (km) 2 1 1 2 y (km) 3 4 5 6 5 z (km)
1500 2000 2500 3000 3500 4000 4500
Saturday, November 11, 17
42
Tristan van Leeuwen, Rajiv Kumar, and Felix J. Herrmann, “Enabling affordable omnidirectional subsurface extended image volumes via probing”, Geophysical Prospecting, 2016
Saturday, November 11, 17
43
Saturday, November 11, 17
44
Saturday, November 11, 17
discretization of the Helmholtz operator
data matrix
slowness
s Q
H(m)∗V = P T
r D
H(m) : Q : D : Ps, Pr : m :
45
Saturday, November 11, 17
46
Saturday, November 11, 17
Tristan van Leeuwen, Rajiv Kumar, and Felix J. Herrmann, “Enabling affordable omnidirectional subsurface extended image volumes via probing”, Geophysical Prospecting, 2016
wi = [0, . . . , 0, 1, 0, . . . , 0]
e E = EW = H⇤P >
r DQ⇤PsH⇤W
W = [w1, . . . , w`]
47
Saturday, November 11, 17
Tristan van Leeuwen, Rajiv Kumar, and Felix J. Herrmann, “Enabling affordable omnidirectional subsurface extended image volumes via probing”, Geophysical Prospecting, 2016
wi = [0, . . . , 0, 1, 0, . . . , 0]
W e E = EW = H⇤P >
r DQ⇤PsH⇤W
W = [w1, . . . , w`]
48
Saturday, November 11, 17
49
Saturday, November 11, 17
r DQ⇤PsH⇤W
50
Saturday, November 11, 17
r DQ⇤PsH⇤W
51
[Q, EQ] Q Q ˜ E = EW W = [w1, . . . , wr] r
Saturday, November 11, 17
52
[Q, EQ]
[2] Bekas et. al, An Estimator for the Diagonal of a Matrix, 2007 [1] Halko et. al, Finding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions, 2010
E P
Saturday, November 11, 17
[1] Halko et. al, Finding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions, 2010
Y = EW Z = Q∗E U ← QU [Q, R] = qr(Y ) [U, S, V ] = svd(Z) [Q, EQ] V ← QV
53
E ' USV ∗
Saturday, November 11, 17
[2] Bekas et. al, An Estimator for the Diagonal of a Matrix, 2007
W = [w1, . . . , w`] ` N Q
r E r E diag(E) ⇡ ` X
i=1
wi (Ewi) ! ↵ ` X
i=1
wi wi !
54
diag(E) =
r
X
i=1
qi (Eqi)
Saturday, November 11, 17
[2] Bekas et. al, An Estimator for the Diagonal of a Matrix, 2007
55
diag(E) =
r
X
i=1
qi (Eqi) P
r
X
i=1
(Pqi) (Eqi)
Saturday, November 11, 17
56
Saturday, November 11, 17
57
Saturday, November 11, 17
58
E = H[m]⇤ P >
r DQ⇤Ps
| {z }
invariant
H[m]⇤ H[m1]∗E1H[m1]∗ = H[m2]∗E2H[m2]∗ m1 m2
Tristan van Leeuwen and Felix J. Herrmann, “Wave-equation extended images: computation and velocity continuation”, in EAGE Annual Conference Proceedings, 2012.
Saturday, November 11, 17
59
E = H[m]⇤ P >
r DQ⇤Ps
| {z }
invariant
H[m]⇤ H[m1]∗E1H[m1]∗ = H[m2]∗E2H[m2]∗ E2 = H[m2]−∗H[m1]∗E1H[m1]∗H[m2]−∗ E2 E1 m1 m2
Saturday, November 11, 17
60
N × r [Q1, E1Q1] E1 E1 = L1R∗
1
L1 R1 L1 = U1 p S1 R1 = V1 p S1 [U1, S1, V1]
Saturday, November 11, 17
61
L2 = H[m2]−∗H[m1]∗L1 R2 = H[m2]−1H[m1] R1 E2 = L2R∗
2
2r
Saturday, November 11, 17
62
Saturday, November 11, 17
63
Saturday, November 11, 17
64
Saturday, November 11, 17
65
Saturday, November 11, 17
66
Saturday, November 11, 17
67
Saturday, November 11, 17
68
Saturday, November 11, 17
The authors wish to acknowledge the SENAI CIMATEC Supercomputing Center for Industrial Innovation, with support from BG Brasil, Shell, and the Brazilian Authority for Oil, Gas and Biofuels (ANP), for the provision and operation of computational facilities and the commitment to invest in Research & Development.
69
Saturday, November 11, 17
70
Saturday, November 11, 17