共同本征态

在量子力学这个反直觉的领域里，像位置和动量这样的粒子属性并非总是明确定义的。虽然我们可以通过测量单个属性来获得一个确定的值，将粒子“坍缩”到一个称为本征态的确定性状态，但一个根本性的问题也随之产生：一个粒子能否同时对多个属性处于确定性状态？这个问题探究了可被同时知晓事物的极限，并引入了“共同本征态”的概念。能否同时拥有两个可观测量的确定值，这并非我们测量仪器的局限，而是宇宙本身一条深刻的结构性规则。

本文将探讨这一基本原理及其深远的影响。在接下来的章节中，您将对支配量子确定性的规则有一个全面的理解。第一章“原理与机制”将深入探讨这个问题的数学核心，引入对易子作为检验两个可观测量是否相容的决定性标准。第二章“应用与跨学科联系”将探讨这一基本原理如何被用于标记和理解原子的状态，解释晶体中电子的行为，甚至用于设计未来量子计算所需的稳健而复杂的状态。

想象一下，你是一位在亚原子世界进行调查的侦探。你的嫌疑对象是粒子，而线索是它们的属性：位置、动量、能量、自旋。你的目标是在某个瞬间了解关于嫌疑对象的一切——一份完整的档案。但作为这个世界的规则手册，量子力学却很奇特。它告诉我们，某些信息是相互排斥的。你可以知道一个粒子的精确位置，或者你可以知道它的精确动量，但你不能两者都知道。这是为什么呢？是什么深层原理支配着我们可以和不可以同时知道什么？这个问题将我们带到量子理论的核心，带到算符、对易子和​​共同本征态​​概念之间美妙的相互作用之中。

在我们的日常世界中，一个属性拥有一个确定的值。一辆车正以每小时60英里的速度行驶。一个球在某个特定的位置。在量子世界中，事情要模糊一些。一个粒子的状态，由一个波函数或态矢量$|\psi\rangle$描述，通常是多种可能性的混合。当你测量一个属性，比如说它的能量时，你得到的结果是几个可能值中的一个，而粒子的状态会“坍缩”到与那个值相对应的状态。

然而，存在一些特殊的状态——非常特殊的状态。对于任何给定的可观测量，比如能量，都存在一些状态，在这些状态下，属性在被测量之前就已经具有一个确定的值。如果一个粒子处于这些状态之一，每次你测量该可观测量，你都会得到完全相同的答案，不确定度为零。我们称这样的状态为该可观测量算符的​​本征态​​，而我们测得的确定值被称为​​本征值​​。所以，能量的本征态是能量确定的状态。动量的本征态是动量确定的状态。它们是对于某一特定可观测量的绝对确定状态。

这很自然地引出了我们的核心问题：一个粒子能否同时对两个不同的可观测量处于确定性状态？一个状态能否同时是，比如说，能量和动量的本征态？

让我们用数学玩个小游戏。假设我们有一个状态，我们称之为$|\psi\rangle$，它确实是两个不同算符$\hat{A}$和$\hat{B}$的本征态。这意味着：

$\hat{A}|\psi\rangle = a|\psi\rangle$ $\hat{B}|\psi\rangle = b|\psi\rangle$

其中$a$和$b$是我们测量时会得到的确定数值（本征值）。现在，让我们看看当我们把组合算符$\hat{A}\hat{B}$作用于我们的状态时会发生什么。这是一个两步过程：先作用$\hat{B}$，再作用$\hat{A}$。

$\hat{A}\hat{B}|\psi\rangle = \hat{A}(b|\psi\rangle) = b(\hat{A}|\psi\rangle) = b(a|\psi\rangle) = ab|\psi\rangle$

很简单。那么反过来，$\hat{B}\hat{A}$呢？

$\hat{B}\hat{A}|\psi\rangle = \hat{B}(a|\psi\rangle) = a(\hat{B}|\psi\rangle) = a(b|\psi\rangle) = ab|\psi\rangle$

看！对于这个特殊的状态，操作的顺序无关紧要。$\hat{A}\hat{B}|\psi\rangle$和$\hat{B}\hat{A}|\psi\rangle$是相同的。这意味着它们的差必须为零。物理学家给这个差一个特殊的名字：​​对易子​​，用方括号表示：

$[\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A}$

对于我们的共同本征态$|\psi\rangle$，我们刚刚证明了一个至关重要的事实：

$[\hat{A}, \hat{B}]|\psi\rangle = (\hat{A}\hat{B} - \hat{B}\hat{A})|\psi\rangle = ab|\psi\rangle - ba|\psi\rangle = 0$

这就是我们的试金石。如果一个状态对于两个可观测量都有确定的值，那么它们的算符的对易子作用于该状态的结果必须为零。

上述结果意义深远。它表明，操作的顺序与共享确定性的可能性之间存在着深刻的联系。现在让我们提升这个想法。如果我们希望能够用一组同时对$\hat{A}$和$\hat{B}$都具有确定值的基态来描述我们系统的任何状态，该怎么办？这不仅需要一个共同本征态，而是需要一个跨越整个可能性空间的完备集。

这个更宏大的条件成立的充要条件是，对易子不仅对一个状态为零，而是对所有状态都为零。换句话说，对易子本身必须是零算符：

$[\hat{A}, \hat{B}] = 0$

当这个条件成立时，我们说这两个算符​​对易​​。这个简单的代数陈述是量子力学中最强大的原理之一。它是两个可观测量之间存在共享实在的条件。如果两个算符对易，就存在一个完备的基态集，这些基态同时是这两个算符的本征态。这样的可观测量被称为​​相容可观测量​​。你可以先测量一个，再测量另一个，第二个测量的结果不会被第一个测量所干扰。得到结果$a$和$b$的联合概率与你的测量顺序无关。

如果$\hat{A}$和$\hat{B}$对易，这意味着我们可以同时用两个量子数来标记我们的量子态，每个可观测量对应一个。测量$\hat{A}$有助于定义状态，而测量$\hat{B}$可以进一步精炼我们的知识，而不会破坏我们从$\hat{A}$中获得的信息。这正是我们如何分类原子、分子和固体中状态的根本基础。

那么，如果我们有两个对易的算符，我们如何实际地构建这个共享确定性的基呢？这个过程是一个绝佳的例子，展示了如何用一个工具解决问题，然后在那个工具过于粗糙的地方，用另一个工具进行更精细的切割。

1. ​​第一步：对角化一个算符。​​ 我们首先找到一个算符（比如$\hat{A}$）的所有本征态。这个过程将我们整个状态空间（希尔伯特空间）划分为一组独立的、正交的“箱子”，称为​​本征空间​​。每个箱子包含了所有共享相同$\hat{A}$本征值的状态。

2. ​​简单情况：无简并。​​ 对于任何只包含单一类型状态（一维本征空间）的箱子，任务已经完成了！因为算符对易，$\hat{B}$必须“尊重”这个箱子。用$\hat{B}$作用于这个箱子里的状态，必须产生同一个箱子里的另一个状态。由于那里只有一种状态，新状态必定只是原始状态的一个倍数。这意味着该状态也自动是$\hat{B}$的本征态。

3. ​​有趣情况：简并。​​ 现在我们来看一个对应于$\hat{A}$的​​简并本征值​​的箱子——这个箱子里有空间容纳多个不同的、但共享相同值$a$的状态。在这里，我们的标签“$a$”是模糊的。如果你在这个箱子里有两个状态$|\psi_1\rangle$和$|\psi_2\rangle$，任何像$c_1|\psi_1\rangle + c_2|\psi_2\rangle$的组合也都在这个箱子里。算符$\hat{A}$无法区分它们。但是$\hat{B}$可以！ 因为它们对易，$\hat{B}$也尊重这个简并子空间。它就像一把只在这个特定房间里才能使用的钥匙。虽然这个箱子里的一个任意状态不一定是$\hat{B}$的本征态，但我们现在可以仅在这个子空间内进行搜索，找到一组新的基态，而这些基态是$\hat{B}$的本征态。由于这些新状态完全是由本征值$a$的箱子内的状态构建的，它们仍然是$\hat{A}$的本征态。

我们用$\hat{B}$来破除$\hat{A}$的简并，并提供了第二个、更精细的标签。这正是为什么氢原子的状态要用量子数$(n, l, m_l)$来标记。能量主要取决于$n$。但对于一个给定的$n$，存在着具有不同总角动量$l$和不同角动量z分量$m_l$的状态。这是可能的，因为能量、总角动量平方($\hat{L}^2$)和角动量的一个分量（例如$\hat{L}_z$）的算符彼此都对易。它们构成了一个​​完备对易可观测量集​​（CSCO）。

当算符不对易时会发生什么？这正是量子力学揭示其最著名和最反直觉特征的地方。如果$[\hat{A}, \hat{B}] \neq 0$，那么就不存在一个完备的共同本征态基。这些可观测量是​​不相容的​​。一个对某个可观测量完全确定的状态，必然是另一个可观测量不确定的状态。这不是我们仪器的缺陷，而是实在的根本属性。

这种不相容的程度由著名的​​海森堡不确定性原理​​来量化，其由Robertson推导出的普遍形式为：

$(\Delta A)(\Delta B) \ge \frac{1}{2} |\langle[\hat{A}, \hat{B}]\rangle|$

其中$(\Delta A)$是可观测量$A$的不确定度。如果对易子不为零，那么不确定度的乘积就有一个不为零的下界。你可以让一个不确定度变小，但代价是让另一个变大。

经典的冲突：位置与动量

最著名的不相容可观测量对是位置($\hat{x}$)和动量($\hat{p}$)。它们的对易子不为零，而是一个自然界的基本常数：

$[\hat{x}, \hat{p}] = i\hbar$

其中$\hbar$是约化普朗克常数。因为这个值不为零，所以从根本上不可能创造一个同时是位置和动量本征态的状态。如果存在这样的状态，我们已经看到，对易子作用于它必须得到零。但这里的规则说结果必须是$i\hbar$乘以该状态本身——这是一个明显的矛盾。时空的结构，正如量子力学所编码的那样，禁止同时、完美地知道“在哪里”和“跑多快”。

有一个优美而简单的证明，表明这种关系只能存在于一个拥有无限可能状态（无限维希尔伯特空间）的世界中。在任何有限维世界里，任何对易矩阵的“迹”（对角元素之和）都必须为零。但$i\hbar$乘以单位矩阵的迹是$i\hbar N$（其中$N$是状态数），这不为零。像位置和动量这样的可观测量的存在，迫使实在必须是无限复杂的。

自然的强制选择：角动量的故事

另一个关键例子来自角动量。沿x、y和z轴的角动量分量算符不对易。它们的关系呈现出一种美丽的循环：

$[\hat{L}_x, \hat{L}_y] = i\hbar \hat{L}_z$ （其他两对则为循环置换）

这意味着你不能同时确定地知道一个电子角动量的多个分量（除非总角动量为零）。如果你将一个粒子制备在$\hat{L}_z$的本征态中，使其围绕z轴的“自旋”被完全定义，那么它的状态将是测量$\hat{L}_x$时不同可能结果的叠加。自然迫使我们选择一个轴。这就是为什么我们可以用总角动量量子数$l$（来自算符$\hat{L}^2$）和z分量$m_l$（来自$\hat{L}_z$）来标记一个状态，但不能同时用$m_l$和$m_x$来标记。

对于像电子这样的自旋1/2粒子，这种不相容性被一个非常简洁的公式所捕捉。三个自旋分量的方差（不确定度的平方）之和是一个固定的常数：$\Delta S_x^2 + \Delta S_y^2 + \Delta S_z^2 = \text{常数}$。这就像一种“不确定性守恒”。如果你将一个分量的不确定性压缩到零，不确定性就必须在另外两个分量上冒出来。

为了结束我们的旅程，让我们触及最后一点微妙之处。我们已经建立了一个强有力的联系：对易算符意味着存在一个完备的共同本征态基，而非对易算符则没有。但是，非对易性是否甚至禁止单个共享的本征态？不一定。

考虑动量算符$\hat{P}$和宇称算符$\hat{\Pi}$（它翻转坐标的符号，$\hat{\Pi}\psi(x) = \psi(-x)$）。这两个算符不对易。然而，动量为零的特殊状态，$\psi(x) = \text{常数}$，是两者的一个共同本征态。它的动量为$p=0$，并且它是一个偶函数，因此其宇称本征值为$+1$。同样，对于角动量分量，总角动量为零（$l=0$）的状态是$\hat{L}_x$、$\hat{L}_y$和$\hat{L}_z$的本征态，其本征值都为零。

这些是例外情况——在充满不相容性的图景中，一些共享确定性的孤立点。关键的区别在于缺乏一个完备的基。虽然一个零动量的粒子可以有确定的宇称，但一个非零动量的粒子却不能。单个共享状态的存在，并不允许我们基于这两个可观测量来建立一个对世界的全面描述。为此，为了让两个实在完全相容，它们的算符必须对易。这个简单、优雅的代数规则，是我们这个奇特而美丽的量子宇宙中，何为可知、何为不可同时知晓的守门人。

在我们之前的讨论中，我们揭示了量子世界一个非凡的特征：如果两个可观测量对应的算符对易，那么一个状态可以同时对两者拥有确定的值。这听起来可能像是量子理论抽象机器中的一个技术细节，但事实远非如此。这个单一的原理是解开我们对几乎所有量子系统理解的万能钥匙，从构成我们身体的原子，到我们电子产品中的晶体固体，再到我们最先进计算机中的量子比特。它为我们提供了一个对实在本身的“标记系统”，而在这些标记的故事中，我们发现了跨越不同科学领域的惊人统一性。

我们如何组织这个世界？我们赋予属性。一本书有书名、作者和在书架上的位置。一个量子态同样也可以通过其属性——可观测量的本征值——来识别。但有一个问题：你只有在相应的测量互不干扰的情况下，才能分配一套完整的、明确的标签。也就是说，只有当算符对易时。

考虑原子中的一个电子。它由一个哈密顿算符$\hat{H}$支配，该算符决定了它的能量。在一个孤立的、漂浮在真空中的原子里，没有优选的方向。如果我们旋转整个系统，物理性质是相同的。这种“旋转对称性”意味着哈密顿算符必须与角动量算符（例如，其沿z轴的分量$\hat{L}_z$）对易。因为$[\hat{H}, \hat{L}_z] = 0$，能量本征态也可以被选择为角动量的本征态。这使我们能够用一组能量和角动量的量子数来标记原子的状态。这正是为什么原子轨道不仅由其能级（$n$）标记，还由其角动量（$l$）及其投影（$m_l$）标记。这套对易的可观测量为组织复杂的电子态动物园提供了一个完美的“归档系统”。

在具有许多电子的更复杂原子中，这个思想得到了优美的升华。当我们考虑电子的自旋与其轨道运动之间的相互作用（自旋-轨道耦合）时，单个的轨道角动量$\mathbf{L}$和自旋角动量$\mathbf{S}$可能不再守恒。但在一个孤立的原子中，整个空间的旋转对称性仍然存在。因此，哈密顿算符仍然必须与总角动量算符$\mathbf{J} = \mathbf{L} + \mathbf{S}$对易。

一个深刻的结论随之而来：一个状态的能量可以依赖于总角动量的大小（量子数$j$），但不能依赖于其在空间中的取向（磁量子数$m_j$）。为什么？因为能够改变$m_j$的升降算符$J_\pm$也与哈密顿算符对易。它们可以带领我们从一个取向走到另一个，而能量完全不变。这种基本对称性决定了每个具有总角动量$j$的能级都必须是$(2j+1)$度简并的。这不是偶然的；这是宇宙在这个层面上没有“优选”方向这一事实的直接、可观测的后果。

当我们从单个原子转向晶体中巨大、有序的原子阵列时，会发生什么？一种新的对称性出现了：如果你将视点移动一个晶格间距$a$，系统看起来是一样的。这是离散平移对称性，由一个平移算符$\hat{T}_a$表示。晶体势的周期性，$V(\hat{x}+a) = V(\hat{x})$，保证了哈密顿算符与这个平移算符对易：$[\hat{H}, \hat{T}_a] = 0$。

再一次，这种对易关系不仅仅是一个数学上的奇趣；它是固态物理学的秘诀。它意味着晶体中电子的能量本征态也必须是平移算符的本征态。酉算符$\hat{T}_a$的本征值是纯相位，我们可以写成$\exp(ika)$。这个新的标签$k$被称为​​晶格动量​​。这个量源于晶格的对称性，作为电子在周期性势场中导航时的一个守恒量子数。

这是一个优美而微妙的观点。电子的普通动量$\hat{p}$不守恒，因为它不断地与原子核的周期性势场发生碰撞。但晶格动量$k$是守恒的。它是组织材料中数万亿电子行为的正确标签。正是这个量子数的存在，使我们能够理解为什么有些材料是导体，有些是绝缘体，还有些是构成所有现代电子学基础的半导体。固体的整个“能带结构”就是能量如何依赖于这个对称性标签$k$的直接映射。

然而，宇宙还为我们准备了一些规则。其中最奇怪的一条是不可区分原理。所有的电子都是完全相同的。当我们描述一个由两个或更多电子组成的系统时，总波函数在交换任意两个电子时必须是反对称的。这个严格的规则可能对我们的标记方案产生意想不到的后果。

想象两个费米子在一个一维盒子中。我们可能天真地认为，可以通过使用每个粒子的哈密顿算符$\hat{H}_1$和$\hat{H}_2$以及总自旋$\hat{S}^2$来构成一个“完备对易可观测量集”(CSCO)。这些算符彼此都对易。但问题在于：物理上允许的状态——那些被正确反对称化的状态——通常不是单个哈密顿算符$\hat{H}_1$和$\hat{H}_2$的本征态！反对称性的要求迫使粒子进入一种集体状态，一种叠加态，使得谈论“粒子1的能量”成为不可能。标签必须应用于整个系统，而不是其不可区分的组成部分。泡利不相容原理本身就编织在这块织物之中。

即使粒子是可区分的，非对易算符也可能带来意外。双粒子系统的总自旋算符$\hat{S}^2$和其中一个粒子的自旋算符$\hat{S}_{1z}$不对易。这意味着，通常情况下，对其中一个的测量会干扰另一个的值。例如，人们不能用同时对这两个可观测量具有确定值的状态来构建系统的完备基。然而，事实证明，一些特定的状态，比如三重态$|s=1, m_s=+1\rangle$和$|s=1, m_s=-1\rangle$，恰好是两者的共同本征态。这给了我们一个宝贵的精确性教训：非对易性禁止了共同本征态的完备基，但并不一定禁止少数同时满足两个条件的特殊状态的存在。

量子力学的复杂性，尤其是在多体系统中，可能令人望而生畏。但如果我们能颠倒这种逻辑呢？如果我们不是去发现描述自然系统的对易算符，而是可以工程化一个系统来遵循我们自己设计的一套对易算符呢？这是量子信息和计算领域的一个核心思想。

考虑一个由多个项相加构成的哈密顿算符，其中每一项都与其他项对易：$\hat{H} = \sum_j \hat{h}_j$，且$[\hat{h}_j, \hat{h}_k] = 0$。这样的系统被称为“无挫”系统。寻找它的基态——通常是一项天文数字般困难的任务——变得异常简单。基态必须是同时是每一个项$\hat{h}_j$的基态的状态。这个强大的设计原则使我们能够构建复杂的量子系统，其基态是已知的，并且具有特定的、理想的纠缠特性。

这个概念进一步发展成为​​稳定子形式​​（stabilizer formalism）。在这里，我们不从哈密顿算符开始；我们从一组称为稳定子（stabilizers）的对易算符$\{ \hat{S}_i \}$开始。然后我们定义一个状态$|\psi\rangle$为对所有这些算符都是$+1$本征态的唯一矢量：对于所有的$i$，都有$\hat{S}_i |\psi\rangle = |\psi\rangle$。这样的“稳定子态”构成了量子纠错码的骨干。它们的性质完全由其稳定子的代数结构决定。例如，如果一个状态由$\hat{S}_1$稳定，那么任何与$\hat{S}_1$反对易的算符$\hat{O}$（即$\hat{S}_1 \hat{O} = -\hat{O} \hat{S}_1$）的期望值必须恰好为零。这提供了一个极其强大的代数工具包，用于创建、操控和保护量子计算所需的脆弱量子态。这个相同的核心思想——对易算符拥有共同的本征矢量——是如此基本，以至于它在纯数学中以李定理（Lie's theorem）的形式出现，为理解被称为可解李代数的抽象代数对象的结构提供了关键的切入点。

当我们退后一步审视时，一幅宏伟的图景展现在眼前。共同本征态原理不仅仅是一个工具；它是对称性与守恒定律之间关系的深刻表达。每当一个物理系统拥有一种对称性——无论是旋转对称、平移对称还是更抽象的对称性——它的哈密顿算符都与产生该对称性的算符对易。这种对易关系，正如谱定理所保证的，确保了共同本征态基的存在。

这产生了守恒量，即我们的“好量子数”，它使我们能够标记和理解量子世界。这条线索连接了原子能级的简并性、固体中电子能带的存在以及纠错码的设计。寻找对易算符，本质上就是寻找一个系统隐藏的对称性。而在找到它们的过程中，我们所做的不仅仅是解决一个问题；我们揭示了支配我们宇宙的法则所固有的美丽和统一。