The Fannes–Audenaert inequality is a mathematical bound on the difference between the von Neumann entropies of two density matrices as a function of their trace distance. It was proved by Koenraad M. R. Audenaert in 2007[1] as an optimal refinement of Mark Fannes' original inequality, which was published in 1973.[2] Mark Fannes is a Belgian physicist specialised in mathematical quantum mechanics. He works at the KU Leuven. Koenraad M. R. Audenaert is a Belgian physicist and civil engineer. He currently works at Royal Holloway, University of London.
Statement of inequality
For any two density matrices \( \rho \) and \( \sigma \) of dimensions ,
\( |S(\rho )-S(\sigma )|\leq T\log(d-1)+H[\{T,1-T\}] \)
where
\( {\displaystyle H[\{p_{i}\}]=-\sum p_{i}\log p_{i}} \)
is the (Shannon) entropy of the probability distribution \( \{p_i\}, \)
\( {\displaystyle S(\rho )=H[\{\lambda _{i}\}]} \)
is the (von Neumann) entropy of a matrix \( \rho \) with eigenvalues \( \lambda _{i} \), and
\( T(\rho ,\sigma )={\frac {1}{2}}||\rho -\sigma ||_{{1}}={\frac {1}{2}}{\mathrm {Tr}}\left[{\sqrt {(\rho -\sigma )^{\dagger }(\rho -\sigma )}}\right] \)
is the trace distance between the two matrices. Note that the base for the logarithm is arbitrary, so long as the same base is used on both sides of the inequality.
Audenaert also proved that—given only the trace distance T and the dimension d—this is the optimal bound. He did this by directly exhibiting a pair of matrices which saturate the bound for any values of T and d. The matrices (which are diagonal in the same basis, i.e. they commute) are
\( {\displaystyle \rho =\mathrm {Diag} (1-T,T/(d-1),\dots ,T/(d-1))} \)
\( {\displaystyle \sigma =\mathrm {Diag} (1,0,\dots ,0)} \)
Fannes' inequality and Audenaert's refinement
The original inequality proved by Fannes was
\( |S(\rho )-S(\sigma )|\leq 2T\log(d)-2T\log 2T \)
when T ≤ 1 / 2 e {\displaystyle T\leq 1/2e} T\leq 1/2e. He also proved the weaker inequality
\( |S(\rho )-S(\sigma )|\leq 2T\log(d)+1/(e\log 2) \)
which can be used for larger T.
Fannes proved this inequality as a means to prove the continuity of the von Neumann entropy, which did not require an optimal bound. The proof is very compact, and can be found in the textbook by Nielsen and Chuang.[3] Audenaert's proof of the optimal inequality, on the other hand, is significantly more complicated.
References
Koenraad M. R. Audenaert, "A sharp continuity estimate for the von Neumann entropy", J. Phys. A: Math. Theor. 40 8127 (2007). Preprint: arXiv:quant-ph/0610146.
M. Fannes, "A continuity property of the entropy density for spin lattice systems ", Communications in Mathematical Physics 31 291–294 (1973).
Nielsen, Michael A; Chuang, Isaac L (2000). Quantum Computation and Quantum Information. Cambridge; New York: Cambridge University Press. ISBN 978-0-521-63235-5. OCLC 43641333.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
