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

キーワード: 非可換量子LDPC符号 / クロマティック動的デカップリング / スペクトル推定のコピー数 / もつれ消失温度 / マイクロクリプト / 長距離マジック

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

今回は5本を扱う。カップ積によるゲージ化で定数レート・線形距離の非可換量子LDPC符号を構成し、符号空間全体の長距離マジックと符号化マジック状態の準備まで示した符号理論、IBMの127キュービット機で動的デカップリング系列の回路深さとパルス密度を比較した実験、量子状態の固有値分布を既知の下界と一致するコピー数で推定する学習理論、パウリハミルトニアンのギブス状態が完全分離可能になる温度の厳密な普遍しきい値、そしてNPオラクルを使った攻撃で「一方向関数なしの量子暗号」候補の多くを退けた暗号理論である。符号・学習・熱平衡の3本は既知の界を定数や次数まで確定させる研究で、実験と暗号の2本は候補の中から何が残るかを選別する研究になっている。

論文1: カップ積ゲージ化による良い非可換量子LDPC符号とマジック

出典: Non-Abelian sheaf quantum LDPC codes: good and magical. arXiv:2609.30159 (2026).

定数レート・線形距離という漸近最適な量子LDPC符号の枠組みを、パウリ・スタビライザー符号の外へ、厳密なパラメータ保証つきで広げた構成なので選んだ。清華大学丘成桐数学科学センターのZimu Li、Fuchuan Wei、Zhengyi Han、Zi-Wen Liuによる。前日に扱った純対数時間オーバーヘッドの誤り耐性計算と同じグループで、横断的な非クリフォードゲートを持つ量子局所検査可能符号という共通の部品を使っている。既知の良い量子LDPC符号はいずれも、セル複体上の局所古典符号が層を定め、そのコチェイン複体がCSS符号を与える層符号の枠組みに入る。一方、非可換符号は非可換トポロジカル秩序に由来し、非クリフォード演算やマジック状態の準備と直結するが、スタビライザー符号の対称性をゲージ化して作る既存の構成では、グラフのゲージ化はレートと距離の解析が残り、ねじれたハイパーグラフ積は定数レートと保護部分系の条件付き平方根距離にとどまっていた。難しさは二つある。ゲージ化が親CSS符号の論理コホモロジー類を結合させるため符号次元がそのまま継承されないこと、そして最小重みのX型・Z型論理演算子で距離を測る通常の特徴づけが使えないことである。

著者らは良い層符号のX型スタビライザー生成子を多重制御Zゲートで装飾し、ゲージ制約を論理コホモロジー類のカップ積で書く。任意のr≥2について、パウリ演算子とr−1個の制御を持つ多重制御Z演算子からなるスタビライザーで、パラメータが物理キュービット数Nに対して[[N, Θ(N), Θ(N)]]となる族が存在する。符号空間の正規直交基底を明示し、次元は制約を満たすコホモロジー類の組の数として、分極化された論理代表元のカップ積から評価する。距離は一般のニル・ラフラム条件から直接出発し、親層符号の展開性と論理代表元のクリーニングを組み合わせて、任意の低重み誤差に対する保護として線形距離を証明している。層符号は標数2の有限体上で定義され、各サイトに定数個の物理キュービットをまとめて実現する。理解を助ける例として、ハイパーグラフ積の段階で符号空間22次元のゲージ化トーリック符号に厳密な距離を与えている。

さらに、被覆空間による符号誘導を使ってほぼ良い族を作り、符号次元が3で割り切れる、すなわち2のべきにならないことから、符号空間のすべての状態族が長距離マジックを持つことを示した。ゲージ化と逆ゲージ化の測定を3つの符号ブロックと双対層構成に組み合わせると、論理クリフォード演算子の測定が実現でき、適切な論理スタビライザー入力から符号化マジック状態を準備できる。動機の一つは、低エネルギー状態が浅い回路とスタビライザー状態から作れないハミルトニアンを求める「低エネルギー自明マジックなし」予想で、NPとQMAが異なるという仮定のもとで量子PCP予想に残る障害の一つを取り除くことに対応する。限界として、長距離マジックが示されたのは符号空間の中だけで、低エネルギー部分空間全体へ広げるには距離以外の制御、たとえば健全性や局所検査可能性が要る。長距離マジックの族は厳密な線形距離ではなくほぼ良い族であり、雑音や近似的な準備のもとでの定量的な頑健性は未解決である。実用面では効率的な復号器、誤り耐性のある測定回路、資源コストの見積もりがまだない。

論文2: クロマティック動的デカップリングにおける回路深さとパルス疎性のトレードオフ

出典: Trading Circuit Depth for Pulse Sparsity in Chromatic Dynamical Decoupling. arXiv:2609.30175 (2026).

誤り訂正実験でも待機時間の保護に使われる多キュービット動的デカップリングについて、系列選択の実用的な指標を127キュービット実機で検証した研究なので選んだ。南カリフォルニア大学のAmy F. BrownとDaniel A. Lidarによる。全キュービットに同じ系列を掛けると単一キュービットの位相緩和は打ち消せるが、固定結合の超伝導機で常時働くZZ型クロストークとは可換で残る。従来のアダマール行列や直交配列に基づく多キュービット系列は回路深さがキュービット数に比例した。著者らの先行研究のクロマティック・アダマール型系列は、ハードウェアグラフを彩色して各色にアダマール行列の行を割り当て、深さを色数Cの高々2倍に抑えた。ただしパルス密度が高く、各時間ステップでキュービットがパルスを受ける平均割合であるパルス反復率は常に4分の1を超え、C=3では3分の2になる。

本論文は、深さを犠牲にして反復率を下げる2つの単軸系列を導入する。二進行列型は反復率が2/C未満、二進行列の列をグレイ符号順に並べ替えたグレイ符号型は反復率がちょうど1/Cで、どちらも深さは2のC乗になる。列の並べ替えでは行和と行どうしの内積が変わらないため、Xパルスだけで、XとXX型を除くすべての1体・2体項を1次まで打ち消すという性質はアダマール型と同じである。グレイ符号型は隣接する列のハミング距離が1なので各ステップで1色だけにパルスを打ち、制御群を1周する系列の中で総パルス数が最小になる。

実験は可変結合器を持たないIBM Eagle r3系のibm_strasbourgで、ヘビーヘックス格子に埋め込んだC=3彩色を使い、パルス幅60ナノ秒、最長38.4マイクロ秒の状態保存を、6つのパウリ固有状態と3通りの傍観キュービット準備の組で各5000ショット測った。18設定のうち1つは途中で失敗し、17設定で平均している。頑健化していない系列では、短時間の忠実度が反復率の低い順に良く、約15マイクロ秒以降に現れる各系列の忠実度の極小は無制御の待機を大きく下回った。その極小は同じ時刻ではなくほぼ同じ累積パルス数で現れ、1パルスあたり一定のコヒーレント誤差と整合する。単一キュービットのUR4ブロックを借りた頑健版にするとこの差はほぼ消え、同等性能なら最少パルスで済む頑健なグレイ符号型が最良とされた。距離3の5色彩色と組み合わせた比較でも、頑健化していない系列では対象キュービットの反復率が等しいものが色数によらず同程度の保存性能を示した。限界として、解析は1次の平均ハミルトニアンと瞬時パルスに限られ、C=5の頑健版では隣接キュービットへのパルスが多いほど性能が落ちた。有限幅パルス中のクロストークは瞬時パルス解析の外にあり、頑健版の構成自体も形式的な頑健性証明のない仮置きである。実機は1台で、多軸・高次の系列やより大きなCは今後の対象とされている。

論文3: 量子状態のスペクトル推定の最適コピー数

出典: Optimal spectrum estimation. arXiv:2609.30171 (2026).

量子学習理論の基本問題の一つで、2016年以来の予想と最近の上界・下界の隙間を定数倍まで閉じ、先行研究の予想した率を反証した結果なので選んだ。ニューヨーク大学のAinesh Bakshi、Apoorv Vikram Singhとマサチューセッツ工科大学のXinyu Tanによる。未知のd次元密度行列のコピーから、固有値を並べた確率ベクトルを全変動距離εで推定する問題である。全状態トモグラフィーならもつれ測定でd²/ε²、1コピーずつの測定でd³/ε²のオーダーのコピー数で足りる。固有基底が既知なら古典の整列分布推定に帰着し、定数精度でd/log dのサンプルで済む。論点は固有基底を学ぶコストをどこまで省けるかで、Wrightは2016年の博士論文で定数精度にd²/log dのオーダーが必要と予想し、Pelecanos、Spilecki、Tang、Wrightはもつれ測定での最適率をd²/(ε² log² d)のオーダーと予想していた。

主定理は、もつれ測定でコピー数をd²とmin{(ε log d)の−4乗, (ε log d)の−2乗}の積のオーダーに抑えるもので、Wangの最近の下界と定数倍を除いて一致する。ε log dが1より小さい高精度側では予想された率と同じだが、定数精度ではd²/log⁴ dとなり、予想より対数の2乗分少ない。ランクがr以下と約束されれば、ランダム次元縮約によりdをrに置き換えられる。1コピーずつの測定では、さらにdを1つ掛けたコピー数で達成し、先行上界にあった(log log d)⁴の因子を除き、εへの依存もεの−6乗から−4乗または−2乗へ改善した。著者らはこれが適応的な1コピー測定の中で最適だと予想している。

手法は2段構成で、大きい固有値をバケット化で推定して射影子で分離し、残る小さい固有値の部分状態について弱シュアサンプリングからモーメントの不偏推定を得る。ここまでは先行研究の部品で、新しいのは小さい固有値の復元を、単項式モーメントではなくチェビシェフ多項式のモーメント照合で行い、推定モーメントの誤差が復元固有値の誤差にどう伝わるかを制御した点にある。各チェビシェフ・モーメント推定量の分散は、古典と量子のエフロン・スタイン分解で行列微分へ帰着し、さらに対応する多項式のスカラー微分で抑える。スペクトルを区間[−1,1]へ写すと零付近の近似が細かくなって(ε log d)⁻⁴の率が出るが端点で微分が大きい。[−1/2,1/2]へ写すと端点を避けて分散が下がり、高次の多項式を使えるので(ε log d)⁻²の率になる。未解決点として、弱シュアサンプリングが最適な測定であることは知られているのに、射影子の学習や適応的な測定選択なしに最適コピー数を達成する明示的な後処理は与えられていない。1コピー測定の下界はもつれ測定から継承したものしかなく、d³側の最適性は予想にとどまる。エントロピー推定、ランク検定、忠実度や跡距離の推定へ同じ枠組みが及ぶかも開いた問いとして挙げられている。

論文4: パウリハミルトニアンのもつれ消失温度の厳密な普遍しきい値

出典: Sharp universal death of entanglement threshold for Pauli Hamiltonians. arXiv:2609.30149 (2026).

高温ギブス状態が完全分離可能になる「もつれの死」について、次数ごとの厳密なしきい値と最適な定数を同時に確定させた研究なので選んだ。ボウディン大学のBobak T. Kianiの単著である。Bakshi、Liu、Moitra、Tangは、有界な相互作用次数の局所ハミルトニアンで高温ギブス状態が積状態の混合になることを示し、kを局所性、Δを項の重なり次数として逆温度が1/(100kΔ)以下で分離可能性を得た。Putterman、Zlokapa、Cotlerは局所性の因子を除いて1/(96Δ)まで改善し、1/Δのスケーリングは改良できないと示したが、最適な定数は未解決だった。前日に扱った量子スコアマッチングも、サンプル最適性の保証は逆温度がしきい値未満の高温領域に限られていた。

設定は、係数の大きさがJ以下のパウリ項の和で、各項と台が重なる他の項が高々Δ個のハミルトニアンである。主定理は、βJが、0から1のxについてx掛ける((1−x)/(1+x))のΔ−1乗の最大値の逆双曲線正接として定まるz_Δ以下ならギブス状態が積パウリ固有状態の混合になり、z_Δを超える任意の温度では、重なり次数Δ以下の可換パウリハミルトニアンで有限系ながらもつれたギブス状態を持つものが存在する、というものである。値はz₂=(1/4)log 2≈0.173、z₃≈0.0904となる。近傍の係数絶対値和の最大値Λを使うと、βΛ≤1/(2e)で分離可能、かつ1/(2e)より大きい定数は一様には成り立たない、という最適な漸近定数も得られる。しきい値の少し下、βJ≤(1−δ)z_Δでは、積パウリ固有状態上の分布からギブス状態をトレース距離εで近似する標本を多項式時間で生成する古典アルゴリズムを与えている。

証明は、先行研究のように逐次のピン止めで正値性を保つのではなく、指数関数の包除展開を全体で行ってから正値性を示す。連結な項の集合をポリマーとして分解し、各成分に単位行列の定数倍を足して分離可能にしたうえで、全体の分離可能性を古典的な独立集合多項式の正値性に帰着させる。これはシアラー条件に対応し、木の上の再帰の不動点がしきい値を与える。逆向きには、項の重なりグラフが木になる可換ハミルトニアンで部分転置の固有値を同じ再帰で追い、しきい値を超えると負になることを示す。限界として、最適性を示す構成では項の局所性がΔとともに大きくなるため、2局所など局所性を固定した場合の最適定数は決まっていない。しきい値は最悪ケースに対する普遍的なもので、ランダムなハミルトニアンの典型的な値とは異なりうる。分離可能性、分配関数の零点のない領域、ギブスサンプラーの速い混合のしきい値は一般に一致せず、本文でも今回の族について分離可能性と零点なし領域が分かれる明示例を挙げている。

論文5: マイクロクリプトを作れない構成の判別

出典: How Not to Build Microcrypt. arXiv:2609.30253 (2026).

一方向関数なしで成り立ちうる量子暗号という分野の中心的な主張について、既存候補を系統的に退け、残る設計の範囲を示した研究なので選んだ。カリフォルニア大学サンタバーバラ校のAditya Gulati、イリノイ大学アーバナ・シャンペーン校とNTT ResearchのDakshita Khurana、イリノイ大学のKabir Tomerによる。擬似ランダム状態、擬似ランダムユニタリ、一方向状態生成器は、量子マネー、コミットメント、暗号化の土台となる量子的な基本要素で、古典の一方向関数が存在しなくても存在しうる。NPオラクルがあっても破れない仮定から作る領域はマイクロクリプトと呼ばれるが、提案された候補はわずかで、NPを使う攻撃に対する安全性はほとんど調べられていなかった。一般の一方向状態生成器は古典のPPオラクルを使えば量子多項式時間で反転できることが知られているが、PPはNPよりはるかに強いと考えられている。

著者らはNP補助の影のトモグラフィーを導入する。鍵から計算基底の各成分の振幅と位相を古典的に効率よく計算できる状態族を「計算可能」と呼び、そうした純粋状態の族は、効率的な測定で得た古典的な影をNPの探索問題として反転できることを示す。その結果、計算可能な一方向状態生成器はNPオラクル付きの量子多項式時間で反転でき、加えて鍵から計算基底上の分布を決定的に標本化できる場合には、古典の一方向関数が導かれる。この条件は、一方向関数を避ける目的で提案されたハミルトニアン位相状態や、森前・草川のIQP型量子群作用に基づく仮定を含み、それらは一方向関数を含意することになる。ユニタリについては、2つのクリフォード演算で、計算基底の置換と対角位相を挟んだ形の族をNPオラクル付き量子計算で学習でき、したがってハール乱数と区別できると示した。これは最初に安全性が証明された擬似ランダムユニタリの候補や最近の構成を含む。

先行研究では、Kretschmerが2値位相の擬似ランダム状態に対するNPオラクル攻撃を与えていた。本論文はこれを一般の計算可能な純粋状態族へ広げた。同時期にCarrascoらも、計算基底の確率が一様な位相状態について状態認証の枠組みでハミルトニアン位相状態から一方向関数を独立に導いているが、本論文は振幅の大きさが一様でない状態も扱う点で異なる。限界として、得られたのは計算可能性や標本化可能性という構造を持つ構成に対するノーゴーであり、マイクロクリプト一般の不可能性ではない。著者らは攻撃が及ばない構成を表にまとめ、NPの外にありそうな仮定から擬似ランダム状態や擬似ランダムユニタリを作る方向を残る道として示している。

参考ソース

• 論文1: Non-Abelian sheaf quantum LDPC codes: good and magical. arXiv:2609.30159
• 論文2: Trading Circuit Depth for Pulse Sparsity in Chromatic Dynamical Decoupling. arXiv:2609.30175
• 論文3: Optimal spectrum estimation. arXiv:2609.30171
• 論文4: Sharp universal death of entanglement threshold for Pauli Hamiltonians. arXiv:2609.30149
• 論文5: How Not to Build Microcrypt. arXiv:2609.30253