量子力学中的Furstenberg定理
Furstenberg定理是遍历理论与动力系统理论中的重要成果,在量子力学中常用于研究淬火无序系统(如无序晶格)、量子扩散的谱性质以及多体局域化等问题。它关联了随机矩阵乘积的渐近行为与系统的谱特性,为理解量子输运和态的空间分布提供了数学框架。以下从基础概念开始,逐步展开其内容与应用。
1. 背景:随机算符与量子系统
在量子力学中,无序系统(如含有随机势的薛定谔方程)的哈密顿量可写为:
\[H = H_0 + V_\omega \]
其中 \(V_\omega\) 是随机势(例如安德森模型中的随机在位能),其系数随空间位置随机变化。此时系统的波函数演化与能谱性质需通过分析一族依赖于随机参数 \(\omega\) 的算符来研究。
这类问题的常见方法是引入转移矩阵,将薛定谔方程改写为线性递推关系。例如在一维紧束缚模型中,波函数 \(\psi_n\) 满足:
\[\psi_{n+1} + \psi_{n-1} + v_n(\omega) \psi_n = E \psi_n \]
其中 \(v_n\) 是随机变量。该式可化为二维线性系统:
\[\begin{pmatrix} \psi_{n+1} \\ \psi_n \end{pmatrix} = T_n(E,\omega) \begin{pmatrix} \psi_n \\ \psi_{n-1} \end{pmatrix} \]
这里 \(T_n(E,\omega)\) 是依赖于能量 \(E\) 和随机位形的 \(2\times 2\) 矩阵,称为转移矩阵。
2. 核心对象:随机矩阵乘积
考虑一维无序系统,沿链从位置 \(1\) 到 \(N\) 的转移矩阵乘积为:
\[M_N(E,\omega) = T_N(E,\omega) T_{N-1}(E,\omega) \cdots T_1(E,\omega) \]
由于 \(v_n\) 随机,\(\{T_n\}\) 是独立同分布的随机矩阵序列,\(M_N\) 是随机矩阵乘积。
Furstenberg 研究此类乘积的渐近性质:当 \(N\to\infty\) 时,矩阵乘积的范数以指数增长,其指数称为最大李雅普诺夫指数:
\[\gamma(E) = \lim_{N\to\infty} \frac{1}{N} \ln \|M_N(E,\omega)\| \quad \text{(几乎必然存在)} \]
这个指数依赖于能量 \(E\),并反映了波函数的空间衰减行为(若 \(\gamma(E)>0\),则波函数指数局域化)。
3. Furstenberg 定理的表述
定理包含以下核心结论:
- 存在性:若随机矩阵序列满足一定条件(如独立同分布、非退化),则极限 \(\gamma(E)\) 几乎必然存在且与 \(\omega\) 无关。
- 正性:在一般条件下(如矩阵集合不可约、强不可约),有 \(\gamma(E) > 0\)。
- 关系:\(\gamma(E)\) 与系统的积分态密度 \(N(E)\) 通过 Herbert-Jones-Thouless 公式联系:
\[ \gamma(E) = \int \ln|E-E'| \, dN(E') \]
这揭示了谱分布与局化长度倒数之间的深刻联系。
4. 在量子力学中的意义
- 安德森局域化:在一维和二维无序系统中,Furstenberg 定理结合转移矩阵分析可证明对任意弱无序,几乎所有能量本征态都是指数局域化的(\(\gamma(E)>0\))。
- 谱类型:李雅普诺夫指数正性与算符的纯点谱有密切关系,这为研究随机薛定谔算子的谱提供了动力系统方法。
- 推广至高维:高维问题中,Furstenberg 定理的思想可应用于沿某一方向的矩阵乘积,结合各向异性分析。
5. 技术要点与条件
- 定理要求转移矩阵集合满足强不可约性与非紧性,避免乘积退化到可交换情形(此时 \(\gamma(E)=0\) 可能发生)。
- 在量子力学中,通常转移矩阵属于 \(\mathrm{SL}(2,\mathbb{R})\),其李代数结构保证了正李雅普诺夫指数的出现。
- 证明的核心是遍历理论中的“子加性遍历定理”与矩阵在投影空间上的随机作用。
6. 应用举例:一维安德森模型
对于一维紧束缚模型 \(H = \sum_n |n\rangle\langle n+1| + \mathrm{h.c.} + v_n |n\rangle\langle n|\),其中 \(v_n\) 独立同分布,Furstenberg 定理结合 Kotani 理论表明:
- 对几乎所有能量,\(\gamma(E) > 0\)。
- 谱为纯点谱,所有本征态指数局域化。
- 该结论可推广至一类拟周期势(如几乎马丢方程)。
7. 与其它理论的联系
- Oseledets 乘性遍历定理:Furstenberg 定理是前者的具体化,给出了李雅普诺夫指数的正性判据。
- Kotani 理论:将李雅普诺夫指数与谱的绝对连续性联系,当 \(\gamma(E)=0\) 在某些能量区间成立时,该区间对应绝对连续谱。
- 多体局域化:随机矩阵乘积方法被推广到处理多体希尔伯特空间中的态扩散问题。
通过以上步骤,可以看到 Furstenberg 定理如何从随机矩阵乘积的简单概念出发,最终成为分析量子无序系统谱与态的核心工具之一。