Now moving from 1+1D to 2D!
Live blogging: Dittrich
Now moving from 1+1D to 2D!
Now moving from 1+1D to 2D!
How do we get a vacuum of a statistical system? Dittrich has the answer.
More boxes. Lots more boxes!
We can embed a discrete state into a contiuum theory and describe those states as equivalence classes of states in that theory.
Cylindrical consistency ensures that the result of a computation (e.g. an inner product, an expectation value) does not depend on which representative one chooses. This gives us a contiuum theory!
Huggett: where does the cylinder come in? Artefact from QFT!
How do we embed? embeddings should be determined by the dynamics of the theory; and fine- and coarse graining should play a role!
ad 2). What is vacuum?
It surely isn’t a simple object. Maybe one of the following?
– lowest-energy state
– invariant under symmetries of the background space-time
– encode the geometry of Minkowski space
– cyclic state which generates the Fock space.
In LQG, we have a kinematical vacuum. (Simple: it’s a box!)
In all seriousness: It’s a peculiar state. In LQG, it’s maximally squeezed state, in the sense that all spatial geometry operators have zero expectation value on it, and zero fluctuations! It’s a state of no spatial geometry. Truly nothing!
As in non-gravitational quantum theory, we can build a highly excited state from the vacuum by applying loads of ‘creation operators’, based on graphs.
The LQG representation of the kinematical observable algebra is unique! I.e., it is
– cyclic
– irreducible, and it
– carries a representation of spatial diffeos.
Thus:
– relational observables solve the problem of time in many situations;
– are useful, especially for quantum cosmology;
BUT, Dittrich asks: What do we measure if there is no space-time?
We have aether theories on the one side, and “emergence of spacetime” approaches on the other. No clear winner at this point.
More difficult example (due to Dittrich & Tambornino): Two-point function of scalar field relative to (four) clock scalars.
where G is the Green’s function on fixed background.
The resolution limit for degrees of freedom depends on the energy of clocks: the higher the energy, the higher the resolution.
There is general amusement at the proposal for “fashionable” clocks: Just change clocks whenever necessary!
But what is aether, really?
Some special properties include
– not being detectable
– not interacting with other matter
– has a peculiar non-relativistic kinetic term (linear and not quadratic dependence on momentum)
An example is the time-of-arrival operator, à la Aharanov & Unruh. With additional uncertainty relation, this can be quantised!
Aether for quantum gravity?! Dittrich says yes!
On the aether approach, we add the clocks to the system, by way of
– Gaussian reference fluids
– (honest) aether)
– dust proposals.
Huggett: Does the aether introduce some parameter? Dittrich: Aether is a bit more subtle, aether is just a vector field that is hypersurface-orthogonal and provides a slicing of the manifold.
Sudarski: does this break Lorentz-invariance? Dittrich seems willing to bite the bullett, although she describes this as a “diffeomorphism-invariant way” to break Lorentz invariance. This blogger, for one, is puzzled!
Yet, relational observables find wide application.
The solution to the clock problem is deparametrisation, which gives us a one-parameter family of gauge fixings, which serves as a nice system of clocks.
Example: longitudinal gauge for flat/homogenous spacetimes.
Dittrich discusses the “naive” solution of relational observables.
Spatial positions together with time co-ordinates are observables, as in:
“Position of particle at 5pm” is an observable.
But this is problematic:
a) In QG we do pre- or postdictions, seemingly incompatible
b) What are good clocks?