Distinctness threshold for pseudorandom unitaries
本文证明了统计伪随机性（如酉设计）并非构建伪随机酉算符（PRUs）的先决条件，通过引入“区分性”这一充分必要条件，实现了新的非自适应安全 PRU 集合，并解决了其相干性和虚部性的约束问题。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在量子世界的隐藏架构中，随机性不仅仅是一个混沌的偶然，它是一种强大的工具。物理学家和计算机科学家长期以来一直试图创造“伪随机”系统——即那些行为极其接近真实随机性，以至于任何高效的观察者都无法分辨其差异的机器。这一概念对于两个截然不同的领域至关重要：在研究复杂量子系统（例如热量如何在材料中扩散或信息如何在黑洞内部发生扰乱）时，真实的随机性能帮助解释秩序是如何从混沌中产生的；而在密码学领域，同样的随机性是安全性的基石，让我们能够构建在理论上不可破解的代码。多年来，研究人员一直认为，要构建这些安全的伪随机量子机器，必须依赖一种被称为“设计”（design）的特定且高度复杂的统计结构。可以将“设计”想象成一个完美平衡的配方，其中每一种可能的成分都以恰当的比例混合在一起，以模拟出一种真正的随机汤。人们曾假设，如果没有这种完美的统计平衡，你就无法创造出一台能让计算机误以为正在观察真实随机性的机器。
现在，一个研究小组推翻了这一假设，揭示了通往量子伪随机性的路径比此前认为的要直接得多。他们发现，复杂的统计“配方”实际上并非必需。相反，关键成分要简单得多：独特性（distinctness）。在量子世界中，独特性意味着当你多次运行一台机器时，结果很少会发生碰撞或重复，从而不会显现出某种模式。研究人员证明，任何声称是伪随机的机器都必须避免这些碰撞，但他们同时也表明，你并不需要一个完美的统计设计来实现这一点。只要这些操作足够独特，能够使结果保持分散，你就可以利用一套更简单、看似不那么“随机”的操作来构建一台安全的伪随机机器。
该团队通过构建一种新型量子机器证明了这一点，这种机器对攻击者是安全的，但未能达到旧有的严格统计设计定义。他们的机器由一个随机相位移位器（它以复杂的方式改变量子比特的内部状态）紧接着一个被称为 Hadamard 门的标准变换组成。虽然这种组合不是一个完美的统计设计——这意味着它并不能在每一种可能的统计测试中都模拟出真实的随机性——但它足够独特，以至于对于任何高效的观察者来说，在计算上都与真实随机性无法区分。这一发现具有重要意义，因为它将统计完美性与计算安全性这两个概念分离开来。它表明，你可以拥有一台在实际应用中足够安全的机器，而无需依赖全套统计设计那套沉重且复杂的机制。
这一发现还明确了构建这些机器究竟需要哪些资源。此前的研究表明，创造伪随机幺正算符需要复杂的虚数和高水平的量子相干性。这项新研究证实，这些资源确实是必要的，但仅仅是因为机器必须具备独特性。如果一台机器不具备独特性，它就很容易被识别出与真实随机性的区别。然而，研究人员发现了一个令人惊讶的例外：如果机器仅在特定的输入态上进行测试——即那些与被称为贝尔态（Bell state）的特定极大纠缠态没有强相关性的输入态——那么该机器可以仅使用实数来构建。这解决了关于实值量子机器是否可能实现安全的长期疑问。答案是肯定的，但前提是输入必须限制在与该特定纠缠构型足够“远”的一类状态中。
该论文还对构建伪随机机器的其他提议方法进行了关键测试。一种著名的理论认为，通过交替使用随机相位移和标准变换层，可以创造出一种安全的机器。研究人员测试了这一想法，并发现如果相位移是从有限的选择集中生成的，该理论就会失效。如果相位值的数量相对于系统规模过小，机器就会失去其独特性，从而变得容易被检测到。这排除了此前被认为是有前景的、更简单的构造类别的广泛范围。
通过将“独特性”隔离为根本要求，研究人员为看待量子安全性提供了一个全新的视角。他们表明，构建安全量子机器的门槛比此前认为的要低，它不需要统计上的完美，但需要严格遵守避免碰撞的原则。这一洞察使得构建更简单、更高效且对计算受限的攻击者依然安全的量子电路成为可能。它还提供了一个清晰的“禁止通行”测试：如果一台拟议中的机器无法保持独特性，它就不能是伪随机的。这项工作架起了量子系统统计属性与密码学计算需求之间的桥梁，为量子技术的发展提供了一条更清晰、更具实践意义的路径。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。