[1] S. Abe。关于非广延物理中广义熵的 q 变形理论方面的注释。Phys. Lett.,A 224:326,1997 年。[2] S. Abe 和 AK Rajagopal。非加性条件熵及其对局部现实主义的意义。Physica,A 289:157,2001 年。[3] L. Accardi。非相对论量子力学作为非交换马尔可夫过程。Adv. Math.,20:329,1976 年。[4] A. Ac´ın、A. Andrianov、L. Costa、E. Jan´e、JI Latorre 和 R. Tarrach。三量子比特态的广义 Schmidt 分解和分类。Phys. Rev. Lett. ,85:1560,2000 年。[5] A. Ac´ın、A. Andrianov、E. Jan´e 和 R. Tarrach。三量子比特纯态正则形式。J. Phys.,A 34:6725,2001 年。[6] M. Adelman、JV Corbett 和 C. A Hurst。状态空间的几何形状。Found. Phys.,23:211,1993 年。[7] G. Agarwal。原子相干态表示态多极子与广义相空间分布之间的关系。Phys. Rev.,A 24:2889,1981 年。[8] SJ Akhtarshenas 和 M. A Jafarizadeh。贝尔可分解态的纠缠稳健性。E. Phys. J. ,D 25:293,2003 年。[9] SJ Akhtarshenas 和 MA Jafarizadeh。某些二分系统的最佳 Lewenstein-Sanpera 分解。J. Phys. ,A 37:2965,2004 年。[10] PM Alberti。关于 C ∗ 代数上的转移概率的注记。Lett. Math. Phys. ,7:25,1983 年。[11] PM Alberti 和 A. Uhlmann。状态空间中的耗散运动。Teubner,莱比锡,1981 年。[12] PM Alberti 和 A. Uhlmann。随机性和偏序:双随机映射和酉混合。Reidel,1982 年。[13] PM Alberti 和 A. Uhlmann。关于 w ∗ -代数上内导出正线性形式之间的 Bures 距离和 ∗ -代数转移概率。应用数学学报,60:1,2000 年。[14] S. Albeverio、K. Chen 和 S.-M. Fei。广义约化标准
近年来,出现了许多论文讨论不同模型(如 CFT、结点理论等)的 magic 和 mana 属性 [1–3]。这些量表征此类模型中定义的某种量子力学状态与 Clifferd 群元素的距离 [4]。根据 Gottesmann-Knill 定理 [5],Clifferd 群元素可以在经典计算机上进行有效建模。因此,有人声称“magic”实际上是某种状态的非经典性,而 mana 则衡量这种非经典性。如果结合量子计算讨论这些属性,这些属性可能很重要。Gottesman-Knill 定理基于以下事实:Clifferd 群是所研究群 G 的一个有限子群,而 G 是几个 SU(N) 的张量积。然而,它并不是唯一的有限子群。对于同一个群 G ,可以定义无数个这样的子群。其中,克利福德群的定义性质是它与 sigma 矩阵的联系。从量子计算的角度来看,没有必要要求这一点。因此,根据想要向量子计算机呈现的问题集,可以对 mana 进行不同的定义。我们认为 mana 实际上是一种相对属性,而不是绝对属性。在本文中,我们将介绍克利福德群的通常定义方式以及如何对其进行修改以获得其他有限子群。我们将应用这个新的 mana 定义来研究结点状态。结点理论是一个被广泛研究的课题,与其他理论有很多关系。其中,结点理论与量子计算之间存在联系,它既提供了使用量子算法计算结点多项式的方法,也提供了将量子算法描述为有效拓扑场论中的一些结点配置 [14]- [19]。这涉及通过 Reshetikhin-Turaev 算法 [6]- [13] 使用酉矩阵计算结点。具体来说,对于某些特定的结点系列,任何量子算法都可以描述为一系列结点的连续近似 [18,19]。然而,在本文中,我们讨论了结点理论的不同方法。法力和魔法是量子态(密度矩阵)的属性,而不是酉运算。有一种方法可以定义对应于结点的量子态 [2],使用拓扑场论的思想 [20,21]。这个密度矩阵的矩阵元素由特殊点处的结点多项式构成。因此,这种状态的经典性为我们提供了有关如何在经典计算机上计算这些结点不变量的一些信息。论文组织如下。在第 2 章中,我们定义了 Clifferd 群,它是 SU ( N ) 群的一个有限子群。在第 3 章中,我们提供了 mana 的定义,就像其他关于该主题的论文(如 [1–3])中给出的那样。在第 4 章中,我们讨论了 mana 定义中的歧义,并展示了如何修改定义以给出与 SU ( N ) 的不同有限子群相关的 mana。在第 4 章中,我们根据 [2,20,21] 定义了描述不同结的量子力学状态。在第 5 章中,我们研究了结状态下的 mana 是什么样子,以及如何通过不同的 mana 定义来改变它。
场,这样的下限并不能提供太多关于完成这项任务最多需要多少时间的见解。因此,非常需要 T 的上限。这样的上限应该取决于目标幺正变换、描述所考虑量子系统的哈密顿量、可用于实现目标变换的控制数量以及可能的约束,比如控制场中的能量和带宽。显然,如果描述 d 维量子系统的哈密顿量的每个矩阵元素都可以瞬间任意控制,则幺正群 U(d) 中的每个幺正变换都可以通过控制每个矩阵元素的 d2 个(无约束)经典场瞬间实现。但是,如果我们对所考虑的系统只有受限的访问,会怎么样呢?有多少个控制以及哪些控制允许在最多 O(poly(d)) 的时间内实现每个 Ug∈U(d)?这里我们证明,如果描述 d 维量子系统的哈密顿量的对角线元素可以通过经典场进行一般控制,并且如果该系统可由这些场控制,则实现每个幺正操作的时间最多为 O(d3)。然而,我们注意到,对于由 n 个量子比特(即 d=2n)组成的量子比特系统,我们的上限关于 n 呈指数增长。这并不奇怪,因为实现一般幺正变换的时间 T 会随着量子比特的数量而呈指数增长,这可以追溯到大多数幺正操作无法有效实现的事实,即时间会随着量子比特的数量而呈多项式增长 [2]。有关时间最优控制和量子计算的进一步阅读,我们参考了开创性著作 [ 3 , 4 ],而量子比特系统的 T 的上限则在 [ 5 ] 中得到开发。虽然在这项工作中我们主要关注由描述四维量子系统的一组基态 {| n ⟩ } 确定的网络,但我们也考虑了将其推广到由量子比特组成的网络。这里关联图不是由两个键之间的耦合确定,而是由通过任意二体相互作用项耦合的量子比特确定。基于创建特定幺正变换所需的 CNOT 门数量 [ 6 – 8 ],我们还提供了 T 的上限,以使用 2 n 个局部控制在 -量子比特网络上实现给定的 U g。获得 T 上限的一种方法是找到与某些控制应用相对应的门序列,从而创建通用幺正变换。确定实现该序列所需的相应时间的上限,然后得出实现通用酉变换的上限。例如,该策略具有已成功应用于 -量子比特网络,以表征使用 2 n 个局部控制在最多多项式时间内实现的门集 [ 5 ]。这里我们基于 [ 5 ] 中提出的概念,并展示了由哈密顿量描述的 d 维量子系统
最近邻间距分布遵循一维泊松分布P(s)=e−s[7],而混沌系统则表现出能级排斥力,其P(s)根据其对称性类接近于随机矩阵理论(RMT)的维格纳猜测,当s较小时,P(s)∝sβ,其中对正交、酉和辛对称,β=1,2,4,这是著名的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)∝s3,就像在非厄米随机矩阵的Ginibre系综中一样[23],尽管完整P(s)分布的细节取决于非厄米矩阵的对称性[24,25]。对于开放量子自旋链,从可积到混沌的转变中的能级间距分布可以通过具有谐波约束的静态二维库仑气体来拟合,其中能级斥力由温度的倒数给出,表现出转变中的分数能级斥力[26]。最近,由于发现了新的可积多体刘维尔粒子家族[27-29],人们需要采用不同的方法来研究开放量子系统的可积和混沌特性。扩展精确可解和量子可积的 Liouvil 函数类是提高我们对开放量子多体系统的理解的重要一步。最近的一些工作研究了随机混沌 Liouvil 函数复谱的统计特性 [ 30 , 31 ] 。然而,在物理多体 Liouvil 函数中,精确可解的可积极限和混沌极限之间的转变仍然大部分未被探索。在本文中,我们将基于 SU(2) 自旋 1 Richardson 模型的文献 [ 28 ] 模型扩展到有理 Richardson-Gaudin (RG) 类可积模型中的可积线。这种新的可积 Liouvil 函数族具有丰富而复杂的跳跃算子结构,并允许沿可积线进行简单的参数化。然后我们[ 28 ] 基于 SU(2) 自旋 1 Richardson 模型,将其转化为有理 Richardson-Gaudin (RG) 类可积模型中的一条可积线。这种新的可积 Liouvillians 族具有丰富而复杂的跳跃算子结构,并允许沿可积线进行简单的参数化。然后我们[ 28 ] 基于 SU(2) 自旋 1 Richardson 模型,将其转化为有理 Richardson-Gaudin (RG) 类可积模型中的一条可积线。这种新的可积 Liouvillians 族具有丰富而复杂的跳跃算子结构,并允许沿可积线进行简单的参数化。然后我们
