Sample optimal tomography of quantum Markov chains
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918090744266752 |
|---|---|
| author | Gao, Li Yu, Nengkun |
| author_facet | Gao, Li Yu, Nengkun |
| contents | 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 $ρ_{ABC}$ satisfies $ρ_{ABC}=ρ_{BC}^{1/2}(ρ_B^{-1/2}ρ_{AB}ρ_B^{-1/2}\otimes id_C)ρ_{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 $δ$ and trace distance $ε$. 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Θ(\frac{(d_A^2+d_C^2)d_B^2}δ)$, and $\tildeΘ(\frac{(d_A^2+d_C^2)d_B^2}{ε^2}) $.
The sample complexity of quantum Markov Chain certification, i.e., to certify whether a tripartite state equals a fixed given quantum Markov Chain $σ_{ABC}$ or at least $δ$-far from $σ_{ABC}$, is $Θ(\frac{(d_A+d_C)d_B}δ)$, and $Θ(\frac{(d_A+d_C)d_B}{ε^2})$.
$\tilde{O}(\frac{\min\{d_Ad_B^3d_C^3,d_A^3d_B^3d_C\}}{ε^2})$ copies to test whether $ρ_{ABC}$ is a quantum Markov Chain or $ε$-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^2d_{i+1}^2\}}δ)$ copies for infidelity $δ$ are enough for $n$-partite quantum Markov chain tomography with $d_i$ being the dimension of the $i$-th subsystem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2209_02240 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Sample optimal tomography of quantum Markov chains Gao, Li Yu, Nengkun Quantum Physics 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 $ρ_{ABC}$ satisfies $ρ_{ABC}=ρ_{BC}^{1/2}(ρ_B^{-1/2}ρ_{AB}ρ_B^{-1/2}\otimes id_C)ρ_{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 $δ$ and trace distance $ε$. 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Θ(\frac{(d_A^2+d_C^2)d_B^2}δ)$, and $\tildeΘ(\frac{(d_A^2+d_C^2)d_B^2}{ε^2}) $. The sample complexity of quantum Markov Chain certification, i.e., to certify whether a tripartite state equals a fixed given quantum Markov Chain $σ_{ABC}$ or at least $δ$-far from $σ_{ABC}$, is $Θ(\frac{(d_A+d_C)d_B}δ)$, and $Θ(\frac{(d_A+d_C)d_B}{ε^2})$. $\tilde{O}(\frac{\min\{d_Ad_B^3d_C^3,d_A^3d_B^3d_C\}}{ε^2})$ copies to test whether $ρ_{ABC}$ is a quantum Markov Chain or $ε$-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^2d_{i+1}^2\}}δ)$ copies for infidelity $δ$ are enough for $n$-partite quantum Markov chain tomography with $d_i$ being the dimension of the $i$-th subsystem. |
| title | Sample optimal tomography of quantum Markov chains |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2209.02240 |