Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

在寻求证明量子计算机能够完成经典机器无法完成的任务的过程中，科学家们转向了一种特定的数字实验：在量子处理器上运行随机操作序列并测量其结果。这项被称为“随机电路采样”的任务，被视为“量子优越性”的一个基准，即量子设备超越最强超级计算机的一个里程碑。其背后的理论依赖于一种被称为波特-托拉斯（Porter-Thomas）分布的统计模式。想象一下，一个真正随机的量子过程的输出是一个概率景观；对于一个完美的随机系统，这个景观遵循一种特定的、可预测的形状，其中某些结果非常可能出现，而另一些则微乎其微，但整体模式是一致的。多年来，研究人员一直假设即使是浅层的、不完美的量子电路最终也会趋于这种模式，但这一假设缺乏严密的数学基础。由于缺乏证明，这仍然是一个悬而未决的问题：我们实际在实验室中构建的那些杂乱、有限深度的电路，是否真的能够模拟出通过最严格优越性测试所需的理想随机性。

德克萨斯大学奥斯汀分校的一个研究小组现在提供了那份缺失的证明。他们证明了局部随机量子电路——特别是那些以“砖块式”（brickwork）模式排列、门操作作用于相邻量子比特层级的电路——确实会收敛到波特-托拉斯分布。他们的工作表明，随着电路深度（即操作层数）增加到一定的多项式规模，机器的统计输出会变得接近理想的随机分布，其总变差距离在数学上具有精确的反多项式误差界限。这一发现具有重要意义，因为它验证了线性交叉熵基准（Linear Cross Entropy Benchmark），这是用于认证量子计算机是否完成了经典机器难以完成的任务的标准测试。通过证明这些电路自然地演化成预期的统计形状，作者们巩强了近期关于量子优越性实验声明的理论基石。

研究人员专注于一种被称为砖块式电路的特定架构，在这种电路中，门以交替层的方式应用于相邻的量子比特对，就像在墙上铺设砖块一样。他们分析了随着电路加深，测量特定零一字符串的概率是如何变化的。他们的分析显示，对于深度与量子比特数量的特定幂次成正比的电路，输出分布与波特-托拉斯曲线相一致。这一证明并非简单的观察，而是一个连接了多个先进概念的复杂数学旅程。团队必须证明电路输出的矩（即统计平均值）与完美随机系统的矩相匹配，然后证明这种平均值的匹配结合特定的平滑特性，足以保证整个分布是接近的。他们利用复分析和概率论的技术，架起了从已知少量统计平均值到了解完整分布形状之间的桥梁，克服了仅匹配有限阶矩不足以建立分布接近性的难题。

他们发现的一个关键部分涉及理解随机性如何在电路中传播。他们表明，尽管门是局部的（仅作用于直接相邻的比特），但随机性的传播效率足够高，使得整个系统在经过相对较短的步骤后，表现得就像是全局随机的一样。他们证明了这些电路的实际输出与理想波特-托拉斯分布之间的距离随着电路深度的增加而迅速缩小。具体而言，他们表明对于深度随量子比特数量缩放的电路，实际输出与理想模式之间的差异变得微乎其微，且以与量子比特数量幂次成反比的速率递减。这意味着，只要电路足够深，随着量子系统规模的扩大，这种近似就会变得越来越精确。

这项工作还解决了一个微妙但至关重要的数学障碍。在概率论中，知道两个分布具有相同的最初几个平均值并不自动意味着它们是相同的分布；两个不同的形状可以拥有相同的平均高度，但在其他地方看起来完全不同。研究人员通过开发用于分析概率分布“平滑度”的新技术克服了这一点。他们证明了这些随机电路的输出是足够平滑且行为良好的，从而使他们能够使用先进的数学工具来确认这些分布确实是接近的。这是必要的，因为之前的方法只能证明这些电路通过了某些测试（如线性交叉熵基准），却无法证明其底层的分布实际上是波特-托拉斯分布。通过确立这种接近性，作者们证实了该基准是衡量真实量子随机性的可靠指标。

虽然该证明适用于理想的、无噪声的电路，但研究人员也承认现实世界的量子计算机存在误差。他们指出，噪声往往会冲刷掉复杂的模式，使输出趋向于一种均匀的、乏味的分布。然而，他们的工作为在完美世界中什么是可能的设定了一个清晰的基准。他们认为，如果将噪声控制在足够低的水平，电路在噪声占据主导地位之前，仍应在一定的深度内表现出波特-托拉斯行为。这留下了一个问题，即一个有噪声的电路在失去其量子特性之前究竟能达到多深的深度，但新的证明为回答这个问题提供了必不可少的参考点。这一结果证实，量子优越性所需的混沌行为不仅是模拟中观察到的数值巧合，更是这些量子系统的一种基本属性，并且是可以被严格证明的。

这项工作的意义不仅在于验证过去的实验。通过证明多项式深度的电路收敛于波特-托拉斯分布，研究人员为为什么这些电路在经典模拟中如此困难提供了更强的理论依据。如果输出分布确实是波特-托拉斯分布，这意味着它具有极高的熵和复杂度，使得经典计算机难以复制。这增加了对拥有五十到一百个量子比特的设备所声称的量子优越性的信心。该研究并不声称解决了该领域的所有问题，也不讨论所有类型的量子电路，但它填补了我们对随机性如何在量子系统中涌现的理解中的一个重要空白。它将一种由强有力数值证据支持的广泛假设，转化为了针对一类广泛电路的数学确定性。

最终，这项研究阐明了量子计算机的物理结构与其输出的统计行为之间的关系。它表明，在砖块式模式下进行门操作的特定排列，足以产生实现量子优越性所需的复杂、类随机的统计特性。作者并非依靠模拟来陈述观点，而是结合了矩界限、解析估计和局部特性来构建了一个严密的论证。他们的发现表明，通往展示量子优越性的道路并非被缺乏理论理解所阻碍，而是取决于构建更深、更稳定电路的工程挑战。对于科学界而言，这项工作证明了用于衡量量子性能的工具是植根于坚实数学基础之上的，从而增强了人们对这些机器确实正在运行在经典物理学难以解释的机制之上的信心。