2. 量子力学基础回顾

在构建分子哈密顿量之前，需要先把量子力学的形式语言重新梳理一遍。本节的目标不是重复本科量子力学，而是把后续真正会用到的五件工具——波函数、算符、薛定谔方程、狄拉克符号、二次量子化——串成一条从“连续坐标描述”到“离散占据数描述”的演化链，为哈密顿量的矩阵表示和量子比特映射奠定形式化基础。

一、波函数：量子态的坐标表示

单粒子量子态可以用波函数 ψ(r, t) 描述，其模方 |ψ(r, t)|² 给出在 r 处找到粒子的概率密度。多电子体系则写成 ψ(r₁, r₂, …, r_N, t)，并且必须满足反对称性：交换任意两个电子的全部坐标（空间与自旋），波函数整体变号，即

ψ(…, r_i, …, r_j, …) = −ψ(…, r_j, …, r_i, …)

这条反对称性正是泡利不相容原理的来源，也是后续二次量子化中费米子算符反对易关系的物理根源。在哈密顿量构建中，我们通常不再直接操作 ψ，而是把它展开到一组已知基函数上，例如原子轨道或分子轨道 {φ_p}：

ψ(r) = Σ_p c_p φ_p(r)

系数 c_p 就是“轨道 p 被占据的振幅”。这一步把连续函数问题转化为有限维向量问题，是走向矩阵表示的第一步。

二、算符：可观测量与作用规则

量子力学中每个可观测物理量对应一个厄米算符。位置算符 r̂ 就是乘以 r，动量算符 p̂ = −iℏ∇。哈密顿量算符 Ĥ 是总能量算符，对分子体系通常写成

Ĥ = −Σ_i (ℏ²/2m_e) ∇_i² − Σ_i Σ_A (Z_A e²)/(4πε₀ |r_i − R_A|)
    + Σ_{i<j} e²/(4πε₀ |r_i − r_j|) + Σ_{A<B} Z_A Z_B e²/(4πε₀ |R_A − R_B|)

四项依次是电子动能、电子—核吸引、电子—电子排斥、核—核排斥。注意这里采用原子单位制（ℏ = m_e = e = 4πε₀ = 1）时表达式会大幅简化，后续课程默认使用原子单位。算符作用在波函数上得到新的态，而算符的本征值就是测量可能得到的值。哈密顿量的本征值即体系能级，这正是我们最终要求解的对象。

三、薛定谔方程：动力学与定态

含时薛定谔方程 iℏ ∂ψ/∂t = Ĥψ 描述态随时间的演化。构建哈密顿量时更关心定态方程：

Ĥ ψ_n = E_n ψ_n

求解它等价于把 Ĥ 在选定基组下写成矩阵 H，然后对角化 H c = E c。对于 N 个电子、M 个轨道的体系，如果直接使用 Slater 行列式作为基，矩阵维度会随电子数指数增长，这正是经典计算机难以精确模拟多电子体系的根本原因，也是引入二次量子化和量子映射的动机。

四、狄拉克符号：与基组无关的抽象语言

狄拉克符号把态写成右矢 |ψ⟩，其对偶写成左矢 ⟨ψ|，内积为 ⟨φ|ψ⟩。算符 Â 作用在右矢上得 Â|ψ⟩，矩阵元写作 ⟨φ|Â|ψ⟩。正交归一基满足 ⟨i|j⟩ = δ_ij，完备性关系为 Σ_i |i⟩⟨i| = 1。用狄拉克符号，任意态可展开为 |ψ⟩ = Σ_i c_i |i⟩，其中 c_i = ⟨i|ψ⟩。这套语言的最大好处是：它不依赖具体坐标或基函数选择，同一形式可以同时描述单粒子轨道、多体态和场算符，为二次量子化提供了统一的书写框架。

五、二次量子化：从波函数到占据数

二次量子化不再追踪每个电子的坐标，而是引入产生算符 a_p† 和湮灭算符 a_p，它们分别在轨道 p 上增加或减少一个电子。对费米子，它们满足反对易关系：

{a_p, a_q†} = δ_pq,  {a_p, a_q} = 0,  {a_p†, a_q†} = 0

反对易关系自动保证了波函数的反对称性，无需再手动构造 Slater 行列式。一个 N 电子态写成 |n₁ n₂ … n_M⟩，其中 n_p ∈ {0, 1} 表示轨道 p 是否被占据。哈密顿量在二次量子化形式下写成

Ĥ = Σ_pq h_pq a_p† a_q + ½ Σ_pqrs h_pqrs a_p† a_q† a_r a_s

其中 h_pq 是单电子积分，h_pqrs 是双电子积分。第一项描述电子在轨道间的跃迁，第二项描述电子—电子相互作用。这个形式把复杂的微分算符问题转化为代数算符问题，是量子化学和量子计算中哈密顿量构建的标准起点。

六、从形式化到哈密顿量构建的衔接

把上述五步串起来看：波函数给出态的连续描述，算符给出可观测量的作用规则，薛定谔方程给出求解目标，狄拉克符号提供与基组无关的抽象语言，二次量子化则把多体问题转化为产生/湮灭算符的代数问题。后续构建分子哈密顿量时，我们实际执行的是：选定基组 → 计算单电子积分 h_pq 和双电子积分 h_pqrs → 写出二次量子化形式的 Ĥ → 通过 Jordan-Wigner 或 Bravyi-Kitaev 等映射把 a_p†、a_p 翻译成泡利算符串 → 得到量子计算机可执行的哈密顿量。本节的形式化基础，正是这条流水线每一步合法性的依据。