✨ 要点🔬 技术摘要
想象一个这样的世界:计算机不再仅仅使用“开”与“关”这种二进制开关语言进行交流,而是能够像小提琴弦的振动或钟摆的摆动一样,与连续的波浪共舞。这就是量子计算领域,科学家们正试图在这个领域构建能够解决当今超级计算机也无法处理的复杂问题的机器。这些机器大多使用被称为“量子比特”(qubits)的微小位,它们就像数字硬币,可以是正面、反面,也可以是两者的某种诡异混合状态。但是,某些问题——例如模拟分子的振动或宇宙中力的行为——本质上是“波动”且连续的。为了应对这些问题,科学家正在构建一种混合机器,将量子比特精准的逻辑控制与“量子模”(qumodes)平滑流动的特性结合起来,量子模是作为连续波存在的量子振荡器。核心问题在于:我们如何让这些机器执行它们所需的特定“扭动”数学运算?通常,我们试图用简单的直线步骤(多项式)来近似这些扭动,但这就像试图只用方块积木来画出一个完美的圆圈;这既费时又永远无法完全契合。
现在出现了一个新想法:与其强迫波形变成方块,如果我们在计算机一开始就赋予它直接绘制曲线的工具呢?科学家们提出了一套“三角函数门”(trigonometric gates),让计算机可以直接基于正弦和余弦波进行操作。这些是模拟重复或循环事物(如旋转的陀螺或盒子中的粒子)的天然构建模块。但直到现在,这主要还只是纸面上优美的理论。大问题在于:我们真的能在真实的机器中构建出这些扭动的工具吗?它们的表现是否真如数学预测的那样出色?
在这篇论文中,研究团队将这些理论上的三角函数门,利用由“陷阱离子”(trapped ions)——即被无形磁场固定住的微小带电原子——构成的量子计算机进行了真实的构建。他们不仅仅是模拟了这些门,还在 QSCOUT 平台上物理实现了它们,这是一个真实的量子测试平台。他们专注于两种特定类型的门:“单量子模余弦门”(单个波进行的余弦之舞)和“双量子模余弦门”(两个波共同起舞)。通过利用激光脉冲和额外的“辅助”原子(辅助量子比特)的巧妙技巧,他们通过一种称为“特罗特分解”(Trotterization)的逐步方法,成功近似了这些复杂的非多项式操作。
团队发现,他们的现实世界实验与理论预测吻合得惊人地好。他们测量了在应用这些门之后,量子波的能量层级(Fock 态)是如何变化的,并发现结果与他们的计算机模拟高度一致,前提是必须考虑到原子并非完美静止且会随时间产生“噪声”(去相位)这一事实。他们发现,通过仔细检查辅助原子的状态并忽略那些出错的运行过程(一种称为“后选择”的技术),他们可以清理结果,从而更清晰地观察到门函数的真实威力。这项研究证实,这些三角函数门不仅是数学幻想,更是可行且可重复使用的构建模块。他们成功演示了这些门可以生成量子波“相空间”中的复杂非高斯形状——本质上是在创造新的、有用的量子态,而这些状态是简单的直线操作无法制造出来的。这为未来的量子计算机模拟复杂的物理系统(从振动的分子到奇异的宇宙理论)铺平了道路,使其效率和准确度比以往任何时候都更高。
技术摘要:利用捕获离子基准测试三角连续变量门原语
问题陈述 混合连续变量(CV)与离散变量(DV)量子架构为处理涉及无限维希尔伯特空间(如晶格规范理论、转子模型和分子动力学)的问题提供了一条灵活的路径。虽然标准的 CV 通用性通常通过正则算符(x ^ , p ^ \hat{x}, \hat{p} x ^ , p ^ )的有限多项式函数来构建,但许多感兴趣的物理系统具有周期性结构(例如紧致规范变量、sine-Gordon 相互作用),这些结构并不自然地对应于低阶多项式。使用多项式来近似这些周期性算符通常需要高阶项和深层电路。近期的理论工作提出,三角连续变量门集是处理此类任务的自然原语。然而,在此项工作之前,缺乏针对这些非多项式原语在物理硬件上的实验级门表征,特别是关于其性能、误差剖面以及非高斯生成能力的表征。
方法论 作者在 QSCOUT 捕获离子量子平台上,利用 171 Yb + ^{171}\text{Yb}^+ 171 Yb + 离子链,实验演示并基准测试了基础三角 CV 门。
硬件: 实验利用三离子(用于单 qumode)和四离子(用于双 qumode)链的集体运动模式作为 qumode,并以超精细态作为辅助比特。
门实现: 目标门 e − i θ cos ( c x ^ ) e^{-i\theta \cos(c\hat{x})} e − i θ c o s ( c x ^ ) (单模)和 e − i θ cos ( c 1 x ^ 1 + c 2 x ^ 2 ) e^{-i\theta \cos(c_1\hat{x}_1 + c_2\hat{x}_2)} e − i θ c o s ( c 1 x ^ 1 + c 2 x ^ 2 ) (双模)通过有限步 Trotter 展开实现。这些电路被分解为基础混合操作:条件位移(CD)和比特旋转(R z R_z R z ),通过红侧带和蓝侧带耦合来实现。
读取: 由于捕获离子中缺乏直接的运动态读取手段,作者采用了一个耦合到运动模式的辅助“探测”比特。通过在应用蓝侧带(BSB)相互作用后测量探测比特,重建 Fock 态布居数,通过分析产生的拉比振荡来提取跃迁概率。
误差建模: 为了将实验数据与理论进行对比,作者开发了一个开放系统模拟模型,其中包括:
初始化误差: 建模为平均声子占据数为 n ˉ \bar{n} n ˉ 的热态。
动力学误差: 由运动去相干主导(通过带有塌缩算符 n ^ \hat{n} n ^ 的 Lindblad 动力学建模)。
定标误差: 通过由于失谐导致的条件位移中的相位旋转进行建模。
后选择: 电路在门比特保持在 ∣ ↑ ⟩ |\uparrow\rangle ∣ ↑ ⟩ 态的情况下进行后选择,以过滤掉由有限步近似引入的破坏宇称分量。
核心贡献
实验实现: 本工作首次在捕获离子平台上实现了基础三角 CV 门(单模和双模余弦门)。
门级表征: 不同于以往将三角门作为更高层算法组件的研究,本研究隔离了这些原语本身。它通过 Fock 空间跃迁概率对这些原语进行表征,分析了其对门参数(θ , c \theta, c θ , c )、Trotter 步数和后选择的依赖关系。
解析框架: 作者推导了理想门矩阵元、特征函数、Wigner 函数以及 Wigner 对数负度(mana)的解析表达式。这建立了测量的可观测量与门生成的非高斯相空间结构之间的联系。
误差分析: 研究量化了实验缺陷的影响,确定运动去相干是主要的误差来源,其次是残余热初始化和位移定标偏差。
结果
跃迁概率: 单 qumode 电路(c ∈ { 1 , 2 , 3 } c \in \{1, 2, 3\} c ∈ { 1 , 2 , 3 } 且 Trotter 步数 i ∈ { 1 , 2 , 4 , 8 } i \in \{1, 2, 4, 8\} i ∈ { 1 , 2 , 4 , 8 } )的实验测量所得的 Fock 态跃迁概率与开放系统模拟表现出良好的一致性。数据证实,增加 Trotter 步数会驱动系统趋向于精确的理想门行为。
双模动力学: 对于双 qumode 门,模分辨边缘分布展示了非平凡的布居转移。至关重要的是,数据表明在双模情况下奇数 Fock 能级布居有所增强(相比之下,在单模后选择数据中这些布居被抑制),这作为双模余弦门固有的总宇称守恒的间接特征。
相空间诊断: 重建的两步 Trotter 近似特征函数在包含去相迫(γ ≈ 0.19 \gamma \approx 0.19 γ ≈ 0.19 )、热占据(n ˉ ≈ 0.14 \bar{n} \approx 0.14 n ˉ ≈ 0.14 )和位移定标角(ϕ ≈ − 6 ∘ \phi \approx -6^\circ ϕ ≈ − 6 ∘ )时与理论预测相匹配。
非高斯性: 理论分析确认,这些门能从高斯输入生成 Wigner 负度(mana),且负度的增长随门参数缩放,并在长时间演化下趋于渐近界限。
意义 本文确立了三角 CV 门作为玻色子哈密顿量模拟和需要本质非多项式操作的混合量子算法的可重用、硬件高效的构建模块。通过证明这些门可以在当前的捕获离子硬件上实现并表征,这项工作为未来模拟周期性玻色子系统、紧致规范场和转子模型提供了定量基础。作者指出,尽管目前的限制(如运动去相干和缺乏直接的模间相关性读取)限制了模拟的深度和复杂度),但所展示的原语为具有周期性结构的物理问题提供了一种自然的替代方案,而非使用多项式分解。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。