Python 中的矩阵求幂

我正在尝试用 Python 对复杂矩阵求幂，但遇到了一些麻烦。我正在使用scipy.linalg.expm函数，并且当我尝试以下代码时出现相当奇怪的错误消息：

import numpy as np
from scipy import linalg

hamiltonian = np.mat('[1,0,0,0;0,-1,0,0;0,0,-1,0;0,0,0,1]')

# This works
t_list = np.linspace(0,1,10)
unitary = [linalg.expm(-(1j)*t*hamiltonian) for t in t_list]

# This doesn't
t_list = np.linspace(0,10,100)
unitary = [linalg.expm(-(1j)*t*hamiltonian) for t in t_list]

运行第二个实验时的错误是：

This works!
Traceback (most recent call last):
  File "matrix_exp.py", line 11, in <module>
    unitary_t = [linalg.expm(-1*t*(1j)*hamiltonian) for t in t_list]
  File "/usr/lib/python2.7/dist-packages/scipy/linalg/matfuncs.py",     line 105, in expm
    return scipy.sparse.linalg.expm(A)
  File "/usr/lib/python2.7/dist- packages/scipy/sparse/linalg/matfuncs.py", line 344, in expm
    X = _fragment_2_1(X, A, s)
  File "/usr/lib/python2.7/dist-  packages/scipy/sparse/linalg/matfuncs.py", line 462, in _fragment_2_1
    X[k, k] = exp_diag[k]
TypeError: only length-1 arrays can be converted to Python scalars

这看起来真的很奇怪，因为我改变的只是范围t我正在使用。是因为哈密顿量是对角的吗？一般来说，哈密顿量不会，但我也希望它适用于对角线。我真的不知道其中的机制expm，因此任何帮助将不胜感激。

这太有趣了。我可以说的一件事是，这个问题是特定于np.matrix子类。例如，以下工作正常：

h = np.array(hamiltonian)
unitary = [linalg.expm(-(1j)*t*h) for t in t_list]

更深入地研究回溯，异常是在_fragment_2_1 in scipy.sparse.linalg.matfuncs.py， 具体来说这些行 https://github.com/scipy/scipy/blob/81c096001974f0b5efe29ec83b54f725cc681540/scipy/sparse/linalg/matfuncs.py#L748-L755:

n = X.shape[0]
diag_T = T.diagonal().copy()

# Replace diag(X) by exp(2^-s diag(T)).
scale = 2 ** -s
exp_diag = np.exp(scale * diag_T)
for k in range(n):
    X[k, k] = exp_diag[k]

错误信息

    X[k, k] = exp_diag[k]
TypeError: only length-1 arrays can be converted to Python scalars

向我建议exp_diag[k]应该是一个标量，但是返回一个向量（并且你不能将向量分配给X[k, k]，这是一个标量）。

设置断点并检查这些变量的形状证实了这一点：

ipdb> l
    751     # Replace diag(X) by exp(2^-s diag(T)).
    752     scale = 2 ** -s
    753     exp_diag = np.exp(scale * diag_T)
    754     for k in range(n):
    755         import ipdb; ipdb.set_trace()  # breakpoint e86ebbd4 //
--> 756         X[k, k] = exp_diag[k]
    757 
    758     for i in range(s-1, -1, -1):
    759         X = X.dot(X)
    760 
    761         # Replace diag(X) by exp(2^-i diag(T)).

ipdb> exp_diag.shape
(1, 4)
ipdb> exp_diag[k].shape
(1, 4)
ipdb> X[k, k].shape
()

根本问题是exp_diag假设为一维向量或列向量，但对角线np.matrix对象是行向量。这突出了一个更普遍的观点：np.matrix通常没有得到很好的支持np.ndarray，所以大多数情况下最好使用后者。

一种可能的解决方案是使用np.ravel()压扁diag_T转化为一维np.ndarray:

diag_T = np.ravel(T.diagonal().copy())

这似乎解决了您遇到的问题，尽管可能还有其他相关问题np.matrix我还没有发现。

我已打开拉取请求here https://github.com/scipy/scipy/pull/5867.