[论文解读] Quantum Advantages in (n,d)->1 Random Access Codes

Andris Ambainis, Dmitry Kravchenko+3 more|arXiv (Cornell University)|Oct 11, 2015

Quantum Computing Algorithms and Architecture参考文献 16被引用 4

一句话总结

本文证明了在经典 (n,d)→1 随机访问编码中，'多数编码-恒等解码'策略是最优的，为高维 RAC 中的量子优势奠定了坚实基础。本文刻画了所有最优经典策略，表明当 n > 2 且 d > 2 或 n 为奇数时，恰好存在 (d!)^n 种此类确定性策略。

ABSTRACT

A random access code (RAC), corresponding to a communication primitive with various applications in quantum information theory, is an instance of a preparation-and-measurement scenario. In this work, we consider (n,d)-RACs constituting an "n"-length string, constructed from a "d" size set of letters, and send an encoding of the string in a single d-level physical system and present their quantum advantages. We first characterize optimal classical RACs, proving that the well-known classical strategy known as majority-encoding-identity-decoding is indeed optimal. We then construct a quantum protocol by exploiting only two incompatible measurements, the minimal requirement, and show the advantages beyond the classical one. We also discuss the generality of our results and whether quantum advantages are valid for all types of (n, d)->1 RACs.

研究动机与目标

• 严格证明此前未经证明的假设：在经典 (n,d)→1 随机访问编码中，'多数编码-恒等解码'策略是最优的。
• 刻画 (n,d)→1 RAC 中所有最优确定性经典策略的完整集合。
• 为评估高维随机访问编码中的量子优势提供坚实的经典基准。
• 解决一个开放问题：是否存在其他经典策略可优于多数编码方法。
• 通过确立精确的经典极限，使经典与量子 RAC 协议之间的比较更加可靠。

提出的方法

• 将 (n,d)→1 RAC 任务形式化为一种通信博弈：Alice 将一个长度为 n、来自 d 级字母表的词编码为一个 d 级系统，Bob 解码一个随机选择的位。
• 将成功概率定义为所有输入和随机索引下正确猜测的平均比例。
• 使用字符串近似理论：若解码字符串 f_y 与输入 x 在 k 个位置上一致，则称 f_y k-近似 x。
• 证明最优策略必须满足性质 2：对于每个位置 j（最多可能一个例外），所有解码字符串 f_y 的第 j 个元素在所有 y 上互不相同。
• 证明满足性质 2 的策略可达到最大平均成功概率，而违反该性质的策略则严格次优。
• 通过组合分析计算最优确定性策略的数量，证明在 n > 2、d > 2 或 n 为奇数的条件下，其数量恰好为 (d!)^n。

实验结果

研究问题

• RQ1 在经典 (n,d)→1 随机访问编码中，'多数编码-恒等解码'策略是否真正最优？
• RQ2 (n,d)→1 RAC 中所有最优确定性经典策略的完整集合是什么？
• RQ3 对于给定的 n 和 d，存在多少种最优经典策略？在何种条件下其数量恰好为 (d!)^n？
• RQ4 违反性质 2（每位置元素互异）的策略是否可能获得高于满足该性质策略的成功概率？
• RQ5 对于一般的 n 和 d，经典 (n,d)→1 RAC 的最大成功概率的精确解析形式是什么？

主要发现

• 已证明 '多数编码-恒等解码' 策略是 (n,d)→1 RAC 中最优经典策略之一。
• 所有最优确定性经典策略均满足性质 2：对于所有除最多一个索引 j 外的所有 j，所有 y ∈ X 的解码字符串 f_y 的第 j 个元素在 y 上互不相同。
• 当 n > 2 且 d > 2 或 n 为奇数时，恰好存在 (d!)^n 种最优确定性经典策略。
• 任何违反性质 2 的策略，其平均成功概率严格低于任何满足该性质的策略。
• 经典 (n,d)→1 RAC 的最优成功概率被满足性质 2 的策略所达到的值所上界。
• 对最优策略的刻画为评估高维 RAC 中的量子优势提供了严格的经典基线。