90 likes | 278 Views
Review: Relational Observables in Quantum Gravity. Donald Marolf UCSB May 23, 2007. Classical gravity is non-local?. 1. Diffeomorphism Invariance means no local observables: E.g., df = f, m x m . 2. Constraints! E.g., can measure H at boundary.
E N D
Review: Relational Observables in Quantum Gravity Donald Marolf UCSB May 23, 2007
Classical gravity is non-local? 1. Diffeomorphism Invariance means no local observables: E.g., df = f,mxm . 2. Constraints! E.g., can measure H at boundary. But “easy” to gauge fix.Use “physical” coordinates attached to reference structure; E.g. GPS frame near earth. Physical information is relational.Equations remain local (hyperbolic). Note: may use arbitrarily small ripple …or asymptotic boundary (Minkowski,AdS) Classical gauge fixing fails only when both i. spacetime has symmetries and ii. Cauchy surfaces are compact. Generically, classical gravity is effectively local.
Quantum Gravity • How local is it? • Can one repeat the relational story?(perturbative gravity, toy models) • In which quantum states can one gauge fix? • Can one explore locality without gauge-fixing? Classical gauge fixing fails only when both i. spacetime has isometries and ii. Cauchy surfaces are compact.
Relational Observables Relational info vs. Relational Observables (Operators) Observable: A gauge-invariant self-adjoint operator on the Hilbert space. Relational Observable: An observable which captures relational information. Canonical Example: 1+1 free relativistic particle toy model 0 = H = -PT2 + PX2 + m2 X(l) = X0 + PXl , T(l) = T0 + PTl l = proper time, residual gauge symmetry: l l + const A Classical Relational Observable: X when T = t [X]T=t = X0 + (t-T0)PX/PT = X+ (t-T)PX/PT Any quantum observable with such a classical limit is a relational quantum observable. E.g., different factor orderings of T/PT give different quantum relational observables with the same classical limit.
More complicated examples? • Solving dynamics is hard… • Generalize? E.g., in [X]T=t, why force T = t precisely? Single Integral Obsevables O = A(x) for some density A(x). M E.g., for free particle take A(l) = X(l) d(T – t) dT/dl get O = [X]T=t or smear out… f take A(l) = X(l) f(T – t) dT/dl get O = [X]T ~ t
Field Theory Single Integral Obsevables O = A(x) for some density A(x). M f Reference Fields:(Z-model) Given scalars Za (a=1,..,d) and f, take A(x) = f(x) f(Za-za) |dZb/dxc| getO = [f]Za~za most useful in states w/ nice Z’s, but defined more generally Reference Particles: Given scalarsf,b,g take A(x) = -g f(x) b2(x) g2(x) If |y> has 1 b-particle and 1 g-particle,expect <y|O|y> to describe f where they meet! g b Protolocal observables
Results (Giddings, Marolf, Hartle) Without Gravity: In a limit, protolocal correlators local correlators. However, requires large energy density! With Gravity (and avoid grav collapse): ``Instrument’’ a region R of finite size R Best resolution is R Dx ~ (Lp(d-2)R2)1/d, # of cells ~ (R/Lp)(d-2)(d-1)/d << (R/Lp)(d-2) Note: Region R need not be entire universe U. However, vacuum noise can be large when U is exponentially large! <y1|O1O2|y2> = dx1 dx2 <y1|A1(x1)A2(x1)|y2> ~ dx1 dx2 <0|A1(x1)A2(x1)|0> Boltzmann ~ const x Vol(U) Note: const = 0 in pert. theory about static spacetimes. AdS, Minkowski may be OK, but not dS.
now more from Mike Gary…..