作者: Xiaojing Dong, Yizhe Peng, Yue Yu

1. 核心物理图象

本文的核心物理图象是将一个“随时间变化”的复杂量子系统（非自治线性非酉动力学）转化为一个“不随时间变化”的简单系统（自治系统）来处理。这就像在拍摄一部电影时，通过引入一个“时钟变量”作为额外的空间维度，将动态的场景“冻结”成一张静态的全景图。作者通过这种“自主化”框架，让原本只能处理静态问题的量子算法也能高效地求解动态问题。其主要贡献在于提供了一个通用、模块化的转化框架，并能与多种现有的量子求解器结合，显著提升了计算精度和效率。

2. 关键术语解释

• Autonomization (自主化)：一种数学技巧，通过引入一个额外的“时钟变量”将含时间的方程组（非自治）转化为不含时间的方程组（自治）。在本文中，它是整个算法的基石，使得原本复杂的时变问题可以被静态问题求解器处理。
• Schrödingerization (薛定谔化)：一种将非酉（耗散）动力学过程编码为酉（保真）演化过程的方法。本文利用它来处理转化后的自治系统，将非酉问题嵌入到一个更大的希尔伯特空间中，从而可以用标准的量子线路模拟。
• Block-encoding (块编码)：一种将任意矩阵（不一定是酉矩阵）嵌入到一个大酉矩阵的左上角的技术。这是量子计算机访问和处理一般线性算子的标准方式，本文用它来将转化后的系统矩阵“喂”给量子算法。

3. 主要贡献

• 通用自主化框架：首次为含时非齐次线性微分方程建立了一个通用的“自主化”框架。该框架能将时变问题转化为时不变问题，并与任何现有的、针对时不变系统的量子ODE求解器兼容，具备高度的模块化和灵活性。
• 精度依赖的突破：在结合薛定谔化方法后，新算法的精度依赖从现有的 log²(1/ε) 提升至 log^(5/4)(1/ε)，这是一个理论上的重要改进，意味着达到同等精度所需的计算资源更少。
• 放宽算法适用条件：在将自主化框架与泰勒展开（BCOW）算法结合时，通过引入矩阵指数增长因子，成功移除了原BCOW算法对系数矩阵可对角化的限制，使其能应用于更广泛的非可对角化系统。

4. 研究方法

作者首先通过引入一个“时钟变量”，将原始的时变非齐次系统重写为一个高维空间中的自治对流方程。随后，他们利用傅里叶谱方法在该时钟变量方向进行离散化，从而得到一个显式的、时不变的线性系统。针对这个新系统，作者分别集成了两种主流量子求解器：(1) 薛定谔化方法，将非酉系统转化为酉系统进行模拟；(2) 泰勒展开（BCOW）算法，直接求解线性系统。最终，所有的矩阵操作都通过“块编码”技术实现，以便在量子计算机上高效执行。

5. 实验结果与结论

论文通过一个随时间调制的双腔系统（time-modulated two-cavity system）进行了数值验证。实验结果表明，无论是结合薛定谔化还是BCOW算法的自主化方法，其恢复的腔内能量都与参考解高度吻合，证实了该框架的可行性和正确性。这项工作为量子计算机求解一大类含时间的科学计算问题（如偏微分方程）开辟了新道路。未来的工作可以进一步探索将该框架应用于更实际的含时偏微分方程，并尝试优化因处理非齐次项而引入的额外开销，以及将对系数函数的光滑性要求放宽至有限正则性情况。

6. 论文标签

量子算法, 模拟, 量子复杂性, 编译与优化, 量子信息

📄 点击此处展开/折叠原文 PDF

原文链接： A unifying framework for quantum algorithms for time-dependent non-unitary dynamics