🔢 mathematics

Understanding Squeezed States of Light Through Wigner's Phase-Space

本文利用维格纳相空间分布函数和各种对称群来解释从经典力学到量子力学的过渡，并重点表征光场的相干态与压缩态、它们在产生纠缠中的作用，以及光场的退相干。

原作者： Sibel Baskal, Marilyn E. Noz

发布于 2026-06-23

📖 1 分钟阅读🧠 深度阅读

原作者： Sibel Baskal, Marilyn E. Noz

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

大局观：量子光的全新地图

想象一下你正在试图描述一场复杂的舞蹈。在旧的物理学方法（薛定谔图景）中，你通过逐一观察舞者的每一个步伐来描述舞蹈。但本文提出了另一种方法：观察舞池本身。

作者 Sibel Başkal 和 Marilyn E. Noz 使用一种被称为**相空间（Phase Space）**的“地图”来理解光。在这张地图中，每一个点都代表一种特定的光态，由两个要素定义：它的位置（它在哪里）和它的动量（它移动得有多快）。

本文认为，这种“地图”方法是理解**挤压态光（Squeezed States of Light）**的最佳方式——这是一种对现代量子技术至关重要的特殊激光。

1. 不确定性气球（圆圈）

在量子世界中，有一条规则叫做海森堡不确定性原理。它规定你无法同时了解一个粒子的所有信息。如果你确切知道它在哪里，你就不知道它移动得有多快，反之亦然。

作者将这种不确定性可视化为地图上的一个圆圈。

真空态（The Vacuum State）： 想象一个代表“空无一物”的空间（真空）的完美圆气球。这个圆圈的大小是固定的。它代表了自然界允许的最小模糊程度。
规则： 你不能缩小这个圆圈。圆圈的总“面积”必须保持不变。

2. 神奇的挤压（椭圆）

现在，想象你用双手挤压那个圆气球。

如果你从两侧挤压，它会在一个方向上变得更窄，但在另一个方向上会变得更长。
它由一个圆变成了一个椭圆。

这就是挤压光（Squeezed Light）。

权衡（The Trade-off）： 通过挤压光，你减少了其中一个方向的不确定性（使其变得非常精确），但你必须增加另一个方向的不确定性（使其变得非常模糊）。
代价： 椭圆的总面积与原始圆圈完全相同。你并没有打破物理规则；你只是重新分配了“模糊度”。

本文表明，这种“挤压”并非随机的技巧；它遵循基于对称群（类似于爱因斯坦相对论中物体运动方式的旋转和拉伸）的严格数学规则。

3. 光之舞（相干态 vs 挤压态）

论文对比了两种类型的光态：

相干态（Coherent States，完美的圆）： 想想标准的激光笔。在地图上，它看起来像是一个位于某处的完美圆圈。它稳定且可预测。论文解释说，你可以带着这个圆圈在地图上移动（平移），而不会改变它的形状。这就像是在地板上走动一个完美的圆。
挤压态（Squeezed States，拉长的圆）： 这是特殊的光。它仍然是一个最小不确定性状态（面积相同），但形状是一个倾斜的椭圆。论文展示了你可以通过“挤压”真空态来创造它。

4. 地图中的“幽灵”（负数）

论文中最引人入胜的部分之一是关于 Wigner 函数 的讨论。这是用于绘制这张地图的数学工具。

在现实生活中，概率总是正数（你不可能有 -50% 的降水概率）。
然而，在这张量子地图上，Wigner 函数在某些地方会出现负值。
作者指出，这些“负值”区域实际上是一件好事！它们是证明光表现出真正的量子行为（而非仅仅是经典波）的“签名”。如果地图全是正数，它就不再具有量子特性了。

5. 两名手牵手的舞者（纠缠）

论文还研究了当你有两个模式的光（两束不同的光）发生相互作用时会发生什么。

当你挤压两束光时，它们会变得纠缠（Entangled）。
类比： 想象两名舞者手牵着手。如果你挤压其中一人，另一人也会瞬间做出反应，即使他们相隔很远。论文解释说，这种“挤压”自然地在两束光之间创造了这种深层的连接（纠缠），这也是量子计算和安全通信的基础。

6. 数学工具箱

为了实现这一切，作者使用了一套特定的数学工具，称为对称群（Symmetry Groups）。

他们将挤压光的数学与洛伦兹变换（Lorentz transformations）（用于爱因斯坦相对论中描述高速运动的数学）进行对比。
他们表明，“挤压”光在数学上等同于在时空中对物体进行“助推”（Boosting/加速）。
他们利用这些群论来证明，你只需从真空开始，通过应用这些特定的数学“动作”（平移、旋转和挤压），就可以生成任何类型的光态（相干态或挤压态）。

总结

简单来说，这篇论文指出：

光可以被绘制在二维网格上，其中位置和速度是坐标轴。
不确定性是一个固定的面积（如圆圈）。
挤压光仅仅是那个圆圈被压扁成了椭圆——使得一个测量变得超精确，同时另一个变得模糊，但保持总面积不变。
地图上的负数是量子魔力的证明。
挤压两束光会在它们之间创造一种“手牵手”的连接（纠缠）。

作者得出结论，使用这种“相空间”地图是理解复杂光行为（从简单的激光到最先进的量子纠缠态）的一种强大且统一的语言。

技术摘要：通过维格纳相空间理解挤压态光

问题陈述
本文旨在解决建立一个统一框架的需求，以理解量子光学中的挤压态、相干态及其相关的对称性。虽然薛定谔绘景和海森堡绘景是标准方法，但作者认为，相空间图像（特别是利用维格纳分布函数）提供了一个独特且强大的视角。核心挑战在于如何将经典相空间概念（其中位置 $x$ 和动量 $p$ 可同时定义）与量子力学（其中不确定性原理阻止了同时测量）进行协调。本文旨在阐明正则变换、密度矩阵以及群论（特别是辛群和洛伦兹群）是如何在不完全依赖福克空间算符代数的情况下，协同描述挤压态、纠缠和退相干的。

方法论
作者采用了植根于维格纳相空间形式主义的群论方法。该方法通过以下逻辑步骤进行：

相空间基础： 本文首先通过相空间分布函数建立从经典哈密顿力学到量子力学的过渡。作者将维格纳函数 $W(x, p)$ 定义为密度矩阵 $\rho$ 的傅里叶变换，从而架起了波函数与相空间概率分布之间的桥梁。
对称群与正则变换： 分析的核心在于识别控制相空间中线性正则变换的对称群。作者利用了：
- 辛群 $Sp(2) $（局部同构于$ SL(2, \mathbb{R}) $和洛伦兹群$ SO(2, 1)$），用于涉及旋转和挤压的单模变换。
- 欧几里得群 $E(2)$ ，用于平移和旋转。
- 不完全辛群 $ISp(2)$，用于结合平移与挤压。
- 针对涉及四维相空间的扩展，利用 $Sp(4) $和德西特群$ SO(3, 2)$ 来处理双模系统。
相空间算符形式主义： 产生算符（ $\hat{a}^\dagger$ ）和湮灭算符（ $\hat{a}$ ）被映射为相空间微分算符。作者展示了由这些算符生成的酉变换（对于相干态为线性，对于挤压态为二次）是如何直接作用于维格纳函数的。
态的推导：
- 相干态： 通过对真空态应用平移算符导出，其结果为中心位于 $(\alpha_a, \alpha_b)$ 的高斯维格纳函数。
- 挤压态： 通过对真空态或相干态应用挤压算符（双曲变换）导出。这会将圆形的确定性区域转化为椭圆，同时保持相空间面积（最小不确定性）不变。
- 双模态： 论文将该形式主义扩展到耦合谐振子，展示了双模挤压如何产生纠缠。
退相干与庞加莱球： 密度矩阵通过庞加莱球进行重构，以阐明光学场的退相干，将偏振态与相空间分布联系起来。

主要贡献与结果

挤压的几何解释： 论文提供了挤压态的清晰几何可视化。它证明了挤压对应于 $(x, p)$ 平面内的洛伦兹增益（Lorentz boost，即 $Sp(2) $变换），这会将真空态的圆形不确定性区域变形为椭圆。至关重要的是，该椭圆的面积保持不变（$ \Delta x \Delta p = 1/4$），在重新分配两个正交分量之间不确定性的同时，保持了最小不确定性条件。
群论统一性： 作者确立了相干态和挤压态的对称性质是通过特定的群变换从真空态继承而来的。
- 相干态与欧几里得群 $E(2)$ 相关。
- 挤压态与辛群 $Sp(2) $和洛伦兹群$ SO(2, 1)$ 相关。
- 论文明确将这些群的生成元（例如 $J_2, K_1, K_3$ ）映射为作用于维格纳函数的微分算符。
挤压真空的维格纳函数： 论文推导了挤压真空态的显式维格纳函数，将其表现为一个倾斜的高斯椭圆。它直接在相空间中使用莫亚尔乘积（Moyal product）计算了光子数算符 $\hat{N}$ 及其平方 $\hat{N}^2$ 的期望值，所得结果与薛定谔绘景一致（ $\langle \hat{N} \rangle_0 = \frac{1}{2}(\cosh \lambda - 1)$ ）。
双模系统中的纠缠： 对耦合谐振子的分析表明，双模挤压态自然地在模式之间产生纠缠。四维相空间的对称群被识别为这些纠缠态的控制结构（$Sp(4)$）。
负概率与量子特性： 论文讨论了维格纳函数的非经典性质，指出虽然基态处处为正，但激发态和挤压态可能会出现负值区域。这种负值被视为该形式主义真正量子本质的标志，将其与经典概率分布区分开来。

意义与主张
本文声称，以维格纳函数为基础的相空间图像是不断发展的量子光学领域中“重要的科学语言”。其主要意义在于：

统一框架： 它提供了一个统一的视角，通过群论将经典概念（相空间、正则变换）与量子现象（不确定性、纠缠、挤压）无缝集成。
视觉与直觉清晰度： 通过将量子态表示为相空间中的分布（圆和椭圆），抽象的产生和湮灭算符代数得到了几何解释。这有助于理解挤压光中不确定性是如何重新分配的。
对称性作为工具： 论文强调，利用对称群（洛伦兹群、辛群、欧几里得群）可以简化复杂量子态的生成和分析，允许属性通过变换从真空态继承。
适用性： 作者指出，该形式主义不仅限于单模光学，还可扩展到连续变量（CV）量子信息、量子计算以及退相干的研究，为这些多样化领域提供了稳健的数学语言。

论文以谦逊的方式结束，侧重于维格纳函数的“最简形式”及其在谐振子中的应用，暗示这种基础方法支撑着更复杂的多模及高能物理应用。它并未提出新的实验装置，而是通过相空间对称性的视角，巩固了对现有概念的理论理解。