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

キーワード: 定数空間オーバーヘッド誤り耐性 / 量子局所検査可能符号 / 圧縮置換オラクル / 量子スコアマッチング / 光集積マイクロコム / 非マルコフ量子輸送

オープニング：2026年9月25日 — arxiv量子コンピュータ論文解説

今回は5本を扱う。定数空間オーバーヘッドの誤り耐性量子計算で時間オーバーヘッドを純粋な対数まで下げた理論、圧縮置換オラクルの健全性を問い合わせ数の平方根スケールへ引き上げてSHA-3の具体的な量子安全性評価へつなげた暗号理論、スコアマッチングを密度演算子へ拡張して高温ギブス状態をサンプル最適に学習する手法、ボース・アインシュタイン凝縮体の量子状態制御までを担う光集積マイクロコム光源、共有浴と確率位相で非マルコフ輸送の計算次元を縮約する数値手法である。理論3本はいずれも既知の界を、残っていた因子の除去、タイトな次数、下界と一致する次数まで詰める研究で、実験・数値の2本はスケールさせるときに何が比例して増えずに済むかを示している。

論文1: 定数空間・純対数時間オーバーヘッドの誤り耐性量子計算

出典: Purely-logarithmic-time- and constant-space-overhead fault-tolerant quantum computation. arXiv:2609.28461 (2026).

誤り耐性量子計算の空間・時間オーバーヘッドという基礎的な問題で、既知の最良結果に残っていた準多重対数因子を除いた理論結果なので選んだ。清華大学丘成桐数学科学センターのZhengyi HanとZi-Wen Liuによる。背景として、連結符号は空間・時間ともに多重対数のオーバーヘッドを要する。Gottesmanは適切な量子LDPC符号で空間オーバーヘッドを定数にできることを示したが時間は多項式であり、その後、山崎・小芦による準多重対数、Tamiya・小芦・山崎による多重対数（古典処理時間込み）、Nguyen・Pattisonによる対数の1プラスo(1)乗まで時間オーバーヘッドが縮んできた。本論文は、幅W、深さDの適応的Clifford+CCZ回路を目標誤差εで模擬する際、定数の物理誤り率しきい値以下で、物理キュービット数をWに状態準備等の付加項F(n)を足したオーダー、深さをD掛ける対数(WD/ε)のオーダーに抑える。F(n)の対数は対数nと二重対数nの積のオーダーであり、Wが定数倍のF(n)以上なら空間オーバーヘッドは定数になる。深さの評価には古典処理時間を含め、理想回路の接続性は任意とする。

主構成は、Li、Li、Liuが同時期に示した「多項式サブランクの横断的論理CCZゲートを持つ良い量子局所検査可能符号（qLTC）」を計算用符号に使う。長さnのブロックで1回の横断操作がnのΩ(1)乗個の独立な論理CCZを能動論理部分空間上に実行するので、高密度の格納ブロックから論理キュービットを一括で能動部分空間へ移し、同じアンシラ作業領域を再利用しながらn/r回のバッチで処理する。1バッチはrに多重対数nを足した時間で済み、ブロック長を対数(WD/ε)に選ぶと理想1層あたりの物理時間がnのオーダーとなって純粋な対数オーバーヘッドが得られる。非Clifford部分は横断操作で直接実装されるため、別途準備が要るのは位相ゲート用のY状態などスタビライザー資源状態だけで、これはqLTCで保護した準備・復号・検査・蒸留とハミング蒸留で作る。第2の構成として、Nguyen・Pattisonの量子リード・ソロモン型マジック状態蒸留の固定回路を、ブロック長が増えていくqLTCで保護しながら再帰適用し、同じ深さ上界をより大きい加法的空間項で得る。

限界は著者ら自身が挙げている。空間オーバーヘッドが定数になるのは回路幅が付加項F(n)を上回る場合に限られ、この幅条件が本質的かは未解決である。古典処理は無雑音、物理接続は任意と仮定しており、雑音のある古典制御や幾何学的に制約された相互作用で追加オーバーヘッドがどれだけ生じるかは扱っていない。既知の下界との関係で、この時空間トレードオフが最適かどうかも開いた問いとして残る。すなわち結果は漸近的な存在証明であり、具体的な符号族の定数やしきい値の数値を与えるものではない。なお著者らは、証明細部の展開と記述に生成AIツールの実質的な支援を受けたと明記している。

論文2: 圧縮置換オラクルの健全性を平方根スケールへ

出典: Compressed Permutation Oracles Revisited. arXiv:2609.28469 (2026).

量子ランダムオラクルモデルでの対称鍵暗号の安全性証明に使われる道具の適用範囲を大きく広げ、SHA-3の具体的な量子衝突・原像下界まで与えた研究なので選んだ。メリーランド大学のJoseph Carolanとデンマーク工科大学のChristian Majenzによる。前日に扱った溶接木の経路発見下界でも、問い合わせ履歴の記録に圧縮置換オラクルが使われていた。ランダム関数についてはZhandryの圧縮オラクルが、重ね合わせ問い合わせを小さな入出力データベースとして扱い、古典の遅延サンプリング論法に近い証明を可能にした。置換では単射性によってデータベースの項目が相関し、順方向と逆方向の問い合わせの整合も要るため拡張が難しい。既存の圧縮置換オラクルは部分置換をデータベースとする枠組みを与え、Feistel構成の安全性やスポンジ、Davies-Meyerの問い合わせ下界に使われてきたが、N要素の置換に対して健全性がNの12分の1乗オーダーの問い合わせまでしか証明されていなかった。この模擬誤差が、データベース解析自体は期待通りの界を与える場合でも最終的な安全性評価を支配していた。

本論文は同じ圧縮置換オラクルを直接解析し、順・逆あわせてq回問い合わせるアルゴリズムが一様ランダム置換と区別できる優位度を、qを√Nで割ったオーダー以下に抑える。したがってqが√Nより十分小さければ模擬は健全で、この界はタイトである。理想暗号モデルでも鍵数に依存せず、鍵の重ね合わせ問い合わせを許して同じ界が成り立つ。技術的な核心は、ランダム置換のナイーブな純化から圧縮等長写像を作ることにある。各部分置換はその全補完の一様重ね合わせを定めるが、これらの状態は互いに重なるため素朴な写像は等長にならない。著者らは補完状態を直交するレベルに分けてフレームを正規化し、圧縮を純化上のPOVMのコヒーレントな実装として構成する。この正規化と1回の問い合わせの比較を対称群の表現論で制御している。

応用として、定数を明示した基本補題から、ダイジェスト長d、容量cのスポンジについて原像探索の成功確率をTの2乗を2のd乗で割った項とTの3乗を2のc乗で割った項の和、衝突をTの3乗を2のd乗で割った項と同じ容量項の和のオーダーで抑える。ここでTは出力の取得・検証に要する問い合わせを含む。1600ビット置換を一様とみなすと、SHA3-256で成功確率2分の1に達するには原像で2の124乗、衝突で2の83乗程度の問い合わせが必要になり、SHA3-512では原像2の252乗、衝突約2の168乗となる。nビットブロックのDavies-Meyerでは原像がTの2乗を2のn乗で割ったオーダー、衝突がTの3乗を2のn乗で割ったオーダーで、SHA-1とSHA-2の圧縮関数に対応する。これらはあくまで置換や暗号を理想化したモデルでの界であり、Keccak置換そのものの構造を使う攻撃までは対象外である。

論文3: 量子スコアマッチングによる熱平衡状態の学習

出典: Quantum score matching with applications to learning thermal states. arXiv:2609.28391 (2026).

古典生成モデルで分配関数を回避する中核原理を非可換な密度演算子へ移し、高温ギブス状態の学習でサンプル最適性と実機実証を同時に示した研究なので選んだ。ミシガン大学のYulong Dongとバージニア工科大学のJiaqi Lengによる。古典のスコアマッチングは対数密度の勾配を合わせることで正規化定数を評価せずに学習できるが、量子状態は確率ではなく非可換な密度演算子で表されるため、スコアの定義そのもの、効率的な回路実装、理論保証のいずれも自明でない。著者らは、エルミート演算子のフレームに沿った微分を交換子で定義し、その方向の対称対数微分を対称量子スコアとして導入する。モデルと標的のスコアの二乗差は、未知状態のコピーだけで期待値を取れる観測量の期待値と定数の和に書き換えられ、古典のHyvärinen恒等式に対応する。フレームが十分豊かなら大域的同定可能性も成り立ち、有界局所性・有界相互作用次数のハミルトニアンでは高温で各キュービットのXとZだけのフレームで足りる。

ギブス状態モデルへの適用では、目的関数の勾配を未知状態のコピーで推定する乱択回路を与え、モデルハミルトニアンの時間発展へのアクセスを仮定する。高温領域では勾配観測量の準局所性により複数の勾配成分を1コピーから同時推定でき、射影勾配降下の収束解析と合わせて、パラメータ誤差ε、失敗確率δに対し必要コピー数を逆温度の2乗とεの2乗の積の逆数に対数(2m/δ)を掛けたオーダーに抑える。この次数はミニマックス下界と定数倍を除いて一致し、追加の熱状態準備を必要としない。数値実験では8キュービットの非一様横磁場イジング模型の15係数を学習し、逆温度0.6以下では1反復あたり10の5乗ショットで平均パラメータ誤差が10%を下回った。

実機ではIBMのピッツバーグ量子プロセッサ上で4キュービット横磁場イジング模型の結合と磁場の2パラメータを学習し、アダマール試験用アンシラを含め各回路5キュービット、1勾配ステップあたり256回路インスタンス掛ける32ショットの8192ショットを使った。誤り緩和も誤り訂正もなしに、要旨では相対パラメータ誤差が64%から約10%へ下がったと報告し、本文では45回の更新で逆温度0.2で約10%、0.4で約15%となっている。限界は温度依存にある。保証は逆温度がしきい値未満の高温領域に限られ、著者らの定理と先行研究の情報理論的下界は、必要コピー数が逆温度とともに指数的に増えうることを示す。2日前に投稿された並行研究は同枠組みの別の順序付けに相当し、低温の個別事例での数値的成功は一般的効率保証と区別されると著者ら自身が述べている。実機実験も2パラメータの小規模系である。

論文4: 超低温量子気体を制御する光集積マイクロコム光源

出典: A photonic integrated comb engine for ultracold quantum gases. arXiv:2609.28294 (2026).

中性原子系のスケールで律速になる光学制御系について、周波数合成・原子参照・増幅を一つの集積光源にまとめ、実際にボース・アインシュタイン凝縮体の量子状態制御まで到達した実験なので選んだ。深圳国際量子研究院のJunqiu Liuらのグループによる。冷却原子の装置は、相互にコヒーレントな複数の光を生成・安定化・増幅・分配する必要があり、従来は個別レーザー、参照共振器、自由空間光学系の組み合わせで、寸法・重量・消費電力・コストと振動による調整ずれが問題になる。可視域の集積レーザーやチップ上の光周波数コムは個別には実現されていたが、機能が分断されており、集積レーザー・コム光源で超低温量子気体をコヒーレント制御した例はなかった。

著者らは電流駆動のIII-V族半導体レーザーを高Q窒化シリコン微小共振器へ自己注入同期させ、780ナノメートル帯で20ギガヘルツと100ギガヘルツのモード間隔を持つプラティコン型マイクロコムを生成した。共振器の固有Q値は約9.4掛ける10の6乗で、150ミリメートルウェハ上のCMOS互換工程で作製している。コムをルビジウム85の遷移へ変調移行分光で絶対参照し、2000秒にわたる長期周波数ドリフトを200メガヘルツ超から100キロヘルツ級へ抑えた。選んだ1本のコム線を別のダイオードへ注入同期して102ミリワットまで増幅し、固有線幅約2.6キロヘルツとコムのコヒーレンスを保持した。この782.25ナノメートルの光で、ルビジウム87凝縮体に格子深さ4.2反跳エネルギーの光格子、2光子ラマン遷移、スピン軌道結合状態とラマン格子状態を作った。

意義は、同期した周波数グリッドにより、制御チャネルを増やしても独立な周波数参照を比例して増やさずに済む構成を示した点にある。一方、補足データではラマン格子中での原子数減衰に1.4ミリ秒と53.2ミリ秒の2成分、ラビ振動のコヒーレンス時間1.6ミリ秒、最大スピン移行効率約0.8が示されており、実証は単一の増幅コム線を用いた格子・ラマン操作である。多数の独立チャネルを同時に並べた運用や、中性原子プロセッサの個別アドレス制御でのゲート忠実度までは示していない。

論文5: 確率位相による浴縮約で非マルコフ量子輸送を大規模化

出典: Scalable simulation of non-Markovian quantum transport by stochastic-phase bath reduction. arXiv:2609.28318 (2026).

開放量子系の非摂動シミュレーションで、各サイトに独立な浴を持たせることによる指数的な次元増大を、誤差上界つきで回避した方法論なので選んだ。カリフォルニア大学バークレー校とフラットアイアン研究所のZhen Huang、バークレー校・ローレンス・バークレー国立研究所・カリフォルニア工科大学のLin Lin、ローレンス・バークレー国立研究所のPinchen Xieによる。有機半導体の電荷や光合成アンテナの励起子の輸送は、電子振動結合がコヒーレントなトンネルと同程度の中間結合領域にあり、弱結合・強結合どちらの近似も制御できない。単一準粒子のホルスタイン模型でも各サイトに構造化された振動浴が付くため、直積表現の次元はサイト数に対して指数的に増える。テンソルネットワーク法はサイト分解の浴を保持するため長時間動力学は数十サイト程度にとどまり、混合量子古典法は系と浴のもつれを保持せず厳密解への系統的収束を持たない。

確率位相アルゴリズムは、Ns個の局所ガウス浴をR個の共有量子浴に置き換え、各サイトとの結合に独立一様な静的ランダム位相を掛ける。位相平均により2点浴相関関数の行列は任意のRで厳密に再現され、非ガウス性から生じる高次のサイト間相関誤差はRの逆数で抑えられる。固定時刻での縮約密度演算子のトレースノルム誤差はRの逆数オーダーで、前因子はサイト数と接続性に依存しない。したがって与えた時刻と精度では、ネットワークを大きくしても浴のコピー数を増やす必要がない。さらに各共有浴を少数の減衰量子モードで表す結合リンドブラッド圧縮と組み合わせ、空間方向とスペクトル方向の両方で次元を縮約する。位相平均は完全正値性を保ち、2次の時間無畳み込み摂動論が中間結合で正値性を破るのと対照的である。

数値検証では、3掛ける3格子で厳密なユニタリ計算に対して系統的に収束し、100掛ける100の乱れた格子でR=1の状態ベクトル計算を実行した。光合成複合体LH2のB850環に対応する19サイト鎖では、サイトあたり50振動モードの浴を6モードの散逸浴に圧縮し、R=1でほぼ厳密な経路積分の励起子占有とよく一致し、30フェムト秒以降の小さなずれは有限Rの誤差と整合する。ルブレン結晶のb軸正孔移動度では、200サイト鎖のユニタリ計算で200から400ケルビンにわたり時間依存密度行列くりこみ群の値を再現し、エーレンフェスト動力学は系統的にずれた。限界として、サイズ非依存の誤差上界は単一準粒子の設定に対するもので、関連する電子セクターが系サイズとともに増える多体系へは一般に拡張されない。100掛ける100格子では収束済みの基準解がなく、繰り込み強束縛模型との定性比較にとどまる。

参考ソース

• 論文1: Purely-logarithmic-time- and constant-space-overhead fault-tolerant quantum computation. arXiv:2609.28461
• 論文2: Compressed Permutation Oracles Revisited. arXiv:2609.28469
• 論文3: Quantum score matching with applications to learning thermal states. arXiv:2609.28391
• 論文4: A photonic integrated comb engine for ultracold quantum gases. arXiv:2609.28294
• 論文5: Scalable simulation of non-Markovian quantum transport by stochastic-phase bath reduction. arXiv:2609.28318