Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

A Realist Interpretation of Unitarity in Quantum Gravity

Indrajit Sen isen@clemson.edu Institute for Quantum Studies, Chapman University One University Drive, Orange, CA, 92866, USA    Stephon Alexander stephon_alexander@brown.edu Brown Theoretical Physics Center, Department of Physics, Brown University, Providence, Rhode Island 02912, USA    Justin Dressel dressel@chapman.edu Institute for Quantum Studies, Chapman University One University Drive, Orange, CA, 92866, USA
Abstract

Unitarity is a difficult concept to implement in canonical quantum gravity because of state non-normalizability and the problem of time. We take a realist approach based on pilot-wave theory to address this issue in the Ashtekar formulation of the Wheeler-DeWitt equation. We use the postulate of a definite configuration in the theory to define a global time for the gravitational-fermionic system recently discussed in (Phys. Rev. D 106.10 (2022): 106012), by parameterizing a variation of a Weyl-spinor that depends on the Kodama state. The total Hamiltonian constraint yields a time-dependent Schrodinger equation, without semi-classical approximations, which we use to derive a local continuity equation over the configuration space. We implement the reality conditions at the level of the guidance equation, and obtain a real spin-connection, extrinsic curvature and triad along the system trajectory. We obtain quantum corrections to deSitter spacetime from the guidance equation. The non-normalizable Kodama state is naturally factored out of the full quantum state in the conserved current density, opening the possibility for quantum-mechanical unitarity. We also give a pilot-wave generalisation of the notion of unitarity applicable to non-normalizable states, and show the existence of equilibrium density for our system. Lastly, we find unitary states in mini-superspace by finding an approximate solution to the Hamiltonian constraint.

I Introduction

Quantum gravity effects may become important in regimes where quantum fluctuations of the gravitational field and high curvature coincide, such as close to the classical big bang and black hole singularities. In such situations and given the perturbative non-renormalizibility of quantum gravity, a non-perturbative treatment is a desired option. A conservative approach to quantization is a Schrodinger quantization, such as the Wheeler-DeWitt equation (WDW) dewitt1 . The WDW equation is non-polynomial in the metric variables and is difficult to solve. Progress was made with the Ashtekar variables which rendered the WDW equation polynomial in the configuration variables asstaker86 .

A major leap in progress was found by Kodama by solving the WDW equation of general relativity in terms of the Ashtekar connection kodamaginal . This solution, called the Chern-Simons Kodama (CSK) is an exact wavefunction that solves the quantum WDW equation for a positive cosmological constant. It was shown that this Chern-Simons Kodama state consistently reduces to the Hartle-Hawking-Vilenkin state of de-Sitter space, and contains a multitude of other solutions, including black-hole quantum spacetimes Magueijo:2020ugp ; genk . Recently, an exact CSK state was found with the inclusion of fermions Alexander:2022vpn .

Despite this success, the CSK state as well as other formulations of the WDW equation, is fraught with conceptual and technical problems that all approaches to the WDW suffer isham93 ; lip ; choriz . Since time evolution is a gauge redundancy, the CSK state is timeless. Also, the Lorentzian CSK state is non-normalizable for the naive-inner product, although a recent proposal for a new non-perturbative inner product was proposed Laurent . The twin problems of time and non-normalizability make the definition of unitarity murky. Another issue is that the non-normalizable part of the Kodama state, when linearized yields gravitons with negative energy in its spectrum. These problems are to be expected since the CSK state is background independent and a proposed ground state. In this work, we address the interconnected problems of time, normalizability and unitarity by recasting the WDW equation in the Ashtekar formalism using pilot-wave theory bohm1 ; bohm2 ; solventini ; hollandbook ; bell , which is a realist formulation of quantum mechanics.

Our approach introduces three new ideas to attack these problems. First, we use the postulate of a definite configuration in pilot-wave to define for the first time a real, relational time in terms of variation of massless fermionic field. This allows us to discuss time evolution of the quantum state, which is shown to follow a Schrodinger equation, without using semi-classical approximations. Second, we approach the question of unitarity by deriving a continuity equation over the configuration space, instead of using operator valued reality conditions. This enables us to find a locally conserved current density on the configuration space and thereby discuss unitarity from quantum-mechanical perspective. Third, we also generalize the notion of unitarity from pilot-wave perspective, which allows us to discuss unitarity without imposing normalizability.

The article is structured as follows. In section II we give an introduction to the Ashtekar formalism and the Kodama state. We give an introduction to field-theoretic pilot-wave theory with a brief discussion of complex massive scalar field in section III. In section IV, we develop a pilot-wave formulation of the gravitational-fermionic system in Alexander:2022vpn , making use of some of the ideas developed in inprep . We first introduce a global time that parameterizes a particular variation of the fermionic field and then derive the continuity equation and corresponding current density in IV.1. We discuss the physical interpretation in IV.2, including normalizability in IV.2.1, guidance equation for the Ashtekar connection in IV.2.2, and reality conditions in IV.2.3. We discuss the notion of unitarity in our approach in section V. We discuss quantum-mechanical unitarity using our continuity equation in V.1, a generalized notion of unitarity using pilot-wave in V.2, and the existence of pilot-wave unitary states in mini-superspace in V.3.2. We discuss our results and future directions in VI.

II The Ashtekar Formalism and the CSK State

In pursuit of a Wheeler-DeWitt quantization of gravity, it is instructive to understand how the Ashtekar connection and the resulting Hamiltonian, diffeomorphism, and gauge constraints emerge from a manifestly covariant 4D theory of gravity. In what follows we closely follow the derivation of the Ashtekar variables in the work of Alexander:2022vpn . In the Ashtekar formalism asstaker86 ; asslake , gravitational dynamics on a four-dimensional manifold 4subscript4{\cal M}_{4}caligraphic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT is not described by a metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT but,111We use the mostly plus metric signature, i.e. ημν=(,+,+,+)subscript𝜂𝜇𝜈\eta_{\mu\nu}=(-,+,+,+)italic_η start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = ( - , + , + , + ) in units of c=1𝑐1c=1italic_c = 1. We use boldface letters 𝐱𝐱\mathbf{x}bold_x to indicate 3-vectors, and we use x𝑥xitalic_x to denote 4-vectors. Conventions for curvature tensors, covariant and Lie derivatives are all taken from Carroll carroll04 . Greek indices (μ,ν,)\mu,\nu,\ldots)italic_μ , italic_ν , … ) denote spacetime indices, Latin indices (a,b,)𝑎𝑏(a,b,\ldots)( italic_a , italic_b , … ) denote spatial indices, and Latin indices (I,J,)𝐼𝐽(I,J,\ldots)( italic_I , italic_J , … ) and (i,j,)𝑖𝑗(i,j,\ldots)( italic_i , italic_j , … ) denote indices for the internal space ranging from 0, \ldots 3 for the former and 1, \ldots 3 for the latter. rather, a real-valued gravitational field eμI(x)superscriptsubscript𝑒𝜇𝐼𝑥e_{\mu}^{I}(x)italic_e start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ( italic_x ), mapping a vector vμsuperscript𝑣𝜇v^{\mu}italic_v start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT in the tangent space of 4subscript4{\cal M}_{4}caligraphic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT at the point x𝑥xitalic_x into Minkowski spacetime M4subscript𝑀4M_{4}italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT [with metric ηIJ=diag(1,1,1,1)IJsubscript𝜂𝐼𝐽diagsubscript1111𝐼𝐽\eta_{IJ}={\rm diag}(-1,1,1,1)_{IJ}italic_η start_POSTSUBSCRIPT italic_I italic_J end_POSTSUBSCRIPT = roman_diag ( - 1 , 1 , 1 , 1 ) start_POSTSUBSCRIPT italic_I italic_J end_POSTSUBSCRIPT]. Locally, the metric on 4subscript4{\cal M}_{4}caligraphic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT is gμν=ηIJeμIeνJsubscript𝑔𝜇𝜈subscript𝜂𝐼𝐽superscriptsubscript𝑒𝜇𝐼superscriptsubscript𝑒𝜈𝐽g_{\mu\nu}=\eta_{IJ}e_{\mu}^{I}e_{\nu}^{J}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = italic_η start_POSTSUBSCRIPT italic_I italic_J end_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT italic_e start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT.

The Lorentz connection ωμIJ\tensor{\omega}{{}_{\mu I}^{J}}over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_μ italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT is ωIJωdxμμIJ\tensor{\omega}{{}_{I}^{J}}\equiv\tensor{\omega}{{}_{\mu I}^{J}}\differential{% x^{\mu}}over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT ≡ over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_μ italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT roman_d start_ARG italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_ARG, dωIJμωdxμνIJdxν\differential{\tensor{\omega}{{}_{I}^{J}}}\equiv\partial_{\mu}\tensor{\omega}{% {}_{\nu I}^{J}}\differential{x^{\mu}}\wedge\differential{x^{\nu}}roman_d start_ARG over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT end_ARG ≡ ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_ν italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT roman_d start_ARG italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_ARG ∧ roman_d start_ARG italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT end_ARG is the exterior derivative, and the curvature of ω𝜔\omegaitalic_ω is R=IJdωIJ+ωIKωKJ\tensor{R}{{}_{I}^{J}}=\differential{\tensor{\omega}{{}_{I}^{J}}}+\tensor{% \omega}{{}_{I}^{K}}\wedge\tensor{\omega}{{}_{K}^{J}}over⃡ start_ARG italic_R end_ARG start_FLOATSUBSCRIPT italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT = roman_d start_ARG over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT end_ARG + over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_I end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT ∧ over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_K end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT. The action of self-dual gravity is (up to the gravitational constant 8πG8𝜋𝐺8\pi G8 italic_π italic_G)

S=132πG4[(eIeJ)RIJ+ieIeJRIJΛ6ϵIJKLeIeJeKeL],𝑆132𝜋𝐺subscriptsubscript4absentsuperscript𝑒𝐼superscript𝑒𝐽subscript𝑅𝐼𝐽𝑖superscript𝑒𝐼superscript𝑒𝐽subscript𝑅𝐼𝐽Λ6subscriptitalic-ϵ𝐼𝐽𝐾𝐿superscript𝑒𝐼superscript𝑒𝐽superscript𝑒𝐾superscript𝑒𝐿S=\frac{1}{32\pi G}\int_{{\cal M}_{4}}\quantity[*(e^{I}\wedge e^{J})\wedge R_{% IJ}+ie^{I}\wedge e^{J}\wedge R_{IJ}-\frac{\Lambda}{6}\epsilon_{IJKL}e^{I}% \wedge e^{J}\wedge e^{K}\wedge e^{L}]\,,italic_S = divide start_ARG 1 end_ARG start_ARG 32 italic_π italic_G end_ARG ∫ start_POSTSUBSCRIPT caligraphic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ start_ARG ∗ ( italic_e start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ∧ italic_e start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT ) ∧ italic_R start_POSTSUBSCRIPT italic_I italic_J end_POSTSUBSCRIPT + italic_i italic_e start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ∧ italic_e start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT ∧ italic_R start_POSTSUBSCRIPT italic_I italic_J end_POSTSUBSCRIPT - divide start_ARG roman_Λ end_ARG start_ARG 6 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_I italic_J italic_K italic_L end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ∧ italic_e start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT ∧ italic_e start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT ∧ italic_e start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT end_ARG ] , (1)

where * is the Hodge dual, the first term is the Hilbert-Palatini action and the second is the Holst term (proportional to the first Bianchi identities in the absence of torsion).

Here we are interested in the Hamiltonian formulation in Ashtekar variables asstaker86 ; asstaker87 . In the gauge choice eμ0=0subscriptsuperscript𝑒0𝜇0e^{0}_{\mu}=0italic_e start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = 0, it is convenient to define the densitized triad Eia=ϵijkϵabcebjecksubscriptsuperscript𝐸𝑎𝑖subscriptitalic-ϵ𝑖𝑗𝑘superscriptitalic-ϵ𝑎𝑏𝑐subscriptsuperscript𝑒𝑗𝑏subscriptsuperscript𝑒𝑘𝑐E^{a}_{i}=\epsilon_{ijk}\epsilon^{abc}e^{j}_{b}e^{k}_{c}italic_E start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, which is conjugate to the self-dual connection

Aai(x)12ϵωkijajkiω.a0iA_{a}^{i}(x)\equiv-\frac{1}{2}\tensor{\epsilon}{{}^{ij}_{k}}\tensor{\omega}{{}% _{aj}^{k}}-i\tensor{\omega}{{}_{a0}^{i}}.italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_x ) ≡ - divide start_ARG 1 end_ARG start_ARG 2 end_ARG over⃡ start_ARG italic_ϵ end_ARG start_FLOATSUPERSCRIPT italic_i italic_j end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_a italic_j end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - italic_i over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_a 0 end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT . (2)

As the Lorentz connection (and, in particular, the spin connection Γai12ϵωkijajk\Gamma_{a}^{i}\equiv-\tfrac{1}{2}\tensor{\epsilon}{{}^{ij}_{k}}\tensor{\omega}% {{}_{aj}^{k}}roman_Γ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≡ - divide start_ARG 1 end_ARG start_ARG 2 end_ARG over⃡ start_ARG italic_ϵ end_ARG start_FLOATSUPERSCRIPT italic_i italic_j end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over⃡ start_ARG italic_ω end_ARG start_FLOATSUBSCRIPT italic_a italic_j end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT) is real, A𝐴Aitalic_A is complex-valued and obeys the reality conditions (for a discussion, see e.g., Kuchar93 )

Aai+Aai¯=2Γai[E],Eai=Eai¯formulae-sequencesuperscriptsubscript𝐴𝑎𝑖¯superscriptsubscript𝐴𝑎𝑖2superscriptsubscriptΓ𝑎𝑖delimited-[]𝐸superscriptsubscript𝐸𝑎𝑖¯superscriptsubscript𝐸𝑎𝑖A_{a}^{i}+\overline{A_{a}^{i}}=2\Gamma_{a}^{i}[E]\,,\\ E_{a}^{i}=\overline{E_{a}^{i}}italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + over¯ start_ARG italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG = 2 roman_Γ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT [ italic_E ] , italic_E start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = over¯ start_ARG italic_E start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG (3)

where X¯¯𝑋\overline{X}over¯ start_ARG italic_X end_ARG denotes complex conjugate of X𝑋Xitalic_X and the spin connection solves the equation de+Γ[E]e=0𝑒Γdelimited-[]𝐸𝑒0\differential{e}+\Gamma[E]\wedge e=0roman_d start_ARG italic_e end_ARG + roman_Γ [ italic_E ] ∧ italic_e = 0.

The Poisson bracket of the elementary variables A𝐴Aitalic_A and E𝐸Eitalic_E is

{Aai(𝐱,t),Ejb(𝐲,t)}=i8πGδabδjiδ(𝐱𝐲).poisson-bracketsuperscriptsubscript𝐴𝑎𝑖𝐱𝑡superscriptsubscript𝐸𝑗𝑏𝐲𝑡𝑖8𝜋𝐺superscriptsubscript𝛿𝑎𝑏superscriptsubscript𝛿𝑗𝑖𝛿𝐱𝐲\poissonbracket{A_{a}^{i}(\mathbf{x},t)}{E_{j}^{b}(\mathbf{y},t)}=i8\pi G% \delta_{a}^{b}\delta_{j}^{i}\delta({\mathbf{x}}-{\mathbf{y}})\,.{ start_ARG italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( bold_x , italic_t ) end_ARG , start_ARG italic_E start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( bold_y , italic_t ) end_ARG } = italic_i 8 italic_π italic_G italic_δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_δ ( bold_x - bold_y ) . (4)

Introducing the ”magnetic” field and the gauge field strength

Baisuperscript𝐵𝑎𝑖\displaystyle\ B^{ai}italic_B start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT \displaystyle\equiv 12ϵabcFbci,12superscriptitalic-ϵ𝑎𝑏𝑐superscriptsubscript𝐹𝑏𝑐𝑖\displaystyle\frac{1}{2}\epsilon^{abc}F_{bc}^{i}\,,divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , (5)
Fabksuperscriptsubscript𝐹𝑎𝑏𝑘\displaystyle F_{ab}^{k}italic_F start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT =\displaystyle== aAbkbAak+(8πG)ϵAaiijkAbj,subscript𝑎superscriptsubscript𝐴𝑏𝑘subscript𝑏superscriptsubscript𝐴𝑎𝑘8𝜋𝐺italic-ϵsubscriptsuperscriptsuperscriptsubscript𝐴𝑎𝑖𝑘𝑖𝑗superscriptsubscript𝐴𝑏𝑗\displaystyle\partial_{a}A_{b}^{k}-\partial_{b}A_{a}^{k}+(8\pi G)\tensor{% \epsilon}{{}_{ij}^{k}}A_{a}^{i}A_{b}^{j}\,,∂ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - ∂ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + ( 8 italic_π italic_G ) over⃡ start_ARG italic_ϵ end_ARG start_FLOATSUBSCRIPT italic_i italic_j end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT , (6)

Now, let us construct the CSK state by solving the Wheeler-DeWitt equation. Given the Hamiltonian

WDW=ϵijkEaiEbj(Fabk+Λ3ϵabcEck),subscript𝑊𝐷𝑊subscriptitalic-ϵ𝑖𝑗𝑘superscript𝐸𝑎𝑖superscript𝐸𝑏𝑗subscriptsuperscript𝐹𝑘𝑎𝑏Λ3subscriptitalic-ϵ𝑎𝑏𝑐superscript𝐸𝑐𝑘\mathcal{H}_{WDW}=\epsilon_{ijk}E^{ai}E^{bj}\quantity(F^{k}_{ab}+\frac{\Lambda% }{3}\epsilon_{abc}E^{ck}),caligraphic_H start_POSTSUBSCRIPT italic_W italic_D italic_W end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_b italic_j end_POSTSUPERSCRIPT ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_c italic_k end_POSTSUPERSCRIPT end_ARG ) , (7)

which acts on some wave function ψ[A]𝜓delimited-[]𝐴\psi[A]italic_ψ [ italic_A ], and we want to find the form of ψ[A]𝜓delimited-[]𝐴\psi[A]italic_ψ [ italic_A ] that is annihilated by (7). Applying the regular canonical quantization procedure, i.e.

E^ai8πG𝛿𝛿Aai,superscript^𝐸𝑎𝑖8𝜋𝐺Planck-constant-over-2-pifunctional-derivativesubscript𝐴𝑎𝑖\hat{E}^{ai}\rightarrow 8\pi G\hbar\functionalderivative{A_{ai}},over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT → 8 italic_π italic_G roman_ℏ start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP , (8)

the annihilation of the quantum state becomes

^WDWψ[A]=(8πG)2ϵijk𝛿𝛿Aai𝛿𝛿Abj(Fabk+8πGΛ3ϵabc𝛿𝛿Ack)ψ[A]=0.subscript^𝑊𝐷𝑊𝜓delimited-[]𝐴superscript8𝜋𝐺Planck-constant-over-2-pi2subscriptitalic-ϵ𝑖𝑗𝑘functional-derivativesubscript𝐴𝑎𝑖functional-derivativesubscript𝐴𝑏𝑗subscriptsuperscript𝐹𝑘𝑎𝑏8𝜋𝐺Planck-constant-over-2-piΛ3subscriptitalic-ϵ𝑎𝑏𝑐functional-derivativesubscript𝐴𝑐𝑘𝜓delimited-[]𝐴0\widehat{\mathcal{H}}_{WDW}\psi[A]=(8\pi G\hbar)^{2}\epsilon_{ijk}% \functionalderivative{A_{ai}}\functionalderivative{A_{bj}}\quantity(F^{k}_{ab}% +\frac{8\pi G\hbar\Lambda}{3}\epsilon_{abc}\functionalderivative{A_{ck}})\psi[% A]=0.over^ start_ARG caligraphic_H end_ARG start_POSTSUBSCRIPT italic_W italic_D italic_W end_POSTSUBSCRIPT italic_ψ [ italic_A ] = ( 8 italic_π italic_G roman_ℏ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG 8 italic_π italic_G roman_ℏ roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP end_ARG ) italic_ψ [ italic_A ] = 0 . (9)

Putting the expression inside the brackets to zero, we get

ϵabc𝛿ψ𝛿Ack=38πGΛFabkψ[A].subscriptitalic-ϵ𝑎𝑏𝑐functional-derivativesubscript𝐴𝑐𝑘𝜓38𝜋𝐺Planck-constant-over-2-piΛsubscriptsuperscript𝐹𝑘𝑎𝑏𝜓delimited-[]𝐴\epsilon_{abc}\functionalderivative{\psi}{A_{ck}}=-\frac{3}{8\pi G\hbar\Lambda% }F^{k}_{ab}\psi[A].italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ start_ARG italic_ψ end_ARG end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG = - divide start_ARG 3 end_ARG start_ARG 8 italic_π italic_G roman_ℏ roman_Λ end_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_ψ [ italic_A ] . (10)

Contracting both sides with ϵdabsuperscriptitalic-ϵ𝑑𝑎𝑏\epsilon^{dab}italic_ϵ start_POSTSUPERSCRIPT italic_d italic_a italic_b end_POSTSUPERSCRIPT gives us

2δcd𝛿ψ𝛿Ack=3Pl2ΛϵdabFabkψ[A]𝛿ψ𝛿Aai=32Pl2ΛϵabcFbciψ[A],2subscriptsuperscript𝛿𝑑𝑐functional-derivativesubscript𝐴𝑐𝑘𝜓3superscriptsubscriptPl2Λsuperscriptitalic-ϵ𝑑𝑎𝑏subscriptsuperscript𝐹𝑘𝑎𝑏𝜓delimited-[]𝐴functional-derivativesubscript𝐴𝑎𝑖𝜓32subscriptsuperscript2PlΛsuperscriptitalic-ϵ𝑎𝑏𝑐subscriptsuperscript𝐹𝑖𝑏𝑐𝜓delimited-[]𝐴2\delta^{d}_{c}\functionalderivative{\psi}{A_{ck}}=-\frac{3}{\ell_{\rm Pl}^{2}% \Lambda}\epsilon^{dab}F^{k}_{ab}\psi[A]\Leftrightarrow\functionalderivative{% \psi}{A_{ai}}=-\frac{3}{2\ell^{2}_{\rm Pl}\Lambda}\epsilon^{abc}F^{i}_{bc}\psi% [A],2 italic_δ start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ start_ARG italic_ψ end_ARG end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG = - divide start_ARG 3 end_ARG start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_d italic_a italic_b end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT italic_ψ [ italic_A ] ⇔ divide start_ARG italic_δ start_ARG italic_ψ end_ARG end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG = - divide start_ARG 3 end_ARG start_ARG 2 roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT roman_Λ end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b italic_c end_POSTSUBSCRIPT italic_ψ [ italic_A ] , (11)

where Pl2=8πGsuperscriptsubscriptPl28𝜋𝐺Planck-constant-over-2-pi\ell_{\rm Pl}^{2}=8\pi G\hbarroman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 8 italic_π italic_G roman_ℏ is the Planck length. Recognizing the term multiplying the wave function to be the Chern-Simons functional, we can write down the exact solution to the Wheeler-DeWitt equation as being

ψK[A]𝒩exp(32Pl2ΛYCS[A]),subscript𝜓𝐾delimited-[]𝐴𝒩32superscriptsubscriptPl2Λsubscript𝑌CSdelimited-[]𝐴\psi_{K}[A]\equiv\mathcal{N}\exp(\frac{3}{2\ell_{\rm Pl}^{2}\Lambda}\int Y_{% \rm CS}[A]),italic_ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] ≡ caligraphic_N roman_exp ( start_ARG divide start_ARG 3 end_ARG start_ARG 2 roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG ∫ italic_Y start_POSTSUBSCRIPT roman_CS end_POSTSUBSCRIPT [ italic_A ] end_ARG ) , (12)

where 𝒩𝒩\mathcal{N}caligraphic_N is some normalization constant independent of the gauge field and

YCS[A]=Tr[AdA+23AAA]=12(AidAi+13ϵijkAiAjAk)subscript𝑌CSdelimited-[]𝐴trace𝐴𝐴23𝐴𝐴𝐴12superscript𝐴𝑖superscript𝐴𝑖13subscriptitalic-ϵ𝑖𝑗𝑘superscript𝐴𝑖superscript𝐴𝑗superscript𝐴𝑘Y_{\rm CS}[A]=\Tr[A\wedge\differential{A}+\frac{2}{3}A\wedge A\wedge A]=-\frac% {1}{2}\quantity(A^{i}\differential{A^{i}}+\frac{1}{3}\epsilon_{ijk}A^{i}A^{j}A% ^{k})italic_Y start_POSTSUBSCRIPT roman_CS end_POSTSUBSCRIPT [ italic_A ] = roman_Tr [ italic_A ∧ roman_d start_ARG italic_A end_ARG + divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_A ∧ italic_A ∧ italic_A ] = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( start_ARG italic_A start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT roman_d start_ARG italic_A start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_A start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_A start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT end_ARG ) (13)

is the Chern-Simons functional, with the trace taken in the Lie algebra. It can be said that the WKB semiclassical limit of the CSK state is de Sitter spacetime allin ,222See witten003 for criticisms of this view. with

Aai=iΛ3eΛ3tδai,Eia=e2Λ3tδia.formulae-sequencesuperscriptsubscript𝐴𝑎𝑖𝑖Λ3superscript𝑒Λ3𝑡superscriptsubscript𝛿𝑎𝑖superscriptsubscript𝐸𝑖𝑎superscript𝑒2Λ3𝑡subscriptsuperscript𝛿𝑎𝑖A_{a}^{i}=i\sqrt{\frac{\Lambda}{3}}\,e^{\sqrt{\frac{\Lambda}{3}}\,t}\delta_{a}% ^{i}\,,\qquad E_{i}^{a}=e^{2\sqrt{\frac{\Lambda}{3}}\,t}\delta^{a}_{i}\,.italic_A start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = italic_i square-root start_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG end_ARG italic_e start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG end_ARG italic_t end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT 2 square-root start_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG end_ARG italic_t end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT . (14)

Now that we have the CSK state solely in terms of the gravitational connection and the cosmological constant, we would like to explore a full nonperturbative state that also includes the fermionic Hamiltonian.

III Pilot-wave formulation of massive complex scalar field

It is helpful to begin with a discussion of pilot-wave theory with field ontology as an example (for further discussion, see bohm1 ; hollandbook ; valentiniphd ; struyvefields ). Consider a massive complex scalar field ϕ(x,t)italic-ϕ𝑥𝑡\phi(\vec{x},t)italic_ϕ ( over→ start_ARG italic_x end_ARG , italic_t ) on flat space-time with the Lagrangian density =μϕ¯μϕm2ϕ¯ϕsuperscript𝜇¯italic-ϕsubscript𝜇italic-ϕsuperscript𝑚2¯italic-ϕitalic-ϕ\mathcal{L}=\partial^{\mu}\overline{\phi}\partial_{\mu}\phi-m^{2}\overline{% \phi}\phicaligraphic_L = ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over¯ start_ARG italic_ϕ end_ARG ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ - italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG italic_ϕ end_ARG italic_ϕ, where m𝑚mitalic_m labels the mass, ϕ¯¯italic-ϕ\overline{\phi}over¯ start_ARG italic_ϕ end_ARG labels the complex conjugate of ϕitalic-ϕ\phiitalic_ϕ and the space-time metric is η=(1,1,1,1)𝜂1111\eta=(1,-1,-1,-1)italic_η = ( 1 , - 1 , - 1 , - 1 ). The conjugate momenta are π=δ/δ0ϕ=0ϕ¯𝜋𝛿𝛿subscript0italic-ϕsuperscript0¯italic-ϕ\pi=\delta\mathcal{L}/\delta\partial_{0}\phi=\partial^{0}\overline{\phi}italic_π = italic_δ caligraphic_L / italic_δ ∂ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ϕ = ∂ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT over¯ start_ARG italic_ϕ end_ARG and π¯=δ/δ0ϕ¯=0ϕ¯𝜋𝛿𝛿subscript0¯italic-ϕsuperscript0italic-ϕ\overline{\pi}=\delta\mathcal{L}/\delta\partial_{0}\overline{\phi}=\partial^{0}\phiover¯ start_ARG italic_π end_ARG = italic_δ caligraphic_L / italic_δ ∂ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT over¯ start_ARG italic_ϕ end_ARG = ∂ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT italic_ϕ. The Hamiltonian density is =πϕ+π¯ϕ¯=π¯π+ϕ¯ϕ+m2ϕ¯ϕ𝜋italic-ϕ¯𝜋¯italic-ϕ¯𝜋𝜋¯italic-ϕitalic-ϕsuperscript𝑚2¯italic-ϕitalic-ϕ\mathcal{H}=\pi\phi+\overline{\pi}\overline{\phi}-\mathcal{L}=\overline{\pi}% \pi+\vec{\nabla}\overline{\phi}\cdot\vec{\nabla}\phi+m^{2}\overline{\phi}\phicaligraphic_H = italic_π italic_ϕ + over¯ start_ARG italic_π end_ARG over¯ start_ARG italic_ϕ end_ARG - caligraphic_L = over¯ start_ARG italic_π end_ARG italic_π + over→ start_ARG ∇ end_ARG over¯ start_ARG italic_ϕ end_ARG ⋅ over→ start_ARG ∇ end_ARG italic_ϕ + italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG italic_ϕ end_ARG italic_ϕ.

To quantize the system, the canonical commutation relations are imposed macha . Working in the ϕitalic-ϕ\phiitalic_ϕ, ϕ¯¯italic-ϕ\overline{\phi}over¯ start_ARG italic_ϕ end_ARG representation, the conjugate momenta are represented by the operators π^iδ/δϕ^𝜋𝑖Planck-constant-over-2-pi𝛿𝛿italic-ϕ\hat{\pi}\to-i\hbar\delta/\delta\phiover^ start_ARG italic_π end_ARG → - italic_i roman_ℏ italic_δ / italic_δ italic_ϕ, π¯^iδ/δϕ¯^¯𝜋𝑖Planck-constant-over-2-pi𝛿𝛿¯italic-ϕ\hat{\overline{\pi}}\to i\hbar\delta/\delta\overline{\phi}over^ start_ARG over¯ start_ARG italic_π end_ARG end_ARG → italic_i roman_ℏ italic_δ / italic_δ over¯ start_ARG italic_ϕ end_ARG and the Schrodinger equation becomes

^Ψ=iΨtsubscript^Ψ𝑖Planck-constant-over-2-piΨ𝑡\displaystyle\int_{\mathcal{M}}\hat{\mathcal{H}}\Psi=i\hbar\frac{\partial\Psi}% {\partial t}∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT over^ start_ARG caligraphic_H end_ARG roman_Ψ = italic_i roman_ℏ divide start_ARG ∂ roman_Ψ end_ARG start_ARG ∂ italic_t end_ARG (15)
[2δ2Ψδϕδϕ¯+(ϕ¯ϕ+m2ϕ¯ϕ)Ψ]=iΨtabsentsubscriptsuperscriptPlanck-constant-over-2-pi2superscript𝛿2Ψ𝛿italic-ϕ𝛿¯italic-ϕ¯italic-ϕitalic-ϕsuperscript𝑚2¯italic-ϕitalic-ϕΨ𝑖Planck-constant-over-2-piΨ𝑡\displaystyle\Rightarrow\int_{\mathcal{M}}\quantity[\hbar^{2}\frac{\delta^{2}% \Psi}{\delta\phi\delta\overline{\phi}}+(\vec{\nabla}\overline{\phi}\cdot\vec{% \nabla}\phi+m^{2}\overline{\phi}\phi)\Psi]=i\hbar\frac{\partial\Psi}{\partial t}⇒ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT [ start_ARG roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ψ end_ARG start_ARG italic_δ italic_ϕ italic_δ over¯ start_ARG italic_ϕ end_ARG end_ARG + ( over→ start_ARG ∇ end_ARG over¯ start_ARG italic_ϕ end_ARG ⋅ over→ start_ARG ∇ end_ARG italic_ϕ + italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG italic_ϕ end_ARG italic_ϕ ) roman_Ψ end_ARG ] = italic_i roman_ℏ divide start_ARG ∂ roman_Ψ end_ARG start_ARG ∂ italic_t end_ARG (16)

where \mathcal{M}caligraphic_M labels the spatial manifold and Ψ[ϕ,ϕ¯,t]Ψitalic-ϕ¯italic-ϕ𝑡\Psi[\phi,\overline{\phi},t]roman_Ψ [ italic_ϕ , over¯ start_ARG italic_ϕ end_ARG , italic_t ] is a functional of ϕitalic-ϕ\phiitalic_ϕ and ϕ¯¯italic-ϕ\overline{\phi}over¯ start_ARG italic_ϕ end_ARG. Using (16) and its complex conjugate, we can prove the following continuity equation

|Ψ|2t+ϕJ+¯ϕJ¯=0superscriptΨ2𝑡subscriptitalic-ϕ𝐽subscript¯italic-ϕ¯𝐽0\displaystyle\frac{\partial|\Psi|^{2}}{\partial t}+\nabla_{\phi}J+\overline{% \nabla}_{\phi}\overline{J}=0divide start_ARG ∂ | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_t end_ARG + ∇ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT italic_J + over¯ start_ARG ∇ end_ARG start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT over¯ start_ARG italic_J end_ARG = 0 (17)

where ϕ=δ/δϕsubscriptitalic-ϕsubscript𝛿𝛿italic-ϕ\nabla_{\phi}=\int_{\mathcal{M}}\delta/\delta\phi∇ start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_δ / italic_δ italic_ϕ and

J=2i[Ψ¯δΨδϕ¯ΨδΨ¯δϕ¯]=R2δSδϕ¯𝐽Planck-constant-over-2-pi2𝑖¯Ψ𝛿Ψ𝛿¯italic-ϕΨ𝛿¯Ψ𝛿¯italic-ϕsuperscript𝑅2𝛿𝑆𝛿¯italic-ϕ\displaystyle J=\frac{\hbar}{2i}\quantity[\overline{\Psi}\frac{\delta\Psi}{% \delta\overline{\phi}}-\Psi\frac{\delta\overline{\Psi}}{\delta\overline{\phi}}% ]=R^{2}\frac{\delta S}{\delta\overline{\phi}}italic_J = divide start_ARG roman_ℏ end_ARG start_ARG 2 italic_i end_ARG [ start_ARG over¯ start_ARG roman_Ψ end_ARG divide start_ARG italic_δ roman_Ψ end_ARG start_ARG italic_δ over¯ start_ARG italic_ϕ end_ARG end_ARG - roman_Ψ divide start_ARG italic_δ over¯ start_ARG roman_Ψ end_ARG end_ARG start_ARG italic_δ over¯ start_ARG italic_ϕ end_ARG end_ARG end_ARG ] = italic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_δ italic_S end_ARG start_ARG italic_δ over¯ start_ARG italic_ϕ end_ARG end_ARG (18)

Here Ψ=ReiS/Ψ𝑅superscript𝑒𝑖𝑆Planck-constant-over-2-pi\Psi=Re^{iS/\hbar}roman_Ψ = italic_R italic_e start_POSTSUPERSCRIPT italic_i italic_S / roman_ℏ end_POSTSUPERSCRIPT and R𝑅Ritalic_R, S𝑆Sitalic_S are real time-dependent functionals of ϕitalic-ϕ\phiitalic_ϕ, ϕ¯¯italic-ϕ\overline{\phi}over¯ start_ARG italic_ϕ end_ARG. The evolution of the field is given by the guidance equation

δϕ(x)δtJ|Ψ|2=δS[ϕ,ϕ¯,t]δϕ(x)¯𝛿italic-ϕ𝑥𝛿𝑡𝐽superscriptΨ2𝛿𝑆italic-ϕ¯italic-ϕ𝑡𝛿¯italic-ϕ𝑥\displaystyle\frac{\delta\phi(\vec{x})}{\delta t}\equiv\frac{J}{|\Psi|^{2}}=% \frac{\delta S[\phi,\overline{\phi},t]}{\delta\overline{\phi(\vec{x})}}divide start_ARG italic_δ italic_ϕ ( over→ start_ARG italic_x end_ARG ) end_ARG start_ARG italic_δ italic_t end_ARG ≡ divide start_ARG italic_J end_ARG start_ARG | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_δ italic_S [ italic_ϕ , over¯ start_ARG italic_ϕ end_ARG , italic_t ] end_ARG start_ARG italic_δ over¯ start_ARG italic_ϕ ( over→ start_ARG italic_x end_ARG ) end_ARG end_ARG (19)

Equation (19) implies that the evolution of the scalar field is spatially nonlocal (over \mathcal{M}caligraphic_M). This is because S[ϕ,ϕ¯,t]𝑆italic-ϕ¯italic-ϕ𝑡S[\phi,\overline{\phi},t]italic_S [ italic_ϕ , over¯ start_ARG italic_ϕ end_ARG , italic_t ] is a functional of ϕ(x)italic-ϕ𝑥\phi(\vec{x})italic_ϕ ( over→ start_ARG italic_x end_ARG ), ϕ(x)¯¯italic-ϕ𝑥\overline{\phi(\vec{x})}over¯ start_ARG italic_ϕ ( over→ start_ARG italic_x end_ARG ) end_ARG, and thus depends on values of ϕ(x)italic-ϕ𝑥\phi(\vec{x})italic_ϕ ( over→ start_ARG italic_x end_ARG ), ϕ(x)¯¯italic-ϕ𝑥\overline{\phi(\vec{x})}over¯ start_ARG italic_ϕ ( over→ start_ARG italic_x end_ARG ) end_ARG at all x𝑥\vec{x}over→ start_ARG italic_x end_ARG in \mathcal{M}caligraphic_M in general. Also note that (19) is a local guidance equation in the configuration space (ϕ,ϕ¯)italic-ϕ¯italic-ϕ(\phi,\overline{\phi})( italic_ϕ , over¯ start_ARG italic_ϕ end_ARG ). That is, the evolution of a particular field ϕ(x)italic-ϕ𝑥\phi(\vec{x})italic_ϕ ( over→ start_ARG italic_x end_ARG ) does not depend on other field configurations as S[ϕ,ϕ¯,t]𝑆italic-ϕ¯italic-ϕ𝑡S[\phi,\overline{\phi},t]italic_S [ italic_ϕ , over¯ start_ARG italic_ϕ end_ARG , italic_t ] in (19) is evaluated at a particular point on the configuration space.

IV Schrodinger equation of the gravitational-fermionic system

We wish to quantize general relativity with a positive cosmological constant and a two-component Weyl Spinor. As we will see, the corresponding total Hamiltonian constraint, which was discovered in Alexander:2022vpn , becomes equivalent to a time dependent Schrodinger equation, where the first order spinor Hamiltonian will play exactly the role of a relational clock. This approach has advantages over scalar-field relational clocks since the latter may introduce negative norm states due to being second order in time derivative, as opposed to the Dirac equation, which is first order.

The Gravitational-Spinor action is:

SH+D=12κd4xe(eIμeJνRμνIJΛ+iΨ¯γIeIμDμΨiDμΨ¯γIeIμΨ)subscript𝑆𝐻𝐷12𝜅superscript𝑑4𝑥𝑒subscriptsuperscript𝑒𝜇𝐼subscriptsuperscript𝑒𝜈𝐽subscriptsuperscript𝑅𝐼𝐽𝜇𝜈Λ𝑖¯Ψsuperscript𝛾𝐼subscriptsuperscript𝑒𝜇𝐼subscript𝐷𝜇Ψ𝑖¯subscript𝐷𝜇Ψsuperscript𝛾𝐼subscriptsuperscript𝑒𝜇𝐼ΨS_{H+D}=\frac{1}{2\kappa}\int d^{4}x\,e(\,e^{\mu}_{I}e^{\nu}_{J}R^{IJ}_{\mu\nu% }-\Lambda+i\bar{\Psi}\gamma^{I}e^{\mu}_{I}D_{\mu}\Psi-i\overline{D_{\mu}\Psi}% \gamma^{I}e^{\mu}_{I}\Psi)italic_S start_POSTSUBSCRIPT italic_H + italic_D end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_κ end_ARG ∫ italic_d start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_x italic_e ( italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT - roman_Λ + italic_i over¯ start_ARG roman_Ψ end_ARG italic_γ start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Ψ - italic_i over¯ start_ARG italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Ψ end_ARG italic_γ start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT roman_Ψ ) (20)

where the covariant derivative is:

DμΨ=μΨ14AμIJγIγJΨsubscript𝐷𝜇Ψsubscript𝜇Ψ14superscriptsubscript𝐴𝜇𝐼𝐽subscript𝛾𝐼subscript𝛾𝐽Ψ\displaystyle D_{\mu}\Psi=\partial_{\mu}\Psi-\frac{1}{4}A_{\mu}^{IJ}\gamma_{I}% \gamma_{J}\Psiitalic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Ψ = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Ψ - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT roman_Ψ (21)
DμΨ¯=μΨ¯+14Ψ¯γIγJAμIJ¯subscript𝐷𝜇Ψsubscript𝜇¯Ψ14¯Ψsubscript𝛾𝐼subscript𝛾𝐽superscriptsubscript𝐴𝜇𝐼𝐽\displaystyle\overline{D_{\mu}\Psi}=\partial_{\mu}\bar{\Psi}+\frac{1}{4}\bar{% \Psi}\gamma_{I}\gamma_{J}A_{\mu}^{IJ}over¯ start_ARG italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Ψ end_ARG = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG roman_Ψ end_ARG + divide start_ARG 1 end_ARG start_ARG 4 end_ARG over¯ start_ARG roman_Ψ end_ARG italic_γ start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT (22)

upon performing a 3+1313+13 + 1 decomposition as discussed in section II, the total Hamiltonian density for the combined fermionic gravitational system Alexander:2022vpn is κ1(N~^+Na𝒱^a)superscript𝜅1~𝑁^superscript𝑁𝑎subscript^𝒱𝑎\kappa^{-1}(\tilde{N}\hat{\mathcal{H}}+N^{a}\hat{\mathcal{V}}_{a})italic_κ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( over~ start_ARG italic_N end_ARG over^ start_ARG caligraphic_H end_ARG + italic_N start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT over^ start_ARG caligraphic_V end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) where

^^\displaystyle\hat{\mathcal{H}}over^ start_ARG caligraphic_H end_ARG =12κϵijkE^bjE^ai(Fabk+Λ3ϵabcE^ck)+(𝒟^aξ)AσiABE^aiΠ^B+E^ai(𝒟^aξ)AσiABΠ^Babsent12𝜅subscriptitalic-ϵ𝑖𝑗𝑘superscript^𝐸𝑏𝑗superscript^𝐸𝑎𝑖subscriptsuperscript𝐹𝑘𝑎𝑏Λ3subscriptitalic-ϵ𝑎𝑏𝑐superscript^𝐸𝑐𝑘subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵superscript^𝐸𝑎𝑖subscript^Π𝐵superscript^𝐸𝑎𝑖subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵subscript^Π𝐵\displaystyle=\frac{1}{2\kappa}\epsilon_{ijk}\hat{E}^{bj}\hat{E}^{ai}\quantity% (F^{k}_{ab}+\frac{\Lambda}{3}\epsilon_{abc}\hat{E}^{ck})+(\widehat{\mathcal{D}% }_{a}\xi)_{A}\sigma_{i}^{AB}\hat{E}^{ai}\widehat{\Pi}_{B}+\hat{E}^{ai}(% \widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}\widehat{\Pi}_{B}= divide start_ARG 1 end_ARG start_ARG 2 italic_κ end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_b italic_j end_POSTSUPERSCRIPT over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_c italic_k end_POSTSUPERSCRIPT end_ARG ) + ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT over^ start_ARG roman_Π end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT over^ start_ARG roman_Π end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT (23)
𝒱^asubscript^𝒱𝑎\displaystyle\hat{\mathcal{V}}_{a}over^ start_ARG caligraphic_V end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT =i2κFabkE^kb+(𝒟^aξ)BΠ^Babsent𝑖2𝜅subscriptsuperscript𝐹𝑘𝑎𝑏subscriptsuperscript^𝐸𝑏𝑘subscriptsubscript^𝒟𝑎𝜉𝐵superscript^Π𝐵\displaystyle=\frac{i}{2\kappa}F^{k}_{ab}\hat{E}^{b}_{k}+(\widehat{\mathcal{D}% }_{a}\xi)_{B}\hat{\Pi}^{B}= divide start_ARG italic_i end_ARG start_ARG 2 italic_κ end_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT over^ start_ARG roman_Π end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT (24)

and N>0𝑁0N>0italic_N > 0, Nasuperscript𝑁𝑎N^{a}italic_N start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT are the lapse function and shift vectors respectively. Here ξA(x)subscript𝜉𝐴𝑥\xi_{A}(\vec{x})italic_ξ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG ) is a two-component Weyl spinor and the corresponding conjugate momentum is labelled by ΠB(x)superscriptΠ𝐵𝑥\Pi^{B}(\vec{x})roman_Π start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ( over→ start_ARG italic_x end_ARG ) (A,B{+,}𝐴𝐵A,B\in\{+,-\}italic_A , italic_B ∈ { + , - }) Alexander:2022vpn . We have chosen the Ashtekar ordering asstaker86 ; jacoberson ; kodamaginal ; allin for the purely gravitation part of the constraints. For the interaction terms between gravity and fermion, we have Weyl ordered E^aisubscript^𝐸𝑎𝑖\hat{E}_{ai}over^ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT and ordered Π^Bsubscript^Π𝐵\widehat{\Pi}_{B}over^ start_ARG roman_Π end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT to directly operate on the quantum state. We remove divergent terms throughout in our calculations.

The total Hamiltonian constraint is

 κ1(N~^+Na𝒱^a)Ψ[A,ξ]=0subscript superscript𝜅1~𝑁^superscript𝑁𝑎subscript^𝒱𝑎Ψ𝐴𝜉0\displaystyle\int_{\mathcal{M}}\textbf{ }\kappa^{-1}(\tilde{N}\hat{\mathcal{H}% }+N^{a}\hat{\mathcal{V}}_{a})\Psi[A,\xi]=0∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_κ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( over~ start_ARG italic_N end_ARG over^ start_ARG caligraphic_H end_ARG + italic_N start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT over^ start_ARG caligraphic_V end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) roman_Ψ [ italic_A , italic_ξ ] = 0 (25)

where \mathcal{M}caligraphic_M labels the spatial manifold. We use the quantization scheme (using commutators freedsork2 ; freedsork1 )

E^ai𝛿𝛿Aai,Π^AiδδξAformulae-sequencesuperscript^𝐸𝑎𝑖functional-derivativesubscript𝐴𝑎𝑖subscript^Π𝐴𝑖𝛿𝛿superscript𝜉𝐴\hat{E}^{ai}\rightarrow\functionalderivative{A_{ai}},\hskip 14.22636pt\widehat% {\Pi}_{A}\rightarrow-i\frac{\delta}{\delta\xi^{A}}over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT → start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP , over^ start_ARG roman_Π end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT → - italic_i divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG (26)

where we have used natural units. Equation (25) implies

N~𝛿𝛿Aai[ϵijk2δδAbj(Fabk+Λ3ϵabcδδAck)2(𝒟^aξ)AσiABiδδξB]Ψ[A,ξ]subscript~𝑁functional-derivativesubscript𝐴𝑎𝑖subscriptitalic-ϵ𝑖𝑗𝑘2𝛿𝛿subscript𝐴𝑏𝑗subscriptsuperscript𝐹𝑘𝑎𝑏Λ3subscriptitalic-ϵ𝑎𝑏𝑐𝛿𝛿subscript𝐴𝑐𝑘2subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵𝑖𝛿𝛿superscript𝜉𝐵Ψ𝐴𝜉\displaystyle\int_{\mathcal{M}}\tilde{N}\functionalderivative{A_{ai}}\quantity% [\frac{\epsilon_{ijk}}{2}\frac{\delta}{\delta A_{bj}}\quantity(F^{k}_{ab}+% \frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{\delta A_{ck}})-2(\widehat{% \mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}i\frac{\delta}{\delta\xi^{B}}]\Psi[A,\xi]∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP [ start_ARG divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG ) - 2 ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT italic_i divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG end_ARG ] roman_Ψ [ italic_A , italic_ξ ]
+iNb𝛿𝛿Aai[Faib2Ψ[A,ξ]]=Nb(𝒟^bξ)BiδδξBΨ[A,ξ]subscript𝑖subscript𝑁𝑏functional-derivativesubscript𝐴𝑎𝑖subscriptsuperscript𝐹𝑏𝑎𝑖2Ψ𝐴𝜉subscriptsuperscript𝑁𝑏superscriptsubscript^𝒟𝑏𝜉𝐵𝑖𝛿𝛿superscript𝜉𝐵Ψ𝐴𝜉\displaystyle+\int_{\mathcal{M}}iN_{b}\functionalderivative{A_{ai}}\quantity[% \frac{F^{b}_{ai}}{2}\Psi[A,\xi]]=\int_{\mathcal{M}}N^{b}(\widehat{\mathcal{D}}% _{b}\xi)^{B}i\frac{\delta}{\delta\xi^{B}}\Psi[A,\xi]+ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_i italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP [ start_ARG divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG roman_Ψ [ italic_A , italic_ξ ] end_ARG ] = ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_N start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ξ ) start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_i divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG roman_Ψ [ italic_A , italic_ξ ] (27)

Let us define

Ψ[A,ξ]t δξBδtδδξBΨ[A,ξ]Ψ𝐴𝜉superscript𝑡subscript 𝛿superscript𝜉𝐵𝛿superscript𝑡𝛿𝛿superscript𝜉𝐵Ψ𝐴𝜉\displaystyle\frac{\partial\Psi[A,\xi]}{\partial t^{\prime}}\equiv\int_{% \mathcal{M}}\textbf{ }\frac{\delta\xi^{B}}{\delta t^{\prime}}\frac{\delta}{% \delta\xi^{B}}\Psi[A,\xi]divide start_ARG ∂ roman_Ψ [ italic_A , italic_ξ ] end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ≡ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG roman_Ψ [ italic_A , italic_ξ ] (28)

where

δξBδtNb(𝒟^bξ)B𝛿superscript𝜉𝐵𝛿superscript𝑡superscript𝑁𝑏superscriptsubscript^𝒟𝑏𝜉𝐵\displaystyle\frac{\delta\xi^{B}}{\delta t^{\prime}}\equiv N^{b}(\widehat{% \mathcal{D}}_{b}\xi)^{B}divide start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ≡ italic_N start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ξ ) start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT (29)

That is, we choose a particular variation of the fermionic field ξ𝜉\xiitalic_ξ, suggested by the form of the Hamiltonian, to implicitly define a real, formal time variable tsuperscript𝑡t^{\prime}italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT that parameterizes this variation. Note that equation (29) is not a semi-classical background as ξ𝜉\xiitalic_ξ is piloted by Ψ[A,ξ]Ψ𝐴𝜉\Psi[A,\xi]roman_Ψ [ italic_A , italic_ξ ] via its dependence on Aaisubscript𝐴𝑎𝑖A_{ai}italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (see equation (43) below). Equation (29) is naturally consistent with a pilot-wave interpretation as the latter posits a definite system configuration (A,ξ)𝐴𝜉(A,\xi)( italic_A , italic_ξ ). It is also consistent with any other interpretation where a definite configuration of the quantum system is physically meaningful.

We can use (29) to rewrite equation (27) as

N~𝛿𝛿Aai[ϵijk2δδAbj(Fabk+Λ3ϵabcδδAck)2(𝒟^aξ)AσiABiδδξB]Ψ[A,ξ]subscript~𝑁functional-derivativesubscript𝐴𝑎𝑖subscriptitalic-ϵ𝑖𝑗𝑘2𝛿𝛿subscript𝐴𝑏𝑗subscriptsuperscript𝐹𝑘𝑎𝑏Λ3subscriptitalic-ϵ𝑎𝑏𝑐𝛿𝛿subscript𝐴𝑐𝑘2subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵𝑖𝛿𝛿superscript𝜉𝐵Ψ𝐴𝜉\displaystyle\int_{\mathcal{M}}\tilde{N}\functionalderivative{A_{ai}}\quantity% [\frac{\epsilon_{ijk}}{2}\frac{\delta}{\delta A_{bj}}\quantity(F^{k}_{ab}+% \frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{\delta A_{ck}})-2(\widehat{% \mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}i\frac{\delta}{\delta\xi^{B}}]\Psi[A,\xi]∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT over~ start_ARG italic_N end_ARG start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP [ start_ARG divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG ) - 2 ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT italic_i divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG end_ARG ] roman_Ψ [ italic_A , italic_ξ ]
+iNb𝛿𝛿Aai[Faib2Ψ[A,ξ]]=iΨ[A,ξ]tsubscript𝑖subscript𝑁𝑏functional-derivativesubscript𝐴𝑎𝑖subscriptsuperscript𝐹𝑏𝑎𝑖2Ψ𝐴𝜉𝑖Ψ𝐴𝜉superscript𝑡\displaystyle+\int_{\mathcal{M}}iN_{b}\functionalderivative{A_{ai}}\quantity[% \frac{F^{b}_{ai}}{2}\Psi[A,\xi]]=i\frac{\partial\Psi[A,\xi]}{\partial t^{% \prime}}+ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_i italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP [ start_ARG divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG roman_Ψ [ italic_A , italic_ξ ] end_ARG ] = italic_i divide start_ARG ∂ roman_Ψ [ italic_A , italic_ξ ] end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG (30)

which resembles the time-dependent Schrodinger equation.

IV.1 Continuity equation and current density

Using the complex conjugates of equations (28) and (30), we define (suppressing the labels A𝐴Aitalic_A, ξ𝜉\xiitalic_ξ in ΨΨ\Psiroman_Ψ for brevity)

Ψ¯Ψt= δξB¯δtδΨ¯δξB¯Ψ+ Ψ¯δξBδtδΨδξB¯ΨΨsuperscript𝑡subscript 𝛿¯superscript𝜉𝐵𝛿superscript𝑡𝛿¯Ψ𝛿¯superscript𝜉𝐵Ψsubscript ¯Ψ𝛿superscript𝜉𝐵𝛿superscript𝑡𝛿Ψ𝛿superscript𝜉𝐵\displaystyle\frac{\partial\overline{\Psi}\Psi}{\partial t^{\prime}}=\int_{% \mathcal{M}}\textbf{ }\frac{\delta\overline{\xi^{B}}}{\delta t^{\prime}}\frac{% \delta\overline{\Psi}}{\delta\overline{\xi^{B}}}\Psi+\int_{\mathcal{M}}\textbf% { }\overline{\Psi}\frac{\delta\xi^{B}}{\delta t^{\prime}}\frac{\delta\Psi}{% \delta\xi^{B}}divide start_ARG ∂ over¯ start_ARG roman_Ψ end_ARG roman_Ψ end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG = ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ over¯ start_ARG italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG italic_δ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_δ over¯ start_ARG roman_Ψ end_ARG end_ARG start_ARG italic_δ over¯ start_ARG italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG end_ARG roman_Ψ + ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT over¯ start_ARG roman_Ψ end_ARG divide start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_δ roman_Ψ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG (31)

We know from inprep that the current density is generally of the form |Ψ|2ΩsuperscriptΨ2Ω|\Psi|^{2}\Omega| roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω, where ΩΩ\Omegaroman_Ω depends on the configuration variables and their conjugates, is independent of time, and is real and positive semi-definite. We define ΩΩ[A,A¯]ΩΩ𝐴¯𝐴\Omega\equiv\Omega[A,\overline{A}]roman_Ω ≡ roman_Ω [ italic_A , over¯ start_ARG italic_A end_ARG ] as we have used ξ𝜉\xiitalic_ξ to define our time variable tsuperscript𝑡t^{\prime}italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. We can then show that

(|Ψ|2Ω)t+limit-fromsuperscriptΨ2Ωsuperscript𝑡\displaystyle\frac{\partial(|\Psi|^{2}\Omega)}{\partial t^{\prime}}+divide start_ARG ∂ ( | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω ) end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG + [𝛿𝛿Aai(ΩΨ¯{iN~ϵijk2δδAbj(Fabk+Λ3ϵabcδδAck)Ψ+2N~(𝒟^aξ)AσiABδδξBΨ\displaystyle\int_{\mathcal{M}}\Bigg{[}\functionalderivative{A_{ai}}\bigg{(}% \Omega\overline{\Psi}\bigg{\{}\frac{i\tilde{N}\epsilon_{ijk}}{2}\frac{\delta}{% \delta A_{bj}}\bigg{(}F^{k}_{ab}+\frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{% \delta A_{ck}}\bigg{)}\Psi+2\tilde{N}(\widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_% {i}^{AB}\frac{\delta}{\delta\xi^{B}}\Psi∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT [ start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP ( roman_Ω over¯ start_ARG roman_Ψ end_ARG { divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG ) roman_Ψ + 2 over~ start_ARG italic_N end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG roman_Ψ
\displaystyle-- NbFaib2Ψ})+c.c]=|Ψ|2[δΩδAai{iN~ϵijk2ΨδδAbj(Fabk+Λ3ϵabcδδAck)Ψ\displaystyle N_{b}\frac{F^{b}_{ai}}{2}\Psi\bigg{\}}\bigg{)}+c.c\Bigg{]}=\int_% {\mathcal{M}}|\Psi|^{2}\bigg{[}\frac{\delta\Omega}{\delta A_{ai}}\bigg{\{}% \frac{i\tilde{N}\epsilon_{ijk}}{2\Psi}\frac{\delta}{\delta A_{bj}}\bigg{(}F^{k% }_{ab}+\frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{\delta A_{ck}}\bigg{)}\Psiitalic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG roman_Ψ } ) + italic_c . italic_c ] = ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG italic_δ roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG { divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 roman_Ψ end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG ) roman_Ψ
+2N~Ψ(𝒟^aξ)AσiABδδξBΨ+NbFaib2}+c.c]\displaystyle+\frac{2\tilde{N}}{\Psi}(\widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_% {i}^{AB}\frac{\delta}{\delta\xi^{B}}\Psi+N_{b}\frac{F^{b}_{ai}}{2}\bigg{\}}+c.% c\bigg{]}+ divide start_ARG 2 over~ start_ARG italic_N end_ARG end_ARG start_ARG roman_Ψ end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG roman_Ψ + italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG } + italic_c . italic_c ] (32)

where c.c denotes complex conjugate of the term in square bracket, and we have used δΨ/δA¯ai=δΨ¯/δAai=0𝛿Ψ𝛿subscript¯𝐴𝑎𝑖𝛿¯Ψ𝛿subscript𝐴𝑎𝑖0\delta\Psi/\delta\overline{A}_{ai}=\delta\overline{\Psi}/\delta A_{ai}=0italic_δ roman_Ψ / italic_δ over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = italic_δ over¯ start_ARG roman_Ψ end_ARG / italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = 0 a,ifor-all𝑎𝑖\forall a,i∀ italic_a , italic_i as ΨΨ\Psiroman_Ψ is a holomorphic functional of A𝐴Aitalic_A. The right-hand side of equation (32) can be written as

[δδAbj(Ψ¯δΩδAaiiN~ϵijk2(Fabk+Λ3ϵabcδδAck)Ψ)+c.c][δδAck(Ψ¯Ψδ2ΩδAaiδAbjiN~ϵijk2Λ3ϵabc)\displaystyle\int_{\mathcal{M}}\quantity[\frac{\delta}{\delta A_{bj}}\bigg{(}% \overline{\Psi}\frac{\delta\Omega}{\delta A_{ai}}\frac{i\tilde{N}\epsilon_{ijk% }}{2}\bigg{(}F^{k}_{ab}+\frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{\delta A_% {ck}}\bigg{)}\Psi\bigg{)}+c.c]-\bigg{[}\frac{\delta}{\delta A_{ck}}\bigg{(}% \overline{\Psi}\Psi\frac{\delta^{2}\Omega}{\delta A_{ai}\delta A_{bj}}\frac{i% \tilde{N}\epsilon_{ijk}}{2}\frac{\Lambda}{3}\epsilon_{abc}\bigg{)}∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT [ start_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( over¯ start_ARG roman_Ψ end_ARG divide start_ARG italic_δ roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG ) roman_Ψ ) + italic_c . italic_c end_ARG ] - [ divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG ( over¯ start_ARG roman_Ψ end_ARG roman_Ψ divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT )
+c.c]+[δδξB(δΩδAai2Ψ¯ΨN~(𝒟^aξ)AσiAB)+c.c]+|Ψ|2{[δ2ΩδAaiδAbjiN~ϵijk2Fabk+c.c]+\displaystyle+c.c\bigg{]}+\quantity[\frac{\delta}{\delta\xi^{B}}\bigg{(}\frac{% \delta\Omega}{\delta A_{ai}}2\overline{\Psi}\Psi\tilde{N}(\widehat{\mathcal{D}% }_{a}\xi)_{A}\sigma_{i}^{AB}\bigg{)}+c.c]+|\Psi|^{2}\bigg{\{}-\quantity[\ % \frac{\delta^{2}\Omega}{\delta A_{ai}\delta A_{bj}}\frac{i\tilde{N}\epsilon_{% ijk}}{2}F^{k}_{ab}+c.c]++ italic_c . italic_c ] + [ start_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_δ roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG 2 over¯ start_ARG roman_Ψ end_ARG roman_Ψ over~ start_ARG italic_N end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT ) + italic_c . italic_c end_ARG ] + | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT { - [ start_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + italic_c . italic_c end_ARG ] +
[δ3ΩδAaiδAbjδAckiN~ϵijk2Λ3ϵabc+c.c][NbδΩδAaiFaib2+c.c]}\displaystyle\quantity[\frac{\delta^{3}\Omega}{\delta A_{ai}\delta A_{bj}% \delta A_{ck}}\frac{i\tilde{N}\epsilon_{ijk}}{2}\frac{\Lambda}{3}\epsilon_{abc% }+c.c]-\quantity[N_{b}\frac{\delta\Omega}{\delta A_{ai}}\frac{F^{b}_{ai}}{2}+c% .c]\bigg{\}}[ start_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT + italic_c . italic_c end_ARG ] - [ start_ARG italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG italic_δ roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG + italic_c . italic_c end_ARG ] } (33)

We require that ΩΩ\Omegaroman_Ω be such that all the source-like terms vanish. This will be true if

[δ2ΩδAaiδAbjiN~ϵijk2Fabk+c.c]+[δ3ΩδAaiδAbjδAckiN~ϵijk2Λ3ϵabc+c.c]formulae-sequencesuperscript𝛿2Ω𝛿subscript𝐴𝑎𝑖𝛿subscript𝐴𝑏𝑗𝑖~𝑁subscriptitalic-ϵ𝑖𝑗𝑘2subscriptsuperscript𝐹𝑘𝑎𝑏𝑐𝑐formulae-sequencesuperscript𝛿3Ω𝛿subscript𝐴𝑎𝑖𝛿subscript𝐴𝑏𝑗𝛿subscript𝐴𝑐𝑘𝑖~𝑁subscriptitalic-ϵ𝑖𝑗𝑘2Λ3subscriptitalic-ϵ𝑎𝑏𝑐𝑐𝑐\displaystyle-\quantity[\ \frac{\delta^{2}\Omega}{\delta A_{ai}\delta A_{bj}}% \frac{i\tilde{N}\epsilon_{ijk}}{2}F^{k}_{ab}+c.c]+\quantity[\frac{\delta^{3}% \Omega}{\delta A_{ai}\delta A_{bj}\delta A_{ck}}\frac{i\tilde{N}\epsilon_{ijk}% }{2}\frac{\Lambda}{3}\epsilon_{abc}+c.c]- [ start_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + italic_c . italic_c end_ARG ] + [ start_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG divide start_ARG italic_i over~ start_ARG italic_N end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT + italic_c . italic_c end_ARG ]
[NbδΩδAaiFaib2+c.c]=0formulae-sequencesubscript𝑁𝑏𝛿Ω𝛿subscript𝐴𝑎𝑖subscriptsuperscript𝐹𝑏𝑎𝑖2𝑐𝑐0\displaystyle-\quantity[N_{b}\frac{\delta\Omega}{\delta A_{ai}}\frac{F^{b}_{ai% }}{2}+c.c]=0- [ start_ARG italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG italic_δ roman_Ω end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG + italic_c . italic_c end_ARG ] = 0 (34)

Equation (34) supplies the ΩΩ\Omegaroman_Ω needed to define the current density. We observe that

Ω[A,A¯]=1ΨK[A]ΨK[A]¯Ω𝐴¯𝐴1subscriptΨ𝐾delimited-[]𝐴¯subscriptΨ𝐾delimited-[]𝐴\displaystyle\Omega[A,\overline{A}]=\frac{1}{\Psi_{K}[A]\overline{\Psi_{K}[A]}}roman_Ω [ italic_A , over¯ start_ARG italic_A end_ARG ] = divide start_ARG 1 end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] over¯ start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] end_ARG end_ARG (35)

solves (34), where ΨK[A]subscriptΨ𝐾delimited-[]𝐴\Psi_{K}[A]roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] is the Kodama state. As the weight factor ΩΩ\Omegaroman_Ω is unique and does not depend on the Hamiltonian or the state bargman61 , we take (35) henceforth. Equation (32) can then be written as

(|Ψ|2Ω)t+aiJai+¯aiJ¯ai+BJB+¯BJ¯B=0superscriptΨ2Ωsuperscript𝑡superscript𝑎𝑖subscript𝐽𝑎𝑖superscript¯𝑎𝑖subscript¯𝐽𝑎𝑖subscript𝐵superscript𝐽𝐵subscript¯𝐵superscript¯𝐽𝐵0\displaystyle\frac{\partial(|\Psi|^{2}\Omega)}{\partial t^{\prime}}+\nabla^{ai% }J_{ai}+\overline{\nabla}^{ai}\overline{J}_{ai}+\nabla_{B}J^{B}+\overline{% \nabla}_{B}\overline{J}^{B}=0divide start_ARG ∂ ( | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω ) end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG + ∇ start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + over¯ start_ARG ∇ end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT over¯ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + ∇ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT + over¯ start_ARG ∇ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT over¯ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT = 0 (36)

where ai δ/δAaisuperscript𝑎𝑖subscript 𝛿𝛿subscript𝐴𝑎𝑖\nabla^{ai}\equiv\int_{\mathcal{M}}\textbf{ }\delta/\delta A_{ai}∇ start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT ≡ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_δ / italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT, B δ/δξBsubscript𝐵subscript 𝛿𝛿superscript𝜉𝐵\nabla_{B}\equiv\int_{\mathcal{M}}\textbf{ }\delta/\delta\xi^{B}∇ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ≡ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT italic_δ / italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT and

Jai=subscript𝐽𝑎𝑖absent\displaystyle J_{ai}=italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = |Ψ|2ΨKΨK¯{iN~Pl22ϵijk(Fabk[δlnΨδAbj+δlnΨKδAbj]+Pl2Λ3ϵabc[1Ψδ2ΨδAckδAbj+δlnΨδAckδlnΨKδAbj\displaystyle\frac{|\Psi|^{2}}{\Psi_{K}\overline{\Psi_{K}}}\bigg{\{}\frac{i% \tilde{N}\ell_{\rm Pl}^{2}}{2}\epsilon_{ijk}\bigg{(}F^{k}_{ab}\quantity[\frac{% \delta\ln\Psi}{\delta A_{bj}}+\frac{\delta\ln\Psi_{K}}{\delta A_{bj}}]+\frac{% \ell_{\rm Pl}^{2}\Lambda}{3}\epsilon_{abc}\bigg{[}\frac{1}{\Psi}\frac{\delta^{% 2}\Psi}{\delta A_{ck}\delta A_{bj}}+\frac{\delta\ln\Psi}{\delta A_{ck}}\frac{% \delta\ln\Psi_{K}}{\delta A_{bj}}divide start_ARG | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT over¯ start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG end_ARG { divide start_ARG italic_i over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT [ start_ARG divide start_ARG italic_δ roman_ln roman_Ψ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG end_ARG ] + divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT [ divide start_ARG 1 end_ARG start_ARG roman_Ψ end_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ψ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_δ roman_ln roman_Ψ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG
1ΨKδ2ΨKδAckδAbj+2δlnΨKδAckδlnΨKδAbj])+2N~Pl2(𝒟^aξ)AσiABδlnΨδξBNbPl22κFaib}\displaystyle-\frac{1}{\Psi_{K}}\frac{\delta^{2}\Psi_{K}}{\delta A_{ck}\delta A% _{bj}}+2\frac{\delta\ln\Psi_{K}}{\delta A_{ck}}\frac{\delta\ln\Psi_{K}}{\delta A% _{bj}}\bigg{]}\bigg{)}+2\tilde{N}\ell_{\rm Pl}^{2}(\widehat{\mathcal{D}}_{a}% \xi)_{A}\sigma_{i}^{AB}\frac{\delta\ln\Psi}{\delta\xi^{B}}-N_{b}\frac{\ell_{% \rm Pl}^{2}}{2\kappa\hbar}F^{b}_{ai}\bigg{\}}- divide start_ARG 1 end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG + 2 divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ] ) + 2 over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_δ roman_ln roman_Ψ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG - italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ roman_ℏ end_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT } (37)
JB=superscript𝐽𝐵absent\displaystyle J^{B}=italic_J start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT = 2Pl2|Ψ|2ΨKΨK¯δlnΨKδAaiN~(𝒟^aξ)AσiAB2superscriptsubscriptPl2superscriptΨ2subscriptΨ𝐾¯subscriptΨ𝐾𝛿subscriptΨ𝐾𝛿subscript𝐴𝑎𝑖~𝑁subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵\displaystyle 2\frac{\ell_{\rm Pl}^{2}|\Psi|^{2}}{\Psi_{K}\overline{\Psi_{K}}}% \frac{\delta\ln\Psi_{K}}{\delta A_{ai}}\tilde{N}(\widehat{\mathcal{D}}_{a}\xi)% _{A}\sigma_{i}^{AB}2 divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT over¯ start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG end_ARG divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG over~ start_ARG italic_N end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT (38)

Note that equation (36) is not yet a satisfactory continuity equation, as there are ‘temporal flux’ terms JBsuperscript𝐽𝐵J^{B}italic_J start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT, J¯Bsuperscript¯𝐽𝐵\overline{J}^{B}over¯ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT corresponding to ξBsuperscript𝜉𝐵\xi^{B}italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT, ξ¯Bsuperscript¯𝜉𝐵\overline{\xi}^{B}over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT. We can absorb them into the current density term by redefining the time parameter ttsuperscript𝑡𝑡t^{\prime}\to titalic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT → italic_t such that

δξBδt=Nb(𝒟^bξ)B+2Pl2δlnΨKδAaiN~(𝒟^aξ)AσiAB𝛿superscript𝜉𝐵𝛿𝑡superscript𝑁𝑏superscriptsubscript^𝒟𝑏𝜉𝐵2superscriptsubscriptPl2𝛿subscriptΨ𝐾𝛿subscript𝐴𝑎𝑖~𝑁subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵\displaystyle\frac{\delta\xi^{B}}{\delta t}=N^{b}(\widehat{\mathcal{D}}_{b}\xi% )^{B}+2\ell_{\rm Pl}^{2}\frac{\delta\ln\Psi_{K}}{\delta A_{ai}}\tilde{N}(% \widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}divide start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG = italic_N start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_ξ ) start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT + 2 roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG over~ start_ARG italic_N end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT (39)

Equation (36) can then be written as the continuity equation

(|Ψ|2Ω)t+aiJai+¯aiJ¯ai=0superscriptΨ2Ω𝑡superscript𝑎𝑖subscript𝐽𝑎𝑖superscript¯𝑎𝑖subscript¯𝐽𝑎𝑖0\displaystyle\frac{\partial(|\Psi|^{2}\Omega)}{\partial t}+\nabla^{ai}J_{ai}+% \overline{\nabla}^{ai}\overline{J}_{ai}=0divide start_ARG ∂ ( | roman_Ψ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ω ) end_ARG start_ARG ∂ italic_t end_ARG + ∇ start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + over¯ start_ARG ∇ end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT over¯ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = 0 (40)

where Jaisubscript𝐽𝑎𝑖J_{ai}italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT is given by (37).

IV.2 Physical interpretation

Let us consider the physical interpretation given the weight factor (35) and the continuity equation (40). Let us first take the question of normalizability of the quantum state.

IV.2.1 Normalizability

It was shown by the authors of Alexander:2022vpn , that Ψ[A,ξ]=ΨK[A]Φ[A,ξ]Ψ𝐴𝜉subscriptΨ𝐾delimited-[]𝐴Φ𝐴𝜉\Psi[A,\xi]=\Psi_{K}[A]\Phi[A,\xi]roman_Ψ [ italic_A , italic_ξ ] = roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] roman_Φ [ italic_A , italic_ξ ] is a good ansatz for the gravitational-fermionic WDW equation. The continuity equation (40) can be rewritten as

|Φ|2t+aiJai+¯aiJ¯ai=0superscriptΦ2𝑡superscript𝑎𝑖subscript𝐽𝑎𝑖superscript¯𝑎𝑖subscript¯𝐽𝑎𝑖0\displaystyle\frac{\partial|\Phi|^{2}}{\partial t}+\nabla^{ai}J_{ai}+\overline% {\nabla}^{ai}\overline{J}_{ai}=0divide start_ARG ∂ | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_t end_ARG + ∇ start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + over¯ start_ARG ∇ end_ARG start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT over¯ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = 0 (41)

which makes it evident that the non-normalizable Chern-Simons-Kodama state ΨKsubscriptΨ𝐾\Psi_{K}roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT is factored out of the current density. Therefore, to interpret (41) as a probability conservation equation, the normalizability condition is imposed on Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ] – not the full quantum state Ψ[A,ξ]Ψ𝐴𝜉\Psi[A,\xi]roman_Ψ [ italic_A , italic_ξ ]. Using (30), we can show that Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ] follows the Schrodinger equation

1ΨK𝛿𝛿Aai{[N~ϵijk2δδAbj(Fabk+Λ3ϵabcδδAck)+iNbFaib2]ΨKΦ[A,ξ]}subscript1subscriptΨ𝐾functional-derivativesubscript𝐴𝑎𝑖~𝑁subscriptitalic-ϵ𝑖𝑗𝑘2𝛿𝛿subscript𝐴𝑏𝑗subscriptsuperscript𝐹𝑘𝑎𝑏Λ3subscriptitalic-ϵ𝑎𝑏𝑐𝛿𝛿subscript𝐴𝑐𝑘𝑖subscript𝑁𝑏subscriptsuperscript𝐹𝑏𝑎𝑖2subscriptΨ𝐾Φ𝐴𝜉\displaystyle\int_{\mathcal{M}}\frac{1}{\Psi_{K}}\functionalderivative{A_{ai}}% \bigg{\{}\quantity[\tilde{N}\frac{\epsilon_{ijk}}{2}\frac{\delta}{\delta A_{bj% }}\quantity(F^{k}_{ab}+\frac{\Lambda}{3}\epsilon_{abc}\frac{\delta}{\delta A_{% ck}})+iN_{b}\frac{F^{b}_{ai}}{2}]\Psi_{K}\Phi[A,\xi]\bigg{\}}∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP { [ start_ARG over~ start_ARG italic_N end_ARG divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ( start_ARG italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + divide start_ARG roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG end_ARG ) + italic_i italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_ARG ] roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT roman_Φ [ italic_A , italic_ξ ] }
+𝛿𝛿Aai[2N~(𝒟^aξ)AσiABiδδξBΦ[A,ξ]]=iΦ[A,ξ]tsubscriptfunctional-derivativesubscript𝐴𝑎𝑖2~𝑁subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵𝑖𝛿𝛿superscript𝜉𝐵Φ𝐴𝜉𝑖Φ𝐴𝜉𝑡\displaystyle+\int_{\mathcal{M}}\functionalderivative{A_{ai}}\quantity[-2% \tilde{N}(\widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}i\frac{\delta}{% \delta\xi^{B}}\Phi[A,\xi]]=i\frac{\partial\Phi[A,\xi]}{\partial t}+ ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT start_DIFFOP divide start_ARG italic_δ end_ARG start_ARG italic_δ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG end_DIFFOP [ start_ARG - 2 over~ start_ARG italic_N end_ARG ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT italic_i divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG roman_Φ [ italic_A , italic_ξ ] end_ARG ] = italic_i divide start_ARG ∂ roman_Φ [ italic_A , italic_ξ ] end_ARG start_ARG ∂ italic_t end_ARG (42)

with respect to the time parameter t𝑡titalic_t in (39). We further discuss probabilities in section (V).

IV.2.2 Guidance equations

The conceptual role of the continuity equation derived from the quantum state, in pilot-wave theory, is to define the guidance equation. Using (37) and the standard pilot-wave prescription for the ansatz Ψ[A,ξ]=ΨK[A]Φ[A,ξ]Ψ𝐴𝜉subscriptΨ𝐾delimited-[]𝐴Φ𝐴𝜉\Psi[A,\xi]=\Psi_{K}[A]\Phi[A,\xi]roman_Ψ [ italic_A , italic_ξ ] = roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] roman_Φ [ italic_A , italic_ξ ], the guidance equation

δAaiδtJai|Φ|2=iN~Pl22δlnΨKδAbjϵijk(2Fabk+Pl2ΛϵabcδlnΨKδAck)NbPl22κFaib𝛿subscript𝐴𝑎𝑖𝛿𝑡subscript𝐽𝑎𝑖superscriptΦ2𝑖~𝑁superscriptsubscriptPl22𝛿subscriptΨ𝐾𝛿subscript𝐴𝑏𝑗subscriptitalic-ϵ𝑖𝑗𝑘2subscriptsuperscript𝐹𝑘𝑎𝑏superscriptsubscriptPl2Λsubscriptitalic-ϵ𝑎𝑏𝑐𝛿subscriptΨ𝐾𝛿subscript𝐴𝑐𝑘subscript𝑁𝑏superscriptsubscriptPl22𝜅Planck-constant-over-2-pisubscriptsuperscript𝐹𝑏𝑎𝑖\displaystyle\frac{\delta A_{ai}}{\delta t}\equiv\frac{J_{ai}}{|\Phi|^{2}}=% \frac{i\tilde{N}\ell_{\rm Pl}^{2}}{2}\frac{\delta\ln\Psi_{K}}{\delta A_{bj}}% \epsilon_{ijk}\bigg{(}2F^{k}_{ab}+\ell_{\rm Pl}^{2}\Lambda\epsilon_{abc}\frac{% \delta\ln\Psi_{K}}{\delta A_{ck}}\bigg{)}-N_{b}\frac{\ell_{\rm Pl}^{2}}{2% \kappa\hbar}F^{b}_{ai}divide start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ≡ divide start_ARG italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG italic_i over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( 2 italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG ) - italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ roman_ℏ end_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT
+iN~Pl22ϵijk(2FabkδlnΦδAbj+Pl2Λ3ϵabc[2δlnΦδAbjδlnΨKδAck+1Φδ2ΦδAckδAbj])+2N~Pl2(𝒟^aξ)AσiABδlnΦδξB𝑖~𝑁superscriptsubscriptPl22subscriptitalic-ϵ𝑖𝑗𝑘2subscriptsuperscript𝐹𝑘𝑎𝑏𝛿Φ𝛿subscript𝐴𝑏𝑗superscriptsubscriptPl2Λ3subscriptitalic-ϵ𝑎𝑏𝑐2𝛿Φ𝛿subscript𝐴𝑏𝑗𝛿subscriptΨ𝐾𝛿subscript𝐴𝑐𝑘1Φsuperscript𝛿2Φ𝛿subscript𝐴𝑐𝑘𝛿subscript𝐴𝑏𝑗2~𝑁superscriptsubscriptPl2subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵𝛿Φ𝛿superscript𝜉𝐵\displaystyle+\frac{i\tilde{N}\ell_{\rm Pl}^{2}}{2}\epsilon_{ijk}\bigg{(}2F^{k% }_{ab}\frac{\delta\ln\Phi}{\delta A_{bj}}+\frac{\ell_{\rm Pl}^{2}\Lambda}{3}% \epsilon_{abc}\quantity[2\frac{\delta\ln\Phi}{\delta A_{bj}}\frac{\delta\ln% \Psi_{K}}{\delta A_{ck}}+\frac{1}{\Phi}\frac{\delta^{2}\Phi}{\delta A_{ck}% \delta A_{bj}}]\bigg{)}+2\tilde{N}\ell_{\rm Pl}^{2}(\widehat{\mathcal{D}}_{a}% \xi)_{A}\sigma_{i}^{AB}\frac{\delta\ln\Phi}{\delta\xi^{B}}+ divide start_ARG italic_i over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( 2 italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT divide start_ARG italic_δ roman_ln roman_Φ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG + divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT [ start_ARG 2 divide start_ARG italic_δ roman_ln roman_Φ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG divide start_ARG italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG roman_Φ end_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Φ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG end_ARG ] ) + 2 over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_δ roman_ln roman_Φ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG (43)

determines the evolution of the Ashtekar connection with respect to the fermionic time t𝑡titalic_t. We note that the first line of (43) is the classical equation of motion for the connection with Ebjsuperscript𝐸𝑏𝑗E^{bj}italic_E start_POSTSUPERSCRIPT italic_b italic_j end_POSTSUPERSCRIPT substituted by δlnΨK/δAbj𝛿subscriptΨ𝐾𝛿subscript𝐴𝑏𝑗\delta\ln\Psi_{K}/\delta A_{bj}italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT / italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT. This form of Ebjsuperscript𝐸𝑏𝑗E^{bj}italic_E start_POSTSUPERSCRIPT italic_b italic_j end_POSTSUPERSCRIPT can be shown to give the classical deSitter solution allin . The first term in the second line of (43) contains the quantum corrections to the deSitter solution, whereas the second term contains the quantum contribution from the fermionic interaction with ΠBsubscriptΠ𝐵\Pi_{B}roman_Π start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT given by δlnΦ/δξB𝛿Φ𝛿superscript𝜉𝐵\delta\ln\Phi/\delta\xi^{B}italic_δ roman_ln roman_Φ / italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT. Also note that equation (43) is nonlocal in the sense that the evolution of the connection at a particular point in physical space generally depends upon the value of the connection at other points in physical space, similar to equation (19).

The guidance equation for the fermion is given by equation (39). We note that (39) resembles the classical equation of motion with Eaisuperscript𝐸𝑎𝑖E^{ai}italic_E start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT substituted by δlnΨK/δAai𝛿subscriptΨ𝐾𝛿subscript𝐴𝑎𝑖\delta\ln\Psi_{K}/\delta A_{ai}italic_δ roman_ln roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT / italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT. However, as Aaisubscript𝐴𝑎𝑖A_{ai}italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT is guided by the full quantum state Ψ[A,ξ]Ψ𝐴𝜉\Psi[A,\xi]roman_Ψ [ italic_A , italic_ξ ] in (43), the evolution of the fermion is implicitly state dependent and shows quantum behaviour.

IV.2.3 Reality conditions

We impose the reality conditions at the level of the guidance equation (43). We first note that, in the Ashtekar formulation of classical general relativity, the following conditions

Aai+A¯aisubscript𝐴𝑎𝑖subscript¯𝐴𝑎𝑖\displaystyle A_{ai}+\overline{A}_{ai}italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT =2Γaiabsent2subscriptΓ𝑎𝑖\displaystyle=2\Gamma_{ai}= 2 roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (44)
Eaisubscript𝐸𝑎𝑖\displaystyle E_{ai}italic_E start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT =E¯aiabsentsubscript¯𝐸𝑎𝑖\displaystyle=\overline{E}_{ai}= over¯ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (45)

have to be imposed to recover the real sector (with real metric), where ΓaisubscriptΓ𝑎𝑖\Gamma_{ai}roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT is the 3D spin connection. In the orthodox quantum formulation of canonical quantum gravity, the reality conditions are generalised to the operator conditions

A^ai+A^aisubscript^𝐴𝑎𝑖subscriptsuperscript^𝐴𝑎𝑖\displaystyle\hat{A}_{ai}+\hat{A}^{\dagger}_{ai}over^ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT + over^ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT =2Γ^aiabsent2subscript^Γ𝑎𝑖\displaystyle=2\hat{\Gamma}_{ai}= 2 over^ start_ARG roman_Γ end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (46)
E^aisubscript^𝐸𝑎𝑖\displaystyle\hat{E}_{ai}over^ start_ARG italic_E end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT =E^aiabsentsubscriptsuperscript^𝐸𝑎𝑖\displaystyle=\hat{E}^{\dagger}_{ai}= over^ start_ARG italic_E end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (47)

We pursue here an approach based on pilot-wave theory to generalizing the classical reality conditions (44), (45). We demand that these conditions be met for the configuration-space trajectory determined by the guidance equation (43). This allows us to extract the real sector for an arbitrary solution to the Schrodinger-like equation (30), regardless of normalizability issues.

It is clear from (43) that the first reality condition (44) will be trivially satisfied for any arbitrary solution ΨΨ\Psiroman_Ψ if we define

2δΓai(t)δtδδt(Aai(t)+A¯ai(t))2𝛿subscriptΓ𝑎𝑖𝑡𝛿𝑡𝛿𝛿𝑡subscript𝐴𝑎𝑖𝑡subscript¯𝐴𝑎𝑖𝑡\displaystyle 2\frac{\delta\Gamma_{ai}(t)}{\delta t}\equiv\frac{\delta}{\delta t% }\big{(}A_{ai}(t)+\overline{A}_{ai}(t)\big{)}2 divide start_ARG italic_δ roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT ( italic_t ) end_ARG start_ARG italic_δ italic_t end_ARG ≡ divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_t end_ARG ( italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT ( italic_t ) + over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT ( italic_t ) ) (48)

at all points of the system trajectory. Let us next consider the second reality condition (45). Using the definition

Γai=12ϵijkEbk(Ea,bjEb,aj+EjcEalEc,bl)+14ϵijkEbk(2EajE,bEEbjE,aE)\displaystyle\Gamma_{ai}=\frac{1}{2}\epsilon_{ijk}E^{bk}\quantity(E^{j}_{a,b}-% E^{j}_{b,a}+E^{c}_{j}E^{l}_{a}E^{l}_{c,b})+\frac{1}{4}\epsilon_{ijk}E^{bk}% \quantity(2E^{j}_{a}\frac{\textbf{E},_{b}}{\textbf{E}}-E^{j}_{b}\frac{\textbf{% E},_{a}}{\textbf{E}})roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_b italic_k end_POSTSUPERSCRIPT ( start_ARG italic_E start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a , italic_b end_POSTSUBSCRIPT - italic_E start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b , italic_a end_POSTSUBSCRIPT + italic_E start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c , italic_b end_POSTSUBSCRIPT end_ARG ) + divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT italic_b italic_k end_POSTSUPERSCRIPT ( start_ARG 2 italic_E start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT divide start_ARG E , start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG start_ARG E end_ARG - italic_E start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG E , start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG start_ARG E end_ARG end_ARG ) (49)

where Edet(E)E𝐸\textbf{E}\equiv\det(E)E ≡ roman_det ( start_ARG italic_E end_ARG ), we can solve for Eai(t)subscript𝐸𝑎𝑖𝑡E_{ai}(t)italic_E start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT ( italic_t ) given Γai(t)subscriptΓ𝑎𝑖𝑡\Gamma_{ai}(t)roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT ( italic_t ) along the system trajectory from (48). Since the ΓaisubscriptΓ𝑎𝑖\Gamma_{ai}roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT is real, (49) admits real solutions and the second reality condition (45) is thereby satisfied.

Lastly, we can obtain the extrinsic curvature

Kai=12N~(Nixa+Naxigait)subscript𝐾𝑎𝑖12~𝑁subscript𝑁𝑖superscript𝑥𝑎subscript𝑁𝑎superscript𝑥𝑖subscript𝑔𝑎𝑖𝑡\displaystyle K_{ai}=\frac{1}{2\tilde{N}}\quantity(\frac{\partial N_{i}}{% \partial x^{a}}+\frac{\partial N_{a}}{\partial x^{i}}-\frac{\partial g_{ai}}{% \partial t})italic_K start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 over~ start_ARG italic_N end_ARG end_ARG ( start_ARG divide start_ARG ∂ italic_N start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_x start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG + divide start_ARG ∂ italic_N start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_x start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG - divide start_ARG ∂ italic_g start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_t end_ARG end_ARG ) (50)

along the system trajectory from the imaginary part of the connection as

Aai=ΓaiiKaisubscript𝐴𝑎𝑖subscriptΓ𝑎𝑖𝑖subscript𝐾𝑎𝑖\displaystyle A_{ai}=\Gamma_{ai}-iK_{ai}italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = roman_Γ start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT - italic_i italic_K start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT (51)

V Probabilities, unitarity and mini-superspace

V.1 Quantum-mechanical unitarity

Let us first consider whether the quantum-mechanical notion of unitarity is applicable. We note that since the non-normalizable ΨK[A]subscriptΨ𝐾delimited-[]𝐴\Psi_{K}[A]roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] is factored out of the current density in (41), it is possible that Φ[A,ξ]=Ψ[A,ξ]/ΨK[A]Φ𝐴𝜉Ψ𝐴𝜉subscriptΨ𝐾delimited-[]𝐴\Phi[A,\xi]=\Psi[A,\xi]/\Psi_{K}[A]roman_Φ [ italic_A , italic_ξ ] = roman_Ψ [ italic_A , italic_ξ ] / roman_Ψ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT [ italic_A ] can be appropriately normalized. In that case, the continuity equation (41) may be interpreted as a statement of local probability conservation, analogous to the continuity equation in orthodox quantum mechanics. In addition, if the current Jai0superscript𝐽𝑎𝑖0J^{ai}\to 0italic_J start_POSTSUPERSCRIPT italic_a italic_i end_POSTSUPERSCRIPT → 0 at large |Aai|subscript𝐴𝑎𝑖|A_{ai}|| italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT |, then probabilities remain normalized333In general, the normalization of a density ρ(x,t)𝜌𝑥𝑡\rho(\vec{x},t)italic_ρ ( over→ start_ARG italic_x end_ARG , italic_t ) evolving via the continuity equation ρt+(ρv)=0𝜌𝑡𝜌𝑣0\frac{\partial\rho}{\partial t}+\vec{\nabla}\cdot(\rho\vec{v})=0divide start_ARG ∂ italic_ρ end_ARG start_ARG ∂ italic_t end_ARG + over→ start_ARG ∇ end_ARG ⋅ ( italic_ρ over→ start_ARG italic_v end_ARG ) = 0 is preserved if the current ρv0𝜌𝑣0\rho\vec{v}\to 0italic_ρ over→ start_ARG italic_v end_ARG → 0 as |x|𝑥|x|\to\infty| italic_x | → ∞. with respect to the fermionic time and our system may be said to be quantum-mechanical unitary. We leave it to future work to determine whether such Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ] exist.

In the following, we also explore a generalised notion of unitarity that agrees with quantum-mechanical unitarity and, further, is applicable to non-normalizable Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ].

V.2 Pilot-wave unitarity

The key idea here is that pilot-wave theory posits a probability continuity equation that is logically independent bohm1 ; bohm2 ; bohm54 ; valentinI ; valentinII ; teenv of the continuity equation derived from the quantum state (41), whose role is only to define the guidance equation (43) for a single configuration. We may, therefore, consider an initial normalized density of configurations ρ[A,A¯,ξ,ξ¯,0]𝜌𝐴¯𝐴𝜉¯𝜉0\rho[A,\overline{A},\xi,\overline{\xi},0]italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , 0 ] for a theoretical ensemble444Since pilot-wave theory has a single-world ontology, probabilities here can only refer to a single universe. For example, we can consider agents having incomplete knowledge about the universe. Such agents may assign probabilities to the possible initial configurations of the universe for a theoretical ensemble. regardless of the normalizability of Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ] sen22 . The time evolution of the density is given by

ρ[A,A¯,ξ,ξ¯,t]t+ck(ρ[A,A¯,ξ,ξ¯,t]δAckδt)+¯ck(ρ[A,A¯,ξ,ξ¯,t]δA¯ckδt)𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝑡superscript𝑐𝑘𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝛿subscript𝐴𝑐𝑘𝛿𝑡superscript¯𝑐𝑘𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝛿subscript¯𝐴𝑐𝑘𝛿𝑡\displaystyle\frac{\partial\rho[A,\overline{A},\xi,\overline{\xi},t]}{\partial t% }+\nabla^{ck}(\rho[A,\overline{A},\xi,\overline{\xi},t]\frac{\delta A_{ck}}{% \delta t})+\overline{\nabla}^{ck}(\rho[A,\overline{A},\xi,\overline{\xi},t]% \frac{\delta\overline{A}_{ck}}{\delta t})divide start_ARG ∂ italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] end_ARG start_ARG ∂ italic_t end_ARG + ∇ start_POSTSUPERSCRIPT italic_c italic_k end_POSTSUPERSCRIPT ( italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] divide start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) + over¯ start_ARG ∇ end_ARG start_POSTSUPERSCRIPT italic_c italic_k end_POSTSUPERSCRIPT ( italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] divide start_ARG italic_δ over¯ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG )
+B(ρ[A,A¯,ξ,ξ¯,t]δξBδt)+¯B(ρ[A,A¯,ξ,ξ¯,t]δξ¯Bδt)=0superscript𝐵𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝛿subscript𝜉𝐵𝛿𝑡superscript¯𝐵𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝛿subscript¯𝜉𝐵𝛿𝑡0\displaystyle+\nabla^{B}(\rho[A,\overline{A},\xi,\overline{\xi},t]\frac{\delta% \xi_{B}}{\delta t})+\overline{\nabla}^{B}(\rho[A,\overline{A},\xi,\overline{% \xi},t]\frac{\delta\overline{\xi}_{B}}{\delta t})=0+ ∇ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ( italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] divide start_ARG italic_δ italic_ξ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) + over¯ start_ARG ∇ end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ( italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] divide start_ARG italic_δ over¯ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG ) = 0 (52)

Equations (41) and (52) imply that

ddtρ[A,A¯,ξ,ξ¯,t]|Φ[A,ξ]|2=0𝑑𝑑𝑡𝜌𝐴¯𝐴𝜉¯𝜉𝑡superscriptΦ𝐴𝜉20\displaystyle\frac{d}{dt}\frac{\rho[A,\overline{A},\xi,\overline{\xi},t]}{|% \Phi[A,\xi]|^{2}}=0divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG divide start_ARG italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] end_ARG start_ARG | roman_Φ [ italic_A , italic_ξ ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = 0 (53)

where

ddt𝑑𝑑𝑡\displaystyle\frac{d}{dt}divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG t+δAaiδtδδAai+δAai¯δtδδAai¯+δξBδtδδξB+δξ¯Bδtδδξ¯Babsent𝑡subscript𝛿subscript𝐴𝑎𝑖𝛿𝑡𝛿𝛿subscript𝐴𝑎𝑖subscript𝛿¯subscript𝐴𝑎𝑖𝛿𝑡𝛿𝛿¯subscript𝐴𝑎𝑖subscript𝛿superscript𝜉𝐵𝛿𝑡𝛿𝛿superscript𝜉𝐵subscript𝛿superscript¯𝜉𝐵𝛿𝑡𝛿𝛿superscript¯𝜉𝐵\displaystyle\equiv\frac{\partial}{\partial t}+\int_{\mathcal{M}}\frac{\delta A% _{ai}}{\delta t}\frac{\delta}{\delta A_{ai}}+\int_{\mathcal{M}}\frac{\delta% \overline{A_{ai}}}{\delta t}\frac{\delta}{\delta\overline{A_{ai}}}+\int_{% \mathcal{M}}\frac{\delta\xi^{B}}{\delta t}\frac{\delta}{\delta\xi^{B}}+\int_{% \mathcal{M}}\frac{\delta\overline{\xi}^{B}}{\delta t}\frac{\delta}{\delta% \overline{\xi}^{B}}≡ divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG + ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG + ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ over¯ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_δ italic_t end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ over¯ start_ARG italic_A start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT end_ARG end_ARG + ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG + ∫ start_POSTSUBSCRIPT caligraphic_M end_POSTSUBSCRIPT divide start_ARG italic_δ over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG divide start_ARG italic_δ end_ARG start_ARG italic_δ over¯ start_ARG italic_ξ end_ARG start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG (54)

denotes the total time derivative operator. The relation (53) implies that the ratio of ρ[A,A¯,ξ,ξ¯,t]𝜌𝐴¯𝐴𝜉¯𝜉𝑡\rho[A,\overline{A},\xi,\overline{\xi},t]italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] to |Φ[A,ξ]|2superscriptΦ𝐴𝜉2|\Phi[A,\xi]|^{2}| roman_Φ [ italic_A , italic_ξ ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT remains constant along the system trajectories on configuration space. A density ρ[A,A¯,ξ,ξ¯,t]𝜌𝐴¯𝐴𝜉¯𝜉𝑡\rho[A,\overline{A},\xi,\overline{\xi},t]italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] that is equal to |Φ[A,ξ]|2superscriptΦ𝐴𝜉2|\Phi[A,\xi]|^{2}| roman_Φ [ italic_A , italic_ξ ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over an evolving compact support of the configuration space has been defined to be in pilot-wave equilibrium sen22 , which is a generalization of the notion of quantum equilibrium bohm54 ; valentinI ; valentinII ; teenv . For example, an initial density (up to normalization factor)

ρ[A,A¯,ξ,ξ¯,0]={|Φ[A,ξ]|2,(A,ξ)Ω00,(A,ξ)𝒞Ω0𝜌𝐴¯𝐴𝜉¯𝜉0casessuperscriptΦ𝐴𝜉2𝐴𝜉subscriptΩ00𝐴𝜉𝒞subscriptΩ0\displaystyle\rho[A,\overline{A},\xi,\overline{\xi},0]=\begin{cases}|\Phi[A,% \xi]|^{2},&(A,\xi)\in\Omega_{0}\\ 0,&(A,\xi)\in\mathcal{C}\setminus\Omega_{0}\end{cases}italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , 0 ] = { start_ROW start_CELL | roman_Φ [ italic_A , italic_ξ ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_CELL start_CELL ( italic_A , italic_ξ ) ∈ roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL ( italic_A , italic_ξ ) ∈ caligraphic_C ∖ roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL end_ROW (55)

where Ω0{(A,ξ)|ρ[A,A¯,ξ,ξ¯,0]>0}subscriptΩ0conditional-set𝐴𝜉𝜌𝐴¯𝐴𝜉¯𝜉00\Omega_{0}\equiv\{(A,\xi)|\rho[A,\overline{A},\xi,\overline{\xi},0]>0\}roman_Ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≡ { ( italic_A , italic_ξ ) | italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , 0 ] > 0 } is a compact support on the configuration space 𝒞𝒞\mathcal{C}caligraphic_C, will evolve to

ρ[A,A¯,ξ,ξ¯,t]={|Φ[A,ξ]|2,(A,ξ)Ωt0,(A,ξ)𝒞Ωt𝜌𝐴¯𝐴𝜉¯𝜉𝑡casessuperscriptΦ𝐴𝜉2𝐴𝜉subscriptΩ𝑡0𝐴𝜉𝒞subscriptΩ𝑡\displaystyle\rho[A,\overline{A},\xi,\overline{\xi},t]=\begin{cases}|\Phi[A,% \xi]|^{2},&(A,\xi)\in\Omega_{t}\\ 0,&(A,\xi)\in\mathcal{C}\setminus\Omega_{t}\end{cases}italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] = { start_ROW start_CELL | roman_Φ [ italic_A , italic_ξ ] | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_CELL start_CELL ( italic_A , italic_ξ ) ∈ roman_Ω start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL ( italic_A , italic_ξ ) ∈ caligraphic_C ∖ roman_Ω start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_CELL end_ROW (56)

where Ωt{(A,ξ)|ρ[A,A¯,ξ,ξ¯,t]>0}subscriptΩ𝑡conditional-set𝐴𝜉𝜌𝐴¯𝐴𝜉¯𝜉𝑡0\Omega_{t}\equiv\{(A,\xi)|\rho[A,\overline{A},\xi,\overline{\xi},t]>0\}roman_Ω start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≡ { ( italic_A , italic_ξ ) | italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] > 0 } is the time evolved support on the configuration space. The behaviour of such densities has been explored for the case of harmonic oscillators in sen22 .

Let us next consider the notion of unitarity from a pilot-wave perspective. We define Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ] to be a unitary state if and only if

lim|Ack|ρ[A,A¯,ξ,ξ¯,t]δAckδt=0c,ksubscriptsubscript𝐴𝑐𝑘𝜌𝐴¯𝐴𝜉¯𝜉𝑡𝛿subscript𝐴𝑐𝑘𝛿𝑡0for-all𝑐𝑘\displaystyle\lim_{|A_{ck}|\to\infty}\rho[A,\overline{A},\xi,\overline{\xi},t]% \frac{\delta A_{ck}}{\delta t}=0\hskip 5.69046pt\forall c,kroman_lim start_POSTSUBSCRIPT | italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT | → ∞ end_POSTSUBSCRIPT italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] divide start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT end_ARG start_ARG italic_δ italic_t end_ARG = 0 ∀ italic_c , italic_k (57)

for any initially normalized ρ[A,A¯,ξ,ξ¯,0]𝜌𝐴¯𝐴𝜉¯𝜉0\rho[A,\overline{A},\xi,\overline{\xi},0]italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , 0 ] evolving via (52) at any finite t>0𝑡0t>0italic_t > 0, and where δAck/δt𝛿subscript𝐴𝑐𝑘𝛿𝑡\delta A_{ck}/\delta titalic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT / italic_δ italic_t is determined from (43). As δξB/δtξBproportional-to𝛿superscript𝜉𝐵𝛿𝑡superscript𝜉𝐵\delta\xi^{B}/\delta t\propto\xi^{B}italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT / italic_δ italic_t ∝ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT from (39), the condition (57) implies that ρ[A,A¯,ξ,ξ¯,t]𝜌𝐴¯𝐴𝜉¯𝜉𝑡\rho[A,\overline{A},\xi,\overline{\xi},t]italic_ρ [ italic_A , over¯ start_ARG italic_A end_ARG , italic_ξ , over¯ start_ARG italic_ξ end_ARG , italic_t ] remains normalized with time. Clearly, the pilot-wave notion of unitarity (57) is applicable regardless of the normalizability of Φ[A,ξ]Φ𝐴𝜉\Phi[A,\xi]roman_Φ [ italic_A , italic_ξ ]. Note that a unitary non-normalizable state is not identical to a bound non-normalizable state sen22 .

We now explore the behaviour of solutions to the Hamiltonian constraint in the context of this discussion. This is a technically challenging question to investigate in full generality, so we address this here in the mini-superspace (FRW) approximation, which is relevant for quantum cosmology.

V.3 Mini-superspace

Assuming homogenity and isotropy, we take Ack(x)=iAδcksubscript𝐴𝑐𝑘𝑥𝑖𝐴subscript𝛿𝑐𝑘A_{ck}(\vec{x})=iA\delta_{ck}italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG ) = italic_i italic_A italic_δ start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT and ξB(x)=ξsuperscript𝜉𝐵𝑥𝜉\xi^{B}(\vec{x})=\xiitalic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ( over→ start_ARG italic_x end_ARG ) = italic_ξ. This implies that

Fabk=κA2ϵabksubscriptsuperscript𝐹𝑘𝑎𝑏𝜅superscript𝐴2superscriptsubscriptitalic-ϵ𝑎𝑏𝑘\displaystyle F^{k}_{ab}=-\kappa A^{2}\epsilon_{ab}^{k}italic_F start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = - italic_κ italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT (58)
(𝒟^aξ)A=κiAτaACξCsubscriptsubscript^𝒟𝑎𝜉𝐴𝜅𝑖𝐴superscriptsubscript𝜏𝑎𝐴𝐶subscript𝜉𝐶\displaystyle(\widehat{\mathcal{D}}_{a}\xi)_{A}=\kappa iA\tau_{aA}^{C}\xi_{C}( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_κ italic_i italic_A italic_τ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT (59)

The Hamiltonian constraint ^Ψ=0^Ψ0\hat{\mathcal{H}}\Psi=0over^ start_ARG caligraphic_H end_ARG roman_Ψ = 0 simplifies to

3i2(A2Ψ)A2+Λ3ΨA3+2AτaACξCσaABAΨξB+τaACξCσaABΨξB=03𝑖superscript2superscript𝐴2Ψsuperscript𝐴2Planck-constant-over-2-piΛsuperscript3Ψsuperscript𝐴32𝐴superscriptsubscript𝜏𝑎𝐴𝐶subscript𝜉𝐶superscript𝜎𝑎𝐴𝐵𝐴Ψsuperscript𝜉𝐵superscriptsubscript𝜏𝑎𝐴𝐶subscript𝜉𝐶superscript𝜎𝑎𝐴𝐵Ψsuperscript𝜉𝐵0\displaystyle 3i\frac{\partial^{2}(A^{2}\Psi)}{\partial A^{2}}+\hbar\Lambda% \frac{\partial^{3}\Psi}{\partial A^{3}}+2A\tau_{aA}^{C}\xi_{C}\sigma^{aAB}% \frac{\partial}{\partial A}\frac{\partial\Psi}{\partial\xi^{B}}+\tau_{aA}^{C}% \xi_{C}\sigma^{aAB}\frac{\partial\Psi}{\partial\xi^{B}}=03 italic_i divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ψ ) end_ARG start_ARG ∂ italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + roman_ℏ roman_Λ divide start_ARG ∂ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_Ψ end_ARG start_ARG ∂ italic_A start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + 2 italic_A italic_τ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG ∂ end_ARG start_ARG ∂ italic_A end_ARG divide start_ARG ∂ roman_Ψ end_ARG start_ARG ∂ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG + italic_τ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG ∂ roman_Ψ end_ARG start_ARG ∂ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG = 0 (60)

As such, equation (60) does not have separable solutions in A𝐴Aitalic_A, ξ𝜉\xiitalic_ξ.

V.3.1 Approximately separable solutions

Let us make the simplifying assumption that the last term in (60) is small, which we will justify later. We then look for separable solutions Ψ(A,ξ)=χ(A)ϕ(ξ)Ψ𝐴𝜉𝜒𝐴italic-ϕ𝜉\Psi(A,\xi)=\chi(A)\phi(\xi)roman_Ψ ( italic_A , italic_ξ ) = italic_χ ( italic_A ) italic_ϕ ( italic_ξ ). For such solutions, (60) implies

3iϕAχd2(A2χ)dA2+ΛϕAχd3χdA3+2τaACξCσaABdϕdξB=03𝑖italic-ϕ𝐴superscript𝜒superscript𝑑2superscript𝐴2𝜒𝑑superscript𝐴2Planck-constant-over-2-piΛitalic-ϕ𝐴superscript𝜒superscript𝑑3𝜒𝑑superscript𝐴32superscriptsubscript𝜏𝑎𝐴𝐶subscript𝜉𝐶superscript𝜎𝑎𝐴𝐵𝑑italic-ϕ𝑑superscript𝜉𝐵0\displaystyle\frac{3i\phi}{A\chi^{\prime}}\frac{d^{2}(A^{2}\chi)}{dA^{2}}+% \frac{\hbar\Lambda\phi}{A\chi^{\prime}}\frac{d^{3}\chi}{dA^{3}}+2\tau_{aA}^{C}% \xi_{C}\sigma^{aAB}\frac{d\phi}{d\xi^{B}}=0divide start_ARG 3 italic_i italic_ϕ end_ARG start_ARG italic_A italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ ) end_ARG start_ARG italic_d italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG roman_ℏ roman_Λ italic_ϕ end_ARG start_ARG italic_A italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_χ end_ARG start_ARG italic_d italic_A start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + 2 italic_τ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_d italic_ϕ end_ARG start_ARG italic_d italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG = 0 (61)

Clearly, the first two terms depend only on A𝐴Aitalic_A whereas the third term depends only on ξ𝜉\xiitalic_ξ. Let us introduce a separation constant \mathcal{E}caligraphic_E (in general complex) such that

3iAχd2(A2χ)dA2+ΛAχd3χdA3=3𝑖𝐴superscript𝜒superscript𝑑2superscript𝐴2𝜒𝑑superscript𝐴2Planck-constant-over-2-piΛ𝐴superscript𝜒superscript𝑑3𝜒𝑑superscript𝐴3\displaystyle\frac{3i}{A\chi^{\prime}}\frac{d^{2}(A^{2}\chi)}{dA^{2}}+\frac{% \hbar\Lambda}{A\chi^{\prime}}\frac{d^{3}\chi}{dA^{3}}=\mathcal{E}divide start_ARG 3 italic_i end_ARG start_ARG italic_A italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_χ ) end_ARG start_ARG italic_d italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG roman_ℏ roman_Λ end_ARG start_ARG italic_A italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_χ end_ARG start_ARG italic_d italic_A start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG = caligraphic_E (62)
2τaACξCσaABdϕdξB=ϕ2superscriptsubscript𝜏𝑎𝐴𝐶subscript𝜉𝐶superscript𝜎𝑎𝐴𝐵𝑑italic-ϕ𝑑superscript𝜉𝐵italic-ϕ\displaystyle 2\tau_{aA}^{C}\xi_{C}\sigma^{aAB}\frac{d\phi}{d\xi^{B}}=-% \mathcal{E}\phi2 italic_τ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_C end_POSTSUPERSCRIPT italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_d italic_ϕ end_ARG start_ARG italic_d italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG = - caligraphic_E italic_ϕ (63)

The differential equation for ϕitalic-ϕ\phiitalic_ϕ can be written as

ξdϕdξ=i0ϕ𝜉𝑑italic-ϕ𝑑𝜉𝑖subscript0italic-ϕ\displaystyle\xi\frac{d\phi}{d\xi}=-i\mathcal{E}_{0}\phiitalic_ξ divide start_ARG italic_d italic_ϕ end_ARG start_ARG italic_d italic_ξ end_ARG = - italic_i caligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ϕ (64)

where 0=2/(σaA+σaA++σaAσaA++σaA+σaA+σaAσaA)subscript02superscriptsubscript𝜎𝑎𝐴superscript𝜎limit-from𝑎𝐴superscriptsubscript𝜎𝑎𝐴superscript𝜎limit-from𝑎𝐴superscriptsubscript𝜎𝑎𝐴superscript𝜎limit-from𝑎𝐴superscriptsubscript𝜎𝑎𝐴superscript𝜎limit-from𝑎𝐴\mathcal{E}_{0}=2\mathcal{E}/(\sigma_{aA}^{+}\sigma^{aA+}+\sigma_{aA}^{-}% \sigma^{aA+}+\sigma_{aA}^{+}\sigma^{aA-}+\sigma_{aA}^{-}\sigma^{aA-})caligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 2 caligraphic_E / ( italic_σ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A + end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A + end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A - end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_a italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_a italic_A - end_POSTSUPERSCRIPT ) and we have used τiσ/2𝜏𝑖𝜎2\tau\equiv-i\sigma/2italic_τ ≡ - italic_i italic_σ / 2. The general solution to (64) is ϕ(ξ)=cei0lnξitalic-ϕ𝜉𝑐superscript𝑒𝑖subscript0𝜉\phi(\xi)=ce^{-i\mathcal{E}_{0}\ln\xi}italic_ϕ ( italic_ξ ) = italic_c italic_e start_POSTSUPERSCRIPT - italic_i caligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_ln italic_ξ end_POSTSUPERSCRIPT, where c𝑐citalic_c is an arbitrary constant. We note the resemblance of this solution to the time-dependent part eiEt/superscript𝑒𝑖𝐸𝑡Planck-constant-over-2-pie^{-iEt/\hbar}italic_e start_POSTSUPERSCRIPT - italic_i italic_E italic_t / roman_ℏ end_POSTSUPERSCRIPT of an energy eigenstate corresponding to energy E𝐸Eitalic_E.

The approximate solution to (62) for χ𝜒\chiitalic_χ is

χ(A)=c1A9+9+18i2+i6+c2A99+18i2+i6𝜒𝐴subscript𝑐1superscript𝐴9918𝑖superscript2𝑖6subscript𝑐2superscript𝐴9918𝑖superscript2𝑖6\displaystyle\chi(A)=c_{1}A^{-\frac{9+\sqrt{9+18i\mathcal{E}-\mathcal{E}^{2}}+% \mathcal{E}i}{6}}+c_{2}A^{-\frac{9-\sqrt{9+18i\mathcal{E}-\mathcal{E}^{2}}+% \mathcal{E}i}{6}}italic_χ ( italic_A ) = italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT - divide start_ARG 9 + square-root start_ARG 9 + 18 italic_i caligraphic_E - caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + caligraphic_E italic_i end_ARG start_ARG 6 end_ARG end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT - divide start_ARG 9 - square-root start_ARG 9 + 18 italic_i caligraphic_E - caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + caligraphic_E italic_i end_ARG start_ARG 6 end_ARG end_POSTSUPERSCRIPT (65)

where we have neglected the third-derivative term multiplied by ΛPlanck-constant-over-2-piΛ\hbar\Lambdaroman_ℏ roman_Λ. Note that we can select \mathcal{E}caligraphic_E in (65) such that the last term in (60) is indeed small, as assumed.

V.3.2 Unitarity and Torsion

The current (37) can be rewritten as

Jai=|Φ|2{iN~Pl22ϵijk(Pl2Λ3ϵabc1Ψδ2ΨδAckδAbj)+2N~Pl2(𝒟^aξ)AσiABδlnΨδξBNbPl22κFaib}subscript𝐽𝑎𝑖superscriptΦ2𝑖~𝑁superscriptsubscriptPl22subscriptitalic-ϵ𝑖𝑗𝑘superscriptsubscriptPl2Λ3subscriptitalic-ϵ𝑎𝑏𝑐1Ψsuperscript𝛿2Ψ𝛿subscript𝐴𝑐𝑘𝛿subscript𝐴𝑏𝑗2~𝑁superscriptsubscriptPl2subscriptsubscript^𝒟𝑎𝜉𝐴superscriptsubscript𝜎𝑖𝐴𝐵𝛿Ψ𝛿superscript𝜉𝐵subscript𝑁𝑏superscriptsubscriptPl22𝜅Planck-constant-over-2-pisubscriptsuperscript𝐹𝑏𝑎𝑖\displaystyle J_{ai}=|\Phi|^{2}\bigg{\{}\frac{i\tilde{N}\ell_{\rm Pl}^{2}}{2}% \epsilon_{ijk}\bigg{(}\frac{\ell_{\rm Pl}^{2}\Lambda}{3}\epsilon_{abc}\frac{1}% {\Psi}\frac{\delta^{2}\Psi}{\delta A_{ck}\delta A_{bj}}\bigg{)}+2\tilde{N}\ell% _{\rm Pl}^{2}(\widehat{\mathcal{D}}_{a}\xi)_{A}\sigma_{i}^{AB}\frac{\delta\ln% \Psi}{\delta\xi^{B}}-N_{b}\frac{\ell_{\rm Pl}^{2}}{2\kappa\hbar}F^{b}_{ai}% \bigg{\}}italic_J start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT = | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT { divide start_ARG italic_i over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG start_ARG 3 end_ARG italic_ϵ start_POSTSUBSCRIPT italic_a italic_b italic_c end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG roman_Ψ end_ARG divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Ψ end_ARG start_ARG italic_δ italic_A start_POSTSUBSCRIPT italic_c italic_k end_POSTSUBSCRIPT italic_δ italic_A start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT end_ARG ) + 2 over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over^ start_ARG caligraphic_D end_ARG start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_ξ ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT divide start_ARG italic_δ roman_ln roman_Ψ end_ARG start_ARG italic_δ italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG - italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ roman_ℏ end_ARG italic_F start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_i end_POSTSUBSCRIPT } (66)

The guidance equation (43) can be shown to reduce to

idAdt=N~Pl2χddA(Pl2Λ3ddA)χ+2iN~A𝑖𝑑𝐴𝑑𝑡~𝑁superscriptsubscriptPl2𝜒𝑑𝑑𝐴superscriptsubscriptPl2Λ3𝑑𝑑𝐴𝜒2𝑖Planck-constant-over-2-pi~𝑁𝐴\displaystyle i\frac{dA}{dt}=-\frac{\tilde{N}\ell_{\rm Pl}^{2}}{\chi}\frac{d}{% dA}\bigg{(}\frac{\ell_{\rm Pl}^{2}\Lambda}{3}\frac{d}{dA}\bigg{)}\chi+2i\hbar% \tilde{N}\mathcal{E}Aitalic_i divide start_ARG italic_d italic_A end_ARG start_ARG italic_d italic_t end_ARG = - divide start_ARG over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_χ end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_A end_ARG ( divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG start_ARG 3 end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_A end_ARG ) italic_χ + 2 italic_i roman_ℏ over~ start_ARG italic_N end_ARG caligraphic_E italic_A (67)

for separable solution χ(A)ϕ(ξ)𝜒𝐴italic-ϕ𝜉\chi(A)\phi(\xi)italic_χ ( italic_A ) italic_ϕ ( italic_ξ ) corresponding to \mathcal{E}caligraphic_E. Suppose that χ(A)=Ad𝜒𝐴superscript𝐴𝑑\chi(A)=A^{d}italic_χ ( italic_A ) = italic_A start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT, where d(9+9+18i2+i)/6𝑑9918𝑖superscript2𝑖6d\equiv-(9+\sqrt{9+18i\mathcal{E}-\mathcal{E}^{2}}+\mathcal{E}i)/6italic_d ≡ - ( 9 + square-root start_ARG 9 + 18 italic_i caligraphic_E - caligraphic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + caligraphic_E italic_i ) / 6, then (67) becomes

dAdt=iN~Pl2(Pl2Λ3d(d1)A2)+2N~A𝑑𝐴𝑑𝑡𝑖~𝑁superscriptsubscriptPl2superscriptsubscriptPl2Λ3𝑑𝑑1superscript𝐴22Planck-constant-over-2-pi~𝑁𝐴\displaystyle\frac{dA}{dt}=i\tilde{N}\ell_{\rm Pl}^{2}\bigg{(}\frac{\ell_{\rm Pl% }^{2}\Lambda}{3}\frac{d(d-1)}{A^{2}}\bigg{)}+2\hbar\tilde{N}\mathcal{E}Adivide start_ARG italic_d italic_A end_ARG start_ARG italic_d italic_t end_ARG = italic_i over~ start_ARG italic_N end_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG roman_ℓ start_POSTSUBSCRIPT roman_Pl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ end_ARG start_ARG 3 end_ARG divide start_ARG italic_d ( italic_d - 1 ) end_ARG start_ARG italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + 2 roman_ℏ over~ start_ARG italic_N end_ARG caligraphic_E italic_A (68)

Clearly, for large A𝐴Aitalic_A, dA/dt𝑑𝐴𝑑𝑡dA/dtitalic_d italic_A / italic_d italic_t increases approximately linearly and, using (57), χ(A)ϕ(ξ)𝜒𝐴italic-ϕ𝜉\chi(A)\phi(\xi)italic_χ ( italic_A ) italic_ϕ ( italic_ξ ) is pilot-wave unitary.

Equation (68) also implies that, in general, A(t)𝐴𝑡A(t)italic_A ( italic_t ) will have both real and imaginary parts. This implies the presence of both normal and parity-violating torsion maggi1 ; maggi2 .

V.3.3 Evolution of the fermionic field

Lastly, the evolution of the fermionic field (39) becomes

dξBdt=iκ[9N~κA3(τAiC)σiABΛ+NaAτaBC]ξC𝑑superscript𝜉𝐵𝑑𝑡𝑖𝜅9~𝑁𝜅superscript𝐴3superscriptsubscript𝜏𝐴𝑖𝐶superscriptsubscript𝜎𝑖𝐴𝐵Λsuperscript𝑁𝑎𝐴superscriptsubscript𝜏𝑎𝐵𝐶subscript𝜉𝐶\displaystyle\frac{d\xi^{B}}{dt}=i\kappa\quantity[9\tilde{N}\kappa\frac{A^{3}(% \tau_{A}^{iC})\sigma_{i}^{AB}}{\Lambda}+N^{a}A\tau_{a}^{BC}]\xi_{C}divide start_ARG italic_d italic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_t end_ARG = italic_i italic_κ [ start_ARG 9 over~ start_ARG italic_N end_ARG italic_κ divide start_ARG italic_A start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_C end_POSTSUPERSCRIPT ) italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT end_ARG start_ARG roman_Λ end_ARG + italic_N start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_A italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_C end_POSTSUPERSCRIPT end_ARG ] italic_ξ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT (69)

Equation (69) implies that ξ+superscript𝜉\xi^{+}italic_ξ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT and ξsuperscript𝜉\xi^{-}italic_ξ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT will quickly differ, even if ξB=ξsuperscript𝜉𝐵𝜉\xi^{B}=\xiitalic_ξ start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT = italic_ξ at t=0𝑡0t=0italic_t = 0.

VI Discussion

We have described an interacting gravitational-fermionic system in Ashtekar formulation using the language of pilot-wave theory. We summarise here the key results of our work and potential directions for future research.

We have obtained a real time variable for the combined system, without semiclassical assumptions, by parameterizing variation of the fermionic field that depends on the Kodama state. In both classical and quantum canonical gravity, time disappears and the Hamiltonian becomes a constraint. Various approaches to define a natural time variable using a matter field as a clock have been discussed in the literature theo06 ; boho ; ditti14 ; weasel18 . Our approach analogously uses a fermionic field to define time, but also supplements it with the pilot-wave postulate of a definite joint configuration for both the clock and the Ashtekar connection. Time is then defined to be a real variable that naturally parameterizes the variation of the definite fermionic field configuration. Both the fermionic field and the Ashtekar connection are quantized in our approach, and the time variable is well-defined for general solutions to the constraints. The total constraint is expressed as a Schrodinger equation with respect to the fermionic time. In the future, it will be interesting to explore the relationship between our approach and the previous approaches to defining time. Furthermore, our work suggests that the problem of time in quantum gravity and the problem of preferred global time required to define pilot-wave dynamics are intimately linked. Both are solved simultaneously in our approach, obviating the criticism that the preferred global time is necessarily ad hoc in pilot-wave theory. For future work, it will be interesting to apply this approach to the problem of time to scenarios with additional matter fields coupled to gravity. A straightforward application would be to vary each matter field and then sum over all to define a partial time derivative of the quantum state, in analogy with summing over the different spinor components in equation (39).

We have derived a local continuity equation over the configuration space and discussed unitarity from both quantum-mechanical and pilot-wave perspective. It is interesting that in the context of the Tunnelling Wavefunction of the Universe, Vilenkin was able to define a conserved current for configurations in mini-superspace and it would be interesting to explore the relationship between our conserved current and his Vilenkin:1987kf ; Albertini:2022yny . In our conserved current density, the non-normalizable Kodama state is found to naturally factor out from the full quantum state. A natural question that arises for future work is whether the remaining part of the quantum state can be appropriately normalized, thereby proving quantum-mechanical unitarity. We have also given a pilot-wave generalization of the notion of unitarity, which reduces to the quantum-mechanical notion for normalizable states but is also applicable to non-normalizable states. We have shown the existence of approximate pilot-wave unitary states in mini-superspace. We leave for future work whether pilot-wave unitary states exist in general.

We have explored pilot-wave dynamics for the physically relevant quantities in our system. We have retrieved real spin connection, triad and extrinsic curvature along the system trajectory in configuration space by imposing the reality conditions at the level of the guidance equation for the connection. Interestingly, the guidance equation for the connection naturally resolves into the classical equation of motion, giving us deSitter spacetime as a solution, plus quantum corrections. We have also shown the existence of pilot-wave equilibrium densities sen22 , which lead to Born-rule-like probabilities. It is interesting that we have used commutators to quantize the fermionic field freedsork2 ; freedsork1 , and this leads to considerable simplicity in interpretation for the guidance equations. It will be interesting to explore the violation of spin-statistics theorem in quantum gravity in the future, as this is closely related to the long-standing question of particle versus field ontology for fermions in pilot-wave theory valentiniphd ; struyvefields ; minstrel .

It is important to extract testable cosmological predictions from our approach. We know that the connection in FRW is the co-moving Horizon, AHasimilar-to𝐴𝐻𝑎A\sim Haitalic_A ∼ italic_H italic_a maggi1 ; maggi2 , so that the evolution of the Horizon may be obtained from the guidance equation and this may yield predictions in light of the Hubble tension. Such a link would connect non-local dynamics in pilot-wave theory to the evolution of the Hubble parameter, but this is still speculative.

Acknowledgements.
We thank Abhay Ashtekar for encouragement and technical comments on aspects of this work. We thank David Spergel for inspiring SA, years ago, to look at the de Broglie-Bohm framework in the context of cosmology. We thank Laurent Feidel, Joao Magueijo, Lee Smolin and Antonino Marciano for critical and useful comments. IS is grateful to Matt Leifer for encouragement and helpful discussions. IS was supported by a fellowship from the Grand Challenges Initiative at Chapman University.

References

  • (1) B. S. DeWitt. Quantum theory of gravity. I. The canonical theory. Phys. Rev., 160(5):1113, 1967.
  • (2) A. Ashtekar. New variables for classical and quantum gravity. Phys. Rev. Lett., 57(18):2244, 1986.
  • (3) H. Kodama. Holomorphic wave function of the universe. Phys. Rev. D, 42(8):2548, 1990.
  • (4) J. Magueijo. Equivalence of the Chern-Simons state and the Hartle-Hawking and Vilenkin wave-functions. Phys. Rev. D, 102(4):044034, 2020.
  • (5) S. Alexander, G. Herczeg, and J. Magueijo. A generalized Hartle–Hawking wave function. Class. Quant. Grav., 38(9):095011, 2021.
  • (6) S. Alexander, T. Daniel, M. Howard, and M. Konig. Exact fermionic Chern-Simons-Kodama state in quantum gravity. Phys. Rev. D, 106(10):106012, 2022.
  • (7) C. J. Isham. Canonical quantum gravity and the problem of time. In Integrable systems, quantum groups, and quantum field theories, pages 157–287. Springer, 1993.
  • (8) S. Carlip. Quantum gravity: a progress report. Rep. Prog. Phys., 64(8):885, 2001.
  • (9) A. Valentini. Beyond the Born rule in quantum gravity. Found. Phys., 53(1):6, 2023.
  • (10) S. Alexander, G. Herczeg, and L. Freidel. An inner product for 4D quantum gravity and the Chern–Simons–Kodama state. Class. Quant. Grav., 40(14):145010, 2023.
  • (11) D. Bohm. A suggested interpretation of the quantum theory in terms of “hidden” variables. I. Phys. Rev., 85(2), 1952.
  • (12) D. Bohm. A suggested interpretation of the quantum theory in terms of “hidden” variables. II. Phys. Rev., 85(2), 1952.
  • (13) G. Bacciagaluppi and A. Valentini. Quantum theory at the crossroads: reconsidering the 1927 Solvay conference. Cambridge Univ. Press, 2009.
  • (14) P. R. Holland. The quantum theory of motion: an account of the de Broglie-Bohm causal interpretation of quantum mechanics. Cambridge Univ. Press, 1995.
  • (15) J. S. Bell. Speakable and unspeakable in quantum mechanics: Collected papers on quantum philosophy. Cambridge Univ. Press, 2004.
  • (16) J. Dressel, I. Sen, and S. Alexander. Pilot-wave formulation of anharmonic oscillators in holomorphic representation. in preparation.
  • (17) A. Ashtekar and notes prepared in collaboration with Ranjeet S. Tate. Lectures on non-perturbative canonical gravity. World Scientific, 1991.
  • (18) S. M. Carroll. An introduction to general relativity: spacetime and geometry. Addison Wesley, 101:102, 2004.
  • (19) A. Ashtekar. New Hamiltonian formulation of general relativity. Phys. Rev. D, 36(6):1587, 1987.
  • (20) K. Kuchar. Canonical quantum gravity. arXiv preprint gr-qc/9304012, 1993.
  • (21) L. Smolin. Quantum gravity with a positive cosmological constant. arXiv hep-th/0209079, 2002.
  • (22) E. Witten. A note on the Chern-Simons and Kodama wavefunctions. arXiv gr-qc/0306083, 2003.
  • (23) A. Valentini. On the pilot-wave theory of classical, quantum and subquantum physics. SISSA, 1992.
  • (24) W. Struyve. Pilot-wave theory and quantum fields. Rep. Prog. Phys, 73(10):106001, 2010.
  • (25) F. Mandl and G. Shaw. Quantum field theory. John Wiley & Sons, New York, USA, 2010.
  • (26) T. Jacobson and L. Smolin. Nonperturbative quantum geometries. Nucl. Phys. B, 299(2):295–345, 1988.
  • (27) J. L. Friedman and R. D. Sorkin. Spin 1/2121/21 / 2 from Gravity. Phys. Rev. Lett., 44(17):1100, 1980.
  • (28) J. L. Friedman and R. D. Sorkin. Half-integral spin from quantum gravity. Gen. Relativ. Gravit., 14:615–620, 1982.
  • (29) V. Bargmann. On a Hilbert space of analytic functions and an associated integral transform part I. Commun. Pure Appl. Math., 14(3):187–214, 1961.
  • (30) D. Bohm and J.-P. Vigier. Model of the causal interpretation of quantum theory in terms of a fluid with irregular fluctuations. Phys. Rev., 1954.
  • (31) A. Valentini. Signal-locality, uncertainty, and the subquantum H-theorem. I. Phys. Lett. A, 156(1-2), 1991.
  • (32) A. Valentini. Signal-locality, uncertainty, and the subquantum H-theorem. II. Phys. Lett. A, 158(1-2), 1991.
  • (33) A. Valentini. Foundations of statistical mechanics and the status of the Born rule in de Broglie-Bohm pilot-wave theory. In Statistical Mechanics and Scientific Explanation: Determinism, Indeterminism and Laws of Nature. World Scientific, 2020.
  • (34) I. Sen. Physical interpretation of non-normalizable harmonic oscillator states and relaxation to pilot-wave equilibrium. arXiv:2208.08945, 2022.
  • (35) J. Magueijo and T. Złośnik. Parity violating Friedmann universes. Phys. Rev. D, 100(8):084036, 2019.
  • (36) J. Magueijo and T. Zlosnik. Quantum torsion and a hartle-hawking beam. Phys. Rev. D, 103(10):104008, 2021.
  • (37) T. Thiemann. Solving the Problem of Time in General Relativity and Cosmology with Phantoms and k–Essence. arXiv astro-ph/0607380, 2006.
  • (38) M. Bojowald, P. A. Höhn, and A. Tsobanjan. An effective approach to the problem of time. Class. Quant. Grav., 28(3):035006, 2011.
  • (39) B. Dittrich and S. Steinhaus. Time evolution as refining, coarse graining and entangling. New J. Phys., 16(12):123041, 2014.
  • (40) K. Giesel, A. Herzog, and P. Singh. Gauge invariant variables for cosmological perturbation theory using geometrical clocks. Class. Quant. Grav., 35(15):155012, 2018.
  • (41) A. Vilenkin. Quantum Cosmology and the Initial State of the Universe. Phys. Rev. D, 37:888, 1988.
  • (42) E. Albertini, S. Alexander, G. Herczeg, and J. Magueijo. Torsion and the probability of inflation. JCAP, 11:036, 2022.
  • (43) W. Struyve and H. Westman. A minimalist pilot-wave model for quantum electrodynamics. Proc. R. Soc. A., 463(2088):3115–3129, 2007.