
トポロジカル量子コンピュータは量子コンピュータの一種です。これは、 2次元系に存在する準粒子の一種であるアニオンを利用します。アニオンの世界線が絡み合って、 3次元時空(1つの時間次元と2つの空間次元)に編み目を形成します。この編み目がコンピュータの論理ゲートとして機能します。量子粒子を捕捉するのではなく量子編み目を使用する主な利点は、その安定性にあります。従来の量子計算では、小さくても累積的な摂動によって量子状態がデコヒーレンスを起こし、エラーが発生する可能性がありますが、このような摂動は編み目のトポロジカル特性を変化させません。この安定性は、糸を切って再びつなぎ合わせて別の編み目を作る場合と、ボール(4次元時空における通常の量子粒子を表す)が壁に衝突する場合の違いに似ています。これは、1997年にロシア系アメリカ人の物理学者アレクセイ・キタエフによって提案されました。 [ 2 ]
トポロジカル量子コンピュータの要素は純粋に数学的な領域に由来するものの、分数量子ホールシステムの実験では、ガリウムヒ素製の半導体をほぼ絶対零度の温度で使用し、強い磁場をかけることで、これらの要素を現実世界で生成できる可能性が示されている。
アニオンは2次元空間の準粒子です。アニオンはフェルミオンでもボソンでもありませんが、フェルミオンと同様に、同じ状態を占めることはできません。したがって、 2つのアニオンの世界線は交差したり合体したりすることができず、その経路は時空内で安定した編み目を形成します。アニオンは、非常に強い磁場中の冷たい2次元電子ガスの励起から形成され、分数単位の磁束を運びます。この現象は分数量子ホール効果と呼ばれます。典型的な実験室システムでは、電子ガスはアルミニウムガリウムヒ素の層に挟まれた薄い半導体層を占めています。[ 3 ] [ 4 ]
アニオンが編み込まれると、システムの量子状態の変換は、アニオンの軌跡のトポロジクラス(編み込み群に従って分類される)のみに依存します。したがって、システムの状態に格納される量子情報は、軌跡の小さなエラーの影響を受けません。[ 5 ] 2005年、Sankar Das Sarma、Michael Freedman、およびChetan Nayakは、トポロジカル量子ビットを実現する量子ホールデバイスを提案しました。2005年、Vladimir J. Goldman、Fernando E. Camino、およびWei Zhou [ 6 ]は、分数量子ホール効果を使用して実際のアニオンを作成する最初の実験的証拠を作成し、観測したと主張しましたが、他の人は、彼らの結果はアニオンに関係しない現象の産物である可能性があると示唆しました。トポロジカル量子コンピュータに必要な非可換アニオンは、まだ実験的に確認されていません。可能性のある実験的証拠が見つかりましたが[ 7 ]、結論は議論の的となっています。[ 8 ] 2018年に科学者たちは再び必要なマヨラナ粒子を分離したと主張したが、その発見は2021年に撤回された。Quanta Magazineは2021年に「(マヨラナゼロモード)準粒子が1つでも存在することを説得力をもって示した者はいない」と述べている[ 9 ]が、2023年に同誌の新しい記事[ 10 ]では、量子プロセッサ上で非可換アニオンを実現したと主張するGoogle [ 11 ]とQuantinuum [ 12 ]のプレプリントが取り上げられており、前者はトポロジー的縮退(またはトポロジー的欠陥)としてツイスト欠陥を持つトーリックコードを使用し、後者は異なるが関連するプロトコルを使用しており、どちらも量子誤り訂正におけるマヨラナ束縛状態として理解できる。
トポロジカル量子コンピュータは、量子計算の他の標準モデル、特に量子回路モデルや量子チューリングマシンモデルと同等の計算能力を持つ。[ 13 ]つまり、これらのモデルのいずれも、他のモデルのいずれも効率的にシミュレートできる。とはいえ、特定のアルゴリズムは、トポロジカル量子コンピュータモデルにより自然に適合する可能性がある。例えば、ジョーンズ多項式を評価するアルゴリズムは、最初にトポロジカルモデルで開発され、その後、標準量子回路モデルに変換および拡張された。
その名に恥じないようにするには、トポロジカル量子コンピュータは、捕捉された量子粒子を使用する従来の量子コンピュータ設計によって約束された独自の計算特性を提供しなければなりません。2000年に、Michael H. Freedman、Alexei Kitaev、Michael J. Larsen、およびZhenghan Wangは、トポロジカル量子コンピュータは原理的に、従来の量子コンピュータが実行できるすべての計算を実行でき、またその逆も可能であることを証明しました。[ 13 ] [ 14 ] [ 15 ]
彼らは、論理回路がエラーなく動作する場合、従来の量子コンピュータ装置は絶対的な精度で解を与えるが、トポロジカル量子コンピューティング装置が完璧に動作しても、有限の精度でしか解を与えないことを発見した。しかし、トポロジカル量子コンピュータにブレイドツイスト(論理回路)を追加することで、単純な線形関係で、任意の精度で答えを得ることができる。言い換えれば、要素(ブレイドツイスト)を適度に増やすことで、答えの精度を高くすることができる。実際の計算[ゲート]は、分数量子ホール効果のエッジ状態によって行われる。このため、1次元アニオンのモデルが重要になる。1次元空間では、アニオンは代数的に定義される。
量子ブレイドは、捕捉された量子粒子よりも本質的に安定しているものの、隣接するブレイドに干渉するランダムな迷走アニオンのペアを生成する、エラーを引き起こす熱ゆらぎを制御する必要がある。これらのエラーを制御するには、干渉する迷走アニオンの発生率がほぼゼロになる距離までアニオンを分離すればよい。トポロジカル量子コンピュータのダイナミクスをシミュレートすることは、標準的な量子情報処理方式であっても、フォールトトレラントな量子計算を実装する有望な方法となる可能性がある。Raussendorf、Harrington、およびGoyalは、有望なシミュレーション結果を得て、1つのモデルを研究した。[ 16 ]
トポロジカル量子コンピューティングの代表的な例の1つは、フィボナッチアニオンのシステムです。フィボナッチアニオンは、「システムに粒子を追加していくと、量子状態の数がフィボナッチ数列(1、2、3、5、8など)のように増加するという性質を持つ創発粒子」と説明されています。[ 17 ]共形場理論の文脈では、フィボナッチアニオンは、ヤン・リーモデル、チャーン・サイモンズ理論のSU(2)特殊ケース、およびウェス・ズミノ・ウィッテンモデルによって記述されます。[ 18 ]これらのアニオンは、トポロジカル量子コンピューティング用の汎用ゲートを作成するために使用できます。モデルを作成するための主な手順は3つあります。
フィボナッチアニオンは、次の3つの性質によって定義されます。
最後の「融合」ルールは、3つのアニオンからなるシステムにも拡張できる。
したがって、3つのアニオンを融合すると、最終的な全電荷状態が得られます。2つの方法で、または正確には1つの方法で。基底を定義するために3つの状態を使用します。[ 19 ]しかし、これら3つのアニオン状態を0と1の重ね合わせとしてエンコードしたいので、基底を2次元ヒルベルト空間に制限する必要があります。したがって、合計電荷が2つの状態のみを考慮します。この選択は純粋に現象論的なものです。これらの状態では、左端の2つのアニオンを「コントロールグループ」にまとめ、右端を「非計算アニオン」とします。対照群が合計「融合」した電荷を持つ状態として、そして総「融合」電荷を持つ対照群はより詳しい説明については、Nayak を参照してください。[ 19 ]
上記の考え方に従って、これらのアニオンを断熱的に互いに編み込むと、ユニタリ変換が得られます。これらの編み込み演算子は、2つのサブクラスの演算子から構成されます。
R行列は、概念的には、編み込み中にアニオンに付与される位相と考えることができる。アニオンが互いに巻き付くにつれて、アハロノフ・ボーム効果によって位相が付与される。
F行列は、アニオンの物理的な回転の結果です。アニオン同士が編み込まれる際、下位2つのアニオン(制御群)が依然として量子ビットの状態を区別することに留意することが重要です。したがって、アニオンを編み込むと、制御群に含まれるアニオンが変わり、基底も変わります。アニオンの評価は、常に最初に制御群(下位のアニオン)を融合することによって行われるため、これらのアニオンを交換するとシステムが回転します。これらのアニオンは非可換であるため、アニオンの順序(制御群に含まれるアニオン)が重要となり、それによってシステムが変換されます。
完全なブレイド演算子は次のように導出できます。
F演算子とR演算子を数学的に構築するために、これらの F 演算子と R 演算子の順列を考えることができます。操作する基底を順次変更すると、最終的に同じ基底に戻ることがわかっています。同様に、アニオンを互いに一定回数編み込むと、同じ状態に戻ることがわかっています。これらの公理は、それぞれ五角形公理と六角形公理と呼ばれ、操作の実行は状態変換の五角形/六角形で視覚化できます。数学的には難しいですが、[ 20 ]これらは視覚的にはるかにうまくアプローチできます。
これらのブレイド演算子を用いることで、ブレイドがヒルベルト空間上でどのように作用するかという観点からブレイドの概念を形式化し、任意の普遍的な量子ゲートを構築することができる。[ 21 ]
2018年、マイクロソフトに勤務するレオ・コウウェンホーフェンは、マヨラナ準粒子を示す「ゼロバイアスピーク」の確固たる証拠を発見したとする論文をネイチャー誌に発表した。2020年、この論文には編集部から懸念の注記が付された。2021年、フォローアップ論文で、2018年の論文のデータは不完全であり、結果を誤って伝えていることが指摘された。[ 22 ]
2023年、Microsoft Quantumの研究者は、ハードウェアの安定性を備えた論理量子ビットを表現できる新しいデバイスについて記述した論文をPhysical Reviewに発表し、トポロジカル超伝導とマヨラナゼロモードの観測と一致する物質の相を測定した。 [ 23 ]科学者らは、「このようなデバイスは、トポロジカルギャッププロトコルを通過するのに十分低い無秩序性を示し、この技術が実現可能であることを証明した」と報告した。[ 24 ]この論文は、以前の論文のようにマヨラナモードの十分な証拠を提供していないとして、他の科学者から批判されている。[ 25 ] 2025年のプレスリリースで、Microsoftはトポロジカルな振る舞いの部分的な証拠があると主張するMajorana 1チップを発表した。[ 26 ] [ 27 ] [ 28 ]
という情報をメモリにエンコードすることができます。また、分数統計は「トポロジカル」であるため(つまり、あるアニオンが別のアニオンの周りを何回周回したかに依存し、その経路のわずかな変化には依存しないため)、微小な摂動の影響を受けません。この堅牢性により、トポロジカル量子コンピュータは、エラーが発生しやすい現在の量子コンピューティング技術よりも容易にスケールアップできる可能性があります。