Arxiv:2009.10662V2 [Quant-Ph] 10 Feb 2021 3
Total Page:16
File Type:pdf, Size:1020Kb
Implications of gauge-freedom for nonrelativistic quantum electrodynamics Adam Stokes∗ and Ahsan Naziry Department of Physics and Astronomy, University of Manchester, Oxford Road, Manchester M13 9PL, United Kingdom We review gauge-freedom in quantum electrodynamics (QED) outside of textbook regimes. We emphasise that QED subsystems are defined relative to a choice of gauge. Each definition uses different gauge-invariant observables. We show that this relativity is only eliminated if a sufficient number of Markovian and weak-coupling approximations are employed. All physical predictions are gauge-invariant, including subsystem properties such as photon number and entanglement. However, subsystem properties naturally differ for different physical subsystems. Gauge-ambiguities arise not because it is unclear how to obtain gauge-invariant predictions, but because it is not always clear which physical observables are the most operationally relevant. The gauge-invariance of a prediction is necessary but not sufficient to ensure its operational relevance. We show that in controlling which gauge-invariant observables are used to define a material system, the choice of gauge affects the balance between the material system's localisation and its electromagnetic dressing. We review various implications of subsystem gauge-relativity for deriving effective models, for describing time- dependent interactions, for photodetection theory, and for describing matter within a cavity. Contents B. gauge-ambiguities and gauge-invariance 23 C. Definition of subsystem gauge-relativity 24 I. Introduction 2 D. Implications 24 E. Gauge-freedom and duality symmetry 25 II. Gauge-freedom and gauge-fixing 3 F. Modal restrictions and transversality 26 A. Single-particle description in standard gauges3 1. Significance of transversality 26 B. Generalisation to many charges6 2. Modal restriction 27 1. Charge distributions6 G. Simple extension to superconducting circuits 28 2. Lattice systems8 C. Local U(1)-phase invariance9 IV. Material truncation and 1. Material wavefunction 10 gauge-noninvariance 29 2. Electromagnetic wavefunctional 10 A. Single dipole interacting with a single cavity D. The gauge-principle and gauge-freedom 11 mode: the Hamiltonian via unitary E. Hamiltonian in gauge g 13 transformations 29 F. Re-emergence of the scalar potential 14 B. Material truncation 30 G. Relation to the particle-based description 15 C. Phase invariance with respect to truncated H. Electric dipole approximation 15 position 32 D. Relating models belonging to different I. Physical nature of the gauge function gT 15 J. Sharing out the constrained degrees of equivalence classes 32 freedom: Regularisation and localisation 16 E. Misidentification of gauge transformations 33 K. Discussion: gauge-fixing, forms of rotation, F. Optimality of truncations 34 forms of coupling, and common pitfalls 18 G. Gauge-ambiguities versus 1. Gauge-freedom and gauge-fixing 18 gauge-noninvariance 35 2. Proof that multipolar and Poincar´egauges are identical: Resolution of controversy 18 V. Time-dependent interactions and adiabatic switching 36 arXiv:2009.10662v2 [quant-ph] 10 Feb 2021 3. Dipolar coupling 20 4. Active and passive perspectives of unitary A. Adiabatic switching and a unique invariance rotations 20 property of the S-matrix 37 5. Gauge symmetry transformations versus B. Quantum optical approximations: Mimicking gauge-fixing transformations 21 the S-matrix 38 6. Minimal-coupling 21 1. Toy model: material oscillator and a single mode 38 III. Subsystem gauge-relativity 22 2. Quantum optical master equation 39 A. Quantum subsystem relativity 22 C. Time-dependent interactions and ground state photons 42 VI. Measurements 44 ∗Electronic address: [email protected] A. Conventional photodetection theory and its yElectronic address: [email protected] limitations 44 2 1. Real excitations 45 is, we always know which prediction is relevant. This is 2. Virtual excitations 46 determined by the rest frame of the clock, i.e., it is deter- 3. Discussion 49 mined by the apparatus. Suppose however, that we did B. Localisation and causality 49 not know which prediction matched which experiment. 1. Electromagnetic source-fields in an We would then have encountered an ambiguity. arbitrary gauge 49 In the same way that intervals in space and time can 2. Source-detector-field system 51 only be defined relative to an inertial frame in Minkowski 3. Discussion: Localisation and dressing 51 spacetime, light and matter quantum subsystems can C. Local densities 52 only be defined relative to a gauge-frame in Hilbert 1. Non-local connections between free space. Traditional weak-coupling regimes are gauge- photonic fields 52 nonrelativistic, such that the gauge-relativity of quantum 2. Second-order energy-densities 52 subsystems can be eliminated completely therein, using 3. Discussion 57 standard approximations. We demonstrate this directly D. Cavity QED beyond weak-coupling in Sec.V. Outside of these regimes there are many im- approximations 57 plications of QED's subsystem gauge-relativity, not only 1. Intra-cavity fields 57 the breakdown of gauge-invariance due to truncating the 2. Weak-measurements 60 material subsystem to a finite number of energy levels [4{ 3. Ground state superradiance 61 13]. Gauge-ambiguities have also been discussed in the 4. Extra-cavity fields 63 context of time-dependent interactions [5,7, 10], Dicke- model superradiance [6, 11], and photodection theory VII. Conclusions 64 [10]. Unlike in special relativity, where it is straightforward References 65 to identify which predictions of space and time intervals are relevant in which situations, in QED there are a num- ber of conceptual subtleties regarding the identification I. INTRODUCTION of the most relevant theoretical subsystems. The problem is closely related to the interpretation of virtual processes Extreme light-matter interaction regimes have become and particles, an aspect of light-matter physics that al- an important topic in both applied and fundamental ready possesses a long history of theoretical studies pre- physics. Recent reviews [1{3] have focussed on effective dominantly confined so far to the weak-coupling regime. models and new theoretical methods, which are required Such studies possess significant overlap with the quan- because standard weak-coupling quantum optics cannot tum theory of measurement [14{22] as well as with the be applied. Despite new methods, our understanding identification of local fields and causal signal propagation continues to be based on processes involving real and [23{32]. virtual bare quanta, which can vary significantly with The primary purpose of the present article is to iden- the form of the model considered. Non-standard regimes tify what gauge-ambiguities occur beyond the regimes are precisely where effective models that are only super- traditionally considered in quantum optics and to clar- ficially motivated are liable to fall short. This necessi- ify how they arise. In Sec. II we begin with a peda- tates an appraisal of the fundamental physics within such gogical introduction to gauge-freedom. We then pro- regimes via first principles, as will be the focus of the cur- vide a rigorous derivation of arbitrary gauge (nonrela- rent article. We focus specifically on the implications of tivistic) QED using the principles of modern gauge-field QED's gauge-theoretic aspects. theory, showing that the implications of gauge-freedom Gauge-freedom in ultrastrong and deep-strong cou- discussed in Secs.IIK onward are a fundamental feature. pling QED has recently been investigated in a number They are not in any way an artefact of approximations or of contexts [4{13]. Its importance lies in the fact that simplifications. In particular, we emphasise that gauge- the fundamental gauge-relativity of QED subsystems can ambiguities arise not because it is unclear how to obtain only be ignored in traditional regimes. This linear-space gauge-invariant predictions, but because it is not always relativity is akin to that encountered in theories of space clear which gauge-invariant subsystems are operationally and time. For example, the time interval ∆tA between relevant. In Sec. IIK we address a number of common two events x and y, as measured by a clock at rest in pitfalls related to gauge-freedom in QED. In particular, frame A does not predict the outcome ∆tB of measur- we provide resolution of recent controversy concerning ing the time between x and y in a co-moving frame B. QED in multipolar form [33{36]. This is only so if the relativistic mixing incurred by the In Sec. III we introduce the notion of subsystem gauge- Lorentz transformation from A to B can be ignored so relativity. We explain its relation to gauge-invariance, that ∆tA ∆tB. Otherwise, we have two different pre- identify the regimes within which it is important, and ≈ dictions, ∆tA and ∆tB, for two different experiments; one discuss its implications. An analysis of these implications in frame A and one in frame B. We do know however, makes up the remaining sections. In Sec.IV we briefly which prediction corresponds to which experiment, that review theoretical background for the implementation of 3 material level truncations [4{9, 12, 13], noting that the re- tremely broad and diverse range of natural and artificial sulting gauge-noninvariance is prosaic, because it can al- systems with numerous interactions that span a large pa- ways be avoided by avoiding the truncation. We empha- rameter space. The accessible regime now stretches far sis the important difference