1. Introduction
Our human brains have no difficulty imagining a two-dimensional surface, although “surfaces” known from physical experience are objects with non-zero thickness; hence, they are layers not surfaces. Realistic layers consist of atoms, but quantum mechanics describes atoms as objects that do not possess concrete positions in space. Rather, atoms are in superpositions of different localizations and thus are fundamentally delocalized. In effect, at the most fundamental level, we are always dealing with “quantum surfaces” that exist in superpositions of different geometries.
A similar situation is found in space–time physics. What we regard as “space” is modeled as a three-dimensional hypersurface of space–time, an object with zero thickness in timelike directions. Yet, our experience of time is fleeting and ephemeral. It is very difficult, if not impossible, to be truly here and now. In this sense, we do not have everyday experience with space as a three-dimensional submanifold of space–time. The experience of “now” seems as delocalized as the atoms that form a quantum surface. Perhaps what we regard as space is not a hypersurface but a hyperlayer.
This is the first intuition behind the present paper. The second intuition is related to the passage of time.
The passage of time means that even if we accept that “now” is somewhat uncertain, the past should eventually disappear and a sufficiently distant future should not yet exist. This type of behavior does not appear to have an equivalent in standard relativistic physics but is well known from quantum mechanics. Indeed, a propagating wave packet represents a particle in superposition of different localizations, concentrated around the point of maximal probability density. By the Ehrenfest theorem, the average position of the wave packet propagates along a solution of a classical Newton equation. A probability of finding the particle far behind, or far ahead of the wave packet is negligible. Now, it is enough to replace the space coordinate by and treat the evolution parameter, say, as something distinct from . A suitable wave packet propagates along , and the result is precisely the dynamics where the past literally disappears, the future has not yet happened, and the uncertainty of “now” is represented by the width of the packet. A three-dimensional classical hypersurface is then obtained by an appropriate Ehrenfest theorem; in exactly the same way, a classical solution of Newton’s equation is found if we follow the average of the position operator.
Let us stress again that a hyperlayer in four dimensions should not be confused with a four-dimensional hypersurface of a
-dimensional space, similarly to an ordinary layer in three-dimensional space that is not a hypersurface in
dimensions. In this sense, what we discuss should not be regarded as a version of a Pavšič-type quantized gravity [
1,
2], as the latter is based on higher-dimensional embeddings of four-dimensional hyper surfaces.
The idea we have just outlined is not entirely new. It seems that its first explicit formulation was given, for a 1+1 dimensional toy-model, in [
3]. A generalization valid for any dimension was completed in [
4] for the case of an empty universe. An inclusion of matter was briefly discussed in [
4] as well, but a concrete study of a quantum mechanical system that exists and evolves in such a quantum space–time is still missing. The present paper is the first attempt of formulating and exactly solving a non-toy model in 1+3.
For obvious reasons, a harmonic oscillator is our first target. Standard non-relativistic oscillator is simple, well understood, exactly solvable by the factorization method, and is a cornerstone of field quantization. On the other hand, when it comes to relativistic physics, numerous possibilities occur. A generalization based on the Dirac equation was introduced by Moshinsky and Szczepaniak [
5,
6]. An alternative Dirac-type relativistic harmonic oscillator implicitly occurs in the so-called second Dirac equation [
7], whose deep and exhaustive discussion can be found in [
8]. A generalization where the kinetic term of the Hamiltonian is proportional to the d’Alembertian
in Minkowski space, while the potential is proportional to
, is discussed in [
9], generalizing the earlier works of Stueckelberg, Horwitz, and Piron [
10,
11,
12]. The Horwitz Hamiltonian is also basically equivalent to Born’s “metric operator”
(in dimensionless units), generating a spectrum of meson masses [
13]. The formalism from [
9] is similar to ours in that the evolution parameter is unrelated to
. In both formulations, the Hilbert spaces consist of functions integrable with respect to
. However, both theories employ different Hamiltonians, different boundary conditions, and different correspondence principles with standard quantum mechanics. Our treatment of the harmonic oscillator is closest to the approach of Cariñena, Rañada, and Santander (CRS) [
14,
15], but the overall structure of our Schrödinger equation differs in the form of the free Hamiltonian, with empty universe as a reservoir for matter fields, a missing element of the formalism from [
14,
15].
We begin in
Section 2 with a summary of the formalism proposed in [
4]. We concentrate on the distinction between the universe and its background space–time and on the meaning of the boundary condition. In
Section 3, we discuss in some detail the dynamics of the empty universe. An explicit example, adapted from [
4], illustrates the evolution in 1+1 dimensional background (
Appendix A discusses a similar but easier to interpret model, with the Minkowski space in (1+1)D replaced by the Euclidean plane). We also introduce the notion of a configuration-space universe. In
Section 4, we give a concrete example of a single oscillator coupled to the universe whose background Minkowski space is 1+3 dimensional. We discuss both Schrödinger and interaction pictures. The interaction picture eliminates the free evolution of the universe for the price of making
-dependent the Hamiltonian of the oscillator. This
dependence will manifest itself in the form of the ground state, making the impression that the mass of the oscillator decreases with
. The effective
dependence of mass can be ignored at time scales available in typical quantum measurements but, in principle, could influence the interpretation of data from very distant objects. The next two sections discuss in detail the ground state of the oscillator. We first analyze in
Section 5 an approximation that is simpler to analyze than the exact model from [
14,
15]. We concentrate on the ground state, but all the excited states can be found in
Appendix B. We show that the ground state is a Gaussian but with respect to the geodesic position operator
, whose eigenvalues represent the geodesic distance
computed along the hyperboloid
. In
Section 6, we perform an analogous analysis of the ground state for the CRS oscillator. As opposed to the original CRS formulation, the solution we find describes an oscillator in superposition of different and
-dependent curvatures of the universe. The curvature that occurs in the solution is not, as opposed to [
14,
15], a parameter but a quantum observable, a fact proving that we indeed discuss a quantum oscillator in a quantum universe. It is also shown that differences between the exact CRS model and its much simpler approximate form are visible only for small
, that is, in the early stages of evolution of our quantum universe. For
corresponding to the Hubble time, both models are indistinguishable, a result useful from the point of view of the correspondence principle with standard quantum mechanics.
Section 7 is devoted to the reduction
, obtained by integrating out the width of the layer. We show that the resulting probability density is a bell-shaped curve similar to a Gaussian but more smeared out.
Section 8 looks at the above issues from the perspective of a general two-body problem. In
Appendix C, we discuss an alternative definition of the harmonic oscillator associated with a given Laplace–Beltrami operator. Unfortunately, the resulting potential does not lead to any known factorization of the Hamiltonian.
2. Expanding Quantum Universe
In the formalism proposed in [
4] a universe is identified with a
-dependent subset of the background Minkowski space
of signature
in
D dimensions. A point
is said to belong to the universe if
, where
is a solution of a certain Schrödinger-type equation,
The evolution parameter
is dimensionless.
is normalized in a
-invariant way,
but only for
. For
, the norm can become
dependent. Thus, (
2) simultaneously defines a minimal possible value of
and the corresponding arrow of time. Hamiltonian
is not self-adjoint, and yet it generates meaningful unitary dynamics of the universe. The non-self-adjointness is related to the existence of a minimal value of
(see
Appendix A for an analogous but more intuitive example formulated in the Euclidean plane
). For large
, the asymptotic evolution of the universe should reconstruct the form of quantum mechanics we know from textbooks.
consists of future-timelike world-vectors . The origin of the cone, , is arbitrary. In standard classical Friedmann–Robertson–Walker (FRW)-type cosmology it might be natural to identify with the Big Bang, whereas in our model, the initial condition at corresponds to a universe that is not localized at a point in space–time. The initial boundary condition reads if . Such a vanishes outside of the cone , including , the future light cone of the origin . We additionally assume that the initial wavefunction is smooth and vanishes if does not belong to a certain open interval . The possible values of turn out to be related to the choice of . Accordingly, different choices of imply different limitations on the minimal value of acceptable . All these properties would be impossible if were self-adjoint, so that the non-self-adjointness of the Hamiltonian is an important conceptual ingredient of the theory.
The dynamics introduced in [
4] guarantee that the support of
involves only those
x whose Minkowskian norm
belongs to
, with
and
(the support is the closure of the set where a given function is nonzero, so the closed interval is not a typo). Unitarity of the evolution semigroup thus implies that the universe expands in space and shrinks in time. The unitary dynamics generated by
are of a squeezing type.
The usual spatial section of a FRW-type universe is here replaced by the support of
, but as
increases, the timelike width
shrinks to 0, so the support becomes asymptotically concentrated in a neighborhood of a hyperbolic section in
. In consequence, the universe is a subset of
that resembles a true material hyperbolic layer of a finite timelike width, propagating towards the future. We assume that at time scales of the order of the Hubble time, the timelike width of the layer is of the order of the Planck length, which leads to the estimate
of the current value of
, whereas one year is of the order of
[
4].
An analogous construction can be performed for spherical and flat universes.
3. Free Dynamics of an Empty Universe
The free Hamiltonian that describes an empty universe is given by
It generates a unitary semigroup. Recall that
, where
is the Minkowski-space metric. Here,
ℓ is a fundamental length parameter (the Planck length, say). Parametrizing the solution by means of
and the world-velocity
,
we find that
is a generator of translations of the non-negative variable
,
which is not self-adjoint, an advantage in this context, as it turns out.
We assume that
is smooth and compact-support in the variable
, vanishing outside of
. An example of such a function is
and 0 otherwise. Normalized versions of (
6) for
,
, and various values of
are depicted in
Figure 1. With
, (
6) converges pointwise to the characteristic function of
. In many examples, we will tacitly assume that
is so large that (
6) is practically indistinguishable from the characteristic function, and yet it remains smooth on the whole of
.
Under the above form of the initial condition, one finds, for
,
whereas for
, the solution vanishes identically,
The limiting value
defines the
gap hyperboloid,
An example of such a dynamic in
is illustrated in
Figure 2 (adapted from [
4]), with the initial condition
We assume that the jumps in (
11) approximate a function of the form (
6).
Before one fills the universe with matter, one needs an analogous formulation of configuration spaces. An
N-point configuration-space empty-universe extension is defined by
which is equivalent to
with the Hamiltonian
and the norm
Here,
denotes an invariant measure on the world-velocity hyperboloid
. The right-hand-side of (
14) is applicable to functions that involve the world-velocity parametrization of the form (
13). This point is somewhat tricky, as illustrated in Appendix B by Hamiltonians (
A49) and (
A50).
Now that we know how to describe the dynamics of an empty universe, it remains to add matter. We have two goals in mind. First of all, we have to test on some well-understood quantum mechanical models the asymptotic correspondence principle. The latter means that for very large
, the theory should look like ordinary quantum mechanics, where the integrals are over
and not
. Secondly, we should understand if and how the presence of matter influences a geometry of the universe, that is, the probability density
. A nontrivial modification of the Hamiltonian,
can, in principle, influence the set of points that satisfy
. As the universe is the set of those
x that have non-zero probability density, the same remark applies to the configuration-space universe.
An inclusion of matter can be accompanied by modifications of background space–time geometry. As an illustration of the possibility, consider the approach to quantum gravity based on precanonical field quantization [
16,
17]. Here, one begins with a Dirac-type equation for a Clifford-algebra-valued wave function
, where
stands for a tetrad-formalism connection defined at the space–time point
x. The four space–time coordinates are here parameters, similarly to time
t in non-relativistic quantum mechanics (or our invariant parameter
), whereas the components of the connection play the role of configuration space coordinates. The precanonical scalar product involves integration over the 24 real components of
but not over the four
,
Now, assume that
is a state of the quantized gravitational field at a space–time point
x, whereas
is smooth, compact-support in the variable
and vanishes outside of some
. With the initial condition
, we obtain the state of the universe at invariant cosmic time
,
with
given by (
3). The norm of the full state will be then given by
However, in the present paper, we consider a simplified problem, with the universe whose background space–time is Minkowskian (hence with the trivial vanishing connection ) but contains a single harmonic oscillator.
4. Quantum Oscillator in
We skip the intermediate stage of a general two-body problem (postponed till
Section 8) and directly concentrate on the configuration space of a relative coordinate. To this end, let us parametrize a future-pointing timelike world vector in (1+3)-dimensional configuration Minkowski space by the “polar relative coordinates”,
In
, the Hamiltonian consists of the empty-universe free part,
,
and the matter-field interaction part,
where
H is some “ordinary” Hamiltonian that describes a quantum system on the hyperboloid
.
is a parameter that makes
dimensionless like
. We shall concentrate on
H describing some form of a relativistic harmonic oscillator.
The Minkowski-space metric satisfies
The corresponding Jacobian,
is consistent with Hermiticity of the polar-form d’Alembertian,
if appropriate boundary conditions are imposed. The operator,
is the Laplace–Beltrami operator on the hyperboloid
.
There are numerous ways of defining a harmonic oscillator in hyperbolic geometry (cf. [
6,
9] and
Appendix A), but we find it simplest to consider a potential proportional to
[
14,
15],
A world-vector
satisfies in polar coordinates
, so the potential
reconstructs the usual harmonic oscillator if
is of the size available in present-day experiments, while
is of the order of the Hubble radius of the universe. This type of approximation agrees with the one for the measure on the hyperboloid,
which characterizes the correspondence principle with standard quantum mechanics.
For small values of
, the potential takes another interesting form, namely,
where
is the geodesic distance computed along the hyperboloid. Actually, the right-hand side of (
38) is a natural alternative definition of the potential if one assumes that the physical distance between interacting objects should be given in terms of the geodesic distance
and not in terms of
, as the latter is not a geometrically intrinsic characteristic of the hyperboloid.
Perhaps we can obtain a more illuminating picture of the potential by writing it as follows:
with
, showing that the possible three-space position of the oscillator is limited by the light cone
, the boundary of the background space–time.
The full Schrödinger equation,
can be partly separated by means of
because the angular momentum operator,
commutes with the total Hamiltonian,
.
The free Hamiltonian,
, is a generator of translations of the non-negative variable
. It effectively replaces
by
. The next step is therefore the transition to the interaction picture,
The equation to solve,
is equivalent to a harmonic oscillator on a space of constant but
-dependent negative curvature. Recall that the solution is normalized by means of
Notice that not only is the curvature
-dependent, but it is not a classical parameter, as opposed to the standard literature of the subject. This is a quantum observable, as quantum as the position operator, since one integrates over
in (
46). This universe is truly quantum and dynamic. It exists in the superposition of different curvatures.
5. Interlude: Ground State for Small
Although Schrödinger Equation (
45) can be solved exactly, let us first concentrate on the approximation valid for small
, as it will help us to develop physical intuitions concerning the nature of the solution. Setting
and
(as we search for the ground state), we obtain
with the normalization
The form (
48) of the scalar product had to be modified in order to maintain the Hermiticity of the Laplacian in (
47).
Note that (
47) and (
48) can be alternatively interpreted as an exact model in a spatially flat universe, where spacelike distances are computed by means of the hyperbolic geodesic distances. Such a flat universe is not equivalent to the Minkowski space and yet employs the Minkowski space as its background space-time—an interesting option to contemplate in some future work, especially in the context of the lambda cold dark matter (
CDM) cosmology.
Now, define
. Then
The creation and annihilation operators,
satisfy the usual algebra,
The hat in
reminds us that
is an eigenvalue of
. The ground state satisfies
,
and thus
or, equivalently,
Returning to the Schrödinger picture, we finally find
Let us recall that
is non-zero only if
, for some
and
, a fact implying that
In order to simplify the discussion, assume that
is given by a function proportional to (
6) with a large value of
, say
, so that
, being smooth, is practically indistinguishable from the multiple
of the characteristic function
of the open interval
. The normalization now reads
so that
The universe consists here of those events whose probability density is non-zero,
. Therefore, when analyzing the differences between (
67) and the standard quantum prediction for the ground state, we can skip the characteristic function, still keeping in mind that its argument satisfies
, with
and
determined by the initial condition for the universe at
, hence, some 13 billion years ago. Moreover, it is clear that the role of non-relativistic time
is played here by
, while the product
is the square of the hyperboloid’s geodesic distance. The characteristic function implies that
so
spreads along spacelike directions in a future neighborhood of the gap hyperboloid
, simultaneously shrinking in the timelike direction in a way determined by (
68). All these properties are consistent with the analysis given in [
4].
A qualitatively new element is given by the square root occurring in the Gaussian,
because, as a consequence of (
68), we effectively find
Assuming that
ℏ is a fundamental constant, and taking into account that
occurs in the oscillating term
in exactly the same way as the one we know from textbook quantum mechanics, we conclude that the Gaussian behavior of the geodesic variable
is controlled by the mass term
which, accordingly, should be observed as decreasing with time. Obviously, in time scales available in present-day quantum measurements, we can assume that
and thus, quantum oscillators are expected to behave as if their masses were time invariant. However, if what we observe is indeed the geodesic position
, then very distant objects should behave as if their masses were greater from the ones we know from our human laboratory measurements. Our conclusion is reminiscent of some results on time dependent masses of quantized scalar fields in both classical [
18,
19] and quantum cosmology [
20,
21,
22].
All we have written above applies to the geodesic observable
, whose eigenvalues are given by
. A measurement of
is therefore a measurement of a tensor product of two observables. One of them, namely,
, determines location of the hyperboloid in the background Minkowski space (up to the uncertainty relation following from (
68)). This is effectively a
measurement of quantum time, as it approximately determines the value of
. The measurement of
determines the position of the oscillator along the hyperboloid, so this is, essentially, a measurement of position. More precisely, the variable
has the status of a shape variable in Barbour’s sense (see [
23] and the example discussed in [
4]).
The two observables are distributed in space–time by means of the two reduced probability densities,
Neither of them is the usual Gaussian, but the joint space–time probability distribution is Gaussian.
in consequence of the same calculation as in the transition between (
63) and (
64).
6. The Exact Ground State
Let us consider the exact
Equation (
45) for
,
The Hamiltonian in (
75) can be factorized,
The ground state is annihilated by
,
which implies
and
Let us keep in mind that this is still the interaction-picture solution.
The
-dependent equation,
is solved by
with
following from (
82),
The integral
is explicitly given by
Note that
hence,
as implied by (
87)–(
88), can be cross-checked by direct integration. The full interaction-picture solution reads
which translates in the Schrödinger picture into
For
, which we assume, the solution is normalized by
with
for
. Equation (
94) reconstructs the approximate result (
64) in consequence of the limit
and its uniform and fast convergence.
The phase factor
in (
91) is given by
Its late-
asymptotics should be compared with
, occurring in (
67).
To this end, we have to recall the support property of the initial condition at
, and its consequence
where
is of the order of several light-minutes, roughly 1 astronomical unit AU (for a justification of the estimate, see [
4]). Under these assumptions, we are interested in the asymptotic form of
which, effectively, can be reduced by means of the gap-hyperboloid condition to
,
Asymptotically, for large
, we obtain the expected result,
7. Reduction: Three-Space Probabilities
The three-space probability density is defined by either
or
if we work in the approximation
(or in a flat universe). In virtue of the initial condition, we assume the support of
is restricted by the inequality
for some
. When we speak of the support, we mean, of course, the closure of the set of those
where the wave function is non-zero. Hence, even for
and
, we may treat the argument
of the wave function as a future-pointing timelike world vector, with
strictly positive.
A practical implication of inequality (
108) is that asymptotically, for large
, the solution is localized in a future neighborhood of the hyperboloid
, with
counted out since the origin of the universe. This, on the other hand, implies that the present age of the universe, when referred to our human labs, is approximately equal to
.
For large
, the theory reconstructs standard quantum mechanics if we treat
as the measure of distance in position space. More precisely,
should be treated as the radial coordinate in spherical coordinates. However, the integration over
implies that
will not occur in the asymptotic three-space formulas. Therefore, in order to compare the three-space theory with standard 3D-space quantum mechanics, we have to introduce a parameter,
R, representing an average
, averaged under the assumption of (
108). Present-day quantum measurements may be expected to involve
R of the order of 10–20 billion light-years. Accordingly, as another rule of thumb, we may assume that
is the radial coordinate known from quantum mechanics textbooks. At time scales
, available in our human galaxy-scale quantum measurements, we can assume
. A variation of
r with
can be ignored as long as the asymptotic form of quantum mechanics is being used.
What we have just described is the correspondence principle with standard quantum mechanics. It is similar to the one introduced by Infeld and Schild [
24] in their analysis of the Kepler problem. The difference is that [
24] treats the hyperbolic space as the configuration space for 3-dimensional position-representation quantum mechanics, whereas in our formalism, the configuration space is Minkowskian (i.e., (1+3)-dimensional), and instead of a single hyperbolic geometry, the configuration space is a quantum superposition of different hyperbolic geometries (with different curvatures).
7.1. Approximate Three-Space Probabilities
We again begin with the approximation
.
is being given by a function of the form depicted in
Figure 1, with large
, so that the differences with respect to the characteristic function of
can be ignored. For
, the dependence on spherical angles is trivial, so we are left with
In order to switch from the shape variable
to the asymptotic spherical coordinate
(not to be confused with
), we employ the change of variables
To illustrate the form of
, let us take
and denote by
the “renormalized mass”. The resulting density,
is plotted in
Figure 3, as compared to the Gaussian with the same parameters,
For a given
, the universe is localized in a future neighborhood of the hyperboloid
, so that for a negligible ratio
(typical of our-galaxy labs), the Minkowski-space time coordinate of quantum events,
, is approximately equal to
, a fact implying that
where
and
denote, respectively, the current value of mass of the oscillator and the current age of the universe.
is the duration of the quantum measurement. Assuming
is 10 billion years and
a thousand years, we obtain
with
. The masses we are dealing with have decreased during the past millennium by some
percent.
Of course, one should not treat the above estimate too seriously—we are still at the level of an approximate toy model, with the universe “filled” with a single harmonic oscillator.
7.2. The Exact Three-Space Probabilities
Assuming that within the range of integration,
is well approximated by a constant
C, we find
where
. In order to compare (
118) with (
110), without invoking a cumbersome explicit formula for
, let us take
and express (
110) in terms of its value at
,
where
. Analogously, setting
in (
118), we find
Now, one can directly verify that (
121) is the
limit of (
122). The limit is taken with
.
9. Conclusions
The discussed formalism is meant as a unification and generalization of both standard cosmology and quantum mechanics. As opposed to classical cosmology, the universe is not represented by a spatial section of some space–time but by the support of a wave function propagating through space–time. Quantum mechanics known from textbooks are reconstructed asymptotically, for large times, by means of an appropriate correspondence principle. The universe is in general deformed by the presence of matter. We have decided to perform an explicit analysis of a simple but physically meaningful and exactly solvable system, hence, the choice of a harmonic oscillator. Among various possibilities, we have chosen the CRS model of the quantum harmonic oscillator, very natural in the context of spaces with constant curvature. Yet, as opposed to the original CRS formalism, the curvature in our formalism is not a parameter but a quantum observable. The resulting universe exists in a quantum superposition of different curvatures.
A general conclusion is that for late times, the evolution of the oscillator is essentially the one we know from standard quantum mechanics but with one important subtlety. Namely, the effective renormalized mass of the oscillator (inferred on the basis of the uncertainty of its geodesic distance ) is time-dependent, as opposed to the bare mass that occurs in the Hamiltonian. The time in is asymptotically (i.e., for late times) proportional to the quantum evolution parameter, , the age of the universe is proportional to , and the renormalized mass decays as . The effect does not seem to be a peculiarity of this concrete potential. Rather, it is a consequence of the concrete form of the empty-universe Hamiltonian and its coupling with matter. Since the renormalization of mass is influenced by the dynamics of the universe, the effect may be regarded as yet another version of Mach’s principle.