🤖 AI Summary
This work investigates whether an information-theoretic threshold exists for the minimal number of quantum state copies required to estimate nonlinear moments under the copy-restricted joint measurement model. By integrating tools from quantum information theory, sample complexity analysis, and characterizations of observables under operator and trace norm constraints, the study rigorously establishes—for the first time—that for any fixed order \( t \geq 3 \), exactly \( \lceil t/2 \rceil \) copies constitute the precise threshold enabling polynomial sample complexity in estimating pure moments; using fewer copies inevitably leads to sample complexity that grows exponentially with the system dimension. This result highlights coherent copy number as a fundamental discrete resource and extends naturally to families of weighted moments.
📝 Abstract
Joint measurements on multiple copies of a quantum state provide access to nonlinear observables such as $\operatorname{tr}(ρ^t)$, but whether replica number marks a sharp information-theoretic resource boundary has remained unclear. For every fixed order $t\ge 3$, existing protocols show that $\lceil t/2\rceil$ replicas already suffice for polynomial-sample estimation of $\operatorname{tr}(ρ^t)$, yet it has remained open whether one fewer replica must necessarily incur a sample-complexity barrier growing with the dimension. We prove that this is indeed the case in the sample/copy-access model with replica-limited joint measurements: any protocol restricted to $\lceil t/2\rceil-1$ replicas requires dimension-growing sample complexity, while $\lceil t/2\rceil$ replicas suffice by prior work. Thus the exact replica threshold for fixed-order pure moments is $\lceil t/2\rceil$. Equivalently, for fixed-order pure moments, one additional coherent replica is not merely useful but marks the exact threshold between polynomial-sample estimation and a dimension-growing regime in the replica-limited model. We further show that the same threshold law extends to a broad family of observable-weighted moments $\operatorname{tr}(Oρ^t)$, including Pauli observables and other observables with bounded operator norm and macroscopic trace norm. Coherent replica number therefore acts as a genuinely discrete resource for nonlinear quantum-state estimation.