Optimal convergence rates in trace distance and relative entropy for the quantum central limit theorem

Oct 29, 2024
40 pages
e-Print:

Citations per year

0 Citations
Abstract: (arXiv)
A quantum analogue of the Central Limit Theorem (CLT), first introduced by Cushen and Hudson (1971), states that the nn-fold convolution ρn\rho^{\boxplus n} of an mm-mode quantum state ρ\rho with zero first moments and finite second moments converges weakly, as nn increases, to a Gaussian state ρG\rho_G with the same first and second moments. Recently, this result has been extended with estimates of the convergence rate in various distance measures. In this paper, we establish optimal rates of convergence in both the trace distance and quantum relative entropy. Specifically, we show that for a centered mm-mode quantum state with finite third-order moments, the trace distance between ρn\rho^{\boxplus n} and ρG\rho_G decays at the optimal rate of O(n1/2)\mathcal{O}(n^{-1/2}), consistent with known convergence rates. Furthermore, for states with finite fourth-order moments (plus a small correction δ\delta for m>1m>1), we prove that the relative entropy between ρn\rho^{\boxplus n} and ρG\rho_G decays at the optimal rate of O(n1)\mathcal{O}(n^{-1}). Both of these rates are proven to be optimal, even when assuming the finiteness of all moments of ρ\rho. These results relax previous assumptions on higher-order moments, yielding convergence rates that match the best known results in the classical setting. Our proofs draw on techniques from the classical literature, including Edgeworth-type expansions of quantum characteristic functions, adapted to the quantum context. A key technical step in the proof of our entropic CLT is establishing an upper bound on the relative entropy distance between a general quantum state and its Gaussification. As a by-product of this, an upper bound on the relative entropy of non-Gaussianity is derived, which is of independent interest.
Note:
  • 40 pages