{"Affiliation":[{"label":"Affiliation","value":"Science, Faculty of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."},{"label":"Affiliation","value":"Physics and Astronomy, Department of","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","classmap":"vivo:EducationalProcess","property":"vivo:departmentOrSchool"},"iri":"http:\/\/vivoweb.org\/ontology\/core#departmentOrSchool","explain":"VIVO-ISF Ontology V1.6 Property; The department or school name within institution; Not intended to be an institution name."}],"AggregatedSourceRepository":[{"label":"AggregatedSourceRepository","value":"DSpace","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","classmap":"ore:Aggregation","property":"edm:dataProvider"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/dataProvider","explain":"A Europeana Data Model Property; The name or identifier of the organization who contributes data indirectly to an aggregation service (e.g. Europeana)"}],"Campus":[{"label":"Campus","value":"UBCV","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","classmap":"oc:ThesisDescription","property":"oc:degreeCampus"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeCampus","explain":"UBC Open Collections Metadata Components; Local Field; Identifies the name of the campus from which the graduate completed their degree."}],"Creator":[{"label":"Creator","value":"Chaurette, Laurent","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/creator","classmap":"dpla:SourceResource","property":"dcterms:creator"},"iri":"http:\/\/purl.org\/dc\/terms\/creator","explain":"A Dublin Core Terms Property; An entity primarily responsible for making the resource.; Examples of a Contributor include a person, an organization, or a service."}],"DateAvailable":[{"label":"DateAvailable","value":"2018-08-09T19:23:20Z","attrs":{"lang":"*","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"edm:WebResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"DateIssued":[{"label":"DateIssued","value":"2018","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/issued","classmap":"oc:SourceResource","property":"dcterms:issued"},"iri":"http:\/\/purl.org\/dc\/terms\/issued","explain":"A Dublin Core Terms Property; Date of formal issuance (e.g., publication) of the resource."}],"Degree":[{"label":"Degree","value":"Doctor of Philosophy - PhD","attrs":{"lang":"en","ns":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","classmap":"vivo:ThesisDegree","property":"vivo:relatedDegree"},"iri":"http:\/\/vivoweb.org\/ontology\/core#relatedDegree","explain":"VIVO-ISF Ontology V1.6 Property; The thesis degree; Extended Property specified by UBC, as per https:\/\/wiki.duraspace.org\/display\/VIVO\/Ontology+Editor%27s+Guide"}],"DegreeGrantor":[{"label":"DegreeGrantor","value":"University of British Columbia","attrs":{"lang":"en","ns":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","classmap":"oc:ThesisDescription","property":"oc:degreeGrantor"},"iri":"https:\/\/open.library.ubc.ca\/terms#degreeGrantor","explain":"UBC Open Collections Metadata Components; Local Field; Indicates the institution where thesis was granted."}],"Description":[{"label":"Description","value":"Scattering amplitudes in massless gauge field theories have long been known to give rise to infrared divergent effects from the emission of very low energy gauge bosons. The traditional way of dealing with those divergences has been to abandon the idea of measuring amplitudes by only focusing on inclusive cross-sections constructed out of physically equivalent states. An alternative option, found to be consistent with the S-matrix framework, suggested to dress asymptotic states of charged particles by shockwaves of low energy bosons. In this formalism, the clouds of soft bosons, when tuned appropriately, cancel the usual infrared divergences occurring in the standard approach. Recently, the dressing approach has received renewed attention for its connection with newly discovered asymptotic symmetries of massless gauge theories and its potential role in the black hole information paradox.\r\n\r\nWe start by investigating quantum information properties of scattering theory while having only access to a subset of the outgoing state. We give an exact formula for the von Neuman entanglement entropy of an apparatus particle scattered off a set of system particles and show how to obtain late-time expectation values of apparatus observables.\r\n\r\nWe then specify to the case of quantum electrodynamics (QED) and gravity where the unobserved system particles are low energy photons and gravitons. Using the standard inclusive cross-section formalism, we demonstrate that those soft bosons decohere nearly all momentum superpositions of hard particles. Repeating a similar computation using the dressing formalism, we obtain an analogous result: In either framework, outgoing hard momentum states at late times are fully decohered from not having access to the soft bosons. \r\n\r\nFinally, we make the connection between our results and the framework of asymptotic symmetries of QED and gravity. We give new evidence for the use of the dressed formalism by exhibiting an inconsistency in the scattering of wavepackets in the original inclusive cross-section framework.","attrs":{"lang":"en","ns":"http:\/\/purl.org\/dc\/terms\/description","classmap":"dpla:SourceResource","property":"dcterms:description"},"iri":"http:\/\/purl.org\/dc\/terms\/description","explain":"A Dublin Core Terms Property; An account of the resource.; Description may include but is not limited to: an abstract, a table of contents, a graphical representation, or a free-text account of the resource."}],"DigitalResourceOriginalRecord":[{"label":"DigitalResourceOriginalRecord","value":"https:\/\/circle.library.ubc.ca\/rest\/handle\/2429\/66714?expand=metadata","attrs":{"lang":"en","ns":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","classmap":"ore:Aggregation","property":"edm:aggregatedCHO"},"iri":"http:\/\/www.europeana.eu\/schemas\/edm\/aggregatedCHO","explain":"A Europeana Data Model Property; The identifier of the source object, e.g. the Mona Lisa itself. This could be a full linked open date URI or an internal identifier"}],"FullText":[{"label":"FullText","value":"Infrared Quantum InformationbyLaurent ChauretteB. Sc., Universite\u00b4 de Montre\u00b4al, 2012M. Sc., University of British Columbia, 2014a thesis submitted in partial fulfillmentof the requirements for the degree ofDoctor of Philosophyinthe faculty of graduate and postdoctoralstudies(Physics)The University of British Columbia(Vancouver)August 2018c\u00a9 Laurent Chaurette, 2018The following individuals certify that they have read, and recommend tothe Faculty of Graduate and Postdoctoral Studies for acceptance, the dis-sertation entitled:Infrared Quantum Informationsubmitted by Laurent Chaurette in partial fulfillment of the require-ments forthe degree of Doctor of Philosophyin The Faculty of Graduate and Postdoctoral Studies (Phyics)Examining Committee:Gordon SemenoffSupervisorMoshe RozaliSupervisory Committee MemberFei ZhouSupervisory Committee MemberAriel ZhitnitskySupervisory Committee MemberiiAbstractScattering amplitudes in massless gauge field theories have long been knownto give rise to infrared divergent effects from the emission of very low energygauge bosons. The traditional way of dealing with those divergences hasbeen to abandon the idea of measuring amplitudes by only focusing oninclusive cross-sections constructed out of physically equivalent states. Analternative option, found to be consistent with the S-matrix framework,suggested to dress asymptotic states of charged particles by shockwavesof low energy bosons. In this formalism, the clouds of soft bosons, whentuned appropriately, cancel the usual infrared divergences occurring in thestandard approach. Recently, the dressing approach has received renewedattention for its connection with newly discovered asymptotic symmetries ofmassless gauge theories and its potential role in the black hole informationparadox.We start by investigating quantum information properties of scatteringtheory while having only access to a subset of the outgoing state. We givean exact formula for the von Neuman entanglement entropy of an apparatusparticle scattered off a set of system particles and show how to obtain late-time expectation values of apparatus observables.We then specify to the case of quantum electrodynamics (QED) andgravity where the unobserved system particles are low energy photons andgravitons. Using the standard inclusive cross-section formalism, we demon-strate that those soft bosons decohere nearly all momentum superpositionsof hard particles. Repeating a similar computation using the dressing for-malism, we obtain an analogous result: In either framework, outgoing hardmomentum states at late times are fully decohered from not having accessto the soft bosons.Finally, we make the connection between our results and the frameworkof asymptotic symmetries of QED and gravity. We give new evidence for theuse of the dressed formalism by exhibiting an inconsistency in the scatteringof wavepackets in the original inclusive cross-section framework.iiiLay SummaryField theories like quantum electrodynamics and perturbative gravity havelong been known to have issues arising from the emission of long wavelengthphotons and gravitons. The standard approach to curing those problemshas been to accept that such particles can not be observed by finite sizeddetectors and trace them out of any computation. However, a more recentproposal suggests that using states of charged matter dressed by incomingradiation in a very specific way can also cure the infrared problems of thetheory.In this thesis, we investigate quantum information properties of the longwavelength radiation after scattering. We evaluate relevant quantities suchas the entanglement entropy of the radiation and demonstrate that both ap-proaches predict complete decoherence of the charged particles at late times.We then demonstrate that the dressed formalism is the correct frameworkto perform scattering.ivPrefaceA version of chapter 2 has been uploaded to arxiv.org. Dan Carney, Lau-rent Chaurette & Gordon Semenoff, Scattering with partial information,arXiv:1606.0310. My main contributions were related to establishing thesetup in terms of density matrices and calculations of entanglement entropy.A version of chapter 3 has been published. Dan Carney, Laurent Chau-rette, Dominik Neuenfeld & Gordon Semenoff, Infrared quantum informa-tion, Phys.Rev.Lett. 119 (2017) no.18, 180502. My role was primarily re-lated to calculations of the decoherence exponent and the proof of its posi-tivity.A version of chapter 4 has been published. Dan Carney, Laurent Chau-rette, Dominik Neuenfeld & Gordon Semenoff, Dressed infrared quantuminformation, Phys.Rev. D97 (2018) no.2, 025007. My contribution wasmostly related to calculations on the damping factor D and its connectionto decoherenceA version of chapter 5 was submitted for publication and is currently un-dergoing peer-review. Dan Carney, Laurent Chaurette, Dominik Neuenfeld& Gordon, Semenoff, On the need for soft dressing, arXiv:1803.02370. Mycontributions were mostly related to decoherence calculations for entangledsuperpositions and wavepackets. I worked on the evaluation of the decoher-ence exponents and the proof of their positivity as well as the relation of thedecoherence in terms of conserved charges.vTable of ContentsAbstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiiLay Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ivPreface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vTable of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . viList of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1 Infrared Catastrophe . . . . . . . . . . . . . . . . . . . . . . . 21.2 Inclusive Formalism . . . . . . . . . . . . . . . . . . . . . . . 51.2.1 Virtual Divergences . . . . . . . . . . . . . . . . . . . 61.2.2 Cancellation of Divergences . . . . . . . . . . . . . . . 81.3 Dressed Formalism . . . . . . . . . . . . . . . . . . . . . . . . 101.3.1 Second Order Cancellation of Divergences . . . . . . . 121.3.2 Dressed States as Eigenstates of the Asymptotic Hamil-tonian . . . . . . . . . . . . . . . . . . . . . . . . . . . 151.4 Asymptotic Symmetries . . . . . . . . . . . . . . . . . . . . . 171.4.1 Matching Conditions . . . . . . . . . . . . . . . . . . . 181.4.2 Conserved Charges . . . . . . . . . . . . . . . . . . . . 201.4.3 Vanishing of the S-matrix and Vacuum Transitions . . 231.5 Soft Hair and the Black Hole Information Paradox . . . . . . 251.5.1 Black Hole Information Paradox . . . . . . . . . . . . 251.5.2 Black Hole Soft Hair . . . . . . . . . . . . . . . . . . . 262 Scattering with Partial Information . . . . . . . . . . . . . . 272.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.2 Scattering with Density Matrices . . . . . . . . . . . . . . . . 282.2.1 General Considerations . . . . . . . . . . . . . . . . . 282.2.2 Measuring the Apparatus State . . . . . . . . . . . . . 312.3 A-S Entanglement Entropy . . . . . . . . . . . . . . . . . . . 322.4 Examples with Two Scalar Fields . . . . . . . . . . . . . . . . 352.4.1 Entropy from 2\u2192 2 Scattering . . . . . . . . . . . . . 372.4.2 Verifying Spatial Superpositions . . . . . . . . . . . . 382.5 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43vi3 Infrared Quantum Information . . . . . . . . . . . . . . . . . 453.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453.2 Decoherence of the Hard Particles. . . . . . . . . . . . . . . . 463.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503.4 Entropy of the Soft Bosons . . . . . . . . . . . . . . . . . . . 513.5 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 514 Dressed Infrared Quantum Information . . . . . . . . . . . 534.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 534.2 IR-safe S-matrix Formalism . . . . . . . . . . . . . . . . . . . 544.3 Soft Radiation and Decoherence . . . . . . . . . . . . . . . . . 564.4 Physical Interpretation . . . . . . . . . . . . . . . . . . . . . . 604.5 Black Hole Information . . . . . . . . . . . . . . . . . . . . . 604.6 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615 On the Need for Soft Dressing . . . . . . . . . . . . . . . . . 625.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 625.2 Scattering of Discrete Superpositions . . . . . . . . . . . . . . 655.2.1 Inclusive Formalism . . . . . . . . . . . . . . . . . . . 665.2.2 Dressed Formalism . . . . . . . . . . . . . . . . . . . . 685.3 Wavepackets . . . . . . . . . . . . . . . . . . . . . . . . . . . 715.3.1 Inclusive Formalism . . . . . . . . . . . . . . . . . . . 715.3.2 Dressed Wavepackets . . . . . . . . . . . . . . . . . . . 725.4 Implications . . . . . . . . . . . . . . . . . . . . . . . . . . . . 725.4.1 Physical Interpretation . . . . . . . . . . . . . . . . . . 725.4.2 Allowed Dressings . . . . . . . . . . . . . . . . . . . . 735.4.3 Selection Sectors . . . . . . . . . . . . . . . . . . . . . 765.5 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 786 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806.1 Scattering with Partial Information . . . . . . . . . . . . . . . 806.2 Decoherence from Infrared Photons and Gravitons . . . . . . 816.3 Wavepacket Scattering and the Need for Soft Dressing . . . . 826.4 Closing Remarks . . . . . . . . . . . . . . . . . . . . . . . . . 83Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84A Optical Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 89B Positivity of A, B Exponents . . . . . . . . . . . . . . . . . . 91viiC Dressed Soft Factorization . . . . . . . . . . . . . . . . . . . 94D Proof of Positivity of \u2206A,\u2206B . . . . . . . . . . . . . . . . . . 95E The out-Density Matrix of Wavepacket Scattering . . . . . 97E.0.1 Contributions to the out-Density Matrix . . . . . . . . 97E.0.2 Taking the Cutoff \u03bb\u2192 0 vs. Integration . . . . . . . . 100viiiList of FiguresFigure 1.1 The two diagrams contributing to first order bremsstrahlungemission for 1 \u2192 1 potential scattering. The soft photoncan either be emitted a) before or b) after scattering offthe potential . . . . . . . . . . . . . . . . . . . . . . . . . 3Figure 1.2 The three diverging loop diagrams at order e2 for 1 \u2192 1potential scattering. a) is the correction to the vertex dia-gram while b) and c) correspond to mass renormalizationfor the incoming and outgoing legs. . . . . . . . . . . . . . 7Figure 1.3 Three new diagrams for Bremsstrahlung up to first orderin e. The incoming photon can either a) not interact orb), c) by absorbed by either the incoming or outgoingelectron leg . . . . . . . . . . . . . . . . . . . . . . . . . . 13Figure 1.4 In the dressing formalism, divergences from standard loopdiagrams are canceled by similar diagrams involving ex-changes between the soft clouds . . . . . . . . . . . . . . . 14Figure 1.5 Minkowski space Penrose diagram. I\u00b1 represent past andfuture null infinity with their S2 boundaries identified byI\u00b1\u00b1 . Each point (r, t) identifies two points on the diagram,one on the right and one on the left, which are related bythe antipodal mapping. The curved line represents themotion of massive particles while lightrays move alongstraight lines of constant u or v. . . . . . . . . . . . . . . 19Figure 2.1 A typical apparatus-system scattering process. Dottedlines denote the apparatus, solid lines the system. Timeruns from bottom to top. . . . . . . . . . . . . . . . . . . 33Figure 2.2 Verifying spatial superpositions of the system states |L\u3009,|R\u3009. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40Figure 2.3 Diagrams contributing to the lowest-order position-spacedistribution of the apparatus. . . . . . . . . . . . . . . . . 41ixFigure 5.1 (a) A plane wave goes through a single slit and emergesas a localized wavepacket. The scattering of the incomingwavepacket results in the production of Bremsstrahlung.(b) We can also define some Cauchy slice \u03a3 and createthe state by an appropriate initial condition. (c) Evolv-ing this state backwards in time while forgetting aboutthe slit results in an incoming localized particle which isaccompanied by a radiation shockwave. . . . . . . . . . . 77xChapter 1IntroductionIt has long been known that field theories with massless gauge bosons areplagued with infrared divergences which effectively force the transition am-plitudes between any two states to be exactly zero. Historically, the methodof choice for dealing with such divergences was introduced by Bloch andNordsieck for quantum electrodynamics (QED) [1] and Weinberg for grav-ity [2] and has been to evaluate inclusive cross-sections between every phys-ically indistinguishable state. While this approach agrees with experimentson the transition probabilities between various states, it has the shortcomingof abandoning the S-matrix description of the theory as amplitudes are allzero. A second framework consistent with an S-matrix picture was proposedby Chung and Faddeev-Kulish [3, 4], suggesting that asymptotic states ofcharged particles could be dressed by a cloud of soft radiation. When thecloud is chosen to be a specific coherent state of soft photons and gravitons,the S-matrix elements between such states becomes non-singular. The twoapproaches were then mostly considered to be equivalent: choosing to evalu-ate probabilities could be done in either framework and would simply cometo a matter of choice.Seemingly unrelated recent findings [5\u20137] have demonstrated the exis-tence of an infinite number of broken symmetries in QED and gravity leadingto an infinitely degenerate vacuum for the theory. While scattering wouldallow transitioning from one vacuum to an other, the vanishing of the S-matrix can be seen as a statement about the conservation of the charges ofthose broken symmetries. A recent paper [8] showed there is in fact a strongconnection between the conservation of these charges and Faddeev-Kulishstates, leading to believe that dressed states could be the actual states foundin nature.Additionally, a new proposition [9] suggested dressed states could poten-tially hold the key to the resolution of the Black hole information paradox:If a black hole was formed from the collision of high energy dressed states,the long wavelength radiation contained in the dressing would not fall in theblack hole and could perhaps hold enough information to help distinguishbetween different states after the black hole evaporated.In this dissertation, we investigate quantum information properties of1the long wavelength radiation emitted from scattering using both the in-clusive cross section and dressed approaches. We investigate the late timedecoherence effects found in each formalism when radiation is left unob-served and argue that scattering requires the use of Faddeev-Kulish states.First, we wish to review some of the previous literature on the key conceptswe will be using in the thesis. In section 1.1, we review how the infraredcatastrophe comes about for QED and PG. Sections 1.2 and 1.3 give anoverview of the inclusive cross-section and dressing approaches respectively.Finally, section 1.4 reviews the program of broken asymptotic symmetriesof QED and gravity and how charge conservation is linked to the vanishingof the S-matrix.1.1 Infrared CatastropheWhen dealing with massless gauge theories like QED, one finds that theprobability of charged particles to emit photons diverges as the energy ofthe gauge bosons go to zero. Every scattering event is then dominated byoutgoing states which contain an infinite amount of soft photons renderingthe probability to emit only a finite number of photons to be zero. This isthe infrared catastrophe. In this section, we review how soft gauge bosonemission implies divergent amplitudes between any two Fock space states.We will start by reviewing the amplitudes of Feynman diagrams con-taining the emission of bremsstrahlung. Let us consider a scattering process\u03b1\u2192 \u03b2 where one of the outgoing legs emits a photon of momentum k. Thisadds a propagator to the diagram which has the effect of multiplying theamplitude by a factor of[ie\u2212i (2p\u00b5 + k\u00b5)(p+ k)2 +m2 \u2212 i\u000f](1.1)[ie\u03b3\u00b5\u2212i(\/p+ \/k) +m(p+ k)2 +m2 \u2212 i\u000f],for spin 0 and spin 1\/2 particles respectively. Here, e, p and m are thecharge, momentum and mass of the particle emitting the photon. In thecase when the photon momentum k is nearly zero, both expressions havethe same behaviourep\u00b5p \u00b7 k \u2212 i\u000f . (1.2)To obtain this result we used properties of gamma matrices, the fact thatp is on-shell (p2 = \u2212m2) while keeping only the terms at lowest order in2qpipfk(a)qpipf k(b)Figure 1.1: The two diagrams contributing to first order bremsstrahlungemission for 1 \u2192 1 potential scattering. The soft photon can either beemitted a) before or b) after scattering off the potentialthe photon momentum k. This expression is indeed universal in the sensethat it does not depend on the spin of the emitting particle. If instead ofan outgoing line, it was an incoming line that emitted the soft photon, thedenominator in equation (1.1) would instead behave as (p+ k)2 \u2192 (p\u2212 k)2.After taking the k \u2192 0 limit, this effectively changes the sign of the pole toep\u00b5\u2212p \u00b7 k \u2212 i\u000f . (1.3)Accounting for both possible first order emissions (fig 1.1), the amplitudegets modified byM(1)\u03b2\u03b1 (k, l) = M(0)\u03b2\u03b11\u221a(2pi)32|k|\u2211n\u2208\u03b1,\u03b2\u03b7nenpn \u00b7 \u000f\u2217l (k)pn \u00b7 k \u2212 i\u03b7n\u000f , (1.4)where the index n runs over all particles in \u03b1 and \u03b2 and \u03b7n is defined as1(-1) if particle n is incoming(outgoing). The factor of 1\u221a(2pi)32|k| came fromthe normalization of the emitted photon wavefunction while \u000fl(k) denotesits polarization. For gravity, the situation is completely analogous: the polestake the formM\u22121p \u03b7n p\u00b5np\u03bdnpn \u00b7 k \u2212 i\u03b7n\u000f , (1.5)3where Mp is the Plank mass. The amplitudes are then modified accordinglyM(1)\u03b2\u03b1 (k, l) = M(0)\u03b2\u03b11\u221a(2pi)32|k|\u2211n\u2208\u03b1,\u03b2M\u22121p \u03b7np\u00b5np\u03bdn\u000f\u2217\u00b5\u03bd,l(k)pn \u00b7 k \u2212 i\u03b7n\u000f , (1.6)following the same infrared behavior as for QED. We will therefore solelyfocus on photon emission from now on and simply give the results for gravityat the end.The probability to emit any low energy photon is given by the square ofthe amplitude summed over all possible outgoing photonsP(1)\u03b2\u03b1 =\u222bd3k2\u2211l=1|M\u00b5\u03b2\u03b1(k, l)|2 (1.7)= P (0)\u222bd3k(2pi)32k2\u2211l=1\u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7mp\u00b5np\u03bdm\u000f\u2217\u00b5,l(k)\u000f\u03bd,l(k)[pn \u00b7 k \u2212 i\u03b7n\u000f] [pm \u00b7 k \u2212 i\u03b7m\u000f]= P (0)I(\u03b1, \u03b2)\u221d P (0)\u222b \u039b\u03bbdkk2k3,which has a logarithmic divergence for small k. The probability of emittinga soft photon therefore seems to be infinitely larger than having no emission.We could then add a second soft photon and notice that the amplitude getsmultiplied by the square of the soft factor found in equation (1.4), that isevery emission is independent from each other and the amplitude of emittingN soft photons and M soft gravitons is simplyM(N)\u03b2\u03b1 (k1, ..., kN , k\u20321, ..., k\u2032M )\u2192M (0)\u03b2\u03b1F\u03b1\u03b2(k1, ..., kN )G\u03b1\u03b2(k\u20321, ..., k\u2032M ) (1.8)with the functions F and G being the contributions from soft photons andsoft gravitons respectivelyF\u03b2\u03b1(k1, ..., kN ) =N\u220fj=12\u2211lj=1\u2211n\u2208\u03b1,\u03b2\u03b7nen\u221a(2pi)3|kj |p\u00b5n\u000f\u2217\u00b5,lj (kj)pn \u00b7 kj \u2212 i\u03b7n\u000f (1.9)G\u03b2\u03b1(k\u20321, ..., k\u2032M ) =M\u220fj=12\u2211lj=1\u2211n\u2208\u03b1,\u03b2M\u22121p \u03b7n\u221a(2pi)3|k\u2032j |p\u00b5np\u03bdn\u000f\u2217\u00b5\u03bd,lj(k\u2032j)pn \u00b7 k\u2032j \u2212 i\u03b7n\u000f. (1.10)4The probabilities are then found to follow a Poisson distributionP(N)\u03b2\u03b1 = P(0)\u03b2\u03b1I(\u03b1, \u03b2)NN !, (1.11)where the factor of N ! in the denominator comes from all possible permu-tations of emission of N bosons. The expectation value of the number ofemitted soft bosons is infiniteN\u00af =\u221e\u2211N=0NP(N)\u03b2\u03b1 = I(\u03b1, \u03b2)\u2192\u221e. (1.12)This shows that any scattering between charged particles in QED and grav-ity generate an infinite amount of soft radiation in average. It gets evenworst when we look at the normalization arising from1 =\u2211NP(N)\u03b2\u03b1 (1.13)= P(0)\u03b2\u03b1\u2211NI(\u03b1, \u03b2)NN != P(0)\u03b2\u03b1 eI(\u03b1,\u03b2),implying the probability that scattering process \u03b1\u2192 \u03b2 will emit no photonis P(0)\u03b2\u03b1 = e\u2212I(\u03b1,\u03b2) = 0. For any finite number of emitted photons N , theprobability remains exactly zero because of the negative divergence in theexponential.P(N)\u03b2\u03b1 = e\u2212I(\u03b1,\u03b2) I(\u03b1, \u03b2)NN != 0. (1.14)Therefore, every scattering between charged particles always emits an infi-nite number of low energy bosons and the transition probabilities betweenany two states in Fock space is zero. These dramatic results have beenknown as the infrared catastrophe and can actually be resolved. Two meth-ods of getting rid of those divergences have been found through the yearsand we will review each of them in the next sections.1.2 Inclusive FormalismIntroduced by Bloch-Nordsiek [1] for QED and extended to gravity by Wein-berg [2], the most widely used method of dealing with the divergences arisingfrom soft photon emission is to calculate inclusive cross-sections. That is,5to account for the emission of soft photons but to trace them out at theend of the computation as these states are physically indistinguishable forany finite sized detector. In this context, the divergences coming from softemissions are exactly canceled by divergences coming from loop diagrams.However, the cancellation of divergences does not work at the level of theamplitudes but only for probabilities. The inclusive cross-section paradigmtherefore abandons the idea of a well-defined S-matrix for solely calculatingtransition rates between processes. Losing the S-matrix description of thetheory may sound disturbing, but the inclusive formalism has enjoyed widesuccess as it is in strong agreement with every experiment ever performed.1.2.1 Virtual DivergencesThere is a second type of infrared divergence occurring in the computationof Feynman diagrams for QED and gravity. Indeed, adding loop correctionsto diagrams also creates logarithmic divergences when the momentum in theloop approaches zero.Considering some arbitrary process \u03b1 \u2192 \u03b2, let us add photon loopsbetween external legs and calculate the correction to the amplitude. Foreach loop added, the photon propagator provides a factor of\u222b \u039b\u03bbd4k(2pi)4\u2212i\u03b7\u00b5\u03bdk2 \u2212 i\u000f . (1.15)Here, the upper and lower bounds of the integral need to be carefully defined.We must cut the integral up to momentum \u039b which is taken to be the upperbound on what we define to be soft photons. However, the lower cutoff \u03bb isakin to a photon mass and needs to be taken to zero.Adding a loop also adds a propagator to the diagram for each particleconnected by that loop. The total contribution to the diagram at lowestorder in |k| is\u2212i pn \u00b7 pm(2pi)4enem\u03b7n\u03b7m\u222b \u039b\u03bbd4k[k2 \u2212 i\u000f] [pn \u00b7 k \u2212 i\u03b7n\u000f] [\u2212pm \u00b7 k \u2212 i\u03b7m\u000f] , (1.16)if the loop connects particles n and m. Let us define this quantity to beenem\u03b7n\u03b7mJnm. Considering the fact that the loop can connect any incomingand outgoing lines, all first order loop diagrams can be counted by summingthe result for n, m in \u03b1, \u03b2. Note that we did not need to include thecontribution from loops that are connected to internal lines as the propagator[(p\u00b1 k)2 +m2 \u2212 i\u000f]\u22121 arising there would not be on-shell, leaving only finite6qpipfk(a)qpipfk(b)qpipfk(c)Figure 1.2: The three diverging loop diagrams at order e2 for 1\u2192 1 poten-tial scattering. a) is the correction to the vertex diagram while b) and c)correspond to mass renormalization for the incoming and outgoing legs.terms in |k|. The integral over d4k would not be singular, allowing us todrop those diagrams as we only interest ourselves in the divergent parts ofthe scattering.When adding multiple loops, each loop is independent from one anotherand the contributions simply multiply. For any number of internal loops N ,we findMN,\u03bb\u03b2\u03b1 = M\u039b\u03b2\u03b112NN !\uf8ee\uf8f0 \u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7mJnm\uf8f9\uf8fbN . (1.17)The upper indices \u03bb(\u039b) meaning that the amplitudes are computed solelywith loops of momentum above \u03bb(\u039b). Summing the contribution of virtualboson loops for any number of such loops exponentiatesM\u03bb\u03b2\u03b1 = M\u039b\u03b2\u03b1 exp\uf8eb\uf8ed12\u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7mJnm\uf8f6\uf8f8 . (1.18)The quantity Jnm can be evaluated by first performing the k0 integralby the method of residues. The resulting integral is simple and can be foundin [2]Jnm =2pi2\u03b2nmln[1 + \u03b2nm1\u2212 \u03b2nm]ln(\u039b\u03bb)+ phase, (1.19)where \u03b2nm =(1\u2212 m2nm2m(pn\u00b7pm)2)1\/2is the relative velocity between particles nand m, satisfying 0 \u2264 \u03b2nm \u2264 1. Jnm also has a divergent imaginary part but7we will not bother writing it explicitly as it will drop out of the calculationsonce we square the amplitudes to get probabilities. Having an expressionfor Jnm we can finally compute the contribution of soft virtual loops to theamplitudesM\u03bb\u03b2\u03b1 = M\u039b\u03b2\u03b1(\u03bb\u039b)A\u03b2\u03b1\/2, (1.20)where the exponent A\u03b2\u03b1 is defined asA\u03b2\u03b1 = \u2212 18pi2\u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7m\u03b2nmln[1 + \u03b2nm1\u2212 \u03b2nm]. (1.21)Once again, the story is the same for gravity where a similar integral overd4k needs to be performed. We then find that the amplitudes get a factorof(\u03bb\u039b)B\u03b2\u03b1\/2 with the gravity exponent B defined asB\u03b2\u03b1 =116pi2M2p\u2211n,m\u2208\u03b1,\u03b2mnmm\u03b7n\u03b7m1 + \u03b22nm\u03b2nm\u221a1\u2212 \u03b22nmln[1 + \u03b2nm1\u2212 \u03b2nm]. (1.22)It is important to note that the exponents A and B are positive numbers forany scattering states \u03b1,\u03b2. Therefore, virtual boson loops always contributeto make the amplitudes vanish as we take the limit \u03bb\u2192 0.Probabilities are computed by squaring the amplitudes yielding\u0393\u03bb\u03b2\u03b1 = \u0393\u039b\u03b2\u03b1(\u03bb\u039b)A\u03b2\u03b1+B\u03b2\u03b1. (1.23)1.2.2 Cancellation of DivergencesWe have now encountered two types of divergences occurring during scat-tering for massless gauge field theories: Bremsstrahlung of soft photons andvirtual loop diagrams. Let us now review how the two cancel each other atthe level of probabilities.Coming back to our expression for the soft factor F\u03b2\u03b1, this time we willbe more careful and investigate the differential rate for the emission of Nsoft photons. That is the amplitude squared taken only over an element of8volume where all N photons are softd\u0393\u03bb\u03b2\u03b1(k1, ...,kN ) = \u0393\u03bb\u03b2\u03b1N\u220fj=1d3kj(2pi)32|kj | (1.24)2\u2211l=1\u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7mp\u00b5np\u03bdm\u000f\u2217\u00b5,l(kj)\u000f\u03bd,l(kj)[pn \u00b7 kj \u2212 i\u03b7n\u000f] [pm \u00b7 kj \u2212 i\u03b7m\u000f] .The sum over polarizations can be performed and simply gives a factor of themetric \u03b7\u00b5\u03bd . The integral over angles then happens to be exactly the same aswe encountered in equation (1.16) which allows us to write the differentialrate only in terms of frequencies emittedd\u0393\u03bb\u03b2\u03b1(\u03c91, ..., \u03c9N ) = \u0393\u03bb\u03b2\u03b1AN\u03b2\u03b1d\u03c91\u03c91...d\u03c9N\u03c9N, (1.25)where we recognize A\u03b2\u03b1 as defined in section (1.2.1) arising from the angularintegral. A nuance now comes from the integral over frequencies. Naively,we would expect to integrate each frequency from the lower bound \u03bb, whichwill eventually need to be taken to zero, all the way to \u039b which was ourdefinition of soft. However, the problem with this is that as the numberof emitted photons goes to infinity, so would the energy carried by thosephotons. Instead, we need to make sure there is only a finite amount ofenergy carried away by soft photons. Let us denote that energy ET and themaximum energy of each individual photon as E. These energies may seemsomewhat arbitrary but would in fact correspond to the energy resolutionof the experimenter\u2019s detector.With this in mind, the total probability of emitting any number of softphotons can be written as\u0393\u03bb\u03b2\u03b1(E,ET ) = \u0393\u03bb\u03b2\u03b1\u221e\u2211N=1AN\u03b2\u03b1N !\u222b\u03c9j 0, (1.69)denoted H3. We define a new coordinate \u03c1 such that\u03c1 =r\u221at2 \u2212 r2 =r\u03c4, (1.70)with the metric taking the formds2 = \u2212d\u03c42 + \u03c42(d\u03c121 + \u03c12+ \u03c12d\u212622). (1.71)This set of coordinates is well justified when analyzing the motion of aparticle moving with constant velocity at late times. Then the motion ofthe particle follows a trajectory of the formr =pp0t+ r0 (1.72)and at late times t\u2192\u221e, we find\u03c1 =|p|m, \u03c4 =mp0t.Massive particles therefore approach I++ on trajectories of constant \u03c1. Toevaluate the action of the hard charge on massive particles, we need toextend the definition of \u000f(z, z\u00af) beyond I\u00b1 and into the bulk of Minkowskispace. To do so, it is simpler to work in Lorenz gauge \u2207\u00b5A\u00b5 = 0. Then, thegauge parameter \u000f follows the wave equation\u0003\u000f = 0. (1.73)We can solve this equation in the bulk of Minkowski space by using a Green\u2019sfunction integration kernel\u000fH(\u03c1, x\u02c6) =\u222bd2q\u02c6 G(\u03c1, x\u02c6; q\u02c6)\u000f(q\u02c6), (1.74)22where the kernel needs to satisfy\u0003G(\u03c1, x\u02c6; q\u02c6) = 0 (1.75)limr\u2192\u221eG(\u03c1, x\u02c6; q\u02c6) = \u03b42(x\u02c6\u2212 q\u02c6).This Green\u2019s function has solution\u03b31\/2\u03c9\u03c9\u00af4pi(\u221a1 + \u03c12 \u2212 \u03c1q\u02c6 \u00b7 x\u02c6)2 , (1.76)where q\u02c6 points in the direction of \u03c9, \u03c9\u00af. We can then simply evaluate theaction of the massive hard charge using Gauss\u2019 law. When applied on anoutgoing state of momentum p and charge Q\u222bI++\u000f (\u03c1, x\u02c6) \u2217 F |out\u3009 = Q\u000f( |p|m, p\u02c6) |out\u3009 , (1.77)the massive hard charge singles out the electric charge of the outgoing par-ticle times the function \u000f evaluated along lines of constant \u03c1 = |p|m .1.4.3 Vanishing of the S-matrix and Vacuum TransitionsHaving derived an expression for the hard and soft charges, we are now readyto explain via the large gauge transformation formalism why conventionalQED finds a vanishing S-matrix. Assuming some incoming state |in\u3009 evolvesinto an out state |out\u3009, the amplitude for that process is given by the S-matrix element\u3008out|S|in\u3009 . (1.78)In those terms, the statement that charge is conserved can be written\u3008out|Q+\u000f S|in\u3009 = \u3008out|SQ\u2212\u000f |in\u3009 . (1.79)The equality (1.79) is valid for any choice of the function \u000f and in par-ticular it holds for \u000f(\u03c9, \u03c9\u00af) = 1z\u2212\u03c9 for which the soft charge integral simplifiessubstantially. In this special case, we can use the identity\u2202z\u00af1z \u2212 \u03c9 = 2pi\u03b42(z \u2212 \u03c9), (1.80)which follows from Stoke\u2019s theorem and Cauchy\u2019s integral theorem. Equa-23tion (1.79) then becomes4pi \u3008out|N+z S \u2212 SN\u2212z |in\u3009 =([ \u2211k\u2208masslessQinkz \u2212 zk \u2212\u2211k\u2208masslessQoutkz \u2212 zk](1.81)+[ \u2211k\u2208massiveQink \u000f( |pk|mk, p\u02c6k)\u2212\u2211k\u2208massiveQoutk \u000f( |pk|mk, p\u02c6k)])\u3008out|S|in\u3009,where we used the definition of Nz from (1.65). The lhs then representsthe difference of soft charges between the outgoing and incoming states. Onthe rhs, the index k lists all incoming (outgoing) particles with charge Qkexiting (entering) I\u2212 (I+) and I\u2212\u2212 (I++ ) at position zk on the two-sphere atinfinity . N\u00b1z being comprised of zero-mode photon creation and annihilationoperators does not affect the hard content of the in and out states. We canthen consider incoming and outgoing states of the form |in\u3009 = |in;N inz \u3009 suchthatN\u2212z |in;N inz \u3009 = N inz |in;N inz \u3009 . (1.82)N inz is the zero-mode photon content of the incoming vacuum and corre-sponds to the infinite degeneracy of the vacuum state due to the brokenlarge gauge symmetries. The eigenvalue on the rhs of (1.81) is usually re-ferred to as 4pi\u2126z and the conservation of charges becomes(Noutz \u2212N inz) \u3008out;Noutz |S|in;N inz \u3009 = \u2126z \u3008out;Noutz |S|in;N inz \u3009 . (1.83)For this equality to hold, two options are possible: Either the difference ofsoft charges equals the difference of hard charges(Noutz \u2212N inz)= \u2126z, orevery S-matrix element has to be zero\u3008out;Noutz |S|in;N inz \u3009 = 0. (1.84)In standard QED, the vacuum is taken to be non-degenerate which resultsin the vanishing of the S-matrix generally attributed to infrared divergencesas explained in section 1.2. However, this problem can be avoided if oneworks with degenerate vacua containing soft photons. Then the outgoingvacuum is highly correlated with the hard data as the sum of soft and hardcharges need to remain conserved. This is reminiscent of the Faddeev-Kulishformalism where a pure state is formed out of hard data entangled with acoherent state of soft radiation. In fact, this connection was made morerigorous recently [8, 10] where it was argued that large gauge symmetries24are a reformulation of the FK dressing.1.5 Soft Hair and the Black Hole InformationParadoxAn analogous situation arises in gravity where the asymptotic symmetriesof asymptotically flat Minkowski space were found by Bondi, van der Burg,Metzner and Sachs (BMS) [11, 12]. In this case, the relevant symmetriesform a subgroup of the BMS group and are not large gauge transformations,but angle-dependent gauge-preserving diffeomorphisms called supertransla-tions. Just as in QED, the associated conserved charges can be divided intoa hard and a soft component, where the soft charge identifies the zero-modegraviton content of the vacuum. It was recently argued [9] that this degen-erate vacuum may play a crucial role in the black hole information paradox.In this section, we will review the long-standing argument leading to the in-formation paradox and how asymptotic symmetries of spacetime could helpresolve it.1.5.1 Black Hole Information ParadoxIn 1975, Hawking\u2019s seminal paper [13] demonstrated the process from whichblack holes evaporate. While classical black holes may only absorb particles,quantum mechanics allow for the vacuum to create particle-antiparticle pairsin the vicinity of the black hole horizon. When a positive energy particleescapes the black hole region and leaves the negative energy one to fall in,the black hole loses a small amount of mass. Over long periods of time,this process leads to the evaporation of any black hole in Minkowski space.Furthermore, Hawking argued using the no-hair theorem that the outgoingradiation does not contain any information about the black hole formationprocess but follows the spectrum of a blackbody with temperatureTHawking =~8piGM. (1.85)The final state is therefore a completely mixed thermal state where all theinformation about the arrangement of particles that created the black holein the first place has been lost during the formation\/evaporation process.This however contradicts unitarity. If one sends in a pure state made of welllocalized incoming particles which will form into a black hole, unitary timeevolution states that the global state of the system remains pure at all times.25Hawking\u2019s proposal of a pure state time evolving into a mixed thermal statetherefore violates unitarity. This is the longstanding black hole informationparadox. If information is indeed lost during the formation\/evaporationprocess, then we must accept the disturbing fact that unitarity is not afundamental restriction of nature. Alternatively, we need to come up withan explanation as to where all that information is stored.1.5.2 Black Hole Soft HairEven though the paradox is still unresolved, the asymptotic symmetries ofQED and gravity program may provide some insight towards a resolution.Recent work initiated by [9] claimed that the soft graviton vacuum degen-eracy plays an important role. While the hard matter content of the stateis lost inside the black hole, the soft gravitons of the degenerate vacuum,having wavelengths far larger than the black hole size, are very unlikely tobe lost inside the black hole. As we have previously seen, charge conser-vation implies a strong correlation between the soft vacuum and the harddata. Contrary to classical belief, black hole states would be characterizednot solely by their mass, charge and angular momentum, but also by aninfinite number of supertranslation charges. Supertranslations would thenplay the role of infinitely many soft hairs distinguishing the state of any dif-ferently formed black holes. An even more recent proposal [14] speculatedthat the graviton vacuum, being strongly entangled with the hard data con-tent, could be sufficient to purify the outgoing Hawking radiation. If thiswere true, such an explanation could be sufficient to resolve the paradoxas the incoming pure state would then unitarily evolve into an other purestate made of thermal radiation entangled with soft gravitons. The globaloutgoing state would take the form of a tensor product between thermal andsoft graviton states|\u03c8\u3009 =\u2211a|a\u3009Thermal |a\u3009soft , (1.86)but an observer with a finite sized detector would not observe the gravitonvacuum and only see the mixed thermal state predicted by HawkingTrsoft |\u03c8\u3009 \u3008\u03c8| = \u03c1Thermal. (1.87)26Chapter 2Scattering with Partial Infor-mationWe study relativistic scattering when one only has access to a subset of theparticles, using the language of quantum measurement theory. We give anexact, non-perturbative formula for the von Neumann entanglement entropyof an apparatus particle scattered off an arbitrary set of system particles,in either the elastic or inelastic regime, and show how to evaluate it per-turbatively. We give general formulas for the late-time expectation valuesof apparatus observables. Some simple example applications are included:in particular, a protocol to verify preparation of coherent superpositionsof spatially localized system states using position-space information in theoutgoing apparatus state, at lowest order in perturbation theory in a weakapparatus-system coupling.2.1 IntroductionThe purpose of this paper is to make contact between concepts from quan-tum information and relativistic scattering theory. In particular, we studyhow to use interacting fields as measurement devices.In standard formulations of measurement theory, one imagines perform-ing a measurement of a system S by coupling it to an apparatus A. We startthe apparatus in some register state |0\u3009A while the system is in an arbitrarysuperposition, and then entangle these in such a way that measurements onA can determine the initial state of S. Schematically, one writes things like|0\u3009A \u2297\u2211ici |i\u3009S \u2192\u2211ici |i\u3009A \u2297 |i\u3009S , (2.1)with the arrow referring to time evolution under some total Hamiltonian(see eg. [15, 16]). This process necessarily generates entanglement betweenS and A. The goals of this paper are to study to what extent we canunderstand the scattering of system particles S by another particle A inthis language and to quantify how much entanglement is generated in suchscattering events.27To this purpose, we consider an arbitrary system of fields and append anapparatus field \u03c6A which we can scatter off the system, so we consider Hilbertspaces formed by tensor products of apparatus and system fields. The S-matrix generates entanglement between the factors. This approach differsfrom and complements other ways of dividing field-theoretic systems; onecan also consider, for example, divisions by spatial area [17, 18], momentumscale [19], or multiple non-interacting CFTs [20].We begin by reviewing and slightly extending the textbook treatment[21] of scattering theory to incorporate density matrices as initial condi-tions in section 2.2. We explain how to calculate expectation values ofoperators probing only the apparatus. In section 2.3, we present an exact,non-perturbative formula for the von Neumann entropy of the apparatus Aafter the scattering event, assuming only that the state at early and latetimes contains exactly one particle of \u03c6A.We then apply these results to the simplest possible example, in whichthe apparatus and system both consist of a single particle of some scalarfields \u03c6A,S , with A and S weakly coupled. In section 2.4.1 we give an explicitformula for the entropy generated when we scatter a product momentumstate |p\u3009A |q\u3009S , recovering and slightly correcting a result of [22, 23].In section 2.4.2, we consider a somewhat different problem. Supposethat we think we are preparing the system S in a superposition of two well-localized position states. We show how to do a measurement with A toverify that the superposition is really coherent, as opposed to (say) havingdecohered into a classical ensemble. We find that a good observable touse to determine the coherence of S is position-space interference fringesin the outgoing distribution for the apparatus particle A. These show upat lowest order in perturbation theory in the S-A coupling \u03bb, whereas themomentum-space distribution of A is only sensitive at second order.2.2 Scattering with Density Matrices2.2.1 General ConsiderationsLet\u2019s consider the general problem of scattering where we know the stateof the total system at very early times t \u2192 \u2212\u221e, and we want to knowhow this evolves at very late times due to a scattering event. We want toconsider any density matrix for the full system as an initial condition. Thetreatment here is a straightforward generalization of Weinberg\u2019s textbook[21], and our conventions throughout follow his. In particular, the metric28signature is \u2212+ ++ and ~ = c = 1.Assume the total Hamiltonian can be writtenH = H0 + V, (2.2)and denote the energy eigenstates of the free Hamiltonian H0 asH0 |\u03b1\u3009 = E\u03b1 |\u03b1\u3009 . (2.3)Here the label \u03b1 = p1\u03c31n1,p2\u03c32n2, . . . covers the momentum, spin, andparticle species of the free-particle states. We define in- and out-states asHeisenberg-picture states which have the energies E\u03b1 but are eigenstates ofthe full Hamiltonian,1H |\u03b1\u00b1\u3009 = E\u03b1 |\u03b1\u00b1\u3009 , (2.4)satisfying the condition that as t \u2192 \u2213\u221e, for any reasonably smooth func-tions g\u00b1(\u03b1) of the particle labels,|\u03c8\u3009 =\u222bd\u03b1 e\u2212iE\u03b1tg\u00b1(\u03b1) |\u03b1\u00b1\u3009 \u2192\u222bd\u03b1 e\u2212iE\u03b1tg\u00b1(\u03b1) |\u03b1\u3009 . (2.5)This condition says that at very early or late times, the in\/out statesbehave like the free-particle states of the corresponding particle labels \u03b1.The notation is that + indicates an in-state while \u2212 denotes an out-state.Both the free and scattering states are taken to be Dirac delta-normalizable\u3008\u03b1|\u03b1\u2032\u3009 = \u3008\u03b1\u00b1|\u03b1\u2032\u00b1\u3009 = \u03b4(\u03b1\u2212 \u03b1\u2032).If the system is in a wavepacket like (2.5), and we know the matrixelements \u3008\u03b1|O|\u03b1\u2032\u3009 of some observable in terms of free-particle states, we cancompute the expectation value of O at early or late times in the state |\u03c8\u3009as follows. In the Heisenberg picture we have O(t) = eiHtOe\u2212iHt, so using(2.4) and (2.5), we have that as t\u2192 \u2213\u221e,\u3008\u03c8|O(t)|\u03c8\u3009 \u2192\u222bd\u03b1d\u03b1\u2032 ei(E\u03b1\u2212E\u03b1\u2032 )tg\u2217(\u03b1)g(\u03b1\u2032) \u3008\u03b1|O|\u03b1\u2032\u3009 . (2.6)More generally, the system may be in a density matrix. This can be decom-posed into any complete basis, including the scattering states:\u03c1 =\u222bd\u03b1d\u03b1\u2032\u03c1\u00b1(\u03b1, \u03b1\u2032) |\u03b1\u00b1\u3009 \u3008\u03b1\u00b1| . (2.7)1Notice that the conditions (2.3) and (2.4) mean that the \u201cfree\u201d states and scatteringstates have the same energy spectrum. This means in particular that the masses appearingin the Hamiltonian are the physical (\u201crenormalized\u201d or \u201cdressed\u201d) masses of the particles.29Then the expectation value of O is given asymptotically by\u3008O(t)\u3009 = tr \u03c1O(t)\u2192\u222bd\u03b1d\u03b1\u2032 \u03c1\u00b1(\u03b1, \u03b1\u2032)ei(E\u03b1\u2212E\u03b1\u2032 )t \u3008\u03b1|O|\u03b1\u2032\u3009 (2.8)as t\u2192 \u2213\u221e.Since the states |\u03b1+\u3009 and |\u03b1\u2212\u3009 separately form complete bases for positive-energy states of the system, we can express one base in terms of the other.The S-matrix is the unitary operator with elements given by the inner prod-uctS\u03b2\u03b1 = \u3008\u03b2\u2212|\u03b1+\u3009 . (2.9)The in- and out-coefficients of the density matrix are thus related by\u03c1\u2212(\u03b2, \u03b2\u2032) =\u222bd\u03b1d\u03b1\u2032 S\u03b2\u03b1S\u2217\u03b2\u2032\u03b1\u2032\u03c1+(\u03b1, \u03b1\u2032). (2.10)We will always consider Poincare\u00b4-invariant systems. We can therefore writethe S-matrix as an identity term plus a term with the total four-momentuminvariance factored out,S\u03b2\u03b1 = \u03b4(\u03b2 \u2212 \u03b1)\u2212 2piiM\u03b2\u03b1\u03b44(p\u03b2 \u2212 p\u03b1). (2.11)In appendix A, we use the unitarity of the S-matrix,\u222bd\u03b2S\u03b2\u03b1S\u2217\u03b2\u03b1 = \u03b4(\u03b1\u2212 \u03b1\u2032) (2.12)to derive the optical theorem, (A.4), which will play a role repeatedly in thecalculations that follow.Box NormalizationsIn computing various quantities it will be useful to work with discrete states.We can do this by putting the entire process into a large spacetime volumeof duration T and spatial volume V = L3. Periodic boundary conditions onV allow us to retain exact translation invariance. We define dimensionless,box-normalized states|\u03b1\u00b1\u3009box = N\u02dcn\u03b1\/2 |\u03b1\u00b1\u3009 , N\u02dc = (2pi)3V, (2.13)where n\u03b1 is the number of particles in the state \u03b1. When working di-rectly with box-normed states, delta functions and S-matrix elements are30all dimensionless, integrals over states are replaced by sums, and the delta-functions are Kroneckers. We haveSbox\u03b2\u03b1 = N\u02dc(n\u03b1+n\u03b2)\/2S\u03b2\u03b1, (2.14)by definition of the S-matrix. Delta functions are then regulated as\u03b43V (p\u2212 p\u2032) = N\u02dc\u22121\u03b4p,p\u2032 , \u03b4T (E \u2212 E\u2032) =12pi\u222b T\/2\u2212T\/2dt ei(E\u2212E\u2032)t. (2.15)Note in particular that this implies \u03b4T (0) = T\/2pi. We then define a box-normalized transition amplitude:Sbox\u03b2\u03b1 = \u03b4\u03b2\u03b1 \u2212 2piiM box\u03b2\u03b1 \u03b4p\u03b2p\u03b1\u03b4E\u03b2E\u03b1 \u21d0\u21d2 M box\u03b2\u03b1 = N\u02dc (n\u03b1+n\u03b2\u22122)\/2M\u03b2\u03b1. (2.16)Note that M box has mass dimension one, since \u03b4T (E) has dimensions ofinverse mass.2.2.2 Measuring the Apparatus StateSuppose now that we divide the total system into an apparatus A and sys-tem S and only have direct access to A. Here we work out a formula forcomputing observables only of A, and for the von Neumann entropy of A.In what follows, we assume that A and S are distinguishable; a simpleway to achieve this is to just have A and S described by different fields.We will make this assumption in everything that follows. We will hereaftermake a slight abuse of the previous notation and label states with two indices(a, \u03b1) where a labels apparatus eigenstates and \u03b1 labels system eigenstates.We can decompose the total Hilbert space as a product over free, in, or outstates:H = HA \u2297HS = H\u00b1A \u2297H\u00b1S . (2.17)The total S-matrix provides a unitary map between the in- and out-state de-compositions. In particular, a product in-state is a generally non-separablemixture of out-states:|a\u03b1\u3009+ =\u222bdbd\u03b2 Sb\u03b2,a\u03b1 |b\u03b2\u3009\u2212 . (2.18)At early or late times, we want to compute the expectation value of anyobservable OA : HA \u2192 HA. Note that here OA is an operator on the freeapparatus Hilbert space factor in (2.17). Take O = OA\u22971S and apply (2.8).31By the asymptotic conditions on the scattering states, a simple calculationshows that at early or late times\u3008OA(t)\u3009 := \u3008O(t)\u3009 \u2192\u222bdada\u2032d\u03b1 \u03c1\u00b1(a, \u03b1; a\u2032, \u03b1)ei(Ea\u2212Ea\u2032 )t \u3008a|OA|a\u2032\u3009 .(2.19)To derive this formula, we assumed that the free Hamiltonian has an additivespectrum H0 |a\u03b1\u3009 = (Ea +E\u03b1) |a\u03b1\u3009. The result (2.19) holds for any densitymatrices; in particular, we do not need to assume that the total state factorsinto a product of a density matrix for A and a density matrix for S at eitherearly or late times.We would also like to define the entanglement entropy between apparatusand system. To do this, we again use the decomposition (2.17) to performpartial traces over the system. We can do this using either in- or out-states,\u03c1\u00b1A := trH\u00b1S \u03c1 (2.20)from which we can in turn define the entanglement entropyS\u00b1A = \u2212 trH\u00b1A \u03c1\u00b1A ln \u03c1\u00b1A. (2.21)2.3 A-S Entanglement EntropyOur goal in this section is to calculate the entanglement entropy betweenthe system and apparatus at late times. Consider the system and apparatusboth prepared in definite momentum eigenstates at early times,|\u03c8\u3009 = |p+\u3009A |\u03b1+\u3009S . (2.22)Here as before \u03b1 = q1n1\u03c31,q2n2\u03c32, . . . labels all the momenta, species, andspin of the system particles, while p is simply the initial momentum of theapparatus, which we take to be a scalar for notational simplicity. For theentirety of this section until the end, we will work in a spacetime box asdescribed above, but will refrain from writing \u201cbox\u201d superscripts. At theend of the computation we will discuss the continuum limit.We assume that one and only one apparatus particle exists in both theinitial and final state. This can be arranged for example by assigning \u03c6Asome global charge, or by taking \u03c6A to have high mass and studying scat-tering events below its production threshold.Using the formalism from section 2.2, we can express the density matrix32pp qqpp qqppp q1q2q3q4p q1 q2\u21b5\u21b51Figure 2.1: A typical apparatus-system scattering process. Dotted linesdenote the apparatus, solid lines the system. Time runs from bottom totop.in terms of out-states,\u03c1 =\u2211pp\u2032\u03b1\u03b1\u2032Sp\u03b1p\u03b1S\u2217p\u2032\u03b1\u2032p\u03b1 |p\u03b1\u2212\u3009 \u3008p\u2032\u03b1\u2032\u2212| . (2.23)From here out we use underlines to denote outgoing variables. Expandingthe S-matrix with (2.16), one can see from this expression that \u03c1 will havethe correct norm tr \u03c1 = 1 if and only if the optical theorem (A.4) is satisfied(see appendix A). In particular, if one is working in perturbation theory, theoptical theorem mixes orders, so one needs to be careful about including thecorrect set of loop and tree diagrams at a given order.Now trace over the system, using out-states:\u03c1\u2212A =\u2211pp\u2032\u03b1Sp\u03b1p\u03b1S\u2217p\u2032\u03b1p\u03b1 |p\u2212\u3009 \u3008p\u2032\u2212| . (2.24)Decompose the S-matrix with (2.16). We get three types of terms: from thedelta-squared we get a term on the diagonal with momentum given by theinitial momentum p:\u03c1\u2212A,1 = |p\u2212\u3009 \u3008p\u2212| . (2.25)33The cross-terms \u2212iM\u03c1+ i\u03c1M \u2020 give a contribution\u03c1\u2212A,2 = \u22122T Im [Mp\u03b1p\u03b1] |p\u2212\u3009 \u3008p\u2212| , (2.26)again to the density matrix element for the initial momentum p. This isthe forward scattering term that appears in the optical theorem. Finally,we need the terms from M\u03c1M \u2020. One obtains\u03c1\u2212A,3 = 2piT\u2211p\u03b1\u2223\u2223\u2223Mp\u03b1p\u03b1\u2223\u2223\u22232 \u03b4p+p\u03b1,p+p\u03b1\u03b4(EAp + ES\u03b1 \u2212 EAp \u2212 ES\u03b1 ) |p\u2212\u3009 \u3008p\u2212| .(2.27)We see that the reduced density matrix for A is diagonal in an arbitraryreference frame. This is due entirely to translation invariance and our as-sumption that we always have precisely one apparatus particle. Writing theapparatus state in matrix form, we have\u03c1\u2212A =\uf8eb\uf8ec\uf8ec\uf8ec\uf8ed1 + I0 + F (p)F (p1)F (p2). . .\uf8f6\uf8f7\uf8f7\uf8f7\uf8f8 , (2.28)where the piare all the outgoing apparatus momenta p 6= p. The coefficientsareI0 = \u22122T ImMp\u03b1p\u03b1F (p) = 2piT\u2211\u03b1\u2223\u2223\u2223Mp\u03b1p\u03b1\u2223\u2223\u22232 \u03b4p+p\u03b1,p+p\u03b1\u03b4(EAp + ES\u03b1 \u2212 EAp \u2212 ES\u03b1 ). (2.29)The coefficients F (p) could be called \u201cconditional transition probabilities\u201d.They are given by fixing an apparatus out-momentum p and then summingover the transition probabilities to all the possible system states consisentwith total momentum conservation. Note that F (p) = 0 for momenta vio-lating energy conservation, that is when EAp > EAp + ES\u03b1 \u2212 ES0 .22In 2\u2192 2 scattering, we can write the return-amplitude term I0 + F (p) in a way thattreats the two particles more symmetrically: by the optical theorem (A.4), we haveI0 = \u2212(2pi)2\u2211pq\u2223\u2223Mpqpq\u2223\u22232 \u03b4p+q,p+q\u03b4EAp +ESq ,EAp +ESq (2.30)while by definition, F (p) = (2pi)2 |Mpqpq|2. So the shift in the initial-momentum density34The von Neumann entanglement entropy of the apparatus is given bySA = \u2212(1 + I0 + F (p)) ln(1 + I0 + F (p))\u2212\u2211p 6=pF (p) lnF (p). (2.32)The result (2.32) is exact and non-perturbative. It follows completely fromLorentz invariance and our assumption that precisely one A particle is inboth the initial and final state. It can be simplified by invoking perturbationtheory: we assume that the scattering amplitudes are significantly less thanunity. Then |I0 + F (p)| \u001c 1, so we can Taylor expand the first term in(2.32) and get a term linear in this expression. But the other terms stillhave logarithms, so we have an expression like small +\u2211small ln(small),and the log terms will dominate. So we are left withSA = \u2212\u2211pF (p) lnF (p). (2.33)In a large box, it is immaterial if the sum on outgoing apparatus momentap includes p = p or not, since this term is individually of measure zero.2.4 Examples with Two Scalar FieldsWe will now consider some simple applications of the above theory, withboth system and apparatus described by scalar fields \u03c6A,S with a weakcoupling \u03bb. Throughout, we will assume that the initial energies are belowthe threshold for on-shell pair-production, so that we can work entirely with2\u2192 2 matrix elements.In the first subsection, we study entropy generated during a 2 \u2192 2scattering event. In the second subsection, we show how to verify thatthe system S has been prepared in a spatial superposition by scatteringwith A. More precisely, we show how to read out the coherence of such asuperposition using position-space information in A, at lowest order in \u03bb.Let us fix our conventions. We take the apparatus and system to bematrix eigenvalue is\u22060 = \u2212(I0 + F (p)) = (2pi)2\u2211(p,q)6=(p,q)\u2223\u2223Mpqpq\u2223\u22232 \u03b4p+q,p+q\u03b4EAp +ESq ,EAp +ESq . (2.31)35described by the actionS = \u2212\u222bd4x12(\u2202\u00b5\u03c6S)2 +12(\u2202\u00b5\u03c6A)2 +12m2S\u03c62S +12m2A\u03c62A+\u03bb4\u03c62S\u03c62A +\u03bbA4!\u03c64A +\u03bbS4!\u03c64S + Lct.(2.34)In particular, the fields \u03c6S,A are considered to be distinguishable and renor-malized. The term Lct contains the counterterms; here we use the standardon-shell renormalization conditions that the on-shell propagators have unitresidue at the physical masses and the interactions are given exactly by theirphysical couplings at threshold. This way we can work with amputated di-agrams only, and the lowest order in perturbation theory is just tree level.We will take up loop corrections in a future publication. We assume thatthe self-couplings \u03bbA,S \u001c 1 and ignore them hereafter.The free single-particle states and operators are normalized as\u3008k\u2032|k\u3009 =[ak, a\u2020k\u2032]= \u03b43(k\u2212 k\u2032). (2.35)More generally, a free n-particle state of a given species is |k1 \u00b7 \u00b7 \u00b7kn\u3009 =a\u2020kn \u00b7 \u00b7 \u00b7 a\u2020k1|0\u3009, where |0\u3009 is the free vacuum. In what follows we use p todenote the 3-momentum of the apparatus and q that of the system. Therelevant S-matrix elements are thenSpqpq = \u03b43(p\u2212 p)\u03b43(q\u2212 q)\u2212 2piiMpqpq\u03b44(p+ q \u2212 p\u2212 q) (2.36)with the amplitude given by, to lowest order in perturbation theory,iMpqpq =pp qq=i\u03bb(2pi)3\u221a16EApESqEApESq. (2.37)Here the single-particle energies areES,Ak =\u221am2S,A + k2. (2.38)362.4.1 Entropy from 2\u2192 2 ScatteringTo begin, we study the simplest possible process: scattering with the systemand apparatus both prepared in definite momentum eigenstates at earlytimes,|\u03c8\u3009 = |p+\u3009A |q+\u3009S . (2.39)This is precisely what we studied in section 2.3 and, as we did there, we willwork with box-normalized states until the end of the calculation.After the scattering event, the von Neumann entropy of the apparatusis given directly by our formula (2.33), viz.SA = \u2212\u2211pF (p) lnF (p). (2.40)Again the sum runs over all outgoing apparatus momenta p, and the co-efficients F (p) are defined in (2.29). Because scattering in this theory isisotropic, it is straightforward to compute the apparatus density matrixeigenvalues explicitly. Move to the center-of-momentum frame p = \u2212q.ThenF (p) = 2piT\u2211q\u2223\u2223\u2223Mpqpq\u2223\u2223\u22232 \u03b4p+q,p+q\u03b4(EAp + ESq \u2212 EAp \u2212 ESq )= 2piT |M(pcm)|2 \u03b4(f(|p|)),(2.41)where we used isotropy of the interaction to write this asM(pcm) = Mp,\u2212p;p,\u2212p, pcm = |p| = |p|, f(|p|) = EA|p|+ES|p|\u2212EA|p|\u2212ES|p|.(2.42)The entropy of A at late times is thus given bySA = \u22122piT\u2211p|M(pcm)|2 \u03b4(f(|p|)) ln[2piT |M(pcm)|2 \u03b4(f(|p|))]. (2.43)At this stage, we can take the continuum limit. We replace the sum\u2211p \u2192V\/(2pi)3\u222bd3p, and do the integral in spherical coordinates. The delta-function outside the log enforces energy conservation, and so the delta insidethe log is replaced by \u03b4T (0) = T\/2pi. We also have to insert the appropriatefactors of N\u02dc = (2pi)3\/V to convert from the box-normalized amplitude to37the continuum-normalized one, see eq. (2.16). Finally, we obtainSA = \u22122(2pi)5 TVp2cm(EA + ES) |M(pcm)|2 ln[(2pi)6T 2V 2|M(pcm)|2], (2.44)where the energies are understood to be evaluated at pcm. This holds atany order of perturbation theory. If we wanted to work to lowest order inperturbation theory, we can use our matrix element (2.37) given above, inwhich case we have explicitly[22]SA = \u2212TV\u03bb216pipcm(EA + ES)(EAES)2ln[T 2V 2\u03bb216(EAES)2]. (2.45)This formula bears some remarking. For one thing, recall that the totalcross-section for this theory at this order of perturbation theory is given by\u03c3 = \u03bb2\/16piEAES in the center-of-momentum frame. So we have that theentropy is proportional to this quantity, integrated over time and againstthe flux of incoming particles.3 We always have a large spatial volume Vin mind, so SA \u2265 0. The argument of the logarithm likewise cannot betoo small: if T\u03bb\/16V EAES \u2264 1 then the entropy will be negative. Thisis essentially the statement that the Compton wavelengths of the particlesneed to be within the spacetime box. As we take the spatial volume V \u2192\u221ewith T fixed, SA goes to zero from above; this follows from the fact that theprobability of the waves to interact at all goes to zero. Finally, one mightworry about V fixed and T \u2192 \u221e, in which case the entropy goes to \u2212\u221e,but this corresponds to an infinite number of repeated interactions, whichwould also violate the basic assumption of the S-matrix setup that we aredescribing an isolated event.2.4.2 Verifying Spatial SuperpositionsLet\u2019s consider now a rather different problem. Suppose we prepare thesystem and apparatus in a separable state, but the system state may ormay not be pure. We would like to know how this system informationwould show up in the outgoing apparatus state.For definiteness, we consider the following problem: suppose that someblack box machine in our lab prepares the system as either a classical en-semble or coherent superposition of two system states, each localized to adifferent point in real space. The question is: how do we verify the coherence3In this frame, the flux is \u03a6 = u\/V with the relative velocity u = pcm(EA+ES)\/EAES .38of the superposition from a scattering experiment?We will see that it is sufficient to look at the position-space wavefunctionof the outgoing apparatus at order \u03bb. The signature of the system superpo-sition is interference fringes in the apparatus state. They show up at order\u03bb because the position-space projector |x\u3009 \u3008x| is sensitive to off-diagonalmomentum-space apparatus density matrix elements, which are generatedat first order in the perturbation, as we now demonstrate explicitly.We begin by defining a pair of states |L\u3009 , |R\u3009 that describe the apparatusprepared in an incoming state of momentum p and the system centered atdifferent positions xL,R in real space.4 Define the usual Gaussian wavefunc-tiong(q) = NS exp{\u2212q2\/4\u03c3S} , NS = 1(2pi\u03c3S)3\/4(2.47)and take the system to be initialized at rest in a lab frame, so we define thestate as follows: let i \u2208 {L,R} and put|i\u3009 = NA |p+\u3009A\u222bd3q fi(q) |q+\u3009S ,fi(q) = g(q) exp {iq \u00b7 xi} , NA =\u221a(2pi)3V.(2.48)See figure 2.2. These states are not orthogonal; their overlap is\u000f = \u3008L|R\u3009 = exp{\u2212\u03c3S |\u2206x0|2 \/2}, \u2206x0 = xL \u2212 xR. (2.49)We have in mind that the system states are localized in real space, so thatthe momentum spread \u03c3S is large. The two states are well-separated if\u000f \u001c 1; we assume this below for mathematical ease, but the results do notdepend qualitatively on this condition.5 We are assume that the scatteringis done in a sufficiently short time so that we can ignore the spreading ofthese wavepackets.Now consider an arbitrary density matrix in the space spanned by the4In this section we will use continuum-normalized states, regulating squares of Diracdeltas as [\u03b43(p\u2212 p\u2032)]2 = V(2pi)3\u03b43(p\u2212 p\u2032), [\u03b4(E \u2212 E\u2032)]2 = T2pi\u03b4(E \u2212 E\u2032). (2.46)5When working with the following formulas, the non-orthogonality of |L\u3009 , |R\u3009 shouldbe kept in mind; in particular traces should be done with momentum eigenstates. A usefulrelation is tr |i\u3009 \u3008j| = \u3008i|j\u3009 = \u000f for i 6= j and 1 for i = j.39|L i |Ri1\/ 2 SppxLxL xFigure 2.2: Verifying spatial superpositions of the system states |L\u3009, |R\u3009.|L\u3009 , |R\u3009 states:\u03c1 = \u0393ij |i\u3009 \u3008j| , i, j \u2208 {L,R} . (2.50)For example, we can form a convex family of density matrices, with coeffi-cients\u0393ij(\u03b1) =12(1 + \u000f)(1 + \u000f\u2212 \u03b1\u000f \u03b1\u03b1 1 + \u000f\u2212 \u03b1\u000f), 0 \u2264 \u03b1 \u2264 1. (2.51)These linearly interpolate between the classical ensemble proportional to|L\u3009 \u3008L|+|R\u3009 \u3008R| at \u03b1 = 0 and the perfect coherent superposition proportionalto (|L\u3009+ |R\u3009)(\u3008L|+\u3008R|) at \u03b1 = 1. These all have unit trace, while the puritytr \u03c12(\u03b1) = [1+(\u03b1+\u000f\u2212\u03b1\u000f)2]\/2 vanishes when \u000f = \u03b1 = 0 and goes up to unityif either \u000f = 1 or \u03b1 = 1. We will refer to \u03b1 as the coherence parameter. Notein particular that the off-diagonal element \u0393LR is linear in \u03b1. The reduceddensity matrix for the apparatus expressed with out-states is\u03c1\u2212A = N2A\u2211ij\u222bd3pd3p\u2032d3qd3qd3q\u2032\u0393ijfi(q)f\u2217j (q\u2032)SpqpqS\u2217p\u2032qpq\u2032 |p\u2212\u3009 \u3008p\u2032\u2212| .(2.52)Let\u2019s study some outgoing apparatus observables. Consider first theoutgoing momentum distribution P (p) of the apparatus, so that we takeOA = |p\u3009 \u3008p| and use (2.19); the expectation value can be read off fromthe diagonal elements of (2.52). We can work these out a bit more explic-40pp qqpp qqFigure 2.3: Diagrams contributing to the lowest-order position-space distri-bution of the apparatus.itly. The identity-squared term from decomposing the S-matrix with (2.11)contributes to P (p) as P0(p) = \u03b43(p\u2212 p). The interaction terms givePint(p) = (2pi)3 TV\u222bd3q |g(q)|2 (1 + \u03b1 cos 2q \u00b7\u2206x0){\u2212 2ImMpqpq\u03b43(p\u2212 p)+\u2223\u2223\u2223Mp,q\u2212k;p,q\u2223\u2223\u22232 \u03b4 (EAp + ESq\u2212k \u2212 EAp \u2212 ESq)}(2.53)where here k = p \u2212 p is the momentum transfer, and we took \u000f \u001c 1 towrite the result in a simple way. We see that the overall probability isproportional to T\/V , as expected. Both terms receive a contribution fromthe coherence \u03b1 of the initial superposition. In our specific theory (2.37),both of these contributions are of order \u03bb2, with the forward-scattering termin (2.53) coming in only at one-loop order. So to measure \u03b1 by doing suchan observation, we would have to be sensitive at order \u03bb2.However, it is possible to see signatures of the coherence \u03b1 at first or-der in \u03bb if we instead look at position-space observables. Consider theposition-space probability distribution for the apparatus at late times afterthe scattering, P (x). This can be obtained by again applying (2.19) butnow using the observable OA = |x\u3009 \u3008x|, the single-particle position projec-tor. The delta-squared terms from the S-matrix result in P0(x, t) = V\u22121by direct computation. Next we need both the cross terms M\u03c1\u2212 \u03c1M \u2020 andthe amplitude-square M\u03c1M \u2020 term; the latter will start at O(\u03bb2), so let usconsider the former. A straightforward calculation using hermiticity of \u0393ij41givesP1(x) =4piV\u222bd3qd3q\u03b4(EAp+q\u2212q + ESq \u2212 EAp \u2212 ESq )g(q)g\u2217(q)\u00d7 Im\uf8ee\uf8f0Mp+q\u2212q,q;p,q\u2211ij\u0393ij exp{\u2212i\u03c6ij(q,q)}\uf8f9\uf8fb , (2.54)where the subscript 1 means we are thinking of this in first-order perturba-tion theory, and the phases are\u03c6ij(q,q) = \u2212ESq t+ (x\u2212 xi) \u00b7 q+ ESq t\u2212 (x\u2212 xj) \u00b7 q. (2.55)Consider measuring the location of the outgoing A particle when t and |x\u2212xi| are of the same order and large. Then the integral may be approximatedby its stationary phase value, which here is given whenq = qi = mS\u03b3ivi\u2206\u0302xi, q = qj = mS\u03b3jvj\u2206\u0302xj , (2.56)where\u2206xi = x\u2212 xi, \u2206\u0302xi = \u2206xi|\u2206xi| , vi =|\u2206xi|t, \u03b3i =1\u221a1\u2212 v2i. (2.57)Note that vi = vi(x, t) and likewise \u03b3i = \u03b3i(x, t) depend on the point ofobservation x and the time t; we suppress this dependence in the formulasthat follow. At these values for the momenta, we have thatESqi = mS\u03b3i, \u03c6ij = \u2212mSt[\u03b3\u22121i \u2212 \u03b3\u22121j]= \u2212\u03c6ji. (2.58)In particular, we see that the LL and RR terms have zero phase, and thusgive real contributions in (2.54) since our amplitude (2.37) is real at lowestorder, so they do not contribute to the outgoing position distribution. Theinterference terms LR and RL do contribute, however, and we getP1(x, t) = A(x, t) sin (\u03c6LR(x, t)) (2.59)where at this point we have finally used the reality of our amplitude (2.37).The position-space amplitude isA = \u03b12(2pi)4V\u03b35\/2L \u03b35\/2R m3St\u22123g(qL)g(qR) [\u03b4LRMLR \u2212 \u03b4RLMRL] (2.60)42where we defined for brevityMij = Mp0+qi\u2212qj ,qj ;p0,qi , \u03b4ij = \u03b4(EAp+qi\u2212qj + ESqi \u2212 EAp \u2212 ESqj ). (2.61)The delta-functions localize the distribution to the stationary-phase wave-fronts, and are an artifact of the way we did the integrals. In reality, theyshould be smoothed out.The key physics is in the sine term in (2.59), and the fact that A islinear in both the coupling \u03bb and coherence parameter \u03b1. The amplitudeA is a rather complicated function of x, t, but the point is clear enough: ifwe arrange an array of particle detectors in a sphere around the origin, itwill pick up the interference pattern given by the sine term in (2.59). Theheights of the interference fringes, in turn, are set by the coherence \u03b1: inparticular, if the system is initialized in a classical ensemble, \u03b1 = 0 andthere are no fringes.Physically, these are interferences between the process where no scatter-ing occurs and the process where the apparatus scatters off one or the othersystem locations, see figure 2.3. Mathematically, this is in the M\u03c11\u2212 1\u03c1M \u2020terms in the action of the S-matrix on the density matrix. This is why theinterference appears at order \u03bb and not \u03bb2. This should be contrasted withmomentum-space observables, which are only sensitive to the interferenceat \u03bb2: the position-space observable is sensitive to off-diagonal momentum-space density matrix elements, which are generated at lowest order in per-turbation theory.2.5 ConclusionsWe have studied some prototypical examples of an apparatus particle scat-tering off a collection of system particles, applying the language of quantummeasurement theory to a field-theoretic problem. Our general density matrixformalism allows for the computation of arbitrary apparatus observables atearly and late times, and we showed how to compute the apparatus-systementanglement entropy generated during scattering.Our scenario contrasts standard formulations of measurement theory insome significant ways. For one thing, our system and apparatus are rela-tivistic and have continuous spectra. For another, we do not imagine that wecan precisely engineer some interaction Hamiltonian; here we are just stuckwith whatever our effective field theory happens to give us. Nonetheless wehave found that it is straightforward to use standard measurement-theorytechniques.43A potential application is detection of system properties at lower ordersof perturbation theory than usually considered in scattering. For example,one often hears that \u03bb\u03c64 scattering is only sensitive to \u03bb2 as opposed to \u03bb,because the cross-section scales like \u03bb2. On the contrary, one can clearly doan interference measurement as described above to measure the coupling atorder \u03bb.More theoretically, these kinds of calculations may help shed some lighton certain aspects of black hole physics. In particular, a recent proposal isthat the black hole information is radiated out to null infinity by soft bosonicmodes.[24] This information should thus be quantified by precisely the kindof von Neumann entropy we have considered here. Implications of the softboson theorems for the entropy calculations presented above will appear ina future article.44Chapter 3Infrared Quantum InformationWe discuss information-theoretic properties of low-energy photons and gravi-tons in the S-matrix. Given an incoming n-particle momentum eigenstate,we demonstrate that unobserved soft photons decohere nearly all outgo-ing momentum superpositions of charged particles, while the universalityof gravity implies that soft gravitons decohere nearly all outgoing momen-tum superpositions of all the hard particles. Using this decoherence, wecompute the entanglement entropy of the soft bosons and show that it isinfrared-finite when the leading divergences are re-summed a` la Bloch andNordsieck.3.1 IntroductionThe massless nature of photons and gravitons leads to an infrared catastro-phe, in which the S-matrix becomes ill-defined due to divergences comingfrom low-energy virtual bosons. The usual solution to this problem, origi-nally given by Bloch and Nordsieck in electrodynamics [1] and extended togravity by Weinberg [2], is to argue that an infinite number of low-energybosons are radiated away during a scattering event; this leads to divergenceswhich cancels the divergences from the virtual states, and physical predic-tions in terms of infrared-finite inclusive transition probabilities.In this letter, we study quantum information-theoretic aspects of thisproposal. Since each photon and graviton has two polarization states andthree momentum degrees of freedom, one might suspect that the low-energyradiation produced during scattering could carry a huge amount of informa-tion. Here we demonstrate that, according to the methodology of [1, 2, 25], ifthe initial state is an incoming n-particle momentum eigenstate, the \u201csoft\u201dbosonic divergences can lead to complete decoherence of the momentumstate of the outgoing \u201chard\u201d particles. This decoherence is avoided only forsuperpositions of pairs of outgoing states for which an infinite set of angle-dependent currents match, see eq. (3.11). In simple examples like QED, thiswill be enough to get complete decoherence of all momentum superpositions.In less simple cases, one is still left with an extremely sparse density matrixdominated by its diagonal elements.45Having traced the radiation in this fashion, we obtain an infrared-finite,mixed reduced density matrix for the hard particles. In the simple caseswhen we get a completely diagonal matrix, we compute the entanglemententropy carried by the soft gauge bosons. The answer is finite and scaleslike the logarithm of the energy resolution E of a hypothetical soft bosondetector.While the tracing out of the soft radiation can be viewed as a physicalstatement about the energy resolution of a real detector, in this formalism,the trace is also forced on us by mathematical consistency: it is the onlyway to get well-defined transition probabilities from the infrared-divergentS-matrix. There is an alternative approach to the infrared catastrophe, inwhich one constructs an IR-finite S-matrix of transition amplitudes between\u201cdressed\u201d matter states.[3, 4, 26, 27] In such an approach, there are no diver-gences and so one is not forced to trace over any soft radiation. Whether thetwo formalisms lead to the same physical picture is an interesting question,and we leave a detailed comparison to future work.Recently, the infrared structure of gauge theories has become a topicof much interest due to the proposal that soft radiation may encode infor-mation about the history of formation of a black hole.[24, 28, 29] We hopethat our work can make this discussion more quantitatively grounded; wecomment on black holes at the end of this letter. More generally, it is ofinterest to understand the information-theoretic nature of the infrared sec-tor of quantum field theories, and our paper is intended to make some firststeps in this direction.3.2 Decoherence of the Hard Particles.Fix a single-particle energy resolution E. We define soft bosons as thosewith energy less than E, and hard particles as anything else. Consider anincoming state |\u03b1\u3009in consisting of hard particles, charged or otherwise, ofdefinite momenta.1 The S-matrix evolves this into a coherent superpositionof states with hard particles \u03b2 and soft bosons b = \u03b3, h (photons \u03b3 andgravitons h),|\u03b1\u3009in =\u2211\u03b2bS\u03b2b,\u03b1 |\u03b2b\u3009out . (3.1)1Our field theory conventions follow [21]. Labels like \u03b1, \u03b2, b mean a list of free-particlequantum numbers, e.g. |\u03b1\u3009in = |p1\u03c31, . . .\u3009in listing momenta and spin of the incomingparticles.46Hereafter we drop the subscript on kets, which will always be out-states.Tracing out the bosons |b\u3009, the reduced density matrix for the outgoinghard particles is\u03c1 =\u2211\u03b2\u03b2\u2032bS\u03b2b,\u03b1S\u2217\u03b2\u2032b,\u03b1 |\u03b2\u3009 \u3008\u03b2\u2032| . (3.2)Using the usual soft factorization theorems [2, 25, 30], we can write theamplitudes in terms of the amplitudes for \u03b1\u2192 \u03b2 multiplied by soft factors,one for each boson:S\u03b2b,\u03b1 = S\u03b2,\u03b1F\u03b2,\u03b1(\u03b3)G\u03b2,\u03b1(h), (3.3)where the soft factors F,G areF\u03b2,\u03b1(\u03b3) =\u2211n\u2208\u03b1,\u03b2\u2211\u00b1\u220fi\u2208\u03b3en\u03b7n(2pi)3\/2|ki|1\/2p\u00b5n\u000f\u2217\u00b5,\u00b1(ki)pn \u00b7 ki \u2212 i\u03b7n\u000fG\u03b2,\u03b1(h) =\u2211n\u2208\u03b1,\u03b2\u2211\u00b1\u220fi\u2208hM\u22121p \u03b7n(2pi)3\/2|ki|1\/2p\u00b5np\u03bdn\u000f\u2217\u00b5\u03bd,\u00b1(ki)pn \u00b7 ki \u2212 i\u03b7n\u000f .(3.4)Here the index n runs over all the incoming and outgoing hard particles, iruns over the outgoing soft bosons; \u03b7n = \u22121 for an incoming and +1 for anoutgoing hard particle. The en are electric charges and Mp = (8piGN )\u22121\/2 isthe Planck mass, and the \u000f\u2019s are polarization vectors or tensors for outgoingsoft photons and gravitons, respectively. By an argument identical to theone employed by Weinberg [2], and assuming we can neglect the total lostenergy ET compared to the energy of the hard particles, we can use thisfactorization to perform the sum over soft bosons in (3.2), and we find that\u2211bS\u03b2b,\u03b1S\u2217\u03b2\u2032b,\u03b1 = S\u03b2,\u03b1S\u2217\u03b2\u2032,\u03b1(E\u03bb)A\u02dc\u03b2\u03b2\u2032,\u03b1 (E\u03bb)B\u02dc\u03b2\u03b2\u2032,\u03b1\u00d7 f(EET, A\u02dc\u03b2\u03b2\u2032,\u03b1)f(EET, B\u02dc\u03b2\u03b2\u2032,\u03b1).(3.5)Here \u03bb \u001c E is an infrared regulator used to cut off momentum integralswhich we will send to zero later; one can think of \u03bb as a mass for the photon47and graviton. The exponents areA\u02dc\u03b2\u03b2\u2032,\u03b1 = \u2212\u2211n\u2208\u03b1,\u03b2n\u2032\u2208\u03b1,\u03b2\u2032enen\u2032\u03b7n\u03b7n\u20328pi2\u03b2\u22121nn\u2032 ln[1 + \u03b2nn\u20321\u2212 \u03b2nn\u2032]B\u02dc\u03b2\u03b2\u2032,\u03b1 =\u2211n\u2208\u03b1,\u03b2n\u2032\u2208\u03b1,\u03b2\u2032mnmn\u2032\u03b7n\u03b7n\u203216pi2M2p1 + \u03b22nn\u2032\u03b2nn\u2032\u221a1\u2212 \u03b22nn\u2032ln[1 + \u03b2nn\u20321\u2212 \u03b2nn\u2032],(3.6)and f is a complicated function which can be found in [21]; for E\/ET = O(1)and for small A, f may be approximated as f(1, A) \u2248 1\u2212pi2A2\/12+O(A4).In these formulas, \u03b2nn\u2032 is the relative velocity between particles n and n\u2032,\u03b2nn\u2032 =\u221a1\u2212 m2nm2n\u2032(pn \u00b7 pn\u2032)2 ,For future use, we note that 0 \u2264 \u03b2 \u2264 1, and both of the dimensionlessfunctions of \u03b2 appearing in (3.6) run over [2,\u221e) as \u03b2 runs from 0 to 1. Wehave \u03b2nm = 0 if and only if pn = pm.The divergences as \u03bb \u2192 0 in (3.5) come from summing over an infinitenumber of radiated, on-shell bosons. There are also infrared divergencesinherent to the transition amplitude S\u03b2,\u03b1 itself coming from virtual bosons.Again following Weinberg, we can add these divergences up, and we havethatS\u03b2,\u03b1 = S\u039b\u03b2,\u03b1(\u03bb\u039b)A\u03b2,\u03b1\/2(\u03bb\u039b)B\u03b2,\u03b1\/2, (3.7)where now S\u039b\u03b2,\u03b1 means the amplitude computed using only virtual bosonsof energy above \u039b, andA\u03b2,\u03b1 = \u2212\u2211n,m\u2208\u03b1,\u03b2enem\u03b7n\u03b7m8pi2\u03b2\u22121nm ln[1 + \u03b2nm1\u2212 \u03b2nm]B\u03b2,\u03b1 =\u2211n,m\u2208\u03b1,\u03b2mnmm\u03b7n\u03b7m16pi2M2p1 + \u03b22nm\u03b2nm\u221a1\u2212 \u03b22nmln[1 + \u03b2nm1\u2212 \u03b2nm].(3.8)An infrared-divergent \u201cCoulomb\u201d phase is suppressed in (3.7). We will seeshortly that this phase cancels out of all the relevant density matrix elements.Putting the above results together, we find that the reduced density48matrix coefficient for |\u03b2\u3009 \u3008\u03b2\u2032| is given by\u03c1\u03b2\u03b2\u2032 = S\u039b\u03b2,\u03b1S\u039b\u2217\u03b2\u2032,\u03b1(E\u03bb)A\u02dc\u03b1,\u03b2\u03b2\u2032 (\u03bb\u039b)A\u03b2,\u03b1\/2+A\u03b2\u2032,\u03b1\/2\u00d7(E\u03bb)B\u02dc\u03b1,\u03b2\u03b2\u2032 (\u03bb\u039b)B\u03b2,\u03b1\/2+B\u03b2\u2032,\u03b1\/2f(A\u02dc\u03b2\u03b2\u2032,\u03b1)f(B\u02dc\u03b2\u03b2\u2032,\u03b1).(3.9)The question is how this behaves in the limit that the infrared regulator\u03bb\u2192 0. The coefficient scales as \u03bb\u2206A+\u2206B, where\u2206A\u03b2\u03b2\u2032,\u03b1 =A\u03b2,\u03b12+A\u03b2\u2032,\u03b12\u2212 A\u02dc\u03b2\u03b2\u2032,\u03b1\u2206B\u03b2\u03b2\u2032,\u03b1 =B\u03b2,\u03b12+B\u03b2\u2032,\u03b12\u2212 B\u02dc\u03b2\u03b2\u2032,\u03b1.(3.10)In the appendix, we prove that both of these exponents are positive-definite,\u2206A\u03b2\u03b2\u2032,\u03b1 \u2265 0 and \u2206B\u03b2\u03b2\u2032,\u03b1 \u2265 0. The density matrix components (3.9) whichsurvive as the regulator \u03bb\u2192 0 are those for which \u2206A = \u2206B = 0; all otherdensity matrix elements will vanish.To give necessary and sufficient conditions for \u2206A = \u2206B = 0, we definetwo currents for each spatial velocity vector v. We assume for simplicity thatonly massive particles carry electric charge. For massive particles, there areelectromagnetic and gravitational currents defined asjEMv =\u2211ieiai\u2020pi(v)aipi(v)jGRv =\u2211iEi(v)ai\u2020pi(v)aipi(v).(3.11)Here i labels particle species, ei their charges and mi their masses; the kine-matic quantities pi(v) = miv\/\u221a1\u2212 v2 and Ei(v) = mi\/\u221a1\u2212 v2 are themomentum and energy of species i when it has velocity v. For lightlike par-ticles we have to separately define the gravitational current, since a velocityand species does not uniquely determine a momentum:jGR,m=0v =\u2211i\u222b \u221e0d\u03c9 \u03c9ai\u2020\u03c9vai\u03c9v. (3.12)Momentum eigenstates of any number of particles are obviously eigenstatesof these currents and we denote their eigenvalues jv |\u03b1\u3009 = jv(\u03b1) |\u03b1\u3009.The photonic exponent \u2206A\u03b2\u03b2\u2032,\u03b1 is zero if and only if the charged currents49in \u03b2 are the same as those in \u03b2\u2032; the gravitational exponent \u2206B\u03b2\u03b2\u2032,\u03b1 is zeroif and only if all the hard gravitational currents in \u03b2 are the same as thosein \u03b2\u2032. This is demonstrated in detail in the appendix. For any such pair ofoutgoing states |\u03b2\u3009 , |\u03b2\u2032\u3009, (3.9) becomes independent of the IR regulator \u03bband is thus finite as \u03bb\u2192 0,\u03c1\u03b2\u03b2\u2032 = S\u039b\u2217\u03b2\u2032\u03b1S\u039b\u03b2\u03b1F\u03b2\u03b1 (E,ET ,\u039b) , (3.13)whereF\u03b2\u03b1 = f(EET, A\u03b2\u03b1)f(EET, B\u03b2\u03b1)(E\u039b)A\u03b2\u03b1+B\u03b2\u03b1. (3.14)This is the case in particular for diagonal density matrix elements \u03b2 = \u03b2\u2032,for which we obtain the standard transition probabilities\u03c1\u03b2\u03b2 =\u2223\u2223S\u039b\u03b2\u03b1\u2223\u22232F\u03b2\u03b1 (E,ET ,\u039b) . (3.15)On the other hand, if there is even a single v for which one of the currents(3.11) or (3.12) does not have the same eigenvalue in |\u03b2\u3009 and |\u03b2\u2032\u3009, then thedensity matrix coefficient decays as \u03bb\u2206A+\u2206B \u2192 0 as the regulator \u03bb \u2192 0.We see that the unobserved soft bosons have almost completely decoheredthe momentum state of the hard particles. Only a very sparse subset ofsuperpositions in which all the jv(\u03b2) = jv(\u03b2\u2032) survive.3.3 ExamplesTo get a feel for the results presented in the previous section, we considera few examples. First, consider any scattering with a single incoming andoutgoing charged particle, like potential or single Compton scattering. Letthe incoming momentum be \u03b1 = p and the outgoing momenta of the twobranches \u03b2 = q, \u03b2\u2032 = q\u2032. We have either directly from the definition (3.10)or the theorem (B.1) that\u2206Aqq\u2032,p = \u2212 e28pi2[2\u2212 \u03b3qq\u2032], (3.16)where \u03b3qq\u2032 = \u03b2\u22121qq\u2032 ln[(1 + \u03b2qq\u2032)\/(1\u2212 \u03b2qq\u2032)]. This \u2206A is easily seen to equalzero if and only if q = q\u2032. Thus other than the spin degree of freedom, theresulting density matrix for the charge is exactly diagonal in momentumspace.To see an example where the current-matching condition is non-trivially50fulfilled, consider a theory with two charged particle species of charge e ande\/2 and the same mass. Then we can get an outgoing superposition of astate \u03b2 = (e, q) and one with two half-charges \u03b2\u2032 = (e\/2, q\u20321)+(e\/2, q\u20322). Thedifferential exponent for such a superposition is\u2206A\u03b2\u03b2\u2032,p = \u2212 e28pi2[3 +12\u03b3q1q2 \u2212 \u03b3qq1 \u2212 \u03b3qq2], (3.17)which is zero if q = q1 = q2. In other words, the currents (3.11) cannotdistinguish between a full charge of momentum q and two half-charges ofthe same momentum.3.4 Entropy of the Soft BosonsWe have seen that the reduced density matrix for the outgoing hard particlesis very nearly diagonal in the momentum basis. In a simple example like atheory with various scalar fields \u03c6i of different, non-zero masses mi, the softgraviton emission causes complete decoherence into a diagonal momentum-space reduced density matrix for the hard particles. More generally, we mayhave a sparse set of superpositions, and in any case spin and other internaldegrees of freedom are unaffected by the soft emission.In a simple example with a purely diagonal reduced density matrix, itis straightforward to compute the entanglement entropy of the soft emittedbosons. The total hard + soft system is in a bipartite pure state, with thepartition being between the hard particles and soft bosons, so the entan-glement entropy of the bosons is the same as that of the hard particles.Following the calculation in [22, 31, 32], we can simply write down the en-tropy:S =\u2211\u03b2\u2223\u2223S\u039b\u03b2\u03b1\u2223\u22232F\u03b2\u03b1 ln [\u2223\u2223S\u039b\u03b2\u03b1\u2223\u22232F\u03b2\u03b1] . (3.18)This sum is infrared-finite; again, F is given in (3.14), and the superscript\u039b means the naive S-matrix computed with virtual bosons only of energiesgreater than \u039b. Given the explicit form of F , we see that the entropy scaleslike the log of the infrared detector resolution E.3.5 DiscussionAccording to the solution of the infrared catastrophe advocated in [1, 2, 25],an infinite number of very low-energy photons and gravitons are produced51during scattering events. We have shown that if taken seriously, consideringthis radiation as lost to the environment completely decoheres almost anymomentum state of the outgoing hard particles. The basic idea is simple:the radiation is essentially classical, so any two scattering events are easy todistinguish by their radiation.The physical content of this result is somewhat unclear. A conservativeview is that the methodology of [1, 2, 25] is ill-suited to finding outgoingdensity matrices. As remarked earlier, in this formalism, one must trace theradiation to get well-defined transition probabilities. An alternative wouldbe to use the infrared-finite S-matrix program [3, 4, 26, 27], in which notrace over radiation is needed at all. But then we need to understand wherethe physical low-energy radiation is within that formalism\u2013since after all, aphoton that is lost to the environment certainly does decohere the system.The decoherence found here is for the momentum states of the particles:at lowest order in their momenta, soft bosons do not lead to decoherence ofspin degrees of freedom. However, the sub-leading soft theorems [33\u201335] doinvolve the spin of the hard particles, so going to the next order in the softparticles would be interesting. We would also like to understand to whatextent our answers depend on the infinite-time approximation used in theS-matrix approach.To end, we comment on potential applications to the black hole informa-tion paradox. The idea advocated in [24, 28] is that correlations between thehard and soft particles mean that information about the black hole state canbe encoded into soft radiation. In [29, 36, 37], the dressed-state formalismand soft factorization has been used to argue that the soft particles simplyfactor out of the S-matrix and thus contain no such information. In theapproach used here, it is manifest that the outgoing hard state and outgo-ing soft state are highly correlated, leading to the decoherence of the hardstate. The outgoing density matrix for the hard particles, while not com-pletely thermal, has been mixed in momentum as much as possible whileretaining consistency with standard QED\/perturbative gravity predictions.It is tempting to conjecture that this generalizes to all asymptotically mea-surable quantum numbers.At high center-of-mass energies\u221as, black holes should have productioncross-sections given by their geometric areas \u03c3prod \u223c pir2h(\u221as).[38] Using thisin (3.18), one obtains a hard-soft entanglement entropy scaling like the blackhole area times logarithmic soft factors. In this sense one might view thesoft radiation as containing a significant fraction of the black hole entropy.52Chapter 4Dressed Infrared Quantum In-formationWe study information-theoretic aspects of the infrared sector of quantumelectrodynamics, using the dressed-state approach pioneered by Chung, Kib-ble, Faddeev-Kulish and others. In this formalism QED has an IR-finiteS-matrix describing the scattering of electrons dressed by coherent statesof photons. We show that measurements sensitive only to the outgoingelectronic degrees of freedom will experience decoherence in the electronmomentum basis due to unobservable photons in the dressing. We makesome comments on possible refinements of the dressed-state formalism, andhow these considerations relate to the black hole information paradox.4.1 IntroductionThere are two common methods for dealing with infrared divergences inquantum electrodynamics. One is to form inclusive transition probabilities,tracing over arbitrary low-energy photon emission states.[1, 2, 25] However,one may wish to retain an S-matrix description instead of working directlywith probabilities. To this end, a long literature initiated by Chung, Kib-ble, and Faddeev-Kulish has advanced a program in QED where one formsan infrared-finite S-matrix between states of charges \u201cdressed\u201d by long-wavelength photon modes.[3, 4, 8, 26, 39\u201341] The extension to perturbativegravity in flat spacetime has been initiated in [27].In the inclusive probability formalism, one is forced to trace out softphotons to get finite answers. In previous work, we showed that this leadsto an almost completely decohered density matrix for the outgoing stateafter a scattering event.[42] This paper analyses the situation in dressedstate formalisms, in which no trace over IR photons is needed to obtain afinite outgoing state. However, consider the measurement of an observablesensitive only to electronic and high-energy photonic degrees of freedom. Weshow that for such observables, there will be a loss of coherence identicalto that obtained in the inclusive probability method. Quantum informationis lost to the low-energy bremsstrahlung photons created in the scattering53process.The primary goal of this paper is to give concrete calculations exhibitingthe dressed formalism and how it leads to decoherence. To this end, wework with the formulas from the papers of Chung and Faddeev-Kulish. Theresult of this calculation should carry over identically to any of the exist-ing refinements of Chung\u2019s formalism. In section 4.4, we make a numberof remarks on possible refinements to the basic dressing formalism, give anexpanded physical interpretation of our results, and relate our work to liter-ature in mathematical physics on QED superselection rules. In section 4.5we make remarks on how this work fits into the recent literature on the blackhole information paradox; in brief, we believe that our results are consistentwith the recent proposal of Strominger [43], but not the original proposal ofHawking, Perry and Strominger.[24, 28]4.2 IR-safe S-matrix FormalismFollowing Chung, we study an electron with incoming momentum p scatter-ing off a weak external potential. This 1\u2192 1 process is simple and sufficientto understand the basic point; at the end of the next section, we show howto generalize our results to n-particle scattering. The electron spin will beunimportant for us and we supress it in what follows. The standard free-field Fock state |p\u3009 for the electron is promoted to a dressed state \u2016p\u3009\u3009 asfollows. For a given photon momentum k we define the soft factorF`(k,p) =p \u00b7 e`(k)p \u00b7 k \u03c6(k,p). (4.1)Here ` = 1, 2 labels the photon polarization states, and \u03c6(k,p) is any func-tion that smoothly goes to \u03c6\u2192 1 as |k| \u2192 0. We introduce an IR regulator(\u201cphoton mass\u201d) \u03bb and an upper infrared cutoff E > \u03bb, which can be thoughtof as the energy resolution of a single-photon detector in our experiment.LetRp = e2\u2211`=1\u222b\u03bb<|k|