[论文解读] Unitary Complexity and the Uhlmann Transformation Problem

John Bostanci, Yuval Efron+4 more|arXiv (Cornell University)|Jun 22, 2023

Computability, Logic, AI Algorithms被引用 2

一句话总结

本文引入了酉复杂性理论，这是一种分析量子态变换任务（如通过局部操作变换纠缠态）计算复杂性的新框架，通过将这些任务形式化为酉合成问题。它将Uhlmann变换问题定义为核心任务，并证明该问题在avgUnitaryQIP类中是完全的，从而将其与多项式空间量子计算和零知识协议联系起来，实现了在单一复杂性理论视角下统一多种量子信息任务。

ABSTRACT

State transformation problems such as compressing quantum information or breaking quantum commitments are fundamental quantum tasks. However, their computational difficulty cannot easily be characterized using traditional complexity theory, which focuses on tasks with classical inputs and outputs. To study the complexity of such state transformation tasks, we introduce a framework for unitary synthesis problems, including notions of reductions and unitary complexity classes. We use this framework to study the complexity of transforming one entangled state into another via local operations. We formalize this as the Uhlmann Transformation Problem, an algorithmic version of Uhlmann's theorem. Then, we prove structural results relating the complexity of the Uhlmann Transformation Problem, polynomial space quantum computation, and zero knowledge protocols. The Uhlmann Transformation Problem allows us to characterize the complexity of a variety of tasks in quantum information processing, including decoding noisy quantum channels, breaking falsifiable quantum cryptographic assumptions, implementing optimal prover strategies in quantum interactive proofs, and decoding the Hawking radiation of black holes. Our framework for unitary complexity thus provides new avenues for studying the computational complexity of many natural quantum information processing tasks.

研究动机与目标

• 将量子态变换任务（如将一个纠缠态变换为另一个）的计算复杂性，通过一种新的复杂性理论框架进行形式化。
• 将Uhlmann变换问题定义并分析为Uhlmann定理的算法版本，捕捉通过局部操作变换量子态的复杂性。
• 建立Uhlmann变换问题与多项式空间量子计算（UnitaryPSPACE）及零知识量子交互证明（avgUnitaryQIP）之间的联系。
• 证明Uhlmann变换问题能够捕捉多种量子信息任务的复杂性，包括解码噪声通道、破解量子密码体制以及解码黑洞辐射。
• 为理解超越经典输入-输出模型的基本量子信息处理任务的难度，提供统一的复杂性理论基础。

提出的方法

• 提出酉合成问题与酉复杂性类的框架，将传统复杂性理论扩展至具有量子输入和输出的固有量子任务。
• 引入酉合成问题之间的归约，并定义平均情况和分布变体，以模拟现实计算场景。
• 将该框架应用于形式化Uhlmann变换问题：基于Uhlmann定理关于保真度与纯化的结论，通过局部酉操作将一个双粒子态变换为目标态。
• 利用量子线路构造和通道完备化技术，模拟部分等距变换与保迹距离性质，实现误差有界的变换。
• 运用Gentle Measurement引理与Fuchs–van de Graaf不等式，控制基于纯化的论证中的迹距离，确保在态压缩过程中误差可控。
• 构建了量子线路E和D，可将一个量子态压缩至s量子比特，误差由40ν^{1/4}有界，其中ν依赖于平滑熵与保真度参数。

实验结果

研究问题

• RQ1 通过局部操作将一个纠缠量子态变换为另一个的计算复杂性是什么？它如何在复杂性理论中被形式化？
• RQ2 Uhlmann变换问题与已知的量子复杂性类（如UnitaryPSPACE和avgUnitaryQIP）有何关系？
• RQ3 Uhlmann变换问题能否作为捕捉量子态变换难度的新复杂性类的完全问题？
• RQ4 该框架在多大程度上可用于表征解码量子通道、破解可 falsifiable 量子密码假设以及解码黑洞辐射的复杂性？
• RQ5 平滑熵与保真度在决定此类变换的成功概率与误差界方面起什么作用？

主要发现

• Uhlmann变换问题在复杂性类avgUnitaryHVZK中是完全的，建立了态变换与零知识量子协议之间的直接联系。
• 该问题被证明在avgUnitaryQIP中是完全的，表明量子交互证明能够捕捉态变换任务的复杂性。
• 本文证明了avgUnitaryQIP = avgUnitaryPSPACE，建立了在平均情况设定下，量子交互证明与多项式空间量子计算之间深刻的等价性。
• 构建了一个基于线路的压缩协议，可将一个量子态压缩至s量子比特，误差至多为δ，其中s = H^ε_max(B)_ρ + 8 log(4/δ)，且ε = (δ/40)^4。
• 该框架成功表征了解码噪声量子通道、破解可 falsifiable 量子密码假设以及在量子交互证明中实现最优证明者策略的复杂性。
• 本文为Uhlmann变换提供了极化引理，表明在特定熵条件下，可使用随机Clifford酉操作实现高保真度态变换，且误差有界。