量子计算中常见哈密顿量总结¶
📋 目录¶
- 引言
- 自旋模型哈密顿量
- Ising 模型
- Heisenberg 模型
- XY 模型
- 相互作用模型哈密顿量
- Hubbard 模型
- Jaynes-Cummings 模型
- 量子化学哈密顿量
- 分子电子哈密顿量
- 哈密顿量对比表
- 在量子计算中的应用
- 参考文献
引言¶
量子计算中，哈密顿量是描述量子系统能量和演化的核心算符。选择合适的哈密顿量对于：
- 量子模拟：模拟真实物理系统
- VQE 算法：变分量子特征求解器
- 量子优化：组合优化问题
- 基准测试：评估量子硬件性能
都至关重要。本文总结了量子计算中最常用的六类哈密顿量模型。
自旋模型哈密顿量¶
自旋模型描述量子比特（自旋）之间的相互作用，是量子计算中最基础的哈密顿量类型。
1. Ising 模型¶
1.1 经典 Ising 模型¶
数学形式：
参数说明：
- J：耦合强度（J > 0 铁磁，J < 0 反铁磁）
- h：外磁场强度
- Zᵢ：第 i 个量子比特的 Pauli-Z 算符
- Σᵢⱼ：对最近邻自旋对求和
物理意义： - 描述**自旋玻璃**、磁性材料 - 每个 Zᵢ 本征值为 ±1（自旋向上/向下） - 经典模型，无量子相干性
应用场景： - 组合优化（最大割问题、旅行商问题） - 量子退火 - 神经网络（Hopfield 网络）
1.2 横场 Ising 模型 (TFIM) ⭐¶
数学形式：
参数说明：
- J：ZZ 耦合强度
- h：横场强度（沿 X 方向）
- Xᵢ：Pauli-X 算符
物理意义：
- **量子相变**模型：h/J 控制相变
- h = 0：经典铁磁相（所有自旋对齐）
- h → ∞：顺磁相（所有自旋沿 X 方向）
- h/J ≈ 1：临界点，出现纠缠
精确解（一维）：
量子计算优势： ✅ 可精确对角化（验证 VQE 结果） ✅ 参数可调（研究相变） ✅ 泡利项少（N 个 ZZ 项 + N 个 X 项） ✅ 拓扑简单（线性链）
在 VQE 中的应用：
# 横场 Ising 模型的 DeepQuantum 实现
from deepquantum import Observable
def build_tfim_hamiltonian(n_qubits, J=1.0, h=1.0):
"""H = -J Σ ZᵢZᵢ₊₁ - h Σ Xᵢ"""
observable_list = []
constant_term = 0.0
# ZZ 相互作用项
for i in range(n_qubits - 1):
obs = Observable(nqubit=n_qubits, wires=[i, i+1], basis='zz')
observable_list.append((-J, obs))
# 横场 X 项
for i in range(n_qubits):
obs = Observable(nqubit=n_qubits, wires=[i], basis='x')
observable_list.append((-h, obs))
return constant_term, observable_list
学习资源： - PennyLane 量子相变教程 - IBM Qiskit TFIM 教程 - qBraid VQE 示例
1.3 纵向场 Ising 模型¶
数学形式：
与经典 Ising 的区别： - 自旋是**量子比特**，允许叠加态 - 存在量子纠缠效应
应用： - 量子退火（D-Wave 系统） - 组合优化
2. Heisenberg 模型¶
2.1 各向同性 Heisenberg 模型¶
数学形式：
物理意义：
- 描述**量子磁体**中的自旋相互作用
- SU(2) 对称性：所有三个方向等效
- J > 0：铁磁相互作用
- J < 0：反铁磁相互作用
特点： - 量子自旋波 - 自旋激发谱 - 量子纠缠熵
2.2 XXZ 模型¶
数学形式：
参数说明：
- Δ：各向异性参数
- Δ = 1：各向同性 Heisenberg
- Δ = 0：XY 模型
- Δ → ∞：Ising 模型
相图：
- Δ > 1：Ising 相（反铁磁有序）
- -1 < Δ < 1：XY 相（无序）
- Δ < -1：铁磁相
在量子计算中的应用： - 量子态传输 - 量子电池 - 自旋链量子通信
学习资源： - Wikipedia: 量子 Heisenberg 模型 - Nature: 量子自旋晶体管
2.3 XYZ 模型¶
数学形式：
参数说明：
- Jₓ, Jᵧ, J_z：三个方向的不同耦合强度
- 完全各向异性情况
物理现象： - 拓扑相 - 量子相变 - 纠缠动力学
3. XY 模型¶
3.1 基本 XY 模型¶
数学形式：
与 Heisenberg 的关系：
- XXZ 模型的 Δ = 0 特例
- 无 Z-Z 相互作用
物理意义： - 描述**平面内**自旋相互作用 - 允许自旋在 XY 平面内旋转 - U(1) 对称性（绕 Z 轴旋转不变）
特点： - 量子相变（Berezinskii-Kosterlitz-Thouless 相变） - 拓扑序 - 玻色-爱因斯坦凝聚类比
3.2 长程 XY 模型¶
数学形式：
其中 Jᵢⱼ ∝ 1/|i - j|^{α}
应用： - 离子阱量子计算 - 长程纠缠研究 - 量子模拟
学习资源： - ArXiv: 离子阱长程 XY 模型 - Nature: 受挫 XY 模型中的量子关联
相互作用模型哈密顿量¶
这些模型描述更复杂的相互作用系统，包括电子-电子、光-物质相互作用等。
4. Hubbard 模型¶
4.1 Fermi-Hubbard 模型 ⭐¶
数学形式（二次量子化）：
参数说明：
- t：跳跃积分（hopping）
- U：同格点库仑排斥
- c†ᵢσ：创建算符（格点 i，自旋 σ）
- cⱼσ：湮灭算符
- nᵢσ = c†ᵢσ cᵢσ：数算符
- Σ⟨ᵢⱼ⟩：对最近邻格点求和
物理意义：
- 描述**强关联电子系统**
- 竞争效应：
- t：动能项（电子离域化）
- U：势能项（电子局域化）
- U/t 决定系统性质
相图：
- U ≪ t：金属相（弱关联）
- U ≫ t：Mott 绝缘体（强关联）
- U/t ~ 1：金属-绝缘体转变
重要现象： - 高温超导（铜氧化物） - Mott 绝缘体 - 量子磁性 - 条纹相
映射到量子比特： 使用 Jordan-Wigner 或 Bravyi-Kitaev 变换：
在量子计算中的应用：
# 简化的 2-site Hubbard 模型
# H = -t(c†₁σ c₂σ + h.c.) + U(n₁↑ n₁↓ + n₂↑ n₂↓)
def build_hubbard_2site(t=1.0, U=4.0):
"""
2-site Hubbard 模型（需要 4 个量子比特）
每个格点：↑↓ 两种自旋
"""
# 跳跃项（t）
# c†₁↑ c₂↑ + h.c. → 1/2(X₁X₂ + Y₁Y₂) ⊗ I₃ ⊗ I₄
# ...
# 相互作用项（U）
# n₁↑ n₁↓ = (I-Z₁)/2 ⊗ (I-Z₂)/2 ⊗ I₃ ⊗ I₄
# ...
return observable_list
学习资源： - ArXiv: 石墨烯六边形上的 Hubbard 模型 (2025) - Nature: 中性原子 Hubbard 量子模拟器 (2025) - IOP: 强关联凝聚态的量子模拟
4.2 Bose-Hubbard 模型¶
数学形式：
参数说明：
- b†ᵢ：玻色子创建算符
- μ：化学势
- nᵢ = b†ᵢ bᵢ：玻色子数算符
物理意义： - 描述**玻色子**在光晶格中的行为 - 超流-莫特绝缘体相变
相图：
- U/t ≪ 1：超流相（相干长程序）
- U/t ≫ 1：Mott 绝缘体（定域化）
- 量子相变在 U/t ~ 1
实验实现： - 超冷原子（Rb, Na）在光晶格中 - 量子气体显微镜
5. Jaynes-Cummings 模型¶
5.1 基本 Jaynes-Cummings 模型¶
数学形式：
参数说明：
- ωₐ：原子跃迁频率
- ω_c：腔场频率
- g：耦合强度
- σ⁺, σ⁻：原子升/降算符
- a†, a：光子创建/湮灭算符
物理意义： - 描述**二能级原子**与**单模量子化电磁场**的相互作用 - **腔量子电动力学（QED）**的基础模型 - 光-物质相互作用的最简模型
关键现象： - Rabi 振荡：原子-光子能量交换 - 真空 Rabi 分裂：强耦合下的能级劈裂 - 量子纠缠：原子-光子纠缠态
扩展形式（Tavis-Cummings 模型）：
在量子计算中的应用： - 量子比特实现（超导量子比特） - 量子门操作 - 量子态传输
学习资源： - Wikipedia: Jaynes-Cummings 模型 - UBC: Jaynes-Cummings 模型教程
5.2 反 Jaynes-Cummings 模型¶
数学形式：
与 JCM 的区别：
- 相互作用项为 σ⁺ a† 而非 σ⁺ a
- 不守恒总激发数
- 描述**非守恒系统**
量子化学哈密顿量¶
量子化学哈密顿量描述分子和原子中电子的运动，是 VQE 算法最重要的应用领域。
6. 分子电子哈密顿量¶
6.1 第一量子化形式¶
Born-Oppenheimer 近似下：
各项含义：
- Tᵢ = -½∇²ᵢ：电子动能
- Vᵢₙ = -Σₐ Zₐ/|rᵢ - Rₐ|：电子-核吸引势
- Vᵢⱼ = 1/|rᵢ - rⱼ|：电子-电子排斥势
单位： 原子单位（Hartree）
6.2 第二量子化形式 ⭐¶
数学形式：
参数说明：
- hₚq：单电子积分（动能 + 核吸引）
- ⟨pq||rs⟩：双电子积分（库仑排斥）
- a†ₚ, a_q：费米子创建/湮灭算符
- p, q, r, s：自旋轨道索引
物理意义： - 描述**多电子系统** - 自动满足**泡利不相容原理** - 便于处理**电子相关**
6.3 从分子哈密顿量到量子比特¶
步骤 1：选择基组 - STO-3G（最小基） - 6-31G（分裂价键基） - cc-pVDZ（相关一致基）
步骤 2：计算积分
hₚq = ∫ φ*ₚ(r) [-½∇² - Σₐ Zₐ/|r - Rₐ|] φ_q(r) dr
⟨pq||rs⟩ = ∫∫ φ*ₚ(r₁)φ*_q(r₂) (1/|r₁ - r₂|) φ_r(r₁)φ_s(r₂) dr₁ dr₂
步骤 3：Jordan-Wigner 变换
费米子算符 → 泡利算符：
步骤 4：泡利哈密顿量
示例：H₂ 分子（STO-3G）
# 4 个量子比特（2 个轨道 × 2 种自旋）
H = -1.0523732 I
+ 0.3979374 Z₀
+ 0.3979374 Z₁
- 0.3979374 Z₂
- 0.3979374 Z₃
- 0.1809312 Z₀ Z₁
+ 0.1809312 Z₀ Z₂
+ 0.1809312 Z₀ Z₃
+ ...
6.4 活性空间近似¶
问题： 完整哈密顿量需要太多量子比特
解决方案： 只考虑**活性轨道**
# 水分子 H₂O (10 电子)
完整：7 个轨道 → 14 个量子比特
活性空间 (4e, 4o)：4 个轨道 → 8 个量子比特
active_electrons = 4 # 2p 轨道的 4 个电子
active_orbitals = 4 # 2s, 2p_x, 2p_y, 2p_z
PennyLane 实现：
import pennylane as qml
from pennylane import qchem
symbols = ['O', 'H', 'H']
coordinates = np.array([
0.0, 0.0, 0.0,
0.757, 0.0, 0.587,
-0.757, 0.0, 0.587
])
H, n_qubits = qchem.molecular_hamiltonian(
symbols, coordinates,
active_electrons=4,
active_orbitals=4,
basis="sto-3g"
)
对称性简化（Tapering）： 利用 Z₂ 对称性减少量子比特数：
generators = qchem.symmetry_generators(H)
H_tapered = qchem.taper(H, generators, ...)
# 可以再减少 1-2 个量子比特
6.5 典型分子的哈密顿量复杂度¶
| 分子 | 电子数 | 轨道数（STO-3G） | 量子比特数 | 泡利项数 |
|---|---|---|---|---|
| H₂ | 2 | 2 | 4 | 15 |
| LiH | 4 | 6 | 12 | 243 |
| BeH₂ | 6 | 7 | 14 | 397 |
| H₂O | 10 | 7 | 14 | 699 |
| 活性空间 H₂O (4e, 4o) | 4 | 4 | 8 | ~100 |
关键挑战： - 测量次数：每个泡利项需要多次测量 - 梯度计算：Parameter shift rule 需要更多电路评估 - 噪声影响：真实硬件的误差
6.6 VQE 在量子化学中的应用¶
算法流程：
1. 准备 HF 参考态
2. 构建参数化 ansatz（UCCSD, hardware-efficient）
3. 计算期望值 ⟨ψ(θ)|H|ψ(θ)⟩
4. 经典优化器更新参数
5. 收敛到基态能量
常用 Ansatz： - UCCSD：酉耦合簇单双激发（化学精度） - 硬件高效 Ansatz：RY/CZ 层（NISQ 友好） - k-UpCCGSD： generalized 的简化版
化学精度：
VQE 目标是达到这个精度。学习资源： - PennyLane 量子化学教程 - Nature: 光子量子处理器上的 VQE (2014, 原始论文) - Wikipedia: 变分量子特征求解器 - UFRGS: 二次量子化电子哈密顿量
哈密顿量对比表¶
| 哈密顿量 | 维度 | 可调参数 | 泡利项数 | 应用领域 | 难度 |
|---|---|---|---|---|---|
| TFIM | 1D 链 | J, h | 2N | 相变、教学 | ⭐ |
| Heisenberg | 1D/2D 格点 | J, Δ | 3N | 磁性材料 | ⭐⭐ |
| XY | 1D/2D 格点 | J | 2N | 拓扑相 | ⭐⭐ |
| Fermi-Hubbard | 1D/2D 格点 | t, U | O(N⁴) | 强关联系统 | ⭐⭐⭐⭐ |
| Bose-Hubbard | 1D/2D 格点 | t, U, μ | O(N³) | 超冷原子 | ⭐⭐⭐ |
| Jaynes-Cummings | 单原子 | ωₐ, ω_c, g | O(N) | 腔 QED | ⭐⭐⭐ |
| 分子哈密顿量 | 3D 分子 | 几何结构 | O(N⁴) | 量子化学 | ⭐⭐⭐⭐⭐ |
说明：
- N：系统规模（量子比特数/格点数）
- 难度评估基于：
- 泡利项数量
- 测量复杂度
- 优化难度
在量子计算中的应用¶
1. VQE 算法¶
适用哈密顿量： ✅ 横场 Ising 模型（教学、验证） ✅ 分子哈密顿量（实际应用） ✅ Hubbard 模型（凝聚态物理） ⚠️ Heisenberg 模型（需要更多优化）
选择标准： - 可精确对角化（验证）：TFIM - 物理意义明确：分子哈密顿量 - 中等复杂度：Fermi-Hubbard (小规模)
2. 量子模拟¶
数字量子模拟：
目标哈密顿量： - Hubbard 模型（强关联） - Heisenberg 模型（自旋动力学） - Jaynes-Cummings（光-物质相互作用）
3. 量子优化¶
QAOA 算法：
适用： - 最大割问题（Ising 形式） - 组合优化 - 调度问题
4. 基准测试¶
HamLib 哈密顿量库（2024）： 包含： - Heisenberg 模型（2-1000 量子比特） - Hubbard 模型 - 分子电子结构 - 基准问题实例
用途： - 评估量子硬件性能 - 比较不同算法 - 量子优势验证
学习资源： - HamLib: A Library of Hamiltonians
参考文献¶
综述文献¶
- HamLib: A Library of Hamiltonians for Benchmarking (2024)
- Quantum Journal
-
Quantum Computing with and for Many-Body Physics (2023)
- Springer Link
自旋模型¶
相互作用模型¶
- Fermi-Hubbard Model
- 石墨烯六边形模拟 (2025)
- Nature: 中性原子量子模拟器 (2025)
-
Jaynes-Cummings Model
- Wikipedia
- UBC 教程
量子化学¶
- Variational Quantum Eigensolver
- 原始论文: Nature 2014
-
Molecular Hamiltonians
- PennyLane 教程
- UFRGS: 二次量子化
- Born-Oppenheimer 近似
量子算法¶
文档版本: 1.0 创建日期: 2025年 最后更新: 2025年 作者: 基于最新文献和代码实践总结
许可: MIT