两种粒子，与一种被禁止的第三种
量子力学根据一个微妙的问题，把我们世界里的每个粒子分进两个阵营：当你交换两个全同粒子时，系统的量子描述会发生什么？对电子这样的「物质」粒子，交换它们会把描述的符号翻转——一个隐藏的负号。对光子这样的「光」粒子，交换它们则什么也不改变。这两种行为是三维空间里仅有的两种被允许的行为，它们支撑着从电子为何叠成壳层、到激光为何能工作的一切。
为什么只有两种？因为在三维空间里，把两个粒子交换一次再换回来，等同于什么都没做——你总能把它们走过的路径平滑地解开。所以一次双重交换必须让一切恰好回到原样，这就只允许一个正号或一个负号。在两者之间，根本没有任何东西的容身之处。
平面国改变了一切
现在把世界压扁，压进二维——正是第二篇指南里量子霍尔薄层的那个场景。在一个平面上，那个解开路径的论证就站不住脚了。想象桌面上有两根钉子，一圈绳子绕着它们；如果你只能让绳子在桌面上滑动、绝不能把它从桌面上提起来，那么把它绕在钉子上和不绕，就真的是两回事了。路径记得它们是怎样彼此缠绕的。一次双重交换，不再保证等于「什么都没发生」。
这个漏洞让第三种粒子得以存在，我们称它为任意子——因为当你交换它们俩时，量子描述可以积攒下任意的相位角度，而不只是一个正号或负号。我们已经见过它们最朴素的形态：分数量子霍尔效应里那些带分数电荷的激发。任意子并不是来自遥远星系的怪异粒子；它们是集体激发，是一整群电子在二维里共舞而变出的准粒子。
马约拉纳模：半个电子，藏在两端
有一种格外珍贵的任意子，名叫马约拉纳模。用大白话说，这个念头令人惊叹：在恰当的条件下，你可以把单个电子的身份劈成两个分开的半边，把一半停在一根微小导线的一端、另一半停在另一端，相隔很远。两个半边都不是一个完整的粒子；每个都是一个「马约拉纳」，只有它们合在一起才重新加成一个普通电子。存储在这一对上的信息被抹开、铺满整根导线，两端都没有任何局部的东西可供干扰。
你怎么把一个电子劈成两半？你把它从一段特殊的伙伴关系中诱哄出来。回想超导那条线索：电子在那里两两结对成库珀对，正是超导的黏合剂。在一根精心搭建的超导导线的末端，一个剩余的、未配对的电子自由度可以被搁浅在那里——那个搁浅的半边，就是马约拉纳。这是本课程两大宏旨的交汇：超导提供了舞台，拓扑提供了剧本。
编织：靠打结来计算
下面是那个让物理学家眼睛发亮的梦想。有些任意子，包括马约拉纳，拥有一种叫非阿贝尔统计的性质。当你让它们俩绕着彼此移动——当你*编织*它们的路径，就像交叉一缕缕头发——整个系统的量子态不只是积攒一个相位角度，而是变换成一个真正不同的状态。而且结果取决于交叉的次序，正如你交叉发缕的次序决定了你最终编出哪一种辫子。
这就是计算。你把一段量子信息存储在一簇任意子里，然后通过按选定的次序编织它们来处理这段信息。而妙处在于：答案只取决于辫子的拓扑——哪一缕从哪一缕上方越过、越过了多少次——而不取决于你描出的那条歪歪扭扭的精确路径。一只发抖的手、一阵杂散的振动、一点热量：这些都会让路径晃动，却让辫子的图案丝毫不损。这场计算，在可以想象的最根本层面上受到拓扑保护。
braid order A-then-B ≠ braid order B-then-A (the final quantum state depends on the sequence — that is what 'non-Abelian' means)
诚实地掂量这份前景
普通的量子计算机脆弱得令人抓狂：它们娇贵的状态会被最微弱的一丝热气或杂散场所破坏，人们要耗费巨大的力气去捕捉并纠正那些错误。拓扑量子计算机的承诺，是把这种抗错能力直接烤进硬件本身。如果你的信息存储在一束非阿贝尔任意子的辫子里，那么那些会毁掉普通量子比特的小扰动便碰不到它——不剪断一缕，它们就改不了一根辫子。这种保护是内建于拓扑定律之中的，而不是事后才栓上去的。
把这份承诺摆到现实旁边掂量。制造并编织出货真价实的非阿贝尔任意子，仍是全部物理学中最难的实验之一。它要求精美绝伦的材料、近乎绝对零度的低温，以及对你所看到的东西确实是马约拉纳而非冒名顶替者的信心。还没有人靠编织任意子跑出过一次真正的计算。这是一片燃烧着希望、也确有真实进展的前沿——而它值得你激动，恰恰因为它是诚实、艰难、尚未完工的科学，而不是一段推销辞令。