Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (1703) – Mar 15, 2017

/lp/arxiv-cornell-university/perturbation-theory-for-critical-points-of-causal-variational-B8AqgMklf0

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

- ISSN
- 1095-0761
- eISSN
- ARCH-3343
- DOI
- 10.4310/ATMP.2020.v24.n3.a2
- Publisher site
- See Article on Publisher Site

PERTURBATION THEORY FOR CRITICAL POINTS OF CAUSAL VARIATIONAL PRINCIPLES FELIX FINSTER MARCH 2017 / DECEMBER 2018 Abstract. The perturbation theory for critical points of causal variational princi- ples is developed. We ﬁrst analyze the class of perturbations obtained by multiply- ing the universal measure by a weight function and taking the push-forward under a diﬀeomorphism. Then the constructions are extended to convex combinations of such measures, leading to perturbation expansions for the mean and the ﬂuctuation of the measure, both being coupled in higher order perturbation theory. It is ex- plained how our methods and results apply to the causal action principle for causal fermion systems. It is shown how the perturbation expansion in the continuum limit and the eﬀect of microscopic mixing are recovered in speciﬁc limiting cases. Contents 1. Introduction 2 2. Physical Motivation and Signiﬁcance of the Perturbation Expansion 3 3. Preliminaries 6 3.1. Causal Variational Principles in the Non-Compact Setting 6 3.2. The Weak Euler-Lagrange Equations 7 3.3. Jet Spaces and the Linearized Field Equations 8 4. The Abstract Perturbation Expansion 10 4.1. Perturbation Expansion for the Universal Measure 10 4.2. Green’s Operators 13 4.3. Diagrams and Feynman Rules 14 4.4. Constructing Nonlinear Solutions of the Field Equations 16 4.5. Perturbing a Vacuum Measure 16 5. Perturbation Theory with Fragmentation 17 5.1. Linearized Field Equations for Fluctuations 18 5.2. An Explicit Example 20 5.3. The Perturbation Expansion 23 6. Perturbation Expansion for Causal Fermion Systems 25 6.1. Preliminaries 25 6.2. Perturbation Expansion for the Wave Evaluation Operator 27 6.3. Perturbing the Vacuum 28 7. Example: Perturbation Expansion in the Continuum Limit 28 7.1. Preliminaries 28 7.2. Choosing the Jet Spaces and the Green’s Operator 30 7.3. Discussion and Remarks 32 8. Example: Perturbation Expansion with Microscopic Mixing 33 8.1. Preliminaries 33 8.2. A Synchronization Mechanism 34 8.3. Gauge Potentials are Subsystem-Diagonal 35 arXiv:1703.05059v5 [math-ph] 29 Jul 2020 2 F. FINSTER References 38 1. Introduction The theory of causal fermion systems is a recent approach to fundamental physics. Giving quantum mechanics, general relativity and quantum ﬁeld theory as limiting cases, it is a candidate for a uniﬁed physical theory (see [8] or the survey article [14]). So far, the connection to perturbative quantum ﬁeld theory has been established by ﬁrst taking the continuum limit [8] and then including the mechanism of microscopic mixing (see [7]). Although this procedure gives the correct limiting case with an interaction described by a unitary time evolution on Fock spaces (see [7, Section 8]), the derivation is not quite convincing conceptually because it is based on the perturbation expansion for solutions of the Dirac equation coupled to classical bosonic ﬁelds as obtained in the continuum limit (see [8, §3.8.4] and [7, Section 2]). In order to clarify the mathematical structure of the theory, it is desirable to perform the perturbation expansion directly for the universal measure of the causal fermion system, without referring to speciﬁc limiting cases (for more details see Section 2 below). Analyzing this problem also opens up the research program to explore how the perturbation theory for causal fermion systems diﬀers from perturbative quantum ﬁeld theory, with the goal of making experimental predictions. In this paper the general perturbation theory for causal fermion systems is devel- oped. We thus succeed in extending the methods of perturbative quantum ﬁeld theory to non-smooth situations where space-time has a non-trivial, possibly discrete mi- croscopic structure and the physical equations are no longer obtained by quantizing diﬀerential equations. We work in the jet formalism introduced in [15] in the more general and at the same time more convenient framework of causal variational princi- ples in the non-compact setting. Our perturbation expansion has the nice feature that the bosonic and fermionic perturbations are described on the same footing in terms of jet spaces containing bosonic and fermionic subspaces. In the setting of causal variational principles, the basic object is a measure ρ on a manifold F (for the necessary preliminaries see Section 3). Our methods for perturbing this measure are developed in two steps. In the ﬁrst step, our method is to multiply ρ by a non-negative function f and to take the push-forward under a mapping F , ρ˜ = F f ρ . (1.1) We then compute f and F order by order in a formal power expansion in a “coupling parameter” λ. In the second step, we consider more generally a convex combination of a ﬁnite number of measures of the form (1.1), ρ˜ = (F ) f ρ . (1.2) a ∗ a a=1 This ansatz allows for the possibility that the measure is “decomposed” into several components and the support of the measure is “enlarged” (see Figure 3 on page 17). We refer to this eﬀect as a fragmentation of the measure. In analogy to the perturbation theory for degenerate eigenvalues of a linear operator, where the perturbation must be “diagonalized on the degenerate eigenspace” before performing the perturbation PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 3 expansion, the perturbation theory with fragmentation makes it necessary to choose jets which describe how the fragmentation forms (see (5.23) and (5.24) on page 23). The paper is organized as follows. In Section 2 we give a brief physical motivation and put our perturbation expansion into the context of the ongoing research program on causal fermion systems. Section 3 provides the necessary background on causal variational principles and the jet formalism. In Section 4 the perturbation theory without fragmentation is developed. After bringing the combinatorics into a convenient form (Section 4.1), we invert the linearized equations with Green’s operators (see Deﬁnition 4.2 in Section 4.2). The resulting perturbation expansion is summarized in Section 4.3. In Section 4.4 it is explained how, starting from a linearized solution, one can construct a one-parameter family of nonlinear solutions of the ﬁeld equations. In Sections 4.5 it is shown how, perturbing the vacuum by an inhomogeneity, one can construct a corresponding nonlinear solution of the ﬁeld equations. In Section 5 the perturbation theory with fragmentation is developed. The method is to decompose suitable jets describing the perturbation into their mean and the ﬂuctuations (see (5.4) in Section 5.1). A technical complication is that, if fragmentation occurs, the unperturbed Laplacian can no longer be inverted. This is illustrated in Section 5.2 in a concrete example. The method to overcome this problem is to invert instead the perturbed Laplacian (see Section 5.3). In Section 6 we explain how our methods and results apply to the setting of causal fermion systems. After the necessary preliminaries (Section 6.1), the perturbation expansion for the wave evaluation operator is derived (Section 6.2). After identify- ing jets with perturbations of the wave evaluation operator, the general perturbation expansion applies in a straightforward way (Section 6.3). In Section 7, it is shown that by a suitable choice of the jet spaces one recovers the analysis in the continuum limit as carried out in [8]. Finally, in Section 8 we describe how to incorporate the eﬀect of microscopic mixing as analyzed in [7]. 2. Physical Motivation and Significance of the Perturbation Expansion Before delving into the constructions, we give a physical motivation of the pertur- bation expansion and explain its signiﬁcance within the research program on causal fermion systems and causal variational principles. We begin with a brief introduction and an outline of the present status of the theory. Causal fermion systems are based on a novel mathematical model of space-time, where the basic object is a measure on linear operators of a Hilbert space: Deﬁnition 2.1. (causal fermion system) Given a separable complex Hilbert space H with scalar product h.|.i and a parameter n ∈ N (the “spin dimension”), we let F ⊂ L(H) be the set of all selfadjoint operators on H of ﬁnite rank, which (counting mul- tiplicities) have at most n positive and at most n negative eigenvalues. On F we are given a positive measure ρ (deﬁned on a σ-algebra of subsets of F), the so-called universal measure. We refer to (H,F, ρ) as a causal fermion system. This deﬁnition gives rise to a space-time together with structures therein, most notably a causal structure, spinorial wave functions and geometric objects like connection and curvature. The resulting abstract setting has been worked out in a satisfying way (see for example [8, Section 1.1]). Moreover, it is clear how the abstract structures are related to the usual objects in Minkowski space or on a Lorentzian manifold (see [8, 4 F. FINSTER Section 1.2] or the introduction and survey in [10]). In order to see the correspon- dence, one must keep in mind that the objects of the causal fermion system involve an ultraviolet regularization on a length scale ε > 0. Thus we always consider the regularized quantities as those having mathematical and physical signiﬁcance. The corresponding objects in Minkowski space or on a Lorentzian manifold are obtained in a certain limiting case ε ց 0 in which the ultraviolet regularization is removed. In the theory of causal fermion systems, the physical equations are formulated via a variational principle, the so-called causal action principle. It is deﬁned as follows (for more details see [F1, §1.1.1] or [15]). Given x, y ∈ F, we denote the non-trivial eigen- xy xy values of the operator product xy counting algebraic multiplicities by λ , . . . , λ ∈ C. 1 2n We introduce the spectral weight | .| of an operator as the sum of the absolute values of its eigenvalues. In particular, the spectral weights of the operator products xy and (xy) are deﬁned by 2n 2n X X xy xy |xy| = λ and (xy) = λ . (2.1) i i i=1 i=1 We introduce the Lagrangian and the causal action by 2 2 Lagrangian: L(x, y) = (xy) − |xy| (2.2) 2n causal action: S(ρ) = L(x, y) dρ(x)dρ(y) . (2.3) F×F The causal action principle is to minimize S by varying the universal measure under the following constraints, volume constraint: ρ(F) = const trace constraint: tr(x) dρ(x) = const boundedness constraint: T (ρ) := |xy| dρ(x)dρ(y) ≤ C , F×F where C is a given parameter (and tr denotes the trace of a linear operator on H). The form of the above Lagrangian is the result of long considerations and many com- putations (for a systematic account see [4, Chapter 5]). The constraints are needed in order to obtain a mathematically well-deﬁned variational principle with non-trivial minimizers. A simple way of understanding the structure of the Lagrangian is the following connection to causality: Writing the Lagrangian as (see [8, eq. (1.1.9)]) 2n xy xy L = λ − λ , i j 4n i,j=1 xy one sees that L vanishes if the eigenvalues λ all have the same absolute value. Deﬁn- ing spacelike separation by this property, pairs of points with spacelike separation do not enter the action. This can be seen in analogy to the usual notion of causality where points with spacelike separation cannot inﬂuence each other. It turns out that in suit- able limiting cases, the above deﬁnition of causality indeed agrees with the usual causal structure of Minkowski space or of a Lorentzian manifold (for details see [8, §1.2.5] or [12, Sections 4 and 5]). PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 5 Causal variational principles are a mathematical generalization of the causal action principle, with the aim of restricting attention to the essential analytic structures. The existence theory and the general structure of the corresponding Euler-Lagrange equations have been worked out in [5, 1]. The connection to physics is made in [8, Chapter 3-5], where it is shown that in a well-deﬁned limiting case, the so-called continuum limit, the interaction given by the causal action principle can be described eﬀectively by the Dirac equation coupled to classical ﬁeld equations for gauge ﬁelds and the gravitational ﬁeld. In this limiting case, one obtains all the interactions of the standard model plus classical gravity. The next challenge is to understand how quantum ﬁeld theory arises from the causal action principle. Indeed, in the paper [7] the connection between the causal action principle and a second-quantized dynamics on Fock spaces has been made in a certain limiting case. But some of the assumptions and constructions remain to be justiﬁed and understood better. Moreover, a number of important open questions still need to be addressed: (a) Since an ultraviolet regularization on the scale ε is built in, the theory of causal fermion systems is ultraviolet ﬁnite. Nevertheless, it is an important task to understand the asymptotics of interacting systems for small ε. In particular, is it possible to take limit ε ց 0 with renormalization techniques? Is the eﬀective theory obtained in this limit renormalizable? (b) The fact that the continuum limit also gives the Einstein equations raises the question to which extent and how precisely the constructions in [7] relate to quan- tum gravity. Do causal fermion systems really give a mathematically well-deﬁned setting for describing quantized gravitational ﬁelds? Can the resulting “geome- try of quantum gravity” be described by the geometric structures of the causal fermion system? Answering these questions in the aﬃrmative would show that causal fermion systems are a mathematically consistent, non-perturbative quantum ﬁeld theory. The ultimate goal is to understand the quantum ﬁeld theory limit of causal fermion systems in a way where it becomes possible to go beyond quantum ﬁeld theory in the following sense: (c) How does the dynamics described by the causal action principle diﬀer from quan- tum ﬁeld theory? How can the deviations be quantiﬁed? Can they be detected in experiments? The present paper is an important step towards answering these questions, as we now explain. The procedure in [7] is closely tied to the continuum limit analysis and to the Dirac equation coupled to classical ﬁeld equations obtained in this limit. The method to go beyond the continuum limit is referred to as microscopic mixing. In the present formulation with measures, microscopic mixing can be understood by taking universal measures ρ , . . . , ρ , each describing a system of Dirac particles in Minkowski 1 L space with an interaction via classical bosonic potentials A , . . . , A . Then the convex 1 L combination of the measures ρ˜ = ρ (2.4) a=1 is again a measure. It contains information on the bosonic potentials A , . . . , A of 1 L the “subsystems” described by ρ , . . . , ρ . As observed in [7] (based on preliminary 1 L considerations in [6]), the resulting collection of bosonic potentials can be described 6 F. FINSTER eﬀectively by a second-quantized bosonic ﬁeld. Moreover, taking into account an in- teraction of the subsystems described by ρ , . . . , ρ by combining the perturbation 1 L expansion for classical ﬁelds with some features of microscopic mixing, one obtains an eﬀective interaction described by a second-quantized Hamiltonian acting on fermionic and bosonic Fock spaces (see [7, Section 8]). Although these constructions are an important ﬁrst step, there is the major short- coming that the connection to Fock spaces is based on the perturbation expansion for classical ﬁelds in each subsystem. The fact that the description with classical ﬁelds is valid only approximately makes it diﬃcult to justify the validity and to quantify the error of the Fock space dynamics. Moreover, the description makes it necessary to assume that there are subsystems, but it remains unclear how the subsystems form dynamically. In [7], this open problem was bypassed by considering the so-called lim- iting case of an instantaneous recombination of subsystems. But in order to tackle the above open questions, the validity of this limiting case must be justiﬁed, and the errors of the approximation must be quantiﬁed. The main point of the constructions of the present paper is to overcome the short- comings of the treatment in [7]. The perturbation expansion developed here only uses the Euler-Lagrange equations of the causal action, but it does not rely on the classical ﬁeld equations obtained in the continuum limit. The possibility for the formation of subsystems (2.4) is now taken into account by the fragmentation of the measure (1.2). In contrast to the ad-hoc ansatz (2.4), the perturbation theory with fragmentation makes it possible to analyze in detail whether and how fragmentation forms. More- over, the mutual interaction of the resulting subsystems can be quantiﬁed. Intuitively speaking, the fragmentation of the measure means that space-time does not stay classi- cal, but becomes a “quantum space-time” which can be thought of as a “superposition” or “mixture” of the space-times described by the individual subsystems. In view of the general scope and applicability of our constructions, the methods and results of this paper are a promising starting point for addressing the above questions (a)–(c) in a precise mathematical setting. 3. Preliminaries 3.1. Causal Variational Principles in the Non-Compact Setting. We consider causal variational principles in the non-compact setting as introduced in [15, Section 2] (the connection to causal fermion systems will be made in Section 6 below). Thus let F be a (possibly non-compact) smooth manifold of dimension m ≥ 1. Moreover, we are given a non-negative function L : F × F → R (the Lagrangian) with the following properties: (i) L is lower semi-continuous, i.e. for all sequences x → x and y → y, n n L(x, y) ≤ lim inf L(x , y ′) . n n n,n →∞ (ii) L is symmetric: L(x, y) = L(y, x) for all x, y ∈ F. Next, we let ρ be a (positive) Borel measure on F (the universal measure). The causal variational principle is to minimize the action ˆ ˆ S = dρ(x) dρ(y) L(x, y) F F under variations of the measure ρ, keeping the total volume ρ(F) ﬁxed. If the total volume is inﬁnite, one can make mathematical sense of variations of S by considering PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 7 variations of ρ of ﬁnite total variation and zero volume (for details see [15, Section 2]). Here we do not enter the details of the minimization procedure and of the properties of the minimizing measure. Instead, we restrict attention to the resulting Euler-Lagrange (EL) equations as derived in [15, Lemma 2.3]: Deﬁnition 3.1. A Borel measure ρ on F is a minimizer of the causal variational principle if it has the following properties: The measure ρ is locally ﬁnite. The function L(x, .) is ρ-integrable for all x ∈ F. For a suitable value of the parameter s > 0, the function ℓ deﬁned by ℓ(x) = L(x, y) dρ(y) − s (3.1) is minimal and vanishes on the support of ρ, ℓ| ≡ inf ℓ = 0 . (3.2) supp ρ We remark that the value of the parameter s can be changed arbitrarily by rescaling the measure according to ρ → νρ with ν > 0 . (3.3) With this in mind, we shall always keep s ﬁxed when varying or perturbing the measure. 3.2. The Weak Euler-Lagrange Equations. Let ρ be a critical point of the causal variational principle. We introduce space-time M as the support of this measure, M := suppρ ⊂ F . The idea behind the formulation of the weak EL equations is to use only part of the information contained in the EL equations (3.2). Namely, we evaluate them only on M, taking into account ﬁrst derivatives. Moreover, we restrict attention to directions where ℓ is diﬀerentiable. And ﬁnally, we want to have the freedom to restrict attention to the part of information needed for the application. This leads to the following construction: By C (M,R) we denote all real-valued functions on M which have a smooth extension to F. Likewise, by Γ = C (M, TF) we denote the smooth vector ﬁelds on F along M (thus every u ∈ Γ is a mapping from M to TF with u(x) ∈ T F for all x ∈ M, which can be extended to a smooth vector ﬁeld on F). We deﬁne the jet space on M as the vector space J := u = (a, u) with a ∈ C (M,R) and u ∈ Γ . diﬀ Moreover, we let Γ be those vector ﬁelds for which the directional derivative of the function ℓ exists, diﬀ ∞ Γ = u ∈ C (M, TF) D ℓ(x) exists for all x ∈ M . Next, we introduce the subspace of jets diﬀ ∞ diﬀ J := C (M,R) ⊕ Γ ⊂ J . diﬀ For a jet u = (a, u) ∈ J we deﬁne ∇ as the linear combination of scalar multiplica- tion and directional derivative, i.e. ∇ ℓ(x) := a(x)ℓ(x) + D ℓ (x) . u u 8 F. FINSTER test diﬀ Finally, we choose a linear subspace J ⊂ J with the property that its scalar and vector components are both vector spaces, test test test diﬀ J = C (M,R) ⊕ Γ ⊂ J , and the scalar component is nowhere trivial in the sense that test for all x ∈ M there is a ∈ C (M,R) with a(x) 6= 0 . Then the weak EL equations read (for details cf. [15, (eq. (4.10)]) test ∇ ℓ| = 0 for all u ∈ J . (3.4) u M test The purpose of introducing J is that it gives the freedom to restrict attention to the portion of information in the EL equations which is relevant for the application in mind. For example, if one is interested only in the macroscopic dynamics, one can test choose J to be composed of jets which disregard the microscopic ﬂuctuations of ℓ. We ﬁnally point out that the weak EL equations (3.4) do not hold only for minimiz- ers, but also for critical points of the causal action. With this in mind, all methods and results of this paper do not apply only to minimizers, but more generally to critical points of the causal variational principle. For brevity, we also refer to a measure with satisﬁes the weak EL equations (3.4) as a critical measure. 3.3. Jet Spaces and the Linearized Field Equations. For the detailed study of the weak EL equations it is most convenient work with Taylor expansions of the component functions in a given chart. Therefore, for any x ∈ M we choose a chart of F around x and work in components x . For ease in notation, we usually omit the index α as well as all vector and tensor indices. But one should keep in mind that from now on, we always work in suitably chosen charts. test ∗ We now introduce useful jet spaces. We begin with the space of dual jets (J ) . To this end, we denote the continuous global one-jets taking values in the cotangent bundle restricted to M by ∗ 0 0 ∗ J := C (M,R) ⊕ C (M, T F) . test ∗ We let (J ) be the quotient space test ∗ ∗ ∗ (J ) := J (g, ϕ) ∈ J g(x)a(x) + hϕ(x), u(x)i = 0 test for all u = (a, u) ∈ J and all x ∈ M , where h., .i denotes the dual pairing of T F and T F. Here we take equivalence classes test simply because it is convenient to disregard dual jets which are trivial on J . We next introduce the spaces J , where the superscript ℓ ∈ N ∪{∞} can be thought of as the order of diﬀerentiability if the derivatives act simultaneously on both argu- ments of the Lagrangian: Deﬁnition 3.2. For any ℓ ∈ N ∪ {∞}, the jet space J ⊂ J is deﬁned as the vector space of test jets with the following properties: (i) For all y ∈ M and all x in an open neighborhood of M, the directional derivatives ∇ + ∇ ··· ∇ + ∇ L(x, y) (3.5) 1,v 2,v 1,v 2,v 1 1 p p (computed componentwise in charts around x and y) exist for all p ∈ {1, . . . , ℓ} and all v , . . . , v ∈ J . 1 p PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 9 (ii) The functions in (3.5) are ρ-integrable in the variable y, giving rise to locally bounded functions in x. More precisely, these functions are in the space ∞ 1 L L M, dρ(y) , dρ(x) . loc (iii) Integrating the expression (3.5) in y over M with respect to the measure ρ, the resulting function (deﬁned for all x in an open neighborhood of M) is continuously test diﬀerentiable in the direction of every jet u ∈ J . Here and throughout this paper, we use the following conventions for partial derivatives and jet derivatives: Partial and jet derivatives with an index i ∈ {1, 2}, as for example in (3.5), only act on the respective variable of the function L. This implies, for example, that the derivatives commute, ∇ ∇ L(x, y) = ∇ ∇ L(x, y) . 1,v 1,u 1,u 1,v The partial or jet derivatives which do not carry an index act as partial derivatives on the corresponding argument of the Lagrangian. This implies, for example, that ˆ ˆ ∇ ∇ L(x, y) dρ(y) = ∇ ∇ L(x, y) dρ(y) . u 1,v 1,u 1,v F F We point out that, in contrast to the method and conventions used in [15], jets are never diﬀerentiated. The combination of derivatives in (3.5) requires a brief explanation. In the case p = 1, the combination of directional derivatives in (3.5) is deﬁned by D + D L(x, y) := L F (x), F (y) , 1,v 2,v τ τ τ=0 dτ where F is the ﬂow of the vector ﬁeld v. The higher derivatives are deﬁned inductively. However, we use the convention that the partial derivatives act only on the arguments of L, but not on any other jets. This means that one must subtract the terms involving derivatives of the jets. For example, D + D L(x, y) := L F (x), F (y) − D + D L(x, y) , 1,v 2,v τ τ 1,D v 2,D v v v 2 τ=0 dτ and similarly for higher derivatives. The condition in Deﬁnition 3.2 (i) implies that all the resulting terms must exist. Linearized solutions are linear perturbations of ρ which preserve the weak EL equa- tions (3.4). We now give the precise deﬁnition (for more details see [15, Section 4.2]). Deﬁnition 3.3. A jet v ∈ J is referred to as a solution of the linearized ﬁeld equations if test ∇ ∇ + ∇ L(x, y) dρ(y) = ∇ ∇ s for all u ∈ J and x ∈ M . u 1,v 2,v u v lin 1 The vector space of all linearized solutions is denoted by J ⊂ J . 10 F. FINSTER 4. The Abstract Perturbation Expansion 4.1. Perturbation Expansion for the Universal Measure. Let ρ be a measure (not necessarily a critical point of the causal variational principle). We want to con- struct a measure ρ˜ which satisﬁes the weak EL equations. To this end, we make the ansatz ρ˜ = F f ρ , (4.1) where f and F are smooth, ∞ + ∞ f ∈ C M,R and F ∈ C M,F (4.2) (where smooth on M again means that there exists a smooth extension to F). This ansatz is motivated mainly by its simplicity. More general perturbations of the uni- versal measure will be studied in Section 5. test We denote the test space for the measure ρ˜ by J , i.e. test ∞ ∞ ˜ ˜ ˜ J ⊂ u = (a, u) with a ∈ C (M,R) and u ∈ C (M, TF) , where M := suppρ˜ is the support of the varied measure. We write the weak EL equations (3.4) for the measure ρ˜ as test ∇ L F (x), F (y) f(y)dρ(y) − s = 0 for all u˜ ∈ J , (4.3) 1,˜u(F (x)) to be evaluated pointwise for all x ∈ M. Here the notation ∇ clariﬁes that the 1,˜u derivative acts on the ﬁrst argument of the Lagrangian. On the constant s it acts by multiplication with the scalar component, ∇ s = ∇ s = a F (x) s , ˜ ˜ 1,u(F (x)) u(F (x)) where we again denote the components by u = (a, u). Note that, being deﬁned on M, the jet u˜ can be evaluated at x ∈ M only after composing it with F . In order to rewrite this equation in a way where x and y are treated in a more symmetric way, we multiply (4.3) by the function f(x) and write this function inside the brackets, test ∇ f(x) L F (x), F (y) f(y)dρ(y) − s f(x) = 0 for all u ∈ J . 1,˜u(F (x)) Working in charts makes it possible to identify the tangent spaces at diﬀerent points simply by identifying the components. In particular, we use this method in order to test identify u˜(F (x)) with a jet u(x). We choose the jet space J such that, under this test identiﬁcation, it coincides with J . Then the weak EL equations can be written as ∇ f(x) L F (x), F (y) f(y) dρ(y) − s f(x) = 0 , (4.4) 1,u test to be satisﬁed for all u ∈ J and all x ∈ M. We again point out that the deriva- tive ∇ acts on the ﬁrst argument of the Lagrangian and on the constant s, but the 1,u factor f(x) is not diﬀerentiated. In physical applications, it is relatively easy to construct an approximate solution of the EL equations (typically by regularizing Dirac sea structures in the presence of a classical bosonic potential; for details see [8]). With this in mind, we now assume that the measure ρ is close to a critical point in the sense that (1) ∇ L(x, y) dρ(y) − s = λ∇ E (4.5) u u M PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 11 (1) with an error term E , where λ ∈ R is a small parameter. We expand both f and F in a power series in λ. For the function f, we make the perturbation ansatz p (p) (0) f(x) = λ f (x) with f (x) = 1 , (4.6) p=0 (0) where the choice of f will ensure that the measure ρ˜ goes over to the unperturbed measure ρ in the limit λ → 0. For the expansion of F , we choose a chart around x and write F (x) in components as (F (x) ) . Then we can expand F componentwise, α=1,...,m α p (p) α (0) α α F (x) = λ F (x) with F (x) = x . (4.7) p=0 For ease in notation, we shall omit the index α from now on. But one should keep in mind that the expansion of F (x) always involves the choice of a chart around x. In the next lemma we evaluate (4.4) to any order p = 1, 2, . . . in λ. In order to simplify the combinatorics, it turns out to be convenient to work instead of the function f with its logarithm c(x) := log f(x) , (4.8) which, similar to (4.6), we again expand in powers of λ, p (p) (0) c(x) = λ c (x) with c (x) = 0 . (4.9) p=0 (p) (p) (p) Moreover, we combine the c and F to jets w , i.e. (p) (p) (p) w := c , F for p = 1, 2, . . . . (4.10) Lemma 4.1. To every order p = 1, 2, . . ., the weak EL equations (4.4) can be written as X X 0 = ∇ ℓ! ℓ=1 q ,. .. ,q ≥ 1 1 ℓ with q +···+q =p 1 ℓ (4.11) × ∇ + ∇ ··· ∇ + ∇ L(x, y) dρ(y) (q ) (q ) (q ) (q ) 1 1 ℓ ℓ 1,w 2,w 1,w 2,w (q ) (q ) − s c (x)··· c (x) . Proof. The combinatorics can be handled elegantly by working with exponentials. We explain the method in the example of a function h(F (x)). We ﬁrst expand in a Taylor series, p p h F (x) = h x + (F (x) − x) = D h(x) = exp D h(x) . F (x)−x F (x)−x p! p=0 The exponential on the right simply is a short notation for the formal power series. Multiplying by f(x) and using (4.8), we can combine the exponentials to obtain a jet derivative, p p c(x) f(x)h F (x) = e exp D h(x) = exp ∇ h(x) , F (x)−x w 12 F. FINSTER where the jet w has the components w(x) = c(x), F (x) − x . Applying the same method to the integrand in (4.4) gives f(x) L F (x), F (y) f(y) = exp ∇ + ∇ L(x, y) , (4.12) 1,w ˜ 2,w ˜ where we used that the derivatives all act on the arguments of L(x, y), making it possible to simplify the prefactors with the usual computation rules of the exponential. Using the abbreviation ∇ := ∇ + ∇ , w 1,w 2,w the identity (4.12) can be written in the compact form f(x) L F (x), F (y) f(y) = e L(x, y) . (4.13) It remains to expand the exponential in (4.13) in powers of λ. Inserting the pertur- bation expansion of w, we obtain ∇ 2 w ˜ e = exp λ∇ + λ ∇ + ··· . (1) (2) w w th Let us compute the p λ-derivative of this exponential at λ = 0. We consider the q q q contribution involving the factors ∇ , . . . ,∇ . Since each factor ∇ comes with 1 ℓ w w w a factor λ , we clearly get a contribution only if q + ··· + q = p. We thus obtain 1 ℓ X X w ˜ e = c ∇ (q ) ··· ∇ (q ) , q ,...,c 1 ℓ w w ℓ dλ λ=0 ℓ=1 q , ... ,q ≥ 1 1 ℓ with q +···+q =p 1 ℓ where c are combinatorial factors which can be determined as follows. Clearly, q ,...,c 1 ℓ q q 1 ℓ each λ-derivative annihilates one of the factors λ of the monomial λ ··· λ . We must count the number of possibilities with which this can occur. We ﬁrst distinguish those λ-derivatives which act on the exponential according to d q q λ ∇ q−1 λ ∇ (q) (q) w w e = q λ ∇ e . (q) dλ Note that each such derivative generates a factor ∇ (q). We use the convention that, carrying out the λ-derivatives consecutively, the ﬁrst λ-derivative acting on the ex- ponential generates the factor ∇ (q ), the second such derivative generates the fac- tor ∇ (q ), and so on. Dropping this convention gives a factor 1/ℓ!, i.e. X X d 1 e = c˜ ∇ (q ) ··· ∇ (q ) q ,...,c 1 1 ℓ w w ℓ dλ ℓ! λ=0 ℓ=1 q , ... ,q ≥ 1 1 ℓ with q +···+q =p 1 ℓ with new combinatorial factors c˜ which are obtained simply by counting the q ,...,c 1 ℓ q q 1 2 number of possibilities of forming groups of λ-derivatives acting on λ , λ , and so PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 13 on. These combinatorial factors are given by the monomial theorem. We thus obtain p X X q q 1 ℓ d 1 d q p 1 d ℓ λ ∇ ∇ λ ∇ (q ) (q ) w ˜ 1 ℓ w w e = e ··· e p q q q ··· q ℓ dλ ℓ! dλ dλ 1 ℓ λ=0 λ=0 ℓ=1 q ,. .. ,q ≥ 1 1 ℓ with q +···+q =p 1 ℓ X X = p! ∇ (q ) ··· ∇ (q ) . 1 ℓ w w ℓ! ℓ=1 q , ... ,q ≥ 1 1 ℓ with q +···+q =p 1 ℓ Using this formula in (4.13) gives X X 1 d 1 f(x) L F (x), F (y) f(y) = ∇ (q ) ··· ∇ (q ) L(x, y) . 1 ℓ w w p! dλ ℓ! ℓ=0 q ,. .., q ≥ 1 1 ℓ with q +···+q =p 1 ℓ Similarly, one derives the identity X X 1 d 1 c(x) (q ) (q ) 1 ℓ e = c (x)··· c (x) . p! dλ ℓ! ℓ=0 q , ... ,q ≥ 1 1 ℓ with q +···+q =p Employing these formulas in (4.4) gives the result. 4.2. Green’s Operators. In Lemma 4.1 we rewrote the weak EL equations as the system of equations (4.11), to be satisﬁed for every p = 1, 2, . . .. In order to solve (p) this system of equations, we bring the contribution involving w to the left. We thus obtain the equation (p) (p) ∇ ∇ + ∇ L(x, y) dρ(y) − s c (x) = −∇ E (x) , (4.14) (p) (p) u u 1,w 2,w (1) where E is given by (4.5), whereas for p > 1 we have X X (p) (q ) (q ) E = − s c (x)··· c (x) ℓ! ℓ=2 q , ... ,q ≥ 1 1 ℓ (4.15) with q +···+q =p 1 ℓ + ∇ + ∇ ··· ∇ + ∇ L(x, y) dρ(y) . (q ) (q ) (q ) (q ) 1 1 ℓ ℓ 1,w 2,w 1,w 2,w (p) Before solving for w , we need to specify the jet space used for varying the measure: We denote the continuous global one-jets of the cotangent bundle restricted to M by ∗ 0 0 ∗ J := C (M,R) ⊕ C (M, T F) . test ∗ We let (J ) be the quotient space test ∗ ∗ ∗ (J ) := J (g, ϕ) ∈ J g(x)a(x) + hϕ(x), u(x)i = 0 test for all u = (a, u) ∈ J and x ∈ M , where h., .i denotes the dual pairing of T F and T F (the reason for taking equivalence test classes simply is that it is convenient to disregard dual jets which are trivial on J ). 14 F. FINSTER We thus obtain a mapping ∞ ∞ test ∗ Δ : J × ··· × J → (J ) , (4.16) | {z } ℓ factors u, Δ v , . . . , v (x) = ∇ ∇ + ∇ ··· ∇ + ∇ L(x, y) dρ(y) ℓ 1 ℓ u 1,v 2,v 1,v 2,v 1 1 ℓ ℓ ℓ! − s b (x)··· b (x) , 1 ℓ test valid for any u ∈ J . We remark for clarity that the mapping Δ is symmetric in its ℓ ∞ test ∗ arguments. Choosing ℓ = 1, we obtain the mapping Δ ≡ Δ : J → (J ) given by hu, Δvi(x) = ∇ ∇ + ∇ L x, y dρ(y) − ∇ s . u 1,v 2,v v test ∗ ∞ Deﬁnition 4.2. A linear mapping S : (J ) → J is referred to as a Green’s operator if test ∗ Δ S v = −v for all v ∈ (J ) . (4.17) Clearly, a Green’s operator exists if and only if the mapping Δ is surjective. In anal- ogy to the situation for hyperbolic PDEs, the Green’s operators need not be unique. Indeed, just as in classical ﬁeld theory, the diﬀerence of two Green’s operators is a so- lution of the linearized ﬁeld equations (see Deﬁnition 3.3). We remark that, similar as in classical ﬁeld theory and quantum ﬁeld theory, one could work with speciﬁc Green’s operators determined by support properties (like retarded or advanced Green’s oper- ators) or by microlocal properties (like the Feynman propagator). However, at this stage, where we merely seek for solutions of the weak EL equations without specifying initial conditions, we cannot and need not specify the Green’s operators. With the above notions, we can write (4.14) as (p) (p) test ∗ Δw = −E ∈ (J ) . (4.18) (p) Having a Green’s operator to our disposal, we can solve this equation for w , (p) (p) w = S E . (4.19) Combining this equation with (4.5) and (4.15), we have obtained an iterative procedure for constructing measures which satisfy the weak EL equations (4.4). We again point out that the Green’s operator S is not unique. Indeed, there is the freedom to choose a diﬀerent Green’s operator to every order in perturbation theory. Exactly as in the analogous situation for hyperbolic PDEs, taking this freedom into account gives rise to the general solution to the weak EL equations. In order to make this non-uniqueness manifest, we prefer to write (4.19) as (p) (p) (p) w = S E , (4.20) (1) (2) where S , S , . . . are arbitrary Green’s operators. 4.3. Diagrams and Feynman Rules. We now summarize the above construction and formulate it in a diagrammatic language. For simplicity, we leave out the param- eter λ, which was used merely as a book-keeping device in order to keep track of the ··· PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 15 b w w 2 ··· S b Δ w 0 ℓ Figure 1. Building blocks of Feynman diagrams. diﬀerent orders in perturbation theory. We introduce the operators Δ by (see (4.16)) Δ (x) = L(x, y) dρ(y) − s (4.21) Δ w , . . . , w (x) = ∇ + ∇ ··· ∇ + ∇ L(x, y) dρ(y) ℓ 1 ℓ 1,w 2,w 1,w 2,w 1 1 ℓ ℓ ℓ! − s c (x)··· c (x) (for ℓ ≥ 1) (4.22) 1 ℓ (p) and choose Green’s operators S with p = 1, 2, . . . as minus the inverse of Δ ≡ Δ (see Deﬁnition 4.2), (p) test ∗ Δ S v = −v for all v ∈ (J ) . (4.23) (p) Then the jets w are deﬁned iteratively by (see (4.20)) (p) (p) (p) w = S E , (4.24) (p) (1) (p−1) where E depends on the previous jets w , . . . , w by (see (4.5) and (4.15)) (1) E (x) = Δ (x) (4.25) (p) (p) E (x) = E (x) (for p ≥ 2) (4.26) ℓ=2 (p) (q ) (q ) 1 ℓ E (x) = Δ w , . . . , w (x) . (4.27) q ,. .. ,q ≥ 1 with q +···+q =p The universal measure ρ˜ is obtained by (see (4.1), (4.6), (4.7), (4.8) and (4.10)) c (p) ρ˜ = F e ρ where (c, F )(x) = (0, x) + w (x) . (4.28) p=1 For the graphical representation, we denote the Green’s operator by a wiggled line and the operators Δ by semicircles (see Figure 1). Then the contributions to the pertur- bation expansion can be depicted by Feynman diagrams as illustrated in Figure 2. The combinatorics is given in (4.26), (4.27) and (4.28). We point out that our perturbation expansion only involves tree diagrams. Remark 4.3. (alternative form of the perturbation expansion) For complete- ness, we now give an alternative form of the perturbation expansion will be used in Section 5 and might be useful for future applications. Namely, dividing by f(x), the weak EL equations (4.4) can be written alternatively as ∇ L F (x), F (y) f(y) dρ(y) − s = 0 , (4.29) 1,u M 16 F. FINSTER (1) (2) b w (1) Figure 2. A simple Feynman diagram. test to be satisﬁed for all u ∈ J . Expanding the equations in this form, one obtains the same perturbation expansion as above, except that the operator Δ in (4.22) is to be modiﬁed to Δ w , . . . , w (x) = D + ∇ ··· D + ∇ L(x, y) dρ(y) . (4.30) ℓ 1 ℓ 1,w 2,w 1,w 2,w 1 1 ℓ ℓ ℓ! This formulation has the advantage that the Lagrange multiplier s drops out. More- over, it becomes clearer that the scalar component of the jets only enters at the point y (as is obvious in (4.29) where only f(y) appears). The disadvantage is that (4.30) is less symmetric in the variables x and y (in particular, the form (4.22) is of advantage for the derivation of conservation laws for surface layer integrals in [15, 16]). ♦ 4.4. Constructing Nonlinear Solutions of the Field Equations. We now ex- plain how the general construction of Section 4.1 can be adapted in order to construct nonlinear solutions of the ﬁeld equations. We consider the setting that ρ is a minimiz- ing measure, and we again assume that we are given a Green’s operator S (see Deﬁni- (1) ∞ tion 4.2). Moreover, we are given a jet w ∈ J being a solution of the linearized ﬁeld equations (see Deﬁnition 3.3). Our goal is to construct a family of solutions (ρ˜ ) τ τ∈R (1) of the weak EL equations of the form (4.1) whose ﬁrst variation coincides with w , i.e. (1) ρ˜ | = ρ and ∂ f, ∂ F = w . τ τ=0 τ τ τ=0 (2) (3) To this end, we construct the jets w , w , . . . iteratively again by (4.24), (4.26) (1) and (4.27) with Δ according to (4.22) (note that now Δ = Δ [w ] = 0). The ℓ 0 1 desired family of measures (ρ˜ ) is then deﬁned similar to (4.28) by inserting powers of τ, i.e. c p (p) ρ˜ = (F ) e ρ with (c , F )(x) = (0, x) + τ w (x) . τ τ ∗ τ τ p=1 4.5. Perturbing a Vacuum Measure. In the applications, one often knows a critical measure which typically describes the vacuum of the system. Then the system is modiﬁed, for example by introducing particles and/or ﬁelds. The task is to construct a solution of the weak EL equations, starting from the modiﬁed system. We now adapt the construction of Section 4.1 to this setting. To this end, we assume that ρ is a measure which satisﬁes the EL equations (3.2). Moreover, we assume that we are given a Green’s operator S (see Deﬁnition 4.2). The modiﬁed system is described by a measure ρˆ which, in analogy to (4.1), we assume to be of the form ρˆ = H hρ , (4.31) where h and H are smooth, ∞ + ∞ h ∈ C M,R and H ∈ C M,F . PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 17 F F F suppρ˜ suppρ˜ M := suppρ (b) (c) (a) Figure 3. Fragmentation of the measure ρ. Clearly, the measure ρˆ is no longer a solution of the weak EL equations. Similar to (4.8), (4.10) and (4.28), we expand h and H and rewrite the coeﬃcients with jets, (p) (p) ∞ log h, H (x) = (0, x) + v (x) with v ∈ J . (4.32) p=1 (p) ∞ Here we need to assume that the resulting jets v are in J . In order to construct a corresponding solution of the EL equations, we again make (p) the ansatz (4.1) and describe f and F by jets w (see (4.7), (4.8), (4.9) and (4.10)). Now we perform the perturbation expansion similar to (4.26)–(4.28), taking into ac- (p) count the inhomogeneity v to every order in perturbation theory. More precisely, (4.24) is to be replaced by (p) (p) (p) (p) (p) w = v + S E + Δv . Indeed, applying the operator Δ and using the deﬁning equation of the Green’s oper- ator (4.17), one sees that the relations (4.18) again hold. 5. Perturbation Theory with Fragmentation The perturbation expansion of the previous section was based on the ansatz that the perturbed measure ρ˜ should be of the form (4.1) with f and F according to (4.2). Intuitively speaking, this ansatz means that the support of the measure is changed smoothly as a whole (see Figure 3 (a)), but it is impossible to model a situation where the measure ρ “disintegrates” into several “components” which are perturbed diﬀerently (see Figure 3 (b)). We now extend the constructions Section 4 such as to allow for such a so-called fragmentation of the universal measure. We consider the following setting. Similar as in Section 4.4 we want to construct nonlinear solutions of the ﬁeld equations. Therefore, we assume that ρ is a measure which satisﬁes the weak EL equations (3.4). We choose a parameter L ∈ N and consider mappings ∞ + ∞ f ∈ C M,R , F ∈ C M,F with a = 1, . . . , L . a a For the universal measure with fragmentation we make the ansatz ρ˜ = (F ) f ρ . (5.1) a ∗ a a=1 We refer to L as the number of subsystems and to a as the subsystem index. Clearly, for one subsystem, (5.1) reduces to our earlier ansatz (4.1). The larger L is chosen, the more freedom we have in perturbing the measure ρ. We point out that we may 18 F. FINSTER choose L arbitrarily large. In the limit L → ∞, one can even describe situations where the support of the measure ρ is “enlarged” by the perturbation as shown in Figure 3 (c). We also note that a universal measure of the form (5.1) is closely related to the mechanism of microscopic mixing as introduced in [7]; this will be explained further in Section 8. 5.1. Linearized Field Equations for Fluctuations. It is a bit easier to perform the perturbation expansion with fragmentation in the alternative formulation introduced in Remark 4.3, because then the scalar component of the jets appears only as a function of the variable y (but of course, all our results can be rewritten in a straightforward way in the formulation (4.4)). Adapted to the measure (5.1), the weak EL equations (4.29) read ∇ L F (x), F (y) f (y) dρ(y) − s = 0 , 1,u a b b b=1 test L to be satisﬁed for all jets u ∈ (J ) as well as for all x ∈ M and a ∈ {1, . . . , L}. Since in ﬁnite dimension, pointwise evaluation is the same as weak evaluation, we can write this equation equivalently as L L X X 1 1 ∇ L F (x), F (y) f (y) dρ(y) − s = 0 , (5.2) 1,u a b b L L a=1 b=1 test L which must hold for all u ∈ (J ) and all x ∈ M. In preparation of the perturbation expansion, we derive the corresponding linearized ﬁeld equations. To this end, we again expand f and F according to (4.6) and (4.7). To ﬁrst order, the EL equations (5.2) become (1) u, Δ w (x) := a,b=1 (5.3) (1) × ∇ D (1) + D (1) L(x, y) + L(x, y) f (y) dρ(y) u (x) a b 1,w 2,w (1) (1) (1) (1) with w := (f , F ). Note that the vector component of the jet w shifts the a a a a support of the universal measure in each subsystem independently (as shown in Fig- ure 3 (b)). At this point, it is helpful to decompose the jets into components independent of the subsystem index and components whose mean vanishes, i.e. u = ¯u + u with u¯ (x) := u (x) . (5.4) F a b b=1 Here the subscript “F” can be thought of as referring to the “fragmentation” of the universal measure or as describing the “ﬂuctuations” of the jets in the subsystems. For a convenient notation, we usually omit the subsystem index of u. The above splitting gives rise to a direct sum decomposition of the jet spaces, which we write as J = J ⊕ J test ∞ and similarly for the jet spaces J and J . PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 19 Using these notions, we can carry out the b-sum in (5.3) to obtain (1) (1) u, Δ w (x) = ∇ D +D L(x, y) +L(x, y)f (y) dρ(y). (1) (1) u (x) a 2,w¯ 1,w a=1 test The ﬂuctuations drop out completely when testing in J , (1) (1) u¯, Δ w (x) = ∇ D + D L(x, y) + L(x, y) f (y) dρ(y) , (1) (1) ¯u(x) 1,w¯ 2,w¯ giving back the linearized ﬁeld equations without fragmentation. But clearly, the test ﬂuctuations are visible when testing in J because (1) u , Δ w (x) = ∇ D L(x, y) dρ(y) . (1) u (x) F,a 1,w L F,a a=1 Using that the ﬁrst derivative of ℓ vanishes in view of the EL equations, we can write this equation in the more compact form (1) u , Δ w (x) = D D ℓ(x) for all x ∈ M . (1) F u (x) F,a L F,a a=1 These ﬁndings lead to the following deﬁnition: 1 L Deﬁnition 5.1. A jet v ∈ (J ) is referred to as a solution of the linearized ﬁeld equations with fragmentation if its mean ¯v and ﬂuctuation v satisfy for test L all u ∈ (J ) and all x ∈ M the equations ∇ D + ∇ L(x, y) dρ(y) = 0 (5.5) ¯u(x) 1,v¯ 2,v D D ℓ(x) = 0 . (5.6) u (x) v F,a F,a a=1 The vector space of all linearized solutions is denoted by lin lin lin 1 L J = J ⊕ J ⊂ (J ) . We point out that the linearized ﬁeld equations with fragmentation do not involve all the components of the jets, neither of the test jet u nor of the linearized ﬁeld v. Indeed, only the vector component of the ﬂuctuations comes into play, but their scalar component does not enter. Moreover, if u is chosen as a linearized solution, then (5.6) is satisﬁed, no matter how v is chosen. In other words, testing in the direction of ﬂuctuating linearized solutions, the equation (5.6) does not give any information. Hence in the linearized ﬁeld equations with fragmentation (5.5) and (5.6), the jets u lin can be changed freely in J . In order to implement these ﬁndings in a compact notation, it is useful to decompose the ﬂuctuating jets as 1 c lin J = J ⊕ J , F F F c lin 1 where J is a (non-orthogonal) complement of J in J . We thus obtain the decom- F F F position of the jet spaces 1 L c lin (J ) = J ⊕ J ⊕ J . F F 20 F. FINSTER Using a block matrix notation, the unperturbed operator Δ takes the form ¯ ¯ u¯ v Δ 0 0 c c u v hu, Δvi(x) = , 0 Δ 0 , (5.7) F F F lin lin 0 0 0 u v F F where the operators Δ and Δ are deﬁned by 1 test ∗ ¯ ¯ ¯ Δ : J → (J ) ¯ ¯ hu¯, Δvi(x) = ∇ D + D L(x, y) + L(x, y) b(y) dρ(y) (5.8) ¯u 1,v¯ 2,v¯ c c test ∗ Δ : J → (J ∩ J ) F F F hu , Δ v i(x) = D D ℓ(x) . (5.9) F F F u (x) v F,a F,a a=1 lin We ﬁnally remark that, disregarding diﬀerentiability issues, the jet space J can also be understood from the perspective of stability. If ρ is a minimizer, then then the Hessian of ℓ is non-negative and thus gives rise to the positive semi-deﬁnite bilinear form (for details see [11, Section 4]) 2 test L 1 L ∇ ℓ| (., .) dρ : (J ) × (J ) → R . a=1 lin The space J is obtained by all ﬂuctuating jets which are in the neutral subspace of this positive semi-deﬁnite bilinear form. This means that fragmentation can occur only in directions in which the Hessian of the causal action vanishes. 5.2. An Explicit Example. Similar to the procedure in Section 4.2, we may as- sume that the operators Δ and Δ in (5.7) can be inverted by corresponding Green’s operators: test ∗ ∞ ¯ ¯ ¯ Deﬁnition 5.2. A linear mapping S : (J ) → J is referred to as an Green’s operator for the mean if test ∗ ¯ ¯ ¯ ¯ ¯ ¯ Δ S v = −v for all v ∈ (J ) . c test ∗ c ∞ A linear mapping S : (J ∩ J ) → J ∩ J is referred to as a Green’s operator F F F F for ﬂuctuations if c test ∗ Δ S v = −v for all v ∈ (J ∩ J ) . F F F F F F F Before we can perform the perturbation expansion, we must analyze how to invert lin the ﬁeld equations on the subspace J . As one sees in (5.7), the linearized operator Δ vanishes on this subspace. This means that the operator on this subspace is determined by the perturbation itself. This situation resembles the perturbation theory with degeneracies for the eigenvalues of a linear operator. In this case, the procedure is to diagonalize the perturbation on the degenerate subspaces (without using perturbation theory) before performing the perturbation expansion. In order to explain how to proceed in our setting, we begin with a simple concrete example. Example 5.3. Let F = R and 4 2 2 2 L (x , x ), (y , y ) = (x − y ) + (x − y ) − (x + y ) (x − y ) 1 2 1 2 1 1 2 2 2 2 1 1 PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 21 (for the moment, we disregard that this Lagrangian is unbounded from below; this shortcoming will be removed after (5.22) below). Moreover, we let ρ be the Dirac measure supported at the origin. The jet spaces are test 2 1 2 J = J = R × R ∋ u = (a, u , u ) . Obviously, all ﬁrst and second partial derivatives of the Lagrangian vanish at the origin. Therefore, ρ is a critical measure, and the EL equations (5.2) are satisﬁed for the unperturbed system with the Lagrange multiplier s chosen to be zero. We now consider a fragmentation with two subsystems L = 2, i.e. 1 2 2 J = (u ) , u = −u = a, u , u ∈ R × R . (5.10) F a a=1,2 1 2 lin In order to determine J , we ﬁrst compute the Hessian of ℓ, 0 0 4 2 2 2 2 ℓ(x , x ) = L (x , x ), (0, 0) = x + x − x x , D ℓ| = . 1 2 1 2 1 2 2 1 (0,0) 0 2 Therefore n o lin 1 J = (u ) , u = −u = a, u , 0 ∈ R × R , (5.11) a a=1,2 1 2 showing that fragmentation can occur only in the x -direction. We now prescribe the leading orders of the transformation of the universal mea- sure (5.1) and verify if this gives a suitable starting point for a perturbative treatment. (0) In order to preserve the total volume, we choose f = f with a a (0) (0) (0) 0 < f < 2 and f = 2 − f . (5.12) 1 2 1 The transformation F , on the other hand, is chosen as (1) F (0) = λ w (5.13) a a with the vector component (1) (2) w = (w, 1) and w = (−w, 1) 1 1 and w ∈ R. Let us verify if this family of measures satisﬁes the weak EL equations, and if not, what the resulting error is. The support of the perturbed measures consists of the two points p := λ (w, 1) and p := λ (−w, 1) . (5.14) 1 2 Moreover, a direct computation gives (0) 4 2 2 ℓ(p ) = −8λ 2 − f w w − 1 (0) 4 2 2 ℓ(p ) = −8λ f w w − 1 (0) 3 2 2 Dℓ| = −8λ 2 − f − w 2w − 1 , w 1 1 (0) 3 2 2 Dℓ| = −8λ f w 2w − 1 , w . 2 1 22 F. FINSTER Hence, testing with the average and the ﬂuctuation gives 2 2 λ w w − 1 2 a¯ 3 1 (0) 2 ∇ ℓ(p ) = −8λ u¯ · (5.15) u¯ a f − 1 w 2w − 1 a=1 u¯ 2 (0) 2 2 λ f − 1 w w − 1 1 2 ∇ ℓ(p ) = −8λ u · −w 2w − 1 (5.16) a (u ) (0) a=1 u − f − 1 w (where in the last line we parametrized the ﬂuctuating jets as in (5.10)). lin We now restrict attention to the subspace J on which the unperturbed operator Δ in (5.7) vanishes. Again parametrizing according to (5.11), we obtain (0) X 2 2 a λ f − 1 w w − 1 ∇ ℓ(p ) = −8λ · (5.17) lin a (u ) a 2 2 F −w 2w − 1 a=1 lin (here we simply dropped the last component in (5.16)). Moreover, the Laplacian on J is computed by lin lin hu , Δv i F F * ! + (0) 2 2 4 2 3 2w (w − 1) λ 4 f − 1 w (2w − 1) λ a b = 4 , . (5.18) 1 1 (0) u 2 3 2 2 v −w (2w − 1) λ − f − 4 (6w − 1) λ The basic question is whether the error in the linearized ﬁeld equations (5.17) can be compensated by perturbations of f and F . Having prescribed the leading orders a a by (5.12) and (5.13), the next orders are perturbations of the form (1) (2) λ f and λ F . a a Substituting into (5.18) gives a contribution scaling like lin lin 5 1 4 6 hu , Δv i = a c λ + u c λ + O(λ ) . 5 4 F F This contribution is by a factor of λ smaller than the error in the linearized ﬁeld equa- tions (5.17). This shows that at this stage, a perturbation expansion is not sensible. This can be understood similar to the problem in the perturbation theory for linear operators when applying the naive perturbation expansion to a degenerate subspace. (0) The method to cure this problem is to choose f and w appropriately. Indeed, setting (0) f = 1 and w = , (5.19) we obtain 1 a ∇ ℓ(p ) = · (5.20) lin a 1 (u ) 2 F 0 a=1 2λ 0 a b lin lin hu , Δv i = , . (5.21) 1 1 F F u v 0 24 λ Now the linearized ﬁeld equations are satisﬁed. This can be understood immediately by the plot of ℓ(x , λ) in Figure 4, which shows that the minima of ℓ are precisely at the support points (5.14). PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 23 -λ w λ w -0.10 -0.05 0.05 0.10 -0.00005 -0.00010 -0.00015 -0.00020 Figure 4. The function ℓ(x , λ) for the fragmented measure and λ = 0.1. Moreover, one sees that for the resulting system a perturbation expansion is sensible, provided that the error in the linearized ﬁeld equations scales like 1 O(λ ) ∇ ℓ(p ) . · . lin a 1 (u ) 2 F O(λ ) a=1 If this condition holds, the perturbation expansion consists in determining the jets (1) (2) (2) (3) (3) (4) f , F , f , F , f , F , . . . a a a a a a iteratively. For example, we may modify the Lagrangian by adding a potential of sixth order 6 6 6 6 L (x , x ), (y , y ) → L (x , x ), (y , y ) + x + x + y + y . (5.22) 1 2 1 2 1 2 1 2 1 2 1 2 After this modiﬁcation, the Lagrangian is bounded below. By adding an irrelevant constant, it can even be arranged to be non-negative. ♦ 5.3. The Perturbation Expansion. After these preparations, we now give the gen- eral construction. We choose the unperturbed scalar components such as to preserve the total volume, i.e. (0) (0) f ≥ 0 and f = 1 . (5.23) a a a=1 Next, we choose the linearized solution which triggers the fragmentation. In order to allow for a more general scaling, we make the ansatz (1) p lin q lin w = λ v + λ v (5.24) with parameters p, q > 0 and min(p, q) = 1 lin (here v denotes a jet with vanishing scalar component). For the perturbation expansion, we again work with the function c deﬁned by (4.8) and expand according to (4.7) and (4.9). We also again use the notation (4.10) (but of course, now all objects carry additional subsystem indices a or b). Our ansatz (5.23) and (5.24) means that the following jets are already determined: (0) (0) (0) c (x) = log f (x) , F (x) = x a a a and (p) lin lin w = v + v if p = q (p) lin (q) lin w = v and w = v if p 6= q . F 24 F. FINSTER (ℓ) We set all other jets w to zero. Now we proceed in two steps. We ﬁrst perturb only in the jet spaces J ⊕ J , beginning to the order p + 1. Thus we modify the jets according to (n) (n) c (n) w = w + (w ) if n > p, n 6= q (n) lin (n) c (n) w = v + w + (w ) if n > p, n = q . F F (n) c (n) The jets w and (w ) can be computed iteratively for n = p + 1, p + 2, . . . by mul- tiplying the error in the weak EL equations by the Green’s operators in Deﬁnition 5.2. We let ρ˜ be the measure obtained from this perturbation expansion according to (5.1). By construction, this measure satisﬁes the weak EL equations (5.2) if tested in the direction of J ⊕ J , i.e. c test ˜ ¯ ∇ ℓ F (x) = 0 for all u ∈ (J ⊕ J ) ∩ J , u a a F a=1 where the tilde refers to the perturbed measure, ℓ(F (x)) := L F (x), F (y) f (y) dρ(y) − s . a a b b b=1 However, the weak EL equations will not hold in general if we test in the direction lin of J . In order to obtain a well-deﬁned perturbation expansion, we need to assume lin that the error in the EL equation is small compared to the size of the Laplacian on J , as is made precise in the following deﬁnition. lin Deﬁnition 5.4. The Laplacian on J is deﬁnite of order r if there is an oper- lin test ∗ lin lin test ator T : (J ∩ J ) → J with the property that for all u ∈ J ∩ J and v ∈ F F F F lin test ∗ (J ∩ J ) , F F D E lin q lin lin q lin r lin lin a , λ u , Δ T b , λ v = λ u , v 1 + O(λ) . (5.25) F F F F F F The ansatz (5.23) and (5.24) gives rise to a well-posed fragmentation if there lin lin test is r > q such that the Laplacian on J is deﬁnite of order r and if for all u ∈ J ∩J , F F lin q r+1 a (x) + λ D ℓ F (x) = O λ . (5.26) F lin a=1 If the condition in this deﬁnition holds, the weak EL equations can also be satisﬁed lin in the direction of J by changing the perturbation ansatz according to (1) (q+1) (2) (q+2) lin q lin 2 lin q lin ˜ ˜ w → w + λ c , λ w + λ c , λ w + ··· . (5.27) F F F F lin Now the error in the EL equations in the direction of J can be compensated order by order by multiplying with the corresponding Green’s operator T . Clearly, the (n) c (n) higher order jets w and (w ) are also aﬀected by the jets added in (5.27), but the resulting error can be compensated again using the Green’s operators in Deﬁni- tion 5.2. In this way, we obtain a perturbation expansion for the universal measure with fragmentation. The expansion is well-deﬁned as a formal power series in λ. lin q We note that the diﬀerent fragments of the measure are separated by w˜ ∼ λ . Therefore, the “size” of the microstructure obtained by fragmentation is of order ∼ λ . −q Consequently, diﬀerentiating this microstructure gives a scaling factor λ . This is the reason why on the left side of (5.25) and (5.26), the vector components of the jets are PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 25 multiplied by scaling factors λ . In Example (5.3), this scaling behavior can be seen explicitly from the diﬀerent powers of λ in (5.21). For clarity, we also point out that in the applications, the delicate step is to choose (0) the weights f as well as the ansatz (5.24) correctly such as to obtain a well-posed fragmentation. This diﬃculty already became clear in Example 5.3, where we had to come up with the ansatz (5.19) and choose p = q, giving a well-posed fragmentation with r = 4. Once the correct ansatz for the fragmentation has been found, the pertur- bation expansion can be performed in a straightforward way as outlined above. We postpone the combinatorial details to the physical applications in [2]. 6. Perturbation Expansion for Causal Fermion Systems 6.1. Preliminaries. We brieﬂy recall how the causal action principle for causal fermion systems ﬁts into the framework of causal variational principles in the non-compact setting (see also [15, Section 2.3]). Compared to the setting in Section 2 and [8, Sec- tion 1.1], we incorporate the trace constraint by restricting attention to operators of ﬁxed trace. Moreover, we treat the boundedness constraint with a Lagrange multi- plier κ. Finally, by assuming that the unperturbed measure has the property that all space-time points are regular (see [8, Deﬁnition 1.1.5]), we may assume that all oper- ators have exactly n positive and n negative eigenvalues. This leads to the following setting: Let (H,h.|.i ) be a complex Hilbert space. Moreover, we are given parameters n ∈ N (the spin dimension), c > 0 (the constraint for the local trace) and κ > 0 (the Lagrange multiplier of the boundedness constraint). We let F ⊂ L(H) be the set of all operators on H with the following properties: F is selfadjoint, has ﬁnite rank and (counting multiplicities) has n positive and n negative eigenvalues. The trace is constant, i.e. tr(F ) = c . (6.1) On F we consider the topology induced by the sup-norm on L(H). If H is ﬁnite- dimensional, then F has a smooth manifold structure (see the concept of a ﬂag manifold in [18] or the detailed construction in [17, Section 2.4]). We introduce the Lagrangian L by adding a Lagrange multiplier term to (2.2), 2 2 2 L : F × F → R , L (x, y) = (xy) − |xy| + κ |xy| . (6.2) κ κ 2n Clearly, this Lagrangian is non-negative and continuous on F × F. Thus we are back in the setting of Section 3.1. The EL equations in Deﬁnition 3.1 agree with the EL equations as derived for the causal action principle with constraints in [1] (see [1, Theorem 1.1]). Before going on, we make a few remarks. Since in the present setting, the Lagrange multiplier term κ|xy| in (6.2) is always present, we can simplify the notation by always omitting the subscript κ. We also point out that we shall always keep the constants c and κ in (6.1) and (6.2) ﬁxed when varying or perturbing the measure ρ. This is justiﬁed as follows. The constant c can be changed arbitrarily by rescaling the measure according to ρ(Ω) → ρ αx x ∈ Ω with α ∈ R . 26 F. FINSTER Combining this transformation with our previous transformation (3.3), the freedom in rescaling the universal measure is exhausted. Therefore, the parameter κ must be regarded as a physical parameter of the system. The reason for keeping it ﬁxed is that we want to describe localized physical systems, meaning that the perturbations of ρ are spatially compact or that the resulting space-time is asymptotically ﬂat. In such situations, the parameter κ is determined by the asymptotic form of the universal measure at inﬁnity, which is kept ﬁxed in our variations and perturbations. More generally, κ can be kept ﬁxed if we assume that there is a macroscopic region in space-time where no interaction takes place. We now recall the deﬁnition of a few other basic objects needed for the analysis of causal fermion systems (for more details see [8, Section 1.1]). For every x ∈ F we deﬁne the spin space S by S = x(H); it is a subspace of H of dimension 2n. On the x x spin space S , the spin scalar product ≺.|.≻ is deﬁned by x x ≺u|v≻ = −hu|xui (for all u, v ∈ S ) . x x We let π be the orthogonal projection on S ⊂ H. Then, for any x, y ∈ M we deﬁne x x the kernel of the fermionic projector P (x, y) by P (x, y) = π y| : S → S . x S y x The kernel of the fermionic projector is very useful because, forming the closed chain A xy by A := P (x, y)P (y, x) = π y x| : S → S , xy x S x x xy xy the eigenvalues of A coincide with the eigenvalues λ , . . . , λ in (2.1). In this way, xy 1 2n the Lagrangian can be expressed in terms of the kernel of the fermionic projector. A wave function ψ is deﬁned as a mapping which to every x ∈ M associates a vector of the corresponding spin space, ψ : M → H with ψ(x) ∈ S M for all x ∈ M . A wave function is said to be continuous at x if for every x ∈ M and ε > 0, there is δ > 0 such that p p |y| ψ(y) − |x| ψ(x) < ε for all y ∈ M with ky − xk ≤ δ . The vector space of continuous wave functions is denoted by C (M, SM). For every u ∈ H, the corresponding physical wave function ψ is the wave function obtained by projecting to the spin spaces, i.e. ψ (x) := π u ∈ S M . x x The physical wave functions can be understood as describing the “occupied states” of the system (for details see [8, §1.1.4 and §1.2.4]). The physical wave functions are all continuous. The wave evaluation operator Ψ is the linear operator which to every Hilbert space vector associates the corresponding physical wave function, 0 u Ψ : H → C (M, SM) , u 7→ ψ . (6.3) Evaluating at a ﬁxed space-time point gives the mapping Ψ(x) : H → S M , u 7→ ψ (x) . The operator x as well as the kernel of the fermionic projector can be expressed in terms of the wave evaluation operator by (see [8, Lemma 1.1.3]) ∗ ∗ x = −Ψ(x) Ψ(x) and P (x, y) = −Ψ(x) Ψ(y) . (6.4) PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 27 6.2. Perturbation Expansion for the Wave Evaluation Operator. The pertur- bation expansion in Section 4 was performed in a chart on F. We now explain how to construct such a chart. Working in this chart will also immediately give a perturbation expansion for the wave evaluation operator. Given x ∈ M, we consider the mapping ∗ ∗ R : ψ ∈ L(H, S ) tr(ψ ψ) 6= 0 → L(H) , ψ 7→ ψ ψ . (6.5) tr(ψ ψ) The operators in the image of R are selfadjoint, have ﬁnite rank and at most n positive and at most n negative eigenvalues. Moreover, due to the rescaling by the prefac- tor c/ tr(ψ ψ), they satisfy the trace condition (6.1). Let us verify that the image of R contains all operators in F: By deﬁnition of F, a given operator F ∈ F is selfadjoint and has n positive eigenvalues (which we denote by ν , . . . , ν > 0) and n negative 1 n eigenvalues (denoted by (ν , . . . , ν )). Diagonalizing F gives a representation n+1 2n F = U diag(ν , . . . , ν ) U 1 2n 2n where U : C → H is an isometric embedding. It is useful to rewrite this equation as F = V diag(1, . . . , 1,−1, . . . ,−1) V | {z } | {z } n entries n entries p p |ν |, . . . , |ν |)U . Then, choosing a pseudo-orthogonal basis with V := diag( 1 2n (e ) of S , the mapping α α=1,...,2n x 2n ψ : H → S , ψ(u) := (V u) e x α α=1 has the desired property F = ψ ψ. But the mapping R is not injective for two reasons: First, due to the rescaling, multiplying ψ by a complex number leaves R(ψ) unchanged. Second, a local unitary transformation ψ → U ψ with U ∈ U(S ) (6.6) preserves the combination ψ ψ and thus leaves R(ψ) unchanged. The mapping R can be used to construct a chart of F around x: Since the image of R contains F, the operator x can be written as x = R(ψ) with ψ ∈ L(H, S ) (more explicitly, we can choose ψ = Ψ(x)). By continuity, the numbers of positive and negative eigenvalues of the operator R(φ) are again equal to n for all φ in a small neighborhood V ⊂ L(H, S ) of ψ. Thus the restriction of R to this neighborhood maps to F, R| : L(H, S ) ∩ V → F . V x Diﬀerentiating at ψ gives a linear operator DR| : L(H, S ) → T F. This operator ψ x x is not injective (because inﬁnitesimal scalings and unitary transformations (6.6) lie in its kernel). Therefore, we choose a proper subspace E ⊂ L(H, S ) such that the restriction to E is invertible, DR| : E ⊂ L(H, S ) → T F is continuously invertible ψ x x (if H is ﬁnite-dimensional, such a subspace E always exist; in the inﬁnite-dimensional setting the condition that the inverse be continuous poses constraints which we shall not analyze here). As a consequence, the restriction of R is a local diﬀeomorphism, 28 F. FINSTER meaning that there is an open neighborhood V ⊂ V ⊂ L(H, S ) of ψ and an open neighborhood U ⊂ F of x such that the restriction R| ′ : ψ + (E ∩ V ) → U ⊂ F ψ+(E∩V ) is a diﬀeomorphism (here ψ + E denotes the aﬃne subspace through ψ). Its inverse −1 X := (R| ′ ) : U ⊂ F → ψ + E ψ+(E∩V ) deﬁnes a chart (X, U) around x. Choosing a basis (e , . . . , e ) of E, we write the 1 m mapping F : M → F in components F (x) , i.e. X F (x) = ψ + F (x) e . α=1 test Choosing for every x ∈ M a chart of this form and choosing a suitable jet space J , (p) we are back in the setting of Section 4.1. After determining the F , the corresponding perturbation of the wave evaluation operator is given simply by the component in our chart, i.e. (p) (p) α Ψ (x) = F (x) e ∈ E ⊂ L(H, S ) (p ≥ 1) . α x 6.3. Perturbing the Vacuum. We now explain how the construction in Section 4.5 applies to causal fermion systems. Let ρ be a universal measure describing the vacuum (for example, a regularized Dirac sea conﬁguration as constructed in [8, Section 1.2]). Introducing particles and/or anti-particles (as described in [8, Section §2.1.7]) amounts to modifying the wave evaluation operator Ψ to Ψ := Ψ + ΔΨ : H → C (M, SM) . (6.7) At this point, the complication arises that the local correlation operators deﬁned in ˆ ˆ ˆ analogy to (6.4) by F (x) = −Ψ(x) Ψ(x) (see [8, eq. (1.4.12)]) will in general violate our trace condition (6.1). In order to resolve this problem, we rescale the local correlation operators similar as in (6.5) by setting ˆ ˆ ˆ H(x) := Ψ(x) Ψ(x) . (6.8) ˆ ∗ ˆ tr Ψ(x) Ψ(x) We now introduce the corresponding universal measure ρˆ as the push-forward of H, ρˆ := H ρ . (6.9) Now we are back in the setting of Section 4.5. We remark that the rescaling (6.8) seems unproblematic because in physical applications it aﬀects only the higher orders in ε relative to the length scale of macroscopic physics (for details on this point see [8, Section 2.5]). 7. Example: Perturbation Expansion in the Continuum Limit 7.1. Preliminaries. We now recall a few constructions of the continuum limit analysis in [8] which will be of relevance here. In [8, §1.4.1] the EL equations are written in a form which is particularly convenient for a detailed analysis. These EL equations are obtained by considering a special class of variations of the wave evaluation operator Ψ: Deﬁnition 7.1. A variation of the physical wave functions (Ψ ) τ τ∈(−τ ,τ ) max max with τ > 0 and Ψ = Ψ is smooth and compact if the family of operators has the max 0 following properties: PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 29 (a) The variation is trivial on the orthogonal complement of a ﬁnite-dimensional sub- space I ⊂ H, i.e. Ψ | = Ψ for all τ ∈ (−τ , τ ) . τ max max (b) There is a compact subset K ⊂ M outside which the variation is trivial, i.e. Ψ (u) = Ψ(u) for all τ ∈ (−τ , τ ) and u ∈ H . τ max max M\K M\K (c) The Lagrangian is continuously diﬀerentiable in the sense that the derivative d c L x, F (y) with F (x) := Ψ (x) Ψ (x) τ τ τ τ τ=0 ∗ dτ tr(Ψ (x) Ψ (x)) τ τ exists and is continuous on M × M. For clarity, we point out that, similar to (6.5), the factor c/ tr(Ψ (x) Ψ (x)) is again τ τ needed in order to the trace condition (6.1). For the derivation of the EL equations, it is more convenient to disregard this condition in the variation, and to realize it instead by a Lagrange multiplier term. Then, according to (6.4), the ﬁrst variation δΨ = ∂ Ψ| τ τ=0 deﬁnes a corresponding variation of the kernel of the fermionic projector given by ∗ ∗ δP (x, y) = −δΨ(x) Ψ(y) − Ψ(x)δΨ(y) . (7.1) The resulting ﬁrst variation of the Lagrangian can be written as (see [4, Section 5.2] and [8, eq. (1.4.16)]) δL(x, y) = Tr Q(y, x)δP (x, y) + Tr Q(x, y)δP (x, y) (7.2) S S y x with a kernel Q(x, y) : S → S which is symmetric in the sense that y x Q(x, y) = Q(y, x) (a more explicit formula for Q(x, y) is given in [8, Lemma 3.6.2]). Then the EL equa- tions corresponding to the above variations can be written as (see [8, Proposition 1.4.3]) u u Q(x, y)ψ (y) dρ(y) = ψ (x) for all u ∈ H and x ∈ M , (7.3) where λ is the Lagrange multiplier needed in order to arrange the trace condition (6.1). The connection to the weak EL equations (3.4) is not obvious and will be explained in Section 7.2 below. In the continuum limit (for details see [8, §3.5.2]), the EL equations (7.3) are evalu- ated for a physical wave function ψ having the form of an ultrarelativistic wave packet of negative energy, meaning that the wave packet has frequency of the order |Ω| and is spatially localized on the scale δ (as measured in a chosen reference frame). More- over, we assume that the spatial distance of the ultrarelativistic wave packet from the space-time point x is on the scale ℓ with (see [8, eq. (3.5.28) and Figure 3.1]) −1 −1 ε ≪ |Ω| ≪ δ ≪ ℓ, ℓ , m (7.4) macro −1 (where m is the Compton scale and ℓ denotes the length scales of atomic or macro high energy physics). Moreover, the equations (7.3) are evaluated weakly with a test function φ which is supported in a δ-neighborhood of the point x (with Euclidean distances measured again in a chosen reference frame). Then the supports of φ and ψ are disjoint, so that the right side of (7.3) vanishes (see [8, eqs (3.5.24) and (3.5.29)]) ˆ ˆ dρ(x) dρ(y) ≺φ(x)| Q(x, y)ψ (y)≻ = 0 . (7.5) M M 30 F. FINSTER Written in this form, the main contribution to the EL equations comes from the behavior of Q(x, y) on the light cone, making it possible to analyze the equations in detail in the formalism of the continuum limit (for details see [8, Section 2.4 and Chapters 3-5]). In the resulting continuum description, the kernel of the fermionic projector is a solution of the Dirac equation in the presence of a classical gauge ﬁeld. In order to keep the setting as simple as possible, we here restrict attention to one type of elementary particles and a U(1) gauge ﬁeld (the generalizations to several generations and more general gauge ﬁelds are carried out in detail in [8, Chapters 3–5]). Then the Dirac equation reads i∂/ + A − m P (x, y) = 0 , (7.6) where A can be thought of as an electromagnetic potential, but it does not need to satisfy Maxwell’s equations. In order to construct the kernel of the fermionic projector in the presence of the electromagnetic potential, one expands the Dirac equation (7.6) in powers of the potential and solves the equations iteratively with the help of Dirac Green’s operators s deﬁned by (i∂/ − m)s (x, y) = δ (x − y) . (7.7) The resulting causal perturbation expansion becomes unique by making use of the underlying causal structure (for details see [8, Section 2.1]). 7.2. Choosing the Jet Spaces and the Green’s Operator. In this section we explain how the weak EL equations (3.4) and the perturbation expansion of Section 4 are related to the analysis in the continuum limit. Our ﬁrst task is to introduce the jet spaces. It is useful that, similar as explained in (6.7) and (6.8) for ﬁnite variations, tangent vectors to F on M can be described by inﬁnitesimal variations of the wave evaluation operator. Thus we describe a tangent vector u ∈ T F at a space-time point x ∈ M as ∗ ∗ ∗ ∗ u = δH(x) = −δΨ(x) Ψ(x)− Ψ(x) δΨ(x) + tr δΨ(x) Ψ(x) + Ψ(x) δΨ(x) (7.8) (where we used that tr x = − tr Ψ(x) Ψ(x) = c) with δΨ : H → C (M, SM) . (7.9) test Our next goal is to introduce the space of test jets J in such a way that the weak EL equations (3.4) agree with the EL equations in the continuum limit (7.5) for ψ an ultrarelativistic wave packet (7.4). We say that a physical wave function ψ is macroscopic if its energy and momentum is much smaller than the Planck energy. We choose u such that ψ is macroscopic and is an ultrarelativistic wave packet as deﬁned before (7.4). Next, we choose δψ as a wave function with compact support such that its spatial distance to the ultrarelativistic wave packet scales like u u ε ≪ dist suppδψ , suppψ ≪ ℓ . (7.10) macro We deﬁne the corresponding variation of the wave evaluation operator δΨ as the unique linear mapping with the properties that δψ if v = u δΨ : v 7→ 0 if v ⊥ u . PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 31 u u Since by construction, ψ and δψ have disjoint supports, the trace in (7.8) vanishes. Therefore, the vector ﬁeld described by δΨ is given by ∗ ∗ u = δH(x) = −δΨ(x) Ψ(x) − Ψ(x) δΨ(x) . test We choose Γ as the span of all the vector ﬁelds u for δΨ as speciﬁed above. Since in the weak evaluation on the light cone, only variations of the wave functions are test considered, we choose the scalar component of J trivially, test test ∞ ∞ J = {0} ⊕ Γ ⊂ C (M,R) ⊕ C (M, TF) . (7.11) We remark that there is no point in making (7.10) mathematically more precise, be- cause in the formalism of the continuum limit one also works merely with the scaling behavior. The next lemma gives the connection between the weak EL equations (3.4) and their continuum limit (7.5). test Lemma 7.2. For any u ∈ J and all x ∈ M, ∇ ℓ(x) = −2 Re tr δΨ(x) Q(x, y) Ψ(y) dρ(y) . Proof. Since u has no scalar component, the term involving s in (3.1) drops out. Us- ing (7.1) together with the fact that the jet u acts only on x, ∇ P (x, y) = −δΨ(x) Ψ(y) . u(x) Using this formula in (7.2), we obtain ∗ ∗ ∇ L(x, y) = − Tr Q(y, x)δΨ(x) Ψ(y) − Tr Q(x, y) Ψ(y)δΨ(x) u(x) S S y x = −2 Re tr δΨ(x) Q(x, y) Ψ(y) , where in the last step we cyclically commuted the factors inside the trace. Integrating over y gives the result. We next turn attention to the jets used for perturbing the measure. The abstract Deﬁnition 3.2 is intended to make J as large as possible, giving the largest possible freedom for the perturbations. But not all of the degrees of freedom of J are needed in the applications. Therefore, we must specify those subspaces of J which are of relevance here. We ﬁrst consider jets which are needed to describe particle and anti- particle states. Deﬁnition 7.3. A vector ﬁeld u of the form (7.8) where the variation δΨ is a mapping of ﬁnite rank with the property that for every u ∈ H, either Ψu or δΨu is macroscopic, is called fermionic vector ﬁeld. The vector space of fermionic vector ﬁelds is referred to as Γ . The fermionic jets are deﬁned by f f J = {0} ⊕ Γ . In the next deﬁnition we introduce the jets describing the bosons, for simplicity for an electromagnetic potential. ∞ ∗ Deﬁnition 7.4. Let A ∈ C (M, T M) be a smooth one-form. A vector ﬁeld u of the form (7.8) with δΨ (x) = − s (x, y)A(y) Ψ(y) dρ(y) (7.12) M 32 F. FINSTER is called bosonic vector ﬁeld (here s (x, y) is a Dirac Green’s function (7.7)). The vector space of bosonic vector ﬁelds is referred to as Γ . The bosonic jets are deﬁned by b b J = {0} ⊕ Γ . Clearly, the fermionic and bosonic jets are subspaces of J , f b ∞ J , J ⊂ J . We now explain how the perturbative description in the continuum limit is described in our setting. In the formalism of Section 4.5, the particles and anti-particles as intro- duced in [8, §3.4.3] correspond to a perturbation H of the vacuum measure in (4.31). The corresponding jets in (4.32) are fermionic, (p) f v ∈ J . The resulting contributions to the weak EL equations are compensated by bosonic ﬁelds. Consequently, we here introduce the Green’s operator S (see Deﬁnition 4.2) as a mapping to the bosonic jets, test ∗ b ∞ S : (J ) → J ⊂ J . (7.13) The condition (4.17) means that the potential B in (7.12) satisﬁes the inhomogeneous classical ﬁeld equations. In the example of an electromagnetic potential (7.6) a Maxwell ﬁeld, these equations become ∂ (Sv) − (Sv) = −cv jk j j (or equivalently with diﬀerential forms δdS v = −c v, where the constant c depends on the detailed form of the regularization parameters in [8, Chapter 3]). This is the usual equation for the Maxwell propagator. It involves the freedom in choosing a gauge. For example, in the Lorenz gauge, one may choose S as the multiplication operator in momentum space S(k) = c/k . But S can also be given in any other gauge. More generally, the choice of the Green’s operator (7.13) always involves a choice of gauge. 7.3. Discussion and Remarks. We now clarify the previous constructions by a few remarks. We ﬁrst note that, in order to simplify the computations, it is often conve- nient to assume that the rescaling term in (7.8) vanishes, i.e. tr Ψ(x) δΨ(x) = 0 for all x ∈ M . (7.14) This can be arranged for example by the transformation δΨ → δΨ + tr Ψ(x) δΨ(x) . Thinking in terms of the charts constructed in Section 6.2, with the condition (7.14) one restricts attention to a special class of charts around x. We next point out that, as explained in [8, Section 2.5], the rescaling terms in (7.8) give rise to terms of higher order in ε/l . With this in mind, in many applications macro it is admissible to simply leave out the rescaling and to ignore the condition (7.14). We also remark that all the above jet spaces have a natural complex structure. In order to understand how this comes about, we recall that according to (7.8) the vector ﬁelds on M were described by variations of the wave evaluation operator (7.9). Since the spin spaces are complex vector spaces, pointwise multiplication by complex scalars PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 33 gives a natural complex structure on δΨ. Using the notation (7.8), we thus obtain a corresponding almost complex structure J on T F given by ˆ ˆ J δF [δΨ](x) = δF [iδΨ](x) (7.15) ∗ ∗ ∗ ∗ = iδΨ(x) Ψ(x) − iΨ(x) δΨ(x) + tr − iδΨ(x) Ψ(x) + iΨ(x) δΨ(x) . This also gives rise to a complex structure on the vector spaces of vectorial jets on M f b like J and J . This complex structure is of no relevance for the constructions in [8] but might be of importance for future developments. Indeed, in [13] an almost-complex structure was constructed on the jet spaces in the more general setting of causal variational principles. It was used to deduce a unitary time evolution on bosonic Fock spaces. The detailed connection to the almost-complex structure in (7.15) and generalization to fermionic Fock spaces still need to be worked out. We ﬁnally point out that the choice of test jets in (7.11) is very restrictive. In other words, the analysis of the continuum limit only uses very little of the information contained in the EL equations. On the other hand, this information seems to capture precisely what is needed in order to describe the eﬀective macroscopic interaction. One shortcoming of the analysis in the continuum limit is that the test jets do not contain the bosonic jets, test b J ∩ J = ∅ . This implies that the symplectic form as introduced in [15] is undeﬁned for the bosonic jets. Moreover, since the intersection of the test jets with the fermionic jets only con- tains the very restrictive class of jets formed of ultrarelativistic wave packets, also the conserved surface layer integrals in [16] cannot be evaluated for interesting fermionic jets. This last shortcoming is closely related to the fact that the Green’s opera- tor (7.13) is purely bosonic, whereas the fermionic dynamics is encoded in the Dirac equation (7.6). Taking into account that in [8, Section 3.10] the validity of the Dirac equation is justiﬁed from the causal action principle by ruling out nonlocal potentials, this procedure is conceptually convincing as a ﬁrst step. But eventually, one would like to have more general test jets, giving rise to a uniﬁed description of the interaction in terms of Green’s operators composed of a fermionic and a bosonic component. A ﬁrst step in this direction is the computation of surface layer integrals for bosonic and fermionic jets in [9]. 8. Example: Perturbation Expansion with Microscopic Mixing 8.1. Preliminaries. The method of microscopic mixing of wave functions was intro- duced in [7] (based on preliminary considerations in [6]). Using our present notation, the basic construction is summarized as follows. One ﬁrst decomposes space-time into disjoint subsystems M , . . . , M , 1 L M = M ∪ ··· ∪ M and M ∩ M = ∅ if a 6= b . 1 L a b For each subsystem, one introduces a unitary operator V with the property that 11−V a a is an operator of ﬁnite rank which maps particle and anti-particle states to sea states and vice versa (for details see [7, Section 2.2]). Then the kernel of the fermionic 34 F. FINSTER projector with microscopic mixing is introduced by ε a,b P (x, y) = χ (x) P (x, y) χ (y) (8.1) M M a,b=1 a,b ∗ ∗ P (x, y) = −Ψ(x)V V Ψ(y) (8.2) (where χ is the characteristic function). In [7], this kernel of the fermionic projector is used as the starting point for a perturbative treatment based on the methods of the analysis in the continuum limit. It is shown that in a suitable limiting case, one obtains an eﬀective interaction in terms of bosonic and fermionic ﬁeld operators acting on Fock spaces. 8.2. A Synchronization Mechanism. In preparation for getting a connection to the setting of Section 5, we recast microscopic mixing in terms of the universal measure (for a similar construction see [8, §1.5.3]). To this end, for a unitary operator V ∈ U(H) we deﬁne the measure V (ρ) by −1 (V ρ)(Ω) = ρ V ΩV . (8.3) We introduce the measure ρˆ as the convex combination ρˆ = ρ with ρ = V ρ . a a a a=1 Then the resulting space-time M := suppρˆ is given by −1 M = M with M := V M V . a a a a=1 −1 Comparing the unitary transformation x → V xV in (8.3) with the ﬁrst equation in (6.4), one sees that the wave evaluation operator (6.3) is transformed to ˆ ˆ ˆ ˆ Ψ : H → C M, SM , Ψ(x ) = Ψ(x)V . a a Applying this relation in the second equation in (6.4), one recovers (8.2). th Next, we rewrite the wave evaluation operator of the a subsystem as Ψ = Ψ + ΔΨ with ΔΨ = Ψ(x) V − 11 . a a a a Exactly as explained in Section 6.3, the resulting transformation of the universal mea- sure can be written as (cf. (6.7) and (6.9)) ρ = (H ) ρ . a a ∗ (p) Expanding H in a given chart on F similar to (4.32), one obtains inhomogeneities v a a in the EL equations which depend on the subsystem. Following the constructions (1) in Section 5.1 for the linearized inhomogeneity v = v , one gets a corresponding (1) linearized solution of the ﬁeld equations w which involves ﬂuctuations. The higher orders in perturbation theory are obtained just as in Section 5.3. The crucial condition for the construction to work is that the resulting fragmentation must be well-posed (see Deﬁnition 5.4). Choosing the jet spaces as in the continuum limit in Section 7.2, the above construc- tion simpliﬁes because the jet spaces do not have a scalar component. In this limiting case, one recovers the perturbation expansion in [7] with one important exception: the PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 35 S S b b a a Figure 5. Synchronization of ﬂuctuations. perturbation expansion with fragmentation gives rise to an additional synchronization mechanism. Indeed, according to Deﬁnition 5.2, the Green’s operators S acts on each subsystem separately, S = δ S . (8.4) F F From (5.9) one sees that it couples only to the current generated by Dirac wave func- tions in the subsystem a (see the Feynman diagrams in Figure 5). This seems to make it unnecessary to consider the stochastic background ﬁeld in [7, Section 4] for synchronization. Also, the recombination of subsystems in [7, Section 7] needs to be reconsidered. The consequences of this synchronization mechanism will be analyzed in detail in a separate publication [2]. 8.3. Gauge Potentials are Subsystem-Diagonal. The previous constructions yield an interaction described by a Dirac equation which, according to (8.4), is coupled to an electromagnetic potential for each subsystem, i.e. (i∂/ + A − mY )ψ (x) = 0 for all a = 1, . . . , L . More generally, one could consider a matrix potential which mixes the subsystems, i.e. (i∂/ + A − mY )ψ = 0 for all a = 1, . . . , L . (8.5) b=1 We now give an independent general argument which conveys a good intuitive under- standing for why such subsystem-mixing potentials must not occur. The matrix potential in (8.5) can be regarded as a U(L) gauge potential. To leading degree on the light cone, this gauge potentials aﬀects the kernel of the fermionic projec- tor via generalized phase transformations (for details see [3] or [8, §3.6.2 and §4.3.2]). Considering for simplicity the special case of a gauge transformation, the Dirac wave functions transforms according to ψ (x) → U (x)ψ (x) . a b b=1 Using this transformation law in (8.2) in the special case with trivial mixing matri- ces V = ··· = V = 11, one ﬁnds that the kernel of the fermionic projector transforms 1 L according to a,b a P (x, y) → (U(x)v) P (x, y) (U(y)v) , where v = (1, . . . , 1) ∈ C . 36 F. FINSTER Since the Lagrangian is homogeneous of degree four in P (x, y), it transforms like 4 4 a b L(x, y) → (U(x)v) (U(y)v) L(x, y) . a,b=1 Thus, seeking for minimizers of the causal action, one must minimize (Uv) . (8.6) a=1 We would like to show that the minimizers of this functional are precisely the subsystem-diagonal potentials. However, the situation is not quite so simple, as the following counter example shows: Example 8.1. Choose L = 2 and consider the one-parameter group of unitary matri- ces (U ) t t∈R it 1 1 U = exp . 1 1 Using that the matrix in the exponent is twice a projection operator, a short compu- tation yields it 1 e 1 −1 1 1 U = + . −1 1 1 1 2 2 Thus it U v = e Hence the relations (U v) = 1 for all a = 1, 2 hold, although the unitary operators U are not diagonal. This shows that the diagonal unitary matrices cannot be singled out by minimizing (8.6). ♦ We now enter the general analysis. Given a compact connected Lie subgroup G ⊂ U(L), we set Gv := {Uv | U ∈ G} ⊂ C . Moreover, we introduce the diagonal and orthogonal subgroups by n o d iϕ iϕ 1 L G = U ∈ G U = e , . . . , e with ϕ ∈ R (8.7) n o G = U ∈ G U| = 11 . (8.8) Gv Gv L ⊥ The vector v is called cyclic if Gv = C . Clearly, if v is cyclic, then G is trivial. Proposition 8.2. The inﬁmum of the functional in (8.6) is given by L L X X 4 4 a a inf (Uv) = inf (Uv) = L . (8.9) U∈G U∈U(L) a=1 a=1 Moreover, if this functional is minimal on all of G, i.e. (Uv) = L for all U ∈ G , a=1 PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 37 then every U ∈ G has a unique decomposition into a diagonal and an orthogonal element, d ⊥ d d ⊥ ⊥ U = U U with U ∈ G and U ∈ G . (8.10) Before giving the proof, we explain what this result means. Generally speaking, this proposition gives strong constraints for the form of the subsystem-mixing gauge poten- tials. Indeed, such potentials may be nontrivial only if the vector v is not cyclic. But the vector v will be cyclic whenever each subsystem has its own dynamics. Namely, in this case, the subsystem-diagonal gauge potentials will be diﬀerent in each subsystems, giving rise to diﬀerent U(1)-phases in each subsystem. As a consequence, the group G will contain the abelian subgroup of all diagonal unitary matrices, implying that v is cyclic. Proof of Proposition 8.2. We ﬁrst prove (8.9). Since the rows of a unitary matrix are unit vectors, we know that a 2 |U | = 1 . b=1 As a consequence, using the Schwarz inequality, L L L X X X √ 2 2 2 4 a a a L = U = (Uv) ≤ L (Uv) , (8.11) a,b=1 a=1 a=1 implying that (Uv) ≥ L . a=1 Equality is attained in the case U = 11, proving (8.9). More generally, equality holds if and only if all the summands in (8.11) coincide, i.e. (Uv) = 1 for all a = 1, . . . , L . (8.12) Next, we prove uniqueness of the decomposition (8.10). Suppose that a unitary operator U has the representation (8.10). Then, using (8.8), we know that Uv = U v. This relation uniquely determines all the phases ϕ , . . . , ϕ in (8.7). Hence U is 1 L ⊥ ⊥ d −1 unique, which also determines U uniquely by U = (U ) U. It remains to construct the decomposition (8.10). Let A ∈ g ⊂ u(L) be a vector of the Lie algebra of G. Then (8.12) implies that for any vector w ∈ Gv, the equation itA a (e w) = 1 holds for all t ∈ R and all a = 1, . . . , L . Employing a spectral decomposition of the Hermitian matrix A, K K X X itA iλ t A = λ E , e = e E , k k k k=1 k=1 we obtain 2 a a itA a i(λ −λ ′)t 1 = (e w) = e E ′w E w . (8.13) k k k,k =1 We want to conclude that at most one summand is non-zero, i.e. E w = 0 for all k 6= ℓ k 38 F. FINSTER a a and a suitable ℓ = ℓ(a, w). To this end, assume conversely that (E w) and (E ′w) k k ′ ′ are both non-zero for k 6= k . We choose k and k such that λ −λ ′ is maximal. Then k k ±i(λ −λ )t the right side of (8.13) involves non-zero Fourier terms ∼ e , a contradiction. Let us show that ℓ can be chosen independent of w. We proceed indirectly and assume that k := ℓ(a, w ) 6= ℓ(a, w ) =: k . Then, evaluating (8.13) for w = w + w , 1 2 1 2 one gets a non-zero contribution a a i(λ −λ )t k k Re e E w E w . k 2 k 1 Varying the phase of w , one again gets a contradiction. We conclude that E w = 0 for all k 6= ℓ(a) and all w ∈ Gv . (8.14) Using the completeness of the spectral projectors, we obtain X X a a a w = E w = E w = E w . j j ℓ(a) j=1 j=ℓ(a) Combining this relation with (8.14), it follows that a a (E w) = δ w . k,ℓ(a) Since w ∈ Gv is arbitrary, we can also write this relation as d d a E = E with E = δ δ . k k b k,ℓ(a) Gv Gv b As a consequence, the matrix d iλ t d U := e E k=1 ⊥ d −1 is diagonal. Moreover, the matrix U := (U ) U is trivial on Gv, giving the desired decomposition (8.10). Acknowledgments: I would like to thank Johannes Kleiner and Sebastian Kindermann for helpful discussions and suggestions on the manuscript. References [1] Y. Bernard and F. Finster, On the structure of minimizers of causal variational principles in the non-compact and equivariant settings, arXiv:1205.0403 [math-ph], Adv. Calc. Var. 7 (2014), no. 1, 27–57. [2] F. Finster, The quantum ﬁeld theory limit of causal fermion systems, in preparation. [3] , Light-cone expansion of the Dirac sea in the presence of chiral and scalar potentials, arXiv:hep-th/9809019, J. Math. Phys. 41 (2000), no. 10, 6689–6746. [4] , The Principle of the Fermionic Projector, hep-th/0001048, hep-th/0202059, hep-th/0210121, AMS/IP Studies in Advanced Mathematics, vol. 35, American Mathematical Society, Providence, RI, 2006. [5] , Causal variational principles on measure spaces, arXiv:0811.2666 [math-ph], J. Reine Angew. Math. 646 (2010), 141–194. [6] , Entanglement and second quantization in the framework of the fermionic projector, arXiv:0911.0076 [math-ph], J. Phys. A: Math. Theor. 43 (2010), 395302. [7] , Perturbative quantum ﬁeld theory in the framework of the fermionic projector, arXiv:1310.4121 [math-ph], J. Math. Phys. 55 (2014), no. 4, 042301. [8] , The Continuum Limit of Causal Fermion Systems, arXiv:1605.04742 [math-ph], Funda- mental Theories of Physics, vol. 186, Springer, 2016. PERTURBATION THEORY FOR CAUSAL VARIATIONAL PRINCIPLES 39 [9] , The causal action in Minkowski space and surface layer integrals, arXiv:1711.07058 [math-ph] (2017). [10] , Causal fermion systems: A primer for Lorentzian geometers, arXiv:1709.04781 [math- ph], J. Phys.: Conf. Ser. 968 (2018), 012004. [11] , Positive functionals induced by minimizers of causal variational principles, arXiv:1708.07817 [math-ph], Vietnam J. Math. 47 (2019), 23–37. [12] F. Finster and A. Grotz, A Lorentzian quantum geometry, arXiv:1107.2026 [math-ph], Adv. Theor. Math. Phys. 16 (2012), no. 4, 1197–1290. [13] F. Finster and N. Kamran, Complex structures on jet spaces and bosonic Fock space dynamics for causal variational principles, arXiv:1808.03177 [math-ph], to appear in Pure Appl. Math. Q. (2020). [14] F. Finster and J. Kleiner, Causal fermion systems as a candidate for a uniﬁed physical theory, arXiv:1502.03587 [math-ph], J. Phys.: Conf. Ser. 626 (2015), 012020. [15] , A Hamiltonian formulation of causal variational principles, arXiv:1612.07192 [math-ph], Calc. Var. Partial Diﬀerential Equations 56:73 (2017), no. 3, 33. [16] , A class of conserved surface layer integrals for causal variational principles, arXiv:1801.08715 [math-ph], Calc. Var. Partial Diﬀerential Equations 58:38 (2019), no. 1, 34. [17] F. Finster, J. Kleiner, and J.-H. Treude, An Introduction to the Fermionic Projector and Causal Fermion Systems, in preparation, https://causal-fermion-system.com/intro-public.pdf. [18] S. Helgason, Groups and Geometric Analysis, Mathematical Surveys and Monographs, vol. 83, American Mathematical Society, Providence, RI, 2000, Integral geometry, invariant diﬀerential operators, and spherical functions, Corrected reprint of the 1984 original. ¨ ¨ ¨ Fakultat fur Mathematik, Universitat Regensburg, D-93040 Regensburg, Germany E-mail address: finster@ur.de

Mathematics – arXiv (Cornell University)

**Published: ** Mar 15, 2017

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.