arxiv:gr-qc/ v1 26 May 2004

Transcription

1 Dirc-like pproch for consistent discretiztions of clssicl constrined theories Cyetno Di Brtolo 1, Rodolfo Gmbini 2, Rfel A. Porto 3 nd Jorge Pullin 4 1. Deprtmento de Físic, Universidd Simón Bolívr, Aptdo , Crcs 1080-A, Venezuel. 2. Instituto de Físic, Fcultd de Ciencis, Iguá 4225, esq. Mtojo, Montevideo, Uruguy. 3. Deprtment of Physics, Crnegie Mellon University, Pittsburgh, PA Deprtment of Physics nd Astronomy, Louisin Stte University, Bton Rouge, LA rxiv:gr-qc/ v1 26 My 2004 We nlyze the cnonicl tretment of clssicl constrined mechnicl systems formulted with discrete time. We prove tht under very generl conditions, it is possible to introduce nonsingulr cnonicl trnsformtions tht preserve the constrint surfce nd the Poisson or Dirc brcket structure. The conditions for the preservtion of the constrints re more stringent thn in the continuous cse nd s consequence some of the continuum constrints become second clss upon discretiztion nd need to be solved by fixing their ssocited Lgrnge multipliers. The guge invrince of the discrete theory is encoded in set of rbitrry functions tht pper in the generting function of the evolution equtions. The resulting scheme is generl enough to ccommodte the tretment of field theories on the lttice. This pper ttempts to clrify nd put on sounder footing discretiztion technique tht hs lredy been used to tret vriety of systems, including Yng Mills theories, BF-theory nd generl reltivity on the lttice. I. INTRODUCTION We hve recently introduced [1, 2] technique for treting the theories tht rise when one discretizes (spce)- time in constrined mechnicl system or continuum field theory. We hve shown tht this technique works for Yng Mills nd BF theories nd implemented it for the grvittionl cse. Previous ttempts to studying systems with discrete time hd concentrted mostly on systems without constrints or with holonomic constrints only (for review with comprehensive reference list see [3].) The ide consists on strting from discretized ction, constructing discrete Lgrnge equtions nd introducing symplectic structure in the discrete spce. The evolution is implemented vi cnonicl trnsformtions nd the consistency of the discrete theory determines in prt the Lgrnge multipliers. In some totlly constrined systems, like generl reltivity, the resulting discrete theories re constrint-free since the constrints re solved for the Lgrnge multipliers. This mkes the quntiztion of the discrete theories considerbly simpler thn the continuum cses. This ws exploited to mke progress in solving the problem of time in quntum grvity [4, 5] nd to implement the Pge Wootters reltionl time [5, 6] nd show tht fundmentl decoherence rises in quntum mechnics from quntum grvity. In this pper, we wnt to ddress in more systemtic wy the issue of the cnonicl formultion of discrete constrined systems. Up to now, most of the nlysis hs been mde on specific exmples, nd cnonicl nlysis, l Dirc[7, 8], is still lcking. In prticulr, the technique relied hevily on defining cnonicl trnsformtion tht ws initilly singulr (nd therefore not true cnonicl trnsformtion) nd showing tht one could eliminte vribles nd end up with true cnonicl trnsformtion. Up to now this ws shown in cse by cse bsis. This pper determines the generl conditions needed for the construction of proper cnonicl trnsformtion by following close nlogue of the Dirc procedure, dpted to the discrete cse. In prticulr, we note tht there re severl wys to proceed tht yield equivlent results, but tht my offer different dvntges for prticulr systems. In section II we will ly out the frmework of how to del with mechnicl systems where time is discrete, including singulr nd non-singulr systems. In section III we will develop clssifiction of constrints into first nd second clss suitble for the discrete context. In section IV we work out specific exmple tht exhibits the detils of the formlism. In section V we discuss n lterntive formultion of the formlism nd we end with conclusions nd discussion. II. MECHANICS WITH DISCRETE TIME We strt by considering continuum theory representing mechnicl system. Its Lgrngin will be denoted by ˆL(q, q ), = 1...M. This setting is generl enough to ccommodte, for instnce, totlly constrined systems. In

2 such cse q will be the derivtive of the cnonicl vribles with respect to the evolution prmeter. It is lso generl enough to include the systems tht result from formulting on discrete spce-time lttice continuum field theory. We discretize the evolution prmeter in intervls (possibly vrying upon evolution) t n+1 t n = ǫ n nd we lbel the generlized coordintes evluted t t n s q n. We define the discretized Lgrngin s 2 where The ction cn then be written s L(n,n+1) L(q n,q n+1 ) ǫ nˆl(q, q ) (1) q = q n nd q q n+1 q n ǫ n (2) S = N L(n,n+1) (3) n=1 If the continuum theory is invrint under reprmeteriztions of the evolution prmeter, one cn show tht the informtion bout the intervls ǫ n my be bsorbed in the Lgrnge multipliers. In the cse of stndrd mechnicl systems it is simpler to use n invrint intervl ǫ n = ǫ. The Lgrnge equtions of motion re obtined by requiring the ction to be sttionry under vritions of the configurtion vribles q fixed t the endpoints of the evolution intervl n = 0,n = N +1, L(n,n+1) q n + L(n 1,n) q n = 0. (4) These equtions define unique evolution if the determinnt 2 L(n,n+1) +1 b q 0. (5) n We will refer to this cse s the nonsingulr cse. When the determinnt vnishes, one will hve to nlyze the sitution differently. Let us strt with the nonsingulr cse. A. Nonsingulr cse In this cse one cn solve the Lgrnge equtions explicitly nd the q n+1 re uniquely given s function of q n nd q n 1. This is the equivlent of the Hessin condition for the non-singulr Lgrngin theories in the continuum. The resulting equtions re second order in the sense tht the q n s re determined provided one knows two previous time levels. One cn introduce first order formultion by introducing cnoniclly conjugte vribles s is usully done when introducing Hmiltonin formultion in the continuum theories. We introduce the following definition of vribles tht we will lter show end up being cnoniclly conjugte moment of the configurtion vribles, p n+1 L(n,n+1) +1 p n L(n 1,n) = L(n,n+1) q n (6) (7) Where we hve used Eq. (4). The equtions (6) nd (7) define cnonicl trnsformtion for the vribles q n,p n to q n+1,p n+1 with the type 1 generting function F 1 = L(qn,q n +1) provided tht condition (5) is fulfilled. Notice tht the evolution scheme is implicit, one cn use the bottom eqution (since we re in the non-singulr cse) to give n expression for q n+1 in terms of q n,p n, which in turn cn be substituted in the top eqution to get n eqution for p n+1 purely in terms of q n,p n. It should be noted tht there re severl other possible choices, when going from the set of equtions (6,7) to n explicit evolution scheme. For exmple, one cn choose to do things in wy tht yields closer nlogy with the

3 stndrd Hmiltonin description in the continuum by introducing type two cnonicl trnsformtions. To do this, we choose to invert eqution (6) for qn+1 q n+1 (qb n,pb n+1 ), which is possible only if 2 L(n,n+1) +1 qb 0. (8) n+1 We cn now introduce Legendre trnsform nd define 3 F 2 (q n,p n+1 ) q n+1 p n+1 L(q n,q n+1 ). (9) From here it is immedite to obtin q b n+1 = F 2 p b n+1 F 2 q b n = L(n,n+1) q b n (10) = p b n, (11) where we hve used the Lgrnge eqution in order to obtin the lst equlity. We esily recognize from here tht F 2 behves s type two generting function of the cnonicl trnsformtion connecting level n with level n+1. We my define now sort of type 2 Hmiltonin (in the sense tht it depends on p n+1 nd q n, H 2 (p n+1,q n ) given by, H 2 (q n,p n+1 ) p n+1(q n+1 q n) L(q n,q n+1 ) = F 2 (q n,p n+1 ) p n+1q n. (12) which leds to the discrete Hmilton equtions, q b n+1 = qb n + H 2 p b n+1 (13) p b n = pb n+1 + H 2 b. (14) It should be noted tht lthough this formultion hs degree of nlogy with the trditionl Hmiltonin formultion, there re significnt differences due to the fct tht the conjugte vribles live t different time slices. It would not be possible therefore to use this formultion to ttempt to construct Schrödinger eqution strting from the bove Hmiltonin. Provided tht the cnonicl mp defined by F 2 is invertible we end up with discrete evolution implemented by cnonicl trnsformtion. It cn be esily seen by using the Legendre trnsform tht F 2 will be invertible if nd only if 2 F 2 (n,n+1) q np b n+1 = 2 L(n,n+1) q n+1 b 2 L(n,n+1) +1 qb n (15) Thus, in order to hve cnonicl trnsformtions generted by type two functions, the Hessin condition in the continuum time mechnics leds to two independent conditions in the discrete theory given by Eqs. (5) nd (8). Notice however tht (8) is not necessry for introducing symplectic structure. It is cler tht when one builds cnonicl discrete theory there re four possibilities depending on which pir of vribles one chooses to construct the generting functionl of the cnonicl trnsformtion, either q n,q n+1, q n,p n+1, p n,q n+1, p n,p n+1. In this subsection we considered only two, but the others cn be esily generlized from the discussion here. B. The singulr cse Let us consider s before the generic discrete Lgrngin L(n,n+1) = L(qn,q n+1 ) with = 1...M. It leds to the equtions we lredy discussed, p n+1 = L(n,n+1) +1 p n = L(n,n+1) (16) (17)

4 If 2 L(n,n+1) +1 qb vnishes nd its rnk is K, the system is singulr nd hs M K constrints of the form n 4 Φ A (q n,p n ) = 0 (18) tht result from Eq(17), nd M K constrints Ψ A (q n+1,p n+1 ) = 0 (19) resulting from Eq(16). The evolution of the configurtion vribles from level n to n+1 is given by solving for q n+1 the Eqs. (17). As the system is singulr the evolution depends of (M K) rbitrry functions V A q n+1 = f (q b n,p b n,v A ). (20) We shll follow closely the stndrd Dirc cnonicl procedure of continuum mechnics. In this cse, the nlysis of constrint system goes trough two steps. The first step consists in the definition of set of evolution equtions tht wekly preserve the constrints nd the Poisson symplectic structure. To do tht one defines the totl Hmiltonin H T = H 0 +V α φ α where φ α re the primry constrints, nd the V α re prtilly determined in order to preserve ll the constrints of the system. Even though some of the V s my be rbitrry functions, once they re specified, the evolution generted by H T preserves the Poisson brckets nd the dynmicl evolution is consistent t the clssicl level with the constrint structure. The second step is only required to quntize the system nd consists in the identifiction of the first nd second clss constrints nd the introduction of the Dirc brckets tht enforce strongly the second clss constrints. As we shll see, the sme procedure my be followed in the discrete cse. The min difference is the implementtion of the cnonicl trnsformtion tht is not generted by Hmiltonin but by cnonicl trnsformtion of type 2, 3, or 4. Let us strt by completing the evolution equtions. We need to dd to Eq(20) n eqution for p n+1 p n+1 = L(q n,q n+1 ) q n+1 We now impose the preservtion of the constrints Φ A (q n+1,p n+1 ) = Φ A q n+1 =f (q b n,pb n,v A ). (21) ( f n, L(q n,f ) ) +1 = 0. (22) Furthermore, we need to impose the n + 1 level constrints t level n, Ψ A (qn,p n) = 0 nd impose the consistency conditions ( Ψ A f n, L(q n,f ) ) +1 = 0. (23) Three different cses my occur: ) Eqs.(22,23) vnish utomticlly, nd therefore we re not led to new conditions. b) They led to inconsistencies, nd the dynmicl system is inconsistent. c) New secondry constrints C(q n,p n) pper or/nd some of the rbitrry functions V A re determined, tht is V A = V A (q n,p n,vα ) with α = 1...R (N K), nd v α rbitrry functions. The process is repeted until consistency is chieved. Tht is, until the consistency conditions re utomticlly stisfied without further constrints nd conditions for V. SubstitutingV A in(20)nd(21)wegettheevolutionequtionsthtpreservelltheconstrints: primry,secondry, tertiry, nd so on, q n+1 = f (q b n,p b n,v A (q,p,v)) = f (q b n,p b n,v α ) (24) p n+1 = g (q b n,pb n,vα ) (25)

5 5 Initil vlues need to be restricted by the n = 0 level constrints, Φ A (q0,p 0 ) = Ψ A(q0,p 0 ) = 0. (26) In order to hve complete nlogy with the continuum cse, we still need to nlyze under wht conditions this evolution lso preserves the Poisson brcket structure. As in the continuum cse we ssume tht the rbitrry functions v hve been fixed. Three different cses my rise depending on if one chooses to implement things in terms of cnonicl trnsformtion of type 2, 3 or 4: Cse I) The eqution(24) is invertible for qn: tht is, q n+1 b 0 nd therefore one cn write qn = h (qn+1 b,pb n ). (27) Notice tht, under these hypotheses, there re no pseudo-constrints of the form G(q n+1,p n) = 0. We cll these pseudo-constrints becuse they involve vribles t different instnts of time. We my define type 3 generting functions of cnonicl trnsformtions, Then we hve F 3 (qn+1 b,pb n ) = [pb n qb n +L(q n,q n+1 )] q b n =hb. (28) F 3 (q n+1,p n) p b n = q b n = h b (q n+1,p n), (29) nd F 3 (q n+1,p n ) q b n+1 = L(q n,q n+1 ) q b n+1 q n=h = p b n+1. (30) Notice tht in the lst equlity there re lso contributions coming from the dependence on q n+1 of the level n vriblesq n, but these contributionscncelbecuse ofthe definition ofthe cnoniclmoment. The informtionbout the moment is completely encoded in the evolution equtions qn+1 = h nd the constrints. As the first eqution is equivlent to (24) one ends up recovering the fundmentl evolution equtions s cnonicl trnsformtion generted by F 3. Furthermore, F 3 (qn+1,p n ) p b n q = b n (31) due to the fct tht we hve ssumed tht q b n+1 0, nd consequently F 3 is non singulr generting function nd therefore the resulting cnonicl trnsformtion preserves the Poisson brcket structure. Cse II) The eqution(25) is invertible for p n : tht is p n+1 p b 0 nd therefore one cn write, n p n = g (q b n,p b n+1). (32) Notice tht, under these hypotheses, there re no pseudo-constrints of the form G(qn,p n+1 ) = 0. By substituting (32) in (24), one gets which llows to introduce type 2 generting function qn+1 = k (qn b,pb n+1 ), (33) F 2 (q b n,p b n+1) = [p b n+1q b n+1 L(q n,q n+1 )] q b n+1 =k b (34) One cn now esily check tht this generting function reproduces the evolution equtions (24) nd (25) nd defines non singulr cnonicl trnsformtion tht preserves the Poisson Brckets in the evolution. Cse III) Even when the system hs pseudo-constrints of the form G(qn+1,p n ) = 0 nd F(q n,p n+1 ) = 0 one my be ble to find cnonicl trnsformtion provided tht the system does not hve pseudo-constrints of the form F(p n,p n+1 ) = 0

6 6 In fct, by using Eq.(25) one cn invert for qn = l (p b n,pb n+1 ), (35) nd substituting in (24) get qn+1 = m (p b n,pb n+1 ). (36) A generting function of type 4 tht does the sme job tht the two previous ones my now be introduced, q F 4 (p b n,pb n+1 ) = [ pb n+1 qb n+1 +pb n qb n +L(q b n+1 n,q n+1 )] =mb (37) qn b=lb All of the discrete systems tht hve been treted up to now in the literture my be nlyzed by following this cnonicl procedure, llowing to preserve the constrints nd the Poisson brcket structure. Lter on we will show n exmple of system of this type in order to nlyze how this procedure works in concrete cse. It should be noted tht there my exist mechnicl systems tht do not fll into ny of the bove clssifictions. For instnce, system could hve pseudo-constrints of ll the types listed bove. In such cses one will need to develop further techniques to tret them. For instnce one could introduce cnonicl trnsformtions of given type for some of the vribles nd of different type for other vribles. This would require further study nd it does not pper necessry for the systems tht hve been nlyzed up to present. III. CLASSIFICATION OF THE CONSTRAINTS At this point we hve set of constrints primry, secondry, tertiry, etc, of the form χ Z (q,p ) = 0 with Z = 1...A with A the totl number of independent constrints, tht re preserved under the evolution given by the equtions(24,25) provided prt or ll the rbitrry functions V re conveniently fixed. As in the continuum cse it is convenient to introduce the notion of first nd second clss constrints, in order to quntize the theory. A constrint is of first clss if it commutes with ll the constrints, if tht is not the cse it is of second clss. As in the continuum cse one cn define first clss functions of the cnonicl vribles f(q,p) tht re not necessrily constrints. Such function will be first clss if it commutes with ll the constrints. Second clss constrints my be imposed strongly by introducing Dirc brckets. As the evolution equtions preserve the Poisson structure, they will preserve de Dirc structure becuse Dirc brckets re defined in terms of Poisson brckets. One ends up with theory with set of evolution equtions tht preserve the symplectic structure of the system, nd therefore my be quntized by describing the evolution in terms of unitry opertors. In the discrete cse there is not strightforwrd reltion between the number of first nd second clss constrints nd the number of phse spce degrees of freedom. This is due to the fct tht now the evolution of the constrints is not directly relted with their Poisson brckets with totl Hmiltonin. Thus, the fct tht constrint does not commute with others is not esily relted with the determintion of n rbitrry function. It is still very esy to determine the number of phse spce degrees of freedom. In fct this number is given by two times the number of configurtion vribles minus the totl number of constrints minus the number of rbitrry functions v. IV. AN EXAMPLE OF CONSTRAINED SYSTEM WITH SECOND CLASS CONSTRAINTS To illustrte the techniques elborted bove, we would like to discuss model tht is simple, yet ddresses in non-trivil wy the min points we discussed. This exmple hd been treted using d-hoc techniques in [4]. The model consists of prmeterized free prticle in two dimensionl spce-time under the influence of liner potentil. The discrete Lgrngin is given by, L n L(q n,π n,n n,q n+1,π n+1,n n+1 ) = π n(q n+1 q n) N n [π 0 n (π1 n) 2 +αq 1 n]. (38) We hve chosen first order formultion for the prticle. However, this Lgrnginis of the type we considered in this pper, one simply needs to consider ll vribles, q,π,n s configurtion vribles. The system is clerly singulr since the π s nd N only pper t level n (or in the continuum Lgrngin, their time derivtives re bsent). When

7 7 considered s Type I generting function, the bove Lgrngin leds to the equtions nd p π,n = L n π n p q,n = L n q n p π,n+1 = L n π n+1 = 0, (39) p q,n+1 = L n +1 = πn, (40) p N,n+1 = L n N n+1 = 0, (41) = (q n+1 q n)+π 1 nn n δ 1 +N n δ 0, (42) = π n +δ 1 αn n, (43) p N,n = L n N n = π 0 n (π1 n) 2 +αq 1 n. (44) One cn esily recognize tht the system hs six constrints: three t the n+1 level, nd three t the n level. They re: Therefore the evolution depends on three rbitrry functions V N,n,V π,n, ψ1 p π,n+1 = 0, (45) ψ 2 p N,n+1 = 0, (46) Φ 1 p q,n (πn +δ1αn n ), (47) Φ 2 p N,n [π 0 n (π1 n) 2 +αq 1 n]. (48) qn+1 = qn +πnn 1 n δ1 +N n δ0 p π,n (49) πn+1 = π n +V π,n (50) N n+1 = N n +V N,n. (51) The preservtion of the ψ constrints from level n to level n+1 is utomticlly ensured from (23). Now we impose the preservtion of the Φ constrints upon evolution. Let us begin with Φ 0 1 : which tking into ccount the constrint Φ 0 1n implies V 0 π,n = 0. For the Φ 2 one gets the eqution tht tking into ccount the constrint Φ 2n implies tht where ǫ = ±1. Finlly we hve tht fter imposing the constrint t level n leds to Φ 0 1n+1 p0 q,n+1 π0 n+1 = p0 q,n π0 n V0 π,n = 0, (52) Φ 2n+1 = πn 0 +α(qn 1 +πnn 1 n )+(πn 1 +Vn π1 ) 2 /2 = 0, (53) V 1 π,n = π 1 n +ǫ (π 1 n) 2 2π 1 nn n α (54) Φ 1 1n+1 = p1 q,n N nα π 1 n V1 π,n α(n n +V N,n ) = 0, (55) V N,n = 1 α V 1 π,n N n. (56)

8 8 Thus, the evolution equtions for the configurtion vribles re q n+1 = q n +π1 n N nδ 1 +N nδ 0 (57) π 0 n+1 = π 0 n, (58) π 1 n+1 = ǫ (π 1 n )2 2π 1 n N nα, (59) N n+1 = 1 α [π1 n ǫ (π 1 n) 2 2π 1 nn n α]. (60) We re now redy to define n invertible cnonicl trnsformtion with the help of type 3 generting function. Notice tht these evolution equtions re invertible for q n, nd therefore we re in the cse I. The inverse is given by set of equtions of the form q n (q n+1 ), explicitly given by, q 1 n = q1 n+1 π1 n+1 N n+1 α 2 (N n+1) 2, (61) π qn 0 = qn+1 0 n+1 1 N n+1 + α 2 (N n+1) 2 πn+1 1 +αn, (62) n+1 π 0 n = π 0 n+1, (63) π 1 n = π1 n+1 +αn n+1, (64) N n = Reclling tht F 3 is given by eqution (28) we obtin, π 1 n+1n n+1 + α 2 (N n+1) 2 π 1 n+1 +αn n+1. (65) F 3 = p 0 π,n π0 n+1 +p1 π,n (αn n+1 +πn+1 1 )+p0 q,n q0 n N [ n+1 α 2 Nn αN n+1πn (π1 n+1 )2] N n+1(αn n+1 +2π 1 n+1 ) 2(αN n+1 +π 1 n+1 ) [ p 0 q,n p N,n (π1 n+1 )2 +αq 1 n+1 ] ( +p 1 q,n qn+1 1 α ) 2 N2 n+1 N n+1πn+1 1. (66) One cn check tht Eqs. (61) to (65) re esily recovered by tking the prtil derivtive with respect to p n. By differentiting with respect to qn+1 one gets p 0 q,n+1 = p 0 q,n, p 1 q,n+1 = p 1 q,n α 2 A nn n+1 (αn n+1 +2π 1 n+1), (68) (67) p 0 π,n+1 = p0 π,n (69) p 1 π,n+1 = p1 π,n + N n+1 2 [ 3αNn+1 2p 1 q,n +4π1 n+1 +2B na n A n (π 1 n+1 +B na n )(αn n+1 +2π 1 n+1 )], (70) p N,n+1 = 3 2 α2 Nn+1 2 +αp1 π,n p1 q,n π1 n+1 +(π1 n+1 )2 +B n +αn n+1 [ p 1 q,n +3πn ] 2 B na 2 n(αn n+1 +2πn+1) 1, (71) where we hve introduced A n (αn n+1 +π 1 n+1 ) 1, (72) B n p N,n p 0 q,n 1 2 (π1 n+1 )2 αq 1 n+1. (73) By substituting in Eqs.(67) to (71) the vribles q n+1 nd using the level n constrints one gets Eqs. (39) to (41), which is cnonicl trnsformtion tht reproduces, on the constrint surfce, the evolution equtions of the discrete prticle. Wht remins to be done is to identify the second clss constrints nd impose them strongly. The complete set of six constrints of this model ψ nd Φ re second clss nd llow to solve for π nd N nd eliminte completely these vribles nd their complex conjugtes P π nd P N.

9 One cn proceed in two different wys. The first lterntive is to strt by observing tht P π nd P N vnish strongly, nd then to solve for π nd N in terms of the n+1 level vribles, leding to π 0 n = p 0 q,n+1, (74) π 1 n = p 1 q,n+1, (75) N n = C n+1 αp 1, (76) q,n+1 where C n+1 = p 0 q,n+1 +(p1 q,n+1 )2 /2+αqn+1 1. The relevnt evolution equtions re obtined from (57,67,68),nd re given by qn+1 0 = qn 0 +N n = qn 0 + C n+1 αp 1, (77) q,n+1 qn+1 1 = q1 n +N nπn 1 = q1 n + C n+1 α, (78) p 0 q,n = p0 q,n+1, (79) p 1 q,n = p1 q,n+1 +αn n = p 1 q,n+1 + C n+1 p 1, (80) q,n+1 nd we recover the evolution equtions obtined in [4]. The second lterntive consists in solving for π nd N in terms of the n level vribles, leding to π 0 n = p0 q,n, (81) πn 2(p 1 = ǫ 0 q,n +αq1 n ), (82) N n = 1 ( ) p 1 q,n ǫ 2(p α 0 q,n +αqn) 1, (83) nd from here, computing the evolution equtions by using (57,67,68). The two methods yield evolution schemes of different functionl form since one propgtes forwrd in time nd the other bckwrd. The inequivlence in the functionl form stems from the fct tht the discretiztion of the time derivtives chosen in the Lgrngin is not centered. It should be emphsized tht if one strts from given initil dt nd propgtes forwrds with the first system of equtions nd then bckwrds using the second, one will return to the sme initil dt. Notice tht we hve 6 second clss constrints, nd the initil number of phse spce degrees of freedom ws 10. By noticing tht there re no rbitrry functions left, one is left with 4 degrees of freedom on the constrint surfce. The continuum model hd two degrees of freedom. The procedure we hve followed here is completely generl nd my be simplified when one is treting specific cses. For instnce, s it hppens in the continuum theory [8] it is sometimes possible to implement the cnonicl nlysis by first solving the constrints for the unphysicl degrees of freedom N,π,p N,p π nd then introducing generting functionl on the physicl degrees of freedom by following the procedure of the previous sections. In this prticulr cse it is esy to show tht, for p q1 0, q n+1 b 0, where q (q 1,q 0 ), nd thus it is possible to construct n F 3 generting functionl. In ll the models treted up to now in the literture the unphysicl degrees of freedom were eliminted before obtining the cnonicl trnsformtion for the evolution of the physicl degrees of freedom. In order to keep the nlysis generl in simple model, here we hve kept ll the vribles involved in this pproch. 9 V. TREATMENT IN TERMS OF TYPE II GENERATING FUNCTIONS Up to now, we hve tken s the strting point singulr Type I generting function given by F 1 = L(q n,q n+1). It is interesting to nlyze how singulr systems my be described in terms of other types of generting functions. Let us ssume tht neither condition (8) nor condition (5) re fulfilled by the discrete system nd, therefore, we re in the singulr cse. Then, it my be immeditely seen, by using (16),nd tking into ccount tht the determinnt tht ppers in (8) now vnishes, tht singulr systems with first order Lgrngins in the continuum led to the presence of pseudo-constrints φ α (q n,p n+1 ) = 0, in the theory. Recll tht these pseudo-constrints re similr to the constrints tht rise in the continuum cse, but mixing configurtion vribles t one level with moment in the

10 next level. As in the continuum cse, one cn then introduce the pseudo-constrint surfce S φ which we shll ssume hs well defined functions, ( φ α =... φ ) φ...,......, (84) where vector τ in the tngent spce of S φ, T (q,p) S φ, is such tht Let us introduce now s before the type-2 Hmiltonin (12), p n+1 τ φ α = 0 α. (85) 10 H 2 p n+1 (q n+1 q n ) L(q n,q n+1 ),. (86) For which it is esy to see, using the pseudo-constrints, tht it is function of q n,p n+1. Let us consider now n infinitesiml vrition of H 2 long the pseudo-constrint surfce, [ ( (qn+1 qn)dp n+1 + p n+1 L ) ( dqn+1 p n+1 + L ) ] dqn dh 2 = = q n+1 [ ( (qn+1 qn)dp n+1 p n+1 + L ) ] dqn, (87) where in the lst step we used (6). H 2 is well defined in S φ but cn be extended to the whole phse spce s it is done in the cse of constrints in the continuum theory. In order to obtin the cnonicl eqution of motion we strt from the identity, dh 2 (q n,p n+1 ) = ( H2 q dqn + H ) 2 n p dp n+1, (88) n+1 nd evluting it for n infinitesiml displcement (dq,dp) in T (q,p) S φ, we cn use (87) nd the Lgrngin equtions of motion (7) to obtin, [( p n+1 p n + H ( 2 )dq n + qn q n+1 + H ) ] 2 p dp n+1 = 0. (89) n+1 Since (dq,dp) is n rbitrrytngent vector to S φ, following (85) we obtin tht the coefficient must be proportionl to the grdient. Introducing therefore the Lgrnge multipliers λ s the proportionlity fctors, we will end with the set of equtions, q n+1 = q n + H 2 p n+1 p n+1 = p n H 2 q n φ α +λ α n p n+1 λ α n q n, (90) φ α, (91) φ α (q n,p n+1 ) = 0. (92) This system is similr to the continuum set of equtions with the inclusion of pseudo-constrints, which hve the sme functionl form s the continuum constrints, but involve configurtion vribles t level n nd moment t level n + 1, insted of n level vribles. From this initil evolution equtions one my follow procedure similr to the one developed in the previous section in order to study the consistency of the (primry) constrints nd pseudo-constrints. VI. DISCUSSION AND CONCLUSIONS We hve provided cnonicl procedure for the introduction of preserved symplectic structure in discrete constrined systems. The nlogy with Dirc s procedure in the continuum is quite remrkble. It is possible to define notion of discrete evolution tht wekly preserves constrints nd Poisson brckets. The distinction between first

11 nd second clss constrints is still useful nd when second clss constrints re imposed strongly the resulting Dirc brckets re preserved. A feture of the discretized theories is tht they my hve smller number of first clss constrints, nd consequently more degrees of freedom thn the continuum counterprts. The extr degrees of freedom come from the fct tht the discrete theories my not necessrily hve the sme symmetries s the continuum theories. For instnce, in the cse of homogeneous cosmologies studied in [9] the extr pir of phse spce degrees of freedom re ssocited with the fct tht in the discrete theory different choices of refinements in the discretiztion in time correspond to different solutions in the discrete theory tht nevertheless pproximte the sme solution in the continuum theory. This is only first step for complete understnding of the dynmics of discrete guge systems. The reltion between the number of constrints of first nd second clss nd the number of degrees of freedom, nd the connection between the first clss constrints nd the guge invrince of the discrete dynmicl system need to be further studied. Moreover, s discussed in the body of the rticle, if one wishes to consider more pthologicl systems thn the ones considered here, more elborte cnonicl trnsformtions my need to be introduced. The issue of the continuum limit is well understood in the non singulr cse, where there is n externl step prmeter tht controls the pproximtion. However, it needs further study in the cse of singulr systems, prticulrly in the cse of totlly constrined systems where the step of the pproximtion is encoded in the dditionl degrees of freedom of the discrete theory. This issue hs been studied in severl models[4, 9] but complete chrcteriztion of the possible behviors is still lcking. A similr comment pplies to the role of sptil discretiztions when one is considering lttice field theories. 11 VII. ACKNOWLEDGMENTS This pper ws motivted by series of questions by Krel Kuchř bout our previous work. This work ws supported by grnt nsf-phy nd funds from the Horce Herne Jr. Lbortory for Theoreticl Physics nd the Abdus Slm Interntionl Center for Theoreticl Physics. [1] C. Di Brtolo, R. Gmbini, J. Pullin, Clss. Qun. Grv. 19, 5475 (2002). [2] R. Gmbini nd J. Pullin, Phys. Rev. Lett. 90, , (2003). [3] J. Mrsden, M. West, Act Numeric 10, 357 (2001). [4] R. Gmbini, R.A. Porto nd J. Pullin, in Recent developments in grvity, K. Kokkots, N. Stergiouls, World Scientific, Singpore, (2003) [rxiv:gr-qc/ ]. [5] R. Gmbini, R. A. Porto nd J. Pullin, New Journl of Physics 6, 45 (2004). [6] R. Gmbini, R. A. Porto nd J. Pullin, Clss. Qun. Grv. 21 L51 (2004). [7] P. A. M. Dirc, Lectures on Quntum Mechnics, Dover (2001) [8] M. Henneux nd C. Teitelboim, Quntiztion of Guge Systems, Princeton University Press (1994). [9] R. Gmbini nd J. Pullin, Clss. Qun. Grv. 20, 3341 (2003).