最も近いスタビライザー積状態を探す問題の計算量を分類
Complexity and Applications of Nearest Stabilizer Product State Problems
この論文をやさしく読む
ひとことで言うと
指定された量子状態に最もよく重なる、単一量子ビット状態の積を探す問題を、選べる状態の集合ごとに分類しています。
何に役立つ？
量子回路の古典シミュレーションや、もつれの尺度、低ランク行列補完に関係する計算の難しさを理解するために役立ちます。
この研究の面白いところ
対称性で重複を除いた9種類の設定を網羅し、単純な二つ以外の難しさをNP完全性として示しています。
どこまで分かった？
理論的な計算量分類であり、個々の入力を解く実測時間を示したものではありません。要旨ではNP完全性を述べる際の判定問題の細かな定式化は省略されています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
スタビライザー積状態に関する次の最適化問題を考える。n量子ビットのスタビライザー状態|ψ⟩と、1量子ビットのスタビライザー状態の集合Sが与えられたとき、各|φ_i⟩ ∈ Sについて、|⟨ψ|φ₁,…,φ_n⟩|²を最大化する。集合Sを変えることで、この問題の解が、特定の古典シミュレーションアルゴリズムの実行時間のより厳しい上界、量子もつれの尺度、低ランク行列補完の計算複雑性など、さまざまな場面で役立つことを示す。 さらに、この最近接スタビライザー積状態問題の完全な計算量分類を与える。クリフォード群の対称性を考慮すると、集合Sには9種類の異なる可能性があり、そのうち最も単純な二つを除くすべてがNP完全であることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Consider the following optimization problem over stabilizer product states: given an $n$-qubit stabilizer state $\left|\psi\right\rangle$ and a set of single-qubit stabilizer states $S$, maximize $\left|\langle \psi | \phi_1, \ldots, \phi_n \rangle\right|^2$ over single-qubit stabilizer states $\left|\phi_i\right\rangle \in S$. By varying the set $S$, we show that solutions to this problem can be useful in a variety of settings: tighter runtime bounds for certain classical simulation algorithms; measures of entanglement; and the complexity of low-rank matrix completion. Moreover, we give a complete complexity classification of this nearest stabilizer product state problem. After accounting for the symmetries in the Clifford group, there are $9$ distinct possible sets $S$, and we show that all but the two simplest of these are $\NP$-complete.
著者のコメント
30 pages, 2 figures
arXiv ID: 2610.02037 ／ 要約の誤りについて