作为我之前关于该主题的帖子的主题,我想对线性代数和相关的R函数背后的函数进行一些初步(尽管不完整)的探索。这应该是正在进行的工作。
QRuAe11uI−2uuTx
结果投影可以表示为
sign(xi=x1)×∥x∥⎡⎣⎢⎢⎢⎢⎢⎢⎢100⋮0⎤⎦⎥⎥⎥⎥⎥⎥⎥+⎡⎣⎢⎢⎢⎢⎢⎢⎢x1x2x3⋮xm⎤⎦⎥⎥⎥⎥⎥⎥⎥
向量表示我们要分解的矩阵中的列向量与对应于确定的子空间或“镜像”反射的向量之间的差。vxAyu
LAPACK所使用的方法通过将第一项存储在Householder反射器中而将它们变为,从而解放了它们。而不是使用将向量标准化为,只是将第一项转换为。然而,这些新的向量-称为仍可以用作方向向量。1vu∥u∥=11w
该方法的优点是,鉴于 在分解是上三角,我们实际上可以采取的优点中的元素下面对角线填充它们与这些反射器。幸运的是,这些向量中的前导项都等于,从而防止了矩阵“有争议的”对角线出现问题:知道它们全为,就不需要将其包括在内,并且可以将的对角线生成。RQR0Rw11R
函数中的“紧凑QR”矩阵qr()$qr
可以大致理解为矩阵和“修改”反射器的下部三角形“存储”矩阵的加法。R
Householder投影将仍然具有,但是我们不会使用(),而是使用向量,其中只有第一个条目被注释为,并且I−2uuTxu∥x∥=1w1
I−2uuTx=I−2w∥w∥wT∥w∥x=I−2wwT∥w∥2x(1)。
可以假设将这些反射器存储在对角线或下方(不包括第一个项,然后将其命名为day就可以了。但是,事情从未如此简单。相反,存储在对角线下方的是和Householderer变换中表示为(1)的系数的组合,因此将定义
为:wR1qr()$qr
wtau
τ=wTw2=∥w∥2,反射器可以表示为。这些“反射器”矢量是存储在下的所谓“紧凑 ”中的矢量。reflectors=w/τRQR
现在,我们与向量相距一个度,并且第一个项不再为,因此,由于我们坚持将“反射器”向量的第一个项排除在外,因此的输出将包括恢复它们的键。适合一切。那么我们是否在输出中看到值?好吧,那不是可以预料的。而是在(存储此键的位置)的输出中找到。w1qr()
qr()$qr
τqr()$qraux
ρ=∑reflectors22=wTwτ2/2
因此在下面用红色框起来,我们看到“反射器”(),不包括它们的第一项。w/τ
所有的代码都在这里,但是由于这个答案是关于编码和线性代数的交集的,因此我将粘贴输出以简化操作:
options(scipen=999)
set.seed(13)
(X = matrix(c(rnorm(16)), nrow=4, byrow=F))
[,1] [,2] [,3] [,4]
[1,] 0.5543269 1.1425261 -0.3653828 -1.3609845
[2,] -0.2802719 0.4155261 1.1051443 -1.8560272
[3,] 1.7751634 1.2295066 -1.0935940 -0.4398554
[4,] 0.1873201 0.2366797 0.4618709 -0.1939469
现在,我将函数编写House()
如下:
House = function(A){
Q = diag(nrow(A))
reflectors = matrix(0,nrow=nrow(A),ncol=ncol(A))
for(r in 1:(nrow(A) - 1)){
# We will apply Householder to progressively the columns in A, decreasing 1 element at a time.
x = A[r:nrow(A), r]
# We now get the vector v, starting with first entry = norm-2 of x[i] times 1
# The sign is to avoid computational issues
first = (sign(x[1]) * sqrt(sum(x^2))) + x[1]
# We get the rest of v, which is x unchanged, since e1 = [1, 0, 0, ..., 0]
# We go the the last column / row, hence the if statement:
v = if(length(x) > 1){c(first, x[2:length(x)])}else{v = c(first)}
# Now we make the first entry unitary:
w = v/first
# Tau will be used in the Householder transform, so here it goes:
t = as.numeric(t(w)%*%w) / 2
# And the "reflectors" are stored as in the R qr()$qr function:
reflectors[r: nrow(A), r] = w/t
# The Householder tranformation is:
I = diag(length(r:nrow(A)))
H.transf = I - 1/t * (w %*% t(w))
H_i = diag(nrow(A))
H_i[r:nrow(A),r:ncol(A)] = H.transf
# And we apply the Householder reflection - we left multiply the entire A or Q
A = H_i %*% A
Q = H_i %*% Q
}
DECOMPOSITION = list("Q"= t(Q), "R"= round(A,7),
"compact Q as in qr()$qr"=
((A*upper.tri(A,diag=T))+(reflectors*lower.tri(reflectors,diag=F))),
"reflectors" = reflectors,
"rho"=c(apply(reflectors[,1:(ncol(reflectors)- 1)], 2,
function(x) sum(x^2) / 2), A[nrow(A),ncol(A)]))
return(DECOMPOSITION)
}
让我们将输出与R内置函数进行比较。首先自制功能:
(H = House(X))
$Q
[,1] [,2] [,3] [,4]
[1,] -0.29329367 -0.73996967 0.5382474 0.2769719
[2,] 0.14829152 -0.65124800 -0.5656093 -0.4837063
[3,] -0.93923665 0.13835611 -0.1947321 -0.2465187
[4,] -0.09911084 -0.09580458 -0.5936794 0.7928072
$R
[,1] [,2] [,3] [,4]
[1,] -1.890006 -1.4517318 1.2524151 0.5562856
[2,] 0.000000 -0.9686105 -0.6449056 2.1735456
[3,] 0.000000 0.0000000 -0.8829916 0.5180361
[4,] 0.000000 0.0000000 0.0000000 0.4754876
$`compact Q as in qr()$qr`
[,1] [,2] [,3] [,4]
[1,] -1.89000649 -1.45173183 1.2524151 0.5562856
[2,] -0.14829152 -0.96861050 -0.6449056 2.1735456
[3,] 0.93923665 -0.67574886 -0.8829916 0.5180361
[4,] 0.09911084 0.03909742 0.6235799 0.4754876
$reflectors
[,1] [,2] [,3] [,4]
[1,] 1.29329367 0.00000000 0.0000000 0
[2,] -0.14829152 1.73609434 0.0000000 0
[3,] 0.93923665 -0.67574886 1.7817597 0
[4,] 0.09911084 0.03909742 0.6235799 0
$rho
[1] 1.2932937 1.7360943 1.7817597 0.4754876
R函数:
qr.Q(qr(X))
[,1] [,2] [,3] [,4]
[1,] -0.29329367 -0.73996967 0.5382474 0.2769719
[2,] 0.14829152 -0.65124800 -0.5656093 -0.4837063
[3,] -0.93923665 0.13835611 -0.1947321 -0.2465187
[4,] -0.09911084 -0.09580458 -0.5936794 0.7928072
qr.R(qr(X))
[,1] [,2] [,3] [,4]
[1,] -1.890006 -1.4517318 1.2524151 0.5562856
[2,] 0.000000 -0.9686105 -0.6449056 2.1735456
[3,] 0.000000 0.0000000 -0.8829916 0.5180361
[4,] 0.000000 0.0000000 0.0000000 0.4754876
$qr
[,1] [,2] [,3] [,4]
[1,] -1.89000649 -1.45173183 1.2524151 0.5562856
[2,] -0.14829152 -0.96861050 -0.6449056 2.1735456
[3,] 0.93923665 -0.67574886 -0.8829916 0.5180361
[4,] 0.09911084 0.03909742 0.6235799 0.4754876
$qraux
[1] 1.2932937 1.7360943 1.7817597 0.4754876
qr.qy()
与的手动计算qr.Q(qr(X))
相符之后,我查看了您的问题Q%*%z
。我真的很想知道我是否可以说些不同的答案来重复您的问题。我真的不想做得很糟糕...我已经读了很多您的文章,以对您有很多尊重...如果我找到了一种无需代码即可表达概念的方法,只是通过线性代数在概念上,我会回到它。不过,我很高兴您发现我对这个问题的探索是有价值的。祝你好运,托妮。