与此同时,巨大的研究兴趣催化了新型量子算法和子程序的发现 [ 4 ]。其中仅有少数算法和子程序构成了大多数已知量子算法的基石,即量子搜索、量子相位估计和哈密顿模拟。它们乍一看并没有结构上的相似之处,但令人惊讶的是,它们都可以用量子奇异值变换 (QSVT) [ 1 ] 的框架来表述。QSVT 由 Gily´en 等人于 2018 年开发,是一种允许对包含在更大的酉算子中的非酉矩阵进行多项式变换的过程。由于可实现的多项式集非常广泛,因此 QSVT 可应用于众多场景。由此产生的算法具有吸引人的特性,例如“概念上简单且高效” [ 8 ]。由于几乎所有量子算法都可以用 QSVT 来表述,因此它也被称为“量子算法的大统一”[ 1 ]。
与传统算法相比,量子算法在解决各种问题时都具有显著的加速效果。量子搜索、量子相位估计和哈密顿模拟算法是这一优势的最有力论据,这些算法是大量复合量子算法的子程序。最近,许多量子算法通过一种称为量子奇异值变换 (QSVT) 的新技术结合在一起,该技术使人们能够对嵌入酉矩阵的线性算子的奇异值进行多项式变换。在关于 QSVT 的开创性 GSLW'19 论文 [Gilyén et al. , ACM STOC 2019] 中,涵盖了许多算法,包括振幅放大、量子线性系统问题方法和量子模拟。在这里,我们通过这些发展提供了一个教学教程,首先说明了如何将量子信号处理推广到量子特征值变换,QSVT 自然而然地从中产生。与 GSLW'19 并行,我们使用 QSVT 构建直观的量子算法,用于搜索、相位估计和汉密尔顿模拟,并展示特征值阈值问题和矩阵求逆的算法。本概述说明了 QSVT 是如何成为一个包含三种主要量子算法的单一框架的,这表明量子算法实现了大统一。
最近的研究表明,量子信号处理 (QSP) 及其多量子比特提升版本量子奇异值变换 (QSVT) 统一并改进了大多数量子算法的表示。QSP/QSVT 通过交替分析,用多项式函数无意识地变换酉矩阵子系统的奇异值的能力来表征;这些算法在数值上是稳定的,在分析上很容易理解。也就是说,QSP/QSVT 需要对单个 oracle 进行一致访问,更不用说计算两个或多个 oracle 的联合属性;如果能够将 oracle 连贯地相互对立,那么确定这些属性的成本就会低得多。这项工作引入了多变量 QSP 的相应理论:M-QSP。令人惊讶的是,尽管多元多项式的代数基本定理并不存在,但存在必要和充分条件,在这些条件下,理想的稳定多元多项式变换是可能的。此外,QSP 协议使用的经典子程序由于不明显的原因在多变量设置中仍然存在,并且保持数值稳定和高效。根据一个明确定义的猜想,我们证明可实现的多变量变换系列的约束尽可能松散。M-QSP 的独特能力是无意识地近似多个变量的联合函数,从而带来了与其他量子算法不相称的新型加速,并提供了从量子算法到代数几何的桥梁。
量子线性求解器是求解方程线性系统的最早且众所周知的量子算法之一是Harrow,Hassidim和Lloyd [8]。这实现了复杂性的指数改善(即运行时)。随后在Childs等人的量子算法中获得了相对于精度的提高复杂性。[9]。这是通过基于量子奇异值转换(QSVT)代替[8]的量子相估计来实现的。Childs等人的算法。可以看作是Gilyen等人的更通用QSVT算法的特殊情况。[10]。应注意的是,由于州准备或状态读数要求,任何潜在的指数改进都处于风险的危险中[11]。这需要以某种形式解决,而无需使用“被动QRAM”,而没有已知的可扩展物理实现[12]。
b'我们提出了一系列量子算法,用于计算各种量子熵和距离,包括冯·诺依曼熵、量子 R\xc2\xb4enyi 熵、迹距离和 \xef\xac\x81delity。所提出的算法在低秩情况下的表现明显优于最知名的(甚至是量子的)算法,其中一些算法实现了指数级加速。特别是,对于秩为 r 的 N 维量子态,我们提出的用于计算冯·诺依曼熵、迹距离和 \xef\xac\x81delity(加性误差 \xce\xb5 内)的量子算法的时间复杂度为 \xcb\x9c O r 2 /\xce\xb5 2 、 \xcb\x9c O r 5 /\xce\xb5 6 和 \xcb\x9c O r 6 。 5 /\xce\xb5 7 . 5 1 。相比之下,已知的冯·诺依曼熵和迹距离算法需要量子时间复杂度为 \xe2\x84\xa6( N ) [AISW19,GL20,GHS21],而最著名的 \xef\xac\x81delity 算法需要 \xcb\x9c O r 21 . 5 /\xce\xb5 23 . 5 [WZC + 21]。我们的量子算法的关键思想是将块编码从先前工作中的幺正算子扩展到量子态(即密度算子)。它是通过开发几种方便的技术来操纵量子态并从中提取信息来实现的。特别是,我们基于强大的量子奇异值变换(QSVT)[GSLW19],引入了一种用于密度算子及其(非整数)正幂的特征值变换的新技术。我们的技术相对于现有方法的优势在于,不需要对密度算子进行任何限制;与之形成鲜明对比的是,以前的方法通常需要密度算子的最小非零特征值的下限。此外,我们还提供了一些独立感兴趣的技术,用于(次规范化)密度算子的迹估计、线性组合和特征值阈值投影仪,我们相信这些技术在其他量子算法中会很有用。'