[论文解读] A CS guide to the quantum singular value transformation

Ewin Tang, Kevin Tian|arXiv (Cornell University)|Feb 28, 2023

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提供了一份简化的、面向计算机科学的量子奇异值变换（QSVT）框架指南，通过余弦正弦分解而非Jordan引理重新诠释其核心构造，并利用截断切比雪夫级数统一有界多项式逼近。它建立了一个新的、更易访问的有界逼近元定理，其结果与[戈斯莱19]中的先前工作相比不逊色甚至更优，适用于哈密顿量模拟、线性系统求解和量子优化。

ABSTRACT

We present a simplified exposition of some pieces of [Gilyén, Su, Low, and Wiebe, STOC'19, arXiv:1806.01838], which introduced a quantum singular value transformation (QSVT) framework for applying polynomial functions to block-encoded matrices. The QSVT framework has garnered substantial recent interest from the quantum algorithms community, as it was demonstrated by [GSLW19] to encapsulate many existing algorithms naturally phrased as an application of a matrix function. First, we posit that the lifting of quantum singular processing (QSP) to QSVT is better viewed not through Jordan's lemma (as was suggested by [GSLW19]) but as an application of the cosine-sine decomposition, which can be thought of as a more explicit and stronger version of Jordan's lemma. Second, we demonstrate that the constructions of bounded polynomial approximations given in [GSLW19], which use a variety of ad hoc approaches drawing from Fourier analysis, Chebyshev series, and Taylor series, can be unified under the framework of truncation of Chebyshev series, and indeed, can in large part be matched via a bounded variant of a standard meta-theorem from [Trefethen, 2013]. We hope this work finds use to the community as a companion guide for understanding and applying the powerful framework of [GSLW19].

研究动机与目标

• 通过简化其技术基础，使计算机科学家更容易理解量子奇异值变换（QSVT）框架。
• 通过余弦正弦分解重构QSVT的推导过程，作为对Jordan引理更明确且更稳健的替代方案。
• 利用截断切比雪夫级数，统一并简化QSVT中各类有界多项式逼近的构造。
• 为在量子算法设计中应用有界切比雪夫截断于标准函数提供用户指南。
• 在QSVT约束下，建立指数函数有界多项式逼近所需最小次数的新下界。

提出的方法

• 通过余弦正弦分解重新诠释QSVT的构造，为块编码矩阵变换提供更清晰、更结构化的视角。
• 用基于余弦正弦分解的更强、更计算透明的框架取代对Jordan引理的依赖。
• 应用Trefethen有界版本的元定理于切比雪夫截断，推导光滑及分段光滑函数的多项式逼近。
• 使用切比雪夫级数截断作为统一机制来构造有界逼近，避免使用泰勒级数或傅里叶级数等临时方法。
• 推导出一个新的元定理（定理21），在有界性约束下对分段光滑函数的逼近误差进行界定。
• 证明了在逼近流程中，保 parity 的函数（偶函数或奇函数）保持其对称性，从而支持对称感知的构造。

实验结果

研究问题

• RQ1 QSVT框架能否通过余弦正弦分解而非Jordan引理重新表达，从而实现更清晰、更系统的推导？
• RQ2 QSVT的有界多项式逼近能否基于切比雪夫级数截断统一于同一框架之下？
• RQ3 在QSVT约束下，实现指数函数有界多项式逼近所需的最小次数是多少？
• RQ4 与泰勒级数或傅里叶级数等先前方法相比，有界切比雪夫截断方法在误差和次数要求方面表现如何？
• RQ5 能否在不依赖QSVT门谱约束的前提下，独立建立指数函数有界逼近多项式次数的下界？

主要发现

• 余弦正弦分解为QSVT提供了比Jordan引理更明确且更稳健的基础，简化了对块编码矩阵变换的分析。
• 所有[戈斯莱19]中的有界多项式逼近均可通过截断切比雪夫级数统一并匹配，且新元定理（定理21）避免了对泰勒级数或傅里叶级数的依赖。
• 新的有界切比雪夫截断方法在误差上最多损失一个对数因子，与[GSLW19, 推论66]相比，但对目标函数的假设更弱。
• 对于指数函数，与无界逼近相比，在QSVT下实现有界性需要的次数是二次方增长的，这由一个新的逼近理论下界所证实。
• 逼近过程保持了奇偶性：若目标函数为偶函数或奇函数，则所得多项式也保持相应奇偶性，从而支持对称感知的算法设计。
• 该方法实现了如下误差界：$\|f - q\|_{[-(1-\delta),1-\delta]} \leq \varepsilon$，$\|q\|_{[1-\delta,1]} \leq 1+\varepsilon$，且$\|q\|_{[-b,-1]\cup[1,b]} \leq \varepsilon$，所需次数为$m = O\left(\frac{b}{\delta}\log\frac{b}{\delta\varepsilon}\right)$。