Graviton Corrections to Maxwell s Equations. arxiv: (to appear PRD) Katie E. Leonard and R. P. Woodard (U. of Florida)

Transcription

1 Graviton Corrections to Maxwell s Equations arxiv: (to appear PRD) Katie E. Leonard and R. P. Woodard (U. of Florida)

2 Classical Maxwell s Equations ν [ -g g νρ g µσ F ρσ ] = J µ 1. Photons (J µ = 0) E i (t,x) ~ ε i e -ik(ct-x) 2. Static point charge (J µ = qδ µ 0δ 3 (x)) A 0 (t,x) = q/[4π r] 3. Instantaneous dipole J 0 = -θ(t)p i i δ 3 (x), J i = p i δ(t)δ 3 (x) F ij (t,x} = -1/2π ( i p j - j p i ) θ(t) δ(r 2 t 2 )

3 Quantum Effective Field Eqns For S[φ] Γ[φ cl ] Exact Heisenberg Eqn δs[φ]/δφ(x) = 0 Want φ cl (x) = <Ψ L φ(x) Ψ R > δγ[φ cl ]/δφ cl (x) = <Ψ L δs[φ cl + φ]/δφ(x) Ψ R > Assuming <Ψ L φ(x) Ψ R > = 0 Propagators & vertices in φ cl

4 Different Choices for Ψ L & Ψ R In-Out Ψ L,R ~ free as t ± Right for scattering But neither real nor causal In-In Ψ L = Ψ R ~ free as t - Both real and causal Read off from in-out with Schwinger-Keldysh Hybrid Ψ L = Ψ R at t = 0 Start interactions at t = 0 Perturbatively correct initial state

5 Quantum-Correcting Maxwell ν [ -g g νρ g µσ F ρσ (x)] + d 4 x [ µ Π ν ](x;x ) A ν (x ) = J µ (x) 1PI 2-pt function: i[ µ Π ν ](x;x ) 1PI 1-pt function: J µ (x) Specialization to flat space [ µ Π ν ](x;x ) = (η µν 2 - µ ν ) Π( x 2 ) ν F νµ (x) + d 4 x Π( x 2 ) ν F νµ (x ) = J µ (x)

6 Perturbative Solution in κ 2 = 16πG Expand everything in powers of κ 2 F µν = F µν 0 + κ 2 F µν 1 + κ 4 F µν 2... J µ = J µ 0 + κ 2 J µ 1 + κ 4 J µ Π( x 2 ) = 0 + κ 2 Π 1 ( x 2 ) + κ 4 Π 2 ( x 4 ) +... Segregate powers of κ 2 ν F µν 0 (x) = J µ 0 (x) ν F µν 1 (x) = J µ 1 (x) - d 4 x Π( x 2 ) νf µν 0 (x )

7 L = L GR + L EM + L BPHZ L GR = 1/16πG R -g L EM = -¼F µν F ρσ g µρ g νσ -g δ 2 S EM /δa µ (x)δa ρ (x )= κ { -g[g κλ g µρ g κρ g λµ ] λ δ D (x-x )} L BPHZ = C 4 D α F µν D β F ρσ g αβ g µρ g νσ -g g µν (x) =η µν + κh µν (x) κ 2 = 16πG -g [g κλ g µρ g κρ g λµ ] = η κλ η µρ η κρ η λµ + κv µρκλαβ h αβ + κ 2 U µρκλαβγδ h αβ h γδ + O(κ 3 ) V µρκλαβ = η αβ η κ[λ η ρ]µ + 4 η α)[µ η κ][ρ η λ](β

8 All Propagators from Scalar (dimensionally regulate in D dimensions) i (x;x ) = Γ(D/2-1)/4π D/2 (1/ x 2 ) D/2-1 x 2 = x - x 2 ( t - t - iε) 2 L EMfix = -½ ( µ A µ ) 2 i[ µ ν ](x;x ) = η µν i (x;x ) L GRfix = -½ ( ν h µν -½ µ h) 2 i[ µν ρσ ](x;x ) = [2η µ(ρ η σ)ν 2/(D-2) η µν η ρσ ] i (x;x ) NB have both real and imaginary parts

9 No Integrals at One Loop! i[ µ Π ν ] 3pt = κ θ {iκv µρκλαβ i[ αβ γδ ] iκv νσφθγδ λ φ i[ ρ σ ]} = -κ 2 Γ 2 (D/2-1)/16π D/2 (D-3)(D-2) 2 D {(D+1)η µν / x 2D -2D x µ x ν / x 2D+2 } = Same 1/[2(D-1)] [η µν 2 - µ ν ] 1/ x 2D-2

10 [ µ Π ν ](x;x ) = (η µν 2 - µ ν ) Π(x;x ) Π 3pt = iκ 2 Γ 2 (D/2-1)/16π D (D-3)(D-2) 2 D/2(D-1) 1/ x 2D-2 i[ µ Π ν ] 4pt = κ {iκ 2 U µνκλαβγδ i[ αβ γδ ](x;x) λ δ D (x-x )} Zero because 1/ x D-2 0 for x = x in DR i[ µ Π ν ] ctm = 4iC 4 (η µν 2 - µ ν ) 2 δ D (x-x ) Π ctm = 4C 4 2 δ D (x-x )

11 Renormalization Need d 4 x Π( x 2 ) Regular(x ) 1/ x 2D-2 = ½(D-2) -2 2 [1/ x 2D-4 ] =¼(D-2) -2 (D-3) -1 (D-4) -1 4 [1/ x 2D-6 ] 0=- 2 [1/ x D-2 ]+i4π D/2 /Γ(D/2-1) δ D (x-x ) 1/ x 2D-6 µ D-4 / x D-2 = -½(D-4) ln(µ 2 x 2 )/ x 2 + O[(D-4) 2 ] Absorb delta function in C 4 Π( x 2 ) = -iκ 2 /192π 4 4 [ln(µ 2 x 2 )/ x 2 ] + O(κ 4 )

12 Schwinger-Keldysh Formalism (converting in-out to in-in) End of each line gets ± polarity Vertices all + (normal) or all (-normal) Just replace x 2 in propagators ++ x - x 2 ( t - t - iε) 2 +- x - x 2 (t - t + iε) 2 -+ x - x 2 (t - t iε) 2 -- x - x 2 ( t - t + iε) 2 In-out N-pt function gives 2 N in-in N-pt

13 SK Effective Field Equations Π in-out Π ++ + Π +- t > t ++ and +- cancel r > t ++ and +- cancel r < t +- = -(++) * ln(µ 2 x 2 )/ x 2 = ⅛ 2 [ln 2 (µ 2 x 2 ) 2ln(µ 2 x 2 )] ln(µ 2 x 2 ++) ln(µ 2 x 2 +-) = iπ θ( t- r) ln 2 (µ 2 x 2 ++) ln 2 (µ 2 x 2 +-) = i2π θ( t- r) ln[µ 2 ( t 2 - r 2 )] Π(x;x ) = G/24π 2 6 {θ( t- r) [ln[µ 2 ( t 2 r 2 )] 1]} + O(G 2 )

14 No Change for Photons ν F νµ (x) + d 4 x Π(x;x ) ν F νµ (x ) = J µ (x) ν F νµ (x) = 0 works for J µ = 0 Should be true to all orders

15 UV Enhancement for Coulomb Φ(r) = q/4πr [1 + 2G/3πr 2 + O(G 2 )] #G/r 2 fixed by dimensionality No dependence on finite part of counterterm Same sign as S-matrix techniques Radkowski (1970) Bjerrum-Bohr (2002) Opposite to RG flow from β-function Robinson & Wilczek (2006) Harst & Reuter (2011) But other things matter

16 Light-Cone Pushed Out Point dipole p i created at t=0 J 0 (t,x} = -θ(t) p i i δ 3 (x) J i (t,x} = p i δ(t)δ 3 (x) Induced F ij (t,x) = -θ(t) ( i p j - j p i ) X 0 Loop: δ(r 2 t 2 )/2π 1 Loop: -4G/3π δ (r 2 t 2 )/2π Hence δ(r 2 t 2 4G/3π) + O(G 2 ) Super-luminal but Poincare invariant

17 Smearing of the Light-Cone An old idea (Pauli 1956, Deser 1957) i [g](x;x ) = 1/{2π 2 σ[g](x;x )} + O(lnσ) d 4 x {i [g](x;x )} 2 doesn t exist But Γ[dg] d 4 x {i [g](x;x )} 2 might Something quantum gravity should do Light-cone is a quantum operator S-luminal propagation thru fluctuations We might (eventually) build starships

18 Gauge Dependence 3-Parameter Poincare invariant gauge L GRfix = -1/2a F µ F µ F µ = ν h µν - b/2 µ h L EMfix = -1/2c ( µ A µ ) 2 Π new (x;x ) = K(a,b) Π old (x;x ) [F new ] µν (x) = K(a,b) [F old ] µν (x) K = -3a/2 (3b 2-12b+8)/(b-2) 2 1/2(b-2) 2 Dynamical gravitons contribute nothing!

19 What Gives???? Need 1 loop correction to J µ Must also fix t and r geometrically Also frames in which F µν reported But our results agree with those from gauge independent S-matrix

20 Summary ν F νµ (x) + d 4 x Π(x;x ) ν F νµ (x ) = J µ (x) Π = G/(24π 2 ) 6 {θ( t- r) [ln[µ 2 ( t 2 - r 2 )] - 1]} + O(G 2 ) Dynamical photons unchanged Φ(r) q/(4πr) [1 + 2G/(3πr 2 ) + O(G 2 )] Pulse r 2 = t 2 + 4G/3π + O(G 2 ) NB Poincare invariance inevitable in pert. Gauge dependence requires work But S-matrix results gauge independent

21 Overlaps with LQG SK field eqns can be used like Maxwell Finite space & time, not just scattering Essential for cosmology! Releasing Ψ L,R at t=0 need int. state But only perturbatively to some order Gauge dependence inv. Observables But again, only perturbatively And can use initial value surface Perhaps we can converge?