Optimal lower bound for quantum channel tomography in away-from-boundary regime

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Chen, Kean, Zhang, Zhicheng, Yu, Nengkun
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866915732947730432
author Chen, Kean
Zhang, Zhicheng
Yu, Nengkun
author_facet Chen, Kean
Zhang, Zhicheng
Yu, Nengkun
contents Consider quantum channels with input dimension $d_1$, output dimension $d_2$ and Kraus rank at most $r$. Any such channel must satisfy the constraint $rd_2\geq d_1$, and the parameter regime $rd_2=d_1$ is called the boundary regime. In this paper, we show an optimal query lower bound $Ω(rd_1d_2/\varepsilon^2)$ for quantum channel tomography to within diamond norm error $\varepsilon$ in the away-from-boundary regime $rd_2\geq 2d_1$, matching the existing upper bound $O(rd_1d_2/\varepsilon^2)$. In particular, this lower bound fully settles the query complexity for the commonly studied case of equal input and output dimensions $d_1=d_2=d$ with $r\geq 2$, in sharp contrast to the unitary case $r=1$ where Heisenberg scaling $Θ(d^2/\varepsilon)$ is achievable.
format Preprint
id arxiv_https___arxiv_org_abs_2601_10683
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Optimal lower bound for quantum channel tomography in away-from-boundary regime
Chen, Kean
Zhang, Zhicheng
Yu, Nengkun
Quantum Physics
Information Theory
Consider quantum channels with input dimension $d_1$, output dimension $d_2$ and Kraus rank at most $r$. Any such channel must satisfy the constraint $rd_2\geq d_1$, and the parameter regime $rd_2=d_1$ is called the boundary regime. In this paper, we show an optimal query lower bound $Ω(rd_1d_2/\varepsilon^2)$ for quantum channel tomography to within diamond norm error $\varepsilon$ in the away-from-boundary regime $rd_2\geq 2d_1$, matching the existing upper bound $O(rd_1d_2/\varepsilon^2)$. In particular, this lower bound fully settles the query complexity for the commonly studied case of equal input and output dimensions $d_1=d_2=d$ with $r\geq 2$, in sharp contrast to the unitary case $r=1$ where Heisenberg scaling $Θ(d^2/\varepsilon)$ is achievable.
title Optimal lower bound for quantum channel tomography in away-from-boundary regime
topic Quantum Physics
Information Theory
url https://arxiv.org/abs/2601.10683