Aadil Oufkir, Filippo Girardi (Jan 08 2026).
Abstract: We prove that learning an unknown quantum channel with input dimension
dA, output dimension
dB, and Choi rank
r to diamond distance
ε requires
Ω(εlog(dBr/ε)dAdBr) queries. This improves the best previous
Ω(dAdBr) bound by introducing explicit
ε-dependence, with a scaling in
ε that is near-optimal when
dA=rdB but not tight in general. The proof constructs an ensemble of channels that are well-separated in diamond norm yet admit Stinespring isometries that are close in operator norm.