论文标题
TED-K中的拓扑量子编程
Topological Quantum Programming in TED-K
论文作者
论文摘要
虽然可以说的可扩展量子计算的实现将需要拓扑稳定，并且随之而来的是拓扑软件感知的量子编程和拓扑 - 量词电路验证，但这些策略将这些策略的正确组合到专用的拓扑量子编程语言中尚未受到关注。在这里，我们描述了我们正在开发的基本和自然方案，用于拓扑硬件意识到的键入功能（因此可验证）拓扑量子编程 - 它本身反映了拓扑Q-位的通用技术细节，即对对称性（或增强的）拓扑（或增强）拓扑兼顾的laughlin-laughlin-laughlin-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon-tyon tosical sater topoilatioly Quantologicals tocologic polidsic policy saterm ossoility Quantsops量的倍增量。 使这项工作的原因是：（1）我们最近的结果是，逼真和技术上可行的任何物种的波形 - 即su（2） - 诸如流行的Majorana/ising andons，但也是计算上普遍存在的fibonacci anyons的任何一个 - 反映在扭曲的差异（TED）k-Cohomology of offormential sostral sepration sostrapery Spotrys in offimental in offimemential in offimemential indosemential indosemential sostrapery = 2 Orbifold; （2）结合我们较早的观察结果，即Orbifolds上的这种TED广泛的共同体理论解释了与内聚词类型理论（HOTT）中直观依赖性的线性数据类型（HOTT），从而支持了强大的现代形式的模态量子逻辑。 在简短的说明中，我们对基本思想进行了阐述，对基本结果的快速审查，并简要介绍了通过TED-K在凝聚力中的TED-K的基本语言结构。该语言系统正在阿布扎比纽约大学研究所的“量子和拓扑系统中心”开发。
While the realization of scalable quantum computation will arguably require topological stabilization and, with it, topological-hardware-aware quantum programming and topological-quantum circuit verification, the proper combination of these strategies into dedicated topological quantum programming languages has not yet received attention. Here we describe a fundamental and natural scheme that we are developing, for typed functional (hence verifiable) topological quantum programming which is topological-hardware aware -- in that it natively reflects the universal fine technical detail of topological q-bits, namely of symmetry-protected (or enhanced) topologically ordered Laughlin-type anyon ground states in topological phases of quantum materials. What makes this work is: (1) our recent result that wavefunctions of realistic and technologically viable anyon species -- namely of su(2)-anyons such as the popular Majorana/Ising anyons but also of computationally universal Fibonacci anyons -- are reflected in the twisted equivariant differential (TED) K-cohomology of configuration spaces of codimension=2 nodal defects in the host material's crystallographic orbifold; (2) combined with our earlier observation that such TED generalized cohomology theories on orbifolds interpret intuitionistically-dependent linear data types in cohesive homotopy type theory (HoTT), supporting a powerful modern form of modal quantum logic. In this short note we give an exposition of the basic ideas, a quick review of the underlying results and a brief indication of the basic language constructs for anyon braiding via TED-K in cohesive HoTT. The language system is under development at the "Center for Quantum and Topological Systems" at the Research Institute of NYU, Abu Dhabi.
