[论文解读] A quantum Johnson-Lindenstrauss lemma via unitary t-designs

Pranab Kumar Sen|arXiv (Cornell University)|Jul 23, 2018

Random Matrices and Applications参考文献 15被引用 3

一句话总结

本文提出了一种量子 Johnson-Lindenstrauss 引理，用单位 t-设计替代了海勒随机酉矩阵，以实现高效的量子降维。通过使用 t = O(d₂) 的近似 t-设计，该方法在仅需 O(d₂ log d₁) 随机位数并支持高效量子电路实现的前提下，实现了与经典 Johnson-Lindenstrauss 引理相同的失真保证，为叠加态场景下全海勒随机性的可扩展替代方案。

ABSTRACT

The famous Johnson-Lindenstrauss lemma states that for any set of n vectors, there is a linear transformation into a space of dimension O(log n) that approximately preserves all their lengths. In fact, a Haar random unitary transformation followed by projection onto the first O(log n) coordinates followed by a scaling works as a valid transformation with high probability. In this work, we show that the Haar random unitary can be replaced by a uniformly random unitary chosen from a finite set called an approximate unitary t-design for t = O(log n). Choosing a unitary from such a design requires only polylogarithmic random bits as opposed to exponential in dimension random bits required to choose a Haar random unitary with reasonable precision. Moreover, since such unitaries can be efficiently implemented in the superpositional setting, our result can be viewed as an efficient quantum Johnson-Lindenstrauss transform akin to efficient quantum Fourier transforms widely used in earlier work on quantum algorithms. We prove our result by leveraging a method of Low for showing concentration for approximate unitary t-designs. We discuss algorithmic advantages and limitations of our result and conclude with a toy application to private information retrieval.

研究动机与目标

• 开发经典 Johnson-Lindenstrauss 引理在量子态嵌入中的高效量子类比。
• 用有限且可高效采样的单位 t-设计替代需要指数级随机性的海勒随机酉矩阵。
• 确保量子态之间成对内积在高概率下保持在 (1±ε) 失真范围内。
• 通过减少随机性和电路深度，使该方法在量子算法中具备实际可实施性。
• 探索该变换在私有信息检索等量子协议中的应用。

提出的方法

• 利用 t = Θ(d₂) 的单位 t-设计，在量子降维中近似海勒随机性。
• 使用 TPE（张量积扩展）框架，界定单位酉矩阵张量幂上 t-设计与海勒期望之间的差异。
• 应用马尔可夫不等式，控制投影到 d₂ 维块后范数失真的尾部概率。
• 通过 Low 方法的集中不等式，证明 t = O(d₂) 的 t-设计足以实现高概率下的失真控制。
• 将变换构造为：从 t-设计中应用一个随机酉矩阵，投影到 d₂ 个坐标的随机块上，并按 √(d₁/d₂) 缩放。
• 利用局部随机量子电路的高效构造，其形成具有多对数电路深度和随机性的近似 t-设计。

实验结果

研究问题

• RQ1 在量子 Johnson-Lindenstrauss 变换中，t = O(d₂) 的单位 t-设计是否可以替代海勒随机酉矩阵，同时保持失真保证？
• RQ2 在何种最小 t 值下，t-设计能够以高概率生成有效的量子 Johnson-Lindenstrauss 变换？
• RQ3 与海勒采样相比，实现此类变换需要多少随机位数？
• RQ4 该变换是否能被高效地实现在叠加态的量子电路中？
• RQ5 该变换的算法限制和潜在应用是什么？

主要发现

• 当 t = Θ(d₂) 时，单位 t-设计可确保任意量子态的投影范数在高概率下保持在原始范数的 (1±ε) 范围内。
• 从该 t-设计中采样的随机位数为 O(d₂ log d₁)，显著优于海勒采样所需的 2^Ω(d₁²) 位数。
• 该变换可通过大小为 polylog(d₁) 的量子电路实现，使其在量子算法中具有高效性。
• 该方法通过 TPE 框架实现测度集中，误差随 d₂ 呈指数衰减。
• 块名称的分布近似均匀，虽在经典设置中控制能力有限，但为新量子应用打开了可能。
• 通过一个私有信息检索的简化应用示例，展示了其在未来量子协议中的潜在用途。