fundamental physical observables of the gravitational field , such as energy and angular momentum , are notoriously hard to define satisfactorily . in asymptopia , where there exist the well - defined bondi @xcite and arnowitt - deser - misner ( adm ) @xcite masses , the quantities are non - local .
the inherent non - locality is usually attributed to the equivalence principle ; one needs at least two observers to distinguish geodesic deviation from acceleration - dependent quantities .
nevertheless , given the existence of the bondi and adm energy definitions on 2-surfaces at null and spatial infinities , it is reasonable to expect a degree of localization is possible .
one possibility given by penrose @xcite is to associate quasilocal quantities to compact , oriented spatial 2-surfaces . given the difficulty in defining gravitational observables , it is perhaps not surprising that there exists a plethora of proposed quasilocal quantities ( @xcite - @xcite ) .
the definitions of quasilocal energy may be distinguished by the ability to satisfy various criteria .
these include vanishing in flat space , taking reasonable values for spherically symmetric solutions , and approaching the adm and bondi values in appropriate limits .
it is by no means simple to satisfy these criteria @xcite , @xcite .    with the complications involved in defining energy even in classical general relativity
, it may seem perilous to define quantum quasilocal energy .
however , in the context of the canonical ( @xmath0 ) theory there is a clear selection criteria for the correct physical quantity .
when defined within a bounded region , functional differentiability of the constraints requires that , generically , surface terms must be added to make the theory well - defined .
the surface term required by the hamiltonian constraint is the hamiltonian for the system on shell . in general , the method of functional differentiability generates boundary conditions on the phase space variables , gauge parameters , and surface terms ( as is explored in some depth in ref .
@xcite for gravity and bf theory ) .
originally , it was noticed that a surface term had to be added to the action so as to match the asymptotic expression .
however , regge and teitelboim found that gravitational theory was simply inconsistent without this boundary term @xcite .
the gravitational action has derivatives of the phase space functions , so the variation generates surface terms .
it is only when these terms vanish ( or are canceled ) that the theory has a well - defined variational principle .
the boundary hamiltonian or quasilocal energy is of this form ; it cancels a term arising in the variation of the hamiltonian constraint .
this paper provides a quantization of the surface observable @xmath1 this reduces to the quasilocal energy of brown and york @xcite , to the adm energy in asymptopia , and to the misner - sharp mass in spherical symmetry ( @xcite ) .
the quantization is carried out in the context of canonical quantum gravity in the real new variables @xcite or , succinctly , `` spin - net gravity '' in which the state space is built from functions of holonomies based on graphs .
( see ref .
@xcite for a recent review . ) perhaps the most remarkable result of this study is the discreteness in geometric operators .
length @xcite , area ( @xcite ) , volume ( @xcite ) , and angle @xcite have been found to have fully discrete spectra . in this approach to quantum gravity space
is discrete .
there have been two previous quantizations of eq .
( [ hclass ] ) .
the first , by baez , muniain , and piriz , was completed before many of the spin - net techniques were developed @xcite .
the action of the operator was qualitatively described as a `` shift . '' in the second , two adm energy operators were introduced in the framework of thiemann s quantum spin dynamics ( @xcite - @xcite ) .
the classical expression used in that quantization was different than the one used here .
in fact , the expression is only weakly equal to eq .
( [ hclass ] ) @xcite .
nevertheless , the resulting quantum operator is very similar and reduces to this adm expression under the same restrictions .
a more extensive comparison between the operators is given in section [ conclusion ] .
the present work completes the quantization of the boundary hamiltonian , even in a non - asymptotically flat context .
the quantum definition is to satisfy modest criteria .
i only ask that the operator be well - defined on the hilbert space induced from the full gauge invariant space .
important criteria , including the proper behavior on semiclassical states and the appropriate algebra of boundary observables , is left for further investigation .
definitions of simple semiclassical states or weaves @xcite are explored in @xcite .
the remainder of this paper is organized as follows : spin - net gravity is briefly reviewed in section [ qg ] .
this serves to base the definition of the quasilocal energy in the framework of the classical theory and provides an opportunity to fix notation and units .
the main developments are contained in section [ qe ] where the operator is regularized in [ reg ] and given final form in [ recouplingnote ] .
an alternate quantization is given in [ qevol ] and the full spectra of the resulting operators is presented in [ spectra ] .
this paper concludes with a comparison with thiemann s @xmath2 operator and some discussion on wider implications of the quantum quasilocal energy operator .
this section sets the classical framework for the operator definitions and provides the basic elements of spin - net quantization .
meanwhile , i use the opportunity to fix signs , factors , and units . for an introduction , rather than a brief review ,
the reader is encouraged to read refs .
@xcite .    for four - dimensional spacetimes
@xmath3 with @xmath4 , where @xmath5 is compact , the ( @xmath0)-action for vacuum , riemannian general relativity is @xmath6        = { 1 \over 8 \pi g } \int_{t_1}^{t_2 } dt \int_{\sigma } d^3x       [ \ e^{ai}\dot{a}_a^i - n{\cal h } - n^a{\cal d}_a -\lambda^i g^i\ ] .\ ] ] the action is written in terms of a real , @xmath7-valued connection one - form @xmath8 and its momenta , a densitized inverse triad @xmath9 .
i have included the overall factor depending on newton s constant @xmath10 ( @xmath11 throughout the paper ) .
the phase space variables satisfy , @xmath12 @xcite .
i take @xmath13 until the final section , when it is included in the spectra of the quasilocal energy . ]
@xmath14 the lagrange multipliers @xmath15 , @xmath16 , and @xmath17 are , respectively , the lapse , shift , and @xmath18 gauge rotation parameters .
varying the action with respect to the last two functions gives the constraints @xmath19 where @xmath20 .
varying the lapse gives the hamiltonian constraint .
defining @xmath21}^i + \epsilon^{ijk}a_a^j a_b^k$ ] , one may express the constraint in integrated form as @xcite @xmath22}^{b } ( a_{a}^{i } - \gamma_{a}^{i } )      ( a_{b}^{j } - \gamma_{b}^{j } ) \right ) \approx 0.\ ] ] due to the choice of using real variables , the additional term has been added to the constraint @xcite .
the triad - compatible connection @xmath23 satisfies @xmath24 .
this constraint generates time evolution . a key observation which affects
the definition of the quasilocal energy is that the hamiltonian constraint has density weight + 2 so the lapse function has density weight -1 .    as bounded spatial regions
are the subject of this work , it is best to start by fixing notation .
the calculations are in a spacetime of the form @xmath25 , although the space has at least one compact subset @xmath26 such that the boundary of the interior @xmath27 , @xmath28 , is homeomorphic to a 2-sphere .
i usually denote the boundary @xmath28 as the surface @xmath29 .
the topology of @xmath5 is not specified but two examples are worth keeping in mind .
one is a compact spatial slice @xmath5 with one boundary and two `` interiors '' @xmath27 and its complement @xmath30 .
the other is the topology of the asymptotically flat spacetimes in which @xmath5 is homeomorphic to @xmath31 with a compact ball cut out .
when the theory of eq .
( [ action ] ) is applied to a bounded spatial region @xmath27 , it is no longer well - defined @xcite .
the problem arises because the phase space of the compact theory does not contain the physical solutions of the bounded one @xcite ; the variational problem has no solutions .
this comes about as boundary terms arise in the variation , making hamilton s equations ill defined ; dynamics takes the system outside of the phase space .
the ( @xmath0)-action , or the constraints , must be functionally differentiable .
when the theory is defined in a finite region , this requires the addition of surface terms and/or the imposition of boundary conditions .
these surface terms , without which the theory would be inconsistent , are the fundamental observables and necessarily satisfy the same algebra as the constraints @xcite .    under the variation of the connection , the hamiltonian constraint generates a surface term which must either vanish through the imposition of boundary conditions or be canceled by another surface term . if the lapse is non - vanishing on @xmath28 then the surface term of eq .
( [ hclass ] ) must be added to the constraint .
it is this term which is the quasilocal energy and reduces to the adm energy in asymptopia . to ensure that the theory is dynamically well - defined
one must impose a complete set of conditions on the boundary @xmath32 . to be concrete
, i consider the specific boundary conditions : @xmath33 see ref .
@xcite ( or , for a more general setting , ref .
@xcite ) for details .
this work is devoted to quantizing the observable of eq .
( [ hclass ] ) . before beginning this
, i review the quantization program in which the quasilocal energy operation is defined .
the mathematically precise formulation is developed in refs .
@xcite .
the natural framework for a diffeomorphism invariant gauge theory is based on wilson loops @xcite .
however , to build three - dimensional geometry it is necessary to use a more general structure based on graphs .
the quantum configuration space is most appropriately constructed from holonomies along the edges of a graph .
i denote a graph embedded in @xmath5 by @xmath34 .
it contains a set of @xmath15 edges @xmath35 and a set of vertices @xmath36 .
the key idea is that every smooth connection @xmath37 associates a group element to an edge @xmath38 of @xmath39 via the holonomy , @xmath40 here , @xmath41 with @xmath42 proportional to the pauli matrices via @xmath43 . given an embedded graph , holonomies along the edges , and a complex ( haar - integrable ) function on @xmath44 , one may define a `` cylindrical function '' @xmath45 ( the function @xmath46 is `` cylindrical '' since @xmath47 only depends on a finite number of directions in the space of connections ; it is constant on all other directions . ) with the appropriate norm , the completion of this function space gives the hilbert space @xmath48 .
a basis on @xmath48 is given by spin network states @xcite .
i denote a spin network @xmath49 by the triple @xmath50 of an oriented graph @xmath51 , labels on the vertices ( or `` intertwiners '' ) , @xmath52 , and integer edge labels , @xmath53 , indexing the representation carried by the edge .
the corresponding spin net state @xmath54 in @xmath55 is defined in the connection representation as @xmath56\ ] ] where the holonomy @xmath57 along edge @xmath38 is in the @xmath58 irreducible representation of @xmath18 .
when the intertwiners `` tie up '' all the incident edges  when they are invariant tensors on the group
these states are gauge invariant .    as the triads are dual to pseudo two - forms , they most comfortably live on 2-surfaces , denoted by @xmath29 .
@xmath59 in which @xmath60 are coordinates on the surface and @xmath61 is the normal .
the action of the triads on a function of holonomies may be computed from the poisson brackets , eq .
( [ pb ] ) .
a short calculation shows that the bracket with a single edge @xmath62 is given by @xmath63 in which @xmath64 denotes the action of the left ( or right ) invariant vector fields on the group element @xmath62 .
does satisfy the algebra of eq .
( [ jalg ] ) , it has an additional property : under orientation reversal of the edge @xmath38 , @xmath65 changes sign @xcite .
this may be seen directly from eq .
( [ triadbracket ] ) . ]
the bracket will generally have a sum of terms .
when a cylindrical function based on a graph @xmath34 , say @xmath66 , is used , the triad defined on a surface , @xmath67 , gives a sum over all intersections , @xmath68 , of the surface and the graph @xmath34 @xmath69 the sum is over all edges @xmath27 incident to @xmath68 ( denoted @xmath70 ) .
the geometric factor @xmath71 is defined by @xmath72 this geometrical factor ties the tangent space of the edge ( through @xmath73 ) to the orientation of the surface . due to the behavior of @xmath74 under edge orientation reversal ,
this factor maintains edge orientation independence and surface orientation dependence .
there are two further remarks to make .
first , the result is non - vanishing only when there is at least one intersection between the graph @xmath34 and the surface @xmath29 .
second , the overall factor of @xmath75 can be seen to arise from a `` thickened surface '' regularization @xcite .    with this preparation
, one may define the quantum triad operator on a spin network state @xmath76 @xmath77 where the angular momentum - like operator @xmath78 satisfies the usual algebra @xmath79       = i\ , \hbar       \ , \epsilon^{ijk } \delta_{e , e ' } \hat{j}_{(e)}^{k}.\ ] ] ( the @xmath80-function restricts the relation to one edge ; @xmath81 on distinct edges commute . ) the triad operator of eq .
( [ eop ] ) is essentially self - adjoint in the hilbert space of quantum gravity @xcite .
the diagrammatic form of this operator is the `` one - handed '' @xcite @xmath82 in which the index @xmath83 is the internal space index .
the length scale of the theory , @xmath84 , is defined by @xmath85 .
the grasping is chosen such that , in the plane of the diagram , the 2-line is on the left when the orientation on the edge points up ( vice versa for downward orientations ) @xcite .
though the overall action is orientation independent , such a diagrammatic representation of grasping involves the choice of a sign .
the geometric factor @xmath71 in the expression for the `` unclasped hand '' in eq .
( [ ediagram ] ) ensures that the operator is independent of edge orientation @xcite .    the quantum configuration space based on graphs and triads which act as signed angular momentum operators are the basic elements of spin - net gravity .
the definition of the quasilocal energy makes use of two further results , the geometric operators of area and volume .
the area of a surface @xmath29 may be , for simplicity , specified by @xmath86 in an adapted coordinate system .
expressed in terms of the triad @xmath9 , the area of the surface only depends on the @xmath87rd vector component via @xcite @xmath88 the quantum operator is defined using the operators of eq .
( [ eop ] ) and by partitioning the surface @xmath29 so that only one edge or vertex threads through each cell in the partition .
the integral of eq .
( [ areae ] ) becomes a sum over operators that act only at intersections of the surface with the spin network @xmath89 the spectrum may be computed with recoupling theory @xcite or operator methods @xcite . in both cases
it is found by considering all the intersections of the spin network with the surface @xmath29 , including vertices which lie in the surface .
the edges incident to a vertex in the surface may be divided into three categories : those which have tangents aligned with the surface normal @xmath90 , anti - aligned @xmath91 , and tangent to the surface @xmath92 .
summing over all contributions , eq .
( [ areaop ] ) becomes @xcite @xmath93^{1/2 } { \mid s \rangle}.\ ] ] this result suggests that space is discrete ; measurements of area can only take quantized values .
other geometric operators such as length @xcite , angle @xcite , and volume share this property .
the construction of the volume operator is more complicated than the area construction .
nevertheless , it is possible , starting from the classical expression @xmath94 to regularize the quantity and define the operator @xcite , @xcite - @xcite @xmath95 where the sign factor is given by @xmath96 .
( incident edges are oriented outward for ease of writing . )
the spectra of such an operator can be worked out using recoupling theory as in refs .
@xcite , @xcite , and @xcite .
introductions to diagrammatic recoupling theory may be found in refs .
to begin , i give a regularization of the hamiltonian @xmath97 with a scalar lapse .
this term may be made into a well - defined quantum operator on the appropriate state space .
however , it does not have the dimensions of energy .
two normalizations to fix this problem are explored , one using area and the other using volume . in both cases
the full spectrum may be computed .
there are differences .
the operator which , in the naive classical limit , gives the familiar expression for the adm energy and quasilocal energy requires a restriction on the hilbert space .
the alternate operator is defined on the full hilbert space but does not have the correct naive classical limit .
this is discussed in sections [ qevol ] and [ conclusion ] .
the next section provides a regularization of @xmath98 .
a recoupling identity studied in [ recouplingnote ] suggests the final form of the operators .
the spectra are given in section [ spectra ] .
the classical quantity to be promoted to a quantum operator is given by @xmath99 ( for the remainder of this paper i explicitly give the density weights using tildes .
this notation also serves to distinguish the two forms of the quasilocal energy operator . )
the regularization is based on the observation that the boundary hamiltonian has two parts .
one part , @xmath100 , is the familiar triad operator integrated over a 2-surface as in eq .
( [ edef ] ) . the second part ,
@xmath101 , may be roughly described as a projection of the connection along an edge of a spin network .
these two parts are regularized by point splitting .
the regularization of the classical hamiltonian is in several steps .
the surface is thickened , as in the definition of the area operator in ref .
this is done by introducing a smooth coordinate @xmath102 over a finite neighborhood of @xmath29 with `` thickness '' @xmath103 .
the boundary itself is located at @xmath104 .
the thickened surface has a natural foliation in terms of @xmath102 and gives a way to regulate the operator .
this portion of the regularization handles the tangent space factor ( the sign @xmath105 ) .
the boundary integration is transformed to an integration over the thickened surface , a region @xmath106 : @xmath107 the region @xmath106 is further partitioned into cells @xmath108 which have the property that the coordinate width , denoted by @xmath109 , is tied to the coordinate height so that @xmath110 .
the power @xmath111 is restricted to lie between 1 and 2 . by construction ,
the number of cells @xmath112 is tied to the same limit .
the fully regularized operator is averaged over the leaves of the foliation of @xmath106 and point split .
the classical expression is defined by @xmath113_{\epsilon }       : = \frac{1}{4 \pi g } \frac{1}{\tau }       \sum_{c=1}^{n_{\epsilon } }      \int \limits_{{\cal r}_{c } \otimes { \cal r}_{c } } \ ! \ ! \ ! \ !
d^{3}x \ , d^{3}y \ ,       \epsilon^{ijk } ( a_{a}^{i } \tilde{e}^{aj})(y ) \ ,       n(x ) \ , n_{b}(x ) \tilde{e}^{bk}(x).\ ] ]
the regulated hamiltonian is well - defined and goes to eq .
( [ hclass ] ) in the limit as @xmath109 vanishes .    in the next steps i re -
express the classical variables @xmath114 and @xmath115 in a suitable form for quantization .
making use of the identity @xmath116
\tau^{k}\right]$ ] , @xmath117_{\epsilon}$ ] is transformed into the convenient expression @xmath118_{\epsilon }           = - \frac{1}{2 \pi g } \frac{1}{\tau }             \sum_{c=1}^{n_{\epsilon } } \ ,          \int \limits_{{\cal r}_{c } \otimes { \cal r}_{c } } \ ! \ ! \ !
d^{3}x \ , d^{3}y \
, n(x ) n_{b}(x )          { \rm tr}\left [ [ a_{a},\tilde{e}^{a}](y ) \tilde{e}^{b}(x ) \right].\ ] ] using the triad integrated over a surface , eq .
( [ edef ] ) , and the action on one edge , eq .
( [ triadbracket ] ) , a short calculation shows that @xmath119_{\epsilon } =      - \frac{1}{2 \pi g}(4 \pi g)^{2 } \frac{1}{\tau }       \sum_{c=1}^{n_{\epsilon } } \ ,      \int \limits_{e_{i } \in { \cal r}_{c } } \ ! \ ! \ !
dt       \int \limits_{e_{j } \in { \cal r}_{c } } \ ! \ ! \ ! ds
n(e_{i}(t ) ) n_{b}(e_{i}(t ) ) \ , \dot{e}_{i}^{b}(t ) \\       \times { \rm tr}\left [ [ a_{a } ( e_{j}(s ) )
\dot{e}_{j}^{a}(s ) , j_{j } ]       j_{i } \right ] .      \end{split}\ ] ] next , the `` edge - projected connection '' @xmath120 is expressed in terms of holonomies .
this can be done in a straightforward manner as smooth connections satisfy @xmath121 the partitioning of the thickened surface splits the integration along the edges in eq .
( [ step4 ] ) into segments of maximum coordinate length @xmath109 .
the integral @xmath122 is approximated , in the limit , by @xmath123 .
meanwhile , the integral along the edge @xmath124 in @xmath125 contains the geometrical factor @xmath126 this result is a consequence of the construction of the cells . and @xmath109 @xcite . ]
as is clear from this expression , the action of the regularized expression is , in the limit , only non - vanishing when an edge or a vertex of the cylindrical function s graph @xmath34 contains a transverse intersection with the bounding surface . for a finite graph , the sum over cells becomes a finite sum over these intersections .
as @xmath109 tends to zero @xmath117_{\epsilon}$ ] of eq .
( [ step4 ] ) becomes is or , shortly is promoted to , an operator .
this means that the leading order contribution of the factor @xmath127 is linear in @xmath109 .
if desired one can include an explicit subtraction term @xmath128 .
the resulting operator is identical in action , but the spectrum differs from the one considered here by a factor of 2 . ] @xmath129 + o(\epsilon^{2})\ ] ] in which @xmath130 is the value of the lapse at the vertex @xmath68 .
the quantum expression may then be defined as @xmath131 { \mid s \rangle}\ ] ] on a spin network state @xmath54 .
the regularization in which the classical hamiltonian is averaged over a thickened surface and point - split produces a gauge invariant , seemingly well - defined boundary hamiltonian .
it is a new operator on the kinematic state space .
its action has an intriguing `` self - measuring '' property : reading from left to right , the operator grasps an edge then alters the state by adding the edge , @xmath132 .
the operator measures the angular momentum of the edge which it modified . before exploring the details of the action
, a more obvious problem must be addressed .
this operator does not have the correct dimension .
the @xmath133 is in the definition of the operator @xmath134  so has the units of area rather than the dimensions @xmath135 of energy . ]
the source of this trouble is the ( neglected ) density weight tucked into the lapse ; the expression is missing a factor of dimension inverse volume .
there are two ways to fix this problem .
first , as the energy is defined on a 2-surface , the natural unit of length is provided by the area operator of eq .
( [ areaop ] ) which may be used to normalize the surface term .
the quantum quasilocal energy operator on a surface @xmath29 is defined by @xmath136^{3 } }         { \rm tr}\left [ u_{e_{j}}\hat{j}_{j}u_{e_{j}}^{-1 }      \hat{j}_{i } \right ] { \mid s \rangle}.\ ] ] the operator @xmath137 acts only on the vertex @xmath68 . as
the area operator is a well - defined operator on the state space , it can be replaced with its spectral resolution .
the second solution to the correct normalization is to include the volume factor in the regularization .
a regularization of the latter form is given in section [ qevol ] .
this section is devoted to a recoupling identity which provides a more tractable form of the quasilocal energy operator defined in the last section .
the definition simplifies dramatically .
the techniques employed are those of diagrammatic recoupling theory introduced to canonical quantum gravity in ref . @xcite and further developed in refs .
@xcite . a complete development of the techniques in terms of `` framed spin networks '' or
temperley - lieb recoupling theory is in ref .
@xcite .    starting from the definition of the quasilocal energy operator eq .
( [ qeadef0 ] ) a direct , but moderately lengthy , recoupling calculation yields the full spectrum .
however , there is a shorter method .
the idea is to use recoupling to investigate and re - express the action of @xmath138.\ ] ] this factor , acting on the edge @xmath139 , can be reduced to a simple form . to see this , note that the two hands , @xmath140 and @xmath141 , grasp edges independently . the unusual action is entirely contained in @xmath142 which has the effect of overlaying a segment of the edge @xmath139 , grasping the altered edge , and then retracing the segment .
the overlaying can easily be accounted for using the `` edge addition formula '' @xcite @xmath143 thus , when the holonomy @xmath144 acts on the edge @xmath139 ( labeled by @xmath145 ) , the result is the linear combination @xmath146 the operator @xmath141 acts next .
it is tied to the same edge and so measures the angular momentum on the edge that was modified .
must act on the edge @xmath139 , there is some ambiguity in where , diagrammatically , it grasps the edge .
not surprisingly , the results are the same , even when the operator grasps the edge above or below the modified edge . ]
the edge @xmath139 is grasped , yielding a 2-line and an overall factor of @xmath147 @xmath148 finally , the `` loop '' ( @xmath149 ) is closed and the second hand is included to give the result @xmath150 this is the diagrammatic action of the factor @xmath151 . by the wigner - eckart theorem
each of these diagrams is equivalent to a single trivalent vertex @xcite .
diagrammatically , the reduction is accomplished in two stages , each of which removes a triangular loop .
the first is given by @xmath152 the needed recoupling coefficients are given in the appendix ( see eqs .
( [ tetident ] ) and ( [ teteg ] ) ) . inserting these results in eq .
( [ recoupident1 ] ) , one finds @xmath153          { \mathchoice { { \raisebox{-8pt } { \hspace{-1pt } \epsfig{file = figs/2hand.ps , height=24pt , silent= }   \hspace{2pt } } } } { { \raisebox{-5pt } { \hspace{1pt } \epsfig{file = figs/2hand.ps , height=20pt , silent= }   \hspace{1pt } } } } { { \raisebox{-10pt } { \hspace{-3pt } \epsfig{file = figs/2hand.ps , height=20pt , silent= }   \hspace{1pt } } } } { { \raisebox{-8pt } { \hspace{-1pt } \epsfig{file = figs/2hand.ps , height=18pt , silent= }   \hspace{0pt } } } } } \\          & = - n { \mathchoice { { \raisebox{-8pt } { \hspace{-1pt } \epsfig{file = figs/2hand.ps , height=24pt , silent= }   \hspace{2pt } } } } { { \raisebox{-5pt } { \hspace{1pt } \epsfig{file = figs/2hand.ps , height=20pt , silent= }   \hspace{1pt } } } } { { \raisebox{-10pt } { \hspace{-3pt } \epsfig{file = figs/2hand.ps , height=20pt , silent= }   \hspace{1pt } } } } { { \raisebox{-8pt } { \hspace{-1pt } \epsfig{file = figs/2hand.ps , height=18pt , silent= }   \hspace{0pt}}}}}.      \end{split}\ ] ] therefore , we learn that the numerator of the quasilocal energy is most simply expressed in terms of a signed , `` spin - orbit coupling '' term : @xmath138      \equiv       \frac{1}{2 } \hat{j}^{i}_{i } \hat{j}^{i}_{j}\ ] ] in which i have used the identity @xmath154 .
the additional sign in this expression is due to the way traces are represented in the diagrammatic algebra : whenever a loop is closed , an addition sign is included ( see , for instance , ref .
@xcite ) .
this identity suggests the final form of the quasilocal energy operator @xmath155 the properties of the operator are explored in section [ spectra ] after the `` volume normalized '' operator is in place . at this stage
it is worth commenting on the operator ordering in eq .
( [ qeadef0 ] ) which now can be phrased in terms of the recoupling identity .
the natural orderings of the expression are given by the cyclic permutations of the operators in the trace .
a short investigation shows that there is one ordering which is distinct from the action given in the last section : the order @xmath156 $ ] differs in that , diagrammatically , @xmath141 grasps the edge @xmath139 before the operator overlays an edge .
this produces a diagram distinct from those above . nevertheless , the two terms created with the edge addition formula trivially re - sum to give a loop in the 2-line of the operator .
such a loop in a 2-line is equivalent to a 2-line . therefore , this is again proportional to @xmath157 $ ] .
we have seen that the regularization of the boundary hamiltonian with scalar lapse led almost directly to this result , eq .
( [ qeadef ] ) .
the key element of choice is the `` normalization . '' in the next section i regulate the true boundary hamiltonian .
as we will see , this regularization is successful but the resulting operator requires a strong restriction on the state space .
there is an alternate regularization of the operator in which the density is no longer absorbed by the lapse . in this case
the classical quantity to be quantized is @xmath158 the density factor is also promoted to an operator . to regularize this expression one
may follow thiemann @xcite and simultaneously soften the divergence of @xmath159 and point - split with @xmath160 in which the smoothed characteristic function @xmath161 satisfies @xmath162 note that @xmath163 . proceeding in a manner similar to the regularization in section [ reg ] ,
the two parts are point - split to give the regularized quasilocal energy @xmath164_{\epsilon } : = \frac{-1}{2 \pi g } \int_{s } d^{2}x \ , n_{b}(x ) \frac{n(x)}{\sqrt{q}(x ) } \int d^{3}y \frac{f_{\epsilon}(x , y)}{\epsilon^{3 } } { \rm tr } \left [ [ a_{a } , \tilde{e}^{a}](y ) \tilde{e}^{b}(x ) \right].\ ] ] to reach the quantum operator , the triads and connection are expressed in forms suitable for quantization . replacing the triads with the form in eq .
( [ triadbracket ] ) and the factor @xmath165 with @xmath166 , one finds that @xmath167_{\epsilon } & =          - ( 8 \pi g )           \sum_{i , j }          \int_{s } d^{2}x \ , n_{b}(x )           \frac{n(x)}{v_{\epsilon}(x ) }           \int_{e_{i } } \ ! \ !
ds \ ,           \dot{e}_{i}(s ) \tilde{\delta}(x , e_{i}(s ) ) \\          & \times \int d^{3 } y
\int_{e_{j } } \ ! \ ! dt \ ,           \tilde{\delta}(y , e_{j}(t ) )           f_{\epsilon}(x , y ) { \rm tr }          \left [ [ a_{b}(y )
\dot{e}^{b}_{j}(t ) , j_{j } ] j_{i } \right ] \\          & = - ( 8 \pi g )           \sum_{i , j }          \int_{s } d^{2 } x \ , n_{b}(x )           \frac{n(x)}{v_{\epsilon}(x)}\\          & \times \int_{e_{i } } \ ! \ ! dt \ , \dot{e}_{i}^{b}(t )           \tilde{\delta}(x , e_{i}(t ) )           \int_{e_{j } } \ ! \ ! ds \ , f_{\epsilon}(x , e_{j}(s ) ) { \rm tr }          \left [ [ a_{b}(e_{j}(s ) ) \dot{e}^{b}_{j}(s ) , j_{j } ] j_{i } \right ]      \end{split}\ ] ] with the delta function eliminating the @xmath168 integration in the second step .
the connection may be replaced by a holonomy .
this is possible as the factors inside the commutator are all evaluated on the edge @xmath139 .
it is also convenient to partition the edge @xmath139 using the definition of holonomy @xmath167_{\epsilon }           & = \lim_{n \rightarrow \infty }          -(8 \pi g )           \sum_{i , j }          \int_{s } d^{2}x \ , n_{b}(x )           \frac{n(x)}{v_{\epsilon}(x ) }          \int_{e_{i } } \ ! \ ! dt \ , \dot{e}_{i}^{b}(t ) \delta(x , e_{i}(t ) ) \\          & \times \sum_{k=1}^{n } f_{\epsilon}(x , e_{j}(s_{k-1 } ) )          { \rm tr}\left [ u_{e_{j}}(s_{k-1 } , s_{k } ) j_{j }           u_{(e_{j})^{-1}}(s_{k-1 } , s_{k } ) j_{i } \right ] \\          & = \lim_{n \rightarrow \infty }          - ( 8 \pi g )           \sum_{v \in s \cap { \mathsf g } }          \sum_{i\dashv v , j }          \chi_{i}^{s } \frac{n_{v}}{v_{\epsilon}(v ) }          \sum_{k=1}^{n } f_{\epsilon}(v , e_{j}(s_{k-1}))\\          & \times { \rm
tr}\left [ u_{e_{j}}(t_{k-1 } , t_{k } ) j_{j }           u_{(e_{j})^{-1}}(t_{k-1 } , t_{k } ) j_{i } \right ] \end{split}\ ] ] where the usual definition for @xmath71 [ eq .
( [ chi ] ) ] is used .
i denote the intersection between the edge @xmath124 and the surface @xmath29 by @xmath68 .
the volume @xmath169 acts on the vertex @xmath68 .    in the limit
as @xmath109 vanishes , @xmath170 goes to @xmath171 if , and only if , the edge @xmath139 is incident to @xmath68 .
thus , only one term in the sum over partitions of the edge @xmath139 survives and the sum over of @xmath134 is tied to the vertex @xmath68 .
also in the limit , the volume goes to @xmath172 , the volume at the vertex @xmath68 .
as the regulator is removed , @xmath173_{\epsilon } = - ( 8 \pi g )       \sum_{v \in s \cap { \mathsf g } }      \sum_{i , j \dashv v }      \chi_{i}^{s } \frac{n_{v}}{v(v ) }      { \rm tr}\left [ u_{e_{j } } j_{j }   u_{(e_{j})^{-1 } } j_{i } \right]\ ] ] in which the holonomy is defined to start at the incident end of @xmath139 ( the `` germ '' of ref .
@xcite ) .
the quantization is now immediate .
let me pull the units out of the geometric operator so that @xmath174 using the recoupling identity of eq .
( [ recoupleident ] ) , quantum boundary hamiltonian is defined as @xmath175}{\hat{v}_{v}}.\ ] ] the reciprocal of the volume operator is evaluated using its spectral resolution .
though the regulation of the boundary hamiltonian is possible , the result suffers from the same difficulty as the @xmath176 operator has in ref .
@xcite : the signed angular momentum operator @xmath177 does not commute with the volume . to prevent the whole operator from diverging , one can restrict the state space so that the graph has no edges tangent to the surface .
this is the tangle property of ref . @xcite . with this modified state space , denoted by @xmath178 , the quasilocal
energy becomes @xmath179 the spin network state @xmath178 satisfies the tangle property on @xmath29 .
this is nearly identical to the @xmath176 operator of ref .
@xcite . aside from an overall factor
, this operator differs from @xmath176 in the sign @xmath71 and the lapse @xmath130 . indeed , under the same asymptotically flat conditions as in ref .
@xcite ( unit lapse , tangle property , and all edges outgoing ) , this is @xmath176 .
a detailed comparison between @xmath180 and @xmath176 is in section [ conclusion ] , but it is worth offering one observation here . in the context of a quasilocal operator the tangle property seems to be overly restrictive .
since the quasilocal quantity may be applied to any surface in @xmath5 , restricting the domain of this operator , and thus the hilbert space , implies that there are no surfaces with edges inside them .
since every edge lies within some surface , the property effectively eliminates the entire state space .
the tangle property is too strong for the quasilocal energy operator .
the operators of eqs .
( [ quanthdef ] ) , ( [ qeadef ] ) , and ( [ qevdef ] ) are quite similar to the geometric operators of spin - net gravity and can be treated with the same methods .
the spectra may be computed using the recoupling methods of refs .
@xcite or the operator methods of refs .
i first give the spectrum of the numerator , the operator `` @xmath181 . '' for completeness , the calculation is in the space of gauge non - invariant spin networks , the `` extended spin networks '' of ref .
@xcite .
it is convenient to order the edges of each vertex into categories according to the geometric factor @xmath71 . for a vertex of valence @xmath182 , the @xmath183 edges for which @xmath184 is positive
are labeled @xmath185 to @xmath186 .
the @xmath187 edges for which @xmath184 vanishes are labeled @xmath188 to @xmath189 . finally , the @xmath190 edges for which @xmath184 is negative are labeled @xmath191 to @xmath192 .
there is no restriction on the order of edges within these partitions .
diagrammatically , this ordering is equivalent to selecting three intertwiner trees which grow from internal edges labeled by @xmath193 , @xmath194 , and @xmath145 , according to the value of @xmath184 .
the angular momentum operators are similarly partitioned so that @xmath195 for edges with @xmath196 ; @xmath197 for edges with @xmath198 ; and @xmath199 for edges with @xmath200 . using the methods from the quantum mechanics of angular momentum , one finds @xmath201 two properties of this operator are immediately clear .
first , the operator simplifies when evaluated on gauge invariant spin networks .
in fact , the spectrum collapses and contains only the value zero .
this is obvious from eq .
( [ jform ] ) as this operator contains @xmath202 which is the quantum version of the gauss constraint , eq .
( [ gauss ] ) .
operators , is edge orientation invariant . in the current work ,
the invariance comes from the `` edge - projected connection '' in eq .
( [ step4 ] ) . when the orientation of the edge @xmath134 is reversed , both the operator @xmath141 and the component along the connection change sign .
] of course , one may simply compute the result as well . for general vertices a recoupling calculation of the terms in eq .
( [ jform ] ) shows that the operator vanishes .
the recoupling terms are of two forms .
the first is diagrammatically @xmath203 making use of identity eq .
( [ bubnident ] ) .
the second is @xmath204 making use of identity eq .
( [ trivident ] ) .
thus , as a consequence of summing up all the components of the connection along the incident edges ( eq .
( [ acomponent ] ) ) , the quasilocal energy operator vanishes on gauge invariant states .
the second property seems equally serious . since the operator of eq .
( [ jform ] ) contains two terms which do not commute , @xmath205 and @xmath206 , the spectrum is not well - defined .
these terms can not be simultaneously diagonalized .
this result may be seen in the diagrammatic picture as well . in the gauge non - invariant case ,
vertices of this type have an intertwiner with four edges , one of which is not grasped by either operator .
( this extra edge can be thought of as leaving the 3-dimensional manifold . )
the operator of eq .
( [ jform ] ) requires that all three edges labeled by @xmath193 , @xmath145 , and @xmath194 are part of a single trivalent vertex .
this is not possible with a four - valent intertwiner .
these properties suggest that the state space be carefully examined .
the space on which this operator acts is not characterized by general , gauge invariant vertices .
when the spatial manifold is cut into regions with boundary , the hilbert space @xmath207 of a bounded region @xmath27 is based on `` open '' graphs ( graphs with edges ending in vertices of valence 1 ) .
given a graph in @xmath5 , i define the open subgraph @xmath208 to be the portion of @xmath34 within the interior @xmath27 and within the boundary @xmath28 , i.e. @xmath209 .
thus , all the open edges are incident to the boundary @xmath29 and these gauge non - invariant edges are confined to the intersection of the graph with the boundary ; the `` extended spin networks '' of ref .
@xcite are restricted to lie on the boundary .
only edges that are incident to @xmath68 and in @xmath210  including tangent edges  contribute to the energy .
the hilbert space is defined as before , only now the graph used is @xmath211 . with @xmath207
it is possible to give the spectrum .
the clearest way to express spectrum of `` @xmath212 '' on @xmath207 is to choose the orientations of the edges incident to the boundary to be outward pointing .
this is suggests a form for the intertwiner `` core . ''
it is a trivalent vertex labeled by @xmath213 and @xmath194 for the values of @xmath184 .
with the orientations outward pointing , then the labels @xmath193 , @xmath145 , and @xmath194 take the meanings outside the surface , inside the surface , and tangent to the surface , respectively . as the @xmath193-edges are not in @xmath207 , they are not seen by the operator . therefore the operator of eq .
( [ jform ] ) reduces to @xmath214 using @xmath215 . for @xmath216
based on a single vertex @xmath68 the spectrum is @xmath217      { \mid s_{i } \rangle}.\ ] ] it is easy to generalize to more than one vertex ; simply sum over all contributing vertices .
the spectrum is not positive definite and , acting on a single vertex , is explicitly bounded ( for finite spin ) .
there are two cases worth identifying .
when the vertex has no tangent edges , the spectrum , which i call type ( i ) , is always positive definite and is proportional to @xmath218 .
the general case when there are tangent edges , called type ( ii ) , is given in eq .
( [ hispec ] ) .
the form of the operator given in eq .
( [ 2jform ] ) also provides a simple way to check two critical properties of the quasilocal energy , gauge invariance and compatibility with the area operator .
gauge invariance is clear from eq .
( [ jform ] ) , may be directly checked , = - i \hbar   \epsilon^{ijk } \left ( \hat{j}_{(p)}^{j } \hat{j}_{(n)}^{k } +   \hat{j}_{(p)}^{k } \hat{j}_{(n)}^{j } \right ) = 0.\ ] ] ] and can also be made manifest with @xmath219 this expression is also useful to show that the two operators @xmath181 and @xmath137 are compatible on the hilbert space @xmath207 .
thus , the terms in the numerator and denominator may be diagonalized simultaneously .
it is now possible to assemble all the factors for the full spectrum of the quasilocal energy operator on @xmath207 . for the operator defined in eq .
( [ qeadef ] ) , using the spectrum of the area operator , eq .
( [ areaspec ] ) , one has for type ( i ) @xmath220{n_{v}(n_{v}+2 ) } { \mid s \rangle}. \\ \text{for type ( ii):}\\      \hat{e}_{s}(n ) { \mid s \rangle }      & =   m \sum_{v \in s \cap { \mathsf g}^{i } }      n_{v }      \frac{p_{v}(p_{v}+2 ) + n_{v}(n_{v}+2 ) - z_{v}(z_{v}+2 ) }      { \left [ 2p_{v}(p_{v}+2 ) + 2n_{v}(n_{v}+2 ) - z_{v}(z_{v}+2 )       \right]^{\frac{3}{4 } } } { \mid s \rangle}.       \end{split}\ ] ] the fundamental mass scale is defined as @xmath221 the simple transverse vertices of type ( i ) yield a positive definite spectrum while the others do not . the results in eq .
( [ qeaspec ] ) are the full spectrum of the quasilocal energy operator with area normalization .
the operator @xmath222 does not require any restrictions on the hilbert space .
it is well - defined on the hilbert space @xmath207 ; all the needed properties of are naturally induced from the full gauge invariant hilbert space in @xmath5 .
there is one example of a spin - net state which is particularly interesting .
when the intersections between the graph of the spin network state and the surface are entirely transversal ( type ( i ) ) , the quasilocal operator becomes @xmath223{j_{v}(j_{v}+1 ) } { \mid s_{i } \rangle } \equiv      m \sqrt{2 } \sum_{v }   n_{v } \sqrt{a_{v } } { \mid s \rangle}\ ] ] in which @xmath224 is the eigenvalue of the area operator for the vertex @xmath68 .
the operator is the `` square root of the area '' !
this could have been anticipated with a little dimensional analysis .
nevertheless , it is remarkable that energy is so closely related to area .
( the close connection is also present in the volume normalization . ) for large spins the energy scales as @xmath225 .
the next and final section begins with a summary of the operator definitions and continues with comparisons to earlier work and a discussion of some wider implications .
to be well - defined , the action of a theory must be functionally differentiable .
this simple observation provides a key to the form of all surface observables and boundary conditions of a given action @xcite . in the case of the ( @xmath0 ) gravitational theory defined in a bounded region ,
the variation generates a surface observable associated to the hamiltonian constraint .
this term is precisely the negative of the hamiltonian of the system . in this paper , this boundary hamiltonian is quantized within the framework of spin - net gravity .
spin - net gravity is a background - metric independent , canonical quantization of gravity using real connection variables and the methods of spin networks . under this rubric
is also included the assumption that the kinematic state space is rich enough to describe the full physical state space , including dynamics .
there are two different , inequivalent expressions for the boundary hamiltonian corresponding to two separate normalizations .
both operators are well - defined quantum operators ( but on different spaces ) .
the area normalized operator has the following spectrum : for type ( i ) vertices : @xmath226{j_{v}(j_{v } + 1 ) } { \mid s \rangle}\ ] ] and for type ( ii ) vertices : @xmath227 \\      \times \left [ 2 j_{(p_{v})}(j_{(p_{v } ) } + 1 )       + 2 j_{(n_{v})}(j_{(n_{v } ) } + 1 )      - j_{(z_{v})}(j_{(z_{v } ) } + 1 ) \right]^{-3/4 } { \mid s \rangle}.      \end{split}\ ] ] all the dimensionful constants and the immirzi parameter are included ; @xmath228 .
this operator is defined on the full hilbert space @xmath207 .
this comes about through an interplay between the operator and the gauge invariant hilbert space which allows the operator to be defined on the induced hilbert space .
as can be easily seen from the spectrum , only transversal edges contribute energy .
tangential edges remove energy .
the alternate form of the operator , with volume normalization and defined only on states which are of type ( i ) , is @xmath229 where @xmath230 and @xmath231 is the eigenvalue of the volume . on account of the state restriction
, the numerator always has the simple form of the area operator ; the operator is proportional to @xmath232 .
the volume operator does not have as simple a form as the area operator , so the full spectrum can not be presented , as in eq .
( [ qeaspec ] ) .
the eigenvalues @xmath231 can be computed using recoupling theory as in refs .
this form of the quasilocal energy has the correct naive classical limit in that it is a direct quantization of the classical surface hamiltonian .
this operator requires tight restrictions on the hilbert space : there can be no edges tangent to the surface @xmath29 . as mentioned in section [ qevol ] , since every edge is tangent to some surface , this restriction introduces a contradiction in the construction of this quasilocal energy operator .
the operators share some general features .
they are defined on bounding 2-surfaces .
although they have a strange inclination to be positive , both operators share the property that the spectrum is fully discrete and bounded ( for arbitrarily large but finite graphs and spins ) .
the area normalized operator does not have a positive spectrum .
the reason may be traced to the geometric factor in the new operator @xmath181 .
( this in turn is a result of the hamiltonian s two factors , the edge - projected connection and the @xmath233 piece . ) on account of this factor , the quasilocal energy depends on the orientation of the surface .
it does not , however , depend on the orientation of the edges .
the volume normalized operator has a similar form to the @xmath176 energy of ref .
@xcite , in which a different , but weakly equivalent , classical expression was quantized .
the present operator generalizes the adm operator in one important way .
it is a quasilocal operator defined on all bounding surfaces in the spatial manifold .
it also shares a key property : to be defined at all , the tangle property of ref .
@xcite must be imposed . in the language of section [ spectra ] , all vertices are of type ( i ) .
in fact , when the tangle property is satisfied and when the lapse is fixed at unity , the expression for @xmath234 is simply identical to the @xmath176 of eq .
( 3.18 ) in ref .
@xcite ( up to an overall numerical factor ) .
the volume normalized quasilocal energy reduces to the adm energy .
it is remarkable that such different classical expressions yield nearly the same form of the operator .
clearly , only one quasilocal energy operator gives physically correct values .
while @xmath235 has the correct naive limit , this criterion is not the only physical condition which must be met .
more importantly , the expectation value of the quantum energy operator in an appropriate semiclassical state must approximate the classical energy , up to small quantum corrections .
in addition , the algebra of boundary observables ought to be anomaly free . until such states and such operators are investigated in full detail
, it is hard to definitively select a quasilocal energy operator .
to complete this investigation would require quantization of the boundary rotation and boosts  a project which will be left to further work ( there is preliminary work already in ref .
other approaches may also help fix the correct quantization , perhaps through the matching of quantum to semiclassical results .    in advance of a more complete investigation ,
there is one feature which does differentiate the two operators .
the volume normalized operator requires a restriction on the induced hilbert space .
while this may be acceptable for the asymptotically flat setting where the property was introduced , this is a too severe _ a priori _
restriction on the whole hilbert space .
therefore , for the remainder of this section i restrict the majority of my comments to the area normalized @xmath236 .
the previous quantization of the boundary hamiltonian has a qualitatively different action of `` shifting '' edges incident to the boundary @xcite .
the quasilocal energy operator does not share this qualitative behavior .
from the perspective of the spin - net framework , it is clear that the shift is an artifact of the partial quantization . in fact
, there are two terms which shift `` up and back '' as may be seen in eq .
( [ step4 ] ) or in the gauge invariant form of the operator .
the `` shift '' is incorporated into the gauge invariant operator , which leads to the `` self - interaction '' measurement of edge addition as shown in section [ recouplingnote ] .
there are a few immediate results which follow from the definition of the quasilocal energy operator .
gravitational energy takes on quantized values with the smallest gap in energy of @xmath237{3 } m\ ] ] due the the addition or removal of a spin-@xmath238 edge .
suppose that a system s bounding surface only intersected spin-@xmath238 edges of the underlying spin network .
then , transitions due to adding or removing a spin-@xmath238 edge would result in radiation with the rather energetic fundamental frequency of @xmath239{3 } \ , m / \hbar$ ] .
this mechanism is similar to the bekenstein - mukhanov quantization @xcite , in which the area is given by integer multiples of a fundamental area . in this case , however , the quasilocal energy is quantized in integer units , @xmath240 , so area scales as @xmath241 .
of course , before we tune our radio receivers to listen to black holes , there is much more to understand . in particular , we need a characterization of semiclassical states and the dynamics . to see that this strongly affects the radiation ,
we need only study the high spin limit @xcite .
the energy gap narrows , as would be expected from the naive semiclassical limit .
there are also some wider implications of the quasilocal energy .
the number of directions is enormous and i confine my comments to four brief remarks : on a first glance at the quasilocal energy operator of eq .
( [ qeadef0 ] ) it appears that the quasilocal energy operator depends on the orientation of the edges .
since the kinematic state space of @xmath18 spin networks is independent of orientation this would be odd .
in fact , the quasilocal energy operator does not depend on orientation of the edges .
there are two aspects of this property .
this is perhaps easiest to see by noting that when the orientation of an edge is changed , both the sign factor @xmath242 and the angular momentum operator @xmath140 change sign @xcite . in an abuse of notation the same @xmath140
are used in the gauss operator @xmath243 , although the gauss operator is independent of edge orientation . on the other hand ,
the operator definitely does depend on the orientation of the surface .
when the orientation of the surface changes , only the geometric factor changes sign .
orienting the edges to be outgoing from the vertices simply places the edges in three , simple categories : inside the region , outside the region , and tangent to the surface .
one tantalizing aspect to this third category is the interpretation of edges which leave the region @xmath27 .
they take energy with them .
it remains to be seen whether these could provide structure for the 4-dimensional space
`` pillars of time '' in a 4-dimensional spin network model  or more exotic manifolds .    given the definition of the quasilocal energy operator and the induced hilbert space @xmath207 , the question arises whether the operator is consistent .
if the spatial manifold @xmath5 is compact , is it true that @xmath244 vanishes ?
the natural language in which to consider such questions is topological quantum field theory ( tqft ) @xcite , in which one studies diffeomorphism invariant theories on manifolds with boundary . while the manifolds are cut and sewn together , the theories associate maps to interiors and vector spaces to boundaries .
a more careful study will be left to further work .
but the question may addressed directly . on a particular spin network state ,
say @xmath245 , the two operators act on the two `` halves '' of the state .
one is based on @xmath246 ; the other is based on @xmath247 . as @xmath245 is a general
, gauge invariant state , there are two types of vertices to consider , types ( i ) and ( ii ) .
a short calculation shows that the contributions to the energies are numerically identical . to perform the sum . ]
as this quasilocal energy is the boundary hamiltonian , one may describe the time development of the lorentzian theory on @xmath248 @xmath249 ( recall that the boundary conditions fix the lapse and metric on the boundary .
a more complete treatment would also include terms with non - vanishing shift @xmath250 , giving rotations and boosts . )
the energy operator is diagonal in the spin network basis , so the unitary evolution operator has a simple , well - defined form ( at least for type ( i ) vertices ) .
it describes the system in terms of an observer on the surface @xmath29 .
likewise , the quasilocal energy operator gives the partition function @xmath251 . as the quasilocal energy is the true hamiltonian ,
this function is the partition function for the statistical mechanics of spin - net gravity .
this observation is the starting point for a vast range of physical questions .
for instance , is the energy quanta @xmath252 statistically favored ?
what is the selection criteria for the ground state(s ) ?
what is the entropy of a bounded system in spin - net gravity ?    what is particularly striking is the delightful number of physical questions that can be addressed with this operator in the current framework on spin - net gravity .
this is but one result of the techniques which have been developed since 1995 and which offer methods for detailed study of these questions .
in fact , it appears that these techniques are powerful and rich enough to bring us from theoretical modeling to physical predictions .
i thank herbert balasin and robert depietri for discussions .
thanks also to an anonymous reviewer for helpful , critical remarks .
i gratefully acknowledge the support of the austrian science foundation ( fwf ) through a lise meitner fellowship .
this appendix contains recoupling formulae needed in the calculations of the spectrum .
the conventions are those of kauffman and lins @xcite ( for @xmath253 ) .
short introductions and definitions of the basic recoupling quantities can be found in @xcite .
the quantities needed in the calculation for the simplification of the quasilocal energy operator are : @xmath264 for instance , @xmath265 this is used in the recoupling calculation of eq .
( [ recoupleident ] ) .
carlo rovelli , `` loop quantum gravity , '' _ living reviews in relativity _ at _ http://www.livingreviews.org/articles/volume1/1998-1rovelli_ ; `` strings , loops , and others : a critical survey of the present approaches to quantum gravity , '' in _ gravitation and relativity : at the turn of the millennium _ , proceedings of the gr-15 conference , naresh dadhich and jayant narlikar , ed .
( inter - university center for astronomy and astrophysics , pune , india , 1998 ) , pp .
281 - 331 , online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9803024_.      c. rovelli and l. smolin , `` discreteness of area and volume in quantum gravity '' _ nuc .
* b 422 * ( 1995 ) 593 ; erratum _ nuc .
* b 456 * ( 1995 ) 753 ; online preprint archive : _
http://xxx.lanl.gov / abs / qr - qc/9411005_.      s. frittelli , l. lehner , c. rovelli , `` the complete spectrum of the area from recoupling theory in loop quantum gravity '' _ class .
quant . grav_.
* 13 * ( 1996 ) 2921 - 2932 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9608043_.    r. loll , `` the volume operator in discretized quantum gravity '' _ phys .
lett . _ * 75 * ( 1995 ) 3048 - 3051 ; online preprint archive : _
http://xxx.lanl.gov/abs/gr-qc/9506014 _ and `` spectrum of the volume operator in quantum gravity '' _ nuc .
* b 460 * ( 1996 ) 143 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9511030_.      t. thiemann , `` closed formula for the matrix elements of the volume operator in canonical quantum gravity '' _ j. math .
* 39 * ( 1998 ) 3347 - 3371 ; online preprint archive : _
http://xxx.lanl.gov / abs / gr - qc/9606091_.    r. borissov ,
r. de pietri , c , rovelli , `` matrix elements of thiemann s hamiltonian constraint in loop quantum gravity '' _ class .
* 14 * ( 1997 ) 2793 - 2823 ; online preprint archive : _
http://xxx.lanl.gov / abs / gr - qc/9703090_.        john baez , javier p. muniain , and dardo piriz , `` quantum gravity hamiltonian for manifolds with boundary '' _ phys . rev _
* d 52 * ( 1995 ) 6840 - 6845 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9501016_.        t. thiemann , `` qsd iii : quantum constraint algebra and physical scalar product in quantum general relativity '' _ class .
grav . _ * 15 * ( 1998 ) 1207 - 1247 ; online preprint archive : _ http://xxx.lanl.gov/abs/gr-qc/9705017 _
t. thiemann , `` qsd iv : 2 + 1 euclidean quantum gravity as a model to test 3 + 1 lorentzian quantum gravity '' _ class . quant .
grav . _ * 15 * ( 1998 ) 1249 - 1280 ; online preprint archive : _ http://xxx.lanl.gov/abs/gr-qc/9705018 _
t. thiemann , `` qsd v : quantum gravity as the natural regulator of matter quantum field theories '' _ class .
grav . _ * 15 * ( 1998 ) 1281 - 1314 ; online preprint archive : _ http://xxx.lanl.gov/abs/gr-qc/9705019 _
t. thiemann , `` quantum spin dynamics ( qsd ) : vi .
quantum poicar algebra and a quantum positivity of energy theorem for canonical quantum gravity '' _ class .
grav . _ * 15 * ( 1998 ) 1463 - 1485 ; online preprint archive : _ http://xxx.lanl.gov/abs/gr-qc/9705020 _          a. ashtekar , a. corichi , and j. a. zapata , `` quantum geometry iii : non - commutativity of riemannian structures '' _ class .
grav . _ * 15 * ( 1998 ) 2955 - 2972 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9806041_.    roberto depietri and carlo rovelli , `` geometry eigenvalues and the scalar product from recoupling theory in loop quantum gravity '' _ phys .
rev . _ * d 54 * ( 1996 ) 2664 - 2690 .
online preprint archive ] : _
http://xxx.lanl.gov / abs / gr - qc/9602023_.    r. depietri , `` on the relation between the connection and the loop representation of quantum gravity , '' _ class .
_ * 14 * ( 1997 ) 53 - 70 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9605064_.          a. ashtekar and j. lewandowski , `` representation theory of analytic holonomy @xmath268 algebras '' in _ knots and quantum gravity _
j. baez , ed .
( oxford university press , 1994 ) ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9311010_.      a. ashtekar and j. lewandowski , `` projective techniques and functional integration for gauge theories '' _ j. math
* 36 * ( 1995 ) 2170 - 2191 .
online preprint archive : _
http://xxx.lanl.gov / abs / hep - th/9411046_.    a. ashtekar and j. lewandowski , `` differential geometry on the space of connections via graphs and projective limits '' _ j. geom .
* 17 * ( 1995 ) 191 - 230 ; online preprint archive : _
/ abs / hep - th/9412073_.    a. ashtekar , j. lewandowski , d. marolf , j. mouro , t. thiemann , `` quantization of diffeomorphism invariant theories of connections with local degrees of freedom '' _ j. math .
* 36 * ( 1995 ) 6456 ; online preprint archive : _
http://xxx.lanl.gov / abs / gr - qc/9504018_.                          m. barreira , m. carfora , and c. rovelli , `` physics with nonperturbative quantum gravity : radiation from a quantum black hole '' _ gen .
_ * 28 * ( 1996 ) 1293 - 1299 ; online preprint archive : _ http://xxx.lanl.gov / abs / gr - qc/9603064_.