Arxiv:2103.07229V2 [Quant-Ph] 28 Jun 2021
Total Page:16
File Type:pdf, Size:1020Kb
Wehrl entropy, entropic uncertainty relations and entanglement Stefan Floerchinger,∗ Tobias Haas,y and Henrik Müller-Groelingz Institut für Theoretische Physik, Universität Heidelberg, Philosophenweg 16, 69120 Heidelberg, Germany The Wehrl entropy is an entropy associated to the Husimi quasi-probability distribution. We discuss how it can be used to formulate entropic uncertainty relations and for a quantification of entanglement in continuous variables. We show that the Wehrl-Lieb inequality is closer to equality than the usual Białynicki-Birula and Mycielski entropic uncertainty relation almost everywhere. Furthermore, we show how a Wehrl mutual information can be used to obtain a measurable perfect witness for pure state bipartite entanglement, which additionally provides a lower bound on the entanglement entropy. I. INTRODUCTION a more regular use of the Wehrl entropy SW(ρ) when ana- lyzing tabletop experiments from an information theoretic Concepts of quantum information theory play an in- perspective. creasingly important role for describing and understand- In this work, we focus on two major branches of modern ing complex quantum systems. Starting point is usually quantum information theory, where the Wehrl entropy the von Neumann or quantum entropy associated to a reveals its strength. state or density matrix ρ [1–4], First, we discuss the role of Wehrl entropy in the context of entropic uncertainty relations (EURs). The first en- S(ρ) = −Tr fρ ln ρg : (1) tropic uncertainty relation was introduced by Białynicki- Birula and Mycielski [13] based on previous works by It quantifies missing information or uncertainty encoded Everett [14], Hirschmann [15] and Beckner [16]. It is an in the state ρ [5, 6]. Despite its importance in quantum uncertainty relation for a single pair of conjugate vari- information theory, the von Neumann entropy S(ρ) has a ables, namely position x and momentum p, which may be major drawback: it can typically not be accessed directly distributed according to the probability density functions in experiments. A computation of the von Neumann en- f(x) = hxjρjxi and g(p) = hpjρjpi. This corresponds to tropy requires detailed knowledge of the quantum state ρ, the so-called homodyne detection protocol, where both which is oftentimes out of reach. While there are experi- variables are recorded separately by measuring in their mental approaches to reconstruct the full state ρ through corresponding eigenbases. Then, the Białynicki-Birula quantum state tomography [2], the effort for these tech- and Mycielski (BBM) entropic uncertainty relation reads niques scales unfavorably with system size. Alternatively, [17–19] quantum entropies can be measured in (relatively small) quantum systems with finite dimensional Hilbert space h(f) + h(g) ≥ ln eπ; (2) dimH < 1 by considering multiple copies of the quantum system and using quantum many-body interference [7, 8]. where h(f) is the classical differential entropy associated For infinite dimensional quantum states as they arise to the distribution f(x) [20] for example in continuous variable systems or quantum Z field theory it is substantially more difficult to access or h(f) = − dx f(x) ln f(x): (3) constrain quantum entropies experimentally. In this work, we investigate a somewhat different ap- It should be noted that the bound on the right-hand side proach and consider the Wehrl entropy SW(ρ), which is an of the inequality (2) is state independent whereas the entropy of the Husimi Q-distribution, as a quasi-classical left-hand side increases for mixed states due to concavity. arXiv:2103.07229v2 [quant-ph] 28 Jun 2021 measure for missing information in quantum mechanical Thus, one can expect the bound to be rather loose for phase space [9, 10]. While the density operator ρ and mixed states. Nevertheless, the relation (2) turns out to the Husimi Q-distribution contain both the full informa- be stronger than and implies the well-known formulation tion about the state of the quantum system (see e. g. ref. of an uncertainty relation in terms of variances [21–24], [11]), the latter has the advantage that it can be accessed which is discussed in detail for example in ref. [19]. experimentally (see e. g. [12] for recent developments in Another entropic uncertainty relation for continuous spinor Bose-Einstein condensates). Therefore, we suggest variables was found by Frank and Lieb (FL) [25] based on previous work by Rumin [26] h(f) + h(g) ≥ ln 2π + S(ρ): (4) ∗ stefan.fl[email protected] Therein the von Neumann entropy S(ρ) accounts for the y [email protected] mixedness of the system’s state ρ. Obviously ln 2π alone z [email protected] is a less tight bound than the one in (2), but for highly 2 mixed states one expects the bound in (4) to be closer to and (4) in section III. In particular, we consider common equality. classes of states, such as number eigenstates or thermal Also for the Wehrl entropy there exists an entropic states. This analysis allows us to show that the Wehrl- uncertainty relation, which is known as the Wehrl-Lieb Lieb inequality is stronger than the relation by Białynicki- inequality (WL) [27–31] Birula and Mycielski almost everywhere in the examined regimes. In section IV we consider a bipartite system of SW(ρ) ≥ 1; (5) N + M modes and construct a Wehrl mutual information from a Wehrl relative entropy, which witnesses every pure where equality only holds for pure coherent state projec- entangled bipartite state. The concept is applied to some tors ρα = jαi hαj. well-known examples like the two-mode squeezed state It was shown that the latter relation does also imply or the class of N00N-states. Additionally, we discuss the the variance based uncertainty relation by Heisenberg and Wehrl conditional entropy. Finally, we summarize our an entropic uncertainty relation of the form (2) based on results and provide an outlook in section V. differential entropies of smeared-out distributions (the Notation. In this paper we work with natural units, marginals of the Husimi Q-distribution, which are not the i.e. ~ = kB = 1 and we drop operator hats. Rather, we true marginals f and g)[30]. employ capital letters for observables X and small letters One main concern of this work will be to investigate for their eigenvalues x and eigenvectors jxi. Also, we use in which regimes the Wehrl-Lieb entropic uncertainty the symbol S for the von Neumann entropy, h for classical relation (5) is tighter (closer to equality) than the relations differential entropies and SW for Wehrl entropies with the in terms of differential entropies (2) and (4); this will be underlying probability distribution f(x) (or state ρ) as addressed in section III. argument h = h(f) (or S = S(ρ)). We denote conditional The second question we study is how the Wehrl entropy entropy by S(AjB) and mutual information by I(A : B). SW(ρ) can be used to make statements about entangle- ment in continuous variable systems. In general, detecting bipartite entanglement for a state ρ which lives in an infi- II. COHERENT STATES AND WEHRL nite dimensional Hilbert space H can be quite challenging ENTROPY [32]. Thus, many criteria are concerned with analyzing the second-order moments [33–36], which is a powerful We start from a set of N continuous quantum vari- approach if the state ρ is of Gaussian form (see e. g. refs. ables Xj and conjugate momenta Pj and the (bosonic) [37–39] for a general discussion of Gaussian states). In- commutation relation corporating also higher-order moments allows to define a sufficient condition for bipartite entanglement, but can [Xj;Pk] = iδjk: (6) be unmanageable in practice [40]. While we use a notation as for positions of particles, the Another approach is to witness entanglement by vio- variables X could also denote other quantities such as lating conditions based on differential entropies [41] or j amplitudes of field modes. Note that we make no detailed differential conditional entropies [42–44], which are closely assumptions about the Lagrangian or Hamiltonian at this related to entropic uncertainty relations (see also ref. [45– point. 47]). They turn out to be successful in detecting many We also introduce the annihilation operators classes of entangled states, especially in the pure state case. 1 aj = p (Xj + iPj); (7) What these approaches have in common is that they 2 rely on a homodyne detection protocol. In section IV y y we will present an approach based on a Wehrl mutual and creation operators aj = (aj) such that eq. (6) reads information1, which presumes a heterodyne detection y [aj; ak] = δjk. Coherent fields are defined as usual as scheme and turns out to witness every pure entangled state eigenstates of the annihilation operators (see e. g. [11, 49]), and is there furthermore able to bound the entanglement entropy from below. Moreover we discuss the role of the aj jαi = αj jαi ; (8) Wehrl conditional entropy, which differs from its fully quantum analog. with eigenvalues αj 2 C. They can be expressed in terms This paper is organized as follows. We begin intro- of number eigenstates (with ground state j0i) ducing coherent states and the Wehrl entropy of an N N ( ) 1 mode system in section II. Then, we discuss the relations Y y nj jni = p (aj) j0i; (9) between the three entropic uncertainty relations (5), (2) j=1 nj! through 8 9 N 1 nj < 1 2 α = 1 Y X − jαj j j An approach solely based on Wehrl entropy is discussed in ref. jαi = e 2 p jni : (10) [48]. nj! j=1 :nj =0 ; 3 For our purposes, it will often be convenient to param- What we have described here is known as the hetero- eterize the complex vector of eigenvalues α in terms of dyne detection protocol [11].