Efficient Description of Parametric Amplification of Quantum Pulses

本文提出了一种通过将放大作用应用于真空态，进而对输入产生算符进行变换，从而确定参数放大过程中输出模量子态的高效解析方法，该技术已在包括相干态、薛定谔猫态和单光子脉冲在内的多种输入态上得到了验证。

要点

想象一下，你拥有一台被称为**参数放大器（Parametric Amplifier）**的神奇机器。你可以把这台机器想象成一台非常先进、高速的连续光脉冲复印机，但它不仅仅是在复制一张图片，而是在拉伸、挤压并倍增光线内部的“量子信息”。

科学家们通常面临的问题是，这台机器极其混乱。如果你输入一个特定的光脉冲，数学理论会说输出结果是一个弥散在无限种可能的频率和时间槽中的纠缠乱象。计算最终的光波形通常就像是在试图解决一个拥有数十亿块拼图碎片的谜题——对于复杂的输入，这在计算上是不可能的。

重大发现
本文作者发现了一个捷径。他们证明了，无论你输入什么样的“量子脉冲”（即使是单个光子或复杂的“薛定谔猫”态），这台机器也只会通过至多两个特定的通道（或称“模态”）将信息输出。所有其他通道都只携带空的、被放大的背景噪声。

这就像是你意识到，尽管一个广播电台在一百万个频率上进行广播，但你的特定歌曲其实只会在两个特定的频道上播放。调频盘上的其余部分都只是静电噪音。

新的“配方”（方法）
论文介绍了一种高效的新方法，可以精确计算出那两个通道中到底输出了什么。与其尝试追踪复杂的输入脉冲在机器中一步步的变化过程，不如换个思路：

1. 从无开始： 首先，他们计算当你向机器中输入“空无”（真空）时会发生什么。这会产生一个“挤压真空态”——一种特定的、可预测的背景噪声模式。
2. 转换配方： 接下来，他们将用于创建原始输入脉冲的“配方”（即将“无”转化为光子或猫态的数学指令）翻译成机器输出的语言。
3. 混合与匹配： 最后，他们将这个翻译后的配方应用到第一步中计算出的“挤压真空”之上。

类比：
想象一下，你想知道一个蛋糕在经过一个形状怪异、会变形的烤箱烘烤后是什么样子的。

• 旧方法： 你试图追踪每一粒面粉和糖在混乱的热量中如何扭转和翻转。这简直是一场噩梦。
• 新方法： 你先烤一个空的蛋糕模具（真空），以观察烤箱是如何使模具变形的。然后，你将制作特定蛋糕面团的指令（输入态）进行重写，使其适应变形后的模具，并将这些指令应用于变形后的模具。你瞬间就能得到最终的蛋糕，而无需追踪每一粒微小的颗粒。

他们测试了什么
为了证明这种方法有效，他们通过新方法运行了三个具体的示例：

• 相干态（Coherent State）： 像是一束标准的、稳定的激光束。
• 薛定谔猫态（Schrödinger Cat State）： 一种奇特的量子态，就像一只既死又活的猫（一种叠加态）。
• 单光子（Single Photon）： 仅仅一个单一的光粒子。

他们展示了对于激光和“猫态”，信息保持在仅一个通道内。但对于单光子，信息则分裂到了两个纠缠的通道中。

“预报”（Heralding）技巧
论文还描述了一个酷炫的技巧，称为“预报”（heralding）。想象你有两个输出通道，其中一个通道比另一个空得多。如果你在较空的那个通道上放置一个探测器，而它显示：“嘿，我没有检测到任何东西（真空）”，那么你就可以确定，另一个通道现在包含了一个更纯净、更高质量的你的量子态版本。

这就像有两个水桶。如果你检查较小的那个水桶发现它是完全干燥的，你就知道大水桶里的水现在是纯净且未被稀释的。这个过程“纯化”了量子态，使其在未来的任务中更加有用。

为什么这很重要
这种方法既快速又具有解析性。它不需要超级计算机来为每一个新的输入求解复杂的方程。它允许科学家快速预测量子信息在被放大时会如何表现，这对于构建量子网络、量子计算机以及超灵敏传感器至关重要。作者还指出，这种方法可以应用于其他系统，如光学参数放大器，甚至是不同类型的光波（例如携带轨道角动量的光波）。

技术摘要

技术摘要：参数放大量子脉冲的高效描述

问题陈述
描述在开放量子网络中传输的玻色子量子态具有挑战性，特别是当辐射涉及需要多模描述的连续频率模式时。虽然单模操作是可处理的，但由单个输入脉冲驱动的参数放大器的输出通常以纠缠方式分布在经历不同程度挤压的模式中。现有的计算输出态的方法（如 Bogoliubov 本征模分解）在输入态仅占据少量本征模时，其计算复杂度可能与玻色子采样问题相当。此外，传统方法通常依赖辅助模来计算输出，这会不必要地增加希尔伯特空间的维度。

方法论
作者提出了一种高效的解析方法，用于确定由单个量子脉冲经过参数放大后的输出模式量子态。该方法的核心在于一种基于 Christiansen 等人 [30] 研究成果的输入-输出关系特定分解，该研究表明单个输入脉冲 $u(\omega)$ 最多贡献于两个输出模式 $v_1(\omega)$ 和 $v_2(\omega)$，而所有其他输出模式仅包含源自真空的贡献。

所提出的方法通过将真空变换与输入态变换解耦，从而区别于标准技术。该方法分为三个步骤：

1. 真空变换： 首先计算参数放大器对真空态的作用。这产生一个挤压多模真空态 $|\xi\rangle = \hat{U}|0\rangle$，其特征由协方差矩阵和位移矢量（对于真空而言为零）描述。该状态在 Fock 基底中使用多维埃尔米特多项式进行描述。
2. 算符分解： 将输入湮灭算符 $\hat{a}_u$ 展开为相关的输出算符 $\hat{b}_{v_1}, \hat{b}_{v_1}^\dagger, \hat{b}_{v_2}, \hat{b}_{v_2}^\dagger$ 的组合。该展开系数取决于输入模式函数 $u(\omega)$ 以及系统的传递核 $F$ 和 $G$。
3. 状态重构： 对于定义为 $|\psi_u\rangle = f(\hat{a}_u, \hat{a}_u^\dagger)|0\rangle$ 的任意输入态，该方法通过变换函数 $f$ 中的产生/湮灭算符来应用酉变换 $\hat{U}$。具体而言，$\hat{U}f(\hat{a}_u, \hat{a}_u^\dagger)\hat{U}^\dagger$ 变为 $\tilde{f}(\hat{b}_{v_1}, \hat{b}_{v_1}^\dagger, \hat{b}_{v_2}, \hat{b}_{v_2}^\dagger)$。最终的输出态通过将变换后的算符 $\tilde{f}$ 应用于预先计算的挤压真空态 $|\xi\rangle$ 而获得。

这种形式化方法避免了对辅助模的需求，将计算限制在输入信号所占据的物理输出模式内，从而确保了无论输入态复杂度如何（例如 Fock 态叠加或混合态），计算都是高效的。

主要贡献与结果
本文提供了一个适用于任何二次哈密顿量的通用形式化方法，并通过光学参量振荡器（OPO）模型进行了验证。作者通过计算三种不同输入场景下的输出态来验证该方法：

• 相干态： 该方法确认了相干输入态占据单个输出模式，产生一个挤压相干态。其位移矢量非零，而协方差矩阵与变换后的真空态一致。
• 薛定谔猫态： 对于猫态（例如 $|\alpha\rangle \pm i|-\alpha\rangle$），该方法成功计算了单一占据模式中的输出密度矩阵，保留了输入的非高斯特征。
• Fock 态： 对于单光子输入（或一般 Fock 态），该方法正确识别出输出占据了两个纠缠模式（$v_1$ 和 $v_2$）。作者数值计算了这些联合模式的 Wigner 函数，展示了非高斯特征在两个模式中的分布情况。

一个显著的结果是输出态的启发式纯化（heralded purification）。通过在占比较低的输出模式（$v_2$）中探测到真空，作者证明了主模式（$v_1$）中的量子态可以变得显著更纯。

• 对于单光子输入，在探测到 $v_2$ 中的真空后（成功概率约为 $52\%$），$v_1$ 输出态的纯度从 $\approx 0.75$（无启发式探测）增加到 $\approx 0.97$。
• 对于奇对称薛定谔猫态输入，纯度从 $\approx 0.75$ 增加到 $\approx 0.93$（成功概率约为 $43\%$）。
  在这两种情况下，Wigner 负性也得到了增强，表明其成为了更有效的非经典资源。

意义与范围
本文声称，该方法通过利用输入-输出关系的特定模式分解，为现有技术提供了一种计算高效的替代方案。通过专注于物理相关的输出模式，并将真空挤压计算与输入态操作分离，该方法防止了与多种模式混合相关的计算复杂度问题。

作者强调，虽然目前的实现侧重于 OPO 中的时间/光谱模式，但该形式化方法是通用的。它可以应用于其他二次系统，如光学参量放大器和行波参数放大器。此外，该框架可扩展到其他模式基底，包括二维/三维系统中的横向空间模式、携带轨道角动量的 Laguerre-Gaussian 模式以及相对论时空模式。这项工作还提出了未来通过累积量或平均场近似来包含非高斯操作和高阶非线性的潜在扩展方向，尽管这些在当前研究中尚未实现。