[论文解读] Simulating Quantum Correlations with Finite Communication

Oded Regev, Ben Toner|ArXiv.org|Aug 7, 2007

Quantum Computing Algorithms and Architecture参考文献 35被引用 12

一句话总结

本文证明，仅需两比特经典通信即可通过基于球面几何与球面四面体体积计算的协议，精确模拟任意两方共享d维量子态的贝尔非定域量子关联。该研究解决了长期悬而未决的开放问题，表明有限通信——具体而言仅需两比特——即可完全重现量子非定域关联，而无需先前方法中所需的无界通信量。

ABSTRACT

Assume Alice and Bob share some bipartite $d$-dimensional quantum state. A well-known result in quantum mechanics says that by performing two-outcome measurements, Alice and Bob can produce correlations that cannot be obtained locally, i.e., with shared randomness alone. We show that by using only two bits of communication, Alice and Bob can classically simulate any such correlations. All previous protocols for exact simulation required the communication to grow to infinity with the dimension $d$. Our protocol and analysis are based on a power series method, resembling Krivine's bound on Grothendieck's constant, and on the computation of volumes of spherical tetrahedra.

研究动机与目标

• 解决关于有限通信是否能模拟两方之间任意量子关联的开放问题。
• 在仅使用共享随机性（失败）与无界通信（成功）之间建立桥梁，通过确定最小通信成本来填补这一差距。
• 设计一种协议，仅使用两比特通信即可精确重现任意维度R^n中单位向量a与b的量子关联E[αβ] = ⟨a,b⟩。
• 基于球面四面体与Krivine型界，构建一个几何与分析框架，以证明两比特通信的充分性。

提出的方法

• 协议采用受Krivine对Grothendieck常数的界启发的幂级数方法，分析关联结构。
• 利用球面几何建模通信策略，根据Alice的输出与传输比特将单位球面划分为区域。
• 通过计算球面四面体的体积，对不同通信策略下关联近似误差进行界定。
• 采用基于单纯形的划分方案，其中k=1，证明其在ε趋于0的极限下可最小化误差。
• 通过分析Alice球面被划分为四个集合R(α,c)的确定性协议，推导Bob的最优响应策略。
• 推测需借助拓扑论证与Borsuk-Ulam定理的推广，方能严格证明协议的最优性。

实验结果

研究问题

• RQ1 是否可仅通过有限经典通信精确模拟量子关联？若可，其最小通信成本为何？
• RQ2 是否存在一种协议，仅使用两比特通信即可实现与维度d无关的量子关联精确模拟？
• RQ3 能否证明当k=1时的单纯形协议在小ε下最小化误差项B_n(ε)？
• RQ4 任何模拟量子关联的协议中，通信摘要的最小熵为何？
• RQ5 是否存在一种模拟量子关联的协议，即使在单个摘要出现概率趋于1的极限下，仍不可避免地涉及非平凡通信？

主要发现

• 无论量子态的维度d为何，两比特经典通信均足以精确模拟任意两方之间的贝尔非定域量子关联。
• 所提协议通过利用高维球面上球面四面体的几何性质与体积计算，实现精确模拟。
• 该协议基于确定性策略，根据Alice的输出与传输比特将她的球面划分为四个区域，Bob据此采取最优响应以最小化误差。
• 推测k=1的单纯形协议为最优，且满足lim_{n→∞, ε→0} B_n(ε)/ε ≥ 8/π，表明其在渐近情形下最小化误差。
• 建立了最大摘要概率的下界：在任意有效协议中，任一摘要出现的概率均不可能超过(3−√2)/2 ≈ 0.79，表明非平凡通信不可避免。
• 分析表明，仅靠共享随机性无法模拟量子关联；至少需要一比特通信，而两比特通信已足够。