Space-Time From Quantum Physics

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 5

,

Space-Time from quantum Physics

Fabrice Debbasch
Sorbonne Université, Observatoire de Paris, Université PSL, CNRS, LERMA, F-75005, Paris, France
(Dated: October 4, 2023)
A construction of the real 4D Minkowski space-time starting from quantum harmonic oscillators
is proposed. First, a 2D spinor space and its dual are derived from the standard commutation
relations obeyed by the ladder operators of two independent 1D harmonic oscillators. The complex
4D Minkowski vector space V is then constructed from these spinor space. The flat, real 4D
Minkowski manifold is finally built as an approximate description of a manifold of unitary operators
constructed from V . Lorentz invariance is recovered and several possible extensions are discussed,
which connections to quantum optics and condensed matter physics.
arXiv:2310.01447v1 [gr-qc] 1 Oct 2023

The first quarter of the twentieth century witnessed fundamental concept and that it should be derived from
several breakthroughs in physics. Special relativity, quantum theory.
which was proposed by Einstein in 1905 [1] and later The aim of this Letter is to prove that the flat 4D
extended in 1915 into the relativistic theory of gravita- Minkowski space-time of special relativity can indeed be
tion known as general relativity [2, 3]. Simultaneously, seen as a local approximation of a real manifold which
quantum physics, which also originated with Einstein in arises naturally from the algebra obeyed by the ladder op-
1905 [4], was developed first as a non relativistic theory erators [12] of two independent ‘abstract’ quantum har-
of particles, which culminated in the equation proposed monic oscillators. This Letter does not claim that the
by Schrödinger in 1926 [5] and now bears his name. This proposed construction is the only possible one, nor that
equation was rapidly extended to the special relativistic it is the physically correct one, though it may be. The
realm. For example, the Dirac equation was introduced sole aim of this work is to show that Minkowski space-
in 1928 [6] as a relativistic equation obeyed by the wave- time can be derived from a purely quantum framework.
functions of spin 1/2 particles. Quantum physics then In other words, not only is the playground of special rel-
morphed into a quantum theory of fields [7], making it ativistic physics not alien to quantum physics, but it can
possible to describe systems where particle numbers were be derived from it. If other, possibly more physically rel-
themselves dynamical variables. And it is quantum field evant constructions exist, is another question not dealt
theory which, despite renormalisation issues, is today the with in this work.
natural framework used to describe the electro-weak and We first show how to construct an abstract spinor
the strong interactions [8]. space [13, 14] and its dual from the algebra obeyed by the
Despite all these achievements, modern physics has not ladder operators of two independent‘abstract’ quantum
yet been able to incorporate gravity into the quantum harmonic oscillators. We then review how this abstract
framework and develop a consistent quantum theory of spinor space can be used with its dual to build a 4D
gravitation. Several, apparently very different paths to- Minkowski vector space. We then elaborate on Lorentz
wards such a theory have been proposed [9] and are still invariance and show in particular that the space of the
today active areas of research, but none has delivered a linear transformations which leave invariant the algebra
quantum gravity yet. obeyed by the ladder operators and which do not mix
spinors and dual spinors is simply the Lorentz group. We
It seems today that building a quantum theory of grav-
then discuss the differences between the Minkowski vec-
ity will require solving a lot of apparently different, but
tor space introduced earlier and the usual 4D space-time
all very serious conceptual and technical/mathematical
manifold of special relativistic physics and finally offer
problems. One of them, perhaps the most conceptual
a local construction of the Minkowski space-time space-
one, is to reconcile the idea of classical space-time with
time manifold. The Letter concludes with a summary
what we know of quantum theory. Indeed, mathemat-
and a discussion of all results, with special emphasis on
ically speaking, space-time is a differential Lorentzian
possible extensions.
manifold [10] and general relativity thus relies heavily
on geometry and analysis, while quantum physics, at its Consider a Hilbert space H and two linearly indepen-
core, seems definitely more algebraic. One option is to dent operators a and b defined on H which obey the al-
take this as a fact, and try and build quantum gravity as gebra:
a standard algebraic quantum theory taking place in a h i h i
given geometric object called space-time. But this point a, a† = b, b† = 1
of view seems somehow unnatural and many physicists h i
since Pauli [11] have believed that space-time is not a [a, b] = a, b† = 0. (1)
2

This algebra can be realized, for example, by combining that the only non vanishing scalar products between the
two independent harmonic oscillators, choosing as H the γ’s are γ0̄0 · γ1̄1 = −γ0̄1 · γ1̄0 = 1. In particular, each
tensor product of their Hilbert spaces and by retaining γ has a vanishing scalar product with itself and is thus
as operators a, a† , b, b† the standard ladder operators of a null vector. Also, replacing in the definitions of the
the two oscillators. γ’s the β̄ by their expressions in terms of the β † ’s, one
The operators a and b can be used to build the two finds γ0̄0 = β1† β0 , γ1̄1 = β0† β1 , γ0̄1 = β1† β1 , γ1̄0 = β0† β0 .
operators This shows that γ0̄1 and γ1̄0 are self-adjoint while γ0̄0
and γ1̄1 are dual to each other. Thus, the set of γ’s is
1  
β0 = √ a + ib† the equivalent of what is called a null 4-bein [3, 13, 15]
2 in Lorentzian geometry. Another 4-bein is
1  † 
β1 = √ a + ib . (2) 1
2 e0 = √ (γ0̄1 + γ1̄0 )
2
The algebra (1) obeyed by a, a† , b and b† is equivalent 1
to the algebra: e1 = √ (γ0̄1 − γ1̄0 )
2
[β0 , β1 ] = 1 1
e2 = √ (γ0̄0 + γ1̄1 )
h i h i h i 2
β0 , β0 = β1 , β1† = β0 , β1† = 0.

(3) 1
e3 = √ (γ0̄0 − γ1̄1 ) . (5)
The commutator defines a bilinear antisymmetric form i 2
on the space spanned by (β0 , β1 , β0† , β1† ). The above com- The components of the metric η in the e-basis read
mutation relations show that this form is degenerate. (ηµν ) = diag(−1, 1, 1, 1), which is the standard form of
There are however two sub-spaces on which the form is Minkowski metric. Also, all four e vectors are Hermitian
not degenerate, and these are the sub-space S spanned by operators. But this does not make the space V identical
(β0 , β1 ) and the sub-space S̄ spanned by (β0† , β1† ). Each to the physical 4D Minkowski space-time. Before con-
of these sub-spaces is a so-called abstract spinor space structing from Minkowski vector space the Lorentzian
[13, 14]. space-time manifold, let us discuss first how Lorentz in-
By definition, a spinor σ in S canP1 be decomposed on variance emerges in the present, operator oriented con-
A
the basis β, and we write σ = A=0 σ β A or, intro- text.
ducing Einstein’s summation convention, σ = σ A βA . As It is natural to wonder if there are linear transforma-
mentioned above, the commutator is a non-degenerate, tions in S ∪ S̄ which leave the original commutation re-
bilinear, anti-symmetric form on this space. To make lations (1) obeyed by (a, a† , b, b† ) or, equivalently, the
writing with components easier, we denote the commu- commutation relations obeyed by (β0 , β1 , β0† , β1† ) invari-
tator by ǫ. Its components (ǫAB ) in the basis β are ant. Any linear transformation in S induces a linear,
ǫ01 = −ǫ10 = 1 and ǫ00 = ǫ11 = 0. dual transformation S̄ and, thus, a linear transformation
The two operators (β1† , β0† ) span another spinor space in S ∪ S̄. So, are there for example linear transformations
S̄, called the dual spinor space. To be consistent with the in S which, together with their dual, leave the commu-
literature on abstract spinors, we introduce the notation tation relations invariant?
β̄ = (β̄0̄ = β1† , β̄1̄ = β0† ). Components of a spinor σ̄ Without loss of generality, an arbitrary linear trans-
in the dual spinor space will be denoted by σ̄Ā and the formation in S can be written as
Poisson bracket, as a bilinear anti-symmetric form on S̄
is denoted by ǭ, with components ǭĀB̄ . β0′ = pβ0 + iqβ1
Let us now introduce the operators β1′ = irβ0 + sβ1 . (6)
γ0̄0 = β̄0̄ β0
where p, q, r, s are four arbitrary complex numbers. It
γ1̄1 = β̄1̄ β1 induces in S̄ the transformation:
γ0̄1 = β̄0̄ β1
(β0† )′ = p̄β0† − iq̄β1†
γ1̄0 = β̄1̄ β0 . (4)
(β1† )′ = −ir̄β0† + s̄β1† (7)
The family (β̄) spans a 4D complex vector space V and
one can write any vector v ∈ V as V = v ĀB γĀB . Note where bars over complex numbers denote complex conju-
that, at this stage, the 4 indices are not 0, 1, 2, 3, but gation. The last three commutation relations obeyed by
0̄0, 1̄1, 0̄1, 1̄0. (β0 , β1 , β0† , β1† ) in equation (3) are trivially invariant un-
The commutator induces in V a metric η defined by der the above transformations and the invariance of the
η(ĀA)(B̄B) = ǭĀB̄ ǫAB and we denote the corresponding first commutation relation is equivalent to ps + qr = 1.
scalar product by a dot. A direct computation shows The four complex numbers p, q, r, s are thus restricted
3

by a single (complex) relation, and we are thus dealing If one interprets a and b to be ladder operators for two
with a family of transformations which depend a priori independent harmonic oscillators, a Lorentz transforma-
on 3 complex, or equivalently 6 real parameters. We will tion actually mixes these two oscillators, and also mixes
now show that these transformations coincide with the their creation and destruction operators, to generate two
Lorentz transformations. new oscillators still independent of each other.
As a preliminary, we first show that any complex num- The 4D space V exhibits several key differences with
ber, say u, can be written as the squared cosine of an- the 4D Minkowski space-time. First, V is a vector space,
other complex number, say θ. The equation u = cos2 θ and not a manifold. Second, V , as built above, is a
transcribes into v = 2u − 1 = cos(2θ). Introducing complex vector space. One can naturally argue that the
x = exp(2iθ) leads to x2 − 2vx + 1 = 0, which admits physical Minkowski vector space, which is tangent to the
two (possibly identical) complex solutions. One can thus space-time manifold, is a subspace of V , but then, why
always find an x which solves the problem. Writing then does physics only deal with that subspace? Or is the
x =| x | exp(iφx ) with φx ∈ (0, 2π) and θ = θr + iθi , physical Minkowski space-time actually complex? The
with (θr , θi ) ∈ R2 , the equation x = exp(2iθ) for θ third difference is more subtle. By construction, all ele-
can be solved by choosing for example θr = φx /2 and ments of V are operators in a space on which a bilinear
θi = −(ln | x |)/2 (note that x does not vanish for any antisymmetric form, which we have called the commu-
value of u). tator, is defined. One can therefore compute the com-
Coming back to the relation ps + qr = 1, we iIntroduce mutator of different elements in V and, in particular, the
a complex θ such that ps = cos2 θ. This implies that qr = commutator of the ea ’s with each other. In practice these
sin2 θ. One can then introduce two complex numbers ξ commutators can be found from the commutation rela-
and ζ such that p = exp(iξ) cos θ and ir = exp(−iζ) sin θ. tions between the γ’s, which can be derived from those of
Since ps = cos2 θ and qr = sin2 θ, one gets immediately the β’s and β † ’s. One find that the γ’s do not commute
s = exp(−iξ) cos θ and iq = − exp(−iζ) sin θ. with each other, and neither do the e’s. Also, all commu-
A straightforward computation shows that, conversely, tators between the e’ are quadratic in the ladder opera-
tors a, a† , b, b† . For example, [e0 , e1 ] = −i a† b† + ab .

any linear transformation of S represented in the (β0 , β1 )
basis by a matrix L of the form This might have been expected and shows that nei-
  ther the γ’s nor the e’s are identical to a 4-bein in usual
exp(iξ) cos θ − exp(iζ) sin θ
L= (8) Minkowski vector space. One might be tempted to in-
exp(−iζ) sin θ exp(−iξ) cos θ
terpret the non commutation of the 4-bein in terms of
with arbitrary complex θ, ξ and ζ preserves the commu- curvature, but there is no manifold at this stage of the
tation relations. The matrix L can be rewritten as the computation. Moreover, it is easy to check that the com-
exponential of a complex linear combination of the three mutator [e0 , e1 ] actually lies outside of V . In particular,
Pauli matrices and is thus identical to the action of an the e’s are Hermitian, and their commutators are there-
arbitrary Lorentz transformation on 2-spinors [7, 16]. fore anti-Hermitian, so outside of V . Observe also that
The Lorentz transformations are thus the only linear the e’s are quadratic in the ladder operators a, b, a† , b† ,
transformations of S ∪ S̄ which, not only preserve the and so are their commutators.
commutation relations, but also leave each of the sub- To summarize the above discussion, what we have at
spaces S and S̄ invariant (as sets, not point-wise). this stage is a non-commutative 4D complex Minkowski
One final remark is in order. Writing the Lorentz vector space embedded in a larger operator space. The
transformations in terms of the original ladder operator, question is: can we build from that the usual arena of
one finds: physics i.e. a real 4D Lorentzian manifold?
h i h i The 4D Minkowski manifold is flat and can thus be
a′ + i(b† )′ = p a + i(b† ) + iq a† + ib viewed as an affine space, and there is a standard way
to construct affine submanifolds of a vector space. Sup-
h i h i
(a† )′ + ib′ = ir a + i(b† ) + s a† + ib . (9)
pose you want to build an affine space from V defined
Taking the dual of these equations, one obtains: above. Consider the space W of all operators acting on
h i h i the Hilbert space H and pick up an operator u in W
(a† )′ − ib′ = p̄ a† − ib − iq̄ a − ib† which is not in V . The space u + V = {u + v, v ∈ V }
h i h i is then a flat submanifold of W with tangent V at each
a′ − i(b† )′ = −ir̄ a† − ib + s̄ a − ib† . (10) point. Note that this construction cannot work if one
starts from a vector space which is not embedded in a
These four equations can be combined to deliver: larger vector space.
1h i So, one first tentative way to obtain physical
a′ = (p + s̄)a − (q + r̄)b + i(q − r̄)a† + i(p − s̄)b† Minkowski M space-time would be to pick an arbitrary u
2
1h i outside of V and to identify M with the set of all u+αa ea ,

b = (r + q̄)a + (s + p̄)b − i(s − p̄)a† + i(r − q̄)b†(11)
. a ∈ {0, 1, 2, 3} and α ∈ R4 . This however presents at
2
4

least two shortcomings. First, the 4-bein vectors in V Let us now discuss this result, focusing on possible ex-
still do not commute, so the Minkowski manifold u + V tensions. From the quantum point of view, the procedure
is not the standard one. Second, the restriction to real described in this Letter is but a special case of a very
α’s comes out of nowhere in this construction. general problem. Consider a collection of N independent
These two shortcomings have a common solution In- ‘abstract’ 1D quantum harmonic oscillators i.e. N inde-
stead of considering operators of the form u + αa ea with pendent quantum systems characterized by ladder oper-
α ∈ R4 , consider the operators M (u, α) = u exp (iαa ea ) ators obeying the standard commutation relations. Here,
with u unitary and not in V . Possible choices for u are ‘abstract’ means that there is no space-time available at
u = exp(iδ)I where δ is an arbitrary real number and this stage and that the ladder operators have therefore
I is the identity operator, which is not in V . The op- no relations with physical position and momentum opera-
erators M (u, α) = u exp (iαa ea ) form a submanifold M̄ tors. Then ask yourself what are the unitary operators or,
of W . Since the e’s are Hermitian, an operator in M̄ is equivalently, the Hermitian operators which can be built
unitary iff its 4 α coordinates are real. We denote the set from these independent oscillators i.e. from their ladder
of all unitary operators in M̄ by M̄U . operators. This question is completely natural from the
Suppose now one looks only at points which are ‘close’ point of view of quantum physics, it is interesting per se,
to u, say points for which the four α’s are at the most it connects with several domains, including quantum op-
O(ǫ) with 0 < ǫ ≪ 1. It is natural, for these points, tics and condensed matter physics, but it does not seem
to introduce the rescaled coordinates (ᾱ) defined by to have much to say about space-time. This Letter shows
αa = ǫ ᾱa for a = 0, 1, 2, 3. With this definition, all that, contrary to what one might think prima facie, the
ᾱ’s can reach O(1). One can then expand M (u, ǫᾱ) at case N = 2 delivers Hermitian operators quadratic in
first order in ǫ around  ǫ = 0 and obtain M (u, ǫᾱ) = the ladder operators which, in turn, deliver a manifold
u 1 + iǫᾱa ea + O(ǫ2 ) . We now introduce the rescaled of unitary operators which, locally, looks like the usual,
4-bein ēa = ǫ ea , and write real 4D Minkowski space-time.
  But what about other values of N ? The case N = 1
M (u, ᾱ) = u 1 + iᾱa ēa + O(ǫ2 ) . (12) is nearly trivial and does not seem to connect to space-
time physics (computations not shown). Other values
Since the e’s are quadratic in the ladder operators, rescal- of N should be investigated to determine if and what
ing the e′ s by ǫ √ is tantamount to rescaling the lad- manifolds they generate, taking into account polynomials
der operators by ǫ. The rescaled commutation re- of arbitrary degrees in the ladder operators. For exam-
lations between the 4-bein vectors thus take the form ple, do higher values of N and/or polynomial of higher
[ēa , ēb ] = O(ǫ)Cab where the Cab ’s are quadratic in the degrees deliver Lorentzian space-times of higher dimen-
rescaled ladder operators. This means that the commu- sions? Or space-times with more than a single time-
tators of the rescaled 4-bein vectors tend to zero with coordinate?
ǫ. Thus, close to u, M̄U looks like the standard, real
As constructed in this Letter, flat space-time is but a
Minkowski manifold. This proves that the usual flat
local approximation of a manifold of non-commutating
space-time of special relativity can be recovered from
operators. The above problem involving N independent
standard quantum theory. Note that introducing the
quantum harmonic oscillators thus has connections with
new 4-bein Ea = iēa makes it possible to write (12) as
non-commutative geometry [17], and this should be in-
M (u, ᾱ) = u 1 + ᾱa Ea + O(ǫ2 ) , where the i factor does
vestigated.
not explicitly appears.
In the above construction, a portion of the flat From the classical point of view, the most natural ques-
Minkowski space-time appears as the portion of the affine tion is about general relativity. Can the above proce-
space −i + V for which all α’s at at most O(1). Suppose dure be extended to deliver curved Lorentzian manifolds?
now a physicist is using Lorentzian ‘physical’ coordinates Could this be done by allowing for example the oscillators
(xa ), a = 0, ..., 3 and works in (or has access to) a region to interact with each other? And could this pave the way
of Minkowski space-time of size L is these coordinates. to a possible laboratory quantum simulations of general
This region can be described in the above framework by relativistic space-times i.e. of relativistic gravitation, for
assuming that x = L̄ᾱ with L̄ ≥ L. example in the contexts of quantum optics or condensed
We have shown that the real 4D Minkowski space- matter physics?
time can be constructed locally from the ladder operators Finally, one can only wonder if and how matter fits
of two independent 1D quantum oscillators. The lad- into the picture developed here. The link between space-
der operators generate an abstract spinor space and its time and quantum harmonic oscillators presented in this
dual which can in turn be used to build the complex 4D article seems to suggest that matter and space-time may
Minkowski vector space. Part of this vector space gener- be two sides of the same coin. If so, what is exactly that
ates a space of unitary operator which, locally, looks like coin, and how does what we call dynamics emerge from
the standard real 4D Minkowski space-time. a unified quantum picture?
5

It is interesting to introduce the hermitian ‘position’ op-


erators Xa , Xb and ‘momentum’ operators Pa , Pb of the
two original independent oscillators, which we define by:
[1] A. Einstein, Zur elektrodynamik betwegter körper, Ann.
Physik 17 (1905).
[2] A.Einstein, Die feldgleichungen der gravitation, Sitzungs- a = Xa + iPa
berichte der Königlichen Preussischen Akademie der Wis- b = Xb + iPb . (14)
senschaften 10.1140/epjs/s11734-023-00842-4 (1915).
[3] R. M. Wald, General Relativity (The University of The hcommutation i relations obeyed by the P ’s and X’s
Chicago Press, Chicago, 1984).
are Pa/b , Xa/b = −i, as they should. But remember
[4] A. Einstein, Uber einen die erzeugung und verwand-
lung des lichtes betreffenden heuristischen gesichtspunkt, that the X’s are not usual physical positions, which are
Ann. Physik 17 (1905). denoted by α in this Letter. The P ’s are not physical
[5] E. Schrödinger, Quantisierung als Eigenwertproblem, momenta either. Calling the P ’s and X’s ‘momenta’ and
Ann. Physik 384, 361 (1926). ‘positions’ is thus a pure matter of habit and convention
[6] P. Dirac, The quantum theory of the electron, Pro- and does not point to the usual physical meaning of these
ceedings of the Royal Society A 10.1098/rspa.1928.0023
(1928).
terms, but rather to the fact that their commutators are
[7] C. Itzykson and J. Zuber, Quantum Field Theory equal to −i.
(Courier Corporation, 2012). In terms of these harmonic oscillators position and mo-
[8] C. Quigg, Gauge Theories of the Strong, Weak and Elec- mentum operators, the four e-vectors read:
tromagnetic Interactions (Princeton University Press,
2014). 1  2 
e0 = √ Xa + Pa2 + Xb2 + Pb2
[9] C. Kiefer, Quantum Gravity, International Series of 2
Monographs on Physics (Oxford University Press, 2007). √
[10] B. A. Dubrovin, S. P. Novikov, and A. Fomenko, Modern e1 = − 2 (Pa Xb + Xa Pb )
geometry - Methods and applications (Springer-Verlag, 1  2 
New-York, 1984).
e2 = √ Xa − Pa2 + Xb2 − Pb2
2
[11] W. Pauli, General Principles of Quantum Mechanics √
(Sprimger-Verlag, 1980). e3 = 2 (Pa Xa − Pb Xb ) . (15)
[12] R. P. Feynman, Statistical Mechanics, Frontiers in
Physics (Addison-Wesley Company, 1972). The first 4-bein vector e0 is thus the sum of the energies
[13] R. Penrose and W. Rindler, Spinors and space-time of the two oscillators. The other vectors do not have a
(Cambridge University Press, Cambridge, 1984). comparable direct physical interpretation. Note however
[14] J. Stewart, Advanced General Relativity (Cambridge that
University Press, 2009).
√  
[15] J. Yepez, Einstein’s vierbein field theory of curved space, e0 + e2 = 2 Xa2 + Xb2
arXiv:1106.2037 (2008).
[16] J. Elliott and P. Dawber, Symmetry in Physics (MacMil- √  
e0 − e2 = 2 Pa2 + Pb2 . (16)
lan, 1984).
[17] A. Chamseddine, A. Connes, and W. van Suijlekom,
Noncommutativity and physics: a non-technical re- These two vectors therefore represent respectively the to-
view, The European Physical Journal Special Topics tal potential energy and the total kinetic energy of the
10.1140/epjs/s11734-023-00842-4 (2023). two oscillators. One also find

e1 + ie3 = −i 2 (Pb − iPa ) (Xb − iXa )

SUPPLEMENTAL MATERIAL e1 − ie3 = +i 2 (Pb + iPa ) (Xb + iXa ) , (17)

The 4-bein vectors ea , a = 0, ..., 3 can be expressed in which can be combined into
terms of the ladder operators. One finds: √
e1 + ie3 = −i 2PZ Z

1  † 
e1 − ie3 = +i 2P̄Z Z̄ (18)
e0 = √ aa + a† a + bb† + b† b
2 2
i   where Z = Xb − iXa and PZ = Pb − iPa . The vectors
e1 = √ ab − b† a† e0 ± e2 read simply
2
1  2  √
e2 = √ a + (a† )2 + b2 + (b† )2 e 0 + e 2 = 2 | Z |2
2 2 √
e0 − e2 = 2 | PZ |2 . (19)
i  2 
e3 = − √ a − (a† )2 − b2 + (b† )2 . (13)
2 2

You might also like