Exact distinguishability between real-valued and complex-valued Haar random quantum states

本文对正交群上$t$个Haar随机态的密度矩阵进行谱分解的解析计算，以推导实数与复数系综之间的精确迹距离，从而为实值态$t$-设计确立下界并改进虚数性检验的要求。

要点

想象一下，你正试图烘焙一个尽可能完美、最随机的蛋糕。在量子计算的世界里，这个“完美蛋糕”被称为Haar 随机态。它代表了终极的随机性水平，其中每一种可能的“风味”（或量子构型）出现的概率都完全相等。科学家们利用这些随机态作为黄金标准，用于测试计算机、保护数据安全以及理解宇宙的运作方式。

然而，烘焙一个真正完美的随机蛋糕极其困难，需要付出巨大的、指数级的努力（就像需要一个银河系大小的厨房）。因此，科学家们转而尝试烘焙“足够好”的近似品。他们构建了看起来随机但更容易制备的态集合。这些被称为态 t-设计。

本文探讨的核心问题是：如果我们仅使用“实”成分，而不使用任何“复”成分来烘焙这些蛋糕，会发生什么？

在量子力学中，数字有两种“风味”：实数（如 1、2、3）和复数（包含虚数单位 i，如 1 + 2i）。大多数量子现象都需要复数才能被准确描述。但一些研究人员一直试图仅使用实数构建量子系统，以看看他们是否能以此蒙混过关。

以下是作者们的发现，分解为简单的概念：

1. “实”与“复”的味觉测试

作者们提出了一个问题：如果你给某人一份“实”随机蛋糕的样本和一份“复”随机蛋糕的样本，他们能分辨出区别吗？

他们发现，是的，你可以分辨出区别，并且他们精确计算出了识破赝品有多容易。

• 类比：想象“复”蛋糕是一杯顺滑、完美混合的冰沙。而“实”蛋糕则是一杯冰沙，其中搅拌机漏掉了一些地方，留下了微小但可检测的块状物。
• 结果：作者们开发了一种数学配方（谱分解），用于精确计算存在多少“块状物”（差异）。他们发现，如果你拥有足够多的蛋糕副本（量子态），你就可以以极高的确定性区分实数版本和复数版本。

2. 基本极限（“天花板”）

该论文证明了“实”近似所能达到的完美程度存在一个硬性限制。

• 类比：想象你试图仅用严格向前和向后的动作（实数态）来模仿一个复杂、旋转的舞蹈（复数态）。无论你多么努力，你永远无法完美地模仿那些旋转。存在一种根本性的“晃动”，无法消除。
• 主张：作者们表明，任何试图仅使用实数创建随机外观态的尝试，都将始终具有特定的、不可避免的误差率。你无法制造出一个像“复”态设计那样完美的“实”态设计。它们的性能存在一个“天花板”。

3. “虚部”测试

该论文还考察了一种称为虚部测试（Imaginarity Testing）的特定测试。这就像是对量子态进行的测谎仪测试，以查看它们是“实”的还是“复”的。

• 发现：要通过此测试并证明一个态确实是复数的（而不仅仅是一个巧妙的实数模仿），你需要一定数量的样本。
• 改进：先前的研究表明你需要一定数量的样本（大约是系统规模的平方根）。作者们完善了这一数学推导，表明为了绝对确定，你实际上需要比之前认为的多 1.41 倍（即根号 2 倍）的样本。
• 意义：这意味着，如果你试图欺骗系统，使其认为一个实数态是复数态，你需要比之前认为的更多的态副本来实施欺骗。反之，如果你试图检测差异，你需要更多的样本来确保确定性。

4. 数学的“魔力”

他们是如何得出这些结论的？他们使用了一个巧妙的数学技巧。

• 类比：他们意识到，杂乱的量子态可以被转化为多项式（带有如 $x^2 + y$ 等变量的数学表达式）。
• 突破：他们将量子态映射到一种称为“调和多项式”的特殊多项式上。通过研究这些多项式的“形状”和“振动”（特征值），他们能够在不模拟那些不可能的量子计算机的情况下，计算出实数与复数量子态之间的确切差异。

总结

简而言之，这篇论文为仅使用实数伪造量子随机性的能力设定了一个“限速”。

1. 实数是不够的：你无法仅使用实数完美地模仿复数量子态的随机性。
2. 我们可以测量差距：作者们给出了一个精确公式，说明了区分差异有多容易。
3. 我们需要更多证据：要证明一个态确实是“复”的（具有“虚部”），你需要比先前计算出的更多的态副本。

作者们得出结论，虽然实值量子系统很有用，但它们存在一个根本缺陷：它们永远无法完全复制复数量子世界的丰富性和随机性。

技术摘要

问题陈述
Haar 随机量子态是量子信息理论的基础，支撑着阴影层析成像、量子优势演示和基准测试等应用。然而，从酉群上的 Haar 测度进行采样需要指数规模的量子电路，这使得其实用性受限。因此，研究聚焦于“近似态$t$-设计”——即可高效制备的态系综，它们能够模仿 Haar 分布的前$t$阶矩。一类特定的构造被称为渐近随机态（ARS），它利用实值量子态。虽然实值量子理论在某些情况下在计算能力上可与复值理论相媲美，但已知其不足以描述所有量子现象。一个关键的未决问题依然存在：与复值对应物相比，实值态$t$-设计的性能是否存在根本性限制？具体而言，实值系综能否像复值系综那样紧密地逼近酉群上的 Haar 测度？这对伪随机态（PRS）和虚部性（imaginarity）测试等密码学原语有何影响？

方法论
作者通过分析从正交群$O_d$上的 Haar 测度采样$d$维实值量子态的$t$个副本所得到的密度矩阵来解决这一问题。核心技术方法包括：

1. 谱分解：作者推导了与实 Haar 随机态的$t$个副本相关的密度矩阵$\rho^R_{d,t}$的精确谱分解。这是通过利用正交群的表示理论实现的。
2. 与调和多项式的同构：他们建立了对称子空间$\vee^t \mathbb{R}^d$与$d$个变量中$t$次齐次多项式空间$P^t_d$之间的同构。利用经典结果（Coifman 和 Weiss，1968），他们将此多项式空间分解为调和多项式子空间$H^t_d$及其乘以二次型$q = \sum X_i^2$的倍数。
3. 施瓦茨引理的应用：通过证明$O_d$在这些调和子空间上的表示是不可约的，他们应用施瓦茨引理确定密度矩阵在每个子空间上表现为单位矩阵的标量倍数。这使得能够精确计算特征值及其重数。
4. 迹距离计算：利用推导出的特征值，他们计算了$\rho^R_{d,t}$（实 Haar）与$\rho^C_{d,t}$（复 Haar）之间的精确迹距离。该距离量化了两个系综之间的可区分性。

主要贡献与结果

1. 精确谱分解（定理 1）：论文提供了$\rho^R_{d,t}$的特征值$\lambda_k$和重数$\alpha_k$的闭式解析表达式。特征值由下式给出：
   $$\lambda_k = \frac{t!(d-2)!!}{(2k)!!(d+2t-2k-2)!!}$$
   重数由调和多项式子空间的维度决定。
2. 精确可区分性（推论 1）：作者推导了实 Haar 随机态与复 Haar 随机态之间迹距离的精确公式。他们表明，当$t \sim \alpha\sqrt{d}$时，迹距离收敛于$1 - e^{-\alpha^2/2}$。这通过提供可区分性的精确下界，完善了先前推导的上界。
3. 逼近的根本下界（引理 4 与命题 1）：利用迹范数的数据处理不等式，作者证明了对于任何实值态系综，其与复 Haar 测度的迹距离的下界由实 Haar 测度与复 Haar 测度之间的距离决定。这确立了一个根本性限制：没有任何实值$t$-设计能在逼近复 Haar 测度方面优于实 Haar 测度。
4. 对 ARS 和 PRS 的影响：结果表明，实值 ARS 构造的逼近参数$\epsilon$的最佳缩放比例为$\Omega(t^2/d)$。这限制了实值伪随机态构造的性能，表明非零的“虚部性”（复振幅）是实现随$t$线性缩放（即$\epsilon \sim t/d$）的逼近参数的必要条件。
5. 虚部性测试的改进界限（命题 2）：作者推广并改进了 Haug、Bharti 和 Koh（2025）关于测试态虚部性所需副本数量的工作。他们将任意维度$d$的下界从$\Omega(\sqrt{2^n})$ refined 为$\sqrt{2 \ln(3/2) d} + o(\sqrt{d})$，将先前的界限提高了$\sqrt{2}$倍。他们还推导了 Haar 随机态的虚部性分布，表明其遵循幂律分布（具体为 Beta 分布）。

意义
本文声称提供了对实值量子态系综局限性的根本理解。通过分析表征实 Haar 随机态的谱特性，它证明了无论采用何种构造方法，实值逼近都无法完美模仿复 Haar 随机态。这对以下方面具有直接影响：

• 量子密码学：它为实值 ARS 和 PRS 构造的安全性和效率设定了理论上限，表明在某些密码学体制中，复振幅可能是实现最优性能所必需的。
• 资源理论：它提供了检测量子态中复数（虚部性）存在所需的资源（副本数量）的精确定量界限，完善了先前的渐近结果。
• 技术效用：推导出的谱分解以及对称子空间与调和多项式之间的同构被呈现为具有潜在独立用途的工具，可用于未来的量子信息和表示理论研究。

作者对于区分测量的实施保持谦逊，指出虽然存在显式的投影测量可以达到理论界限，但其高效实现（例如通过 Schur 变换）仍然是一个未决问题。同样，他们承认，虽然他们证明了复振幅对于某些缩放行为是必要的，但其他特定逼近参数所需的精确虚部性数量仍是未来研究的一个开放领域。