REVIEW
Quantum Spin Dynamics (QSD) II
General Relativity and Quantum Cosmology · Submitted 29 Jun 1996 · 24 references
Pith's verdict: A careful, honest continuation paper: the kernel classification and the symmetry lemma are real work, the Euclidean self-adjointness proof is nearly complete, and the Lorentzian case is openly left as a program.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A modified loop assignment makes the Wheeler–DeWitt constraint operator of four-dimensional Lorentzian quantum gravity symmetric on a dense domain, gives it self-adjoint extensions, and pins down its exact kernel
The reading
What carries the argument
The load-bearing device is the notion of a smooth exceptional edge together with Lemma 3.1. A vertex is called exceptional when it has at least valence three, all incident edges have co-linear tangents, and exactly two of them join analytically; an edge joining two such vertices is exceptional, and it is smooth-exceptional when it meets the analytic edges in a $C^∞$ fashion. Because such an edge cannot itself be analytic, it acts as a permanent marker: the constraint's loop assignment for any graph in the family $Γ_e(γ)$ restricted to the analytic skeleton reduces to the assignment for $γ$. Lemma 3.1 supplies the vanishing: for $v$ in $V(γ') - V(γ)$ the volume operator term $V_v$ kills the contribution, since all edges at $v$ have co-linear tangents, so the constraint simply ignores the extra vertices. The second device is the conjugation $k = P c$ built from the exceptional-edge spin operator $J_e = √{(1/4) - Δ_e} - 1/2$, which makes $H^E$ commute with an anti-linear norm-preserving involution and therefore forces equal deficiency indices.
Extended reading notes
Core claim
The central claim is that the Wheeler–DeWitt constraint admits a version that is a genuine symmetric operator on the whole Hilbert space rather than merely a formal expression, and that this is achieved by changing the triangulation rather than the factor ordering. Thiemann shows that the obstruction to symmetry is structural: because the regulated constraint appends arcs to the graph a cylindrical function lives on, the loop assignment for $f_γ$ and for $γ' = γ ∪ a_{ij}(Δ)$ can never agree, so the two matrix elements $<g_{γ'}, H^E_γ(N) f_γ>$ and $<H^E_{γ'}(N) g_{γ'}, f_γ>$ fail to match. The fix is to require each arc $a_{ij}(Δ)$ to join its two segments in at least a $C^1$ fashion, making it a kink and, once it is smooth but not analytic, a smooth exceptional edge; Lemma 3.1 then shows that the vertices such edges introduce all have co-linear incident tangents, hence are annihilated by the volume operator, hence $H^E_{γ'} f = H^E_γ f$ and symmetry follows. Existence of self-adjoint extensions is proved with von Neumann's theorem using the conjugation $k = P c$, where $c$ is complex conjugation and $P$ multiplies each exceptional edge by $e^{2π i J_e}$, a parity that flips sign exactly when the constraint shifts that edge's spin by $1/2$.
Load-bearing premise
The claim that the non-symmetric operator has no non-trivial distributional solutions beyond the co-planar-vertex states is argued from a single worked trivalent example and from the observation that the resulting graphs are topologically distinct, and the paper itself calls the completeness of that kernel a conjecture.
Editorial extensions
If this is right
- The kernel of the non-symmetric Lorentzian constraint is exactly the space spanned by group-averaged spin networks in the sets $W_0$ and $W^{(n)}(w_0)$, with a physical inner product $<[f],[f']>_{phys} = [f](f')$ induced by the group-averaging measure.
- Every Lorentzian solution also solves the Euclidean constraint, because the two parts $H^E$ and $T$ of $H$ must vanish separately.
- With the symmetric operator, repeated action of the constraint keeps a graph inside a finite family $Γ_e(γ)$, so the spectral problem on diffeomorphism-invariant states reduces to a separable Hilbert space with finitely many degrees of freedom.
- Because the constraint acts only on spin labels and the diffeomorphism constraint only on the graph, the constraint algebra of the symmetric Hamiltonian constraint is effectively Abelian, which is what makes the unitary operators $U[\vec N] = \prod_v e^{iN_v H_v}$ and group averaging available.
- The generator of the Wick rotation from the Euclidean to the Lorentzian regime also has self-adjoint extensions, so the formal relation $H = p W^{-1} H^E W$ with $W = e^{-C/\hbar}$ can at least be posed, subject to domain questions.
Reading between the lines
- If the symmetric construction survives scrutiny, the practical bottleneck moves entirely to the volume operator: the spectrum of the constraint at a vertex is largely fixed by the spectrum of $V$, so the programme's near-term testability rests on the matrix elements computed in the companion volume-operator work.
- The author's own worry about leaving the analytic category is worth taking seriously as a research direction: cylindrical functions on extended graphs do not form an algebra, so one could ask whether an alternative repair keeps analyticity by enlarging the graph category once and for all rather than by marking individual edges.
- The conjecture that the co-planar-vertex states are the complete zero-eigenvalue kernel is stated as a conjecture; a direct computation on a four-valent vertex with three linearly independent tangents would settle whether the kernel is really that small.
- The comparison with the earlier zero-eigenvalue solutions suggests a concrete check: those states are annihilated by the volume operator, so if the present operator annihilates them too, the two approaches agree on a common subspace and disagree only on what else is in the kernel.
Original abstract
We continue here the analysis of the previous paper of the Wheeler-DeWitt constraint operator for four-dimensional, Lorentzian, non-perturbative, canonical vacuum quantum gravity in the continuum. In this paper we derive the complete kernel, as well as a physical inner product on it, for a non-symmetric version of the Wheeler-DeWitt operator. We then define a symmetric version of the Wheeler-DeWitt operator. For the Euclidean Wheeler-DeWitt operator as well as for the generator of the Wick transform from the Euclidean to the Lorentzian regime we prove existence of self-adjoint extensions and based on these we present a method of proof of self-adjoint extensions for the Lorentzian operator. Finally we comment on the status of the Wick rotation transform in the light of the present results.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We continue here the analysis of the previous paper of the Wheeler-DeWitt constraint operator for four-dimensional, Lorentzian, non-perturbative, canonical vacuum quantum gravity in the continuum. In this paper we derive the complete kernel, as well as a physical inner product on it, for a non-symmetric version of the Wheeler-DeWitt operator. We then define a symmetric version of the Wheeler-DeWitt operator. For the Euclidean Wheeler-DeWitt operator as well as for the generator of the Wick transform from the Euclidean to the Lorentzian regime we prove existence of self-adjoint extensions and based on these we present a method of proof of self-adjoint extensions for the Lorentzian operator. Finally we comment on the status of the Wick rotation transform in the light of the present results.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We continue here the analysis of the previous paper of the Wheeler-DeWitt constraint operator for four-dimensional, Lorentzian, non-perturbative, canonical vacuum quantum gravity in the continuum. | background 0.99 | 0.41 | 0.03 | asserted 0.81 |
| s1 | In this paper we derive the complete kernel, as well as a physical inner product on it, for a non-symmetric version of the Wheeler-DeWitt operator. | result 0.53 | 0.97 | 0.55 | asserted 1.00 |
| s2 | We then define a symmetric version of the Wheeler-DeWitt operator. | contribution 0.90 | 0.94 | 0.06 | asserted 0.97 |
| s3 | For the Euclidean Wheeler-DeWitt operator as well as for the generator of the Wick transform from the Euclidean to the Lorentzian regime we prove existence of self-adjoint extensions and based on these we present a method of proof of self-adjoint extensions for the Lorentzian operator. | result 0.64 | 0.93 | 0.25 | asserted 1.00 |
| s4 | Finally we comment on the status of the Wick rotation transform in the light of the present results. | interpretation 0.97 | 0.68 | 0.08 | unclear 0.86 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
34 arXiv papers cite this in 60 sentences
Papers citing it · 40 sentences without a confident label
Builds on it 1 paper
-
The construction of a set of rigorously defined solutions to the diffeomorphism and the Hamiltonian constraint described in [ref] thus immediately generalises to our case.
New Variables for Classical and Quantum Gravity in all Dimensions III. Quantum Theory · Solution of the Hamiltonian Constraint · 1.00
Uses its method or tool 2 papers
-
In order to avoid this problem, Thiemann proposes [ref] to use a set of bounded variables for quantizing Higgs scalars.
Matter in Loop Quantum Gravity · Compact scalars · 0.82
-
The quantization strategy we will describe in the following is due to Thiemann [ref] , but draws on important earlier work and ideas by Rovelli, Smolin, Lewandowski and others.
From Classical To Quantum Gravity: Introduction to Loop Quantum Gravity · The quantum Hamilton constraint · 0.90
Compares with it 1 paper
-
The approximation used in [ref] is $Im(A(β)) ≈ϵ^2F_ab^jτ_j+𝒪(ϵ^4)$, while the other one - which is in case of a flat background metric equivalent - is $Re(A(β)) ≈d_n +ϵ^4 F_ab^iF_i^ab + 𝒪(ϵ^6)$.
Towards the fundamental spectrum of the Quantum Yang-Mills Theory · Quantum Einstein-Yang-Mills-Theory · 0.89
Cites it as background 12 papers
-
In this section we review the quantization of Hamiltonian constraint, as proposed by Thiemann in [ref] .
Lessons from Toy-Models for the Dynamics of Loop Quantum Gravity · Quantum Hamiltonian constraint: Thiemann's definition · 0.84
-
In the formulation of general relativity in terms of real SU(2) connection, Thiemann discussed loop quantization of standard model fields [ref] .
Matter in Loop Quantum Gravity · Fermions · 0.88
-
These multipole operators provide a further tool to probe the geometry of spin networks, on top of the standard area operators, volume operators playing a crucial role in the quantization of the Hamiltonian constraints à la Thiemann [ref] and $(N)$-operators which define basic exchange of quanta of areas between spin network edges [ref] .
Probing the Shape of Quantum Surfaces: the Quadrupole Moment Operator · Introduction · 0.94
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.