A.S. Holevo
Abstract:In the paper of F.A. Mele, A.A. Mele, L. Bittel, J. Eisert, V. Giovannetti, L. Lami, L. Leone, S.F.E. Oliviero, <a class="link-https" data-arxiv-id="2405.01431" href="https://arxiv.org/abs/2405.01431">arXiv:2405.01431</a>, estimates for the trace-norm distance between two quantum Gaussian states in terms of the mean vectors and covariance matrices were derived and used to evaluate the number of elements in the $\varepsilon -$net in the set of energy-constrained Gaussian states. In the present paper we obtain different estimates; our proof is based on a fidelity-like quantity which we call states overlap, and is more straightforward leading to estimates which are sometimes even more stringent, especially in the cases of pure or gauge-invariant states. They do not depend on number of modes and hence can be extended to the case of bosonic field with infinite number of modes. These derivations are not aimed to replace the useful inequalities from <a class="link-https" data-arxiv-id="2405.01431" href="https://arxiv.org/abs/2405.01431">arXiv:2405.01431</a>; they just show an alternative approach to the problem leading to different results. In the Appendix we briefly recall our results concerning estimates of the overlap for general fermionic Gaussian states of CAR. The problem studied in this paper can be considered as a noncommutative analog of estimation of the total variance distance between Gaussian probability distributions in the classical probability theory.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the estimation problem of the trace - norm distance between quantum Gaussian states. Specifically, the author aims to provide new estimates different from the existing methods by introducing a measurement method called "states overlap". These new estimates are more stringent in some cases (such as pure states or gauge - invariant states) and do not depend on the number of modes, so they can be extended to Bose fields with an infinite number of modes.
### Background and Motivation
In quantum information theory, quantum Gaussian states are an important class of quantum states, which are widely used in quantum communication, quantum computing, and quantum measurement, etc. The trace - norm distance is an important indicator for measuring the difference between two quantum states, and it is of great significance for understanding the properties of quantum states and designing quantum algorithms.
### Existing Work
In previous work, Holevo et al. have already derived the estimation method of the trace - norm distance based on the mean vector and covariance matrix. These estimates are used to evaluate the number of elements in the ε - net in the energy - limited Gaussian state set, and then support the efficient learning of these quantum states through quantum tomography. However, these estimation methods are relatively complex, especially when dealing with pure states or gauge - invariant states.
### Contributions of This Paper
This paper proposes a new method to directly estimate the trace - norm distance by introducing the concept of "states overlap". This method not only provides more stringent estimates in some cases but also does not depend on the number of modes, so it is suitable for Bose fields with an infinite number of modes. Specifically, the main contributions of this paper include:
1. **New Estimation Method**: By introducing "states overlap", the author provides a more direct method to estimate the trace - norm distance.
2. **Stringency**: In the cases of pure states and gauge - invariant states, the new estimation method is more stringent than the existing methods.
3. **Universality**: The new estimation method does not depend on the number of modes, so it can be extended to Bose fields with an infinite number of modes.
### Mathematical Expressions
For two quantum Gaussian states \(\rho_{m_1, \alpha}\) and \(\rho_{m_2, \beta}\), whose mean vectors are \(m_1\) and \(m_2\) respectively, and covariance matrices are \(\alpha\) and \(\beta\) respectively, this paper provides the following estimates:
- For pure Gaussian states:
\[
\|\rho_{m_1, \alpha} - \rho_{m_2, \beta}\|_1 \leq \sqrt{16 \min(a, b) \|m_1 - m_2\|_2^2 + \|\alpha - \beta\|_2^2}
\]
where \(a = \|\alpha\|\) and \(b = \|\beta\|\).
- For gauge - invariant states (\(m_1 = m_2 = 0\), and \(\alpha\) and \(\beta\) commute with the exchange matrix \(\Delta\)):
\[
\|\rho_\alpha - \rho_\beta\|_1 \leq 4 \sqrt{(a + b) \|\alpha - \beta\|_1 - \|\alpha - \beta\|_2^2}
\]
- For arbitrary Gaussian states:
\[
\|\rho_{m_1, \alpha} - \rho_{m_2, \beta}\|_1 \leq 2 \sqrt{8 \min(a, b) \|m_1 - m_2\|_2^2 + \frac{1}{2} \|\alpha - \beta\|_2^2 + \min\{P(a, b), P(b, a)\} \|\alpha - \beta\|_1}
\]
where \(P\) is a polynomial, and the specific form can be seen in the proof in the paper.
### Conclusion
The "states overlap" method proposed in this paper provides a new perspective for estimating the trace - norm distance between quantum Gaussian states, especially performing better in the cases of pure states and gauge - invariant states. These estimates are not only of great theoretical significance but also provide more