[论文解读] Quantum Advantage on Information Leakage for Equality

Juan Miguel Arrazola, Dave Touchette|arXiv (Cornell University)|Jul 26, 2016

Wireless Communication Security Techniques参考文献 10被引用 3

一句话总结

本文在同时消息传递（SMP）模型中，为计算相等函数的经典协议建立了信息泄露的有限尺寸下界，展示了实际的量子优势。通过改进通信复杂度界限，并利用马尔可夫不等式和纽曼型论证将这些界限与信息泄露联系起来，作者表明，对于实际的输入规模，量子协议的信息泄露可比经典协议低指数级。

ABSTRACT

We prove a lower bound on the information leakage of any classical protocol computing the equality function in the simultaneous message passing (SMP) model. Our bound is valid in the finite length regime and is strong enough to demonstrate a quantum advantage in terms of information leakage for practical quantum protocols. We prove our bound by obtaining an improved finite size version of the communication bound due to Babai and Kimmel, relating randomized communication to deterministic communication in the SMP model. We then relate information leakage to randomized communication through a series of reductions. We first provide alternative characterizations for information leakage, allowing us to link it to average length communication while allowing for shared randomness (pairwise, with the referee). A Markov inequality links this with bounded length communication, and a Newman type argument allows us to go from shared to private randomness. The only reduction in which we incur more than a logarithmic additive factor is in the Markov inequality; in particular, our compression method is essentially tight for the SMP model with average length communication.

研究动机与目标

• 通过为经典协议建立信息泄露的有限尺寸下界，弥合渐近量子优势与实际可行性之间的差距。
• 证明在现实世界、非渐近输入规模下，量子协议在信息泄露方面可优于经典协议。
• 通过新颖的约化方法，为SMP模型中的通信复杂度与信息泄露提供严格的关联。
• 改进SMP模型中的通信复杂度界限，特别是针对具有私有随机性的随机化协议。
• 验证信息泄露是SMP模型中一个有意义且紧致的隐私度量，其与平均通信成本的关联程度最多相差对数因子。

提出的方法

• 推导Babai-Kimmel通信界限在SMP模型中关于随机化与确定性通信关系的有限尺寸改进。
• 将信息泄露重新表述为具有共享随机性的平均长度通信（Alice/Charlie与Bob/Charlie之间成对）。
• 应用马尔可夫不等式，将平均长度通信界限转换为有界长度通信，仅引入对数加法惩罚。
• 使用纽曼型论证，将具有共享随机性的协议转换为等价的具有私有随机性的协议，同时保持误差和通信界限不变。
• 利用Harsha等人提出的一条单消息压缩结果，实现通信成本与信息泄露之间紧密的约化。
• 将所有约化组合起来，将经典信息泄露与改进后的通信下界联系起来，表明其紧致性最多相差对数因子。

实验结果

研究问题

• RQ1 能否为计算相等性的经典SMP协议建立信息泄露的有限尺寸下界？
• RQ2 经典SMP协议中的信息泄露在多大程度上随输入规模增长？在有限范围内能否进行量化？
• RQ3 对于实际输入规模，量子协议能否实现比经典协议更低的信息泄露的可证明优势？
• RQ4 在具有共享随机性的SMP模型中，信息泄露与平均通信成本之间的关系有多紧密？
• RQ5 在此背景下，将平均长度通信转换为有界长度通信时，最小的加法惩罚是多少？

主要发现

• 本文为计算相等性的经典SMP协议建立了信息泄露的有限尺寸下界，表明其随输入规模 $ n $ 的增长呈二次方关系，即 $ \Omega(n^2) $。
• 改进的通信复杂度界限导出下界 $ CC_{priv}(EQ_n, \varepsilon) \geq 2\sqrt{g_3(\varepsilon)n} - g_3(\varepsilon) - 6 $，该结果比先前界限提升了一个多数量级。
• 信息泄露被证明与具有共享随机性的平均通信成本紧密相关，两者差异最多为对数加法因子。
• 马尔可夫不等式步骤是约化链中唯一的显著惩罚，表明该压缩方法在SMP模型中本质上是紧致的。
• 量子协议（如量子指纹识别）的信息泄露量级为 $ \log n $，相比有限 $ n $ 下经典协议的 $ \Omega(n^2) $ 下界，呈指数级降低，展示了实际的量子优势。
• 分析确认信息泄露是SMP模型中稳健且有意义的隐私度量，其与通信成本一致，支持与量子协议的公平比较。