兩種粒子，與一種被禁止的第三種
量子力學根據一個微妙的問題，把我們世界裡的每個粒子分進兩個陣營：當你交換兩個全同粒子時，系統的量子描述會發生什麼？對電子這樣的「物質」粒子，交換它們會把描述的符號翻轉——一個隱藏的負號。對光子這樣的「光」粒子，交換它們則什麼也不改變。這兩種行為是三維空間裡僅有的兩種被允許的行為，它們支撐著從電子為何疊成殼層、到激光為何能工作的一切。
為什麼只有兩種？因為在三維空間裡，把兩個粒子交換一次再換回來，等同於什麼都沒做——你總能把它們走過的路徑平滑地解開。所以一次雙重交換必須讓一切恰好回到原樣，這就只允許一個正號或一個負號。在兩者之間，根本沒有任何東西的容身之處。
平面國改變了一切
現在把世界壓扁，壓進二維——正是第二篇指南裡量子霍爾薄層的那個場景。在一個平面上，那個解開路徑的論證就站不住腳了。想像桌面上有兩根釘子，一圈繩子繞著它們；如果你只能讓繩子在桌面上滑動、絕不能把它從桌面上提起來，那麼把它繞在釘子上和不繞，就真的是兩回事了。路徑記得它們是怎樣彼此纏繞的。一次雙重交換，不再保證等於「什麼都沒發生」。
這個漏洞讓第三種粒子得以存在，我們稱它為任意子——因為當你交換它們倆時，量子描述可以積攢下任意的相位角度，而不只是一個正號或負號。我們已經見過它們最樸素的形態：分數量子霍爾效應裡那些帶分數電荷的激發。任意子並不是來自遙遠星系的怪異粒子；它們是集體激發，是一整群電子在二維裡共舞而變出的準粒子。
馬約拉納模：半個電子，藏在兩端
有一種格外珍貴的任意子，名叫馬約拉納模。用大白話說，這個念頭令人驚嘆：在恰當的條件下，你可以把單個電子的身份劈成兩個分開的半邊，把一半停在一根微小導線的一端、另一半停在另一端，相隔很遠。兩個半邊都不是一個完整的粒子；每個都是一個「馬約拉納」，只有它們合在一起才重新加成一個普通電子。存儲在這一對上的信息被抹開、鋪滿整根導線，兩端都沒有任何局部的東西可供干擾。
你怎麼把一個電子劈成兩半？你把它從一段特殊的夥伴關係中誘哄出來。回想超導那條線索：電子在那裡兩兩結對成庫珀對，正是超導的黏合劑。在一根精心搭建的超導導線的末端，一個剩餘的、未配對的電子自由度可以被擱淺在那裡——那個擱淺的半邊，就是馬約拉納。這是本課程兩大宏旨的交匯：超導提供了舞台，拓撲提供了劇本。
編織：靠打結來計算
下面是那個讓物理學家眼睛發亮的夢想。有些任意子，包括馬約拉納，擁有一種叫非阿貝爾統計的性質。當你讓它們倆繞著彼此移動——當你*編織*它們的路徑，就像交叉一縷縷頭髮——整個系統的量子態不只是積攢一個相位角度，而是變換成一個真正不同的狀態。而且結果取決於交叉的次序，正如你交叉髮縷的次序決定了你最終編出哪一種辮子。
這就是計算。你把一段量子信息存儲在一簇任意子裡，然後通過按選定的次序編織它們來處理這段信息。而妙處在於：答案只取決於辮子的拓撲——哪一縷從哪一縷上方越過、越過了多少次——而不取決於你描出的那條歪歪扭扭的精確路徑。一只發抖的手、一陣雜散的振動、一點熱量：這些都會讓路徑晃動，卻讓辮子的圖案絲毫不損。這場計算，在可以想像的最根本層面上受到拓撲保護。
braid order A-then-B ≠ braid order B-then-A (the final quantum state depends on the sequence — that is what 'non-Abelian' means)
誠實地掂量這份前景
普通的量子計算機脆弱得令人抓狂：它們嬌貴的狀態會被最微弱的一絲熱氣或雜散場所破壞，人們要耗費巨大的力氣去捕捉並糾正那些錯誤。拓撲量子計算機的承諾，是把這種抗錯能力直接烤進硬件本身。如果你的信息存儲在一束非阿貝爾任意子的辮子裡，那麼那些會毀掉普通量子比特的小擾動便碰不到它——不剪斷一縷，它們就改不了一根辮子。這種保護是內建於拓撲定律之中的，而不是事後才栓上去的。
把這份承諾擺到現實旁邊掂量。製造並編織出貨真價實的非阿貝爾任意子，仍是全部物理學中最難的實驗之一。它要求精美絕倫的材料、近乎絕對零度的低溫，以及對你所看到的東西確實是馬約拉納而非冒名頂替者的信心。還沒有人靠編織任意子跑出過一次真正的計算。這是一片燃燒著希望、也確有真實進展的前沿——而它值得你激動，恰恰因為它是誠實、艱難、尚未完工的科學，而不是一段推銷辭令。