人们对使用近期量子计算机来模拟和研究量子力学和量子信息科学的基础问题非常感兴趣,例如由非时间有序相关器 (OTOC) 测量的加扰。在这里,我们使用 IBM Q 处理器、量子误差缓解和编织 Trotter 模拟来研究 4 自旋 Ising 模型中高分辨率算子扩展作为空间、时间和可积性的函数。通过使用物理激励的 OTOC 固定节点变体,可以达到 4 自旋同时保持高电路保真度,从而可以在没有开销的情况下估计加扰。我们发现了混沌状态下弹道算子扩展的清晰特征,以及可积状态下算子定位。这里开发和展示的技术开辟了使用基于云的量子计算机研究和可视化加扰现象以及更普遍的量子信息动力学的可能性。
物理系统的热平衡性质可以用吉布斯态来描述。因此,了解何时可以轻松描述此类状态非常重要。特别是,如果远距离区域之间的相关性很小,情况就是如此。在这项工作中,我们考虑在任何温度下具有局部、有限范围、平移不变相互作用的一维量子自旋系统。在这种情况下,我们表明吉布斯态满足相关性的均匀指数衰减,而且,两个区域之间的互信息随其距离呈指数衰减,与温度无关。为了证明后者,我们表明,对于在任何温度下具有局部、有限范围相互作用的一维量子自旋系统,无限链热态相关性的指数衰减、指数均匀聚类和互信息的指数衰减都是等价的。特别是,Araki 的开创性结果表明这三个条件在平移不变的情况下成立。我们使用的方法基于 Belavkin-Staszewski 相对熵和 Araki 开发的技术。此外,我们发现,我们所考虑的系统的吉布斯状态超指数地接近饱和 Belavkin-Staszewski 相对熵的数据处理不等式。
辛对称性,这是著名的Bohigas-Giannoni-Schmit (BGS)猜想的内容[8]。BGS猜想目前在半经典理论中已经得到充分证实,适用于具有适当经典极限的系统[9–11],并得到许多不同量子系统中大量数值和实验证据的支持[12–14]。多体量子系统中的情况尚不清楚,尽管最近取得了一些理论进展[15–17]。由于费米子或玻色子粒子交换下的对称性,经典极限无法正确定义。通常假设BGS猜想对多体量子系统也成立,这主要基于数值结果,但仍然缺乏严格的推导。可积通用极限与混沌通用极限之间的转变是非通用的,取决于所研究特定系统的特性,尽管已针对不同系统进行了非常详细的研究 [18,19]。例如,在可积和混沌正交情况之间的转变中,一些系统呈现分数能级排斥,P ( s ) ∝ s β,β 的值在可积情况β = 0 和相应的 RMT 集合值β = 1 之间连续变化,而其他系统呈现满能级排斥,但仅限于一部分能级 [20]。许多系统,特别是在多体情况下,都表现出前一种行为。然而,Berry 和 Robnik 的半经典转变理论预测了后一种行为 [19]。在这种情况下,P (0) = F,其中 F 由所考虑模型的经典极限在相空间中的规则轨道分数给出。在开放量子系统中,该理论的发展程度要低得多,即使第一批结果在 BGS 猜想提出后不久就出现了 [21]。开放量子系统可以用刘维尔方程来描述,该方程表征密度矩阵算子的时间演化。在马尔可夫近似中,刘维尔算子是一个线性非厄米算子,刘维尔方程可以写成林德布拉德主方程 [22]。因此,刘维尔算子具有复特征值,而不是标准厄米量子力学的实能量。解决这个问题的最初方法是研究与环境耦合较弱的可积或混沌汉密尔顿量。当汉密尔顿量可积时,Grobe 等人研究了复平面上的谱统计,发现与二维泊松分布非常吻合 [21]。在混沌极限中,对于较小的 s 值,会出现普遍的立方排斥力 P ( s ) ∝ s 3,就像非厄米随机矩阵的 Ginibre 系综 [23] 中的情况一样,尽管完整的 P ( s ) 分布的细节取决于非厄米矩阵的对称性 [24, 25]。对于开放的量子自旋链,从可积到混沌转变过程中的能级间距分布已通过具有谐波约束的静态二维库仑气体拟合,其中能级排斥力由温度的倒数给出,表现出转变过程中的分数能级排斥力 [26]。最近,由于发现了新的可积多体刘维尔函数家族 [27–29],需要采用不同的方法来研究开放量子系统的可积和混沌性质。扩展精确可解和量子可积刘维尔函数类是提高我们对开放量子多体系统的理解的重要一步。最近的一些工作研究了随机混沌刘维尔函数复谱的统计特性 [30,31]。然而,物理多体刘维尔函数中精确可解的可积极限和混沌极限之间的转变仍然大部分未被探索。在这封信中,我们将扩展参考文献中的模型。 [28] 基于 SU(2) 自旋 1 Richardson 模型,将其转换为有理 Richardson-Gaudin (RG) 类可积模型中的一条可积线。这种新的可积 Liouvillians 家族具有丰富而复杂的跳跃算子结构,并允许沿可积线进行简单的参数化。然后,我们根据单个参数定义一个 Liouvillian,它在可积性和完全混沌极限之间进行插值。利用这些模型 Liouvillians,我们
现实物理和化学系统中的电子传输通常涉及与大环境进行非平凡的能量交换,这需要定义和处理开放量子系统。由于开放量子系统的时间演化采用非幺正算子,因此开放量子系统的模拟对于仅由幺正算子或门构成的通用量子计算机提出了挑战。这里,我们提出了一种通用算法,用于在量子设备上实现任何非幺正算子对任意状态的作用。我们表明,任何量子算子都可以精确分解为最多四个幺正算子的线性组合。我们在零温度和有限温度振幅阻尼通道中的两级系统中演示了这种方法。结果与经典计算一致,显示出在模拟中期和未来量子设备上的非幺正操作方面的前景。
令 Φ : T ( H 1 ) →T ( H 2 ) 为 CPTP 映射(量子信道),则对任意状态 ρ ∈S ( H 1 ) ,存在一个希尔伯特空间 K ,一个纯态 ψ ∈S ( K ) ,以及一个余同构空间 V ∈ B ( H 1 ⊗K , H 2 ⊗K ) ,使得
在本文中,我们处理 q 演算的结构,它开发了一种有趣的计算技术并组织了不同类的算子和特定的变换。q 演算的重要性出现在包括物理问题在内的大量应用中。对称 q 激活通常实现 q 微分方程(可能涉及导数)。因此,这些算子和 q 对称算子的对称性之间的密切联系有待估计(参见 [1 – 9])。在最近的研究中,我们提供了一种从对称性质中推导和解释的过程,并与传统案例进行了类比。通过将 q 演算和对称 Salagean 微分算子相结合,我们引入了一种新的修改后的对称 Salagean q 微分算子。通过使用此算子,我们给出了新类的解析函数。
在本课程的这一部分,我们将介绍一种描述量子态和操作的新方法。到目前为止,我们将量子态描述为范数为 1 的向量,将操作描述为酉矩阵。然而,这有一些局限性 - 例如,如果我测量 | + ⟩ ,然后做一个 Hadamard 门,状态会是什么?答案是 | + ⟩ 或 |−⟩,具体取决于我的测量结果。这会在我们的程序状态中创建一种分支,并且由于有许多连续的分支,跟踪程序的状态可能会很麻烦。我们可能必须这样推理:“如果我第一次测量的结果是 A,而第二次测量的结果是 B...那么我处于状态 | Ψ ⟩。现在我们来看看一种描述量子态的不同方法,称为密度算子,它有几个优点。首先,它们允许我们将我们的电线视为状态分布,从而解决了上述问题。在课程的后面,我们将看到它们还允许我们定义两种状态之间的可区分性度量 - 以限制区分器区分两种不同状态的概率。
b"其中 | z \xe2\x9f\xa9 = D ( z ) | 0 \xe2\x9f\xa9 是一个与真空态 | 0 \xe2\x9f\xa9 相关的相干态,通过位移算子 D ( z ) = exp \xe2\x88\x92 za \xe2\x80\xa0 \xe2\x88\x92 \xc2\xaf za 表示 Heisenberg\xe2\x80\x93Weyl 代数 [ a , a \xe2\x80\xa0 ] = 1 [ 6 ]。我们注意到,该提议看似简单,但代价是“字母”的非正交性,即 tr ( \xcf\x81 0 \xcf\x81 1 ) \xcc\xb8 = 0,导致它们的可区分性受到限制。由于相干态不需要非线性介质来产生,因此与早期利用压缩态 [ 7 ] 且要求“硬”非线性相比,使用相干态似乎更具优势 [ 3 ]。然而,实验技术的最新进展可能会扭转这一趋势,至少在超越标准相干态变得有利的情况下。以薛定谔猫态作为正交字母表状态的候选者为例 [ 1 ]。这项研究的目的是给出一个由 Gazeau\xe2\x80\x93Klauder 相干态组成的字母表候选者的例子 [ 8 ]。我们分析了与配备了克尔介质典型的多项式非线性的振荡器相关的 Gazeau\xe2\x80\x93Klauder 状态的二元通信。已经针对各种量子系统研究了 Gazeau\xe2\x80\x93Klauder 相干态:单模”
b"其中 | z \xe2\x9f\xa9 = D ( z ) | 0 \xe2\x9f\xa9 是一个与真空态 | 0 \xe2\x9f\xa9 相关的相干态,通过位移算子 D ( z ) = exp \xe2\x88\x92 za \xe2\x80\xa0 \xe2\x88\x92 \xc2\xaf za 表示 Heisenberg\xe2\x80\x93Weyl 代数 [ a , a \xe2\x80\xa0 ] = 1 [ 6 ]。我们注意到,该提议看似简单,但代价是“字母”的非正交性,即 tr ( \xcf\x81 0 \xcf\x81 1 ) \xcc\xb8 = 0,导致它们的可区分性受到限制。由于相干态不需要非线性介质来产生,因此与早期利用压缩态 [ 7 ] 且要求“硬”非线性相比,使用相干态似乎更具优势 [ 3 ]。然而,实验技术的最新进展可能会扭转这一趋势,至少在超越标准相干态变得有利的情况下。以薛定谔猫态作为正交字母表状态的候选者为例 [ 1 ]。这项研究的目的是给出一个由 Gazeau\xe2\x80\x93Klauder 相干态组成的字母表候选者的例子 [ 8 ]。我们分析了与配备了克尔介质典型的多项式非线性的振荡器相关的 Gazeau\xe2\x80\x93Klauder 状态的二进制通信。已经针对各种量子系统研究了 Gazeau\xe2\x80\x93Klauder 相干态:单模”