[論文レビュー] Computational hardness of estimating quantum entropies via binary entropy bounds

Yupan Liu|arXiv (Cornell University)|Jan 7, 2026

Statistical Mechanics and Entropy被引用数 0

ひとこと要約

この論文は Rényi および Tsallis エントロピーのランク-2量子エントロピー問題がすべての正の次数で BQP-hard であることを証明し、低ランク版は BQP-complete、さらに次数0の結果は NQP-complete であることを示す。

ABSTRACT

We investigate the computational hardness of estimating the quantum $α$-Rényi entropy ${ m S}^{ t R}_α(ρ) = \frac{\ln { m Tr}(ρ^α)}{1-α}$ and the quantum $q$-Tsallis entropy ${ m S}^{ t T}_q(ρ) = \frac{1-{ m Tr}(ρ^q)}{q-1}$, both converging to the von Neumann entropy as the order approaches $1$. The promise problems Quantum $α$-Rényi Entropy Approximation (RényiQEA$_α$) and Quantum $q$-Tsallis Entropy Approximation (TsallisQEA$_q$) ask whether $ { m S}^ { t R}_α(ρ)$ or ${ m S}^{ t T}_q(ρ)$, respectively, is at least $τ_{ t Y}$ or at most $τ_{ t N}$, where $τ_{ t Y} - τ_{ t N}$ is typically a positive constant. Previous hardness results cover only the von Neumann entropy (order $1$) and some cases of the quantum $q$-Tsallis entropy, while existing approaches do not readily extend to other orders. We establish that for all positive real orders, the rank-$2$ variants Rank2RényiQEA$_α$ and Rank2TsallisQEA$_q$ are ${\sf BQP}$-hard. Combined with prior (rank-dependent) quantum query algorithms in Wang, Guan, Liu, Zhang, and Ying (TIT 2024), Wang, Zhang, and Li (TIT 2024), and Liu and Wang (SODA 2025), our results imply: - For all real orders $α> 0$ and $0 < q \leq 1$, LowRankRényiQEA$_α$ and LowRankTsallisQEA$_q$ are ${\sf BQP}$-complete, where both are restricted versions of RényiQEA$_α$ and TsallisQEA$_q$ with $ρ$ of polynomial rank. - For all real order $q>1$, TsallisQEA$_q$ is ${\sf BQP}$-complete. Our hardness results stem from reductions based on new inequalities relating the $α$-Rényi or $q$-Tsallis binary entropies of different orders, where the reductions differ substantially from previous approaches, and the inequalities are also of independent interest.

研究の動機と目的

• フォン・ノイマンエントロピーを越える量子エントロピーの推定の計算的難易度を研究する動機付け。
• 正の全ての次数にわたる量子 α-Rényi および q-Tsallis エントロピーの難易度を特徴づける。
• 硬さを確立するために二項エントロピー境界を用いた還元フレームワークを開発する。
• ランク-2および低ランク（多項式ランク）インスタンスを分析し、計算複雑性クラスを決定する。
• 既存の量子クエリアルゴリズムへの影響と未解決問題を議論する。

提案手法

• Rank2RényiQEA α および Rank2TsallisQEA q をランク-2の約束問題として導入する。
• 二項エントロピー境界と内積ギャップからの還元により難しさを確立する。
• α-Rényi または q-Tsallis の異なる次数の二項エントロピーに関する新しい不等式を導出する。
• オーバーラップとエントロピーの明示的同一性（例：エントロピーに関する等式）を介してランク-2エントロピー値を二項エントロピーへ結びつける。
• 低ランクの場合の BQP 完全性を得るために既知の量子クエリ上界を利用する。
• 次数と難しさの結果を対応づけるための非公式定理と表形式の境界を提供する。

実験結果

リサーチクエスチョン

• RQ1 α-Rényi または q-Tsallis エントロピーの推定難易度を、二項エントロピー境界に基づく統一的な還元で全ての正の次数に対して示すことができるか。
• RQ2 ランク-2のインスタンスは BQP-hardness を捉えるのに十分か、低ランク版は次数を超えてすべての次数で BQP-complete のままか。
• RQ3 非次数-1エントロピーのための Jensen 型の発散に依存する既存の還元戦略の限界は何か。
• RQ4 次数0（min/Hartley）ケースは正の次数のケースと難易度を比較してどうか。
• RQ5 次数間のエントロピー境界不等式の厳密化に関して、今後の未解決問題は何か。

主な発見

• Rank2RényiQEA α はすべての実数 α>0 および α=∞ に対して BQP-hard。
• Rank2TsallisQEA q はすべての実数 q>0 に対して BQP-hard。
• LowRankRényiQEA α はすべての実数 α>0（および α=∞）について BQP-complete。
• LowRankTsallisQEA q は 0<q≤1 で BQP-complete、TsallisQEA q は q>1 で BQP-complete。
• Rank2TsallisQEA 1≤q≤2 は以前から BQP-hard と知られていたが、新しい不等式によりすべての次数へ拡張された。
• 次数0 において、Rank2RényiQEA α および Rank2TsallisQEA q は NQP-complete であり、最小固有値に結びつく多項式境界が存在する。