[论文解读] Exponential Lower Bound for 2-Query Locally Decodable Codes

Iordanis Kerenidis, Ronald de Wolf|arXiv (Cornell University)|Jan 1, 2002

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文通过证明此类编码可仅用一个量子查询进行解码，从而将2-查询局部可解码编码的问题转化为1-查询局部量子可解码编码的问题，进而证明了1-查询局部量子可解码编码的指数下界，最终建立了2-查询局部可解码编码长度的指数下界。该研究还构造了比其经典对应物更短的q-查询局部量子可解码编码，并为私有信息检索系统导出了新的下界。

ABSTRACT

We prove exponential lower bounds on the length of 2-query locally decodable codes. Goldreich et al. recently proved such bounds for the special case of linear locally decodable codes. Our proof shows that a 2-query locally decodable code can be decoded with only 1 quantum query, and then proves an exponential lower bound for such 1-query locally quantum-decodable codes. We also exhibit q-query locally quantum-decodable codes that are much shorter than the best known q-query classical codes. Finally, we give some new lower bounds for (not necessarily linear) private information retrieval systems.

研究动机与目标

• 建立2-查询局部可解码编码长度的指数下界，扩展了以往仅限于线性编码的研究结果。
• 证明2-查询局部可解码编码仅需一个量子查询即可解码，从而在经典与量子解码模型之间建立桥梁。
• 构造出显著短于目前已知经典q-查询编码的q-查询局部量子可解码编码。
• 利用量子解码的洞察，为（非线性）私有信息检索系统导出新的下界。

提出的方法

• 通过利用量子查询复杂度，将2-查询局部可解码编码的问题约化为1-查询局部量子可解码编码的问题。
• 应用已知的量子查询复杂度下界，建立1-查询局部量子可解码编码的指数下界。
• 使用量子态制备与测量来模拟经典解码的量子资源，表明量子解码可将查询复杂度指数级降低。
• 构造出显式家族的q-查询局部量子可解码编码，其长度显著短于经典对应物。
• 将量子解码框架应用于私有信息检索系统，通过将其与量子可解码编码结构关联，导出新的下界。

实验结果

研究问题

• RQ1 能否通过量子解码模型对2-查询局部可解码编码进行表征，以获得更强的下界？
• RQ2 1-查询局部量子可解码编码的最小长度是多少？能否为这类编码证明指数下界？
• RQ3 q-查询局部量子可解码编码的长度与经典q-查询编码相比如何？
• RQ4 能否利用量子解码的洞察，为私有信息检索系统导出新的下界？
• RQ5 在量子解码背景下，线性与非线性局部可解码编码之间存在何种关系？

主要发现

• 建立了2-查询局部可解码编码长度的指数下界，其结果超越了以往仅针对线性编码的已知结论。
• 证明了2-查询局部可解码编码仅需一个量子查询即可解码，展示了在查询复杂度上的量子优势。
• 本文证明了1-查询局部量子可解码编码的指数下界，该结果通过约化关系意味着对2-查询经典编码也存在相同的下界。
• 构造出的q-查询局部量子可解码编码显著短于目前已知的经典q-查询编码。
• 基于量子可解码编码框架，为（非线性）私有信息检索系统导出了新的下界。