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

キーワード: qLDPC符号 / オープン量子系学習 / 変分量子固有値ソルバー / アンクローナブル暗号 / トラップドイオン / 中性原子

今回は、量子誤り訂正符号の新しい構成法から、開放系ダイナミクスの学習理論、実機ベンチマーク、量子鍵配送のサイドチャネル対策まで、理論と実装の両面から9本を取り上げる。ハイライトは、イリノイ大学が示したリフティッド積符号の新構成、IBM実機とテンソルネットワークを突き合わせたLipkin-Meshkov-Glick模型のベンチマーク、そしてQuantinuumのトラップドイオン実機で波動方程式を解いた大規模シミュレーションの3本。

論文1: 群拡大とグラフリフトで作るリフティッド積符号の新構成

出典: Lifting Lifted Product Codes. arXiv:2607.28621 (2026).

量子誤り訂正符号のうち、良好な符号パラメータを持つ「リフティッド積（Lifted Product, LP）符号」は、低密度パリティ検査（qLDPC）符号の有力な候補として研究が進んでいる。イリノイ大学アーバナ・シャンペーン校の量子情報科学技術センターに所属する研究チームは、群拡大とグラフのリフト操作を組み合わせて、LP符号族を系統的に構成する新しい方法を提案した。この構成は、タナーグラフ（符号の検査関係を表すグラフ構造）の局所構造を保ったまま符号サイズを拡大できる点が特徴で、鎖写像・共鎖写像を通じて符号パラメータ、論理演算子、フォールトトレラントな論理操作ガジェットの関係を統一的に記述する。

この手法を適用した結果、従来報告されていたLP符号よりも良いパラメータを持つ符号が得られたほか、選ばれた有限リフト間で「コード手術（code surgery）」ガジェットを鎖写像経由で転写でき、場合によっては空間オーバーヘッドを下げて実装できることが示された。さらに、周期的にクラスタ化された巡回符号に対する並列積手術も開発している。一方で、複数の基底符号とリフトについてコヒーレント情報の有限サイズ交差が観測されたものの、研究チームは「一意の熱力学的な符号族を定めるにはさらなる条件が必要」とも述べており、ユークリッド格子を前提としない代数的qLDPC符号の体系化はまだ発展途上にあることも明らかになった。

論文2: 未知のリンドブラディアンを時間発展だけから学習する

出典: Learning Arbitrary Lindbladians from Time Evolution. arXiv:2607.28610 (2026).

量子系は環境との相互作用で情報が散逸する「オープン量子系」として振る舞うことが多く、そのダイナミクスはマルコフ的な生成子「リンドブラディアン」で記述される。リンドブラディアンはハミルトニアン項と散逸項の係数を、指数関数的に多いパウリ項の組み合わせで持つため、これを未知の系から丸ごと推定するのは原理的に難しい問題だった。今回の研究チームは、物理的な時間発展へのアクセスだけから、最小限の仮定のもとで任意のリンドブラディアンを効率よく学習するアルゴリズムを提案した。

$$\tilde{O}(\Lambda^2/\varepsilon^2)$$

アルゴリズムは二段階からなる。第1段階の「サポート学習」では、積パウリ固有状態の準備と単一量子ビット測定だけを使い、強度$\Lambda$以下のリンドブラディアンに対して大きさ$\eta$以上の係数をすべて含む候補サポートを見つける。第2段階の「係数学習」では、ランダムなスタビライザー状態の準備とランダムクリフォード基底での測定を使い、候補サポート中の全係数を誤差$\varepsilon$で推定する。両段階ともアンシラ不要・制御不要の非適応的な実験で構成され、必要な実験回数と総発展時間のスケーリングは対数因子を除いて下界と一致する、ほぼ最適なアルゴリズムであることが示された。ノイズや測定誤差が大きい現実の量子デバイスでこの理論限界にどこまで近づけるかは、今後の実験的検証課題として残る。

論文3: DMRGとIBM実機でLipkin-Meshkov-Glick模型を1400粒子までベンチマーク

出典: Benchmarking Quantum Simulations of the Lipkin-Meshkov-Glick Model Using Large Tensor Networks. arXiv:2607.28570 (2026).

量子コンピュータの実問題解決性能を評価するには、テンソルネットワークのような強力な古典手法との比較が欠かせない。マサチューセッツ工科大学のワシントン・インスティテュート・フォー・ステム・アントレプレナーシップ・アンド・リサーチと、メリーランド大学の量子情報コンピュータサイエンス共同センターの研究チームは、全結合スピン模型であるLipkin-Meshkov-Glick（LMG）模型の基底状態エネルギーを、密度行列繰り込み群（DMRG）法でNERSCのスーパーコンピュータPerlmutter上に計算し、最大1400粒子まで含む文献上最大級のデータセットを構築した。

このDMRGによる高精度データを基準として、IBM Eagle量子プロセッサ上で実行した変分量子固有値ソルバー（VQE）とサンプルベース量子対角化（SQD）の結果を比較したところ、VQEは6粒子までは誤差1パーセント以内に収まったが、それ以外の粒子数では基準を超える誤差となった。一方SQDはこの許容範囲を17粒子まで広げることができ、研究チームは「ノイズあり中規模量子（NISQ）時代においては、部分空間ベースの手法が精度・回路深さ・耐ノイズ性のバランスに優れる可能性がある」と結論づけている。粒子数が数十を超える領域での量子優位性はまだ示されておらず、今後のハードウェア改善とアルゴリズム改良の両輪が必要になる。

論文4: 任意長メッセージに対する統計的に安全な複製不可能暗号

出典: Statistically secure uncloneable encryption of arbitrary messages. arXiv:2607.28561 (2026).

量子力学の複製不可能定理を利用した「アンクローナブル暗号（uncloneable encryption）」は、暗号文が量子状態として複製できない性質を利用し、盗聴者が暗号文をコピーして後から解読することを原理的に防ぐ仕組みである。オタワ大学とウォータールー大学の量子情報研究所に所属する研究チームは、単一ビットに対する効率的な暗号化・復号を持つ無条件安全なアンクローナブル暗号は既に確立していたが、任意長メッセージへの拡張が統計的安全性を達成できるかは未解決だったと指摘する。

研究チームは、安全性が確認されている単一ビット方式の符号化基底がクリフォードユニタリの部分集合で構成されている事実を利用し、このスキームをメッセージ長に対して多項式時間の符号化で任意長メッセージに拡張できることを示した。これにより、一回限りの任意長メッセージのアンクローナブル暗号が統計的安全性を持つことが初めて確立された。量子ネットワークでの利用を想定すると、符号化・復号にかかる量子リソースや、雑音のある通信路での実装可能性は次の検討課題として残されている。

論文5: 量子信号処理でオーバーラップフェルミオンのカイラル対称性を厳密に保つ

出典: Exact chiral symmetry with quantum signal processing. arXiv:2607.28524 (2026).

格子場の理論でディラックフェルミオンを量子コンピュータ上でシミュレーションする際、カイラル対称性（左右の巻き方に依存しない対称性）をどう保つかは長年の課題である。フェルミ国立加速器研究所とトレント大学の共同研究チームは、オーバーラップフェルミオンのハミルトニアンに対する量子信号処理（QSP）アルゴリズムを提案し、格子上でカイラル対称性を保証する「ギンスパーグ・ウィルソン関係式」を制御可能な誤差$\varepsilon_e$の範囲で厳密に満たせることを示した。

この結果、カイラル対称性を厳密に保ったディラックフェルミオンの量子シミュレーションは、ウィルソン・ディラックハミルトニアンを使う場合と比べて$\varepsilon_e$の対数のみのコスト増で実現できる、ほぼ「無料」の拡張になるという。ドメインウォールフェルミオンとの比較では、回路の複雑さはやや増えるものの必要な量子ビット数は削減される。研究チームは、QSPがオーバーラップ演算子をシミュレートする際に事実上「余分な次元」を構成していると解釈できることも示しており、量子アルゴリズムのスケーリングがオーバーラップフェルミオンの背後にある物理（ドメインウォールフェルミオンの境界として現れる構造）を反映していることを指摘している。

論文6: トラップドイオン実機で波動方程式を4096次元まで解く

出典: Structure-Preserving Quantum Simulation of Wave Equations on a Trapped-Ion Processor. arXiv:2607.28499 (2026).

偏微分方程式の近未来的な量子シミュレーション対象として波動方程式はよく使われる題材だが、実機での実証は空間次元数・扱える方程式の種類・系のサイズ・物理的に意味のある出力のいずれの面でも限られていた。研究チームは、1次元・2次元の音響波動方程式と、質量が変化するディラックダイナミクスに対して、構造を保存するフーリエベースの量子回路を設計し、Quantinuumのトラップドイオン実機H2-2上でベンチマークした。

実験では1次元格子で最大1024グリッド点、2次元格子で32×32グリッド、符号化された状態空間次元にして最大4096次元までを扱った。全体の場を再構成する代わりに、部分領域の運動エネルギーを測定サンプルから直接推定する方式を採用し、音響・ディラック双方の力学問題でH2-2の結果は古典的な運動エネルギーのダイナミクスを平均絶対誤差5.9×10⁻³から2.4×10⁻²の範囲で追跡できた。回路の深さについては、保持する帯域幅を固定した場合、コンパイル後のゲート数はグリッド量子ビット数のほぼ2乗で増加する一方、音響回路のサイズは発展時間にはほぼ依存せず、積公式のステップ数に応じてコストが増える。数千の自由度を持つ構造化された波動問題を現行のトラップドイオンプロセッサ上で解像可能な精度で追跡できることを実機レベルで示した点が意義といえる。

論文7: 中性原子アナログ量子プロセッサのノイズを考慮したエミュレーションと実機検証

出典: Noise-aware emulation and cross-device validation of neutral atom analog quantum processing units. arXiv:2607.28364 (2026).

リュードベリ原子配列を用いたアナログ量子プロセッサは、多体量子シミュレーション・組合せ最適化・グラフ機械学習に有望なプラットフォームだが、デバイスが普及するほど、微視的なハードウェアの不完全性が実測結果にどうつながるかを定量的に予測するモデルが必要になる。Pasqal社の研究チームは、支配的なノイズ機構を計算サイクル全体に伝播させてデバイス挙動を予測する、ノイズを考慮したエミュレーションフレームワークを開発した。

このフレームワークを、古典シミュレーションで正解が得られる範囲にある3台のPasqal量子プロセッサ上で、量子アニーリングとクエンチ後ダイナミクスという2つの代表的なプロトコルに適用したところ、いずれのデバイスでも実測された観測量はエミュレータが予測した不確かさの範囲内に収まった。さらにこのフレームワークは、単に実測データを再現するだけでなく、動作領域ごとにどの物理機構が支配的かを切り分けられるため、アルゴリズム設計やハードウェア改善に定量的な指針を与える。研究チームは、この検証手法が古典シミュレーションの手が届かない領域でアナログプロセッサの正しさを確認するための土台になるとしている。

論文8: 単一AODで表面符号の原子並べ替えを対数時間に短縮する

出典: Efficient atom rearrangements for quantum error correction primitives with a single AOD. arXiv:2607.28149 (2026).

中性原子量子コンピュータは、原子を物理的に移動させることで任意の接続性を実現できる利点があるが、一部の論理演算は原子配列の幾何学的な並べ替えに還元できるため、この移動時間を最小化することが論理演算のスループットに直結する。フランスのQPerfect社とストラスブール大学・CNRSの共同研究チームは、単一の交差型音響光学偏向器（AOD）ペアの掃引だけで、静的格子上の2次元原子配列をせん断・回転・反転させる新しいプリミティブを提案した。

$$3\lfloor\log_2(d-1)\rfloor + 4$$

負二進数や幾何学的分解を使うことで、AODのストローク数を配列の一辺の長さに対して対数的にしか増加させない設計を実現した。具体例として、距離$d$の回転表面符号におけるトランスバーサル・アダマールゲートに必要な90度回転を、原子1個ずつ動かす従来方式のストローク数$O(d^2)$・時間$O(d^{7/3})$に対し、上式のストローク数と$O(d^{1/3})$の一定ジャーク時間で実装できることを示した。表面符号の距離を大きくするほど従来方式との差が開くため、大規模な論理量子ビットを目指す中性原子アーキテクチャにとって、演算スループットのボトルネック解消に直結する結果といえる。

論文9: 後選択なしでサイドチャネル攻撃に頑健な決定論的QKD光源

出典: Deterministic QKD source robust against side-channel attacks. arXiv:2607.28063 (2026).

量子鍵配送（QKD）は原理的には安全だが、実際の装置が安全性証明で仮定する理想モデルとずれることで実用上の安全性が損なわれ得る。特にトロイの木馬攻撃に代表される送信機側のサイドチャネルは深刻で、これを無視すれば実装上の安全性が崩れ、逆に厳密に考慮すれば鍵生成率が下がるというトレードオフが知られていた。玉木潔氏らの研究チームは、既存のパッシブ方式や変調器フリー方式とは異なり、送出パルスの事後選択も、サイドチャネルを抑えるための完璧な消光比を持つ素子も必要とせず、光強度と符号化されたビット・基底との間に相関を導入しない、サイドチャネル攻撃に本質的に頑健なQKD光源を提案した。

この設計により、より単純な安全性証明がそのまま適用でき、結果として従来方式よりも大幅に高い鍵生成率が得られるという。研究チームは、この光源が現在の技術で実現可能な範囲にあるとしており、理論上の安全性と実装上の安全性のギャップを埋める実用的な道筋を示した点に意義がある。実際の消光比や光学部品の非理想性がどこまで許容されるかなど、実機実装での詳細な検証は今後の課題として残る。

参考ソース

• 論文1: Lifting Lifted Product Codes. arXiv:2607.28621
• 論文2: Learning Arbitrary Lindbladians from Time Evolution. arXiv:2607.28610
• 論文3: Benchmarking Quantum Simulations of the Lipkin-Meshkov-Glick Model Using Large Tensor Networks. arXiv:2607.28570
• 論文4: Statistically secure uncloneable encryption of arbitrary messages. arXiv:2607.28561
• 論文5: Exact chiral symmetry with quantum signal processing. arXiv:2607.28524
• 論文6: Structure-Preserving Quantum Simulation of Wave Equations on a Trapped-Ion Processor. arXiv:2607.28499
• 論文7: Noise-aware emulation and cross-device validation of neutral atom analog quantum processing units. arXiv:2607.28364
• 論文8: Efficient atom rearrangements for quantum error correction primitives with a single AOD. arXiv:2607.28149
• 論文9: Deterministic QKD source robust against side-channel attacks. arXiv:2607.28063