Sample optimal tomography of quantum Markov chains

Abstract

A state on a tripartite quantum system ${\mathcal{H}}_A\otimes {\mathcal{H}}_B\otimes {\mathcal{H}}_C$ forms a Markov chain, i.e., quantum conditional independence, if it can be reconstructed from its marginal on ${\mathcal{H}}_A\otimes {\mathcal{H}}_B$ by a quantum operation from ${\mathcal{H}}_B$ to ${\mathcal{H}}_B\otimes {\mathcal{H}}_C$ via the famous Petz map: a quantum Markov chain ${\rho }_{ABC}$ satisfies ${\rho }_{ABC}={\rho }_{BC}^{1/2}({\rho }_B^{-1/2}{\rho }_{AB}{\rho }_B^{-1/2}\otimes i{d}_C){\rho }_{BC}^{1/2}$. In this paper, we study the robustness of the Petz map for different metrics, i.e., the closeness of marginals implies the closeness of the Petz map outcomes. The robustness results are dimension-independent for infidelity $\delta$ and trace distance $\epsilon$. The applications of robustness results are The sample complexity of quantum Markov chain tomography, i.e., how many copies of an unknown quantum Markov chain are necessary and sufficient to determine the state, is $\tilde{\Theta }(\frac{(d_A^2+d_C^2)d_B^2}{\delta })$, and $\tilde{\Theta }(\frac{(d_A^2+d_C^2)d_B^2}{{\epsilon }^2})$. The sample complexity of quantum Markov Chain certification, i.e., to certify whether a tripartite state equals a fixed given quantum Markov Chain ${\sigma }_{ABC}$ or at least $\delta$-far from ${\sigma }_{ABC}$, is $\Theta (\frac{(d_A+d_C)d_B}{\delta })$, and $\Theta (\frac{(d_A+d_C)d_B}{{\epsilon }^2})$. $\tilde{O}(\frac{\min \{d_A{d}_B^3{d}_C^3,d_A^3{d}_B^3{d}_C\}}{{\epsilon }^2})$ copies to test whether ${\rho }_{ABC}$ is a quantum Markov Chain or $\epsilon$-far from its Petz recovery state. We generalized the tomography results into multipartite quantum system by showing $\tilde{O}(\frac{n^2{\max }_i\{d_i^2{d}_{i+1}^2\}}{\delta })$ copies for infidelity $\delta$ are enough for $n$-partite quantum Markov chain tomography with $d_i$ being the dimension of the $i$-th subsystem.

arXiv commentComments are welcome

References in corpus (22)

• Quantum state tomography via compressed sensing
• Direct Fidelity Estimation from Few Pauli Measurements
• Structure of states which satisfy strong subadditivity of quantum entropy with equality
• Quantum Tomography via Compressed Sensing: Error Bounds, Sample Complexity, and Efficient Estimators
• Practical characterization of quantum devices without tomography
• Asymptotic Error Rates in Quantum Hypothesis Testing
• Quantum conditional mutual information and approximate Markov chains
• One-shot decoupling
• Reliable quantum certification for photonic quantum technologies
• Universal recovery maps and approximate sufficiency of quantum relative entropy
• Robustness of quantum Markov chains
• Multivariate Trace Inequalities
• Quantum Conditional Mutual Information, Reconstructed States, and State Redistribution
• Squashed entanglement, k-extendibility, quantum Markov chains, and recovery maps
• The Fidelity of Recovery is Multiplicative
• Product-state Approximations to Quantum Ground States
• Learning shallow quantum circuits
• Approximate quantum Markov chains
• Recoverability for optimized quantum $f$-divergences
• Exponential Separation of Quantum Communication and Classical Information
• Quantum chi-squared tomography and mutual information testing
• Learning quantum states prepared by shallow circuits in polynomial time