Unextendible stabiliser bases

特定の種類のレゴブロックだけを使って家を建てようとしている場面を想像してみてください。量子物理学の世界では、これらの特別なブロックは「スタビライザー状態」と呼ばれています。これらは作成や操作が最も容易な量子状態であり、スーパーコンピュータで完璧にシミュレートすることができます。非常に扱いやすいため、これらは多くの量子誤り訂正スキームの基礎となっています。しかし、あらゆる問題を解くことができる真に強力なユニバーサル量子コンピュータを構築するには、「魔法（マジック）」を少し加える必要があります。この魔法は、簡単なブロックのルールを打ち破る、より作るのが難しい特別な量子状態からやってきます。科学者たちは現在、これら「魔法の状態」の幾何学、つまり、それらがどこに隠れており、簡単なブロックとどのように相互作用するのかを理解することに夢中になっています。

この分野における最大のパズルの一つは、「セットを完成させること」です。想像してみてください。あなたが直交する（互いに排他的な）スタビライザー状態のコレクションを持っているとします。理想的な世界では、コレクションにスタビライザーブロックをさらに追加して、あらゆる可能な方向をカバーする完全な「基底」を作り上げ、部屋全体を満たすことができます。しかし、もし壁に突き当たったらどうなるでしょうか？もし、あなたがこれらの一連の特別なブロックを持っていて、どれほど努力しても、既存のものと衝突することなく完璧に適合する「新しい」スタビライザーブロックを見つけることができないとしたら？これが「拡張不可能（unextendible）」な集合という概念です。それは、パズルを完成させようとしているのに、残された空隙の形が、標準的なパズルのピースでは決して埋めることのできない形をしていることに気づくようなものです。この論文は、この奇妙な幾何学的障害を深く掘り下げ、いつ、どのようにしてこれらの「埋められない」隙間が現れるのかを正確に問い直しています。

この論文の著者であるマルクス・フレムス（Markus Frembs）は、これらの埋められない隙間、彼らが「拡張不可能スタビライザー基底（USB）」と呼ぶものが実在し、驚くほど一般的であることを発見しました。ただし、それらはパズルを複雑にするのに十分な数の量子粒子がある場合にのみ発生します。具体的には、少数の粒子で作業している場合、常にセットを完成させることができると彼は証明しました。しかし、ある一定の閾値に達すると、量子の世界の幾何学が変化し、既存のブロックと衝突することなく完璧に収まる新しいスタビライザーブロックを見つけることが不可能な、一連のスタビライザー状態を構築できるようになります。

標準的な量子ビット（qubit）を用いたシステムの場合、著者は、このような拡張不可能な集合を作るには少なくとも4つの量子ビットが必要であることを示しました。彼は、4つの量子ビットを用いた具体的な例を明示的に構築し、それが他のいかなるスタビライザー状態によっても拡張できないことを示しました。同様に、「クディット（qudit）」（2つ以上の状態を持つ量子単位、具体的には3、5、7のような奇素数個の状態を持つもの）を用いたシステムでは、魔法は3つの粒子で起こります。彼は、3つのクディットを用いた拡張不可能な具体的な例を構築しました。論文は、これらが最小限の数であることを証明しています（例えば、2つのクディットや3つの量子ビットでは、常にセットを完成させる方法が見つかります）。さらに、これらの最小値を超えると、より大きなシステム（4つ以上の量子ビット、または3つ以上のクディット）に対しても、これらの拡張不可能な集合を作成できることを示しました。

また、この論文は、これらの拡張不可能な集合によって残された「空虚な空間」で何が起こるのかについても探求しています。量子のリソースの世界において、この空虚な空間は非常に興味深いものです。著者は、これらの拡張不可能な集合の「影」あるいは補空間には、スタビライザー状態が全く含まれていないことを発見しました。これは、その影の中に存在するいかなる量子状態も純粋な「魔法」であり、古典的にシミュレートできないリソースであることを意味します。奇素数次元のシステムでは、この魔法は「束縛された（bound）」ものであり、より強力な形態へと容易に蒸留することができません。しかし、4量子ビットのケースでは、この魔法は束縛されておらず、解き放たれて利用することが可能です。これは量子コンピュータを構築する上で極めて重要な区別です。

最後に、この論文は実用的な問いに取り組んでいます。もしこれらの拡張不可能な集合を持っている場合、それらを識別できるのでしょうか？他の量子シナリオでは、拡張不可能な集合はあまりに紛らわしいため、局所的な測定を用いてそれらを区別することができません。著者は、スタビライザー状態については、必ずしもそうではないことを発見しました。それらの集合は幾何学的には拡張不可能ですが、それがスタビライザー操作を用いて状態を区別することを妨げる一様な障壁を自動的に作り出すわけではありません。高い確率でそれらを識別することが可能であり、その「拡張不可能性」は、操作上の行き止まりではなく、幾何学的な好奇心の対象であると言えます。

要約すると、本研究は、「簡単な」量子の世界が自らの隙間を埋める能力を失う、正確な境界線を明らかにしています。4つの量子ビット、または3つの奇素数クディットにおいて、スタビライラー状態の幾何学が、永久に埋めることのできない空隙を生み出し、そこに純粋な魔法と、次世代の量子コンピューティングに不可欠な要素を残すことを、この論文は裏付けています。