Observables for FRW model with cosmological constant in the framework of loop cosmology

Observables for FRW model with cosmological constant
in the framework of loop cosmology

Jakub Mielczarek jakub.mielczarek@uj.edu.pl Astronomical Observatory, Jagiellonian University, 30-244 Kraków, Orla 171, Poland    Włodzimierz Piechocki piech@fuw.edu.pl Theoretical Physics Department, Institute for Nuclear Studies, 00-681 Warszawa, Hoża 69, Poland
September 27, 2019
Abstract

We consider a flat cosmological model with a free massless scalar field and the cosmological constant in the framework of loop quantum cosmology. The scalar field plays the role of an intrinsic time. We apply the reduced phase space approach. The dynamics of the model is solved analytically. We identify elementary observables and their algebra. The compound physical observables like the volume and the energy density of matter field are analysed. Both compound observables are bounded and oscillate in the case. The energy density is bounded and oscillates in the case. However, the volume is unbounded from above, but periodic. The difference between standard and nonstandard loop quantum cosmology is described.

pacs:

I Introduction

The standard loop quantum cosmology (LQC) follows the Dirac quantization scheme. In this approach, one first defines the kinematical Hilbert space. Then, the physical states are determined by the requirement that the quantum constraint operator (in simple cases there may be only one constraint) vanishes on them. The space of solutions is used to construct the physical Hilbert space Ashtekar:2003hd ; Bojowald:2006da . There exists an alternative method, the reduced phase space approach, that we call nonstandard LQC. It consists in solving the dynamical constraint already at the classical level and the identification of physical observables. Examination of spectra of the corresponding quantum observables leads to description of the cosmological system. Such an approach has been recently applied to the quantization of a flat Friedmann-Robertson-Walker (FRW) model with a free massles scalar field Dzierzak:2009ip ; Malkiewicz:2009zd ; Malkiewicz:2009qv . In the present paper we consider an extension of the classical aspects of the model by including a contribution from the cosmological constant .

Since the standard LQC seems to be very successful Ashtekar:2010qn , one may wonder what the motivation for developing the nonstandard LQC could be. Let us discuss it in more detail. The situation is that there are no precise observational data available to verify the predictions of quantum cosmology models. In such case a reasonable strategy seems to be comparing results obtained within alternative approaches. An agreement of results would prove that the procedure of quantization is correct. An agreement of such results with observational data (when they become available) would be the final goal. The above strategy underlies our paper. We wish to obtain results to be compared with the standard LQC results. On the other hand, an alternative method may improve our understanding of various conceptual issues like identification of Dirac’s observables, determination of the minimum length specifying critical energy density of matter field at the big bounce transition, quantum evolution of a system with Hamiltonian constraint, etc. Present paper addresses the first issue and begins the discussion of the second and third ones. They will be considered in our next paper presenting quantization of the present model.

Ii Hamiltonian

The gravitational part of the classical Hamiltonian, in the Ashtekar variables , is the sum of the first class constraints

(1)

where is the space-like part of spacetime , and where

(2)
(3)
(4)

( is the Barbero-Immirzi parameter). For the considered FRW model, the Gauss constraint as well as the spatial diffeomorphisms constraint are automatically fulfilled. The only nontrivial part is the scalar constraint . Because for the homogeneous models , the Hamiltonian simplifies to

(5)

In LQC the gravitational degrees of freedom are parametrised by holonomies and fluxes (which are functionals of the Ashtekar variables). These are non-local functions used to construct a non-perturbative theory. The holonomies and fluxes are non-trivial variables satisfying the holonomy-flux algebra. However, in the highly symmetric spaces, like the FRW model considered here, the forms of these functions simplify.

In particular, in the flat FRW model the flux may be parametrised by variable and the holonomy is expressed in terms of variable Malkiewicz:2009qv . The variable is a physical volume defined as follows

(6)

where is an elementary cell in the space with topology ; are Cartesian coordinates; is a physical 3-metric; is a scale factor; defines a fiducial 3-metric; is a fiducial volume (it does not occur in final results). The variable, in the limit , is linked to the Hubble factor via the relation .

In order to express the Hamiltonian, Eq. (5), in terms of holonomies and fluxes, the procedure of regularization has to be applied. The regularization introduces a new scale to the theory, namely the parameter . This can be understood as the length scale of the lattice discretization. The applied procedure of regularization and rewriting the Hamiltonian in terms of holonomies and fluxes is the same as known from the standard LQC. However, to the completeness of considerations we sum up the main step of this derivation in Appendix A. The obtained gravitational part of the Hamiltonian reads Ashtekar:2006wn

where is the holonomy around the square loop (for more details see Dzierzak:2009ip ). is the lapse function. The elementary holonomy in the i-th direction reads

(8)

where ( are the Pauli matrices). The holonomy (8) is calculated in the fundamental, , representation of . The factor is the parameter of the theory that may be related with the minimum area of the loop. Namely, so has the dimension of length. It is supposed to mark the scale when classical dynamics should be modified by quantum effects. It is expected that , but its precise value has to be fixed observationally. At present, one can only give the upper constraint on . Based on the observations of the cosmic microwave background radiation it was recently shown Mielczarek:2009zw that .

In the model considered in this paper, the total Hamiltonian is the sum of the gravity , cosmological constant , and free scalar field parts

(9)

where

(10)

The insertion of the elementary holonomy (8) into Eq. (LABEL:hgl) leads (for details, see Appendix A) to the expression

(11)

The variables parametrise the phase space, and the sign “” reminds that the Hamiltonian is a constraint of the gravitational system under consideration.

The technical procedure leading to Eqs. (LABEL:hgl) and (11) (presenting a Hamiltonian parametrized by ) is identical in both standard and nonstandard LQC. The Hamiltonian must be the same, otherwise the comparison of both methods could not be done. The real difference arises when one begins the implementation of the Hamiltonian constraint, . In the standard approach, one promotes Eq. (11) to an operator equation at the quantum level with the parameter different from zero. Why is the parameter kept different from zero? The technical answer is that in the limit the regular constraint equation turns into the singular Wheeler-DeWitt equation Dzierzak:2008dy . The physical justification for keeping offered by the standard method is that in the loop representation used to quantize the kinematical level this representation does not exist for Ashtekar:2003hd . In the second step of this method, one turns the classical constraint equation into an operator equation, which one defines consequently in the loop representation of the kinematical level Ashtekar:2006wn . This is why one keeps in the operator equation. Why one uses such an exotic representation which is not defined for Further explanation is that such representation is an analog of the representation used at the kinematical level of loop quantum gravity (LQG) Ashtekar:2003hd . Is this answer satisfactory? It is commonly known that the LQG has not been constructed yet. The representation of the constraints algebra, based on the achievements of the kinematical level, has not been found yet. The problem is extremely difficult because the algebra is not a Lie, but a Poisson algebra (one structure function is not a constant but a function on phase space) TT . The users of the standard method believe that sooner or later this problem of LQG will be solved and LQC will be derived from LQG, so making use of an analogy to LQG is a healthy approach Ashtekar:2004eh . We think, it is an outstanding development, but far from being completed.

We are conscious that in the standard LQC the parameter is fixed by taking into account the spectrum of the kinematical area operator of LQG (see, e.g. Ashtekar:2006wn ). Our approach, making strong reference to observational cosmology, may be treated as a sort of generalization of the standard approach. It is not an effective semi-classical version of the standard LQC, but a modified version of the classical cosmology model of general relativity. One can treat it as a one-parameter family of classical Hamiltonians, including the usual general relativity Hamiltonian as a special case for . It can be seen easily that the singularity becomes ‘resolved’ at the classical level, for , due to the functional form of Eq. (11). It has been already discussed that the regularization, making use of approximating the curvature of connection by a holonomy around a loop with a finite length (see, appendix A) produces the big bounce Dzierzak:2009ip ; Malkiewicz:2009qv ; Haro:2009pt already at the classical level. Why should we quantize a cosmological model which is free from the cosmological singularity? There are at least three good reasons: (i) we must have a quantum model to make comparison with the standard method results which concern quantum level, (ii) classical energy density of matter depends on a free parameter in such a way that it may become arbitrary big for small enough (see Eqs. (44), (53) and (13)) so the system may enter a length scale where quantum effects have to be taken into account, and (iii) making predictions of our model for quantum cosmic data may be used to fix the free parameter , after such data become available.

The model with the Hamiltonian defined by Eq. (11) has been already studied Mielczarek:2008zv and analytical solutions have been found:

The Hamiltonian constraint, Eq. (11), can be rewritten as

(12)

where is the critical energy density

(13)

and is a parameter

(14)

and where .

It turns out that for , the system has no physical solutions Mielczarek:2008zv . The physical solutions exist only for , where

(15)

which defines the critical value of the cosmological constant. This surprising result extends to the quantum level as well Bentivegna:2008bg ; Kaminski:2009pc .

In what follows we consider two cases: (, anti-de Sitter) and (, de Sitter).

Iii Equations of motion

The equations of motion for the system are defined by the Hamilton equation , where the Poisson bracket is defined as follows

(16)

The solutions of the Hamilton equation with define the kinematical phase space . In turn, the solutions restricted by the Hamiltonian constraint, Eq. (11), define the physical phase space .

For the function defined on , the dynamics are governed by

(17)

Thus, the relational dynamics of variables and on is defined by

(18)

so it is gauge independent. The specific choice of gauge can however simplify the calculations. In our considerations we choose the lapse function in the form

(19)

The equations of motion read

(20)
(21)
(22)
(23)

An elementary observable is a real function on the phase space that satisfies the equation (for a precise definition see Dzierzak:2009ip )

(24)

It is clear that constants of motion of the Hamilton equations satisfy Eq. (24). We get immediately from Eq. (23) the first observable

(25)

Finding other observables needs definitely more effort.

Before we proceed to the task we would like to firstly make a comment on the relation between the classical cosmology and the model under considerations. In particular, we would like to show in which limit, the standard Friedmann equation is recovered.

We define the Hubble factor as follows , where is a coordinate time. We can insert Eq. (20) into this definition, however keeping in mind the fact that , which results from Eq. (17). Taking square of the Hubble factor and inserting Eq. (12) we find

(26)

where we have defined . Equation (26) is the modified Friedmann equation which results from the considered model. Let us consider the limit . Based on Eq. (13) we find . Therefore in the limit of vanishing modification, , the classical Friedmann equation

(27)

is recovered. Another issue is the correspondence with the standard cosmology. We see that the modifications become irrelevant when and , and the form of Eq. (27) is recovered. Therefore, the correspondence takes place in the limit of low energy densities of matter and cosmological constant. However, while the matter energy density is diluted with the increase of volume , the remains constant. Therefore the last term in Eq. (26), namely , contributes also in the limit of the large volumes. As we will show later, the value of parameter is extremely low for the observationally determined value of cosmological constant. This additional constant term is therefore completely negligible and its present contribution cannot be verified observationally.

Iv Anti-de Sitter (AdS)

Based on Eqs. (20) and (21) we find

(28)

Integrating the above equation we obtain the observable (as a constant of integration)

(29)

Equations (21) and (22) give

(30)

Solving this equation gives the next observable

(31)

where is the Jacobi elliptic integral of the first kind

(32)

To get Eq. (31) we have spitted the integration of the righthand side of Eq. (32) as follows

(33)

The lower limit of the integration, in variable , is equal to . With this particular choice, the limit leads to the expressions found in the case . This limit will be discussed in more details in Sec. VI. In fact, the lower limit of integration can be set to be an arbitrary number. In particular, it can equals not , but zero. This will not change the physics, but it will not lead to the expression for the observables found in the case . It is so because the elementary observables are defined up to an additive constant.

One may verify that obtained observables satisfy the Lie algebra

(34)
(35)
(36)

This algebra can be simplified since the observable can be eliminated due to the Hamiltonian constraint which reads

(37)

Making use of Eq. (37) we may rewrite in the form

(38)

where . It Appendix B, the form of the Poisson bracket on has been derived. The observables and satisfy on the Lie algebra

(39)

where

(40)

Equation (38) can be inverted to the form

(41)

where am in an amplitude of the Jacobi integral.

The energy density is found to be

(42)

Due to the Hamiltonian constraint it reads

(43)

Using Eq. (41) we may rewrite Eq. (43) in the form

(44)

where . We plot this dependence in Fig. 1.

Figure 1: Plot of for and . Here, the period of oscillations is equal to

Based on Eqs. (12) and (41) we derive an expression for the volume observable in terms of elementary observables and an evolution parameter

(45)

The plot of this function is shown in Fig. 2.

Figure 2: Plot of for and . Here, the period of oscillations is equal to

The solution for the volume are non-singular oscillations with the maximal and minimal values given by

(46)
(47)

Equation (46) tells that when the volume is maximal, the total energy density equals zero. However, the matter density does not vanish, since due to Eq. (44) we have (as in AdS case).

The period of oscillations can be written as

(48)

V de Sitter (dS)

In this case the considerations are similar to those presented in the previous section. However, finding a suitable definition of the observable requires some additional analysis. Namely, in this case

(49)

that result from Eq. (12). Thus, , where and . The equation for the observable takes the form

(50)

The integration of this equation can be done by using the Jacobi function (see Eq. (32)) as in anti-de Sitter case. The lower limit of integration is set to be and the relation (33) is applied. The choice of the lower limit is dictated by the limit . For the the integration gives an imaginary number. However, due to relation (33) these contributions cancel out. Finally, we get

(51)

which is a real function on for . The algebra of observables is the same as in the anti-de Sitter case.

Equation (51) can be inverted to the form

(52)

where we defined , so we have

(53)

The function is defined as . We plot function (53) in Fig. 3.

Figure 3: Plot of for and . Here, .

Making use of Eqs. (52) and (12) we find

(54)

We present this function in Fig. 4.

Figure 4: Plot of for and . Here, .

The solution is periodic

(55)

where and

(56)

However, contrary to the Anti-de Sitter case, the periodicity does not mean that the volume oscillates. The cycles are separated by asymptotes with . Each cycle is called a bounce. The bounces are disconnected and define quite independent solutions. Within a bounce, the value of the scalar field change by . One can find that this corresponds to the evolution of the system from to , where in the coordinate time. Thus, each period corresponds to the same dS universe.

It turns out Kaminski:2009pc ; WK that in the standard LQC the quantum evolution of semi-classical states interpolate between the trajectories in the adjacent eras shown in Fig. 4, forming a cyclic system. We plan to examine this interesting issue, within the nonstandard LQC, in our next paper concerning a quantum version of the model.

The maximum and minimum of of the volume, and the corresponding energy densities are

(57)
(58)

It may appear to be strange that as the maximum volume equals infinity, the total energy density does not vanish. However, this counter-intuitive result is correct since due to Eq. (44) the matter term goes to zero as the volume approaches infinity, whereas the -term stays finite and equals (as in dS case).

Vi The limit

In the case , the observables take the following form

(59)
(60)

To find the observable Eq. (60), we have integrated Eq. (30) taking into account the Hamiltonian constraint with .

These observables satisfy the same Lie algebra as in the case . Namely, . Making use of the identity

(61)

one can find that the observables, Eqs. (59) and (60), are the same as those derived in Dzierzak:2009ip .

The elementary observables play the role of ‘building blocs’ used to define composite observables. In particular, one can find an expression for the volume

(62)

as well as for the energy density

(63)

These compound observables are gauge independent and overlap with those found in Dzierzak:2009ip .

Now, let us discuss the limit , for fixed . The observable remains unchanged as it is independent on . Let us examine the case of the observable . Here the situation for both anti-de Sitter and se Sitter case looks the same. Equations (38) and (51) can be written as

(64)

We have

(65)

in the definition of . Thus, in both limits the expression Eq. (60) is recovered.

Now, let us try to get Eqs. (62) and (63) by taking the limit . Firstly, let us consider de Sitter’s case. We rewrite equations (53) and (54) in the form

(66)
(67)

where

(68)

The last equality can be written as

(69)

Taking the limit , we get

(70)

which can be rewritten as

(71)

It is clear now, that in the limit , Eq. (66) and Eq. (67) turn into Eq. (63) and Eq. (62), respectively.

In the anti-de Sitter case the procedure is similar. This way both limits, , lead to the same expressions for the density and the volume.

Now, let us determine the parameter from observations. The cosmological constant can be related with the observed dark energy, which dominates the energy density of the Universe. In this case one can rewrite the definition Eq. (14) in the form

(72)

where is the fractional density of the cosmological constant, is the present value of the Hubble parameter, and is the speed of light. The five years observations of the WMAP satellite yield and Dunkley:2008ie . Assuming that , where is the Planck length and Meissner:2004ju , we find

(73)

which is an extremely small value. Such a small vale of is connected with the known discrepancy between observed value of the cosmological constant and the energy density of the quantum vacuum. Since , the present observations favour dS case rather than AdS. It is, however, not excluded that the AdS phase had some realization in the past.

Vii Conclusion

The density and the volume are functions of the elementary observables and an evolution parameter . They become observables for each fixed value of this parameter as in such a case they satisfy Eq. (24). Due to Eq. (22) the parameter changes monotonically so it suits the purpose.

For any value of the cosmological constant , considered in our paper, the elementary observables satisfy the same simple Lie algebra , on the constraint surface. The elementary observables serve as building blocks for composite ones. They correspond to the constants of motion specifying dynamics so they have physical meaning, but they are not required to be measurable.

The composite observables are defined on the physical phase space and have clear physical interpretation, so they are expected to be detectable in observational cosmology. The volume is bounded and oscillates in the AdS case. It is bounded from below and diverges in the dS case, as expected. The energy density is bounded in both cases. We have shown that in the limit the observables obtained for the case are recovered. Thus, our results are consistent.

The initial big-bang singularity turns into the big-bounce transition. The density is a function of a free parameter and blows up as , which corresponds to the case when there is no modification of the Hamiltonian by the holonomies. In both standard and nonstandard LQC is a free parameter. It seems there is no satisfactory way to determine its theoreticall value, but forthcoming observtional data may bring some resolution to this problem. We have already addressed this issue in the context of the standard LQC Dzierzak:2008dy and in the nonstandard LQC Dzierzak:2009ip ; Malkiewicz:2009qv . Some preliminary agreement with our results (without reference to ours) may be found in Sec. VI of an updated version 4 of Ashtekar:2007em . One discusses there ‘parachuting by hand’ of the results from full LQG into LQC, since the derivation of LQC from LQG has not been obtained yet.

One usually relates the violation of the Lorentz symmetry with quantum gravity effects. Recent observations suggest nature that the scale of the Lorentz symmetry violation is greater than , which corresponds to the length scale . If quantum effects lead to the violation of the Lorentz symmetry, then the length scale of this effect should be related with . In such a case the astrophysical observations of the ray bursts, like those presented in nature , can be potentially used to constrain the parameter . However, an explicit functional form of this relation is unknown. On the other hand, the observations like nature are still ambiguous due to low statistics. Thus, one cannot impose on any realistic astrophysical constraints yet.

Our method relies on a direct link with observational data due to the unknown value of . This may make our model suitable for describing observational data despite the fact that FRW may have too much symmetry to be a realistic model of the Universe. Taking theoretically determined from incomplete LQG, in the standard LQC, seems to give a model of the Universe less realistic than ours. We believe that lacking of theoretically determined numerical value of is rather meritorious than problematic.

In our next paper we shall present quntization of the model considered here. This will enable us making complete comparison of the standard and the nonstandard LQC.

Acknowledgements.
We thank Wojtek Kamiński for helpful correspondence. JM has been supported by Polish Ministry of Science and Higher Education grant N N203 386437.

Appendix A Modified Hamiltonian

In this appendix we give more details on the modified gravitational Hamiltonian used it this paper. In particular, we derive the form of the regularized Hamiltonian, Eq. (LABEL:hgl). Later, we show how this Hamiltonian simplifies to Eq. (11) after the expression for the holonomy in applied. We begin from Eq. (5). Applying the classical identity

(74)

and the trace of a product of the variables we find

(75)

Regularization of this Hamiltonian can be performed with use of expressions

(76)

and

(77)

where the fiducial triad dual to the fiducial cotriad defined as . Here is the coordinate length of the path along which the elementary holonomy is calculated. The is a dimensionless parameter which controls the length. In the limit , Eqs. (76) and (77) become equalities. Combining Eq. (76) and Eq. (77) one can write

(78)

Based on this relation with and restricting the spatial integration to the fiducial volume , one can regularize Eq. (75) into the form

where const. This condition means that the physical size of the link remains constant during the evolution. The choice is motivated by the correspondence with the classical cosmology for the large values of volume and is equivalent to the so-called improved scheme of LQC Ashtekar:2006wn . The classical unmodified Hamiltonian of the FRW model can be recovered from .

Inserting the elementary holonomy

(80)

and its inversion

(81)

into the Hamiltonian [Eq. (LABEL:RegHam)]. Next, we find that

(82)

To get this relation we have used the definition of the Poisson bracket, Eq. (16), and the equality . Then, making use of Eq. (82) turns the Hamiltonian, Eq. (LABEL:RegHam), into

(83)

At this stage, the relation

(84)

can be applied. To derive Eq. (84), we insert Eq. (80) and Eq. (81) into the definition of , and use the formulae

(85)
(86)
(87)
(88)

as well as . Afterwards, we use Eq. (84) to get

(89)

Finally, inserting Eq. (89) into Eq. (83) gives

(90)

The standard Friedmann equation can be obtained from Eq. (90) in the limit (limit of small Hubble factor) if we complete it by the matter Hamiltonian.

Appendix B Symplectic form

The symplectic form corresponding to the Poisson bracket, Eq. (16), reads

(91)

Let us find the symplectic form on the surface of constraints, namely

(92)

Differentiating the Hamiltonian constraint we find

(93)

Based on this expression we obtain

(94)

Differentiating we find

(95)

This expression, due to the Hamiltonian constraint, reads

(96)

Inserting Eq. (96) to Eq. (94) we finally get

(97)

Thus, the Poisson bracket on takes the form

(98)

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
316713
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description