• 我们展示了 QPCP 的一个先决条件:一个显式局部哈密顿量,其低能态都需要 ω (log n ) T 门,也就是说,它们非常不稳定。事实上,我们展示了一个更强的结果,即低能态需要 Ω( n ) T 门,而这不一定是 QPCP 所暗示的。
使用一个充分理解的量子系统模拟另一个不太了解的量子系统的想法具有悠久的历史[1]。随着量子信息技术的最新发展,它吸引了许多研究领域。在核和粒子物理学区域,量子模拟吸引了显着但仍在增长的研究兴趣[2-42],因为它的潜力避免了符号问题,从而阻碍了传统的数值方法来计算构成标准模型基础的规范理论的实时动力学。仪表理论是相对论量子场理论在局部量规传输下不变的。局部规格不变性在近期量子计算机上有效,准确地模拟量规理论带来了许多挑战。在许多哈密顿的晶格仪理论中,例如Kogut-susskind Hamiltonian [43],量子链接模型[44,45]和循环 - 弦乐 - 哈德隆公式[46 - 48],相互作用是局部的,并非所有与物理状态相对应的局部自由度。只有满足当地仪表不变性(高斯定律)的状态是物理的。结果,量子硬件中的噪声或量子算法所构图(例如Trotterterization误差)可能会导致模拟中的非物理结果。许多通用误差缓解技术,例如零噪声CNOT外推[49 - 51]不足以完全恢复物理结果,因为算法的门忠诚度和系统误差有限[10]。有许多研究试图解决这个问题,例如整合了高斯定律(例如,参见参考文献[52,53]),添加了违反规格的惩罚项[54 - 61],使用动态驱动器和量子控制的不同规格选择(所谓的“ dy-Namical Declopling” [62]),使用对称性保护[63]和命中后[64],以及
“因此,大部分物理学和整个化学的数学理论所必需的基本物理定律已经被完全了解,困难仅在于这些定律的准确应用会导致方程式过于复杂而无法解出。”
随着在制造和控制由越来越多的量子比特组成的量子设备方面取得的巨大进步,我们现在进入了嘈杂中型量子技术的时代[1]。在控制不同平台上的量子自由度方面已经取得了相关进展[2-4]。然而,在某种程度上,控制这些系统动力学的真正汉密尔顿量往往(至少)部分未知。在这种情况下,最大的挑战是在物理直觉的指导下,推断出一个能够与实验数据相匹配的量子系统的真实汉密尔顿模型。通过查询设备(假设为一个黑匣子),可以测量几个可观测量的时间演变,以学习系统汉密尔顿量。这个过程被称为汉密尔顿学习,多年来一直是量子计算的基础。
引言 — 对称性是自然界的一个重要方面,在物理学中起着基础性的作用 [1,2]。诺特定理指出,汉密尔顿量的对称性与相关物理系统中的守恒量相对应 [3]。汉密尔顿量的对称性表明存在超选择规则 [4,5]。在量子计算和信息领域,对称性可以指示资源的存在或缺乏 [6],并且它有助于提高变分量子算法的性能 [7-10]。通过消除与守恒量相关的自由度,对称性的识别可以简化计算——这是诺特定理的核心。这使得对称性在物理学中非常有用。量子计算是一个相当年轻的研究领域。量子计算机最初作为图灵机的量子力学模型 [ 11 ] 被提出,其魅力在于有可能超越经典计算机。量子计算机最明显的优势在于其计算背后固有的物理原理,包括叠加和纠缠等非经典特性。随着希尔伯特空间规模的扩大,量子系统的经典模拟很快变得难以处理,需要指数级增长的比特来探索多个量子比特自然占据的状态空间。直观地说,这些计算机的量子力学性质允许以直截了当的方式模拟量子系统(参见 [ 12 ] 及其参考文献)。一个相关的例子是哈密顿模拟 [ 13 ],它引起了该领域的浓厚兴趣 [ 14 – 17 ]。已经做了大量工作来理解如何在量子硬件上模拟这些动态,以便有效地实现它们;然而,据我们所知,目前还没有可以在量子计算机上测试汉密尔顿对称性的算法,尽管以这种方式模拟汉密尔顿量和识别汉密尔顿量的对称性都被认为是至关重要的。在本文中,我们给出了量子算法来测试汉密尔顿量演化是否关于离散有限群的作用对称。该性质通常被称为演化的协方差 [18]。如果演化是对称的,那么汉密尔顿量本身也是对称的,因此我们的算法可以测试汉密尔顿对称性。此外,我们表明,对于具有可有效实现的幺正演化的汉密尔顿量,我们可以在量子计算机上有效地执行我们的第一个测试 [17]。这里的“有效”是指在 100 秒内完成计算所需的时间。
理解非平衡量子动力学的一个有力视角是通过其纠缠内容的时间演化。然而,除了纠缠熵的一些指导原则外,迄今为止,人们对纠缠传播的精细特性知之甚少。在这里,我们从纠缠汉密尔顿量的角度揭示了纠缠演化和信息非平衡传播的特征。我们使用最先进的数值技术结合共形场论研究了原型 Bose-Hubbard 模型的量子猝灭动力学。在达到平衡之前,发现纠缠汉密尔顿量中出现了一个电流算子,这意味着纠缠扩散是由粒子流携带的。在长时间极限下,子系统进入稳定阶段,这可以通过纠缠汉密尔顿量动态收敛到热系综的期望来证明。重要的是,稳定状态下的纠缠温度在空间上是独立的,这提供了平衡的直观特征。这些发现不仅为平衡统计力学如何在多体动力学中出现提供了重要信息,而且为从纠缠哈密顿量的角度探索量子动力学提供了工具。
在量子多体物理学中,基态上方谱隙的存在对基态关联和纠缠特性具有重大影响 [1, 2, 3, 4]。谱隙的闭合也与拓扑量子相变的发生密切相关,因为量子相的现代定义依赖于通过 Hastings 的准绝热演化概念存在的带隙汉密尔顿量路径 [5, 6, 7]。在汉密尔顿量的各种“局部”扰动下谱隙的稳定性是一个活跃的研究领域 [8, 9, 10, 11, 12],为了利用这些稳定性结果,拥有广泛的带隙汉密尔顿量网络用于进一步的稳定性分析当然是有益的。一般来说,有关谱隙的问题是物理学中许多最具挑战性的未决问题的核心。两个例子是霍尔丹的猜想,即反铁磁海森堡链的自旋值为整数时存在谱隙[13,14],以及杨-米尔斯质量间隙,这是一个千年难题。有关谱隙相关性的更多背景信息,请参阅[15,7]。鉴于谱隙的存在具有很强的物理意义,人们对确定严格推导谱隙的数学技术有着浓厚的兴趣。已经发现,除极少数例外,只有特殊的无挫折哈密顿量才适合严格推导。
在BCS理论[1],[2]中,使用了四组分旋转器的哈密顿量。因此,这位哈密顿量的Keldysh Green的功能是八乘八个矩阵,智障,高级和Keldysh组件均为四个矩阵四。但是,在许多作品中[3],[4],[5],[6],使用四乘四个Keldysh Green的功能。这是可能的,因为可以在常规和某些类型的非常规的超导体中分别研究不同的自旋扇区。在本节中,将重新审视不同自旋扇区的方程式的分离。为了清楚表达式,只会讨论智障部分,高级和Keldysh部分类似地跟随。BCS理论[7] [1],[2]描述了与旋转相反的旋转的粒子之间的吸引人相互作用,旋转器的Hamiltonian H(ψK↑,ψK↓,ψ† - K↑,ψ†− K k↓)t IS
人们齐心协力,设计出实现此类非互易散射装置的方法,而无需使用磁性材料或磁场,而是使用外部驱动(即时间调制)。有几篇优秀的评论讨论了经典系统中的这些方法(例如见[1、2])。与此同时,人们对理解系统的独特性质的理论兴趣也日益浓厚,这些系统的内部动力学由有效非厄米哈密顿量所支配,这些哈密顿量编码了非互易相互作用。典型的例子包括非厄米晶格模型,其中存在不对称性,例如从左到右跳跃的振幅与从右到左跳跃的振幅[3]。这样的系统表现出许多不寻常的性质,例如非厄米趋肤效应,其中边界条件从周期性变为开放会完全改变哈密顿量的谱,并局部化所有特征向量[4-6]。它们还可以表现出独特的拓扑能带结构 [7,8],甚至可以产生新颖的相变物理 [9]。该领域的大多数工作都假设定向相互作用的存在作为建立模型的起点,而不必担心微观机制。在量子领域,这可能会有问题,因为它通常相当于对开放量子系统的不完整描述(其中包括广义阻尼效应,而不考虑随之而来的相应量子涨落)[10]。在这些笔记中,我们(希望)以完全符合量子力学的方式,通过外部驱动在微观上实现非互易相互作用的方法提供了教学介绍。使用一个极其简单的三点玻色子环模型,我们明确展示了非互易散射(隔离器或循环器所需要的)如何直接与环内的非互易传播相关联,如有效非厄米哈密顿量所述。我们以一种包含所有相关量子噪声效应的方式来做到这一点。这个简单的例子强调了一个普遍原则:实现非互易相互作用既需要打破时间反转对称性(因为存在非平凡的合成规范场),也需要耗散。然后,我们使用这个玩具模型来推导一个量子主方程,该方程编码环内的非互易隧穿。这明确展示了非互易性是如何通过平衡相干哈密顿相互作用与相应类型的耗散相互作用(由非局部耦合到系统自由度的耗散库介导)而出现的。通过这个例子,我们表明这个量子主方程的基本结构可用于使两个系统之间的任何起始哈密顿相互作用完全非互易。我们将其与级联量子系统理论(其中非互易相互作用通过耦合到外部单向波导然后积分出来产生)和测量加前馈协议的量子描述(由于信息的单向流动,它们本质上是非互易的)联系起来。因此,我们的工作为参考文献 [ 11 ] 和 [ 12 ] 中介绍的产生非互易量子相互作用的基本方法提供了教学介绍。它以多种方式补充了那里的分析(例如,通过讨论与非厄米汉密尔顿量的具体联系,并通过评论非厄米相互作用产生纠缠的能力)。