Numpy矩阵乘法U*B*UT导致非对称矩阵

pan*_*anc 2 python numpy matrix linear-algebra

在我的程序中,我需要以下矩阵乘法:

A = U * B * U^T
Run Code Online (Sandbox Code Playgroud)

其中BM * M对称矩阵,并且UN * M其列为正交的矩阵.所以我希望A它也是一个对称矩阵.

但是,Python并没有这么说.

import numpy as np
import pymc.gp.incomplete_chol as pyichol

np.random.seed(10)
# Create symmetric matrix B
b = np.matrix(np.random.randn(20).reshape((5,4)))
B = b * b.T
np.all(B== B.T)
Run Code Online (Sandbox Code Playgroud)

B确实是对称的:

In[37]: np.all(B== B.T)
Out[37]: True

# Create U
m = np.matrix(np.random.random(100).reshape(10,10))
M = m * m.T
# M
U, s, V = np.linalg.svd(M)
U = U[:, :5]
U.T * U

In[41]: U.T * U
Out[41]: 
matrix([[  1.00000000e+00,   0.00000000e+00,  -2.77555756e-17,
          -1.04083409e-17,  -1.38777878e-17],
        [  0.00000000e+00,   1.00000000e+00,  -5.13478149e-16,
          -7.11236625e-17,   1.11022302e-16],
        [ -2.77555756e-17,  -5.13478149e-16,   1.00000000e+00,
          -1.21430643e-16,  -2.77555756e-16],
        [ -1.04083409e-17,  -7.11236625e-17,  -1.21430643e-16,
           1.00000000e+00,  -3.53883589e-16],
        [  0.00000000e+00,   9.02056208e-17,  -2.63677968e-16,
          -3.22658567e-16,   1.00000000e+00]])
Run Code Online (Sandbox Code Playgroud)

因此U,10*5矩阵确实是正交的,除了数字舍入导致不完全相同.

# Construct A
A = U * B * U.T
np.all(A == A.T)

In[38]: np.all(A == A.T)
Out[38]: False
Run Code Online (Sandbox Code Playgroud)

A 不是对称矩阵.

此外,我检查np.all(U.T*U == (U.T*U).T)False.

这是我的A矩阵不对称的原因吗?换句话说,这是一个无法避免的数字问题吗?

在实践中,如何避免这种问题并获得对称矩阵A

我用这个技巧A = (A + A.T)/2强迫它是对称的.这是解决这个问题的好方法吗?

hpa*_*ulj 6

你观察到了 So U, a 10*5 matrix, is indeed orthonormal except numerical rounding causes not exactly identity.

同样的推理适用于A- 除了数字舍入外,它是对称的:

In [176]: A=np.dot(U,np.dot(B,U.T)) 

In [177]: np.allclose(A,A.T)
Out[177]: True

In [178]: A-A.T
Out[178]: 
array([[  0.00000000e+00,  -2.22044605e-16,   1.38777878e-16,
          5.55111512e-17,  -2.49800181e-16,   0.00000000e+00,
          0.00000000e+00,  -1.11022302e-16,  -1.11022302e-16,
          0.00000000e+00],
       ...
       [  0.00000000e+00,   0.00000000e+00,   1.11022302e-16,
          2.77555756e-17,  -1.11022302e-16,   4.44089210e-16,
         -2.22044605e-16,  -2.22044605e-16,   0.00000000e+00,
          0.00000000e+00]])
Run Code Online (Sandbox Code Playgroud)

np.allclose在比较float数组时使用.

我也喜欢ndarraynp.dotnp.matrix因为元素相乘元素是一样矩阵乘法一样普遍.

如果代码的其余部分依赖于Asymmtric,那么你的技巧可能是一个不错的选择.它的计算成本并不昂贵.

出于某种原因einsum避免了数字问题:

In [189]: A1=np.einsum('ij,jk,lk',U,B,U)

In [190]: A1-A1.T
Out[190]: 
array([[ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.],
       [ 0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.,  0.]])

In [193]: np.allclose(A,A1)
Out[193]: True
Run Code Online (Sandbox Code Playgroud)

  • 双"点"是两次产品的总和.`einsum`正在计算所有产品,然后对2个维度进行求和.没有中间总和导致舍入错误. (2认同)