Graviton Corrections to
Maxwell’s Equations
arXiv:1202.5800 (to appear PRD)
Katie E. Leonard and R. P.
Woodard (U. of Florida)
Classical Maxwell’s Equations
gνρgµσFρσ]
µ
µ
∂ν [√-g
=J
1.
Photons (J = 0)
Ei(t,x) ~ εi e-ik(ct-x)
µ
Static point charge (J =
2.
µ 3
qδ 0δ (x))
A0(t,x) = q/[4π r]
Instantaneous dipole
3.
J0 = -θ(t)pi∂iδ3(x) , Ji = piδ(t)δ3(x)
Fij(t,x} = -1/2π (∂ipj-∂jpi) θ(t) δ(r2–t2)
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
Different Choices for ΨL & ΨR
In-Out ΨL,R ~ free as t ±∞
In-In ΨL = ΨR ~ free as t -∞
Right for scattering
But neither real nor causal
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
Quantum-Correcting Maxwell
∂ν[√-g gνρgµσFρσ(x)]
+ ∫d4x’[µΠν](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 - ∂µ∂ν) Π(∆x2)
∂νFνµ(x) + ∫d4x’ Π(∆x2) ∂’νFνµ(x’) = Jµ(x)
Perturbative Solution
in κ2 = 16πG
Expand everything in powers of κ2
µν
µν
2
4
= F0 + κ F 1 + κ F 2 . . .
µ
µ
µ
µ
2
4
J = J0 + κ J1 + κ J2 + . . .
Π(∆x2) = 0 + κ2Π1(∆x2) + κ4Π2(∆x4)
Fµν
µν
+...
Segregate powers of κ2
µν
∂νF0 (x)
µν
∂νF1 (x)
=
=
µ
J0 (x)
µ
J1 (x)
-
∫d4x’
Π(∆x2)
µν
’
∂ νF0 (x’)
L = LGR + LEM + LBPHZ
LGR = 1/16πG R√-g
LEM = -¼FµνFρσgµρgνσ√-g
δ2SEM/δAµ(x)δAρ(x’)=∂κ{√-g[gκλgµρ–gκρgλµ]∂λδD(x-x’)}
LBPHZ = C4DαFµνDβFρσgαβgµρgνσ√-g
gµν(x) =ηµν+ κhµν(x) κ2 = 16πG
√-g [gκλgµρ – gκρgλµ] = ηκληµρ – ηκρηλµ
+ κVµρκλαβ hαβ + κ2Uµρκλαβγδ hαβhγδ+ O(κ3)
Vµρκλαβ = ηαβηκ[ληρ]µ + 4 ηα)[µηκ][ρηλ](β
All Propagators from Scalar
(dimensionally regulate in D dimensions)
i∆(x;x’) = Γ(D/2 -1)/4πD/2 (1/∆x2)D/2 -1
LEMfix = -½ (∂µAµ)2
i[µ∆ν](x;x’) = ηµν i∆(x;x’)
LGRfix = -½ (∂νhµν-½∂µh)2
∆x2 = ||x - x’||2 – (|t - t’| - iε)2
i[µν∆ρσ](x;x’)
= [2ηµ(ρησ)ν – 2/(D-2) ηµνηρσ] i∆(x;x’)
NB have both real and imaginary parts
No Integrals at One Loop!
i[µΠν]3pt = ∂κ∂’θ{iκVµρκλαβ i[αβ∆γδ] iκVνσφθγδ ∂λ∂’φ i[ρ∆σ]}
= -κ2Γ2(D/2-1)/16πD (D-3)(D-2)2D
• {(D+1)ηµν/∆x2D -2D∆xµ∆xν/∆x2D+2}
= Same • 1/[2(D-1)] [ηµν∂2 - ∂µ∂ν] 1/∆x2D-2
[µΠν](x;x’)
= (ηµν∂2-∂µ∂ν) Π(x;x’)
Π3pt = iκ2Γ2(D/2 -1)/16πD
•(D-3)(D-2)2D/2(D-1) 1/∆x2D-2
µ ν
i[ Π ]4pt
= ∂κ{iκ2Uµνκλαβγδ i[αβ∆γδ](x;x) ∂λδD(x-x’)}
Zero because 1/∆xD-2 0 for x’ = x in DR
i[µΠν]ctm = 4iC4(ηµν∂2-∂µ∂ν)∂2δD(x-x’)
Πctm = 4C4∂2δD(x-x’)
Renormalization
Need ∫d4x’ Π(∆x2) Regular(x’)
1/∆x2D-2 = ½(D-2)-2 ∂2[1/∆x2D-4]
=¼(D-2)-2(D-3)-1(D-4)-1 ∂4[1/∆x2D-6]
0=-∂2[1/∆xD-2]+i4πD/2/Γ(D/2-1) δD(x-x’)
1/∆x2D-6 – µD-4/∆xD-2
= -½(D-4) ln(µ2∆x2)/∆x2 + O[(D-4)2]
Absorb delta function in C4
Π(∆x2) = -iκ2/192π ∂4[ln(µ2∆x2)/∆x2] + O(κ4)
Schwinger-Keldysh Formalism
(converting in-out to in-in)
End of each line gets ± polarity
Vertices all + (normal) or all – (-normal)
Just replace ∆x2 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 2N in-in N-pt
SK Effective Field Equations
Πin-out Π++ + Π+
ln(µ2∆x2)/∆x2 = ⅛ ∂2[ln2(µ2∆x2) – 2ln(µ2∆x2)]
t’ > t ++ and +- cancel
∆r > ∆t ++ and +- cancel
∆r < ∆t +- = -(++)*
ln(µ2∆x2++) – ln(µ2∆x2+-) = iπ θ(∆t-∆r)
ln2(µ2∆x2++) – ln2(µ2∆x2+-)
= i2π θ(∆t-∆r) ln[µ2(∆t2-∆r2)]
Π(x;x’) = G/24π2 ∂6{θ(∆t-∆r)
[ln[µ2(∆t2–∆r2)] – 1]} + O(G2)
No Change for Photons
∂νFνµ(x) + ∫d4x’ Π(x;x’)∂’νFνµ(x’) = Jµ(x)
∂νFνµ(x) = 0 works for Jµ = 0
Should be true to all orders
UV Enhancement for Coulomb
Φ(r) = q/4πr [1 + 2G/3πr2 + O(G2)]
Same sign as S-matrix techniques
#G/r2 fixed by dimensionality
No dependence on finite part of counterterm
Radkowski (1970)
Bjerrum-Bohr (2002)
Opposite to RG flow from β-function
Robinson & Wilczek (2006)
Harst & Reuter (2011)
But other things matter
Light-Cone Pushed Out
Point dipole pi created at t=0
Induced Fij(t,x) = -θ(t) (∂ipj - ∂jpi) X
J0(t,x} = -θ(t) pi∂i δ3(x)
Ji(t,x} = pi δ(t)δ3(x)
0 Loop: δ(r2 – t2)/2π
1 Loop: -4G/3π δ’(r2 – t2)/2π
Hence δ(r2 – t2 – 4G/3π) + O(G2)
Super-luminal but Poincare invariant
Smearing of the Light-Cone
An old idea (Pauli 1956, Deser 1957)
Something quantum gravity should do
i∆[g](x;x’) = 1/{2π σ[g](x;x’)} + O(lnσ)
2
4
∫d x’ {i∆[g](x;x’)} doesn’t exist
2
4
But nΓ[dg] ∫d x’ {i∆[g](x;x’)} might
Light-cone is a quantum operator
S-luminal propagation thru fluctuations
We might (eventually) build starships
Gauge Dependence
3-Parameter Poincare invariant gauge
µ
LGRfix= -1/2a F Fµ
Fµ = ∂ hµν - b/2 ∂µh
LEMfix= -1/2c (∂µAµ)2
Πnew(x;x’) = K(a,b) Πold(x;x’)
ν
[Fnew]µν(x) = K(a,b) [Fold]µν(x)
2
K = -3a/2 (3b -12b+8)/(b-2)2 – 1/2(b-2)2
Dynamical gravitons contribute nothing!
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
Summary
νµ
∂νF (x) +
νµ
µ
Π(x;x’)∂’νF (x’) = J (x)
Π = G/(24π) ∂6 {θ(∆t-∆r) [ln[µ2(∆t2-∆r2)] - 1]} + O(G2)
Dynamical photons unchanged
Φ(r) q/(4πr) [1 + 2G/(3πr2) + O(G2)]
Pulse r2 = t2 + 4G/3π + O(G2)
∫d4x’
NB Poincare invariance inevitable in pert.
Gauge dependence requires work
But S-matrix results gauge independent
Overlaps with LQG
SK field eqns can be used like Maxwell
Releasing ΨL,R at t=0 need int. state
But only perturbatively to some order
Gauge dependence inv. Observables
Finite space & time, not just scattering
Essential for cosmology!
But again, only perturbatively
And can use initial value surface
Perhaps we can converge?