Abstract
We prove two new fundamental uncertainty relations with quantum memory for the Wehrl entropy. The first relation applies to the bipartite memory scenario. It determines the minimum conditional Wehrl entropy among all the quantum states with a given conditional von Neumann entropy and proves that this minimum is asymptotically achieved by a suitable sequence of quantum Gaussian states. The second relation applies to the tripartite memory scenario. It determines the minimum of the sum of the Wehrl entropy of a quantum state conditioned on the first memory quantum system with the Wehrl entropy of the same state conditioned on the second memory quantum system and proves that also this minimum is asymptotically achieved by a suitable sequence of quantum Gaussian states. The Wehrl entropy of a quantum state is the Shannon differential entropy of the outcome of a heterodyne measurement performed on the state. The heterodyne measurement is one of the main measurements in quantum optics and lies at the basis of one of the most promising protocols for quantum key distribution. These fundamental entropic uncertainty relations will be a valuable tool in quantum information and will, for example, find application in security proofs of quantum key distribution protocols in the asymptotic regime and in entanglement witnessing in quantum optics.
Similar content being viewed by others
References
Bargmann, V.: On a hilbert space of analytic functions and an associated integral transform part i. Commun. Pure Appl. Math. 14(3), 187–214 (1961)
Berezin, F.A.: Covariant and contravariant symbols of operators. Izvestiya Math. 6(5), 1117–1151 (1972)
Berta, M., Christandl, M., Colbeck, R., Renes, J.M., Renner, R.: The uncertainty principle in the presence of quantum memory. Nat. Phys. 6(9), 659–662 (2010)
Carlen, E.A.: Some integral identities and inequalities for entire functions and their application to the coherent state transform. J. Funct. Anal. 97(1), 231–249 (1991)
Carmichael, H.: Statistical Methods in Quantum Optics 1: Master Equations and Fokker–Planck Equations. Theoretical and Mathematical Physics. Springer, Berlin Heidelberg (2013)
Coles, P.J., Berta, M., Tomamichel, M., Wehner, S.: Entropic uncertainty relations and their applications. Rev. Mod. Phys. 89, 015,002 (2017)
Coles, P.J., Colbeck, R., Yu, L., Zwolak, M.: Uncertainty relations from simple entropic properties. Phys. Rev. Lett. 108(21), 210,405 (2012)
Cover, T., Thomas, J.: Elements of Information Theory. A Wiley-Interscience publication. Wiley, New York (2006)
De Palma, G.: The Wehrl entropy has Gaussian optimizers. Lett. Math. Phys. 108(1), 97–116 (2018)
De Palma, G., Mari, A., Giovannetti, V.: A generalization of the entropy power inequality to bosonic quantum systems. Nat. Photonics 8(12), 958–964 (2014)
De Palma, G., Mari, A., Lloyd, S., Giovannetti, V.: Multimode quantum entropy power inequality. Phys. Rev. A 91(3), 032,320 (2015)
De Palma, G., Trevisan, D.: The conditional entropy power inequality for bosonic quantum systems. Commun. Math. Phys. https://doi.org/10.1007/s00220-017-3082-8 (2018)
De Palma, G., Trevisan, D., Giovannetti, V.: Multimode gaussian optimizers for the Wehrl entropy and quantum Gaussian channels. arXiv preprint arXiv:1705.00499 (2017)
Furrer, F., Berta, M., Tomamichel, M., Scholz, V.B., Christandl, M.: Position-momentum uncertainty relations in the presence of quantum memory. J. Math. Phys. 55(12), 122,205 (2014)
Furrer, F., Franz, T., Berta, M., Leverrier, A., Scholz, V.B., Tomamichel, M., Werner, R.F.: Continuous variable quantum key distribution: finite-key analysis of composable security against coherent attacks. Phys. Rev. Lett. 109(10), 100,502 (2012)
Glauber, R.J.: Coherent and incoherent states of the radiation field. Phys. Rev. 131(6), 2766 (1963)
Holevo, A.S.: Gaussian optimizers and the additivity problem in quantum information theory. Rus. Math. Surv. 70(2), 331 (2015)
Ivan, J.S., Sabapathy, K.K., Simon, R.: Operator-sum representation for bosonic Gaussian channels. Phys. Rev. A 84(4), 042,311 (2011)
Klauder, J., Sudarshan, E.: Fundamentals of Quantum Optics. Dover Books on Physics. Dover Publications, New York (2006)
Klauder, J.R.: The action option and a feynman quantization of spinor fields in terms of ordinary c-numbers. Ann. Phys. 11(2), 123–168 (1960)
König, R.: The conditional entropy power inequality for gaussian quantum states. J. Math. Phys. 56(2), 022,201 (2015)
König, R., Smith, G.: The entropy power inequality for quantum systems. IEEE Trans. Inf. Theory 60(3), 1536–1548 (2014)
König, R., Smith, G.: Corrections to “the entropy power inequality for quantum systems”. IEEE Trans. Inf. Theory 62(7), 4358–4359 (2016)
Leverrier, A.: \( su (p, q) \) coherent states and a gaussian de finetti theorem. arXiv preprint arXiv:1612.05080 (2016)
Leverrier, A.: Security of continuous-variable quantum key distribution via a Gaussian de Finetti reduction. Phys. Rev. Lett. 118(20), 200,501 (2017)
Lieb, E.H.: Proof of an entropy conjecture of wehrl. Commun. Math. Phys. 62(1), 35–41 (1978)
Schleich, W.: Quantum Optics in Phase Space. Wiley, New York (2015)
Schrödinger, E.: Der stetige übergang von der mikro-zur makromechanik. Naturwissenschaften 14(28), 664–666 (1926)
Weedbrook, C., Lance, A.M., Bowen, W.P., Symul, T., Ralph, T.C., Lam, P.K.: Quantum cryptography without switching. Phys. Rev. Lett. 93(17), 170,504 (2004)
Weedbrook, C., Pirandola, S., Garcia-Patron, R., Cerf, N.J., Ralph, T.C., Shapiro, J.H., Lloyd, S.: Gaussian quantum information. Rev. Mod. Phys. 84(2), 621 (2012)
Wehrl, A.: General properties of entropy. Rev. Mod. Phys. 50(2), 221 (1978)
Wehrl, A.: On the relation between classical and quantum-mechanical entropy. Rep. Math. Phys. 16(3), 353–358 (1979)
Author information
Authors and Affiliations
Corresponding author
Additional information
I acknowledge financial support from the European Research Council (ERC Grant Agreements Nos. 337603 and 321029), the Danish Council for Independent Research (Sapere Aude), VILLUM FONDEN via the QMATH Centre of Excellence (Grant No. 10059), and the Marie Skłodowska-Curie Action GENIUS (Grant No. 792557).
Appendix A
Appendix A
Lemma 1
(Jensen’s trace inequality) Let us consider the operator
where the vectors \(|\phi _k\rangle \) form a resolution of the identity:
Then, for any concave function \(f:[0,1]\rightarrow [0,\infty )\),
Proof
From (67) we get
We then have
\(\hat{A}\) has then discrete spectrum, and we can diagonalize it:
From the completeness of the \(|\phi _k\rangle \), for any \(l\in \mathbb {N}\)
hence, \(|\langle v_l|\phi _k\rangle |^2\) is a probability distribution on \(\mathbb {N}\). We then have from Jensen’s inequality
where we have used that for the completeness of the \(|v_l\rangle \), for any \(k\in \mathbb {N}\)
\(\square \)
Rights and permissions
About this article
Cite this article
De Palma, G. Uncertainty relations with quantum memory for the Wehrl entropy. Lett Math Phys 108, 2139–2152 (2018). https://doi.org/10.1007/s11005-018-1067-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-018-1067-y