幺正伸张

玻尔百科

核心要点

幺正伸张理论认为，不可逆的耗散过程（压缩）是在一个更大的状态空间中发生的完全可逆的幺正变换的投影。
开放量子系统中感知的“信息丢失”并非信息的毁灭，而是信息转移成了系统与其环境之间的量子纠缠。
量子力学中幺正标度变换群的生成元与位置和动量算子直接相关，将标度变换这一几何行为与基本物理动力学联系起来。
伸张原理在科学和工程领域有着广泛的应用，从为量子噪声建模到构成信号处理中小波分析的数学基础。

引言

在由量子力学基本定律支配的宇宙中，信息永不丢失。每一次演化都是完全可逆的，这个概念被“幺正”一词所概括。然而，我们的日常经验充满了不可逆过程：声音渐弱、热量耗散、量子态退相干。一个看似有泄漏、不可逆的世界如何能从一个完全封闭、可逆的世界中产生？这个悖论代表了我们对物理实在直观理解上的一个重大鸿沟。本文深入探讨由幺正伸张理论提供的优雅解决方案，这是一个弥合这一鸿沟的强大数学框架。

在接下来的章节中，我们将一同探索这个深刻的概念。第一章“原理与机制”将解析伸张的数学机制，展示任何不可逆的“压缩”如何能被构造为一个更大的、完全幺正的系统的子空间。我们将探索这如何揭示信息流和时间之箭的真正本质。第二章“应用与跨学科联系”将展示该理论的非凡效用，从为量子计算机中的噪声建模、揭示深层物理对称性，到其在信号处理等领域出人意料的影响。读完本文，读者将会明白，我们所感知的损失，往往只是信息超出了我们有限的视野，隐藏在一个更宏大、更对称的整体之中。

原理与机制

想象一下，你正在观看池塘上扩散的涟漪，或聆听一根被拨动的吉他弦发出的音符逐渐消失在寂静中。这些都是耗散过程。它们似乎是不可逆的；你无法“反向拨动”琴弦来将声音重新汇集回去。用物理学的精确语言来说，描述这些事件的变换不是幺正的。幺正变换是可能性空间中的一种完美旋转，它保持长度和角度，确保信息永不真正丢失。一根被拨动的琴弦损失能量是一个压缩——代表其状态的向量随时间变短。

很长一段时间以来，这是一个深奥的难题。量子力学的基本定律是完全幺正的。一个不可逆的、耗散的世界如何能从一个完全可逆的、幺正的基础上产生？幺正伸张理论提供了一个极为优雅的答案：它表明，我们所感知的不可逆过程仅仅是一个影子。它是当我们只观察一个更大、完全幺正的实在的子空间时所看到的情景。我们观察到的耗散并非信息的丢失，而是信息从我们有限的视野泄漏到我们未曾考虑到的维度中去了。

让我们踏上一段旅程，看看如何从数学上构建这个更大的实在，并揭示这些看似不完美过程背后美丽的、隐藏的对称性。

伸张的蓝图：将不完美嵌入完美之中

假设我们有一个由线性算子 $T$ 描述的过程，该算子作用于某个状态空间，我们称之为希尔伯特空间 $H$ 。如果这个过程耗散能量或信息， $T$ 将是一个压缩，意味着它会缩短其作用的任何状态的范数（或“长度”），这个条件写作 $\|Tf\| \le \|f\|$ 。我们的目标是找到一个更大的空间 $K$ 和 $K$ 上的一个幺正算子 $U$ ，使得 $T$ 只是 $U$ 的一个“片段”。

构建一个更大空间的最简单方法就是取两个原始空间的副本，即 $K = H \oplus H$ 。这个双倍空间上的算子 $U$ 可以被看作一个 $2 \times 2$ 的分块矩阵，其中每个元素都是原始空间 $H$ 上的算子：

U = \begin{pmatrix} A & B \\ C & D \end{pmatrix}

我们的想法是让我们的压缩算子 $T$ 成为这个矩阵的左上角，即 $A=T$ 。这意味着如果一个状态完全存在于 $H$ 的第一个副本中，那么当仅从那第一个副本观察时，它的演化看起来就和一个在 $T$ 作用下的演化完全一样。问题是，我们能否巧妙地选择其他分块 $B$ 、 $C$ 和 $D$ ，使得整个算子 $U$ 变得完全幺正？

这并非猜测，而是约束使然。为了使 $U$ 是幺正的，它必须满足 $U^*U = I$ ，其中 $U^*$ 是 $U$ 的伴随（共轭转置）， $I$ 是单位算子。用分块形式写出这个条件，我们得到一组 $B$ 、 $C$ 和 $D$ 必须遵守的方程。这些方程的解揭示了一个优美的机制。

关键在于首先量化我们的算子 $T$ 在多大程度上不满足幺正性。我们定义两个亏算子来精确地衡量这一点。第一个是 $D_T = (I - T^*T)^{1/2}$ ，它衡量当先作用 $T$ 再作用其伴随 $T^*$ 时， $T$ 未能保持范数的程度。第二个是 $D_{T^*} = (I - TT^*)^{1/2}$ ，它衡量反向作用时的同样情况。如果 $T$ 是幺正的， $T^*T$ 和 $TT^*$ 都会是单位算子，这些亏算子将为零。在某种意义上，它们代表了 $T$ “缺失的幺正性”。

值得注意的是，正是这些亏算子构成了我们更宏大的幺正算子 $U$ 的基石。最常用且最有用的构造之一，被称为Schäffer形式，是：

U = \begin{pmatrix} T & D_{T^*} \\ D_T & -T^* \end{pmatrix}

这是一个配方！给定任何压缩算子 $T$ ，我们可以计算出它的伴随和它的亏算子，然后简单地将它们代入，就可以在一个更大的空间中构造出一个完美的幺正算子 $U$ ，而 $T$ 只是它的一个分量。

让我们具体化这个概念。考虑二维空间 $\mathbb{C}^2$ 上的一个简单算子，由矩阵 $T = \begin{pmatrix} 0 & 1/2 \\ 0 & 0 \end{pmatrix}$ 给出。这个算子不是幺正的；例如，它将向量 $\begin{pmatrix} 0 \\ 1 \end{pmatrix}$ 变为零向量。它显然丢失了信息。但我们可以构建它的幺正伸张。按照配方，我们计算出伴随 $T^* = \begin{pmatrix} 0 & 0 \\ 1/2 & 0 \end{pmatrix}$ ，然后亏算子结果为 $D_T = \begin{pmatrix} 1 & 0 \\ 0 & \sqrt{3}/2 \end{pmatrix}$ 和 $D_{T^*} = \begin{pmatrix} \sqrt{3}/2 & 0 \\ 0 & 1 \end{pmatrix}$ 。将这些组装成 $2 \times 2$ 的分块矩阵，我们得到一个 $4 \times 4$ 的幺正矩阵：

U = \begin{pmatrix} 0 & 1/2 & \sqrt{3}/2 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & \sqrt{3}/2 & -1/2 & 0 \end{pmatrix}

你可以验证这个矩阵是完全幺正的： $U^*U = I$ 。这个不可逆的二维过程现在被嵌入为一个四维空间中完全可逆、保持信息的旋转。所谓的“信息丢失”只是状态被旋转到了另外两个维度。

信息流与时间之箭

那么，我们添加的这个额外空间到底是什么？它仅仅是一个数学虚构吗？对一个简单算子——单边移位——的研究给出了一个深刻而物理的直觉。

考虑从索引零开始的无限序列空间 $\ell^2(\mathbb{N}_0)$ 。单边移位算子 $S$ 只是将序列中的每个元素向右移动一步，并在开头插入一个零： $S(x_0, x_1, x_2, \dots) = (0, x_0, x_1, \dots)$ 。这就像一条只向前移动的传送带。你无法完美地撤销它；将事物移回的算子 $S^*$ 会将 $(x_0, x_1, \dots)$ 变为 $(x_1, x_2, \dots)$ ，完全忘记了 $x_0$ 的值。它是一个压缩，但不是幺正的。

它的幺正伸张是什么？它是作用于在两个方向上都无限的序列空间 $\ell^2(\mathbb{Z})$ 上的双边移位 $U$ 。这个算子 $U$ 将整个无限的磁带，包括过去和未来，向右移动一步。它的逆 $U^{-1}$ 只是将它向左移回。它是完全可逆的。

在这里，更大的空间 $K = \ell^2(\mathbb{Z})$ 是完整的时间线。我们原始的空间 $H = \ell^2(\mathbb{N}_0)$ 仅仅是“现在和未来”。我们需要添加的额外空间就是“过去”！单边移位的不可逆性是一种由于忽略过去而产生的错觉。

通过一个优美的小计算，这一点变得非常清晰。假设我们的初始状态是 $e_0 = (1, 0, 0, \dots)$ ，一个在时间零点的脉冲。在我们原始的、不可逆的世界里，应用“向后”算子 $S^*$ 得到 $S^*e_0 = 0$ 。状态被湮灭了。但在更大的、可逆的实在中，我们应用真正的逆 $U^{-1}$ 。这将状态 $e_0$ （对应于双向磁带上位置0的脉冲）移动到 $e_{-1}$ ，一个在位置-1的脉冲。状态没有丢失！它只是被移到了过去——一个与我们原始世界正交的空间部分。内积 $\langle e_0, U^{-1}e_0 \rangle_K$ 为零，不是因为状态消失了，而是因为它移动到了一个正交的维度 $e_{-1}$ 。耗散即退相干；它是信息泄漏到一个更大的环境中。

量子力学中标度变换的交响曲

到目前为止，我们伸张了单个算子。但是对于连续的过程，比如逐渐放大地图，情况又如何呢？在量子力学中，连续的幺正变换由单参数幺正群 $\{U(t)\}_{t \in \mathbb{R}}$ 描述，其中 $t$ 是像时间一样的参数。根据一个名为Stone定理的深刻结果，每个这样的群都有一个相关的自伴生成元 $A$ ，使得 $U(t) = \exp(itA)$ 。生成元 $A$ 就像是驱动变换的“引擎”。

让我们考虑伸张算子群，它只是对一个函数进行标度变换。其作用是 $(U(t)f)(x) = e^{t/2}f(e^t x)$ 。一个正的 $t$ 会从函数的自变量上“缩小”（使函数看起来被压缩），而一个负的 $t$ 则会“放大”。 $e^{t/2}$ 因子是为了保持总概率为1所需的归一化。这个群是幺正的。

这个基本的标度变换行为的生成元是什么？我们可以通过在 $t=0$ 处对 $t$ 求导来找到它。结果令人震惊。一维中标度变换的生成元 $A$ 正是位置算子 $x$ 和动量算子 $p = -i\frac{d}{dx}$ （设 $\hbar=1$ ）的对称化乘积：

A = \frac{1}{2}(xp + px)

这是最高层次的统一。简单的几何行为——标度变换，是由量子力学中两个最基本的观测量——位置和动量的相互作用生成的。

这种密切的联系带来了显著的物理后果。如果我们取一个处于高斯波包（一团“模糊”的概率云）中的粒子，让它在伸张群下演化，它的形状会改变。具体来说，其位置平方的期望值（衡量其空间分布）和动量平方的期望值（衡量其动量分布）会如下演化：

\langle x^2 \rangle_t = e^{-2t} \langle x^2 \rangle_0, \qquad \langle p^2 \rangle_t = e^{2t} \langle p^2 \rangle_0

这就是海森堡不确定性原理，以一个动力学过程的形式生动地展现出来！当你压缩粒子在位置空间中的分布（令 $t$ 为大的负数）时，其动量分布必须扩展，反之亦然。伸张群优雅地编排了这一基本的量子权衡。粒子在谐振子势中的总能量 $E(t) = \langle p^2 \rangle_t + \langle x^2 \rangle_t \propto e^{2t}\langle p^2 \rangle_0 + e^{-2t}\langle x^2 \rangle_0$ 在标度变换下显示了动能和势能之间的动态平衡。

一个状态的“记忆”在这种标度变换下也会消退。如果我们想知道一个经过标度变换的状态 $U(s)\psi$ 与其自身原始状态 $\psi$ 有多相似，我们可以计算其重叠，即自相关函数 $C(s) = \langle \psi | U(s) | \psi \rangle$ 。对于一个高斯态，这结果是一个优美简洁的函数， $C(s) = (\cosh s)^{-1/2}$ 。随着 $s$ 的增加，状态被标度变换得如此之大，以至于它与初始构型的重叠迅速降至零。系统“忘记”了它从哪里开始。

长远来看：消逝于无

如果我们让这个标度变换过程永远进行下去会发生什么？我们看到，单个状态似乎被放大并忘记了其起源。那么它的平均行为呢？平均遍历定理给出了答案。它指出，一个状态在幺正算子下演化的长时间平均会收敛到该状态中未被算子改变的部分——即它在不动点子空间上的投影。

那么，对于我们的幺正标度变换算子 $Tf(x) = a^{-1/2}f(x/a)$ 且 $a > 1$ ，什么函数保持不变？ $L^2(\mathbb{R})$ 中的哪个函数 $g(x)$ 满足 $g(x) = a^{-1/2}g(x/a)$ ？这似乎是一个奇怪的性质。但一个巧妙的论证表明，如果我们要求函数是平方可积的（即总概率有限），那么唯一的解就是零函数， $g(x)=0$ 。任何非零的概率“团块”，当被反复拉伸和压扁时，其有限的能量将不可避免地散布在无限的区域上，导致其局部振幅在任何地方都降至零。

结论是强有力的：标度变换的不动点子空间是平凡的。这意味着对于任何初始状态，其长期时间平均都为零。系统不可阻挡地伸张开去，在任何有限的空间区域内都不留下任何东西。

从一个理解声音消逝的简单愿望出发，幺正伸张原理带我们进行了一场非凡的智力冒险。它向我们展示了信息永不丢失，只是被隐藏起来。它揭示了标度变换的几何是由量子位置和动量的结构编织而成。它还为我们提供了一个窥探物理系统遍历性、长期行为的窗口。幺正伸张是物理学家信念的证明：在世界复杂且常常看似不可逆的表象之下，存在一个更深层次的实在，它具有深刻的对称性、统一性和完美的、可逆的定律。

应用与跨学科联系

在我们迄今为止的旅程中，我们将Stinespring伸张定理视为一个相当抽象但强大的数学工具。它向我们承诺，任何“混乱”的过程——任何量子系统的嘈杂、不可逆、信息丢失的演化——都可以被看作是一个更大、完全纯净且可逆的幺正故事的一小部分。这是一个惊人的论断。它表明，我们观察到的混沌并非根本性的，而是一种因我们有限视角而生的幻觉。如果我们能看到全局——系统及其环境——我们将会看到一场完美的、确定性的舞蹈。

但这仅仅是哲学家的慰藉，一种数学上的戏法吗？或者说，这种视角真的对我们有任何作用吗？事实证明，答案是响亮的“是”。这种视角的转变不仅仅是一种审美偏好；它是一个极其强大的实用工具，为众多科学和工程学科带来了深刻的见解。现在，让我们来探索这片领域，看看伸张的思想如何为我们理解物理世界注入生命力，从量子噪声的细微嘶嘶声，到宇宙的基本对称性，甚至到我们处理图像和声音的方式。

量子系统的秘密生活：噪声、信息与纠缠

幺正伸张最直接、或许也是最重要的应用是在开放量子系统的研究中。在现实世界中，没有哪个量子系统是真正孤立的。量子计算机中的一个量子比特不断受到杂散电磁场、热振动和其他量子系统的干扰。这种我们视为噪声或“退相干”的相互作用，会破坏我们试图处理的精巧的量子信息。伸张定理为我们提供了一种严谨且物理直观的方式来为这种破坏建模。

我们不必只假设一个抽象的“噪声过程”，而是可以建立一个具体的物理模型。考虑一种常见的错误类型，即量子比特丢失其相位信息——一种称为退相的现象。伸张定理告诉我们，我们可以通过想象我们的系统量子比特与第二个隐藏的量子比特——环境——相互作用来完美地模拟这一点。它们的联合演化由一个单一的、完全确定性的幺正算子控制。在这种相互作用之后，我们“迹出”或忽略环境量子比特，而我们的系统量子比特所剩下的，恰好就是我们试图描述的退相噪声。同样的原理也适用于更复杂的噪声模型，如去极化信道，它会随机地扰乱量子比特的状态。这同样可以被建模为一种幺正相互作用，尽管它可能需要一个更复杂的、多能级的环境来编排这场舞蹈[@problemid:150874]。

这种建模能力很有用，但它引向了一个更深层次的启示。如果系统和环境经历了联合的幺正演化，它们就可能变得纠缠。这个简单的观察是量子理论中最深刻问题之一的关键：当一个状态退相干时，信息去哪了？答案是，它没有消失。它被转化为了系统与其环境之间的关联——具体来说，是量子纠缠。系统信息的“丢失”实际上是信息流入宇宙，编码在共享的量子态中。我们甚至可以量化这一点：对于去极化信道，系统-环境纠缠的量（由一种称为并发度的量度来衡量）与噪声事件发生的概率直接且精确相关。从这个角度看，退相干不是破坏，而是量子信息扩散到我们未追踪的自由度中。

这个框架不仅限于量子比特的离散世界。在量子光学中，一束光的模式，由位置和动量分量等连续变量描述，可能会从其周围环境中拾取噪声。如何为激光束添加随机的、“经典”的高斯噪声建模？答案同样由伸张提供。我们可以将这个过程建模为系统模式通过一个特定的幺正算子与一个环境模式相互作用。为了得到正确类型的噪声，环境不能处于简单的真空态；它必须被制备在一个特殊的状态，称为“压缩态”，这种状态在一个变量上的不确定性减小，代价是另一个变量上的不确定性增加。通过仔细选择这个压缩环境态的属性，我们可以精确地工程化我们系统上所需的噪声特性。这展示了伸张图景令人难以置信的多功能性，将抽象的定理与光和物质的具体物理学联系起来。我们还应注意到，这种建模是灵活的；不同的物理设置，涉及不同的幺正相互作用和初始环境状态，可以在系统上产生完全相同的可观察噪声，这为我们如何构建理论模型提供了自由度。

标度对称性：从维里定理到小波

“伸张(dilation)”这个词本身就暗示着标度变换，这暗示了与物理学中另一组不同但关系深刻的思想的联系。考虑这样一个单参数幺正算子群，它只是简单地对空间进行标度变换，像橡皮筋一样拉伸或压缩一个粒子的波函数 $\psi(x)$ ： $(U_s \psi)(x) = s^{1/2}\psi(sx)$ 。基本物理量如何响应这种视角的改变？正如人们可以直观地猜想的那样，如果将空间拉伸一个因子 $s$ ，位置算子 $X$ 会变换为 $sX$ 。或许不那么明显的是，动量算子 $P$ 必须变换为 $P/s$ ，这是动量与波函数空间变化率之间密切关系的结果。

这可能看起来像一个简单的练习，但这些标度变换的生成元隐藏着一个深邃的秘密。通过要求一个物理系统（如一个原子）的能量相对于这些微小的标度操作是稳定的，人们可以推导出力学中最优雅的结果之一：维里定理。该定理给出了一个束缚系统中平均动能 $\langle T \rangle$ 和平均势能 $\langle V \rangle$ 之间的固定关系。对于一个随距离 $r$ 按 $r^n$ 标度变换的势 $V(r)$ （例如，原子中的库仑势为 $n=-1$ ），该定理指出 $2\langle T \rangle = n \langle V \rangle$ 。通过研究系统的哈密顿量在伸张群作用下的行为，可以以惊人的效率推导出这个优美而有用的结果。物理定律从一个基本的对称性原理中浮现。

令人惊奇的是，这个对称性原理又回溯到我们最初的主题——Stinespring伸张。如果一个量子过程（一个信道）拥有某种对称性，这种对称性必须在其底层的幺正伸张中得到反映。例如，如果一个作用于两个量子比特的信道对哪个量子比特是哪个无所谓（一种SWAP对称性），那么纯化它的那个更大的幺正演化也必须拥有相应的对称性。系统量子比特上的SWAP操作必须伴随着环境状态上一个特定的、相应的幺正变换。部分的对称性意味着整体的隐藏对称性。

标度对称性的深远影响或许在信号处理领域找到了它最令人惊讶的应用。现代小波理论——从JPEG2000图像压缩到分析地震数据无处不在——的数学基础被称为多分辨率分析（MRA）。MRA的核心思想是创建一系列嵌套的近似空间， $... \subset V_{-1} \subset V_0 \subset V_1 \subset ...$ ，这使得一个信号可以在不同的“缩放级别”上被观察。这些空间是如何生成的？通过对单个“母”尺度函数进行伸张和平移。其数学结构与我们一直在讨论的结构完全相同。将信号分解为不同尺度分量的能力，是伸张群作用于函数空间上的直接结果。这是一个令人惊叹的数学统一性的例子，即同一个基本结构——由伸张生成的一系列嵌套空间——既是理解量子比特退相干的关键，也是压缩数码照片的关键。

伸张与计算的极限

最后，伸张的概念为探索计算的终极极限提供了一个关键的理论工具。量子力学禁止在封闭系统上进行非幺正操作。但如果我们想实现一个呢？例如，一个由收缩（它会缩短向量）矩阵 $A$ 表示的操作不是幺正的。我们无法构建一个确定性地执行此操作的量子电路。

然而，Stinespring定理的一个近亲，即Sz.-Nagy伸张定理，向我们展示了一种概率性实现这种操作的方法。我们将我们的系统嵌入到一个带有辅助量子比特（ancilla）的更大系统中，对组合系统应用一个巧妙构造的幺正算子 $U$ ，然后测量辅助量子比特。如果我们得到一个特定的“成功”结果，我们就知道所期望的非幺正操作 $A$ 已经应用于我们的系统。如果我们得到任何其他结果，我们就失败了。这个幺正算子 $U$ 的构造恰好是算子 $A$ 的伸张。这种被称为后选择的技术是一种理论构造，它定义了引人入胜的计算复杂性类。它表明，如果我们被允许“足够幸运”并对罕见的成功结果进行后选择，量子计算机可以解决被认为远超标准量子计算机能力范围的问题。伸张理论为这些假设中的机器提供了数学蓝图，帮助我们描绘出在我们的物理宇宙中什么是可计算的，什么不是。

从物理学家驯服噪声的工具，到数学家解锁对称性的钥匙，从工程师分析信号的方法，到计算机科学家对不可能机器的梦想，伸张原理揭示的不是一个单一的定理，而是一个宏大的、统一的思想。它教会我们通过寻找一个更大、隐藏的结构来在混沌中寻找秩序，并在此过程中，揭示了贯穿我们科学世界的深刻且常常出人意料的联系。