Arxiv:2103.09657V1 [Quant-Ph] 17 Mar 2021 Ple and Also Will Be Demonstrated Later
Total Page:16
File Type:pdf, Size:1020Kb
Entanglement dualities in supersymmetry 1, 2, 3, 4, Robert H. Jonsson, ∗ Lucas Hackl, y and Krishanu Roychowdhury z 1Max-Planck-Institut fur¨ Quantenoptik, Hans-Kopfermann-Str. 1, 85748 Garching, Germany 2School of Mathematics and Statistics & School of Physics, The University of Melbourne, Parkville, VIC 3010, Australia 3QMATH, Department of Mathematical Sciences, University of Copenhagen, Universitetsparken 5, 2100 Copenhagen, Denmark 4Department of Physics, Stockholm University, SE-106 91 Stockholm, Sweden We derive a general relation between the bosonic and fermionic entanglement in the ground states of su- persymmetric quadratic Hamiltonians. For this, we construct canonical identifications between bosonic and fermionic subsystems. Our derivation relies on a unified framework to describe both, bosonic and fermionic Gaussian states in terms of so-called linear complex structures J. The resulting dualities apply to the full en- tanglement spectrum between the bosonic and the fermionic systems, such that the von Neumann entropy and arbitrary Renyi entropies can be related. We illustrate our findings in one and two-dimensional systems, includ- ing the paradigmatic Kitaev honeycomb model. While typically SUSY preserves features like area law scaling of the entanglement entropies on either side, we find a peculiar phenomenon, namely, an amplified scaling of the entanglement entropy (“super area law”) in bosonic subsystems when the dual fermionic subsystems develop almost maximally entangled modes. CONTENTS and nonrelativistic settings [1–5]. In a nutshell, SUSY posits a fundamental equivalence between the two classes of ele- I. Introduction 1 mentary particles with distinct statistics. Mathematically, it maps the fermionic degrees of freedom to the bosonic ones II. Gaussian states and supersymmetry 2 and vice-versa. From this perspective, they are equivalent and A. Bosonic and fermionic Gaussian states 2 dubbed superpartners of each other. B. Supercharge operator and supersymmetric While normally SUSY is conceived as a symmetry in quan- Gaussian states 4 tum field theories, it as well applies to much simpler models C. Supersymmetric identification maps 5 of quantum mechanics such as harmonic oscillators or the hy- D. Application: supersymmetric Kitaev chain 6 drogen atom [6–9]. The SUSY Hamiltonian H^ can be con- structed from a generating operator Q^ (also called the super- III. Entanglement duality 8 charge operator) which, for the harmonic oscillator problem, A. Reduced Gaussian states and entanglement 8 p takes a remarkably simple form Q^ = !^byc^ where ^b (c^) de- B. Supersymmetric ground states and identification notes the bosonic (fermionic) annihilation operator. The cor- maps 9 responding SUSY Hamiltonian C. Dual supersymmetric subsystems 10 D. Duality for Gaussian states and their H^ = fQ^; Q^yg = !(^by^b +c ^yc^) ≡ H^b + H^f (1) entanglement 10 E. Application: two-mode system 12 then decomposes into two simple quadratic Hamiltonians: one F. Application: supersymmetric Kitaev honeycomb for a bosonic oscillator (H^b) and the other for a fermionic one model 14 (H^f ). When it comes to dealing with real bosons or fermions a hermitian form of the generating operator Q^ = Q^y (and IV. Discussion 16 accordingly, H^ = Q^2) is useful, as also is the case for the present work. Acknowledgments 18 Such a simple setting is readily amenable to accommodate multiple bosonic and fermionic modes, or in other words, sys- References 18 tems of free (noninteracting) bosons and fermions (in the con- tinuum or on a lattice) as long as the generating operator Q^ I. INTRODUCTION involves the bosonic and fermionic operators to linear order [10, 11], as shown in the previous harmonic oscillator exam- arXiv:2103.09657v1 [quant-ph] 17 Mar 2021 ple and also will be demonstrated later. The resulting part- As a long-established concept in quantum physics, super- ^ ^ symmetry (SUSY) finds applications in a wide range of fields ner Hamiltonians (referred to as Hb and Hf for bosons and from particle physics to condensed matter in both relativistic fermions, respectively) are isospectral in their one-particle ex- citations except for zero modes. Inclusion of zero modes in SUSY has, in addition, a topological aspect (referred to as “Witten index” [12] and interpreted in several other contexts ∗ [email protected] e.g. see [13]) and has been studied to a great extent, however, y [email protected] that discussion is not relevant to this work. z [email protected] Ground states of a quadratic Hamiltonian (bosonic or 2 fermionic) garner special attention as they provide a fertile However, we will show that even when well localized subre- ground to trace several properties of the system, which they gions are identified of both lattices, the scaling of the entan- are part of, analytically. These states are also known as Gaus- glement entropy of the dual supersymmetric subsystem can be sian states [14–18]. The study of the von Neumann bipar- very different – on the bosonic side, it can drastically exceed tite entanglement entropy plays a central role in the quan- the area law exhibited by the original fermionic subsystem. tum foundations of statistical mechanics [19–35], in quantum In summary, this study extends the concept of SUSY information theory [36–45] and condensed matter dedicated beyond a spectral mapping between (supersymmetric) to classifying novel states of matter, particularly those with quadratic Hamiltonians to discuss the general identification topological quantum order [46–54]. While measuring entan- of fermionic and bosonic supersymmetric Gaussian systems, glement is numerically costly for a generic quantum state, it their subsystems, and entanglement spectra as implied by greatly simplifies for the Gaussian states [55, 56]. the supercharge operator. Exemplifying lattice models in The main result of this work is a duality between the eigen- 1D and 2D, we investigate the locality properties of these values of reduced density operators in the bosonic and the identification maps, and their consequences in the context fermionic system, i.e., the so called entanglement spectra. For of entanglement-area laws. In doing so, we employ the idea Gaussian states, these spectra are fully encoded in the eigen- of Kahler¨ structure which brings the bosonic and fermionic values ±iλ of the so-called restricted complex structure J, Gaussian states within a unified frame to work in. A further where λf 2 [0; 1] for fermions and λb 2 [1; 1) for fermions. merit of this approach lies in treating the involved geometric In super-symmetric systems, the charge operator Q^ provides structures independent of their matrix representation in a an identification between the bosonic and the fermionic sys- given basis, as discussed at length, e.g., in [62–64]. tem, so that picking a subsystem on the bosonic side automat- ically defines a related subsystem on the fermionic side and The article is structured as follows: In Sec. II, we review vice versa. Our key finding is that under identification, we the unified Kahler¨ structure formalism to describe bosonic 1 and fermionic Gaussian states and apply it to supersymmet- have λb = 1/λf and Jb = −Jf− , where we use b and f to refer to the bosonic and fermionic structure, respectively. ric quadratic Hamiltonians, where a charge operator induces Applying our results to examples, we also discuss conse- an identification map at the classical phase space level. In Sec. quences of the derived duality for the entanglement entropy III, we explore how the entanglement entropies in the bosonic in Gaussian states related by SUSY. Though not always, en- and fermionic systems are related and introduce a general the- tanglement entropy often turns out to be a sufficient measure orem on their entanglement spectra. In Sec. IV, we summarize (among others) of the entanglement information encoded in a our key findings complemented by lattice models as applica- quantum state [57–59]. In fact, in a number of strongly corre- tions and discuss future work. lated systems, this quantity serves as a smoking-gun to iden- tify topological quantum order in the ground states. Examples include Kitaev’s celebrated model of Majorana fermions on II. GAUSSIAN STATES AND SUPERSYMMETRY a honeycomb lattice [60]. In earlier works [11], the bosonic SUSY analog of this model has been realized and shown to In this section, we review the unified formalism that treats inherit the topological properties from its fermionic partner. both bosonic and fermionic Gaussian states on the same foot- We will also regard this model here, as one of our examples ing. For this, we present a hand-on introduction to the for- to illustrate the aspects of entanglement dualities considering malism of [63], which can be consulted for a more rigorous the SUSY-related Gaussian states. exposition. Other reviews of Gaussian states include [15]. Generally speaking, for non-critical ground states in d di- mensions (for both fermionic and bosonic systems), the entan- glement entropy of a subsystem A obeys the so-called “area A. Bosonic and fermionic Gaussian states law” (for a review, see [58, 61] and references therein) d 1 We consider a bosonic or fermionic system with N degrees S(A) / L − + :::; (2) of freedom described by a Hilbert space H. We can always meaning that, in the thermodynamic limit, the leading order find a basis of creation and annihilation operators which we ^ ^ contribution to the entanglement entropy of A with the rest denote as bi and biy for bosons, and as c^i and c^iy for fermions, d 1 of the system scales with its surface area L − when L de- but we use a^i and a^iy in expressions valid for both bosons and notes the linear dimension of A. For critical states, however, fermions (see Tab. I). These operators satisfy the canonical the ellipses in (2) can contain sublinear corrections (e.g., log- commutation or anti-commutation relations arithmic corrections for free fermions), and for topologically ^ ^ [bi; bjy] = δij ; (bosons) ordered states, a universal constant called “topological entan- (3) glement entropy”.