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

キーワード: 動的コンパス符号と欠陥除外 / トライサイクル・クアッドサイクル符号の魔法状態工場 / イオン-SiV間キロヘルツ・エンタングルメント / 準粒子の分布設計 / チレルソン問題の明示的反例

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

通常の新着総合回の2日目である。扱う5本は2026年10月7日と8日に投稿された新着で、前回の10月10日の回とは重ならない。顔ぶれは、シドニー大学とIBMによる156量子ビット実機での誤り訂正、ハーバード大学とQuEraによる量子LDPC符号向けの魔法状態工場、IonQとデューク大学による異種量子ビット間のキロヘルツ・エンタングルメント、チャルマース工科大学による準粒子に強いトランズモン、中国科学院によるチレルソン問題の明示的反例である。前の4本に共通する問いは、誤り耐性計算の部品ごとに、実機の不均一さと資源のボトルネックをどこで吸収するかである。最後の1本は、量子相関の数学的な境界そのものを、検証可能な形で書き下した。

論文1: ヘビーヘックス超伝導プロセッサ上の誤り訂正メモリと論理演算

出典: Error-Corrected Memory and Logic on a Heavy-Hex Superconducting-Qubit Processor. arXiv:2610.11658 (2026).

量子ビットの性能がそろわない大型の一体型チップで、メモリ、論理測定、格子手術までを一つの装置上で評価した実験であり、欠陥の扱いが誤り訂正性能を直接左右することを数値で示したので選んだ。著者はシドニー大学のCampbell McLauchlan氏、Stephen Bartlett氏、Robin Harper氏ら、成均館大学のSeok-Hyung Lee氏、IBM QuantumのBenjamin Brown氏らである。

実験装置はIBMのHeron世代の156量子ビット機ibm_bostonで、量子ビットはヘビーヘックス格子に並び、2量子ビットゲート忠実度の中央値は約99.7%である。一方で、一部の量子ビットとカプラは中央値より1〜2桁大きい雑音を示し、その多くは46番と85番の量子ビットの周辺に集まる。符号には、ヘビーヘックス配置向けに設計された動的コンパス符号を使った。X検査は4体、Z検査は2体の測定で、4段の周期でチェックを測り、瞬間的なスタビライザー群を入れ替えるフロケ型の符号である。著者らは不良な量子ビットとその隣のカプラを一切使わず、周囲のゲージ測定を組み替えてスーパースタビライザーを作る欠陥除外の手順を導入した。欠陥の近くではX検査が重み2〜3に、Z検査が重み1に縮み、Xスタビライザーの重みは通常の最大8から最大10に増える。

復号はBeliefMatchingで、IBMが報告する誤り情報から作る雑音モデルと、平均回路固有値サンプリング（ACES）で実験と同時期に学習した回路固有のパウリ雑音モデルを比べた。装置に収まる最大の7×7パッチのメモリ実験では、ACESと欠陥除外の組み合わせで1ラウンドあたりの論理誤りがZ基底で23.2%、X基底で18.0%下がった。IQ平面の生データで読み出しを補正し、漏れ確率90%以上のショットを除くと、論理誤りは1ラウンドあたりZで4.11%、Xで2.56%になり、基準からの改善は32.3%と35.2%だった。欠陥除外を入れた7×7パッチは、平均的な5×5パッチの性能に並ぶか上回った。5×5の安定性実験では、欠陥を残すと12ラウンド前後で失敗確率が頭打ちになったが、除外すると30ラウンドまで抑制が続き、30ラウンドでの改善は最大56%だった。パウリ雑音のシミュレーションはこの頭打ちを再現せず、著者らは漏れが原因とみている。

格子手術では、二つの3×3符号の間で論理ベル状態を作った。漏れや初期化失敗の疑いがある試行を実行前に除く事前選別で、ベル忠実度の下限は77.3%になった。さらに、デコーダの論理ギャップによる事後選別を重ねると、閾値8で忠実度の下限と上限が95.8〜97.8%、閾値9で97%超に達した。ただし事前選別は開始試行の86.7%を除外し、閾値8での総合的な歩留まりは4.55%にとどまる。著者らは、選別後も1ラウンドあたりの検出器の反応が1.16から0.91にしか減らないことを示し、誤りのないショットだけを拾っているのではなく訂正が働いていると論じた。

限界として、1ラウンドあたり数%の論理誤りは、7×7と5×5が同等以上という比較にとどまり、符号距離を上げたときの誤り抑制係数は示されていない。装置は回路途中のリセットに対応せず、時間方向の距離はラウンド数の半分に制限される。ソフト情報は報告値の雑音モデルを使う場合にだけ効き、ACESとの併用では改善がなかった。著者ら自身、欠陥が多ければ到達できる符号距離が制限され、素子の均一性の改善が要ると結論している。

論文2: 量子LDPC符号のためのシングルショット魔法状態工場

出典: Single-shot magic state factories for quantum LDPC codes. arXiv:2610.10731 (2026).

高レートの量子LDPC符号の利点を保ったまま非クリフォード資源を供給するという、qLDPCアーキテクチャに残る最大の空白に、具体的な工場の設計と中性原子での実装手順で答えた研究なので選んだ。著者はハーバード大学のVarun Menon氏、Rohan Mehta氏、Mikhail Lukin氏、J. Pablo Bonilla Ataides氏ら、QuEra ComputingのMichael Gullans氏ら、カリフォルニア工科大学のQian Xu氏、マサチューセッツ工科大学のHengyun Zhou氏である。

量子LDPC符号は表面符号より少ない物理量子ビットで低い論理誤り率に届くが、非クリフォードゲートを符号のレートを損なわずに供給する方法がなかった。また多くの操作は、符号距離に比例する回数のシンドローム測定の繰り返しを要する。著者らは役割の異なる2種類の符号を組み合わせた。3次元の平衡積符号であるトライサイクル符号は、横断的なCCZゲートを持ち、複数の論理魔法状態を定数深さで並列に作れるが、X方向とZ方向の距離が大きく偏る。4次元に拡張したクアッドサイクル符号は、6ブロックに6n_G個の物理量子ビットを持ち、冗長な検査から得るメタチェックによって、XとZの両基底でシングルショットの準備と誤り訂正ができ、X–Z双対性で両方向の距離がそろう。トライサイクル符号はクアッドサイクル符号の中に埋め込めるため、深さ1の準同型CNOTで論理状態を後者へ移せる。著者らはこれを「エスケープ」と呼ぶ。

手順は3段階である。三つのトライサイクル・ブロックを|+⟩に準備し、距離2の繰り返し符号に当たるファンアウト・ガジェットでCCZ回路を深さ2から深さ1に縮めたうえで横断的CCZをかけ、9論理量子ビットのハイパーグラフ状態を作る。この状態は、2元体上の3×3行列の行列式を実装するゲートに対応する。並行して三つのクアッドサイクル・ブロックを|0⟩に準備し、深さ1のCNOTで状態を移した後、トライサイクル側をX基底で横断測定し、自明でない検出結果が一つでもあれば破棄する。完全な誤り検出による事後選別で、論理誤りが生き残るのに要する故障数がおよそ倍になり、雑音率を一様に変えたときの誤りの次数は距離3の工場で3.11、距離4で3.91と、距離の半分ではなく距離そのものに一致した。得られた状態からは、二つのCCZ状態を取り出せる。

物理誤り率10⁻³の回路レベル脱分極雑音で、この工場はCCZ状態を論理誤り率10⁻⁹まで下げ、空間と時間の積で測るコストは最先端の魔法状態の培養法より10〜40分の1になった。比較は、CCZ 1個に少なくとも4個のT状態が要ることを踏まえてCCZの収量で正規化し、培養法の論理誤り率をこの工場と等しくそろえた動作点で行っている。クアッドサイクル符号はAI支援の探索で見つけたもので、開示によれば符号探索とシミュレーション開発にAnthropicのClaudeを使った。中性原子の再構成可能な配列への実装では、すべての操作を配列を一定回数横切る原子輸送に落とし、横断的CCZを1回のリュードベリ・パルスで実行する配置まで示した。

限界は著者ら自身が挙げている。自明でない検出結果をすべて捨てるため受理率が下がり、その分が期待コストに入る。数値は最尤誤りデコーダによるもので、大規模な実時間運用には重すぎる。CCZゲートの誤りは有効チャネルで近似しており、厳密な扱いは今後の課題である。収量を論理測定でCCZへ変換するコストは比較表に含まれず、培養法側のTからCCZへの変換コストも含まれない。ショアのアルゴリズムやフェルミ・ハバード模型の計算全体で、総量子ビット数と実行時間がどれだけ減るかはまだ評価されていない。

論文3: キロヘルツ速度のイオン-ダイヤモンド間エンタングルメント

出典: Quantum Networking at the Speed of Quantum Computation: Kilohertz Entanglement in a Heterogeneous Quantum System. arXiv:2610.10705 (2026).

モジュール型量子計算の律速段階であるモジュール間エンタングルメント生成で、捕捉イオン間の最速の光リンクの4倍の速度を出し、イオン計算機の動作周期に届く速度を示したので選んだ。著者はIonQとデューク大学量子センターの研究者で、筆頭の複数名は同等寄与として無作為の順に並ぶ。

モジュール間で連続的に論理演算を行うには、10〜100キロヘルツのエンタングルメント生成が要ると見積もられている。一方、捕捉イオン間の最速の光リンクは毎秒250ペアである。両ノードから光子を検出する2光子方式では、成功確率が1ノードの光子収集効率の2乗で効くため、光子損失がそのまま速度を削る。著者らは、片方のノードを光子を反射する量子メモリにすれば、検出光子1個で成功を告知でき、成功確率が収集効率の1乗に比例し、2光子干渉も要らないという点に着目した。メモリにはダイヤモンドのナノフォトニック共振器内のシリコン空孔（SiV）中心を使い、相手には¹³⁸Ba⁺イオンを選んだ。

イオンからの493.5ナノメートルの光子は、真空槽の外に置いた開口数0.75の対物レンズで集め、偏光がイオンのスピンと絡む。この光子を偏光に依存しない周波数変換で737.45ナノメートルへ移し、非対称マッハ・ツェンダー干渉計とポッケルスセルで偏光符号化を時間ビン符号化に変える。SiVと強く結合した共振器は、電子スピンが上向きのときだけ光子を反射し、二つの時間ビンの間にマイクロ波πパルスを入れることで、反射を条件にイオンとSiVの状態が絡む。反射光は同じ変換器を逆向きに通るため干渉計の位相は相殺され、能動安定化は要らない。対角偏光で測ればどちらの時間ビンかの情報が消え、検出1回がベル状態の生成を告知する。

試行頻度1.1メガヘルツで、生成速度は1.032キロヘルツ、忠実度は87.9%だった。成功までの平均時間は969マイクロ秒、平均試行回数は731回で、状態評価用の664マイクロ秒の読み出しを含めると毎秒612ペアになる。各部の効率から予測した速度は1.21キロヘルツで、測定値は14%低いが誤差の範囲内である。忠実度の損失は、イオン側が4.3%、メモリ側が3.9%、周波数変換の雑音による偽の告知が2.9%、メモリに届いたが検出されなかった光子によるSiVの位相緩和が1.9%で、合計の予測87.4%は実測とよく一致した。1バッチの試行回数を増やすと初期化の割合が減って速度は上がるが、未検出の光子によるSiVの位相緩和が積み重なり忠実度が下がる。

限界として、実証したのはイオンとSiVの間のリンクで、二つのイオン計算機を結ぶイオン-イオン間の接続ではない。速度は必要とされる10〜100キロヘルツの下限のおよそ10分の1で、忠実度87.9%も局所ゲートより大きく劣る。SiV側は希釈冷凍機で運転しており、著者らは歪みをかけたSiVなら1.5ケルビンで動作するため、小型の冷凍機でもよいと述べる。改善策として、イオンからファイバーへの結合効率の向上や、反射の有無ではなく位相で動く光子ゲートへの置き換えにより、5キロヘルツ超を見込んでいる。

論文4: 準粒子から守られた超伝導量子ビット

出典: A quasiparticle-protected superconducting qubit. arXiv:2610.12227 (2026).

高エネルギー放射が引き起こす相関誤りの連鎖は標準的な符号で訂正できず、超伝導量子計算機の規模拡大で避けられない課題である。ジョセフソン接合だけでなくチップ全体の超伝導ギャップの分布を設計するという、対策の範囲を広げる発想を実験で示したので選んだ。著者はチャルマース工科大学のTrond Hjerpekjøn Haug氏、Simone Gasparinetti氏、Per Delsing氏、Raphaël Van Laer氏らである。

準粒子が接合をトンネルするとトランズモンのエネルギーを吸収して緩和を起こす。接合の両側のアルミニウム膜の厚さを変えてギャップ差を量子ビット周波数より大きくするギャップ設計は、この緩和を抑える。しかし準粒子の数そのものは減らないため、接合付近の準粒子は臨界電流を下げて周波数をずらし、位相誤りの原因になる。著者らは、接合の電極を厚さ100ナノメートルと18ナノメートルにしてギャップ差を約40マイクロ電子ボルト、周波数にして約10ギガヘルツとした。そのうえで、接地面と島を厚さ150ナノメートルのニオブ（表面に10ナノメートルの金）で作り、接合とニオブを厚い低ギャップのアルミニウムの帯で結んだ。ニオブで生じた準粒子は速く再結合し、接合の近くで生じたものはギャップの低いアルミニウムの帯に落ち込んで、接合から離れた場所に捕まるという設計である。比較対象には、同じ形状の接合を持つ全アルミニウムのトランズモンを用意した。

1550ナノメートルのレーザーを、チップの約5ミリメートル上からチップと逆向きに照射して準粒子を作った。照射がないときの緩和時間T1は両者とも40〜50マイクロ秒である。全アルミニウム素子は0.1ナノワットを超えると緩和が増えたが、ニオブ素子は10ナノワットまで緩和の増加がなく、耐えられる光パワーは1桁以上大きかった。同じ範囲で、ニオブ素子では準粒子による周波数シフトも検出されず、接合付近の準粒子密度が低いことと整合した。共振器の比較でも、アルミニウムの共振器は光パワーとともに損失が増えたが、ニオブの共振器は10マイクロワットまで線幅が広がらなかった。

一方で保護は完全ではない。ニオブ素子のラムゼー位相緩和時間T2*は、緩和が増えない10ナノワット以下でも光パワーとともに低下した。状態準備と測定の忠実度も10ナノワットまで緩やかに下がり、それを超えると急に悪化した。照射と強いマイクロ波読み出しが重なると、トランズモンが計算部分空間の外へ励起される電離が起き、0.1ナノワットでも約1%の測定がどちらの状態とも合わない裾に入った。10ナノワットを超えた後の緩和の増加については、ニオブ中の再結合で生じる高周波フォノンによる接合のトンネルか、アルミニウムの帯に溜まった準粒子による損失かを、測定からは区別できていない。

限界として、比較は各1個の素子どうしで、動作周波数も5.4ギガヘルツと4.4ギガヘルツで異なる。著者らは周波数差では大きな違いを説明できないとするが、統計的な比較ではない。また評価は連続光の照射であり、放射線による瞬間的な準粒子の大量発生そのものを当てた実験ではない。緩和を抑えた後に残る位相緩和と読み出し誤りが、次の誤差要因として表に出たことが、この研究のもう一つの結果である。

論文5: 線形システムゲームによるチレルソン問題の明示的反例

出典: An Explicit Counterexample to Tsirelson's Problem via a Linear System Game. arXiv:2610.10248 (2026).

量子情報と作用素環論にまたがる大問題であるチレルソン問題について、存在証明しかなかった反例を、具体的に生成・保存できるゲームとして構成し、Lean 4で形式検証まで済ませた研究なので選んだ。著者は中国科学院ソフトウェア研究所の高敏博（Minbo Gao）氏、余天石（Tianshi Yu）氏、中国科学院数学・システム科学研究院の支麗紅（Lihong Zhi）氏である。

チレルソン問題の近似版は、可換な測定から得る相関の集合C_qcが、有限次元のテンソル積から得る相関の閉包C_qaと常に一致するかを問う。これはコンヌの埋め込み予想と同値である。Ji、Natarajan、Vidick、Wright、Yuenは非局所ゲームの再帰的圧縮によって否定的に解決したが、反例のゲームは具体的に書き下せる形では与えられていなかった。著者らはこれを、1行に非ゼロ係数がちょうど3個の2元連立一次方程式から作る二値線形システムゲームとして実現した。アリスは方程式を一つ受け取り、パリティ条件を満たす3ビットを答える。ボブはその方程式に含まれる変数を一つ受け取り、1ビットを答える。両者の答えが一致すれば勝ちである。

$$\omega_c(G) \le \omega_q(G) = \omega_{qa}(G) < 1 = \omega_{qc}(G)$$

構成は、方程式1,417,152本、変数1,889,684個で、右辺の非ゼロ成分はただ一つである。可換作用素戦略で勝率1が達成できることは、方程式系の解群で特別な中心的対合が単位元でないことから従う。一方、その対合は、定義関係の誤差が小さい任意の次元のユニタリ行列による近似表現では、次元によらず一様に単位元に近づく。スロフストラとヴィディックの判定条件により、これは有限次元の量子値が1未満であることを意味する。この性質を作るために、カジュダンの性質（T）を持つ群の組、トムの正規化定理、合併積、スロフストラの埋め込み構成を組み合わせた。古典値は厳密に1−1/4,251,456と求まり、量子値と1との差には、下から2^(−2^50003)、上から1/4,251,456という明示的な評価が付いた。

結果の確かさは形式化で担保されている。Lean 4とMathlibで、有限表示、方程式系、ゲームを具体的に定め、主定理である分離、群に関する主張、古典値、量子側の差の下界を証明した。最終結果は未証明の仮定や証明省略を使っておらず、リポジトリには公理の監査手順が付く。ただし一部の中間結果は、最終結論に必要な形に限って形式化されている。

限界は、差の大きさにある。量子値と1との差の下界は2の2^50003乗分の1という二重指数的に小さい値で、実験でC_qaとC_qcを区別する手段にはならない。古典値との差1/4,251,456も、質問の組の総数4,251,456のうち1組分にすぎない。また、以前のスロフストラの構成では、C_qaには勝率1の相関があるのに有限次元の完全戦略は存在しないゲームが示されていたが、この研究は次元を上げても勝率が1未満に一様にとどまるという、より強い分離を明示的に与えた点に意味がある。

まとめ

今日の5本は、誤り耐性計算の各部品で、理想的な前提と実機の不均一さの差をどこで吸収するかを示した。シドニー大学とIBMの実験は、156量子ビット機で欠陥素子を外した測定順序を組み直し、メモリの論理誤りを最大35%、安定性実験の失敗確率を最大56%下げたが、格子手術の高い忠実度は数%の歩留まりと引き換えだった。ハーバード大学とQuEraの工場は、トライサイクル符号で魔法状態を作りクアッドサイクル符号へ逃がすことで、CCZ状態を10⁻⁹の論理誤り率で、培養法の10〜40分の1のコストで作れることを数値で示した。IonQとデューク大学はイオンとSiVのリンクで1.03キロヘルツ、忠実度87.9%を達成し、モジュール間の要求速度まであと1桁の位置に来た。チャルマース工科大学の素子は、ギャップの分布設計で光照射への耐性を1桁以上高めたが、位相緩和と読み出し誤りが残った。チレルソン問題の反例は、量子相関の境界を約190万変数の具体的なゲームとして書き下し、形式検証で確かめた。

参考ソース

• 論文1: Error-Corrected Memory and Logic on a Heavy-Hex Superconducting-Qubit Processor. arXiv:2610.11658
• 論文2: Single-shot magic state factories for quantum LDPC codes. arXiv:2610.10731
• 論文3: Quantum Networking at the Speed of Quantum Computation: Kilohertz Entanglement in a Heterogeneous Quantum System. arXiv:2610.10705
• 論文4: A quasiparticle-protected superconducting qubit. arXiv:2610.12227
• 論文5: An Explicit Counterexample to Tsirelson's Problem via a Linear System Game. arXiv:2610.10248