arXiv 量子物理（quant-ph）。
説明量子デコード干渉計による破砕相でのギブス サンプリング
要約本論文は、復号量子干渉計（DQI）を古典的イジング・スピン・ハミルトニアンのギブス測度からのサンプリングに適用し、このサンプリング問題が量子復号問題に帰着されることを示します。ランダムなErdős–Rényi超グラフ上のイジングk-スピングラス（Max-k-XORSAT）を対象に、動的相転移温度付近では、破砕と乱雑性カオスが多くのアルゴリズムを妨げる位相的障壁を形成することを示します。一方で、Prangeの方法に基づく古典アルゴリズムと量子デコーダを備えたDQIは、この障壁を突破できると証明しています。
注目点DQIをIsing模型のGibbsサンプリングに適用し、安定アルゴリズムを阻む位相障壁を突破できることを示す。理論的新規性は高く、証明は具体的だが実験はない。
説明任意の距離尺度における量子de Finetti定理：状態とチャネルへの適用
要約本論文は、標準およびRennerの指数型量子de Finetti定理を演算子不等式という、より強い形で証明し、すべてのSchatten ノルムおよびデータ処理条件を満たす量子Rényi ダイバージェンスに対する評価を与えています。置換不変なチャネルについては、k系の約化チャネルが、テンソル冪チャネルの混合によってO(k/√n)の誤差で支配されることを示しています。無信号条件下では、指数型のチャネルde Finetti表現も示されています。
注目点算子不等式による強化で、古典的境界をk/nに改善し、チャネル版も与える。理論的寄与が大きく、証明も厳密。
説明単一コピー量子バンディットは古典的である：厳密なスペクトル崩壊
要約各腕が未知の量子状態を供給し、平均報酬が既知の効果 F で定義される多腕バンディットを研究している。著者らは、F のスペクトル測定と古典的な KL-UCB を組み合わせると、単一コピー方策の中で漸近的に実例最適となることを示した。適応的またはランダム化された測定設計では、対数遺憾の主要係数を改善できない。量子メモリを持つ一貫した方策については、Umegaki 半空間ダイバージェンスによる逆界が与えられ、腕が F と可換な場合にのみ二つの下限が一致する。Umegaki 下限が達成可能かどうかは未解決問題として残されている。（原文 arXiv:2610 系論文の要旨に基づく）
説明量子基底状態エネルギーの局所緩和階層：収束保証とメッセージパッシング法
要約本論文は、量子多体系の基底状態エネルギーの下界を推定するための局所凸緩和階層と、高度に並列化可能なメッセージパッシングアルゴリズムを提案している。木構造上の可換ハミルトニアンに対して第1階層は厳密であることを示し、鎖上の可分ハミルトニアンの弱い摂動に対しては、一貫区間に基づく階層が区間サイズに関して指数関数的に収束することを示している。また、有界次数グラフ上で固定階層の下、2種類のメッセージパッシング法がそれぞれO(n/ε²)およびO(n/ε)の時間で動作し、最適メッセージのノルムがO(1)であるという仮定を置いている。
注目点局所緩和階層を提案し、木上の可換ハミルトニアンに対する厳密性と鎖上の指数収束を示し、計算量保証付きのメッセージパッシングで多数のベンチマーク実験により検証している。
説明ノイズ演算子による量子クエリ計算量と時間-空間トレードオフの下界
要約本論文は、量子クエリおよび時間-空間トレードオフの下界を証明するための、ノイズ演算子に基づく新しい解析手法を提案する。これを用いて、ソートに対する初の完全に一般的な量子時間-空間トレードオフ下界を示し、S量子ビット以下のメモリを持つ量子アルゴリズムが[n^2]からのn個の数をソートするのに必要なクエリ数はΩ(n^{4/3}(log log n)/(S^{1/3} log n))以上であることを示す。さらに、強普遍（対独立）ハッシュ関数族においては、ほとんどのハッシュ関数について、Ω(nm/S)回の量子クエリが必要であることを証明する。
注目点ノイズ演算子に基づく新手法を提案し、ソートに対する初の完全一般な量子時間-空間トレードオフ下界を示し、ハッシュ関数にも適用している。証明は厳密で、この分野への影響は大きい。
説明パリティ超選択則の下での局所フェルミオンLindbladianの学習
要約本論文は、パリティ超選択則のもとで、偶パリティの準備と測定だけを用いて、時間非依存でパリティ共変かつ k モード局所的な Lindblad 発展子を学習する方法を扱う。内部マーカーとマーカー間の対測定によって奇数プローブを扱えるようにし、Signed Fierz 逆変換と半正定値フィッティングで正準係数と有効な生成子を復元する。有限レンジモデルに対する標本数の上界や、グラフが与えられない場合、幾何モデルへの拡張も示される。
説明多者間Werner状態による量子データ隠蔽の厳密な普遍的上界
要約本論文は量子データ隠蔽を扱う。これは、大域的測定では高い識別可能性を持つが、局所操作と古典通信に制限すると、ほぼ識別できない状態の対に関する研究である。著者らは、各二分割で部分転置後も正となる測定の下で、任意のn量子ビットWerner状態の対の識別バイアスがO(n²/d)であることを示し、非適応的局所測定のみで同じスケーリングを達成する明示的な例を与えて、その最悪ケース最適性を示している。
注目点多者間Werner状態のデータ隠蔽バイアスに対する最適スケールO(n^2/d)を証明し、整合する構成を与え、量子性質検定へ拡張している。
説明線形閾値関数を学習する高速量子アルゴリズム
要約本論文は、線形閾値関数（LTF、入力を重み付きで線形結合し閾値と比較して符号を出力する関数）を量子アルゴリズムで学習する方法を扱っています。実数領域への問い合わせを許す場合、古典アルゴリズムより少ない問い合わせ回数で学習できることを示しています。また、非ゼロ成分が同一値のk個だけの齐次LTFについては、既存手法に比べ指数的な改善を達成し、ガウス分布下での量子サンプルアクセスによる学習アルゴリズムも提示しています。
説明リセットなしの浴支援冷却（任意の混合状態を基底状態へ冷やす手法の提案）
要約本論文は、任意の混合状態を純粋な基底状態まで冷却する方法を扱い、浴との結合を繰り返しリセットせずに、単一のコヒーレントな浴接触でそれを実現できるかを検討している。入力の情報を後に切り離される浴の自由度へ移し、系と残りの浴は基底状態の経路に沿って進化させる仕組みを提案している。弱く相互作用し、エネルギーギャップを持つ局所相互作用フェルミオン系の一クラスについて厳密な実現を示し、系サイズとトレースノルム誤差の逆数に対して多対数的な物理時間で相互作用基底状態を準備できると述べている。
注目点浴の繰り返しリセットを必要としない単一結合の冷却機構を提案し、弱相互作用するギャップ付きフェルミオン系に対して厳密な多対数時間の保証を与える。適用範囲は限定的である。
説明配電網再構成のための量子強化深層強化学習
要約本論文は、配電網の静的再構成（スイッチの状態を調整してネットワーク構成を最適化し、損失低減と運用制約の維持を図る）のための深層強化学習フレームワークを提案します。他の条件を固定し、Qネットワークの構造のみを変えて各アーキテクチャを比較しています。結果として、量子強化Qネットワークは古典的なネットワークより少ないパラメータで高い報酬を達成したと報告されています。
説明計算的仕事抽出：触媒の計算量
要約本論文は、n 量子ビット系が Θ(n) の ergotropy（取り出し可能な仕事）を持ちうる一方、効率的な過程で取り出せる仕事は無視できる程度になること（単一量子ビット項のみからなるハミルトニアンでも成立）を示す。補助量子ビットを最後に初期状態へ戻す触媒計算との関係を明らかにし、触媒があれば全 Θ(n) を効率的に取り出せることや、疑似ランダム性に相当する「疑似 ergotropy」の概念を提示する。
注目点計算的エルゴトロピーと触媒計算の複雑性を結びつけ、量子空間有界アルゴリズムの問い合わせ下界で最大分離を示しており新規性が高い。
説明一般の量子LDPC符号のための局所自己同型認識シンドローム・コンパイル
要約本論文は、CSS型量子LDPC符号の低深度シンドローム抽出を、量子パリティ制約下の順序付き辺彩色問題として定式化しています。提案手法LocalASCは、Tannerグラフの自己同型部分群の辺軌道上で制約を解き、実行可能な解を全グラフへ持ち上げます。奇数の成分重みをもつ一部の双ブロックCSS符号や量子Tanner符号について、下界に達する抽出スケジュールを見つけています。
説明償却データ構造による乱択全域木の量子サンプリング
要約本論文は、グラフの全域木上の一様重ね合わせ状態（q-サンプル）を、グラフへの劣線形回数の問い合わせだけで生成する量子アルゴリズムを提案している。n頂点・m辺のグラフに対し、前処理はÕ(√(mn)+m^{1-δ})、その後の各q-サンプルの生成はÕ(n^{1+2δ})で、k個の独立なq-サンプルは総コストÕ(√(kmn))で得られる。対数因子を除いて一致する下界も示され、アルゴリズムはほぼ最適であるとされる。
注目点生成木の一様重ね合わせを次線形のクエリ数で生成する初の量子アルゴリズムを示し、対応する下界で最適性も示す。理論的な改善が大きいが適用範囲は理論寄り。
説明列挙復号容量を達成し、ほぼ線形時間で列挙復号できる明示的な量子LDPC符号
要約本論文は、列挙復号半径が量子Singleton限界に近づき、リストサイズが定数である、明示的に構成された初の量子LDPC符号を示しています。この構成は扇状グラフに基づき、量子版のAlon-Edmonds-Luby増幅（AEL）を用いることでLDPC性を実現しています。さらに、古典的な扇状グラフ型の列挙復号アルゴリズムを量子AELに一般化し、符号長に対してほぼ線形時間で容量に近づく復号法を得ています。
説明より多くの互いに不偏な基底（相互不偏基底）についての論文
要約量子測定における互いに不偏な基底（MUBs）を扱う論文です。ある基底で結果が確定すると、他の基底では結果が一様に分布する性質を持ちます。著者は、フーリエ行列のテンソル積と任意の実アダマール行列からなる固定ユニタリに対角位相行列を掛ける構成法を示し、多くの次元で従来より多くの基底を得られることを述べています。
説明平面化クリークの検出と量子対称性適応測定：量子符号化と対称性に基づく測定が単一の古典グラフで情報を保持できるか、またその計算効率を検討する研究。
要約本論文は、単一の古典グラフから平面化クリーク（planted clique）を検出する問題を扱います。固定の 0<ε<1/2 と k=⌊n^{1/2-ε}⌋ に対し、統計的には検出可能だが多項式時間の古典アルゴリズムでは困難だと予想されています。著者らは、任意の結合測定を許しても、定数優位の検出には同一グラフの位相状態を Ω(n^{1+2ε} ln² n) 個必要だと証明しました。また、最適な判定規則は効率的な検出器を与えず、Schur 変換などの対称性に基づく測定や部分群同型測定を検討していますが、効率性は未解決です。さらに、単一の量子コヒーレント試料で効率的な検出が可能であることも示しています。
説明QAOAを独立したスピン-ボソン系へ分解し、純粋および混合スピングラスでの高深度性能を調べる研究
要約本論文は、任意の混合稠密スピングラス問題についてQAOAのエネルギーを計算する際、スピンがほぼ独立したスピン-ボソン系に分解されることを示しています。無限大のサイズの極限では、この分解は厳密に成り立つとされています。この分解に基づく再帰的手法はテンソルネットワークで適度なコストで実行でき、従来の手法では扱えなかった深さで純粋および混合スピングラスに対してQAOAを最適化しています。ただし、この手法はQAOAの強いシミュレーションを可能にするものではなく、予測されたエネルギーに対応するビット列のサンプリングには量子コンピュータが必要だと述べられています。
説明完全ガウス量子Steinの補題：ガウス測定下での量子状態の漸近的識別理論
要約本論文は、任意の集団的ガウス測定に制限された多モードボソン型ガウス状態に対する漸近的非対称仮説検定を研究している。多くの状態対に対して、一次モーメントと二次モーメントに対応する二つの寄与を含むSteinの指数の単一文字公式を与えている。中心化されたガウス状態については、集団的ガウス測定による利点が生じないことを示している。
注目点多モードボソンガウス状態に対する集団ガウス測定下のSteinの指数の一文字公式を示し、行列式不等式を新たに導いた理論的成果であり、適用範囲は特定の状態に限られる。
説明量子OR補題に着想を得た古典アルゴリズムによる疎なSDPの劣線形時間解法
要約本論文は、有界半径の場合の疎な半正定値計画問題（SDP）に対する、初の古典的な劣線形時間ソルバーを提案している。低ランク仮定や制約行列のフロベニウスノルムへの依存を必要としない。主要な技術的貢献は、疎なハミルトニアンのギブス状態に関する多数の期待値を同時に推定する古典的手続きであり、ランダム化ランツォシュフィルタリングとサンプリングベースの推定器を組み合わせている。γ²≤min{m,n/s}のとき、実行時間はÕ(ns·γ^4.5+ms·γ²)であり、γ=O(1)のときÕ((n+m)s)となる。著者らは、mとnに関して、一般的な疎なSDPにおいて超二次の量子優位は存在しないと結論づけている。
注目点量子ORレマの試料再利用機構を古典的に実現し、スパースSDPの初の準線形古典解法を与え、次元依存性で下界に一致する理論的進展である。
説明サイズ無制限の定数深さ量子回路の能力
要約本論文は、回路サイズと補助量子ビットに制限がない場合に、任意の一量子ビットゲートと一般化Toffoliゲートから作られる定数深さ量子回路がどの酉変換を実現できるかを検討しています。計算基底状態の任意の置換、対角酉変換、任意の純粋状態の準備について、正確な定数深さの構成を与えています。一方、任意の酉変換を定数深さで実装する問題は未解決のままで、ポートベース転送を用いた近似的な結果が示されています。
注目点定数深さ量子回路の構成を示し、量子状態準備と可逆古典計算を結びつけ、ポートベース転送の新たな忠実度上界を与える。理論的に新規性が高く、証明は厳密だが理論結果に限られる。
説明量子細粒度下界：3SUMからのサブ線形帰着による集合非交差（SetDisjointness）問題の下界
要約本論文は量子計算における細粒度計算量を扱う。3SUMから在線型の集合非交差（SetDisjointness）問題への、初のサブ線形時間量子帰着を与える。量子3SUM予想のもとで、前処理時間O(N^p)、問い合わせ時間O(N^q)の量子アルゴリズムについて p + 2q ≥ 1 というトレードオフの下界が導かれる。3XORについても同様の帰着を示している。
注目点3SUMからオンラインSetDisjointnessへの初の準線形量子還元を与え、p+2q≥1のトレードオフ下界を導く点で理論的に大きな前進である。
説明パウリ転移シグネチャと量子エッジ検出による、コヒーレントなクロストークと較正ドリフトの区別
要約マルチテナント量子プロセッサでは、コヒーレントなクロストークが平均ゲート不忠実度を揃えた状態で、無害な較正ドリフトに見せかけられることがあります。本論文は残差パウリ転移行列（PTM）に基づく構造的検証・検出フレームワークを提案し、局所ユニタリ・トレース保存チャネルの積が重み1と重み2のパウリ演算子を混合できないことを示します。さらに、任意の量子ビット対の相互作用係数から反対称交差重み特徴への一次写像が、スケールを除いて等距離写像であることを証明しています。シミュレーションでは、16,384 の設定で較正済み偽陽性率 5% に対し検出閾値は約 0.13 とされています。
説明擬似制御による開放量子ダイナミクスの記憶次元の検出
要約本論文は、記憶次元に関する情報を実験で取得可能な干渉行列に符号化する擬似制御プロトコルを提案している。その行列のランクは記憶次元の下限を示し、環境への直接アクセスや完全なプロセステンソル・トモグラフィーは不要である。相互作用時間や間隔時間などのパラメータが検出可能な記憶にどう影響するかも示されている。
説明表面符号における干渉型クロストークの古典的シミュレーション
要約本論文は、最近接 ZZ コヒーレント・クロストークによって乱された表面符号状態のシンドローム分布から、多項式時間の古典アルゴリズムでサンプリングする手法を示す。これは表面符号における単一量子ビットのコヒーレント誤差に対して既知の効率的シミュレーション手法を補完するものである。単一量子ビットのコヒーレント雑音とコヒーレント・クロストークが同時に存在する場合、多項式階層が崩壊しない限り、定数倍の乗法誤差を許しても効率的な古典的サンプリングは不可能であるという計算複雑性上の障壁が示される。これは、コヒーレント雑音下のシンドローム分布を、非平面グラフに対応する特定の IQP 回路の出力分布と結びつけることで得られる。
注目点コヒーレントなクロストークを受けた表面符号のシンドローム分布を多項式時間で古典サンプリングする手法を示し、単一量子ビット誤りと併存時の計算複雑性上の障壁を理論的に示す。
説明f-ルーティングの計算量的下界
要約f-ルーティングプロトコルは量子位置検証の有力な候補です。本論文は、一様な攻撃者に必要なリソースの無条件の下界を示し、いくつかの計算量の上界も与えます。特定の制限された攻撃戦略のもとでは、これらの結果から、多項式および準多項式個の量子ビットに対しても安全な明示的関数が存在することが導かれます。
注目点通信複雑性の限界を回避する新技術を提案し、f-routingの安全性を計算複雑性クラスと結びつけて、複数の攻撃者モデルに対する下界を示している。
説明条件数に依存しない非一様量子フーリエ変換・チェビシェフ変換
要約本論文は、非一様チェビシェフ変換のための効率的な量子アルゴリズムを提案している。この変換は、x∈[-1,1]で一様に与えられた節点でサンプリングしたチェビシェフ多項式への関数の射影であり、角度θ=arccos xに対しては非一様となるため、QFTに基づく従来の量子チェビシェフ変換では扱えない。著者らは既存の非一様量子フーリエ変換（NUQFT）を改良し、非一様節点サンプリングに伴う条件数依存を取り除いたため、誤差評価は先行研究の幾何学的パラメータκに依存しない。L=log N+log(1/ε)として、O(1)の正規化、O(L)個の量子ビット、Õ(L²)個のゲートからなるε精度のブロック符号化を与えている。
説明数字を額に掲げる通信モデルにおける指数的量子優位性
要約本論文は、一般的な三者対話型の「額の数字（NOF）」通信モデルにおいて、判定問題に対する初の指数的量子優位性を示す。明示的な部分ブール関数「インターリーブ酉積問題」を構成し、その量子通信量は O(log n) であるのに対し、ランダム化通信量は Ω~(n^{1/32}) であることを示す。証明にはランダム化NOF下界のための正則性に基づく手法を用いている。
注目点一般の対話型三者NOFモデルにおける決定問題で初の指数的量子優位を示し、新たな乱択下界の議論を提案している。
説明層別速度関数から得られるより精密なサンプル複雑性
要約本論文は量子状態トモグラフィのプロトコルを、サンプル複雑性と誤差推定の大偏差挙動を支配するトモグラフィ速度関数の二つの指標で比較します。共変プロトコルの解析枠組みを確立し、ランダム純化に基づくプロトコルとHaahらのサンプル最適プロトコルを含む複数のプロトコルの速度関数を導出しています。各プロトコルのサンプル複雑性は次数の意味で最適であるにもかかわらず、速度関数は厳密な順序を持つことが示されます。さらにWasserstein距離に基づくサンプル複雑性についても同様の厳密な不等式が得られ、トモグラフィ速度関数が通常のサンプル複雑性より細かくプロトコルの性能を示す指標であることが述べられています。
説明定数の標本複雑度による量子ガウス性の検定
要約この論文は、量子状態がガウス状態かどうかを効率的に判定する方法を研究しています。ガウス状態は量子光学や多体物理学で重要な役割を果たします。著者らは、フェルミオンとボソンのガウス状態に対する最適かつ頑健な検定アルゴリズムを示し、必要な標本数はシステムの大きさ、粒子数、エネルギーに依存しません。また、これらの解析を統一する勾配流法という手法も提案しています。
注目点系統サイズに依存しない最適なフェルミ・ボソンガウス状態の検定法を初めて提示し、統一的な勾配流法を導入した点が新しい。
説明低温の固体イオントラップにおける電子・核スピン・格子の長寿命な平衡からの逸脱
要約本論文は、LiYF₄結晶中のHo³⁺イオンについて、光学的手法で電子と核スピンのエネルギー準位交差を調べ、平衡化の過程を検討したものです。低温では実験手順によって大きく異なる非平衡状態が現れます。核スピンの拡散がフォノンの助けなしに平衡化を進め、その有効温度は電子スピンや格子より高くなる傾向があると報告しています。
説明量子計測器の両立性：一組の量子測定が、一つの親測定と古典的後処理によって模擬できるかを調べ、d次元系に制限した「d-両立性」を導入する研究。
要約本論文は、一組の量子測定が一つの親測定と古典的後処理によって模擬できるかという両立性の問題を扱う。親測定がd次元量子系と無制限の古典情報を後処理へ渡す場合の「d-両立性」を定義し、作用素空間の共通線形分解として特徴づける。さらに、d-不両立を示す両立性汎関数を導入し、Schmidt数や一方向LOCCによる実装可能性との関係も論じている。
説明サイクル辺符号化による二段階の量子・古典配電網再構成手法
要約本論文は配電網再構成のための二段階の量子・古典手法を提案する。第一段階では、新規のサイクル辺符号化で構成した位相的に実行可能な部分空間を、反復線形ランプ量子交互演算子アンザッツ（LR-QAOA）で探索する。この符号化により、各構成は必ず全域木となる。第二段階では、得られた試料分布を混合整数二次錐計画（MISOCP）ソルバーの誘導に用いる。33〜417母線の六つの配電網で、シミュレーションとイオントラップ型量子ハードウェアによる評価を行い、417母線網では文献の参照損失との差が約1.4%の構成を得ている。
説明部分グラフ検出に対する超線形な量子クエリ下界
要約本論文は、隣接行列へのクエリを通じて与えられるn頂点グラフが固定グラフHの部分グラフを含むかを判定する問題の、有界誤り量子クエリ計算量を扱う。著者らは、この問題に対する初の無条件の超線形下界を示し、例えばクリークK_r（r≥4）の検出にはn^{λ_r-o(1)}回のクエリが必要であること（λ_4=19/18）を証明する。完全二部グラフK_{r,r}についても下界を与え、主要な技術的結果はZhandryの圧縮オラクル（Compressed Oracle）を用いて得られている。
注目点部分グラフ検出に対する初の超線形な量子問い合わせ下界を示し、長年の未解決問題に答えた。色数に応じて二次に近づく。
説明量子リスト回復と復号：達成可能性と限界（量子ベクトル列の候補リストを短く絞る理論の研究）
要約本論文は、量子リスト回復（QLR）と量子リスト復号（QLD）を扱い、シンドロームと誤り制約に一致する、論理的に異なるPauli訂正の短いリストを求める問題を検討している。平衡折り畳み量子Reed-Solomon符号と平衡ランダムCSS符号について組合せ的な上界と下界を示し、QLDの漸近的に厳密な半径のトレードオフを与えている。
説明最小生成集を求める量子アルゴリズム
要約本論文は、可解なブラックボックス群の最小サイズの生成集合を多項式時間で求める量子アルゴリズムを提示する。さらに、非可換な合成因子が固定された S_d の部分群と同型であるブラックボックス群のクラス Γ_d を対象に、可換な因子群の直積分解や因子群の構成的所属問題を解く多項式時間量子アルゴリズムを設計し、主列の計算を経て Γ_d の最小生成集合を求める。最後に、一般のブラックボックス群における最小生成集合問題は NP ∩ coAM に属することを示している。
説明古典通信に対してトーリック符号を自己検証する（経典通信に耐える量子状態の検証）
要約本論文は、量子ネットワークにおける機器非依存の自己検証（self-testing）を扱う。正直なプロトコルでは当事者が通信しないが、信頼できない機器が有界距離内で秘密裏に古典メッセージを交換しても認証が成立する設定を検討している。トーラス状に配置されたネットワーク上のトーリック符号の符号空間が、ネットワーク直径に比例する距離までの通信に対してノイズに頑健な形で自己検証できることを示す。さらに、そのようなプロトコルを構成するアルゴリズム的手法を提案し、表面符号やクラスター状態へ結果を拡張している。
注目点古典通信下でのトーリック符号の自己検証を新たな設定で示し、ノイズに頑健な厳密結果を与えた点が特徴で、分野への影響は中程度。
説明柔軟な剛性：一般的な信頼済み準備プロトコルを逐次型デバイス非依存プロトコルへコンパイルする研究
要約本論文は、信頼済み状態準備を伴う多くのデバイス依存プロトコルを、逐次型デバイス非依存プロトコルに変換する汎用コンパイラを提案します。応用として、複製不可能暗号、点関数のコピー防止、ブラインド乱数拡大に適用しています。Rényi ダイバージェンスに基づく新しい剛性定理により、デバイス使用ごとに一定のノイズを許容しつつ一定のレートを達成します。
注目点汎用コンパイラを提案し、Rényi発散に基づく新しい剛性定理で定数レートを実現、従来の trace 距離・忠実度手法の限界を克服する。
説明有限群非対称性を含む多資源理論の一般理論
要約本論文は、有限群の非対称性と、もつれ、マジック状態、非熱性などの資源理論を組み合わせた場合を統一的に扱う一般理論を提案している。主な結論は、対称性の情報を漸近的に誤りなく取り出して自由操作の制御に使えるならば、組み合わせた理論の変換レートは二つの元の理論のうち小さい方に等しく、組み合わせによる追加コストが生じないということである。熱操作などでの両対称性の適合条件も検討している。
注目点統一的枠組みで多資源結合の変換率定理を示し、対称性情報の取得可能性条件を明確化した点が新規である。影響は量子資源理論の範囲に限られる。
説明量子斜め固有射影：量子コンピュータ上での非直交固有部分空間への分解
要約本論文は、入力行列のブロック符号化へのアクセスを前提に、非直交（斜め）固有射影を量子コンピュータで実行する手法を提案する。入力がスペクトル集合条件を満たす場合、クエリ計算量は固有値ギャップの逆数にほぼ線形で、正規化係数は射影の作用素ノルムに近いと示される。応用として、複素固有値行列の固有状態準備、連続時間代数リカッチ方程式および通常のシルベスター方程式の求解が挙げられ、既存手法より高速化されると述べられている。
注目点ブロック符号化により非直交固有射影を量子計算で実現し、三つの応用で多項式的な改善を示す点が新しい。
説明ランダム量子符号から局所性質による明示的qLDPC符号の構成へ
要約本論文は局所座標線形（LCL）の枠組みを、部分空間 S⊆C に対する量子版へ拡張し、物理的ランクと商空間上の論理的ランクを区別する理論を構築している。これにより、ランダムCSS量子符号に対する閾値定理が得られ、セクターごとの符号化率閾値が古典的な符号化率閾値と等しいことが示される。さらに、任意の折り畳み量子LCL性質について明示的な構成を与え、すべてqLDPC符号であることを述べている。
注目点LCL枠組みを量子CSS符号へ拡張し、最適リストサイズを持つ初の明示的量子リスト復号・リスト回復符号を構成。理論的証明が中心で実験はない。
説明ほぼ独立同分布なチャネルにおける頑健な古典・量子通信
要約本論文は、量子チャネルの漸近的な通信容量を扱い、あるチャネル列がチャネル Φ に沿ってほぼ独立同分布（almost-iid）である場合にも、Φ の漸近容量が達成できるかを検討しています。Choi 状態がほぼ独立同分布となるチャネル列について、補助なしの古典容量と量子容量が Φ の容量と等しいことを証明しています。ここでの普遍性とは、容量未満の各レートに対し、Φ とレートにのみ依存する符号列が、このクラスに属するすべての列で誤りを零に近づけることを指します。
注目点指数de Finettiの定理の近独立同分布の枠組みをチャネルに拡張し、同クラス内で汎用的な古典・量子容量が独立同分布チャネルと一致することを厳密に示す。
説明典型的ギブス状態からのサンプリングを（ほぼ）効率的に行う古典アルゴリズム
要約本論文は、量子pスピン模型という局所系の集合について、ギブス状態から総変動距離の誤差を多項式的に小さく抑えてサンプリングできる古典アルゴリズムを提案している。アルゴリズムはアルゴリズム的確率局所化（ASL）というメタアルゴリズムに基づき、その収束定理の一般化が主要な技術的結果である。ただし、スピングラス転移温度までこの手法が有効だとする議論は厳密ではなく、物理学的な論証にとどまるとされている。
説明非コヒーレント測定による最適な純度推定
要約未知の量子状態の純度を相対誤差 ε 以内で推定する問題を扱っている。集合的測定が使える場合は Θ(√d/ε² + d/ε) 個のコピーが必要十分であることが知られている。本研究は非コヒーレント測定のみを用いる場合を対象とし、O(d/ε² + d^{3/2}/ε) 個のコピーで成功する非適応アルゴリズムを提案し、非適応測定に限定した場合この複雑度が最適であることを示している。さらに、高精度領域（ε = o(1/d)）で改善する適応型推定器も提案され、両者を組み合わせると非コヒーレント純度推定の最適な複雑度が得られるとしている。
注目点非コヒーレント測定による純度推定の既知の計算量を改善し、非適応的な最適境界と適応的推定量を示し、厳密な上下界を一致させている。
説明量子消失チャネル上の有限ブロック長古典通信：古典フィードバックの有無による比較
要約本論文は、古典フィードバックを利用でき初期共有エンタングルメントがない条件で、量子消失チャネルを有限回使って固定数の古典メッセージを送る際の最適成功確率を求めている。結果は E[min{1,d^K/M}] で、K は二項分布（パラメータ n と 1-p）に従う。フィードバックを用いない場合との差や誤り指数についても議論している。
注目点量子消失通信路での有限長・古典フィードバック付き古典通信の最適成功確率を厳密に与え、フィードバックの有無による新たな境界比較を示し、証明は完全である。
説明平坦接続グラフ上のst輸送問題に対する量子アルゴリズム
要約本論文は、無向グラフのst連結性を、各辺にユニタリ変換のラベルが付いたグラフへ一般化して扱う。ラベルの積が経路に依存しないという条件のもとで、sからtへの状態輸送を表すユニタリ変換が一意に定まる。著者らは、時間計算量がÕ(n/ε)、空間計算量がO(log n+log k+log(1/ε))の有界誤差量子アルゴリズムを示し、s と t が連結であると仮定しても Ω(n) の量子クエリ下界が成り立つことを証明している。
説明完全な非局所量子計算は不可能であることの証明
要約非局所量子計算（NLQC）は、二者がエンタングル資源状態と一度の同時量子通信を用いて、各自の量子入力に共同操作を施す手法です。本論文は、二量子ビットの場合でも、ハール測度でほぼすべてのユニタリは有限次元資源で厳密に実現できないことを示します。さらに、位相が超越数の制御位相ゲートにも厳密なプロトコルがないこと、そして可局所化量子測定への適用も述べています。
注目点ほぼすべての二量子ビットユニタリが有限次元の厳密なNLQCプロトコルを持たないことを厳密に証明し、未解決問題に答えた。
説明対称性の下での厳密なユニタリ設計のランダム性
要約本論文は、有限ユニタリ集合のユニタリ設計強度と対称設計強度を定義し、物理的対称性がある場合にその違いを比較する。高次元において、グローバルなオンサイト U(1) と SU(d) の対称性を含む広いクラスの対称性に対し、ユニタリ設計強度が任意に高く、対称設計強度が厳密にそれより高い有限集合が存在することを示す。また、演算子が有限群をなす集合についても境界を導き、U(1) と SU(d) の対称性の下では対称設計強度が最大で 2 であることを示す。
説明Solovay-Kitaev定理を含む、ボソン量子計算の物理的で普遍的なモデル
要約本論文は、エネルギーを計算資源として扱う新しいボソン量子計算モデル BEQC（Bosonic Energy-Preserving Quantum Computation）を提案する。エネルギーは入力コヒーレント状態からのみ供給され、すべてのゲートはエネルギー保存ハミルトニアンで生成されるため、エネルギーの際限ない増大は起きない。多項式エネルギーの範囲で BQP と厳密に対応し、線形光学と Kerr 相互作用に基づく普遍ゲート集合と Solovay-Kitaev 定理を示す。GKP 状態の生成や Fock 状態の準備などにも応用される。
注目点エネルギー保存型のボソン量子計算モデルを提案し、既存の不可能性結果を回避するSolovay-Kitaev定理を示す。理論的保証と応用を持つが、影響は主に量子情報理論の一分野にとどまる。
説明因果不等式は非安定化子性の証人となる
要約本論文は量子計算における「非安定化子性」という資源を研究している。安定化子操作は古典的に効率よくシミュレートできるが、ある状態集合は安定化子操作だけでは完全には識別できない。著者は安定化子基を安定化子操作のみで完全識別できるかを判定する基準を示し、積状態からなる安定化子基については、対応するプロセス関数が因果不等式に違反する場合に限り、完全識別に非安定化子性が必要になることを証明している。
注目点因果不等式の破れと非安定化子性(magic)の必要十分な関係を示し、新たな操作的意味を与える。証明は堅実だが適用範囲は特定の基底に限られる。
説明ゲージ化シーフ量子局所検査可能符号に基づくNLTMハミルトニアン
要約本論文は無低エネルギー自明マジック（NLTM）予想を証明し、正のエネルギー密度窓内のすべての状態が、任意のスタビライザー状態から準備するのに深さΩ(log n)の回路を要する局所ハミルトニアン族を構成しています。結果は任意の有界な局所次元の入力にも当てはまります。これによりNLTSが強化され、量子PCPに関連する低エネルギーの複雑さの理解が進みました。
注目点NLTM予想を証明し、低エネルギー状態の準備に Ω(log n) の回路深さが必要な局所ハミルトニアン族を構成。NLTSを大きく強化するが、構成は複雑。
説明純化により逐次量子チャネル識別で無限の問い合わせ分離が生じることを示す論文
要約本論文は、逐次量子チャネル識別において、チャネルの純化（チャネルの純粋状態表現と環境との相関）を操作的な資源として利用できるかを検討しています。環境の参照系が未知または平均化されている場合でも、逐次的に純化資源にアクセスすると、並列識別と異なり成功確率に厳密な優位性が生じることを示します。量子ビットチャネルの2つの族で2回の問い合わせでの厳密な分離を構成し、3回の問い合わせで純化を完全に識別できる一方、有限回の非純化問い合わせでは完全識別が不可能なチャネル対を示しています。
説明トランスデューサと償却量子ウォークによる量子体積推定の改良
要約本論文は計算幾何学の古典的問題である凸体の体積推定を扱う。Cousins と Vempala の乱択アルゴリズムを量子化し、クエリ計算量 Õ(d^3.5 + d^1.75/ε) の量子アルゴリズムを得た。これは従来の Õ(d^3.5 + d^2.25/ε) を改善するものである。鍵となるのは、Belovs、Jeffery、Yolcu のトランスデューサ・ツールキットに基づく量子ウォークの償却フレームワークで、これによりボールウォークの償却解析を量子実装に利用できるようになった。
説明三世代ニュートリノ振動に対する時間的無信号条件
要約本論文は量子基礎論における巨視的実在論を扱い、Leggett-Garg不等式が弱い形の巨視的実在論の検証に用いられ、ニュートリノ振動実験でも有用であったことを述べている。著者は強い巨視的実在論に必要な時間的無信号条件を検討し、従来の二世代の研究を三世代ニュートリノ振動へ拡張して、PMNS行列のCP対称性を破る位相を含めている。
説明ねじれに敏感な位相データ解析のための量子対数行列式法
要約ベッチ数は整ホモロジーのねじれを捉えられないため、同じベッチ数をもつ位相構造を区別できません。本論文は、境界ラプラシアンの非零固有値の対数の和として得られる対数擬行列式を用いて、量子スペクトル法でこの情報を取り出す方法を検討します。明示的な仮定の下で、整ホモロジーのねじれ部分群の位数を推定する量子アルゴリズムを提示し、その計算量と精度を解析しています。
説明量子もつれの汎用蒸留：入力状態が未知でも蒸留可能なもつれの最適速度に到達できることを示す研究
要約本論文は量子もつれの蒸留を扱う。蒸留可能なもつれとは、局所操作と古典通信（LOCC）によって雑音のあるもつれ状態からベル状態を取り出せる最大速度のことである。従来この操作的意味は、両者が入力状態の記述を知り、それに合わせてプロトコルを選べるという前提の下でのみ成り立つと考えられていた。著者らは入力状態に依存しない汎用LOCCプロトコルを提示し、任意の未知の入力状態に対して蒸留可能なもつれの速度を達成できることを示す。このプロトコルは複合状態に対する状態併合と、有限ブロック量の一様収束性に基づいている。
注目点入力状態の事前知識なしで蒸留可能エンタングルメント率を達成する普遍的LOCCプロトコルを示し、従来の暗黙の仮定を覆す理論的意義がある。
説明準安定ダイナミクスのための量子マルコフ状態モデル
要約本論文は、開放量子系において少数の遅いモードだけが長時間の振る舞いを支配する状況を記述する、量子マルコフ状態モデル（QMSM）を提案している。このモデルは古典的な位相セクターと量子行列ブロックを含む小さな物理状態空間上で定式化され、準安定状態間に残る干渉性も扱える。チャネルの二重適用による変化が小さいという仮定のもとで圧縮・再構成チャネルを構成し、ダイヤモンドノルムに関する誤差評価を与えている。入力状態全般では O(η^{1/3})、C によって準備される準安定状態では O(η^{1/2}) の上界が示されている。
注目点古典マルコフ状態モデルを量子コヒーレンスを含む開放系へ拡張し、厳密な圧縮・再構成チャネルと誤差上界を与えており、理論的に新規性が高い。
説明量子畳み込みにおけるエントロピーの劣モジュラ性
要約本論文は、離散量子畳み込みのフォン・ノイマン・エントロピーに対する劣モジュラ（submodular）の枠組みを構築し、加法的組合せ論のエントロピー手法の非可換版を与えるものである。エントロピーの増加がポリマトロイド構造を持つことを示し、そこから畳み込み型の強劣加法性、量子Ruzsa三角不等式、量子エントロピー版Plünnecke–Ruzsa不等式などを導いている。
注目点劣モジュラ手法を量子畳み込みのエントロピーに拡張し、非可換版のエントロピー加法組合せ不等式を与える。理論的新規性が高いが、実験的検証は乏しい。
説明一般化 Reimpell-Werner 反復法：量子測定とチャネルの最適化を解く数値手法
要約量子測定やチャネルの最適化は、ヒルベルト空間の次元が増えても実用的な数値手法を必要とします。本論文は、Reimpell-Werner 反復法を任意のエルミート費用行列をもつ線形目的関数へ一般化しています。初期化が適切な台の重なり条件を満たせば、反復列が大域的最適解に収束することを証明しています。固定された問題、反復パラメータ、許容される初期化に対して、漸近的には O(1/ε) 回の反復で目的値を最適値から ε 以内に収められると述べています。
説明マジック入力を伴う自由フェルミオン力学の高速古典シミュレーションアルゴリズム
要約入力がガウス状態でない（マジック状態）場合の自由フェルミオン（マッチゲート）回路の古典シミュレーション手法を扱う論文です。n 個の4モードマジック状態からなる入力に対して厳密サンプリングアルゴリズムを示し、能動的な力学への拡張も述べています。また、数演算子相関などの期待値に対する加法誤差推定を受動的から能動的な力学へ広げ、対数重みのマヨラナ単項式の期待値を多項式時間で厳密に計算する方法も示しています。フェルミオン量子シミュレーションの古典的ベンチマークとして位置づけられています。
注目点非ガウス入力を持つ自由フェルミオン回路の古典シミュレーションを拡張し、精密サンプリングと多項式時間の期待値計算を示し、既存手法を実質的に改善している。
説明高次量子資源の構造とコヒーレンスへの応用
要約本論文は、量子状態、チャネル、超写像（プロセス）の資源性を統一的に扱う一般的な枠組みを提案し、超写像の資源単調量、蒸留、希釈を導入します。自由ネットワーク、合成について閉じた互換超写像の集合、最大自由超チャネルといった概念を検討し、動的コヒーレンスの資源理論において最大の互換超写像集合の存在を示しています。これらの集合は半正定値制約で特徴づけられ、対応する自由ネットワークより真に大きいものの、すべての最大自由超チャネルを含むわけではないことが示されます。さらに、一回限りのチャネル蒸留と希釈におけるこれらの集合の操作上の違いを論じています。
説明『多いほど少ない：Haar量子マネーとその最適安全性』：量子マネーの偽造防止の安全性に関する理論研究
要約本論文は、n量子ビットのHaar乱択状態と反射オラクルに基づく量子マネーの構成を研究している。著者らは、ユーザーがΩ(2^n)枚の紙幣を保有しない限り、既存の紙幣によって偽造が漸近的に高速化されず、最適な攻撃は紙幣を持たない場合と同じであることを示す。研究は圧縮オラクル技術に基づき、追加コピー生成の厳密な下界と対応する攻撃、量子コピー保護への応用も示している。
注目点Haar量子マネーで保有量がΩ(2^n)未満なら安全性が劣化しないことを示し、タイトな下界と一致する攻撃を与えた。
説明混合時間法による量子状態識別のサンプル複雑度推定
要約本論文は、量子状態識別のサンプル複雑度を混合時間によって推定する手法を提案する。幾何学的に一様な純粋状態アンサンブルの最小誤り識別について、量子同次混合時間と一般化Dobrushin係数によって複雑度の緊密な評価が得られることを示す。生成群と安定化部分群がGelfand対をなす場合は古典的な混合時間問題に帰着し、相位状態や超グラフ状態などへの応用も述べられている。
注目点量子状態判別のサンプル複雑度を古典的混合時間とDobrushin係数に結び付け、タイトな評価と未解決問題への解答を与える点は新規性が高い。
説明ブール行列積検証の改良された量子クエリ上界・下界
要約本論文は、ブール行列積検証（BMPV）の量子クエリ計算量について、初の非自明な上界 Õ(n^{17/12}) を示し、Grover 探索による標準的な O(n^{3/2}) の上界を改善しています。あわせて Ω(n^{5/4}) の下界を示し、従来の既知の下界を改良しています。これらの結果は直交ベクトル問題（OV）との関係を通じて得られています。
注目点BMPVの量子クエリ計算量に初の非自明な上界n^{17/12}を与え下界も改良。OVとの帰着により理論的改善が明確で証明も厳密。
説明量子エントロピー推定における乗法的オーバーヘッドの解消
要約本論文は、量子エントロピー（フォン・ノイマンエントロピー、Tsallisエントロピー、Rényiエントロピー）の推定を扱い、局所正規化と精度配分を用いた多段階アルゴリズムによってクエリのオーバーヘッドを削減する手法を提案しています。フォン・ノイマンエントロピーについては上界を Õ(R/ε²) から Õ(R/ε) に改善し、この枠組みを密度行列の汎関数の一般的なクラスへ拡張しています。
注目点全体の積を局所コストの和に置き換え、フォン・ノイマンおよびTsallisエントロピーの問い合わせ計算量の上界を改善しており、理論的成果は顕著である。
説明散逸が開放量子系のダイナミクスの量子・古典シミュレーションを加速することを示す論文
要約本論文は、脱分極を含むパウリ雑音が、ハイゼンベルグ発展させた観測量の高重み成分を指数的に抑えることで、開放量子系のシミュレーションを容易にすることを示している。系のサイズに依存しない量子回路の最大深さの上界を与え、固定された散逸率のもとで疎なパウリ伝播が多項式時間で動作する古典アルゴリズムを示す。散逸が弱まるにつれ、量子と古典の上界の差が多項式的な量子優位の余地を残すことを、数値結果も裏付けている。
説明改良された計算量上界により実用性を高めたフェルミオンシャドウ法
要約本論文はフェルミオン（マッチゲート）シャドウ断層撮影を扱い、量子系の可観測量を多項式スケールのサンプル数で推定する手法の性能評価を行っています。任意の Majorana 次数 2k の観測量について、従来の上界 O(n^{2k}||O||²) を O(n^k||O||²) に改良し、この上界は漸近的に緊密であると述べています。例として、t=1、V=4 の開放型フェルミオン 50 サイト Hubbard 鎖のエネルギー推定では、必要な測定回数が約 10^9 から約 10^5 に減ると示しています。
説明非マルコフ散逸を量子リザーバー計算の資源として活用する研究
要約本論文は、分数階微分を用いて非マルコフ性を明示的にモデル化・制御する量子リザーバー計算の枠組みを提案しています。分数時間従属により、系と環境の間の情報の逆流を支配する調整可能な裾の重い緩和動力学を生成します。最適な動作領域では、短い遅延での線形記憶容量と非線形予測精度が向上する一方、長距離の時間保持は犠牲になると述べています。
説明浅い量子回路によるシャドウ量子特異値変換
要約本論文はシャドウ量子特異値変換（Shadow QSVT）を提案し、与えられた状態に多項式変換を作用させた後、複数の観測量の期待値を推定することを目指します。完全なユニタリを合成する必要がない点を利用します。状態を考慮したアルゴリズム、可観測量を考慮しヒストリー状態を用いるアルゴリズム、そして観測量を後から指定できる古典シャドウ版の3つが示されています。いずれもQSVTに基づく計算の回路深さを削減することを狙っています。
説明Paulテ回転とランダム量子回路のスペクトルギャップと遅いモード
要約本論文は、ランダムなPauli回転および局所的なランダム量子回路において、どの表現セクターが最も遅い収束を支配するかを決定する。d=2^nの連続Pauliウォークについて、SU(d)とPU(d)それぞれの全表現に対する厳密なスペクトルギャップを与える。さらに、実完全グラフモデルの四階テンソルのギャップとその漸近展開を扱っている。
説明全結合量子ダイナミクスの対数空間における古典・量子シミュレーション
要約本論文は、量子Hopfield、SK（Sherrington–Kirkpatrick）、Dicke型などの全結合スピンハミルトニアンにおける淬火ダイナミクスの古典的・量子的計算複雑性を研究している。著者らは、多項式時間かつO(log N)の量子・古典空間で、置換不変なk局所ダイナミクスを計算する量子アルゴリズムを示す。同じ資源で動く古典アルゴリズムが存在すればBQL⊆SCを意味すること、また短時間のダイナミクスには古典アルゴリズムが存在することも述べている。
説明二進語の量子チェルニー複雑度
要約本論文は、二進語が唯一の最短同期語となるために必要な量子チャネルの最小次元として「量子チェルニー複雑度」を定義する。上界は長さの平方根程度で、古典的類似量より大幅に小さいことを示し、定数語が極値となることを示す。純粋状態を目標とする場合の次元についても検討している。
説明QuLoC：光量子支援による低ランクLLM圧縮手法
要約本論文は、大規模言語モデルの圧縮アルゴリズムQuLoC（光量子支援型）を提案します。量子回路の出力を用いて学習中に保持する低ランク成分をゲート制御し、局所的な機能再構成とエンドツーエンドの知識蒸留で性能を回復します。学習後はゲート係数が低ランク因子に吸収され、量子回路を実行せず古典ハードウェア上で推論できます。Qwen3.5-4Bでは最先端ベースラインに比べ平均精度が9.73%相対的に向上し、LLaMA-7Bでも異なる圧縮率で同等以上の結果が示されています。
説明量子メモリが満杯でも高速なClifford回路を実現する方法
要約本論文は、計算後に結合状態（他のレジスタとのエンタングルメントを含む）を正確に復元することを条件に、状態が不明な「汚れた」量子ビットを触媒的な作業領域として使う手法を研究している。任意のn量子ビットClifford回路が、清浄な量子ビットを使わず、O(n²/log²n)個の触媒量子ビットで深さO(log n)として実装できることを示し、清浄な作業領域がある場合の漸近的な深さと一致すると述べている。さらに、Clifford階層の任意の固定レベルC_kの対角要素や半Clifford門にも拡張されている。
注目点清浄な補助量子ビットを要する対数深さのClifford回路実装を、汚れた量子ビットを用いる触媒的構成へ拡張し、Clifford階層にも一般化した。証明と計数解析による裏付けがあるが、影響は量子回路合成の分野に限られる。
説明Smite：第一原理および機械学習ポテンシャル面による双分子衝突・単分子動力学の準古典軌道プログラム
要約本論文は、反応性・非弾性双分子衝突、単分子動力学、有限表面モデルとの分子衝突を準古典軌道（QCT）法で模擬するPythonツールキット「Smite」を紹介しています。反応物の初期状態を、調和振動の正規モード、熱分布、Wigner サンプリングなどで細かく制御できる点が特徴です。オンザフライの電子状態計算やユーザー提供の解析的・機械学習ポテンシャル面を用いることができ、産物のエネルギー分配などの解析機能も備えています。
説明コストと誤差のトレードオフ下における早期フォールトトレラント反復量子位相推定の最適リソース配分
要約本論文は、リソースが限られる場合に反復量子位相推定（IPEA）で各ビットを何回測定（ショット）すれば全ビットを正しく得られるかを検討している。資源総量の制約の下で最適なショット数の閉形式を導出し、実用システム設計に役立つ資源配分の目安を示している。
説明置換不変関数の通信複雑度における量子優位性
要約本論文は、二者間通信複雑度において対称性が量子優位性にどう影響するかを研究している。座標の同時置換で不変な部分関数について、公開コイン乱択通信複雑度が、量子通信複雑度の二乗（長さで打ち切り）と対数因子で上から評価できることを示し、集合の非交差問題でこの評価が厳密であることを述べている。また、指数的な分離の例も示され、いずれの分離プロトコルも事前の量子もつれを必要としない。
注目点対称性を持つ関数について量子と乱択通信複雑度の緊密な上下界と指数的分離を示し、理論的改善は大きいが影響は通信複雑度理論に限られる。
説明量子化学に着想を得た波動関数で、電子-核のシュレーディンガー方程式を機械学習により解く手法
要約本論文は、多体の電子-電子相関項を明示的に含み、全電子-核配置に依存するパラメータをもつ、軌道ベースのニューラルネットワーク波動関数を提案している。学習には変分モンテカルロ法と局所エネルギー制約を組み合わせた混合最適化を用いる。これらを統一フレームワーク「Schrödinger」に組み込み、強相関二原子分子、円錐交差を含む三原子反応、多参照多原子分子の全体的に正確なポテンシャル曲面を、単一の学習で求められると述べている。
説明全ての奇素数次元における多 qudit Clifford 回路の完全で自然な書換え規則集合
要約本論文は、全ての奇素数次元の多 qudit Clifford 回路に対する 16 個の書換え規則を提示し、その完全性を示している。完全性とは、同じ線形写像を表す任意の二つの Clifford 回路が、これらの規則によって互いに書き換え可能であることを意味する。各規則は高々三つの qudit に関わり、直感的な解釈が与えられている。証明は辛群レベルで行われ、Pauli 補正を加えて Clifford 関係へ持ち上げられ、完全性は Agda 証明支援系で形式的に検証されている。
注目点奇素数次元のマルチqudit Clifford回路に対し完全で自然な書換規則を与え、Agdaで形式的に検証しており、既存理論を実質的に前進させている。
説明古典シャドウの検証計算量と拡張：古典データが真の量子状態から得られたかを判定できるか、また高次の性質を予測するシャドウを偽造できるかを研究
要約本論文は、量子状態の複数コピーを古典データに圧縮する枠組みである古典シャドウ（classical shadows）について、二つの問題を扱います。一つ目は、与えられたデータが正当なn量子ビット状態から得られたかを効率的に検証できるかという古典シャドウ有効性（CSV）問題で、シャドウの種類や観測量の族に応じた計算可能性と困難性の結果を示します。二つ目は、2局所的性質を捉えるシャドウから3局所的性質を予測するシャドウを偽造できるかという問題で、QCMAがBPPに含まれないという仮定の下では、その推定が難解であることを示しています。
注目点古典シャドウの有効性検証と偽造の問題を体系的に扱い、新たな計算量分類と qc-Σ2 ⊆ P^PP の上界を示す。
説明問題の構造を活用したエンドツーエンドの量子高速化
要約本論文は、問題の再帰的な構造記述を効率的な状態準備回路へ変換する、構造を考慮した量子データ符号化の枠組みを提案しています。無容量施設配置問題では、構造を考慮しない符号化だと古典的手法によって二次の量子高速化が失われるのに対し、構造を利用すると状態準備コストを含めても高速化が維持されると述べています。さらに、制約間の関係を捉えた構造化量子状態を組合せ最適化問題向けに準備できるとしています。
説明対数深さのフェルミオンサンプリング：反集中性と平均ケース困難性
要約本論文はフェルミオンサンプリング問題を扱い、非ガウス入力に受動線形光学を作用させる設定を検討している。Haar型二モードゲートのランダム対構成では、約0.855 log2 n 層で全域Haarランダム変換と同等の反集中性が得られることを示す。さらに、より大きな対数深さで出力確率推定の平均ケース#P困難性も証明している。
注目点対数深さで反集中と平均ケース困難性を示し、鋭い閾値と一致する下界を与える点で理論的に大きな前進がある。
説明ラベルのない開いたグラフ上での gflow の探索
要約一方向量子計算モデルは、グラフ状態という資源に対して適応的な一量子ビット測定を順次行うことで計算を実行します。gflow は、特定の一方向計算を決定的に実装するための必要十分条件であり、一方向モデルから量子回路への効率的な変換にも使われます。本論文は、グラフ構造と入出力量子ビットは与えられているが測定方法は未確定の開いたグラフを対象とし、測定ラベルと互換性のある gflow を O(n³) 時間で同時に求めるアルゴリズムを提案します。測定順序の制約にも対応できます。
説明乱れた量子軌道の極限定理：ランダムな環境における繰り返し測定後の長期的な平均挙動と統計法則
要約本論文は、各ステップで適用される計測器が可逆な保測力学系によって決まる、無秩序環境中の有限次元量子系の離散時間量子軌道を研究する。一定のDoeblin条件のもとで、事後状態のランダム法則の存在と一意性を示し、その重心が動的定常状態であることを特定している。環境がエルゴード的な場合には、時間平均に関するエルゴード定理、中心極限定理、Berry–Esseen型の評価を示し、同時過程がα混合性を継承することも証明している。
説明選択的GHZ測定によるクラシカルシャドウ：量子状態の性質を推定する新手法
要約本論文は、ランダムに選んだ一部の量子ビットにGHZ基底測定を、残りに計算基底測定を行う選択的GHZ測定（SGM）シャドウ手法を提案する。その量子回路のCNOTゲート数は量子ビット数に比例して増え、全体Clifford回路より実装しやすい。50量子ビットまでの数値シミュレーションでは、非局所的な観測量や長距離系において既存手法を上回る結果が示された。
説明局所性を利用した量子ダイナミクスの高密度出力シミュレーションの高速化
要約本論文は、量子シミュレーションで時間的に蓄積される観測量（高密度出力）を推定する問題を扱います。格子ハミルトニアン向けに、局所性に基づく切り詰めの枠組みを提案し、リープ・ロビンソン境界で切り詰め誤差を絞り込むことで、局所シミュレーションによって高密度出力を復元できることを示します。フェルミオンとボソンの自由系・相互作用系、およびリンドブラッド方程式で記述される開放量子系を分析し、数値実験で結果を裏付けています。
説明傾斜ウォークによる組合せ最適化の超二次量子高速化
要約本論文は、厳密な組合せ最適化問題を解くための量子アルゴリズム枠組み「量子傾斜ウォーク（quantum tilted walks）」を提案している。目的関数で基礎マルコフ連鎖の判別行列に偏りを与えた傾斜ハミルトニアンの冪の平均を用いる。既存の量子短経路アルゴリズムは、古典的な条件付け・探索法に対して超二次の高速化を示せないことが指摘されている。本枠組みは特定の条件下で超二次の高速化を達成し、合成最適化問題でその優位性を示したと報告している。
説明ユニバーサル量子もつれ蒸留：未知の状態でも最適レートに到達できることを示す研究
要約本論文は、固定された有限次元における任意の未知の二部量子状態に対して漸近的に蒸留可能なもつれを達成する、ユニバーサルなもつれ蒸留プロトコルを提案しています。手法は、局所操作と古典通信による断層撮影と適応的な蒸留手順を組み合わせ、有限サンプルの推定誤差を制御するために局所ロバスト性補題を用います。状態が未知であっても漸近的なレートの低下は生じないことが示されています。
注目点未知の二者間状態に対して蒸留可能エンタングルメントを達成する普遍的プロトコルを提示し、最悪ケースの特徴づけも与える。厳密な証明が中心で、実験的検証は限られる。
説明分子量子ダイナミクスシミュレータのための振動子-量子ビット基本演算
要約本論文は、電子を量子ビット、核振動を振動子で表す振動子-量子ビットプロセッサ上で分子量子ダイナミクスをシミュレーションする手法を扱う。一般化Jacobi-Anger展開と量子信号処理を用いる非線形・多モードのボソニック位相ゲートの合成法を提案し、従来の直接的QSP手法より回路を約3分の1短くできるとしている。簡略化した二酸化炭素モデルで回路QEDのノイズを含む短時間シミュレーションを行い、量子ビットと振動子の寿命が約2msと5msの条件では精度基準をわずかに満たさなかったと報告している。
説明トランスデューサーに基づくユニタリ作用素の線形結合：理論と応用
要約本論文は、トランスデューサー枠組みを用いた線形結合ユニタリ（LCU）手法を提案し、最もコストの高いユニタリ作用素で決まっていた問い合わせ量を、重みつき平均の問い合わせ複雑度へと低減することを示す。ブロック符号化の構成とその問い合わせ複雑度を与え、スパース行列のブロック符号化に応用して、スパース・ハミルトニアンのシミュレーションと量子線形系のアルゴリズムを得ている。対数因子を除けば、関連するパラメータに対してほぼ最適な問い合わせ複雑度を達成するとされる。
注目点換能器ベースのLCUの枠組みを提案し、最悪ケースの計算量を重み付き平均クエリ複雑度に置き換え、精度依存を多項式から対数へ改善しており新規性が高い。
説明ボゾン量子エントロピーパワー不等式の等号条件
要約本論文は、ビームスプリッタ出力のエントロピーを入力のエントロピーで評価するボゾン量子エントロピーパワー不等式の等号成立条件を調べている。有限の平均光子数をもつ独立な入力に対し、モード数と透過率（0と1の間）によらず、入力が同じ共分散行列をもつガウス状態（任意の変位を許す）である場合にのみ等号が成立することを示す。
注目点ボソン量子エントロピーパワー不等式の等号条件を完全に特徴づけ、証明の論理も厳密で情報理論の極値問題に明確な進展をもたらす。
説明量子チャネルを通じた代数の伝送：有限次元C*代数を量子チャネルで正確に送る理論で、零誤り情報理論と作用素代数的誤り訂正を統一する研究。
要約本論文は、有限次元C*代数を量子チャネルで正確に伝送する方法を研究している。これらの代数は古典と量子が混在する情報を表し、量子系の次元が古典メッセージに依存しうる。著者らは、小さい次元でも伝送可能な代数を支配する代数が存在しない場合があることを示し、同じチャネルに対して互いに比較できない複数の最適な使い方が生じうると述べる。さらにハイブリッド容量と有限の特徴付けを導入し、テンソル積による結合符号化や代数型の数が急増するチャネルも扱う。
注目点量子チャネル上の代数伝送に関する新たな枠組みを提示し、支配性の失敗、有限特徴付け、二重指数的増大の構成を示す。理論的貢献は大きいが実用面の影響は限定的。
説明ノイズを伴う平面アーキテクチャにおける無条件の量子優位性
要約本論文は、2次元の局所操作に制限され、一定の閾値以下の局所確率ノイズを受ける量子デバイスを扱います。著者らは、幾何学的に2次元局所な量子回路が、実装に不完全さがあっても高い確率で正しく解ける計算問題を構成し、多項式サイズの AC0 回路では特定の事例に対して定数確率で解けないことを示しています。複雑性理論の仮定に依存しないため、平面量子デバイス、ノイズ耐性、無条件性を併せもつ初めての複雑性分離結果とされています。
注目点ノイズのある2次元局所量子回路がAC0回路より計算能力で厳密に優れることを無条件に示し、新規性と証明の厳密さは高いが、影響は理論的な範囲にとどまる。
説明有限帯域フィルタによる三準位量子熱機関の寄生熱漏れからの保護
要約本論文は、高温側の環境が寄生的に低温側の遷移と結合する連続動作型の三準位量子熱機関を研究している。著者らは三状態の速度方程式網を厳密に解き、寄生遷移が高温から低温への熱力学的短絡を生むことと、正の出力での運転が失われる閾値を示している。さらに、減衰した補助モードを物理的なスペクトルフィルタとして導入し、そのローレンツ型応答が離調した寄生遷移を抑えるが、フィルタを狭めすぎるとエネルギーの有効なスループットが制限されることを示している。
説明巡回符号とデコード量子干渉計：巡回符号の復号問題を通じて量子最適化手法（DQI）の性能と限界を調べる研究です。
要約本論文は、二変数制約をもつ最適化問題を巡回符号の復号問題に帰着させる復号量子干渉計（DQI）を扱います。主な例として最大カット（MaxCut）問題を取り上げ、不完全な復号を想定した場合の満足率の保証を導出しています。任意の有限体上の同種巡回符号を分析し、サイズが2より大きい体では最小重み復号がNP困難であることを示しています。さらに、Linial–Simkin 集合の正則グラフについて最尤復元の上界と強逆定理を示し、LP復号器による多項式時間の復元法も与えています。これらにより、古典的復号器を用いたDQIの近似最適値の上下界が得られ、扱った範囲では量子優位性は否定されますが、DQIが非自明な満足率を効率的に達成できる正則Max-k-Cut事例も示されています。
注目点有限体上の巡回符号の最小重み復号がNP困難であることを示し、ランダムグラフ上の回復界を与えてDQIの理論理解を進めたが、影響は量子最適化の狭い分野に限られる。
説明量子資源の局所—全体トレードオフの実験的実現
要約本論文は、局所最大コヒーレンスと量子相互情報量で定量化される、局所的および全体的な量子資源のトレードオフを提案し、実験で検証しています。実験では、両者の和が一定の上限で抑えられることが示されました。量子ネットワークでは、個々のノードの局所資源とネットワーク全体の資源が互いに排他的であり、一方を高めるともう一方が必ず制限されると論じています。
説明任意の状態におけるパウリ不安定性：物理的相関関数から「マジック」を検出する
要約本論文は、非時間順序相関関数を任意の量子状態（ギブス状態を含む）で評価し、量子時間発展の「マジック」（非スタビライザー性）を測定する方法を示しています。全ランク状態について、この量はCliffordの時間発展の場合にのみ0になることを示し、その基本的性質を確立しています。さらに、固定された1つのプローブ演算子だけでも、任意の回路構成で必要なT ゲート数の下限を与えることを証明しています。
説明一次元格子を運動する粒子の測定誘起ダイナミクスと創発的対称性
要約本論文は、一次元格子の格子点間を粒子がトンネルする運動を扱う。著者らは、単一の格子点の占有数を弱く連続的に測定したときに、エンタングルメントが生じ、波動関数のパリティや置換対称性といった系の性質が確定値に定まる過程を調べている。シミュレーションでは、もともと置換対称性を持たない2粒子および3粒子の系が、連続測定によって安定したボーズ粒子・フェルミ粒子・パラ統計の対称性セクターへ導かれることが示されている。
説明離散時間誤り訂正を用いた量子計測のためのCSS符号
要約本論文は、Calderbank-Shor-Steane（CSS）符号に基づく量子計測プロトコルを扱います。目的は、雑音のもとでもハイゼンベルク的な精度向上をできるだけ保つことです。センシング・ハミルトニアンに垂直な雑音に対しては、離散時間の誤り訂正により、訂正頻度に依存する有限の測定時間窗内でハイゼンベルク的な時間スケーリングが保たれることを示しています。センシング後にのみ回復操作を行う場合は、無訂正の雑音プロトコルに対して計測上の利点がないとされています。Steane符号とShor符号について、離散訂正のダイナミクス、ハイゼンベルク的から標準量子限界的への移行、最適な測定時間を解析し、数値的に検討しています。
説明資源効率の良い量子ウォーカー型量子ランダムアクセスメモリ（qRAM）の技術解析
要約本論文は、著者が先に提案したqRAMモデルの技術的な続編で、数学的導出、プロトコル仕様、資源解析を詳しく示しています。アドレスとデータの長さに比例して増える量子ウォーカーの数により、指数的な活性ノード数を避けています。短距離方式では相互作用を2体・3体の局所ゲートに分解し、回路深さはO(n+m)に達すると報告されています。
説明パリティ保存テンソルネットワークにおける多体トポロジー
要約本論文は平面パリティ保存テンソルネットワーク（ppTN）を扱い、その収縮が相互作用するフェルミオン分配関数、ループガス、変形トーリック符号のノルム、四次イジング模型として解釈できることを示します。最小の二パラメータモデルを用い、多体手法で位相図を解析しています。中心にある「トポロジカル島」の境界は、フェルミオン摂動論による相境界の予測、テンソルネットワーク数値による臨界挙動の確定を経て、双対下で自己双対線と c=1 の四状態ポッツ多臨界不動点として特徴づけられています。
