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

キーワード: qLDPC符号の高速サージェリー / 資源見積もりの不確かさ伝播 / 並列較正とドリフト管理 / サンプルベース量子対角化のGPUソルバー / 適応的パウリ予測のコピー数下限

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

2026年10月7日から9日にarXivへ投稿された量子物理の論文から、これまでの回で扱っていない5本を選んだ。アイスバーグ・クオンタムによるqLDPC符号の高速サージェリーの空間コストの改善、パキスタンの研究者による誤り耐性資源見積もりへの不確かさ伝播、中国国防科技大学による大規模超伝導プロセッサの並列較正とドリフト管理、東京大学素粒子物理国際研究センターによるサンプルベース量子対角化のGPUソルバー、北京理工大学と中国人民大学による適応的パウリ予測の必要コピー数の下限である。前半の3本は、誤り耐性計算のコストがどの前提の上に立っているかを、符号理論、見積もり手法、実機の運用という3つの層から問い直している。後半の2本は、量子計算機の出力を古典側でどう処理し、どれだけのデータが要るかという、量子と古典の分担の問題を扱う。

論文1: 低密度パリティ検査量子符号の高速サージェリーを省スペース化する

出典: 2 Fast 2 Surgery: Fast surgery on QLDPC codes with Õ(n(k + d)) space overhead. arXiv:2610.11079（2026年10月8日投稿）。著者はアイスバーグ・クオンタム（シドニー）のNouédyn Baspin氏。

qLDPC符号上の論理演算で、時間を定数に縮める「高速サージェリー」の追加量子ビット数を、従来の最良構成から次数で一つ減らした理論結果なので選んだ。低オーバーヘッド構成でボトルネックになる論理演算の時空間コストに直接関わる。

qLDPC符号はn/kを定数に保てるため空間コストでは有利だが、符号が論理情報を外部から隔離するほど論理演算が難しくなり、ゲート1回におおむね符号距離dに比例する時間がかかる。格子サージェリーはqLDPC符号に一般化できることから低オーバーヘッド構成の中核とされてきた。ただし元の形式ではやはりΩ(d)の遅延を伴う。Baspin氏、Berent氏、Cohen氏の先行研究（2025年）などは、サージェリーをO(1)時間で行う高速化を示したが、最も一般的な構成では追加の物理量子ビットがÕ(nkd)必要だった。一方、高速化しない通常のサージェリーはÕ(nk)で実現できることが知られている。本論文は、この高速化の枠組みが要求する補助系の条件、すなわち十分な展開性（エクスパンション）と、元の符号以上のシストール（論理演算子の最小重みに相当する量）を、Õ(n(k−κ+d))個の補助量子ビットで満たせることを示した。ここでκは測定したい論理部分空間の次元である。構成は二段階で、まず密だが展開性を持つ補助系を写像ファイバーとして作り、次にゲージングの重み削減ガジェットと符号埋め込みの手法で疎にする。著者は、このゲージング・ガジェットが展開性を保つことを示した点を技術的な要としている。

結果として、高速サージェリーのコストは通常のサージェリーのÕ(nk)と同程度まで下がる。著者は、定数レートの符号では対数因子を除いて最適だとし、d log n の項も論理コサイクルの台が少なくともdの大きさを持つことから避けにくいと議論している。同じ著者は同時期の別論文で、疎な補助系による一般のサージェリーにはΩ̃(k²)の補助量子ビットが必要な論理部分空間が必ず存在することも示しており、上界と下界が対になっている。限界として著者自身が挙げるのは、メタチェックに当たる境界写像が疎になるとは限らない点で、これが実装上の主な制約になる。結果は漸近的な存在証明であり、具体的な符号での定数因子、復号器、回路レベル雑音下での論理誤り率の評価は含まれていない。

論文2: 実測の誤り率で誤り耐性資源見積もりを幅として出し直す

出典: Standard estimators cannot represent fault-tolerant workloads at measured error rates: evaluated, evidence-based uncertainty for quantum resource estimation. arXiv:2610.10490（2026年10月7日投稿）。著者はパキスタンのFAST国立コンピュータ・新興科学大学などのFurqan Nasir氏とSher Jeel Ahmad氏。

RSA-2048の素因数分解などの資源見積もりは耐量子暗号への移行時期の判断に使われるが、ほぼ常に1点の数字で示される。その慣行に対し、実機で測られた誤り率を入れると見積もりがどう変わるか、既存ツールがそもそも答えを返せるかを定量的に示したので選んだ。

計画上の慣行では物理2量子ビットゲート誤り率を10⁻³に固定するが、著者らが集めたGoogle、IBM、中国科学技術大学などの大規模超伝導デバイスの測定値では、中央値は約4×10⁻³である。著者らは、誤り率、サイクル時間、マジック状態工場、ルーティング、復号時間を確率分布（事前分布）として与え、5つの表面符号コストモデルにモンテカルロで伝播させた。モデルには解析的な表面符号スケーリング、リティンスキーの格子サージェリーのタイル勘定に加え、第三者ツールのAzure Quantum Resource EstimatorとQualtranを含む。相関のある入力の寄与はシャープレイ効果で分解し、評価方法は本計算の前に事前登録した。対象はRSA-2048、ECC-256、AES-256、ハバード模型の量子シミュレーションの4つである。

結果は三つある。第一に、RSA-2048の物理量子ビット数の90%区間は2.86×10⁷から1.18×10⁹で約41倍の幅になり、中央値1.01×10⁸は10⁻³で計算した点推定約2×10⁷の約4.6倍になった。第二に、同じ入力に対して5つのモデルは安定して約2倍の差を示した。互いに10%以内で一致する2つの第三者ツールもその範囲の中にある。第三に、2つの第三者ツールは実測ベースの入力の大部分で答えを返せなかった。RSA-2048ではAzureの見積もりツールが80.9%、Qualtranが95.4%の入力を表現範囲外とした。原因は、前者が符号距離の上限を50に置くこと、後者が固定のマジック状態工場を使い、誤り率が約1.7×10⁻³を超えると誤り予算を超えることである。AES-256のTゲート数6.066×10⁴³は、Azureのツールの64ビットカウンタの上限約1.8×10¹⁹を超えてしまう。著者らはこれを物理的な不可能性ではなく、出荷時設定のツールの表現範囲の問題だと明記している。限界も明確で、結果は超伝導の2次元表面符号に限られ、誤り率の事前分布を公表値より悪い側へ1.3倍ずらす「生存者補正」は判断による設定である。これを外すと中央値の上振れは約2.9倍、幅は約23倍に縮むが、結論の向きは変わらない。また、RSA-2048の論理回路は2021年のギドニー氏とエケロー氏の見積もりに基づいており、著者ら自身が関連研究で触れている2025年の一桁以上の削減は、この比較の基準点には入っていない。

論文3: 66量子ビットと337量子ビットの超伝導プロセッサで並列較正の規則を測る

出典: Quantitative Rules for Parallel Calibration and Drift-Resilient Maintenance of Large-Scale Superconducting Quantum Processors. arXiv:2610.11477（2026年10月8日投稿）。著者は中国国防科技大学コンピュータ科学技術学院のZhihao Wu氏、Kechengqi Zhu氏、Shichuan Xue氏ら16名。

数百量子ビット規模の自動較正で経験則に頼っていた二つの選択、すなわち較正タスクをどこまで同時に走らせてよいかと、どのパラメータを優先して更新するかを、実機の測定から数値の規則に変えた研究なので選んだ。

単一量子ビットの較正一式には1量子ビットあたり約30分かかり、100量子ビットでは逐次実行で約50時間になる。誤り訂正では物理誤りを長時間しきい値以下に保つ必要があるため、並列化とドリフト管理が欠かせない。実験はトランズモン66個、可変カプラ109個、読み出し線11本を持つフリップチップ構成の66量子ビットプロセッサで行い、較正は依存関係を有向非巡回グラフで表した自動較正フレームワークで実行した。単一量子ビットの同時XEBでは、孤立した較正から全チップ同時駆動まで誤り分布がほぼ重なり、全量子ビットで誤りは0.4%未満だった。一方CZゲートでは、カプラのグラフ距離2で同時較正すると制御誤り（XEB誤りからスペックル純度ベンチマークの誤りを引いた量）の平均が約0.91%に上がり、距離4、6、孤立ではそれぞれ0.61%、0.59%、0.54%だった。指数関数による当てはめでは、クロストークの減衰長は1.37辺で、磁束クロストークで説明できる。著者らはこれを根拠に、単一量子ビットは全並列、CZは距離4を採用した。時間計測では、追加タスク1件あたりの逐次的なオーバーヘッドが残るため高速化は頭打ちになるが、漸近的に単一量子ビット較正で約29倍、2量子ビット較正で約20倍となった。

ドリフトについては、1時間あたりに換算した変動を較正の不確かさで割った検出可能性スコアDと、その変動がゲート誤りの予算（2量子ビットゲートで0.1%など）をどれだけ消費するかの比Rを定義した。CZ結合g、量子ビット周波数、CZの動的位相が最優先、DRAG係数が中位、πパルス振幅が下位となり、CZ離調とカプラの待機バイアスは変動が測定の不確かさより小さかった。この規則で運用した領域では、6量子ビットGHZ状態の忠実度がゼロノイズ外挿後に最大89.64%、1サイクルのビット反転繰り返し符号の多数決誤りは距離3から9で3桁以上下がった。さらに中国電信のクラウド基盤「天衍」の337量子ビット機に同じフレームワークを適用し、単一量子ビットの平均誤りを0.023から0.011に下げた。限界として、著者らは繰り返し符号の指標が状態準備と最終読み出しの誤りに支配され、表面符号実験のサイクルあたり論理誤り率とは比べられないと明記している。優先度の順位もこのデバイスと観測期間に固有で、更新の具体的な間隔は別の設計判断として残されている。337量子ビット機での改善幅は、最初の手動較正を基準にした値である。

論文4: サンプルベース量子対角化を大規模並列で解く汎用ソルバー

出典: A scalable sample-based quantum diagonalization solver for general Pauli-sum Hamiltonians. arXiv:2610.13907（2026年10月9日投稿）。著者は東京大学素粒子物理国際研究センターのYutaro Iiyama氏。

サンプルベース量子対角化（SQD）は、量子計算機には部分空間の基底を提案させるだけで、残りを古典計算が担う手法で、量子計算機の有望な応用の一つとして多体系の基底状態問題に広く適用されている。その古典側の中核である大規模な部分空間対角化を、一般のパウリ和ハミルトニアンに対してGPUで行うオープンソース実装を詳しく示したので選んだ。

SQDでは、量子状態のサンプリングと後処理で得たビット列の集合を部分空間の基底とし、そこへ射影したハミルトニアンの基底状態を求める。部分空間は数百億次元に達することがあり、射影した行列をメモリに置けないため、行列を作らずに行列ベクトル積の中で射影を行う方式が必要になる。既存のGPU実装には、量子化学とハードコアボソンに特化したSBD-G（スーパーコンピュータMiyabiの128ノードで2.34×10¹⁰次元の部分空間を対角化）と、64量子ビットまでのパウリ和を扱うCUDA-Q付属の実装がある。本論文のソルバーはJAX上のPythonで書かれ、量子ビット数の上限を持たない。固有値計算には、単一ベクトル・前処理なしの局所最適共役勾配法を自作で採用し、最低固有対だけに絞ってメモリを再利用することで、同時にGPUメモリへ置く次元D のベクトルを最少5本にした。これにより、10⁹次元を128ビット複素数で扱う問題が、100GBメモリのGPU 1枚で解ける。行列ベクトル積では、各パウリ列をX成分とZ成分に分け、X成分が同じ項をまとめる。基底ビット列にX成分を排他的論理和で作用させた先が部分空間に入っているかを、ソートを使う探索で求める。この探索結果は何度も再利用されるのでキャッシュし、対角部分はメモリとの兼ね合いで毎回計算する設定を既定にしている。

検証では、30サイトの1次元横磁場イジング模型の基底と第一励起のエネルギー差をH100（96GB）1枚で求め、転移点h=1付近で縮退が解ける様子を再現した。32サイトでは1枚に載らないため8〜128ノードで並列実行し、全条件で同一のエネルギーを得て、良好な強スケーリングを示した。限界として、JAXが2³¹−1要素を超える安定ソートを実装していないため、現状の部分空間の次元は2³⁰−1までに制限される。数百億次元という最先端のSQDに届かせるには、ノードごとにブロック単位でソートする改修が必要で、著者はこれによる速度低下も認めている。また性能評価は横磁場イジング模型での固有値ソルバー単体が中心で、実機サンプルを使ったSQD全体の比較や、SBD-Gなど既存実装との速度比較は示されていない。

論文5: 適応的に選んだパウリ観測量の予測に必要なコピー数

出典: Finite-Size Limits of Adaptive Pauli Prediction. arXiv:2610.13652（2026年10月9日投稿）。著者は北京理工大学物理学院のLuofei Wang氏、Zhangqi Yin氏と、中国人民大学高瓴人工知能学院のBoyu Liu氏、Zihe Wang氏。

前の測定結果を見てから次に調べる観測量を選ぶ、という実験で普通に行われる手順に、統計的にどれだけのコストがかかるかを、既知の上界と一致する下界で確定させた結果なので選んだ。

固定したM個のパウリ観測量の予測なら、2コピーのベル測定と穏やかな集団的符号推定を組み合わせ、O(log(M+1))個のコピーで足りることが知られている。しかしリュードベリ原子配列の実験で2点相関を見てから領域を選び、その領域のZ列のパリティを調べるように、問いが前の答えに依存する場合は事情が変わる。ホアン氏、ルイス氏、ホアン氏、プレスキル氏の先行研究は、n量子ビット上のM回の適応的なパウリ問い合わせにΩ(min{√M, n^(1/3)})個のコピーが必要で、O(min{√M, n})で足りることを示していた。M=nではn^(1/3)と√nの間に隙間が残っていた。本論文は下界をΩ(√min{n, M})に引き上げた。証明は、古典の適応的データ解析で使われるスタインケ氏とウルマン氏の対話型フィンガープリンティング符号を、各問い合わせが単一のZ型パウリのパリティになるように表現し直すものである。利用者を表すワンホットのレジスタと、ラウンドごとの鍵を組み合わせた計算基底状態の混合を使い、ラベル長はd+Lビットと、先行研究の構成より短い。

結果として、精度を固定するとM≤nで必要コピー数はΘ(√M)となり、n回の適応的予測にはΘ(√n)個が必要になる。固定リストならO(log n)で済むので、この差が適応そのものの統計的なコストである。下界は対角な状態と互いに可換な観測量だけで成り立つため、測定による状態の乱れではなく、データに依存して問いを選ぶこと自体から来ている。M=n^αとすると、必要コピー数の多項式の指数は(1/2)min{α, 1}に定まる。精度εへの依存については、下界はmax{√min{n,M}/ε, min{n, log(M+1)}/ε²}の定数倍で、上界の√M/ε²などとの間にはεの次数の隙間が残る。著者らは、この精度の隙間は古典の対応する問題でも未解決だと述べている。結果は情報理論的な下界であり、具体的な実験プロトコルの改善を直接与えるものではない。

まとめ

前半の3本は、誤り耐性計算のコストの前提を三つの層から問い直した。高速サージェリーの空間コストは、構成上の工夫でÕ(nkd)からÕ(n(k+d))まで下がり、通常のサージェリーと同程度になった。一方で、資源見積もりそのものは、実測の誤り率を入れると幅が約40倍に広がり、標準ツールの多くが答えを返せない領域に入る。実機の運用面では、66量子ビット機の測定から、CZの同時較正には距離4が要ること、ドリフトの更新優先度を誤り予算の消費で決められることが示された。後半の2本は、量子と古典の分担の問題である。SQDの古典側は、10⁹次元級の対角化をGPU 1枚で行えるところまで来たが、2³⁰次元の上限が残る。適応的な測定データ解析は、固定リストのO(log n)に対して√nのコピーを要求する。

参考ソース

• 論文1: 2 Fast 2 Surgery: Fast surgery on QLDPC codes with Õ(n(k + d)) space overhead. arXiv:2610.11079
• 論文2: Standard estimators cannot represent fault-tolerant workloads at measured error rates: evaluated, evidence-based uncertainty for quantum resource estimation. arXiv:2610.10490
• 論文3: Quantitative Rules for Parallel Calibration and Drift-Resilient Maintenance of Large-Scale Superconducting Quantum Processors. arXiv:2610.11477
• 論文4: A scalable sample-based quantum diagonalization solver for general Pauli-sum Hamiltonians. arXiv:2610.13907
• 論文5: Finite-Size Limits of Adaptive Pauli Prediction. arXiv:2610.13652