量子もつれを一度も作らない量子計算なら、普通のコンピューターでも効率よく再現できるのでしょうか。これは、量子計算の強さをもつれだけで説明できるかに関わる問いです。2026年11月3日に公開されたChristopher W. Mansellのプレプリントは、「1クリーン量子ビット」と呼ばれる計算モデルについて、以前の証明が取りこぼしていた回路を示しました。
この回路が古典計算より速いわけではありません。今回変わるのは、もつれのない回路をすべて同じ形に整理できるという、証明の途中の見通しです。どの推論が問い直され、何がまだ分からないのかを、小さな回路の分岐から追っていきます。
簡単にまとめると？
- 純粋な1量子ビットと、最大混合状態の3量子ビットを使い、全体が分離可能なまま進む反例が示されました。
- 分岐ごとに制御に使う量子ビットと基底が変わるため、以前の証明で必要だった共通の形式に収まりません。
- 反例そのものは古典計算で容易に再現できます。もつれなしで量子優位が得られるかという問いは、解決していません。
「1つだけきれいな量子ビット」で何を計算するのか
1クリーン量子ビットモデルでは、1つの量子ビットを状態のはっきりした純粋状態に準備し、残りは最大混合状態から始めます。「クリーン」は物理的な汚れではなく、準備した量子状態の純粋さを指す言葉です。残りのレジスタには、特定の純粋状態にそろえられていない量子ビットが並びます。
代表的な使い方は、ユニタリ行列Uの正規化トレースを推定することです。n量子ビットに作用するUは2n行2n列ですが、求めるのは全要素ではなく、対角成分の和を2nで割った値です。クリーン量子ビットを使ってUを制御し、最後にその量子ビットをX基底・Y基底で測ると、測定の平均から正規化トレースの実部・虚部を読み取れます。
このモデルに対応する計算量のクラスがDQC1です。今回の問いは、さらに「計算中ずっと、すべての量子ビットが完全に分離可能」という条件を課したDQC1sepについてのものです。一般のDQC1と、この制限付きのモデルを分ける必要があります。
分離可能な混合状態は、1つの積状態とは違う
完全に分離可能な混合状態とは、各量子ビットの状態を掛け合わせた積状態を、確率的に混ぜて表せる状態です。1回分の積状態の表し方だけで全体を説明するのではなく、どの積状態がどの重みで混ざっているかも含みます。この混合には、量子もつれとは別の相関が残り得ます。
そのため「もつれがない」だけで、計算を追跡するための記述が常に小さく保てるとは限りません。また、クリーン量子ビットと残りのレジスタの間に、もつれがないことだけでも不十分です。今回必要なのは、レジスタ内部も含め、全量子ビットについて積状態の混合で表せることです。
論文では、途中までに積み重ねたユニタリ演算の固有ベクトルに注目します。積状態からなる正規直交な固有基底があれば、それらを等しい重みで混ぜてレジスタの最大混合状態を表せます。それぞれの固有状態に対して制御演算をかけると、対応する固有値の位相がクリーン量子ビット側に現れ、全体を再び積状態の混合として表せる、という仕組みです。
3量子ビットのレジスタで起こる、制御方向の切り替わり
反例には、レジスタの量子ビットa・b・cと、それらの演算を制御するクリーン量子ビットの計4量子ビットを使います。レジスタに対する3段階の操作は、aを制御・bを標的とするCNOT、aが0のときにcへZを作用させaが1のときに位相を加える操作、bを制御・cを標的とするCNOTです。CNOTは、制御側の値に応じて標的側を反転する演算です。実際のモデルでは、このレジスタ上の各操作が、さらにクリーン量子ビットによって制御されます。
個々のゲートと、そこまでのゲートをすべて掛け合わせた累積演算は区別します。論文は各段階の累積演算について積状態の固有基底を示し、完全に分離可能であることを説明しています。さらに付録では、ゲートを連続的に実装する途中も分離可能性を保つ経路を与えています。離散的なゲートの直後だけを見ている結果ではありません。
最後の累積演算をaのZ基底で分けると、a=0の枝ではbのZ基底が制御の役割を担い、a=1の枝ではcのX基底がその役割を担います。同じ位置の量子ビットが、同じ基底で、すべての枝を制御している構造ではないのです。
反例が崩すのは、証明のどの部分か
以前の議論は、分離可能性を保つ回路がすべて一定の構成規則を持つ「product-control circuit」であるとし、それを共通の制御集合を使った標準形へ変換する、という順序でした。その標準形から固有値を効率よく取り出せれば、測定結果の確率を古典計算で推定できます。
今回の反例では、最終累積演算の8個の固有値がすべて異なります。このため固有基底は、位相と並べ替えを除けば一意です。その固有ベクトルを調べると、固定した局所基底を持てるのはaだけで、b・cを共通の固定制御集合へ加えることはできません。一方、aだけで分けた枝の中にも、b・cそれぞれの単独演算の積では表せない構造が残ります。結果として、必要な標準形にはできないと論文は示しています。
著者が指摘するのは、以前の証明が、更新後のすべての枝に共通する制御側と基底を必要条件として扱った点です。反例では、枝ごとに制御の向きが変わっても分離可能性を保てます。これは「その形式なら古典計算しやすい」という説明そのものよりも、「分離可能な回路は必ずその形式へ入る」という網羅性に関わる問題です。
それでも、この回路は公平なコインで再現できる
反例の正規化トレースは0です。そのため、クリーン量子ビットをX基底またはY基底で測ると、2つの結果はそれぞれ確率1/2で現れます。この出力だけなら、古典的な公平なコインで簡単に再現できます。論文は、何もしないレジスタを追加した一様な回路族へ反例を拡張しますが、それによって難しい計算問題を解けると主張しているわけでもありません。
「従来の証明が使えない」と「古典計算では解けない」の間には、まだ距離があります。別の形式や別のアルゴリズムで、もつれのない回路を効率よく再現できる可能性は残っています。反対に、今回の結果だけで量子優位があるとも言えません。
| 知りたいこと | 今回の研究が示すこと | まだ必要なもの |
|---|---|---|
| 以前の標準形は全回路を覆うか | 完全に分離可能でも、その形に入らない具体例 | より広い構造を扱う記述・証明 |
| 古典計算を超える能力があるか | 今回の例自体は容易に再現可能 | 難しい問題族と計算量に関する別の議論 |
| 実機で優位性が得られるか | 理論上の回路と連続経路の提示 | 装置、誤差、比較対象をそろえた実験 |
この研究の価値は、量子優位を宣言したことではなく、分離可能性から古典シミュレーションへ進む推論に、どの条件が不足していたかを具体化した点にあります。量子計算の資源を考えるときには、もつれの有無と、状態や演算を効率よく記述できることを、別々に確かめる必要があります。
出典
- Christopher W. Mansell, Reopening the one clean qubit case of a semi-grand challenge, arXiv:2611.05046v1。2026年11月3日投稿、PDF題紙は11月4日。第2–7節、付録A・B。プレプリント。
- Mithuna Yoganathan, The power of restricted quantum computational models, University of Cambridge, 2021。第4章の定義4.2.3・4.3.10、定理4.3.9–4.3.12と関連証明。今回の反例が検討する以前の議論。