非对角长程序 (ODLRO)

在物理学世界里，“序”这个词常常让人联想到完美的晶体结构——原子以固定、重复的模式排列。然而，这种直观、经典的位形序概念，仅仅代表了自然界组织原则的一个方面。在量子层面，一种远为微妙和深刻的序可以涌现出来，它不基于粒子在何处，而在于它们在做什么，以一种完美的、大尺度的同步方式。这就是非对角长程序（ODLRO）的精髓，一种宏观量子相干性的形式，它支撑着宇宙中一些最令人惊叹的现象。它通过提供一个框架，解释了物质如何可以处于这样一种状态——数以万亿计的粒子失去其个体性，行为如同一个单一、相干的量子实体，从而弥合了我们经典理解中的鸿沟。

本文将引导您深入了解这个迷人的概念。在第一部分“原理与机制”中，我们将剖析 ODLRO 的理论基础。我们将探讨它如何通过密度矩阵进行数学定义，它与著名的 Penrose-Onsager 凝聚判据的联系，以及它在自发对称性破缺原理中的深刻根源。我们还将检验空间维度在允许或破坏这种精妙量子态方面所起的关键作用。随后，“应用与跨学科联系”部分将展示 ODLRO 的实际应用，说明它如何成为驱动超流体无摩擦流动、超导体零电阻电流以及现代原子物理实验中设计的奇异相干态的引擎。

当我们想到“序”时，通常会想到什么？也许是钻石中完美、重复的原子晶格，行进中的士兵方阵，或是书架上整齐排列的书籍。这就是物理学家所说的​​对角序​​（diagonal order），或位形序（positional order）。它关乎事物在何处。每个士兵在方阵中都有一个具体、固定的位置。这种关联很简单：如果你知道一个士兵的位置，你就能很确定地预测其他士兵的位置。这种序是经典的、直观的，并且肉眼可见。

但是，自然在其量子核心处，拥有一种更为微妙、奇异和深刻的序。想象一个挤满舞者的宏大舞厅。在“对角序”状态下，每个舞者都会被冻结在网格上的一个特定点。但如果，所有舞者，无论相隔多远，都在跳着完全相同、完美同步的舞步呢？他们可能在四处移动，各自的位置不固定，但他们的动作被一个共同的节奏锁定在一起。一个角落的舞者与对角线另一端的舞者完美同相。这就是​​非对角长程序 (ODLRO)​​的精髓。它不关乎粒子在何处，而关乎它们在做什么——或者更精确地说，关乎它们波函数的相位关系。这是一种宏观尺度上的集体相干舞蹈，是一个已经“宏观化”的量子现象的标志。这种量子编舞是超流体和超导体惊人行为背后的秘密。

为了看到这种隐藏的编舞，我们需要一个特殊的工具。我们不能仅仅拍下粒子位置的快照。我们需要测量空间中不同点之间的相位关联。完成这项工作的工具是​​单体简约密度矩阵​​，记作 $\rho_1(\mathbf{r}, \mathbf{r}')$。

你可以把 $\rho_1(\mathbf{r}, \mathbf{r}')$ 看作一台进行精巧测试的量子机器。它会问：“在位置 $\mathbf{r}$ 成功湮灭一个粒子，并同时在位置 $\mathbf{r}'$ 产生一个相同的粒子，其概率幅是多少？” 这个量 $\langle \hat{\psi}^\dagger(\mathbf{r}') \hat{\psi}(\mathbf{r}) \rangle$ 是对这个问题的形式化表述，其中 $\hat{\psi}(\mathbf{r})$ 在 $\mathbf{r}$ 处湮灭一个粒子，而 $\hat{\psi}^\dagger(\mathbf{r}')$ 在 $\mathbf{r}'$ 处产生一个粒子。

让我们看看这台机器在不同情况下告诉我们什么：

• ​​对角视角​​：当我们设 $\mathbf{r} = \mathbf{r}'$ 时，密度矩阵 $\rho_1(\mathbf{r}, \mathbf{r})$ 仅仅告诉我们在位置 $\mathbf{r}$ 找到一个粒子的概率。这就是普通的粒子密度，即关于事物位置的熟悉的“对角”信息。

• ​​非对角视角​​：真正的魔法发生在 $\mathbf{r}$ 和 $\mathbf{r}'$ 不同的时候。现在，$\rho_1(\mathbf{r}, \mathbf{r}')$ 探测的是两个分离点之间的相干性。在普通的气体或液体中，如果你试图关联这里一个粒子与遥远那边一个粒子的量子相位，你会发现它们之间没有关系。舞者们都在各跳各的。关联函数 $\rho_1(\mathbf{r}, \mathbf{r}')$ 随着距离 $|\mathbf{r} - \mathbf{r}'|$ 的增加而迅速衰减到零。

宏观量子态——如玻色-爱因斯坦凝聚、超流体或超导体——的标志是，这种关联拒绝消失。即使当点 $\mathbf{r}$ 和 $\mathbf{r}'$ 被宏观距离分开时，密度矩阵仍保持一个有限值。这就是 ODLRO 的正式定义：

这个非零值是共同节奏的回响，是整个系统被锁相成一个单一、巨大的量子态的数学证明。

ODLRO 的存在有一个戏剧性的后果，最早由 Oliver Penrose 和 Lars Onsager 指出。密度矩阵可以根据其“自然轨道”（其本征函数）和它们的“占据数”（其本征值，$\lambda_k$）进行分析。所有这些占据数的总和必须等于粒子总数 $N$。

在一个正常系统中，比如费米子气体或高于凝聚温度的经典玻色子气体，粒子们分布在大量不同的量子态上。因此，密度矩阵的所有本征值 $\lambda_k$ 都很小，量级为 1。没有哪个单一态扮演特殊角色。

但在一个具有 ODLRO 的系统中，非凡的事情发生了：​​一个单一的本征值变得宏观大​​，其量级与总粒子数 $N$ 相当，而所有其他本征值仍然很小。这个巨大的本征值 $\lambda_{max} \approx N_0$，代表了参与集体量子舞蹈的粒子数 $N_0$。这就是 Penrose-Onsager 凝聚判据。

玻色子和费米子之间的对比鲜明而优美。想象一下将 $N$ 个粒子倒入一个盒子的基态。

• 对于​​玻色子​​，没有异议。它们是社交性粒子，乐于堆积在同一个最低能量态中。系统的基态是所有 $N$ 个粒子都在同一个模式里。密度矩阵只有一个自然轨道具有巨大的占据数：$\lambda_{max}^{(A)} = N$。
• 对于​​费米子​​，泡利不相容原理是铁律。没有两个（自旋极化的）费米子可以占据同一个量子态。它们被迫填满 $N$ 个不同的能级，每个态一个粒子，形成一个“费米海”。任何态的最大占据数都只是一：$\lambda_{max}^{(B)} = 1$。

这个简单的比较揭示了为什么像玻色-爱因斯坦凝聚这样的现象是玻色子（或可以配对表现得像玻色子的粒子）所独有的。它们是唯一能够实现 ODLRO 所描述的对单一量子态的大规模集体占据的粒子。

对于低于其临界温度的玻色-爱因斯坦凝聚，这个被宏观占据的态是单粒子基态 $\phi_0(\mathbf{r})$。在长距离下，非对角密度矩阵呈现出一种优美简洁的、可分解的形式：

其中 $N_0$ 是凝聚的原子数。这种可分解性意味着系统的行为就好像它是由一个单一的“宏观波函数” $\sqrt{N_0}\phi_0(\mathbf{r})$ 所描述。相干性是如此彻底，以至于描述粒子对的双体密度矩阵也能分解为单体矩阵的乘积。知道凝聚体中一个粒子的状态，就能得到关于所有 $N_0$ 个粒子的信息。它们真正地失去了个体性，成为一个量子整体的一部分。

这种非凡的相干性从何而来？深层的答案在于一个叫做​​自发对称性破缺（SSB）​​的概念。支配一个玻色子系统的基本物理定律是对称的。具体来说，它们在全局 $U(1)$ 规范变换下是不变的，这对应于将每个粒子的量子相位移动相同的量。这种对称性与粒子总数守恒直接相关。由于这种对称性，系统的绝对相位是非物理的，无法测量。

然而，在临界温度以下，系统可以集体决定“选择”一个特定的相位。想象一支完美平衡地立在笔尖上的铅笔。它的处境是完全对称的。但它是不稳定的。它不可避免地会倒下，当它倒下时，它必须选择一个特定的方向，从而打破了旋转对称性。同样，一个玻色-爱因斯坦凝聚体或超导体，为了形成，也必须选择一个特定的宏观相位 $\phi$。这种选择行为打破了哈密顿量原有的 $U(1)$ 对称性。

ODLRO 是这种破缺对称性的物理体现。$\lim_{|\mathbf{r}-\mathbf{r}'|\to\infty} \rho_1(\mathbf{r}, \mathbf{r}')$ 的非零值是整个系统已建立全局相位的明确迹象。这种联系是深刻的：像凝聚这样的急剧相变，与 SSB 是同义的。而且因为一个真正的、性质发生非解析变化的急剧相变只能在具有无限多自由度的系统中发生，所以 ODLRO 严格来说是​​热力学极限​​（$N, V \to \infty$ 且 $N/V$ 为常数）的一个特征。在任何有限的、真实的实验中，只要时间足够长，系统最终会遍历所有可能的相位，恢复对称性。但出于所有实际目的，在实验时间尺度上，对称性是破缺的。

这个原理优美地延伸到了超导体。在这里，电子（费米子）形成库珀对，其行为像玻色子。ODLRO 现在出现在这些对的关联函数中。非零的序参量，涉及湮灭一个对，$\langle c_{-\mathbf{k}\downarrow} c_{\mathbf{k}\uparrow} \rangle \neq 0$，明确表明该状态不是粒子数算符的本征态。为了有一个明确的相位 $\phi$，系统必须存在于具有不同粒子数的状态的叠加态中。相位和粒子数成为共轭变量，就像位置和动量一样，服从不确定性原理：一个确定的相位意味着一个模糊的粒子数。

ODLRO 是凝聚玻色子的普遍特征吗？不完全是。这种长程序的稳定性处在与热涨落和量子涨落的持续斗争中，而空间的维度扮演着最终仲裁者的角色。

在三维空间中，涨落相对温和，玻色子系统可以在有限温度下成功建立真正的 ODLRO。即便如此，热激发也会侵蚀凝聚体，将粒子从相干态中踢出，从而减小长程关联的幅度。这个过程被称为​​热耗尽​​（thermal depletion）。即使在零温下，粒子间的相互作用也会导致​​量子耗尽​​（quantum depletion），这是一种微妙的效应，即相干粒子数（来自 ODLRO 的 $N_0$）略小于动量为零的粒子数。

在低维度中，情况发生了巨大变化。​​Mermin-Wagner-Hohenberg 定理​​是一个强有力的论断，指出在一维和二维中，长波长的涨落是如此压倒性地强大，以至于它们会在任何非零温度下摧毁任何自发破缺连续对称性的企图。粒子建立单一相位的集体意志被热运动的嘈杂声所淹没。真正的 ODLRO 是不可能的。

这是否意味着在二维和一维中，序已全无希望？不！自然更为微妙。虽然真正的长程序消失了，但一种较弱但仍然显著的序可以存活下来。关联函数 $\rho_1(r)$ 不再保持常数，而是缓慢地以幂律形式衰减，$\rho_1(r) \sim r^{-\eta}$。这被称为​​准长程序​​（quasi-long-range order）。我们舞厅里的舞者不再处于完美的、全系统范围的同步状态，但邻近的舞者仍然强相关，并且这种相关性只随着距离的增加而逐渐减弱。例如，在一维的 Luttinger 液体中，衰减指数 $\eta$ 通过 Luttinger 参数 $K$ 与相互作用强度直接相关。在二维中，这种准序足够稳固以支持超流性，导致了著名的 Berezinskii-Kosterlitz-Thouless (BKT) 相变，这是一种没有传统长程序的相变。

从三维凝聚体完美的锁相编舞，到二维和一维中缓慢衰减的关联，ODLRO 提供了一种统一的语言来描述宏观量子态的层级。它是一个隐藏的参数，告诉我们一个多体系统在宏观尺度上究竟有多“量子”，揭示了一个数百万粒子可以合谋行动，如一个宏伟、相干的实体的世界。

我们花了一些时间来理解非对角长程序（ODLRO）的机制，这是大规模量子相干性的一种奇特而强大的标志。但它究竟有何用途？它仅仅是理论家的一种优雅分类，是量子态动物园里的一个标签吗？答案是响亮的“不”。ODLRO 不是一种被动的属性；它是一些宇宙中最壮观、最反直觉现象背后的真正引擎。它是一场量子交响乐的无形指挥，在这场交响乐中，数以万亿计的个体粒子放弃了它们混乱的独奏，加入到一场单一、宏伟、相干的演出中。在本章中，我们将巡游物理学的广阔领域，亲眼见证这场交响乐的现场演奏。

我们的第一站是宏观量子力学最具标志性的领域。想象一种能够无摩擦流动的物质，一种可以攀爬墙壁并渗过小到不可思议的裂缝的液体。这就是超流体，其神奇的特性是 ODLRO 的直接后果。最简单的概念性例子是玻色-爱因斯坦凝聚（BEC），一团冷却到接近绝对零度的原子云，其中宏观部分的原子占据了完全相同的量子态。它们共享一个单一、统一的波函数。

这个“共享波函数”究竟意味着什么？单体密度矩阵 $\rho_1(\mathbf{r}, \mathbf{r}') = \langle \hat{\Psi}^\dagger(\mathbf{r}') \hat{\Psi}(\mathbf{r}) \rangle$ 给了我们答案。它告诉我们，在位置 $\mathbf{r}$ 湮灭一个粒子并在位置 $\mathbf{r}'$ 产生一个粒子的概率幅。在经典气体中，如果 $\mathbf{r}$ 和 $\mathbf{r}'$ 相距很远，这个关联是零——粒子是独立的。但在 BEC 中，因为所有粒子共享一个单一波函数 $\Psi(\mathbf{r})$，这个关联变成了 $\Psi^*(\mathbf{r}')\Psi(\mathbf{r})$，无论两点相距多远，它都保持非零。粒子们在宏观距离上相互“知晓”。

这会带来奇异而优美的后果。考虑一个带有单个量子化涡旋的 BEC，这是一个微小的量子漩涡，流体的密度在中心处降为零。当你绕着核心转一圈时，波函数的相位会变化 $2\pi$。如果你在涡旋的两侧各取一点，共享的波函数会迫使它们的相位相反。这两点之间的单体密度矩阵将是负值，这是由涡旋拓扑决定的长程相位关系的惊人证明。正是这种相位相干性使得流体能够以协调的方式流动，避免了导致粘性的随机散射。

现在，让我们转向超流性的带电近亲：超导性。在这里，凝聚的不是单个玻色子，而是电子对——费米子对！——被称为库珀对。这些对的行为像玻色子，可以集体地落入一个单一的量子态，建立 ODLRO。在这里，其后果甚至更具戏剧性。库珀对凝聚体的相位相干性产生了约瑟夫森效应，这是物理学中最深刻的发现之一。如果你将两个超导体紧挨着放置，中间隔着一层薄薄的绝缘势垒，奇妙的事情就会发生。一束电子对电流可以在没有任何电压施加的情况下穿过势垒。这个超电流的大小和方向敏感地依赖于两个超导体之间的宏观量子相位差 $\phi = \theta_L - \theta_R$。为什么？一个对的隧穿是一个量子过程，涉及从左边的凝聚体中取出一个对，并将其插入到右边的凝聚体中。这个过程的振幅与两个超导体的对关联函数之积成正比。因为每个关联函数都带有其各自凝聚体的宏观相位（例如 $e^{i\theta_L}$），所以总的隧穿振幅依赖于它们的相对相位 $e^{i(\theta_L - \theta_R)}$。ODLRO 不仅仅是一个统计属性；它是将两个宏观物体锁定成一个单一量子电路的物理机制。

很长一段时间里，超流体和超导体是 ODLRO 的主要舞台。但原子、分子和光学（AMO）物理领域开辟了全新的世界。在这里，我们可以逐个原子、逐个光子地构建量子系统，并在自然界从未想过的环境中工程化 ODLRO。

一个惊人的例子是 Dicke 模型，它描述了一组被困在光学腔内的原子，这是一个光的“镜厅”。原子可以处于基态或激发态，它们都与被困在腔内的同一个单模光相互作用。如果原子与光之间的耦合足够强，系统会经历一个相变，进入一个“超辐射”态。在这个相中，原子和光子场自发地形成宏观相干性。原子偶极子全部对齐并完美同步地振荡，以一种自持的、集体舞蹈的方式向腔模发射并再吸收光子。这种集体原子极化是 ODLRO 的一种形式，一个从原子-光相互作用中涌现出的宏观序参量。

这些系统的多功能性允许更复杂的 ODLRO 形式。通过囚禁具有内部自旋态的原子，可以创造出旋量凝聚体。在这样的系统中，凝聚可能只发生在某个特定的自旋分量中。例如，在一个自旋-1 的 BEC 中，所有原子可能都凝聚到 $m_s = 0$ 态，而 $m_s = \pm 1$ 态保持未被占据。该系统的单体密度矩阵将揭示一个对应于总粒子数 $N_0$ 的宏观本征值，但仅在对应于凝聚自旋态的希尔伯特空间子块中，展示了一种选择性的 ODLRO。

ODLRO 的存在似乎是一种稳健的现象，但它却处在刀刃之上。物理学中最深刻的定理之一，Mermin-Wagner 定理告诉我们，在一维和二维中，连续对称性在任何有限温度下都不能自发破缺。在低维度中，热涨落的无休止的搅动实在太强，不允许我们一直在讨论的那种刚性的长程序存在。零温下的量子涨落在一维中也可能扮演类似的破坏性角色。

那么，一维线或一串原子注定是无序的吗？不完全是。想象一个由一维玻色气体管组成的阵列。每个独立的管，如果任其发展，将不具备真正的 ODLRO；其关联将随距离呈指数衰减。但是，如果我们允许相邻管之间发生微弱的量子隧穿，会发生什么？奇迹发生了。如果隧穿强度 $t_\perp$ 足够大，这些管可以相互“引导”，进入一个全局相位相干的状态。系统经历一个量子相变，从一个由无序的一维莫特绝缘体组成的阵列，转变为一个具有真正 ODLRO 的三维超流体。序从许多弱相关系统的协作中涌现出来。

序与无序之间的这个微妙边界也揭示了另一个关键的精妙之处。区分局域对的形成和长程相位相干的建立至关重要。在某些材料中，特别是高温铜氧化物超导体，吸引相互作用可能非常强，以至于电子对在远高于实际超导转变温度的温度下就形成了。在这个“赝能隙”相中，系统充满了预先形成的库珀对，但它们是相位不相干的——就像舞者们知道舞步却没有音乐来同步一样。这个状态缺乏 ODLRO，但这些对的存在耗尽了费米能量附近的可用单粒子态，在能谱中打开了一个“赝”能隙。这是真正超导态的一个影子，一个充满了 ODLRO 成分但缺乏全局相干最终火花的系统。

我们旅程的最后一站将我们带到量子世界最奇异的角落，在那里 ODLRO 以伪装的形式出现。也许最令人费解的例子是分数量子霍尔效应（FQHE）。这种效应发生在一个经受巨大磁场的二维电子片中。在电子与磁通量子的特定神奇比例（填充因子 $\nu$）下，系统的电阻骤降至零。

对其中一些 FQHE 态的解释令人叹为观止。复合玻色子理论提出，每个电子（一个费米子）捕获偶数个磁通量量子，形成一个名为复合玻色子的新涌现粒子。在像 $\nu=1/2$ 这样的特定填充因子下，附着的通量恰好抵消了这些复合玻色子所“看到”的外部磁场。从磁场中解放出来后，这些涌现的玻色子便可以自由地形成玻色-爱因斯坦凝聚——一个具有真正 ODLRO 的状态！然而，原始的电子并不显示 ODLRO。与附着通量量子相关的相位扭曲确保了电子关联函数随距离以幂律形式衰减。这是一种“准长程序”，是复合玻色子底层 ODLRO 的一种优美而微妙的体现。

最后，即使在看似简单的理论模型中，也能发现新形式的 ODLRO。Hubbard 模型，一个描述格点上相互作用电子的基本蓝图，拥有被称为 $\eta$-配对态的非凡精确解。在这里，库珀对形成，但其相位在晶格格点之间交替变化。这创造了一个具有交错序参量的超导态。计算这样一个状态下的对关联函数，会发现它与系统尺寸的平方成正比，这是一个明确无误的标志，表明宏观数量的对被锁定在一个相干态中，尽管这是一个非常不平凡的相干态。

从氦的无摩擦流动到二维电子气中复合粒子的隐藏凝聚，非对角长程序是统一的原则。它是让量子力学走出微观阴影、登上宏观舞台的物理定律，创造出性质如此奇特以至于挑战经典直觉，却又如此强大以至于正在重塑技术和我们对宇宙的根本理解的物质状态。