arXiv量子コンピュータニュース（2026年9月19日）

キーワード: 量子局所検査可能符号 / 因果分離可能性 / マートン予想 / フロッピングモードスピン量子ビット / ブラインド量子計算

今日は5本。漸近的に良いパラメータを持つ量子局所検査可能符号の明示的構成、因果分離可能な量子プロセスの完全特徴づけ、マートンの多項式フライマン・ルザ予想の量子応用への多項式時間アルゴリズム化、ゲルマニウムのフロッピングモードスピン量子ビットによる超低消費電力コヒーレント制御、そしてパウリベース計算を使った小型サーバーによるブラインド量子計算を取り上げる。

論文1: 漸近的に良い量子局所検査可能符号

量子局所検査可能符号（quantum LTC）は、定数重みの局所テスターが定数の健全性でエラーを検出できる符号であり、定数レート・定数相対距離という「良い（good）」パラメータとの両立が長く追求されてきた構成目標である。この論文は、定数レート・定数相対距離・定数重みの局所テスター・定数健全性のすべてを同時に満たす量子LDPC CSS符号の明示的な族を構成しており、これらのパラメータを漸近的に良い形で揃えた点で取り上げる。

著者らは量子ビット上の量子LDPC CSS符号の明示的な族を構成し、その符号が定数レートと定数相対距離を持つこと、さらに定数重みの局所テスターが定数の健全性を達成することを示した。論文の記述はこの構成結果そのものに焦点を当てており、具体的なレート・距離・健全性の数値や構成に用いる符号族の詳細、既存の量子LDPC符号や古典局所検査可能符号との定量的な比較は本文に譲られている。

局所検査可能性は、符号語の一部をランダムに読み出す局所テスターだけで、対象がその符号に近いか遠く離れているかを高い確率で判定できる性質であり、量子誤り訂正符号においてこの性質と良いパラメータ（定数レート・定数相対距離）を両立させる明示的構成は、量子LDPC符号の研究で追求されてきた目標の一つに位置づけられる。この論文はその両立を、定数重みの局所テスターかつ定数健全性という条件のもとで達成した構成を提示している。

この結果は、量子誤り訂正符号の検査可能性（テスト可能性）とパラメータの良さを同時に達成する明示的構成という、符号理論上の目標に対する解答を与える。抄録の範囲では計算量や実装上の含意、達成された健全性の定数がどの程度実用的な検査コストに相当するかは示されておらず、詳細な評価は原論文の本文に依存する。

出典: Asymptotically Good Quantum Locally Testable Codes. arXiv:2609.20780 (2026).

論文2: 因果分離可能な量子プロセスの完全特徴づけ

因果（非）分離可能性は、局所量子操作を行う複数の当事者間の因果順序が well-defined か不定かを区別する概念であり、その一般的な多者間設定はOreshkovとGiarmatzi、およびWechs・Abbott・Branciardの先行研究で導入・研究されてきた。この論文はそれらの先行研究に残された未解決問題を解決しており、因果分離可能性の完全な特徴づけを与えた点で取り上げる。

因果分離可能性とは、複数の当事者が局所量子操作を行う一般的なプロセス（プロセス行列）において、当事者間の因果順序が確率混合の形であれ well-defined に定まっているかどうかを問う性質である。著者らは新しい「コヒーレント・テレポーテーション技術」を用い、Wechs・Abbott・Branciard (2019) で因果分離可能性の十分条件として同定されていた条件が、実は必要条件でもあることを示した。これにより、多者間の因果分離可能性に対する完全な特徴づけが得られる。この結果の帰結として、すべての因果分離可能なプロセスは「因果順序を古典的に制御する量子回路（quantum circuits with classical control of causal order）」として実現できることが示される。

この結果は、因果分離可能性という条件と、それが古典制御された量子回路として具体的に実現できるという構成的な性質とを等価にする点で、不定因果順序研究における構造的な理解を進める。証明技法として導入されたコヒーレント・テレポーテーション技術がどの程度他の因果構造の問題に応用可能かは、抄録の範囲では述べられていない。

出典: All causally separable quantum processes are quantum circuits with classical control of causal order. arXiv:2609.20774 (2026).

論文3: マートンの予想の多項式時間アルゴリズム化と量子トモグラフィーへの応用

GowersたちによるMarton多項式フライマン・ルザ予想の解決（Annals ’25）に対し、この論文はその構成的・アルゴリズム的対応物を与えている。加法的組合せ論の理論的な存在定理を、実際に多項式時間で実行できる形にした点、かつその応用として量子状態トモグラフィーの問題群を解いている点が新しい。

著者らは、倍加定数が高々$K$である集合$A\subseteq\mathbb{F}_2^n$に対し、一様サンプリングとメンバーシップ・オラクルへのアクセスのもとで、サイズが$|A|$以下の部分空間であって、その$K^{O(1)}$個の並進が$A$を被覆するものを出力するアルゴリズムを与えた。このアルゴリズムは$\mathrm{poly}(n,K)$時間で動作する。応用として、二次Goldreich-Levin問題、スタビライザー状態の非適切な非依存トモグラフィー（improper agnostic tomography）、スタビライザー拡張が有界な量子状態のトモグラフィーを含む、多様な学習問題に対する多項式時間アルゴリズムを得ている。

この結果は、加法的組合せ論の存在論的な定理を量子情報の実行可能なアルゴリズムへ橋渡しするものであり、特にスタビライザー拡張が有界な状態のトモグラフィーという、量子学習理論で扱いにくかった問題クラスに多項式時間の解法を与える点に意義がある。応用先に挙げられている二次Goldreich-Levin問題はブール関数のフーリエ係数中の大きな二次的相関を効率的に特定する問題であり、著者らのアルゴリズムはこれを含む複数の学習問題を共通のフレームワークで多項式時間に落とし込んでいる。抄録の範囲では、得られたアルゴリズムのサンプル計算量やオラクルアクセスの具体的な回数は明示されていない。

出典: Marton's conjecture in polynomial time. arXiv:2609.20771 (2026).

論文4: ゲルマニウムのフロッピングモードスピン量子ビットによる超低消費電力コヒーレント制御

半導体量子ドット中のホールスピン量子ビットは高忠実度の全電気的制御を可能にするが、量子ビットのコヒーレンスと読み出しに有利な低磁場では、従来の電気双極子スピン共鳴（EDSR）がデバイス上で-27 dBmに達する大きな高周波駆動電力を必要とし、加熱やクロストークの点でスケーラブルなアーキテクチャの課題となっていた。この論文は、平面型Geホールスピン量子ビットでフロッピングモード（FM）量子ビットを実証しており、電荷ノイズへの一次保護と高効率な電気的駆動を両立させた点で取り上げる。

著者らは、単一スピンが二重量子ドットに非局在化するフロッピングモード配置を用い、磁場方向に対するコヒーレンス・スイートスポットをマッピングすることで、$T_2^*=1.4\,\mu\mathrm{s}$、Hahnエコーでの$T_2^{\mathrm{Hahn}}=11.5\,\mu\mathrm{s}$、CPMG32での$T_2^{\phi}=130\,\mu\mathrm{s}$、$T_1=226\,\mu\mathrm{s}$、ゲート時間$t_{X\pi}=88\,\mathrm{ns}$で単一量子ビットゲート忠実度99.76%を達成した。重要なのは、これらの結果がほぼ面内磁場5 mT、デバイス上わずか-52 dBmの駆動電力で得られている点である。またこの領域での量子ビット緩和は2光子オーバッハ過程と整合しており、さらなる最適化の方向性を示している。

この結果は、フロッピングモードEDSR（FM-EDSR）が超低消費電力かつ高忠実度の単一量子ビット操作を支持することを実証し、ホールスピンベースのスケーラブルなアーキテクチャやハイブリッドなスピン・光子インターフェースに向けた改善となりうる。駆動電力は従来の-27 dBmから-52 dBmへと大きく低減されているが、この低電力領域と高忠実度・長いコヒーレンス時間の両立が他の量子ビット数への拡張時にも維持されるかは、抄録の範囲では述べられていない。

出典: Coherent and ultra-low-power EDSR with a flopping-mode spin qubit in germanium. arXiv:2609.20775 (2026).

論文5: パウリベース計算による小型サーバーでのブラインド量子計算

ブラインド量子計算（BQC）は低資源のクライアントが量子サーバーへ計算を秘匿しつつ委託することを可能にするが、サーバー側の資源コストが計算サイズに応じて増大することが実装上のボトルネックとなっていた。この論文はパウリベース計算（PBC）を活用し、サーバーサイズを非クリフォードゲート数のみに依存させるBQCを実現しており、資源コストのボトルネックに直接取り組んでいる点で取り上げる。

著者らは、PBCを利用することでサーバーの必要規模が非クリフォードゲート数のみに依存するBQCプロトコルを構築した。このプロトコルはPBCからフォールトトレラント性と量子ビット仮想化を継承する。さらに、古典的シミュラビリティが存在しない場合でも古典クライアントによるBQCが可能であることを明らかにしている。加えて、資源状態計算を大幅に低減された実行コストで行うエンタングルメントベースの双対プロトコルも提示されている。

この結果は、BQCにおけるサーバー資源のスケーリングを計算全体のサイズではなく非クリフォードゲート数という、より小さい量へ結びつけ直す点で実装上のボトルネック緩和に意義がある。抄録の範囲では、削減されたサーバーサイズの具体的な数値スケーリングや、双対プロトコルによる実行コスト低減の定量的な大きさは示されていない。

出典: Blind Quantum Computation with a Small Quantum Server. arXiv:2609.20729 (2026).

参考ソース

• 論文1: Asymptotically Good Quantum Locally Testable Codes. arXiv:2609.20780
• 論文2: All causally separable quantum processes are quantum circuits with classical control of causal order. arXiv:2609.20774
• 論文3: Marton's conjecture in polynomial time. arXiv:2609.20771
• 論文4: Coherent and ultra-low-power EDSR with a flopping-mode spin qubit in germanium. arXiv:2609.20775
• 論文5: Blind Quantum Computation with a Small Quantum Server. arXiv:2609.20729