Fugu-MT 論文翻訳(概要): Optimal single-copy estimation of quantum state moments: why $\operatorname{Tr}(ρ^3)$ and $\operatorname{Tr}(ρ^4)$ are equally hard

論文の概要: Optimal single-copy estimation of quantum state moments: why $\operatorname{Tr}(ρ^3)$ and $\operatorname{Tr}(ρ^4)$ are equally hard

arxiv url: http://arxiv.org/abs/2609.37781v1
Date: Tue, 29 Sep 2026 15:16:45 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-30 21:28:47.66862
Title: Optimal single-copy estimation of quantum state moments: why $\operatorname{Tr}(ρ^3)$ and $\operatorname{Tr}(ρ^4)$ are equally hard
Title（参考訳）: なぜ$\operatorname{Tr}(ρ^3)$と$\operatorname{Tr}(ρ^4)$が等しく難しいのか
Abstract要約: 未知状態の非線形特性を限定的な実験的アクセシビリティで推定することは、量子学習の基本的な問題である。状態モーメントを$operatornameTr(t)$で推定し、任意の適応的な単一コピー計測を可能にする。
参考スコア（独自算出の注目度）: 1.3966195782297455
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Estimating nonlinear properties of an unknown quantum state with restrictive experimental accessibility is a fundamental problem in quantum learning. We study the sample complexity of estimating the state moments $\operatorname{Tr}(ρ^t)$, allowing arbitrary adaptive single-copy measurements. While purity estimation has optimal sample complexity $Θ(\sqrt d)$ at constant additive error, the optimal dimension dependence for higher moments has remained unclear. We resolve this question for every fixed integer $t\ge 2$: for any sufficiently small constant additive error, the optimal sample complexity is \[ Θ\!\left(d^{\frac{\lceil\log_2 t\rceil}{1+\lceil\log_2 t\rceil}}\right) \] with constant success probability. The complexity thus follows a dyadic hierarchy: for each integer $h\geq1$, all moment orders $2^{h-1}<t\leq2^h$ share the same exponent. In particular, the third and fourth moments both require $Θ(d^{2/3})$ copies. We also establish an $Ω(d^{1-1/t})$ lower bound for arbitrary nonadaptive single-copy protocols, matching the known upper bound and demonstrating an advantage from adaptivity for every $t\geq4$. Our upper bound uses adaptive state filtering to reduce higher-order moment estimation to lower-order moment estimation in a smaller state space. For the lower bound, we directly compare moment-matched ensembles through a smooth interpolation, bypassing the maximally mixed state as an intermediate hypothesis and yielding matching bounds beyond $\sqrt d$.
Abstract（参考訳）: 未知の量子状態の非線形特性を限定的な実験的アクセシビリティで推定することは、量子学習の基本的な問題である。状態モーメントを$\operatorname{Tr}(ρ^t)$で推定し、任意の適応的な単一コピー計測を可能にする。純度推定は、定数加法誤差において最適なサンプル複雑性が$(\sqrt d)$であるのに対して、高次モーメントに対する最適次元依存性は、まだ不明である。すべての固定整数 $t\ge 2$: 十分小さな定数加法誤差に対して、最適なサンプルの複雑性は \[ >! d^{\frac{\lceil\log_2 t\rceil}{1+\lceil\log_2 t\rceil}}\right) \] 各整数 $h\geq1$ に対して、すべてのモーメント順序 2^{h-1}<t\leq2^h$ は同じ指数を共有する。特に、第3のモーメントと第4のモーメントはどちらも$(d^{2/3})$コピーを必要とする。また、任意の非適応的な単一コピープロトコルに対して$Ω(d^{1-1/t})$下界を確立し、既知の上界と一致し、t\geq4$毎の適応性から利点を示す。我々の上界は適応状態フィルタリングを用いて、より小さな状態空間における高次モーメント推定から低次モーメント推定に還元する。下界については、滑らかな補間を通してモーメントマッチングされたアンサンブルを直接比較し、最大混合状態を中間仮説として通過し、$\sqrt d$を超えるマッチング境界を与える。

論文の概要: Optimal single-copy estimation of quantum state moments: why $\operatorname{Tr}(ρ^3)$ and $\operatorname{Tr}(ρ^4)$ are equally hard

関連論文リスト