-
Notifications
You must be signed in to change notification settings - Fork 71
Expand file tree
/
Copy pathSymBandedPlusBulge.jl
More file actions
178 lines (158 loc) · 4.28 KB
/
Copy pathSymBandedPlusBulge.jl
File metadata and controls
178 lines (158 loc) · 4.28 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
"""
Represent a symmetric banded matrix plus a bulge:
[ □ ◺
◹ □ ◺
◹ □ □ ◺
□ □ □
◹ □ □ ◺
◹ □ ◺
◹ □ ]
"""
mutable struct SymBandedPlusBulge{T,M<:BandedMatrix{T}} <: AbstractMatrix{T}
A::M
b::Int
bulge::Int
end
SymBandedPlusBulge(A::AbstractMatrix, b::Int, bulge::Int) = SymBandedPlusBulge(BandedMatrix(A, (2b, 2b)), b, bulge)
size(A::SymBandedPlusBulge) = size(A.A)
function getindex(A::SymBandedPlusBulge{T}, i::Integer, j::Integer) where T
b = A.b
bulge = A.bulge
col1 = bulge - 2b
col2 = bulge - b
row1 = col1 - b
row2 = col2 - 2b
AA = A.A
if -b ≤ i-j ≤ b
if j ≥ i
return AA[i,j]
else
return AA[j,i]
end
elseif 1 ≤ j-col1 ≤ b && 1 ≤ i-row1 ≤ b && j-col1 > i-row1
return AA[i,j]
elseif 1 ≤ j-col2 ≤ b && 1 ≤ i-row2-(j-col2-1) ≤ b
return AA[i,j]
elseif 1 ≤ i-col1 ≤ b && 1 ≤ j-row1 ≤ b && i-col1 > j-row1
return AA[j,i]
elseif 1 ≤ i-col2 ≤ b && 1 ≤ j-row2-(i-col2-1) ≤ b
return AA[j,i]
else
return zero(T)
end
end
setindex!(A::SymBandedPlusBulge{T}, v, i::Integer, j::Integer) where T = (b = A.b; -2b ≤ i-j ≤ 2b && setindex!(A.A, v, i, j))
function computeHouseholder!(A::SymBandedPlusBulge{T}, w::Vector{T}, col::Int) where T
b = A.b
corr = zero(T)
fill!(w, corr)
row = col - b
@inbounds for i = max(row-b, 1):row
corr += abs2(A[i, col])
w[i] = A[i, col]
end
normw = sqrt(corr)
corr = copysign(normw, A[row, col])
w[row] += corr
normw = sqrt(normw^2+corr*muladd(T(2),w[row],-corr))
if normw == zero(normw)
return w
else
return LinearAlgebra.__normalize!(w, normw)
end
end
function applyHouseholder!(w::Vector{T}, wQ::Vector{T}, Q::Matrix{T}, bulge::Int, b::Int) where T
sw = max(bulge - 2b, 1)
fw = min(bulge - b, size(Q, 1))
s = 1
f = size(Q, 1)
# wQ = (w^⊤ Q)^⊤
fill!(wQ, zero(T))
@inbounds for j = s:f
wQj = zero(T)
@simd for i = sw:fw
wQj += w[i]*Q[i,j]
end
wQ[j] = wQj
end
# H Q = Q - 2/dot(w, w) (w (w^⊤ Q))
# twodivnrmw = 2/dot(w, w)
twodivnrmw = T(2)
@inbounds for j = s:f
wQj = wQ[j]
@simd for i = sw:fw
Q[i,j] -= twodivnrmw*w[i]*wQj
end
end
#Q .= Q - 2*w*(w'Q)
Q
end
function similarity!(w::Vector{T}, v::Vector{T}, Aw::Vector{T}, A::SymBandedPlusBulge{T}) where T
bulge = A.bulge
b = A.b
sw = max(bulge - 2b, 1)
fw = min(bulge - b, size(A, 1))
sv = max(bulge - 3b, 1)
fv = min(bulge, size(A, 1))
s = min(sv, sw)
f = max(fv, fw)
# Aw = A*w
fill!(Aw, zero(T))
@inbounds for j = sw:fw
wj = w[j]
@simd for i = sv:fv
Aw[i] += A[i,j]*wj
end
end
# v = Aw - dot(w, Aw)/dot(w, w)*w
fill!(v, zero(T))
# cst = -dot(w, Aw)/dot(w, w)
cst = -dot(w, Aw)
@inbounds for i = sv:fv
v[i] = muladd(cst, w[i], Aw[i])
end
# H A H^⊤ = A - 2/dot(w, w) ( vw^⊤ + wv^⊤ )
# twodivnrmw = 2/dot(w, w)
twodivnrmw = T(2)
@inbounds for j = s:f
vj = v[j]
wj = w[j]
@simd for i = s:f
A[i,j] -= twodivnrmw*(v[i]*wj+w[i]*vj)
end
end
A.bulge -= 1
A
end
function chasebulge!(w::Vector{T}, v::Vector{T}, Aw::Vector{T}, A::SymBandedPlusBulge{T}) where T
bulge = A.bulge
b = A.b
for k = bulge:-1:b+1
computeHouseholder!(A, w, k)
similarity!(w, v, Aw, A)
end
A
end
function chasebulge!(A::SymBandedPlusBulge{T}) where T
w = zeros(T, size(A, 2))
v = zero(w)
Aw = zero(w)
chasebulge!(w, v, Aw, A)
end
function chasebulge!(w::Vector{T}, v::Vector{T}, Aw::Vector{T}, A::SymBandedPlusBulge{T}, wQ::Vector{T}, Q::Matrix{T}) where T
bulge = A.bulge
b = A.b
for k = bulge:-1:b+1
computeHouseholder!(A, w, k)
applyHouseholder!(w, wQ, Q, k, b)
similarity!(w, v, Aw, A)
end
A, Q
end
function chasebulge!(A::SymBandedPlusBulge{T}, Q::Matrix{T}) where T
w = zeros(T, size(A, 2))
v = zero(w)
Aw = zero(w)
wQ = zero(w)
chasebulge!(w, v, Aw, A, wQ, Q)
end