Abstract:We study the sample complexity of the prototypical tasks quantum purity estimation and quantum inner product estimation. In purity estimation, we are to estimate $tr(\rho^2)$ of an unknown quantum state $\rho$ to additive error $\epsilon$. Meanwhile, for quantum inner product estimation, Alice and Bob are to estimate $tr(\rho\sigma)$ to additive error $\epsilon$ given copies of unknown quantum state $\rho$ and $\sigma$ using classical communication and restricted quantum communication. In this paper, we show a strong connection between the sample complexity of purity estimation with bounded quantum memory and inner product estimation with bounded quantum communication and unentangled measurements. We propose a protocol that solves quantum inner product estimation with $k$-qubit one-way quantum communication and unentangled local measurements using $O(median\{1/\epsilon^2,2^{n/2}/\epsilon,2^{n-k}/\epsilon^2\})$ copies of $\rho$ and $\sigma$. Our protocol can be modified to estimate the purity of an unknown quantum state $\rho$ using $k$-qubit quantum memory with the same complexity. We prove that arbitrary protocols with $k$-qubit quantum memory that estimate purity to error $\epsilon$ require $\Omega(median\{1/\epsilon^2,2^{n/2}/\sqrt{\epsilon},2^{n-k}/\epsilon^2\})$ copies of $\rho$. This indicates the same lower bound for quantum inner product estimation with one-way $k$-qubit quantum communication and classical communication, and unentangled local measurements. For purity estimation, we further improve the lower bound to $\Omega(\max\{1/\epsilon^2,2^{n/2}/\epsilon\})$ for any protocols using an identical single-copy projection-valued measurement. Additionally, we investigate a decisional variant of quantum distributed inner product estimation without quantum communication for mixed state and provide a lower bound on the sample complexity.

Distributed inner product estimation with limited quantum communication

On the sample complexity of purity and inner product estimation

Unbounded Quantum Advantage in Communication with Minimal Input Scaling

Efficient distributed inner product estimation via Pauli sampling

One Clean Qubit Suffices for Quantum Communication Advantage

Quantum state testing with restricted measurements

Clean Quantum and Classical Communication Protocols

Communication complexity of entanglement assisted multi-party computation

Direct Estimation of Functionals of Density Operators by Local Operations and Classical Communication

Trade-offs between Entanglement and Communication

The minimal communication cost for simulating entangled qubits

Distributed Quantum Hypothesis Testing under Zero-rate Communication Constraints

Communication Cost in Simulating Unknown Entangled States

Efficient Protocols for Generating Bipartite Classical Distributions and Quantum States

A Limit on the Power of Entanglement-Assistance in Quantum Communication

Communication cost of classically simulating a quantum channel with subsequent rank-1 projective measurement

Distributed Quantum Computation over Noisy Channels

Predicting quantum channels over general product distributions

A Direct Product Theorem for One-Way Quantum Communication

Lower bounds for quantum-inspired classical algorithms via communication complexity

Approximate orthogonality of permutation operators, with application to quantum information