#### Abstract

We construct a quantum theory of free scalar fields in (1+1)-dimensions based on the deformed Heisenberg algebra , that admits the existence of both a minimal measurable length and a maximal momentum, where is a deformation parameter. We consider both canonical and path integral formalisms of the scenario. Finally a higher dimensional extension is easily performed in the path integral formalism.

#### 1. Introduction

Physics in extremely high energy scales is particularly of interest to particle physicists. It is now a well-known issue that gravity induces uncertainty in measurement of physical quantities. By now, string theory is one of the most successful theoretical frameworks which overcomes the difficulty of ultraviolet divergences in quantum theory of gravity. Incorporation of gravity in quantum field theory leads naturally to an effective cutoff (a minimal measurable length) in the ultraviolet regime. Therefore, if we construct a field theory which captures some stringy nature and/or includes stringy corrections, then it would play a crucial role in investigation of physics at high energy scales towards the Planck scale. Some of the stringy corrections appear as higher order polynomials of momentum leading to modified dispersion relations (see e.g., [1] and references therein). One of the stringy corrections is deforming the Heisenberg uncertainty principle to a generalized uncertainty principle (GUP). Some approaches to quantum gravity such as string theory [2–9], loop quantum gravity [10], and quantum geometry [11–13] all indicated the existence of a minimal measurable length of the order of the Planck length, m (see also [14–17]). Moreover some Gedanken experiments in the spirit of black hole physics have also supported the idea of existence of a minimal measurable length [18]. So, existence of a minimal observable length is a common feature of all promising quantum gravity candidates. The existence of a minimal measurable length modifies the Heisenberg uncertainty principle (HUP) to the so-called generalized (gravitational) uncertainty principle (GUP). On the other hand, Doubly Special Relativity Theories (for review see, for instance, [19–24]), suggest that existence of a minimal measurable length would restrict a test particle’s momentum to take any arbitrary values. In other words, a test particle’s momentum measurement cannot be arbitrarily imprecise leading nontrivially to an upper bound on test particles’ momentum. This means that there is a maximal particles’ momentum because of fundamental structure of spacetime at the Planck scale [25–28]. Quantum field theory in the presence of minimal length as a natural ultraviolet cutoff has been studied by some authors [29–35]. Specially, Matsuo and Shibusa have studied quantization of fields based on a generalized uncertainty principle that admits just a minimal measurable length [34]. Also Shibusa has extended this study to the supersymmetric field theory based on the GUP with minimal length [35]. Since position and momentum are dual to each other, it is natural to argue that existence of a minimal measurable length naturally leads to the existence of a maximal momentum. This issue has not been considered in the mentioned studies of scalar field theory. It is obvious that existence of a cutoff on particles’ momentum affects considerably the formulation of the quantum field theory with just a minimal length cutoff. Based on this argument, our central task in this study is to construct a field theory for free scalar fields in the presence of quantum gravity effects encoded in a GUP that admits existence of a minimal measurable length and a maximal particles’ momentum. Following our recent work on Hilbert space representation of quantum mechanics in this case [36], we reformulate the main structure of a free scalar field theory in this setup. Our primary input is the following GUP [37–39]:

We investigate the quantization of free scalar field based on the deformed algebra (1.1) in the canonical formalism in -dimensions and in the path integral formalism as well. In the process of quantization using the latter formalism, we use the Bjorken-Johnson-Low prescription [40, 41] which states that -product of fields must take the same value in the two formalisms. We compare our results with Matsuo and Shibusa work [34] in each step.

#### 2. A Brief about GUP

##### 2.1. GUP with a Minimal Length

In ordinary quantum mechanics, the standard Heisenberg uncertainty principle (HUP) is given by There is no trace of gravity in this relation. Today we know that HUP breaks down for energies close to the Planck scale where the corresponding Schwarzschild radius becomes comparable with the Compton wavelength with both becoming approximately of the order of the Planck length. As we have said in the Introduction, existence of a minimal measurable distance in quantum gravity is inevitable. This is encoded in the following Generalized (Gravitational) uncertainty principle (GUP) The additional term, , has its origin on the very nature of space time at the Planck energy scale (see also [42–44] for alternative generalizations). It was shown in [17] that the simplest GUP relation which implies the appearance of a nonzero minimal uncertainty in position has the form where is the GUP parameter defined as , and GeV is the -dimensional fundamental scale.

At energies much below the Planck energy, the extra term in the right hand side of (2.2) would be irrelevant, which means and the standard HUP relation is recovered. Instead, approaching the Planck energy scale, this term becomes relevant and, as has been said, it is related to the minimal measurable length. From a string theory viewpoint since a string cannot probe distances smaller than its length, existence of a minimal observable length is reliable. Since for any pair of observable and (which are represented as symmetric operators on a domain of and ) one has [17] one find the following algebraic structure Following [17], we define position and momentum operators for the GUP case as where and ensure the Jacobi identities, namely,

Now it is easy to show that and satisfy the generalized uncertainty principle. We interpret as the momentum operator at low energies which has the standard representation in position space, that is, , and as the momentum operator at high energies, which has the generalized representation in position space, that is, .

##### 2.2. GUP with Minimal Length and Maximal Momentum

Magueijo and Smolin have shown that in the context of the Doubly Special Relativity a test particle’s momentum cannot be arbitrarily imprecise and therefore there is an upper bound for momentum fluctuation [25–27]. Then it has been shown by Cortes and Gamboa [28] that this may lead to a maximal measurable momentum for a test particle. In this framework, the GUP that predicts both a minimal observable length and a maximal momentum can be written as follows [37–39] (we note that maximal momentum arises also by considering the fact that the modification of the standard dispersion relation is such that the value of momentum saturates as one varies energy. See [45] for more details.): or In this framework the following algebraic structure can be deduced (see [37–39]): where is the GUP parameter in the presence of both minimal length and maximal momentum. Similar to the minimal length case, we can define [36] where as before and satisfy the canonical commutation relations via the Jacobi identity, and and satisfy the generalized commutation relations in the presence of minimal length and maximal momentum as

#### 3. Variational Matrix Product State Approach

We start with the following deformed Heisenberg algebra: which has a representation in momentum space as In general, states which have minimal uncertainty obey the following equation: where and . Among these states, we will focus on the states which are subjected to the following conditions: and for simplicity we set One can easily find the wavefunction of maximal localization states in momentum space as [36] Here and is a normalization factor. These maximal localization states are identified as one particle state in the theory based on GUP [36]. We will use these states as the basic ingredients in constructing quantum fields in forthcoming sections of this paper. Note that these states are not eigenstates of the position operator because of limitation on resolution of space points encoded in the existence of minimal length. Nevertheless, momentum space representation is still applicable. So, we introduce a first quantized Heisenberg space as the space equipped with the complete basis which has the completeness relation as We determine the measure so that the operator is Hermitian (i.e., where is a normalization factor independent of . We set by recalling the basis as . We note that this measure is not singular since the denominator of equation (3.8) has no real root. This measure leads to the orthogonality condition as We denote by the maximal localization states and then we can rewrite the wave function of one particle state (3.6) in the following form: So we find or Integrating this equation gives where the limits of integral are coming from existence of maximal momentum which is assumed to be the Planck momentum, . So we find Then, by normalization we have So we have Thus the formal position eigenvectors in momentum space are given by This is the generalized, momentum space eigenstate of the position operator in the presence of both a minimal length and a maximal momentum. Now we calculate the scaler product of the formal position eigenstate as follows: where by definition Furthermore, we find a completeness of basis on this Hilbert space as In what follows we set by rescaling the basis as . Here we have two bases and . Thus we can perform a Fourier transformation which interchanges the two representations. We write the -space wavefunction and -space wavefunction for a state in this Hilbert space as follows (See [36] for more details): The Fourier transformation in this Hilbert space is Here there are some points which are crucial to be mentioned. The transformation (3.23) is an inverse transformation to (3.22) for arbitrary square integrable functions as in the case of usual Fourier transformation. However the transformation (3.22) is not an inverse transformation to (3.23) for arbitrary square integrable functions. This can be seen easily by inserting (3.23) into (3.22), then we find where by definition

This is not equal to the original function for arbitrary function . We restrict the function to liner combination of as For these functions, the transformation (3.22) is as follows:

Now for these functions the transformation (3.22) is truly the inverse transformation to (3.23). That is, Since

This restriction is nothing but the condition that the state is included in our Hilbert space. Thus the Fourier transformation, (3.22) and (3.23), is well defined in this Hilbert space. It should be noted that the wave function (3.6) reduces to the plane wave solution in the limit of This is because we have set the normalization constant as by rescaling . In [36] the normalization constant is fixed to so that the norm of the wavefunction is equal to one. In this case, the wavefunction vanishes in the mentioned limit because of the extra dependence on in the normalization factor.

#### 4. A (1+1)-Dimensional Quantum Field Theory with GUP

In this section we construct a quantum field theory with a GUP (that admits both a minimal length and a maximal momentum) in -dimensional spacetime in the canonical formalism. First of all, we define a classical field such that it solves the following Klein-Gordon equation (see e.g., [46]): In this equation we leave the function of momentum indefinite, where is an arbitrary even function whose explicit form does not have any influence on the following arguments [34]. This function determines the dispersion relation and depends on what kind of theory we want. Quantization of classical field is in order to provide the set of operator fields and Hamiltonian that lead the same Klein-Gordon equation by the Heisenberg equation. We define a field (see for instance [34]) where . This field satisfies the Klein-Gordon equation (4.1). Its Fourier pair is written in terms of our one-particle states in space momentum In the above expression, the operators and are, respectively, the annihilation and creation operators for one particle state with momentum . They have the following commutation relation in momentum space: We construct a natural Hamiltonian in terms of the Fock space picture This Hamiltonian produces the following Heisenberg equation of motion: which is consistent with the Klein-Gordon equation (4.1). We can define the conjugate momentum . Therefore, we can write the Hamiltonian in momentum space as Now we compute the following commutation relation using the commutation relation (4.4): We have also

#### 5. Higher Dimensional Algebra

The generalization of the Heisenberg algebra to higher dimensions where rotation symmetry is preserved and there are both a minimal length and a maximal momentum is (see [36]) where in three dimensions , that is, , , and are unit vectors of cartesian coordinates and . So, we can generalize our operators acting on momentum space in higher dimensional theory as Then, it is easy to show that We see that in the presence of minimal length and maximal momentum, the very spacetime manifold is noncommutative in nature. Note that it was not the case for Matsuo and Shibusa analysis in the presence of just the minimal length [34]. So incorporation of natural cutoffs as minimal length and maximal momentum brings the spacetime manifold to be noncommutative in quantum gravity era. The generator of rotation in our framework are [36] As Kempf et al. [17] case, from the positivity of the norm, that is, on the boundary of the physically allowed region, we have Using (5.2), the differential equation in momentum space corresponding to (5.6) is in the following form: By introducing the path integral measure and also Lagrangian through introduction of two parameters and defined as follows: the action of the model can be written as follows: Now using assumptions (5.8) and (5.10), we can compute the -product in this framework as follows: Using the Bjorken-Johnson-Low prescription, from behavior of we find Also through the behavior of we can obtain If we define conjugate momentum in Lagrangian Formalism by using a free parameter as the commutation relation (5.14) takes the following form: The right hand side of the above equation is a symplectic form [34]. Since the Legender transformation from Lagrangian to Hamiltonian is (see [34]) one can obtain a Hamiltonian as The condition that the coefficient of must be homogeneous fixes the free parameter so that So we find Then the Hamiltonian becomes By comparing this with (4.7), we obtain the parameters and as the form We see explicitly that the two formalisms provide consistent structure of the deformed quantum field theory. Summarizing the results, we have Now the annihilation and creation operators for one particle states in the presence of both minimal length and maximal momentum have the following commutation relation and the canonical commutation relation is Also Heisenberg equation of motion is given as Now we calculate propagators from these quantities in the presence of minimal length and maximal momentum as follows: In this case the Lagrangian is given by Also Lagrangian and path integral measure in -dimensional spacetime and in the presence of both minimal length and maximal momentum can be written a follows: So we have provided the basic ingredients of a scalar field theory in the context of minimal length and maximal momentum hypothesis. We note that incorporation of maximal momentum as a new natural cutoff in quantum field theory restricts further the form of commutation relations and propagators.

#### 6. Summary

Incorporation of quantum gravity effects in quantum mechanics and also quantum field theory leads to the existence of natural cutoffs on position and momentum measurements of test particles. These natural cutoffs regularize the underlying field theory in a phenomenologically viable manner. Quantum field theory of scalar fields in the presence of minimal length has been studied in literature (see [34]). Here, following our recent work on Hilbert space representation of quantum mechanics with minimal length and maximal momentum [36], we generalized the work reported in [34] to the case that there is a maximal momentum for test particles too. We have formulated a quantum theory of free scalar fields in -dimensions based on a deformed Heisenberg algebra , where is a deformation parameter. The generalized uncertainty principle based on this algebra requires the existence of a minimal measurable length and also maximal measurable momentum of the order of Planck momentum for any test particle. In this framework we have considered both canonical and path integral quantization of free scalar field in the presence of these natural cutoffs. Finally we have extended our analysis to a higher dimensional spacetime in the path integral formalism. We have shown that in the presence of minimal length and maximal momentum, the underlying spacetime manifold becomes noncommutative in nature. We note that it was not the case for Matsuo and Shibusa analysis in the presence of just the minimal length as has been reported in [34]. Finally we note that this study can be simply generalized to the supersymmetric quantum field theory.

#### Acknowledgment

K. Nozari work is financially supported by the Research Deputy of the Islamic Azad University, Sari Branch, Sari, Iran.