HOME

TheInfoList



OR:

The theory of causal fermion systems is an approach to describe
fundamental physics In physics, the fundamental interactions, also known as fundamental forces, are the interactions that do not appear to be reducible to more basic interactions. There are four fundamental interactions known to exist: the gravity, gravitational an ...
. It provides a unification of the
weak Weak may refer to: Songs * "Weak" (AJR song), 2016 * "Weak" (Melanie C song), 2011 * "Weak" (SWV song), 1993 * "Weak" (Skunk Anansie song), 1995 * "Weak", a song by Seether from '' Seether: 2002-2013'' Television episodes * "Weak" (''Fear t ...
, the
strong Strong may refer to: Education * The Strong, an educational institution in Rochester, New York, United States * Strong Hall (Lawrence, Kansas), an administrative hall of the University of Kansas * Strong School, New Haven, Connecticut, United Sta ...
and the electromagnetic forces with
gravity In physics, gravity () is a fundamental interaction which causes mutual attraction between all things with mass or energy. Gravity is, by far, the weakest of the four fundamental interactions, approximately 1038 times weaker than the str ...
at the level of
classical field theory A classical field theory is a physical theory that predicts how one or more physical fields interact with matter through field equations, without considering effects of quantization; theories that incorporate quantum mechanics are called quantu ...
.Chapters 1-4
https://arxiv.org/abs/hep-th/0202059 Chapters 5-
Appendices
/ref> Moreover, it gives
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
as a limiting case and has revealed close connections to
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles a ...
. Therefore, it is a candidate for a unified physical theory. Instead of introducing physical objects on a preexisting
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why diffe ...
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
, the general concept is to derive spacetime as well as all the objects therein as secondary objects from the structures of an underlying causal fermion system. This concept also makes it possible to generalize notions of differential geometry to the non-smooth setting. In particular, one can describe situations when spacetime no longer has a manifold structure on the microscopic scale (like a spacetime lattice or other discrete or continuous structures on the Planck scale). As a result, the theory of causal fermion systems is a proposal for quantum geometry and an approach to
quantum gravity Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the v ...
. Causal fermion systems were introduced by
Felix Finster Felix Finster (born 6 August 1967, in Mannheim) is a German mathematician working on problems in mathematical physics, geometry and analysis. Life and work Finster studied physics and mathematics at Heidelberg University, where he graduated in 19 ...
and collaborators.


Motivation and physical concept

The physical starting point is the fact that the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac pa ...
in
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
has solutions of negative energy which are usually associated to the
Dirac sea The Dirac sea is a theoretical model of the vacuum as an infinite sea of particles with negative energy. It was first postulated by the British physicist Paul Dirac in 1930 to explain the anomalous negative-energy quantum states predicted by the ...
. Taking the concept seriously that the states of the Dirac sea form an integral part of the physical system, one finds that many structures (like the
causal Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the ca ...
and metric structures as well as the bosonic fields) can be recovered from the wave functions of the sea states. This leads to the idea that the wave functions of all occupied states (including the sea states) should be regarded as the basic physical objects, and that all structures in spacetime arise as a result of the collective interaction of the sea states with each other and with the additional particles and "holes" in the sea. Implementing this picture mathematically leads to the framework of causal fermion systems. More precisely, the correspondence between the above physical situation and the mathematical framework is obtained as follows. All occupied states span a
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
of wave functions in Minkowski space \hat. The observable information on the distribution of the wave functions in spacetime is encoded in the ''local correlation operators'' F(x), x \in \hat, which in an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For ex ...
(\psi_i) have the matrix representation : \big( F(x) \big)^i_j = - \overline \psi_j(x) (where \overline is the adjoint spinor). In order to make the wave functions into the basic physical objects, one considers the set \ as a set of
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
s on an ''abstract'' Hilbert space. The structures of Minkowski space are all disregarded, except for the volume measure d^4x, which is transformed to a corresponding measure on the linear operators (the ''"universal measure"''). The resulting structures, namely a Hilbert space together with a measure on the linear operators thereon, are the basic ingredients of a causal fermion system. The above construction can also be carried out in more general spacetimes. Moreover, taking the abstract definition as the starting point, causal fermion systems allow for the description of generalized "quantum spacetimes." The physical picture is that one causal fermion system describes a spacetime together with all structures and objects therein (like the causal and the metric structures, wave functions and quantum fields). In order to single out the physically admissible causal fermion systems, one must formulate physical equations. In analogy to the
Lagrangian Lagrangian may refer to: Mathematics * Lagrangian function, used to solve constrained minimization problems in optimization theory; see Lagrange multiplier ** Lagrangian relaxation, the method of approximating a difficult constrained problem with ...
formulation of
classical field theory A classical field theory is a physical theory that predicts how one or more physical fields interact with matter through field equations, without considering effects of quantization; theories that incorporate quantum mechanics are called quantu ...
, the physical equations for causal fermion systems are formulated via a variational principle, the so-called ''causal action principle''. Since one works with different basic objects, the causal action principle has a novel mathematical structure where one minimizes a positive action under variations of the universal measure. The connection to conventional physical equations is obtained in a certain limiting case (the
continuum limit In mathematical physics and mathematics, the continuum limit or scaling limit of a lattice model refers to its behaviour in the limit as the lattice spacing goes to zero. It is often useful to use lattice models to approximate real-world processe ...
) in which the interaction can be described effectively by
gauge field In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups ...
s coupled to particles and
antiparticle In particle physics, every type of particle is associated with an antiparticle with the same mass but with opposite physical charges (such as electric charge). For example, the antiparticle of the electron is the positron (also known as an antie ...
s, whereas the Dirac sea is no longer apparent.


General mathematical setting

In this section the mathematical framework of causal fermion systems is introduced.


Definition of a causal fermion system

A causal fermion system of spin dimension n \in \mathbb is a triple (\mathcal H, \mathcal F, \rho) where * (\mathcal H, \langle ., . \rangle_) is a complex
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
. * \mathcal F is the set of all
self-adjoint In mathematics, and more specifically in abstract algebra, an element ''x'' of a *-algebra is self-adjoint if x^*=x. A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold. A collection ''C'' of elements of a sta ...
linear operators of finite rank on \mathcal H which (counting multiplicities) have at most n positive and at most n negative eigenvalues. * \rho is a measure on \mathcal F. The measure \rho is referred to as the universal measure. As will be outlined below, this definition is rich enough to encode analogs of the mathematical structures needed to formulate physical theories. In particular, a causal fermion system gives rise to a spacetime together with additional structures that generalize objects like
spinors In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a sligh ...
, the metric and
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...
. Moreover, it comprises quantum objects like wave functions and a
fermionic In particle physics, a fermion is a particle that follows Fermi–Dirac statistics. Generally, it has a half-odd-integer spin: spin , spin , etc. In addition, these particles obey the Pauli exclusion principle. Fermions include all quarks and le ...
Fock state In quantum mechanics, a Fock state or number state is a quantum state that is an element of a Fock space with a well-defined number of particles (or quanta). These states are named after the Soviet physicist Vladimir Fock. Fock states play an imp ...
.


The causal action principle

Inspired by the Langrangian formulation of classical field theory, the dynamics on a causal fermion system is described by a variational principle defined as follows. Given a Hilbert space (\mathcal H, \langle ., . \rangle_) and the spin dimension n, the set \mathcal F is defined as above. Then for any x,y \in , the product x y is an operator of rank at most 2n. It is not necessarily self-adjoint because in general (xy)^* = y x \neq xy. We denote the non-trivial eigenvalues of the operator x y (counting algebraic multiplicities) by : \lambda^_1, \ldots, \lambda^_ \in . Moreover, the spectral weight , . , is defined by :, xy, = \sum_^ , \lambda^_i, \quad \text \quad \big, (xy)^2 \big, = \sum_^ , \lambda^_i, ^2 . The Lagrangian is introduced by :(x,y) = \big, (xy)^2 \big, - \frac , xy, ^2 = \frac \sum_^ \big( , \lambda^_i, - , \lambda^_j, \big)^2 \geq 0 . The causal action is defined by := \iint_ (x,y)d\rho(x)d\rho(y) . The causal action principle is to minimize under variations of \rho within the class of (positive) Borel measures under the following constraints: * Boundedness constraint: \iint_ , xy, ^2 d\rho(x)d\rho(y) \leq C for some positive constant C. * Trace constraint: \;\;\;\int_ \text(x) d\rho(x) is kept fixed. * The total volume \rho() is preserved. Here on \subset () one considers the topology induced by the \sup-norm on the bounded linear operators on . The constraints prevent trivial minimizers and ensure existence, provided that is finite-dimensional. This variational principle also makes sense in the case that the total volume \rho() is infinite if one considers variations \delta \rho of
bounded variation In mathematical analysis, a function of bounded variation, also known as ' function, is a real number, real-valued function (mathematics), function whose total variation is bounded (finite): the graph of a function having this property is well beh ...
with (\delta \rho)()=0.


Inherent structures

In contemporary physical theories, the word
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why diffe ...
refers to a
Lorentzian manifold In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
(M,g). This means that spacetime is a set of points enriched by topological and geometric structures. In the context of causal fermion systems, spacetime does not need to have a manifold structure. Instead, spacetime M is a set of operators on a Hilbert space (a subset of \mathcal F). This implies additional inherent structures that correspond to and generalize usual objects on a spacetime manifold. For a causal fermion system (\mathcal H, \mathcal F, \rho), we define spacetime M as the support of the universal measure, : M := \text \, \rho \subset \mathcal. With the topology induced by \mathcal, spacetime M is a
topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
.


Causal structure

For x,y \in M, we denote the non-trivial eigenvalues of the operator x y (counting algebraic multiplicities) by \lambda^_1, \ldots, \lambda^_ \in . The points x and y are defined to be spacelike separated if all the \lambda^_j have the same absolute value. They are timelike separated if the \lambda^_j do not all have the same absolute value and are all real. In all other cases, the points x and y are lightlike separated. This notion of causality fits together with the "causality" of the above causal action in the sense that if two spacetime points x,y \in M are space-like separated, then the Lagrangian (x,y) vanishes. This corresponds to the physical notion of
causality Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the ca ...
that spatially separated spacetime points do not interact. This causal structure is the reason for the notion "causal" in causal fermion system and causal action. Let \pi_x denote the orthogonal projection on the subspace S_x := x() \subset . Then the sign of the functional : i \text \big( x\, y \, \pi_x \, \pi_y - y \, x \, \pi_y \, \pi_x) distinguishes the future from the past. In contrast to the structure of a
partially ordered set In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binar ...
, the relation "lies in the future of" is in general not transitive. But it is transitive on the macroscopic scale in typical examples.


Spinors and wave functions

For every x \in M the spin space is defined by S_x = x(); it is a subspace of of dimension at most 2n. The spin scalar product \cdot , \cdot _x defined by :u , v _x = -u , x v _\qquad \text u,v \in S_x is an indefinite
inner product In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
on S_x of
signature A signature (; from la, signare, "to sign") is a Handwriting, handwritten (and often Stylization, stylized) depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and ...
(p,q) with p,q \leq n. A wave function \psi is a mapping :\psi :M \rightarrow \qquad \text \qquad \psi(x) \in S_x \quad \text x \in M. On wave functions for which the norm \cdot defined by :\psi ^2 = \int_M \left\langle\psi(x) \bigg, \, , x, \, \psi(x) \right\rangle_d\rho(x) is finite (where , x, = \sqrt is the absolute value of the symmetric operator x), one can define the inner product :\psi , \phi = \int_M \psi(x) , \phi(x) _x d\rho(x) . Together with the topology induced by the norm \cdot , one obtains a
Krein space In mathematics, in the field of functional analysis, an indefinite inner product space :(K, \langle \cdot,\,\cdot \rangle, J) is an infinite-dimensional complex vector space K equipped with both an indefinite inner product :\langle \cdot,\,\cdot ...
(, \cdot, \cdot ). To any vector u \in \mathcal we can associate the wave function :\psi^u(x) := \pi_x u (where \pi_x : \mathcal \rightarrow S_x is again the orthogonal projection to the spin space). This gives rise to a distinguished family of wave functions, referred to as the wave functions of the occupied states.


The fermionic projector

The kernel of the fermionic projector P(x,y) is defined by :P(x,y) = \pi_x \,y, _ :S_y \rightarrow S_x (where \pi_x : \mathcal \rightarrow S_x is again the orthogonal projection on the spin space, and , _ denotes the restriction to S_y). The fermionic projector P is the operator :P :\rightarrow ,\qquad (P \psi)(x) = \int_M P(x,y)\, \psi(y)\, d\rho(y), which has the dense domain of definition given by all vectors \psi \in satisfying the conditions :\phi := \int_M x\, \psi(x)\, d\rho(x) \in \quad \text \quad \phi < \infty. As a consequence of the causal action principle, the kernel of the fermionic projector has additional normalization properties which justify the name
projector A projector or image projector is an optical device that projects an image (or moving images) onto a surface, commonly a projection screen. Most projectors create an image by shining a light through a small transparent lens, but some newer type ...
.


Connection and curvature

Being an operator from one spin space to another, the kernel of the fermionic projector gives relations between different spacetime points. This fact can be used to introduce a spin connection :D_ \,:\, S_y \rightarrow S_x \quad \text\,. The basic idea is to take a
polar decomposition In mathematics, the polar decomposition of a square real or complex matrix A is a factorization of the form A = U P, where U is an orthogonal matrix and P is a positive semi-definite symmetric matrix (U is a unitary matrix and P is a positive ...
of P(x,y). The construction becomes more involved by the fact that the spin connection should induce a corresponding metric connection :\nabla_\,:\, T_y \rightarrow T_x \quad \text\,, where the tangent space T_x is a specific subspace of the linear operators on S_x endowed with a Lorentzian metric. The spin curvature is defined as the holonomy of the spin connection, :\mathfrak(x,y,z) = D_ \,D_ \,D_ \,:\, S_x \rightarrow S_x\,. Similarly, the metric connection gives rise to metric curvature. These geometric structures give rise to a proposal for a quantum geometry.


The Euler–Lagrange equations and the linearized field equations

A minimizer \rho of the causal action satisfies corresponding Euler–Lagrange equations. They state that the function \ell_\kappa defined by : \ell_\kappa(x) := \int_M \big( _\kappa(x,y) + \kappa\, , xy, ^2 \big) \, d\rho(y) \,-\, \mathfrak (with two Lagrange parameters \kappa and \mathfrak) vanishes and is minimal on the support of \rho, :\ell_\kappa, _M \equiv \inf_ \ell_\kappa(x) = 0 \,. For the analysis, it is convenient to introduce jets := (a, u) consisting of a real-valued function a on M and a vector field u on T\mathcal along M, and to denote the combination of multiplication and directional derivative by \nabla_ g(x) := a(x)\, g(x) + \big(D_u g \big)(x). Then the Euler–Lagrange equations imply that the weak Euler–Lagrange equations :\nabla_ \ell, _M = 0 hold for any test jet \mathfrak. Families of solutions of the Euler–Lagrange equations are generated infinitesimally by a jet which satisfies the linearized field equations :\langle \mathfrak, \Delta \mathfrak \rangle, _M = 0 \, , to be satisfied for all test jets \mathfrak, where the Laplacian \Delta is defined by   : \langle \mathfrak, \Delta \mathfrak \rangle(x) := \nabla_ \bigg( \int_M \big( \nabla_ + \nabla_ \big) \mathcal(x,y)\, d\rho(y) - \nabla_\mathfrak \mathfrak \bigg) \,. The Euler–Lagrange equations describe the dynamics of the causal fermion system, whereas small perturbations of the system are described by the linearized field equations.


Conserved surface layer integrals

In the setting of causal fermion systems, spatial integrals are expressed by so-called surface layer integrals. In general terms, a surface layer integral is a double integral of the form : \int_\Omega \bigg( \int_ \cdots (x,y) \, d\rho(y) \bigg) \, d\rho(x) \, , where one variable is integrated over a subset \Omega \subset M, and the other variable is integrated over the complement of \Omega. It is possible to express the usual conservation laws for charge, energy, ... in terms of surface layer integrals. The corresponding conservation laws are a consequence of the Euler–Lagrange equations of the causal action principle and the linearized field equations. For the applications, the most important surface layer integrals are the ''current integral'' \gamma^\Omega_\rho(\mathfrak), the ''symplectic form'' \sigma^\Omega_\rho(\mathfrak, \mathfrak), the ''surface layer inner product'' \langle \mathfrak, \mathfrak\rangle^\Omega_\rho and the ''nonlinear surface layer integral'' \gamma^\Omega(\tilde, \rho).


Bosonic Fock space dynamics

Based on the conservation laws for the above surface layer integrals, the dynamics of a causal fermion system as described by the Euler–Lagrange equations corresponding to the causal action principle can be rewritten as a linear, norm-preserving dynamics on the bosonic Fock space built up of solutions of the linearized field equations. In the so-called ''holomorphic approximation'', the time evolution respects the complex structure, giving rise to a unitary time evolution on the bosonic Fock space.


A fermionic Fock state

If has finite dimension f, choosing an orthonormal basis u_1, \ldots, u_f of and taking the wedge product of the corresponding wave functions : \big( \psi^ \wedge \cdots \wedge \psi^ \big)(x_1, \ldots, x_f) gives a state of an f-particle fermionic
Fock space The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space . It is named after V. A. Fock who first i ...
. Due to the total anti-symmetrization, this state depends on the choice of the basis of only by a phase factor. This correspondence explains why the vectors in the particle space are to be interpreted as
fermion In particle physics, a fermion is a particle that follows Fermi–Dirac statistics. Generally, it has a half-odd-integer spin: spin , spin , etc. In addition, these particles obey the Pauli exclusion principle. Fermions include all quarks and ...
s. It also motivates the name causal fermion system.


Underlying physical principles

Causal fermion systems incorporate several physical principles in a specific way: * A local gauge principle: In order to represent the wave functions in components, one chooses bases of the spin spaces. Denoting the
signature A signature (; from la, signare, "to sign") is a Handwriting, handwritten (and often Stylization, stylized) depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and ...
of the spin scalar product at x by (_x, _x), a pseudo-orthonormal basis (\mathfrak_\alpha(x))_ of S_x is given by ::\mathfrak_\alpha , \mathfrak_\beta = s_\alpha\delta_ \quad \text \quad s_1, \ldots, s_ = 1,\;\; s_, \ldots, s_ =-1 . :Then a wave function \psi can be represented with component functions, ::\psi(x) = \sum_^ \psi^\alpha(x)\mathfrak_\alpha(x) . :The freedom of choosing the bases (\mathfrak_\alpha(x)) independently at every spacetime point corresponds to local unitary transformations of the wave functions, ::\psi^\alpha(x) \rightarrow \sum_^ U(x)^\alpha_\beta \,\, \psi^\beta(x) \quad \text \quad U(x)\in \text(_x, _x) . :These transformations have the interpretation as local
gauge transformation In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups ...
s. The gauge group is determined to be the isometry group of the spin scalar product. The causal action is gauge invariant in the sense that it does not depend on the choice of spinor bases. * The equivalence principle: For an explicit description of spacetime one must work with local coordinates. The freedom in choosing such coordinates generalizes the freedom in choosing general reference frames in a spacetime manifold. Therefore, the equivalence principle of
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
is respected. The causal action is generally covariant in the sense that it does not depend on the choice of coordinates. * The Pauli exclusion principle: The fermionic Fock state associated to the causal fermion system makes it possible to describe the many-particle state by a totally antisymmetric wave function. This gives agreement with the
Pauli exclusion principle In quantum mechanics, the Pauli exclusion principle states that two or more identical particles with half-integer spins (i.e. fermions) cannot occupy the same quantum state within a quantum system simultaneously. This principle was formulated ...
. * The principle of causality is incorporated by the form of the causal action in the sense that spacetime points with spacelike separation do not interact.


Limiting cases

Causal fermion systems have mathematically sound limiting cases that give a connection to conventional physical structures.


Lorentzian spin geometry of globally hyperbolic spacetimes

Starting on any globally hyperbolic Lorentzian spin manifold (\hat, g) with spinor bundle S\hat, one gets into the framework of causal fermion systems by choosing (, ., . _) as a subspace of the solution space of the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac pa ...
. Defining the so-called local correlation operator F(p) for p \in \hat by :\psi , F(p) \phi _ = -\psi , \phi _p (where \psi , \phi _p is the inner product on the fibre S_p \hat) and introducing the universal measure as the push-forward of the volume measure on \hat, :\rho = F_* d\mu , one obtains a causal fermion system. For the local correlation operators to be well-defined, must consist of continuous sections, typically making it necessary to introduce a regularization on the microscopic scale \varepsilon. In the limit \varepsilon \searrow 0, all the intrinsic structures on the causal fermion system (like the causal structure, connection and curvature) go over to the corresponding structures on the Lorentzian spin manifold. Thus the geometry of spacetime is encoded completely in the corresponding causal fermion systems.


Quantum mechanics and classical field equations

The Euler–Lagrange equations corresponding to the causal action principle have a well-defined limit if the spacetimes M:=\text\, \rho of the causal fermion systems go over to
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
. More specifically, one considers a sequence of causal fermion systems (for example with finite-dimensional in order to ensure the existence of the fermionick Fock state as well as of minimizers of the causal action), such that the corresponding wave functions go over to a configuration of interacting Dirac seas involving additional particle states or "holes" in the seas. This procedure, referred to as the
continuum limit In mathematical physics and mathematics, the continuum limit or scaling limit of a lattice model refers to its behaviour in the limit as the lattice spacing goes to zero. It is often useful to use lattice models to approximate real-world processe ...
, gives effective equations having the structure of the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin- massive particles, called "Dirac pa ...
coupled to classical field equations. For example, for a simplified model involving three elementary fermionic particles in spin dimension two, one obtains an interaction via a classical axial gauge field A described by the coupled Dirac– and Yang–Mills equations :\begin (i \partial \!\!\!/\ + \gamma^5 A \!\!\!/\ - m) \psi &= 0 \\ C_0 (\partial^k_j A^j - \Box A^k) - C_2 A^k &= 12 \pi^2 \bar \psi \gamma^5 \gamma^k \psi \,. \end Taking the non-relativistic limit of the Dirac equation, one obtains the
Pauli equation In quantum mechanics, the Pauli equation or Schrödinger–Pauli equation is the formulation of the Schrödinger equation for spin-½ particles, which takes into account the interaction of the particle's spin with an external electromagnetic f ...
or the
Schrödinger equation The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. It is a key result in quantum mechanics, and its discovery was a significant landmark in the development of th ...
, giving the correspondence to
quantum mechanics Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
. Here C_0 and C_2 depend on the regularization and determine the coupling constant as well as the rest mass. Likewise, for a system involving neutrinos in spin dimension 4, one gets effectively a massive SU(2) gauge field coupled to the left-handed component of the Dirac spinors. The fermion configuration of the standard model can be described in spin dimension 16.


The Einstein field equations

For the just-mentioned system involving neutrinos, the continuum limit also yields the
Einstein field equations In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Einstein in 1915 in the form ...
coupled to the Dirac spinors, :R_ - \frac\,R\, g_ + \Lambda\, g_ = \kappa\, T_ Psi, A\,, up to corrections of higher order in the curvature tensor. Here the cosmological constant \Lambda is undetermined, and T_ denotes the energy-momentum tensor of the spinors and the SU(2) gauge field. The gravitation constant \kappa depends on the regularization length.


Quantum field theory in Minkowski space

Starting from the coupled system of equations obtained in the continuum limit and expanding in powers of the coupling constant, one obtains integrals which correspond to
Feynman diagrams In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduc ...
on the tree level. Fermionic loop diagrams arise due to the interaction with the sea states, whereas bosonic loop diagrams appear when taking averages over the microscopic (in generally non-smooth) spacetime structure of a causal fermion system (so-called ''microscopic mixing''). The detailed analysis and comparison with standard quantum field theory is work in progress.


References

{{Reflist


Further reading


Web platform on causal fermion systems
Theoretical physics Quantum gravity Mathematical physics Quantum field theory