M2 ICFP - 量子信息理论 2021-2022 年 环面代码的逻辑运算符。为了描述环面代码的逻辑量子位,我们需要了解 C 1 / C 2 的等价类,即不是边界的循环。确实存在两个不等价的此类循环家族,对应于环面周围的两种环。这些循环是同调非平凡的,这意味着它们不能变形(通过添加边界)以产生零循环。因此,环面代码是拓扑代码的一个例子:量子代码的性质来自底层流形的拓扑。事实上,环面代码是由环面的特定单元化给出的,即环面在斑块中的分解。标准环面代码使用方形斑块,但也可以选其他类型的斑块,例如三角形。
𝑡 次三角立方规则是环面上的点集,在这些点集上,总和可重现整个环面上 𝑡 次单项式的积分。它们可以被认为是环面上的 𝑡 -设计。受量子力学的射影结构的启发,我们发展了射影环面上的 𝑡 -设计的概念,令人惊讶的是,它们的结构比整个环面上的对应设计要严格得多。我们提供了这些射影环面设计的各种构造,并证明了它们的大小和结构特征的一些界限。我们将射影环面设计与一系列不同的数学对象联系起来,包括来自加法组合学领域的差集和 Sidon 集、来自量子信息论的对称、信息完备的正算子值测度 (SIC-POVM) 和相互无偏基 (MUB) 的完备集(据推测与有限射影几何有关)以及某些根格的水晶球序列。利用这些联系,我们证明了密集 𝐵 𝑡 mod 𝑚 集的最大大小的界限。我们还使用射影环面设计来构建量子态设计系列。最后,我们讨论了许多关于这些射影环面设计的性质的未解决的问题,以及它们与数论、几何和量子信息中的其他问题的关系。
在过去的几十年里,物质的拓扑相 (TPM) 这一主题得到了广泛的研究。拓扑相是低温下的有间隙自旋液体,它不能用传统的朗道自发对称性破缺理论和局部序参量来描述;相反,它以一种新秩序——拓扑序来表征。拓扑相的基态具有稳定的简并度和稳健的长程纠缠。二维拓扑相还支持具有任意子交换统计的准粒子激发,这使其成为一个有吸引力的平台,可以容错地存储和处理量子信息。其中两个奇特的特征是基态简并度是底层系统的拓扑不变量,并且准粒子可以自由移动而不消耗能量。一大类拓扑相是通过具有玻色子自由度的精确可解自旋晶格模型实现的。二维中的典型例子是 toric 代码,更一般地,有基于有限群的 Kitaev 量子双模型 [6, 10],甚至更一般地,有基于融合范畴的 Levin-Wen 弦网络模型 [11]。三维拓扑相的例子包括三维 toric 模型和基于预模范畴的 Walker-Wang 模型 [23]。近年来,在三维中发现了更多奇异的相,称为分形子相 [8, 21, 22]。分形子也具有稳定的基态简并和长程纠缠。然而,分形子的基态简并取决于系统尺寸,因此不是拓扑不变量。此外,激发的迁移率受到限制。
Kitaev 著名的哈密顿量,也称为 toric 代码,引起了广泛关注,并定义了一个围绕解禁、拓扑序和量子纠错物理学的千载难逢的范式 [1]。Toric 代码哈密顿量是一个重要工具,因为它包含最简单的拓扑有序相 - 解禁的 Z 2 量子自旋液体 - 具有在拓扑量子计算提案中发挥重要作用的带隙任意子激发 [2],并且可以浓缩为显示普适物理的量子临界点。重要的是,Toric 代码可以通过许多额外的哈密顿量项进行修改,这极大地丰富了其物理特性,同时在各种极限下仍然易于分析。虽然 toric 代码是明确的量子,但它在两个空间维度上的配分函数可以映射到三维 (3 D) 经典配分函数,可以使用分析或数值技术进一步分析 [3,4]。在这些注释中,我们提供了此映射的详细推导。Kitaev 将 toric 码的哈密顿量定义为:
是ri 位置处的局域磁矩。经典的环面磁矩可以通过沿子午线在环面表面流动的电流实现[4],如图1a所示。此外,它通常也可以在具有独特轮状拓扑结构的单分子基化合物中观察到,[5]例如 Dy 6 轮子,[6,7] Dy 4 正方形,[8] 和 Dy 3 三角形,[9]分别如图 1b-d 所示。在晶体固体系统中,环面磁矩的自发环面化,即铁环序,由于其新颖的不对称性质和潜在的应用而受到越来越多的关注。 [2–5,10–15] 已经提出了几种铁环候选物,[3,15] 例如具有橄榄石结构的正磷酸盐 LiCoPO 4 [10] 和辉石结构类型的 LiFeSi 2 O 6 [16]。LiCoPO 4 是
任意子是二维系统中的激发态,既不是玻色子也不是费米子 [2]。阿贝尔任意子在交换时会收集任意复相因子。两个非阿贝尔任意子的交换可以用作用于描述复合任意子系统的希尔伯特空间的辫子群 [3] 的矩阵表示来描述。后一种类型尤其令人感兴趣,因为它的任意子可用于通过在拓扑量子计算方案中将它们编织起来来处理信息 [4, 5]。任意子出现在具有拓扑序的物质相中,例如分数量子霍尔 (FQH) 态、基塔耶夫蜂窝晶格模型 (KHLM)、量子双模型 [4, 6] 等。伊辛模型以描述支持马约拉纳零模式 (MZM) 的物理系统中产生的准粒子的行为而闻名 [7, 8]。由排列在二维表面上的量子比特集合组成的晶格模型是研究此类拓扑系统的实用工具。这些模型,例如稳定器代码 [9, 10],允许在非局部自由度中编码量子信息的计算方案。典型的例子是 Kitaev 在参考文献 [6] 中介绍的环面代码。它对环面上定义的方形自旋晶格的退化基态中的逻辑量子比特进行编码 [11]。环面代码出现在 KHLM 的阿贝尔相 [11, 12]。环面代码允许局部、点状缺陷和非局部、线状缺陷。穿刺是与晶格上的孔相对应的局部缺陷。它们通过编织被引入作为量子记忆和计算的候选者 [13–15],而扭曲是非局域畴壁的端点,可强制实现 toric 代码任意子的对称性。后一种缺陷已用拓扑量子场论 (TQFT) [16, 17] 进行了描述。它们在计算上也很有趣,因为它们在聚变和交换下表现得像 Majorana 零模式 [1, 18, 19]。参考文献 [20] 甚至引入了这两种缺陷类型的新混合,也能够编码逻辑量子位。在本文中,我们研究了 toric 代码上另一种缺陷的拓扑性质,即穿孔
Caterpillar 设计的组件。用于制造 Cat 轮式装载机的组件均按照 Caterpillar 质量标准进行设计和制造,以确保即使在极端操作条件下也能发挥最佳性能。发动机电子控制模块和传感器完全密封,防潮防尘。Deutsch 连接器和电线编织确保电气连接能够抵抗腐蚀和过早磨损。软管经过精心设计和制造,具有高耐磨性、出色的灵活性以及易于安装和更换的特点。Caterpillar 软管接头使用 O 形环面密封件提供可靠的密封,实现持久无泄漏的连接。重型组件可降低泄漏、腐蚀和过早磨损的风险,从而增加正常运行时间并有助于保护环境。
Louis H. Kauffman 的出版物 1. 论文 当外壳具有可变折射率时,两个同心球体的电磁波散射。(与 M. Kerker 和 W. Farone 合作),美国光学学会杂志。56(1966 年),1053-1056。 循环分支覆盖和 $0(n)$-流形。第二届紧变换群会议论文集(马萨诸塞大学,阿默斯特,马萨诸塞州,1971 年),第一部分,第 416--429 页。 数学讲义,第 298 卷,Springer,柏林,1972 年。 链接一致性的不变量。弗吉尼亚理工学院和州立大学拓扑学会议论文集,由 Raymond R. Dickman Jr. 和 Peter Fletcher 编辑,数学讲义,第 298 卷375,Springer Verlag,柏林,1973,第 153-157 页。链接流形和周期性。美国数学会刊 79(1973),570-573。链接流形。密歇根数学杂志 21(1974),33-44。分支覆盖、开卷和结点周期性。拓扑学 13(1974),143-160。结点的乘积。美国数学会刊 80(1974),1104-1107。链接一致性的不变量。拓扑学会议(弗吉尼亚理工学院和州立大学,弗吉尼亚州布莱克斯堡,1973),第 153-157 页。数学讲义,第 10 卷375,Springer,柏林,1974。分支循环覆盖的周期性。(与 Alan Durfee 合作)数学年鉴 218(1975),第 2 期,157-174。链接的签名。(与 L. Taylor 合作)Trans. Amer. Math. Soc. 216(1976),351-365。环面和环面结的微分几何。(与 Steve Jordan 合作)Delta (Waukesha) 6(1976),第 1 期,1-15。一个中心示例研讨会。(与 Steve Jordan 合作)Internat. J. Math. Ed. Sci. Tech. 7(1976),351-365。浸入和模 2 二次型。(与 Tom Banchoff 合作)Amer. Math. Monthly 84
• 航天器概念 - 历史和问题…………..……………..….. - Ganswindt 和 Tsiolkovsky……………...…… - Noordung,“Wohnrad”,1928 年………………….. - Von Braun 和 Les Dorr………………………. - Oberth 和 Payne…………………….……….. - 洛克希德 (Kramer 和 Byers)……………….. - NASA Langley 和北美,1962 年…. - NASA Langley 和 Douglas,“MORL”,1966 年.. - 空间站 V (Kubrick 和 Clarke)………. - Gilruth 和 German …………………….…….. - O’Neill,“Model 1”,1974 年………………………. - Driggers,1975 年………………………………… - 斯坦福环面,1975 年…………………………. - O’Neill,《Island 1》,1977 年…………………………. - Vaik、Engel 和 Shettler,1977 年……………….… - Welch,1984 年……………………………….… - Schultz、Rupp、Hajos 和 Butler,1987 年……... - Staeble (1987) 和 Lemke (1988)……….….. - 洛克希德马丁载人火星飞船……