The Theory of Causal Fermion Systems

${\displaystyle |xy|=\sum _{i=1}^{2n}|{\lambda }_i^{xy}|}$      and      ${\displaystyle |(xy{)}^2|=\sum _{i=1}^{2n}|{\lambda }_i^{xy}{|}^2}$.

Just a quick reminder: For a finite rank operator the algebraic multiplicity of an eigenvalue is the order of the factor in the characteristic polynomial. This does not necessarily agree with the geometric multiplicity, i.e. the dimension of the eigenspace to a particular eigenvalue.

To make a long story short, we will just present the causal action principle at the heart of the Causal Fermion Systems framework and explain the significance of its various constituent parts in detail afterward.

Lagrangian      ${\displaystyle \mathcal{L}(x,y)=|(xy{)}^2|-\frac{1}{2n}|xy{|}^2=\frac{1}{4n}\sum _{i,j=1}^{2n}(|{\lambda }_i^{xy}|–|{\lambda }_j^{xy}|{)}^2\ge 0}$
Causal action            ${\displaystyle {\iint }_{\mathcal{F}\times \mathcal{F}}\mathcal{L}(x,y)d\rho (x)d\rho (y)\in [0,\mathrm{\infty }]}$

It is worth noting that the Lagrangian in the second formulation is intimately related to the definition of causality in the causal fermion system. In particular, one sees immediately that spacelike separated points do not contribute to the Lagrangian. A physical system is then given by a measure $\rho$ which minimizes the causal action $\mathcal{S}$. Therefore, we are looking for conditions on the variation of the measure $\rho$ when we try to derive the Euler Lagrange equations for causal fermion systems. For the variational problem to be well-posed, we need to take the following constraints into account:

volume constraint:                                  $\rho (\mathcal{F})=\text{const}$
trace constraint:                              ${\displaystyle {\int }_{\mathcal{F}}\mathrm{tr}(x)d\rho (x)=\text{const}}$
boundedness constraint:       ${\displaystyle {\iint }_{\mathcal{F}\times \mathcal{F}}|xy{|}^{2}d\rho (x)d\rho (y)\le C}$

The need for the volume constraint is pretty clear: if we remove that constraint there will always be a trivial minimizer with measure zero (as the Lagrangian is strictly positive). The situation for the trace constraint is similar. If $x$ is in $\mathcal{F}$, then so is $\lambda x$. Without the trace constraint we could always reduce the action by rescaling all operators in the support of $\rho$ with $\lambda <1$ this can be done indefinitely, and hence if the constraint were removed there would be trivial minimizers. The boundedness constraint, on the other hand, has no such obvious motivation. In practice, it shows that the constant $C$ is tightly related to the regularization scale $\epsilon$. There exist preliminary ideas that suggest that for a sensible physical interpretation, one might need to interpret the boundedness constraint and the Lagrangian together, but this is subject of ongoing research (see the research question on the interpretation of the causal action principle). For the time being, one just needs to accept that this additional constraint is required for the well-posedness of the variational problem.

A measure $\rho$ which minimizes the causal action under the above constraints satisfies corresponding Euler-Lagrange equations. For a detailed discussion see the mathematics sections
→ The Euler-Lagrange equations
→ The linearized field equations

In the Theory of Causal Fermion systems, the Euler-Lagrange equations play the role of the usual physical equations (like Maxwell’s equations, Einstein’s equations or the Yang-Mills equations). The precise connection is obtained in the so-called continuum limit. Moreover, these Euler-Lagrange equations are also expected to describe the dynamics of quantum fields, as is outlined in the mathematics section
→ Connection to quantum field theory