Next Article in Journal
Model Test Study on Bearing Capacity and Deformation Characteristics of Symmetric Pile–Bucket Foundation Subjected to Cyclic Horizontal Load
Next Article in Special Issue
Noncommutative Correction to the Entropy of Charged BTZ Black Hole
Previous Article in Journal
A New Integrated Tool to Calculate and Map Bilateral Asymmetry on Three-Dimensional Digital Models
Previous Article in Special Issue
Quantum Supertwistors
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:

Revisiting the Okubo–Marshak Argument

Institute for Theoretical Physics, Georg-August-Universität Göttingen, 37077 Göttingen, Germany
CAPA and Departamento de Física Teórica, Universidad de Zaragoza, 50009 Zaragoza, Spain
Laboratorio de Física Teórica y Computacional, Universidad de Costa Rica, San Pedro 11501, Costa Rica
Departamento de Física, Universidade Federal de Juiz de Fora, Juiz de Fora 36036-900, MG, Brazil
Author to whom correspondence should be addressed.
Symmetry 2021, 13(9), 1645;
Original submission received: 25 May 2021 / Revised: 22 July 2021 / Accepted: 2 August 2021 / Published: 7 September 2021


Modular localization and the theory of string-localized fields have revolutionized several key aspects of quantum field theory. They reinforce the contention that local symmetry emerges directly from quantum theory, but global gauge invariance remains in general an unwarranted assumption to be examined case by case. Armed with those modern tools, we reconsider here the classical Okubo–Marshak argument on the non-existence of a “strong CP problem” in quantum chromodynamics.

                                                        To the memory of Bob Marshak and Daniel Testard

1. Introduction: String-Localized Fields

In this paper, the case by Okubo and Marshak [1] against the existence of the “strong CP problem” in quantum chromodynamics, which was based on the covariant approach to Yang–Mills theory by Kugo and Ojima [2], is reassessed from a different theoretical standpoint. For this purpose, we bring to bear the theory of string-localized quantum fields (SLFs).
SLFs are not a recent invention. The paper by Dirac [3] should be regarded as a precedent. Charged SLFs, recognizably similar to the modern version, were a brainchild of Mandelstam [4]. In a different vein, they were treated by Buchholz and Fredenhagen [5]. In the 1980s, they were further developed by Steinmann [6,7,8]. They resurfaced over 15 years ago in important papers by one of us with Schroer and Yngvason [9,10]. Interest in SLFs had meanwhile been sustained and renewed by their obvious connection to modular structures [11], with roots in deep mathematical results of Hilbert algebra theory [12] and a geometrical interpretation through the Bisognano–Wichmann relations [13,14]. Among the harbingers of their revival we count papers [15,16,17], bearing upon the proper concept of locality in modern quantum field theory.
The gist of [9] was to show that within the SLF dispensation, Wigner particles of mass zero and unbounded helicity possess associated quantum fields; those had long before been excluded from the standard framework by Yngvason himself [18]. The detailed treatment in [10], apart from reviewing this fact, directly and comprehensively relates SLF to point-localized fields of the ordinary sort.
At the price of an extra variable, SL fields offer important advantages. Two of these are: (a) string-localized fields slip past the theorem in Section 5.9 of [19]—that it is impossible to construct on Hilbert space tensor fields of rank r for massless particles with helicity r, such as photons and gluons; (b) their short-distance behaviour, both for massive and massless particles, is the same for all bosons as for scalars and for all fermions as for spin- 1 2 particles. (Free scalar and spin- 1 2 particles are non-stringy).
The primary upshot is that large no-go territories for QFT are now being trespassed. The separation of helicities in the massless limit of higher spin fields is clarified in [20]. The van Dam-Veltman–Zakharov discontinuity [21,22] at the m 0 limit of massive gravitons is resolved [23]. Unimpeachable stress–energy-momentum (SEM) tensors for massless fields of any helicity are constructed [20,23], allowing for gravitational interaction, and flouting the Weinberg–Witten theorems in particular. A good candidate SEM for unbounded helicity particles now also exists in SL field theory [24]. The Velo–Zwanziger instability [25] is exorcised [26]. The prohibition for covariant spinorial field types ( A , B ) to represent massless Wigner particles of helicity r, unless r = B A , argued in Section 5.9 of [19], has been made void. SL field theory is also helping to deal with profound, age-old problems of QED [27].
In summary, SL fields sit comfortably midway between “ordinary” and algebraic QFT. Furthermore, the renormalization of QFT models is to take place without calling upon ghost fields, BRS invariance and the like; since, for SL fields, one need not surrender the positivity of the energy nor of the state spaces for the physical particles.
Regarding the Standard Model, rigorous perturbative field theory [28] together with the principle of string independence of the S -matrix allowed us to show some time ago that the chirality of the electroweak interactions does not have to be put by hand, as in the GWS model; rather, it follows ineluctably from the massive character of their interaction carriers—a conclusion irrespective of “mechanisms” conjuring the mass [29]. The proof built on outstanding work by Aste, Dütsch and Scharf at the turn of the century on a quantum formulation for gauge invariance [30,31] (see [32] as well). Following Marshak, henceforth we refer to electroweak theory as quantum flavourdynamics (QFD).
SLFs have their own drawbacks, to be sure. Practical calculations of loop graphs with SL fields in internal lines are rather challenging, and a proof of normalizability at all orders is still pending. The applications of SLF so far mostly deal with issues of principle that are badly dealt with within conventional QFT. Of which there are plenty. This paper addresses one of them.

Massless Bosonic SLF: General Theory

The term “string” (not to be confused with the strings of string theory) in the present context precisely denotes a ray starting at a point x in Minkowski space M 4 that extends to infinity in a spacelike or lightlike direction. This is the natural limit of the spacelike cones in the intrinsic localization procedure of [17]. The set of such strings can be parametrized by the one-sheet hyperboloid H 3 M 4 (“de Sitter space”) with neck radius equal to 1 (the use of the limiting case of lightlike strings, parametrized by the celestial spheres S 2 S 2 M 4 , simplifies some formulae; they are a little troublesome from the functional-analytic viewpoint, however).
By way of example, let us look first at the “Abelian” case of helicity r = 1 . Let d μ ( p ) = ( 2 π ) 3 / 2 d 3 p / 2 | p | . The quantum electromagnetic field strength, built on Wigner’s helicity ± 1 unirreps of the Poincaré group, is written as follows:
F μ ν ( x ) = σ = ± d μ ( p ) e i ( p x ) u μ ν σ ( p ) a ( p , σ ) + e i ( p x ) u ¯ μ ν σ ( p ) a ( p , σ ) ,
where ( p x ) g μ ν p μ x ν with mostly negative metric ( g μ ν ) ; the intertwiners are of the form u μ ν σ ( p ) = i e ν σ ( p ) p μ i e μ σ ( p ) p ν , for e ± a polarization zweibein, with u ¯ denoting the complex conjugate of u.
The corresponding string-localized vector field for photons is given by
A μ ( x , e ) = σ = ± d μ ( p ) e i ( p x ) u μ σ ( p , e ) a ( p , σ ) + e i ( p x ) u ¯ μ σ ( p , e ) a ( p , σ ) ,
its intertwiners u μ σ ( p , e ) being of the form ( p e ) e μ ± ( p ) ( e ± ( p ) e ) p μ ( p e ) .
The denominator ( p e ) in u μ σ ( p , e ) is shorthand for the distribution ( p e ) + i 0 1 to be smeared in the string variable e. The following key relations—integral and differential, respectively—are effortlessly derived:
A μ ( x , e ) = 0 d t F ( x + t e ) μ ν e ν ; μ A ν ( x , e ) ν A μ ( x , e ) = F μ ν ( x ) ;
so that A μ ( x , e ) is a bona fide potential for F μ ν ( x ) . For the first identity,
i p μ e λ ± ( p ) p λ e μ ± ( p ) e λ lim ε 0 0 d t e i t ( ( p e ) + i ε ) = e μ ± ( p ) p μ ( e ± ( p ) e ) ( p e ) .
It should be clear that the vector potential A μ ( x , e ) fulfills the equations e μ A μ ( x , e ) = μ A μ ( x , e ) = 0 . These “transversality” properties are necessary for the free field A μ ( x , e ) acting on the physical Hilbert space: see Section 5 of [10]. Their role is to reduce the number of degrees of freedom, as required for on-shell photons, in much the same way that the six components of the electromagnetic field reduced by the Maxwell equations propagate two degrees of freedom. (Only the second could perhaps be taken as a Lorenz “gauge condition”).
The reader should fully appreciate the deep differences between A μ ( x , e ) and the A μ ( x ) potentials of standard QFT. In particular, there are no “pure gauge” configurations in QED or QCD (understood in this paper in the narrow sense of gluodynamics, the theory of pure Yang–Mills fields), when working in SL field theory. The field A μ ( x , e ) lives on the same Fock space as F μ ν . Thus, the second equation in (4) is an operator relation, which is not the case for the similar one in the usual framework. All this makes easier the physical interpretation of the present case.
In contrast with the standard formalism, A μ ( x , e ) is perfectly covariant: for Λ a Lorentz transformation, c a translation, and U the second quantization of the mentioned unirrep pair of the Poincaré group:
U ( c , Λ ) A μ ( x , e ) U ( c , Λ ) = ( Λ 1 ) μ λ A λ ( Λ x + c , Λ e ) .
It is important to realize that the string-differential of the photon field is a gradient:
d e A μ ( x , e ) : = ρ d e ρ A μ ( x , e ) e ρ = σ = ± d μ ( p ) [ e i ( p x ) p μ e ρ σ ( p e ) p ρ p μ ( e σ e ) ( p e ) 2 a ( p , σ ) + e i ( p x ) p μ e ρ σ ( p e ) p ρ p μ ( e σ e ) ( p e ) 2 a ( p , σ ) ] d e ρ = i μ σ = ± d μ ( p ) [ e i ( p x ) e ρ σ ( p e ) p ρ ( e σ e ) ( p e ) 2 a ( p , σ ) e i ( p x ) e ρ σ ( p e ) p ρ ( e σ e ) ( p e ) 2 a ( p , σ ) ] d e ρ = : μ u ( x , e ) .
Naturally, u satisfies the wave equation and ( d e ) 2 A μ = μ d e u ( x , e ) = 0 .
Last, but not least, locality
[ A μ ( x , e ) , A ν ( x , e ) ] = 0
holds whenever the strings x + R + e ˜ and x + R + e are spacelike separated for all e ˜ in some open neighbourhood of e: “causally disjoint”. A proof is found in Appendix C of [29].

2. Dealing with String Independence

Perturbation theory for the SLF is attacked here in the spirit of “renormalization without regularization” of rigorous S -matrix theory [28]. The method engages the construction of a Bogoliubov-type functional scattering operator S [ g ; h ] dependent on a multiplet g of external fields and a test function h D ( H 3 ) with integral 1 that averages over the string directions. S [ g ; h ] is submitted to the customary conditions of causality, unitarity and covariance. One looks for it as a formal power series in g,
S [ g ; h ] : = 1 + n = 1 i n n ! k = 1 n l = 1 m d 4 x k d σ ( e k , l ) g ( x k ) h ( e k , l ) S n ( x 1 , e 1 ; ; x n , e n ) ,
where σ is the measure on H 3 . Only the first-order vertex coupling S 1 = S 1 ( x , e ) , a Wick polynomial in the free fields, is postulated, already under severe restrictions. It depends on an array e = ( e 1 , , e m ) of string coordinates, with m the maximum number of SLFs appearing in a sub-monomial of S 1 . For n 2 , the S n are time-ordered products that need to be constructed. Two sets of strings cannot be ordered, after chopping them into segments if necessary [33], if and only if they touch each other (see the Appendix A for details). The resulting exceptional set
D 2 : = { ( x , e ; x , e ) : ( x + R + e k ) ( x + R + e l ) for some k , l }
is a set of measure zero that includes the diagonal x = x . A similar statement holds for n > 2 . Only that part of S n contributes to S [ g ; h ] that is symmetric under permuting the string coordinates, which are smeared with the same test function h (this symmetry is heavily exploited in the following derivations). The extension of the S n -products across D n is the renormalization problem in a nutshell [34].
The natural and essential hypothesis of interacting SLF theory is simple enough: physical observables and quantities closely related to them, particularly the S -matrix, cannot depend on the string coordinates. This is the intrinsically quantum string independence principle: colloquially, the strings “ought not to be seen”. In this paper, it will replace the “gauge principle” with advantage.
For the physics of the model described by S 1 to be string-independent, one must require that a vector field Q μ ( x , e ) exist such that, after appropriate symmetrization in the string variables
d e 1 S 1 sym = ( Q ) μ Q μ ;
thus, on applying integration by parts in the “adiabatic limit”, as g goes to a set of constants, the contribution from the divergence vanishes. As the covariant S [ g ; h ] approaches the invariant physical scattering matrix S , U ( a , Λ ) S U ( a , Λ ) = S , all dependence on the strings disappears.
On the face of it, existence of the adiabatic limit is the property that S k be integrable distributions. Due to severe infrared problems, the latter does not hold in QCD, which involves us here. However, a recent breakthrough [35] rigorously establishes the existence of a suitable weaker adiabatic limit (WAL) in QCD, and so the above reasoning can proceed. (The cited work is concerned with point-local fields. It can be generalized to the string-local setting in low orders. A proof of WAL at all orders in the SLF context is still awaiting.)

2.1. The Aste–Scharf Argument Recast in SLF Theory

Proposition 1.
Suppose that we are given n massless fields A μ a , ( a = 1 , , n ) . For their mutual cubic coupling modulo divergences, string independence at the first order enables the Wick product combination:
S 1 ( x , e 1 , e 2 ) = g 2 f a b c A μ a ( x , e 1 ) A ν b ( x , e 2 ) F c μ ν ( x ) ,
where f a b c are completely skew-symmetric coefficients (subindices that appear twice are summed over).
Before proceeding, we note that this vertex promulgates a renormalizable theory by power counting. Note also that S 1 is intrinsically symmetric in the string coordinates, and that
d e 1 S 1 = g 2 μ f a b c u a ( x , e 1 ) A ν b ( x , e 2 ) F c μ ν ( x )   = : μ Q μ ( x , e 1 , e 2 ) .
Proof of Proposition 1.
We abbreviate A i A ( x , e i ) for the SLF and make the Ansatz
S 1 ( x , e 1 , e 2 , e 3 ) = g f a b c 1 A μ a 1 A ν b 2 μ A c 3 ν
for the cubic coupling of the fields, with the coefficients f a b c 1 being unknown a priori. We shall show that string independence forces this to be of the form S 1 as in (12), where thos e numerical coefficients f a b c are completely skew-symmetric. We first split f a b c 1 = : d a b c + f a b c 2 into a symmetric ( d a b c = d a c b ) and a skew-symmetric part ( f a b c 2 = f a c b 2 ) under exchange of the second and third indices. After symmetrizing (14) in e 2 e 3 , the contribution of d a b c yields a divergence:
d a b c A μ a 1 ( A ν b 2 μ A c 3 ν + A ν b 3 μ A c 2 ν ) = μ ( d a b c A μ a 1 A ν b 2 A c 3 ν ) .
We can therefore replace S 1 ( x , e 1 , e 2 , e 3 ) by
S 1 ( x , e 1 , e 2 , e 3 ) : = g f a b c 2 A μ a 1 A ν b 2 μ A c 3 ν .
Its symmetrized version satisfies
d e 1 π S 3 S 1 ( x , e π ( 1 ) , e π ( 2 ) , e π ( 3 ) ) = 2 g f a b c 2 ν A μ a 2 μ A b 3 ν + ν A μ b 2 μ A a 3 ν u c 1 + div .
We next split the coefficients f a b c 2 = f a b c + + f a b c into symmetric and skew-symmetric parts under exchange of the first two indices, f a b c ± = ± f b a c ± . The skew-symmetric part f a b c enters into (17), whereas the symmetric part f a b c + contributes
d e 1 π S 3 S 1 ( x , e π ( 1 ) , e π ( 2 ) , e π ( 3 ) ) = 4 g f a b c + ν A μ a 2 μ A b 3 ν u c 1 + div .
By our basic postulate, this must be a divergence. Since the operators ν A μ a 2 μ A b 3 ν u c 1 are linearly independent, that can happen if and only if the symmetric part f a b c + is identically zero. This leads to complete skew-symmetry of the f a b c 2 f a b c = : f a b c ; that is, the string independence principle constrains S 1 in (16) to the form
S 1 = g f a b c A μ a 1 A ν b 2 μ A c 3 ν = g 2 f a b c A μ a 1 A ν b 2 F c μ ν = : S 1 ,
so that the dependence on e 3 is trivial and Formula (12) with the stated skew-symmetry condition is established. □
It is worth pointing out that the above reasoning for the form of S 1 becomes simpler in our SLF context than in the quantum gauge invariance approach; see Section 3.1 of [30], the inference there being in terms of the customary fields and their ungainly retinue of unphysical fields.

2.2. Dealing with String Independence at Second Order: Preliminaries

Perturbative string independence should hold at every order in the couplings, surviving renormalization. Now, the f a b c do not yet a Lie algebra make; for that, one needs to prove a Jacobi identity. This will be obtained from string independence in constructing the functional S -matrix at second order in the couplings.
Outside the exceptional set D 2 from (10), time-ordered products of string-localized fields reduce to ordinary products where the order of terms is determined by the geometric time-ordering of the string segments. There, string variation and derivatives commute with time ordering, and we have
d e 1 S 2 ( x , e 1 , e 2 ; x , e 1 , e 2 ) = d e 1 T S 1 ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) = μ T Q μ ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) .
Above, T denotes a generic time-ordering recipe, that is, an extension of the time ordering across D 2 . It does not automatically follow that (20) holds over the whole  ( x , e 1 , e 2 ; x , e 1 , e 2 ) set. The challenge is to manufacture a time-ordered product S 2 so that this property holds everywhere after appropriate symmetrization in the string variables. The construction of S 2 by solving the obstructions to such an identity will impose the couplings of “non-Abelian gauge theory”. The vector quantity Q μ plays a central role in our development.
Candidate extensions across D 2 are restricted by the requirement that the Wick expansion hold everywhere. We are concerned only with the tree graph for gluon–gluon scattering. Its corresponding amplitude is of the general form
T ( U V ) tree = φ , χ U φ T φ χ V χ ,
where denotes a vacuum expectation value, the sum in the brackets goes over all the free fields entering the monomials U ( x ) , V ( x ) , and we employ formal derivation within the Wick polynomials.
For time-ordered products of the fields entering S 2 in our model, we naturally consider, in the first place,
T 0 φ ( x , e ) χ ( x , e ) : = i ( 2 π ) 4 d 4 p e i ( p ( x x ) ) p 2 + i 0 M φ χ ( p , e , e ) ,
where the M φ χ ( p , e , e ) are given by
M φ χ : = σ u σ ; φ ( p , e ) ¯ u σ ; χ ( p , e ) ,
for the appropriate spacetime indices , , in terms of the respective intertwiners. We need
M μ ν , λ F A ( p , e ) = i p μ g ν λ p ν g μ λ + p λ p ν e μ p μ e ν ( p e ) + i 0 ,
M μ ν , κ λ F F ( p ) = p ν p κ g μ λ + p μ p λ g ν κ p ν p λ g μ κ p μ p κ g ν λ ,
to be found for instance in our [29]. Note that in all generality,
d e T 0 φ ( x , e ) χ ( x , e ) = T 0 d e φ ( x , e ) χ ( x , e ) ,
and similarly for d e .
The problem of resolving the obstructions to Equation (20) reduces to an extension problem for numerical distributions by carefully constructing the contractions (21). At present we have, with completely skew-symmetric coefficients f a b c ,
S 1 = g 2 f a b c A μ a 1 A ν b 2 F c μ ν and Q μ ( x , e 1 , e 2 ) = g 2 f a b c u a 1 A ν b 2 F c μ ν .
Clearly S 1 is symmetric under exchange of the string variables. We want the expression S 2 ( x , e 1 , e 2 ; x , e 1 , e 2 ) to be symmetric under the exchange ( x , e 1 , e 2 ) ( x , e 1 , e 2 ) . Therefore, resolving all obstructions to Equation (20) is equivalent to inspecting the obstruction
O 1 : = d e 1 T 0 ( S 1 ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) ) tree μ T 0 Q μ ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) tree = T 0 μ Q μ ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) tree μ T 0 Q μ ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) tree ,
to investigate how it can be made to vanish after appropriate symmetrization. To this end, with the delta-function δ e along the string e defined as
δ e ( x x ) : = 0 d t δ ( x + t e x ) ,
one obtains, for similarly coloured gluons,
μ T 0 ( F μ ν ( x ) A λ ( x , e ) ) = i g ν λ δ ( x x ) e ν λ δ e ( x x ) ;
μ T 0 ( F μ ν ( x ) F κ λ ( x ) ) = i ( g ν κ λ g ν λ κ ) δ ( x x ) .
These formulae are easily derived by use of Equations (22), (24) and (25), respectively.

2.3. The Jacobi Identity Emerges

We compute, with an eye on (21) and (28),
O 1 = g 2 f a b c χ u a 1 A ν b 2 μ T 0 F c μ ν χ S 1 ( x , e 1 , e 2 ) χ = g 2 4 f a b c f d f c u a 1 A ν b 2 [ μ T 0 F μ ν F κ λ A κ d 1 A λ f 2 + μ T 0 F μ ν A κ 1 A λ d 2 F f κ λ μ T 0 F μ ν A λ 2 A κ d 1 F f κ λ ] ,
where A κ d 1 A κ d ( x , e 1 ) , A λ f 2 A λ f ( x , e 2 ) , and similarly. Employing (30) and (31), this obstruction equals
i g 2 4 f a b c f d f c u a 1 A ν b 2 [ A κ d 1 A λ f 2 ( g ν κ λ g ν λ κ ) δ ( x x ) + A λ d 2 F f κ λ g κ ν δ ( x x ) e 1 ν κ δ e 1 ( x x ) A κ d 1 F f κ λ g λ ν δ ( x x ) e 2 ν λ δ e 2 ( x x ) ] .
Exploiting κ δ e i ( x x ) = x κ δ e i ( x x ) as well as the skew-symmetry of f d f c and Maxwell’s equations for F f κ λ , we see that terms of the type
A λ d 2 F f κ λ κ δ e 1 ( x x ) = κ A λ d 2 F f κ λ δ e 1 ( x x )
form a divergence of an expression supported at the exceptional set D 2 . Integrating by parts in the first line (33), the obstruction reads, up to a divergence supported at D 2 ,
i g 2 4 f a b c f d f c [ λ u a 1 A ν b 2 A d 1 ν A λ f 2 u a 1 λ A ν b 2 A d 1 ν A λ f 2 + κ u a 1 A ν b 2 A κ d 1 A f 2 ν + u a 1 κ A ν b 2 A κ d 1 A f 2 ν + u a 1 A ν b 2 A λ d 2 F f ν λ u a 1 A ν b 2 A κ d 1 F f κ ν ] δ ( x x ) = i g 2 4 f a b c f d f c u a 1 F b μ ν A μ d 1 A ν f 2 + A μ b 2 A ν d 2 F f μ ν + A μ b 2 A ν d 1 F f μ ν δ ( x x )
i g 2 4 f a b c f d f c d e 1 A a 1 μ A ν b 2 A μ d 1 A f 2 ν A a 1 μ A ν b 2 A d 1 ν A μ f 2 δ ( x x ) .
We have used that μ u a 1 = d e 1 A a 1 μ . On symmetrizing in the variables e 2 , e 1 , e 2 , the line (35) becomes proportional to
i g 2 u a 1 F b μ ν A μ d 1 A ν f 2 + A μ d 2 A ν f 2 + A μ d 2 A ν f 1 f a b c f c d f + f a f c f c b d + f a d c f c f b δ ( x x ) .
It follows that the Jacobi identity
f a b c f c d f + f a f c f c b d + f a d c f c f b = 0
is a necessary condition for the obstruction to string independence to vanish.

2.4. The Quartic Term

We still have to deal with the term of the type u A A A d e 1 A A A A in (36). Using the skew-symmetry of the f a b c , symmetrization of (36) in the variables e 1 , e 2 yields the identical symmetrization of
d e 1 i g 2 2 f a b c f d f c A a μ ( x , e 1 ) A b ν ( x , e 2 ) A μ d ( x , e 1 ) A ν f ( x , e 2 ) δ ( x x ) .
Thus, to keep string independence, a summand
i g 2 2 f a b c f d f c A a μ ( x , e 1 ) A b ν ( x , e 2 ) A μ d ( x , e 1 ) A ν f ( x , e 2 ) δ ( x x ) ,
whose string-derivative d e 1 cancels the expression (39), must be added to S 2 . This is the four-gluon coupling, usually attributed to the “covariant derivative” present in the “kinetic” QCD Lagrangian. Now, since in the present dispensation a g 2 A A A A term is also renormalizable to begin with, we could have introduced it from the outset. Then, a discussion parallel to the above leads again to Equation (40), with precisely the same second-order coefficient in the coupling constant.
In summary, string independence of the S -matrix at second order holds if and only if the Jacobi identity with completely skew-symmetric f a b c for the cubic coupling (12) holds and the above quartic term (40) is present at that order in the S -matrix.

3. Discussion

The outcome of the previous arguments, together with the lessons on QFD in [29], is that Lie algebra structures of the compact type of necessity govern interactions in QFT. Compactness is related to complete skew-symmetry: a finite-dimensional Lie algebra structure with generators X a defined by [ X a , X b ] = c f a b c X c does require f a b c = f b a c and the Jacobi identity, but not f a b c = f a c b in general. The extra requirement imposed by string independence leads to a negative definite Killing form and thus semisimple compactness (see for instance Section 3.6 of [36]).
The authors currently know of five different arguments within perturbative QFT for the reductive Lie algebra structure of the interactions: the already classical one by Cornwall, Levin and Tiktopoulos from unitarity bounds at high energy [37]; the Aste–Scharf analysis referred to in Section 2.1; the argument in this paper; and two more found in the book [38]: in its Chapter 27, one is made by elaborating on the spinor-helicity formalism for gluon scattering calculations, and another—most charming of them all—in its Chapter 9 by a variant of Weinberg’s “soft limit” reasoning, long ago applied to link helicity 1 particles with charge conservation and helicity 2 particles with universality of gravity. The irrelevance of the gauge condition in the old direct construction of scattering amplitudes by Zwanziger [39] also comes to mind.
This is a good place to take stock of the lessons from [29]. Our argument there was also motivated, in a somewhat contrarian way, by Marshak’s thoughts on the “neutrino paradigm” in his posthumous book Conceptual Foundations of Modern Particle Physics [40], Chapters 1 and 6 (see also [41]). The sole inputs of our treatment of flavourdynamics in it are the physical particle types, masses and charges: “spontaneous symmetry breaking”, which comes in succour of the conventional gauge models, is not required, since the SLF models are renormalizable to begin with, irrespectively of mass. String independence at first and second order rules the bosonic couplings, just as in gluodynamics; the non-vanishing masses bring only minor complications. Couplings between bosons and fermions a priori are just asked to respect electric charge conservation and Lorentz invariance. Chirality of the couplings is the outcome of general string independence. The proof requires the presence of the scalar particle and is done with Dirac fermions: from the standpoint of SLFs, it does not make sense to say that lepton or quark currents are “chiral” in QFD: their couplings are. (In the current parlance, fermions in the Standard Model are schizophrenic: non-chiral in QCD, chiral in QFD. Certainly, from the SLF treatment, one can reengineer the GWS model and its warts, hypercharges and all, in reverse. This was done in Appendix D of [29]).
The cited book by Marshak is still a very good guide for the discussion that follows, witness perhaps to the lack of progress and “deeply disturbing features” [42] affecting the present theoretical apparatus, in contrast with tremendous progress in the experimental realm during recent years.

3.1. Story of Two Principles

The “gauge principle”, a top-down, classical-geometrical principle which has ruled particle theory for over 60 years, is foreign to QFT. Looking back, a defect—the unavailability in conventional QFT of a Hilbert space framework for massless particles—was elevated into a doctrine. By now, bottom-up, inherently quantum principles for the construction of interactions deserve their place in the sun.
If only for sound epistemological reasons, one should ascertain whither the bottom-up approach leads, in present-day particle physics. A Lie algebra and a local Lie group amount to the same thing. Now, the mathematical beauty and power of spin-offs such as extended field configurations in classical Yang–Mills geometry is not to be denied—it is enough to recall [43]. In turn, it is perfectly legitimate to look for global Lie group features in modern, bottom-up QFT. However, we contend that those need to be constructed as quantum field theory entities and—as anyone who has had to grapple with, e.g., the rigorous definition of Wilson loops for interacting fields in SLF formulations well knows—this is more intricate than presuming classical geometry entities to possess non-perturbative quantum counterparts.
Consider, for instance, Dirac’s ad-hoc non-integrable phase and magnetic monopole (and their progeny of ‘t Hooft–Polyakov monopoles). The basic idea was seductive, and led directly and elegantly to electric charge discreteness. Nevertheless, humbler, essentially perturbative arguments on cancellation of anomalies—up to and including the mixed gravitational-gauge anomaly [44] recalled by Marshak (see Chapter 7 of [40] and [45], among others [46])—are known to provide an explanation for that discreteness (Section 30.4 of [38]). Whereas magnetic monopoles of any kind have stubbornly refused to show up.
This is perhaps the place to comment on the Aharonov–Bohm and Aharonov–Casher effects being held as “proofs” of the “fundamental” character of the standard electromagnetic gauge potential, since the calculation via the electromagnetic field depends on a region where the test particle is not allowed. This is merely a misunderstanding: these effects can be computed by means of the SL A-field, which contains the same information as the F-field. The deep reasons lie in the mind-boggling entanglement properties of QFT, as compared to ordinary quantum mechanics; concretely, in the failure of Haag duality for all quantum massless fields with helicity r 1 . This was shown over 40 years ago [47]. Consult [48] in this respect as well.

3.2. Reassessing the Okubo–Marshak Argument

Marshak was very open to topological and differential-geometric constructions in QFT, and actually Chapter 10 of his book [40], particularly Section 10.3 and Subsection 10.3.c, is still a very good place to learn about instantons and “vacuum tunneling” into topologically inequivalent vacua, apparently leading to the degenerate θ -vacuum—the “strong C P problem”—since the neutron’s electric dipole moment is vanishingly small and, according to some, to the “axion”.
The steps to the claim of existence of this problem are well known. In the Euclidean setting, first, the finiteness of the classical action functional of course requires lim | x | F μ ν ( x ) = 0 , for which it is enough to demand that lim | x | A μ ( x ) U ( x ) μ U ( x ) . It is then said that A is “pure gauge”. By using an A 0 gauge, a winding number n is related directly to the Euclidean action; in fact, one is dealing with the homotopy group of the three-dimensional sphere, which is the group of integer numbers. The next step is to define the vacuum states in Minkowski space in such a way that instantons become “tunneling events” between two different Minkowski vacua | m , | m with respective winding numbers m , m satisfying m m = n . Then, it is argued that the “true vacuum” is of the form | θ = m e i m θ | m with θ | θ = 2 π δ ( θ θ ) , and the value of θ is anyone’s guess. This is aptly described by Marshak in Subsection 10.3.c of [40].
Nevertheless, he came to regard the axion hypothesis as a bridge too far. In [2], it was rigorously proved that the BRS charge “kills” the physical vacuum, which if cyclic must be unique. However, that charge and the antiunitary operator for CPT invariance commute, and this obviously demands a zero (or π ) value for the θ -parameter of the instanton makeup [1]. One could contend that the θ -vacua are non-normalizable (a sign of trouble in itself) and that the physical vacuum is a superposition of them. However, by means of a simple procedure, Okubo and Marshak showed how in that case CPT invariance still guarantees the experimentally measurable value of θ to be zero.
The existence of the original “visible” axion had been already disallowed by experiment and observation [49] by the time of the writing of [40], leading to a succession of “invisible” axions, that must be “super-light”, but still face experimental limitations. Marshak concludes: “It does seem that the odds of finding the ‘invisible’ axion are rapidly diminishing and that the incentive to carry on the ingenious searches for the ‘invisible’ axions is fueled more by astrophysical and cosmological interest than by any hope of salvaging the Peccei–Quinn-type solution of the ‘strong CP problem’ in QCD.” This rings even truer 29 years later.
Making a contention to the same purpose in SLF theory is straightforward. The string-localized vector potentials live on Hilbert space and act cyclically on the vacuum. In fact, every local subalgebra of operators enjoys this property (this is part of the Reeh–Schlieder property [50]). Therefore, θ -vacua are not allowed.
In plainer language: F μ ν ( x ) 0 at spatial infinity implies A μ ( x , e ) 0 . Thus, only the m = 0 vacuum (so to speak) occurs: there are no instantons, and no θ -vacua, and the so-called strong C P problem is solved. The moral of this part of the story is that quantum field theory should stand on its own two feet, rather than on classical crutches.

3.3. Coda

The “strong CP problem” and the axion ideas have undergone mutations from the time of their inception to the present day. The relations of the present-day “invisible” axion with the U A ( 1 ) anomaly remain murky; for a recent review of the latter, consult [51]. The contemporary main selling point is still the “axiverse”; in other words, the search for the axion is nowadays essentially model-free. Absence of evidence is not evidence of absence, to be sure, and so the hunting for ALPs is bound to go on [52].
A weak point of most analyses on the present subject is that confinement is not taken into account. However, it does appear to be inimical to the violation of CP invariance [53].

Author Contributions

All authors listed have made a substantial, direct and intellectual contribution to the work and approved it for publication. All authors have read and agreed to the published version of the manuscript.


During the inception and writing of this article, C.G. received financial support from the Studienstiftung des deutschen Volkes e.V. J.M. received financial support from the Brazilian research agency CNPq, and is also grateful to CAPES and Finep. J.M.G.-B. received support from project C1-051 of the Universidad de Costa Rica, MINECO/FEDER project PGC2018-095328-B-I00, and the COST action CA 18108.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.


JMG-B still treasures a reprint of [1] handed to him by Robert E. Marshak during the latter’s only visit to Spain, in the fall of 1992, shortly before his untimely death. We are grateful to E. Alvarez, P. Duch, A. Herdegen, K.-H. Rehren, B. Schroer, I. Todorov and J. C. Várilly for comments, discussions and helpful suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Time Ordering Outside the String Diagonal

For a vertex coupling S 1 of the form (12), we show S 2 : = T S 1 ( x , e 1 , e 2 ) S 1 ( x , e 1 , e 2 ) is fixed outside the string diagonal D 2 from (10) by the causal factorization property
T ( S 1 S 1 ) = S 1 S 1 or S 1 S 1 ,
depending on the time ordering of the respective localization regions.
In [33], the corresponding statement was shown for the case of first-degree string-localized fields by “chopping” the strings, and it was indicated why the construction runs into difficulties for higher-degree Wick polynomials. In the present case, we are fortunate that the relevant Wick products are just ordinary products (see (A4)), and we are back to the first-degree case. We present the argument in detail.
Let ( x , e 1 , e 2 ; x , e 1 , e 2 ) D 2 with e 1 e 2 , e 1 e 2 . The localization region of S 1 ( x , e 1 , e 2 ) consists of the two strings x + R + e k , each of which is chopped into a small compact “head” R k containing the vertex x and an infinite “tail” S k :
x + R + e k = R k S k , where R k : = x + [ 0 , s k ] e k , S k : = x + [ s k , ) e k .
Accordingly, the string-localized potential decomposes as A μ ( x , e 1 ) = A μ H ( x , e 1 ) + A μ T ( x , e 1 ) , where A μ H is localized in the compact “head” R 1 and A μ T in the “tail” S 1 . The same is true for A μ ( x , e 2 ) . Then, the vertex coupling S 1 is a linear combination of four terms:
S 1 = S 1 H H + S 1 H T + S 1 T H + S 1 T T , S 1 K L : = g 2 f a b c : A μ a K ( e 1 ) A ν b L ( e 2 ) F c μ ν : .
The terms S 1 T H and S 1 T T can be written as
S 1 T H = g 2 f a b c A μ a T ( e 1 ) : A ν b H ( e 2 ) F c μ ν : , S 1 T T = g 2 f a b c A μ a T ( e 1 ) A ν b T ( e 2 ) F c μ ν
and similarly for S 1 H T . We have taken A μ a T ( e 1 ) and A ν b T ( e 2 ) out of the Wick product; this can be done because all contractions between A μ a , A ν b and F c μ ν are zero since the indices a , b , c are distinct by the skew-symmetry of f a b c .
The localization regions of these terms are as follows. The operator product in S 1 T T is the ordinary product of three linear fields: one localized in the string S 1 , another in S 2 and a third at x. S 1 T H is the product of a linear field localized in the string S 1 and a Wick product localized in the compact interval R 2 that can be made arbitrarily small around x. Similarly for S 1 H T . The term S 1 H H is a Wick product localized in R 1 R 2 which also can be made arbitrarily small around x.
We decompose S 1 ( x , e 1 , e 2 ) in like manner. Then, the second order S 2 is a sum of terms of the form T S 1 K L ( e 1 , e 2 ) S 1 K L ( e 1 , e 2 ) , where the operator in brackets is the product of string-localized linear fields and (almost) point-localized Wick products. By our hypothesis that e 1 e 2 and e 1 e 2 , their localization regions are mutually disjoint. By Proposition 2.2 of [33], such regions can be chronologically ordered, eventually after chopping them into segments, and the corresponding operators can be time-ordered according to (A1). As in the proof of in Proposition 3.2 of [33], one sees that the result is Wick’s expansion, where the time-ordering appears only within two-point functions (in contrast to the case considered in [33], here there are products of time-ordered two-point functions, but these are well-defined since they have disjoint arguments). Again by the skew-symmetry of f a b c , only contractions between fields localized on e- and e -strings occur. Therefore, the restriction e 1 e 2 and e 1 e 2 can be removed. The proof is complete.

References and Note

  1. Okubo, S.; Marshak, R.E. Argument for the non-existence of the “Strong CP problem” in QCD. Prog. Theor. Phys. 1992, 87, 1159–1162. [Google Scholar] [CrossRef]
  2. Kugo, T.; Ojima, I. Local covariant operator formalism of non-Abelian gauge theories and quark confinement problem. Prog. Theor. Phys. Suppl. 1979, 66, 1–130. [Google Scholar] [CrossRef][Green Version]
  3. Dirac, P.A.M. Gauge-invariant formulation of quantum electrodynamics. Can. J. Phys. 1955, 33, 650–660. [Google Scholar] [CrossRef]
  4. Mandelstam, S. Quantum electrodynamics without potentials. Ann. Phys. 1962, 19, 1–24. [Google Scholar] [CrossRef]
  5. Buchholz, D.; Fredenhagen, K. Locality and the structure of particle states. Commun. Math. Phys. 1982, 84, 1–54. [Google Scholar] [CrossRef]
  6. Steinmann, O. A Jost–Schroer theorem for string fields. Commun. Math. Phys. 1982, 87, 259–264. [Google Scholar] [CrossRef]
  7. Steinmann, O. Perturbative QED in terms of gauge invariant fields. Ann. Phys. 1984, 157, 232–254. [Google Scholar] [CrossRef]
  8. Steinmann, O. Gauge Invariant Fields in Nonabelian Gauge Theories; Preprint BI-TP-85/4; Bielefeld Universität: Bielefeld, Germany, 1985. [Google Scholar]
  9. Mund, J.; Schroer, B.; Yngvason, J. String-localized quantum fields from Wigner representations. Phys. Lett. B 2004, 596, 156–162. [Google Scholar] [CrossRef][Green Version]
  10. Mund, J.; Schroer, B.; Yngvason, J. String-localized quantum fields and modular localization. Commun. Math. Phys. 2006, 268, 621–672. [Google Scholar] [CrossRef][Green Version]
  11. Borchers, H.J. On revolutionizing quantum field theory with Tomita’s modular theory. J. Math. Phys. 2000, 41, 3604–3673. [Google Scholar] [CrossRef][Green Version]
  12. Connes, A. Noncommutative Geometry; Academic Press: London, UK; San Diego, CA, USA, 1994. [Google Scholar]
  13. Bisognano, J.; Wichmann, E. On the duality condition for quantum fields. J. Math. Phys. 1976, 17, 303–321. [Google Scholar] [CrossRef][Green Version]
  14. Mund, J. The Bisognano–Wichmann theorem for massive theories. Ann. Henri Poincaré 2001, 2, 907–926. [Google Scholar] [CrossRef][Green Version]
  15. Dütsch, M.; Schroer, B. Massive vector bosons and gauge theory. J. Phys. A 2000, 33, 4317–4356. [Google Scholar] [CrossRef]
  16. Fassarella, L.; Schroer, B. Wigner particles and local quantum physics. J. Phys. A 2002, 35, 9123–9164. [Google Scholar] [CrossRef]
  17. Brunetti, R.; Guido, D.; Longo, R. Modular localization and Wigner particles. Rev. Math. Phys. 2002, 14, 759–785. [Google Scholar] [CrossRef][Green Version]
  18. Yngvason, J. Zero-mass infinite spin representations of the Poincaré group and quantum field theory. Commun. Math. Phys. 1970, 18, 195–203. [Google Scholar] [CrossRef]
  19. Weinberg, S. The Quantum Theory of Fields I; Cambridge University Press: Cambridge, MA, USA, 1995. [Google Scholar]
  20. Mund, J.; Rehren, K.-H.; Schroer, B. Helicity decoupling in the massless limit of massive tensor fields. Nucl. Phys. B 2017, 924, 699–727. [Google Scholar] [CrossRef]
  21. Van Dam, T.; Veltman, M. Massive and massless Yang–Mills and gravitational fields. Nucl. Phys. B 1970, 22, 397–411. [Google Scholar] [CrossRef][Green Version]
  22. Zakharov, V.I. Linearized graviton theory and the graviton mass. JETP Lett. 1970, 12, 312–313. [Google Scholar]
  23. Mund, J.; Rehren, K.-H.; Schroer, B. Relations between positivity, localization and degrees of freedom: The Weinberg–Witten theorem and the van Dam–Veltman–Zakharov discontinuity. Phys. Lett. B 2017, 773, 625–631. [Google Scholar] [CrossRef]
  24. Rehren, K.-H. Pauli–Lubański limit and stress-energy tensor for infinite-spin fields. J. High Energy Phys. 2017, 11, 130. [Google Scholar] [CrossRef][Green Version]
  25. Velo, G.; Zwanziger, D. Noncausality and other defects of interaction Lagrangians for particles with spin one and higher. Phys. Rev. 1969, 188, 2218. [Google Scholar] [CrossRef]
  26. Schroer, B. The role of positivity and causality in interactions involving higher spin. Nucl. Phys. B 2019, 941, 91–144. [Google Scholar] [CrossRef]
  27. Mund, J.; Rehren, K.-H.; Schroer, B. Gauss’ law and string-localized quantum field theory. J. High Energy Phys. 2020, 2020, 1. [Google Scholar] [CrossRef][Green Version]
  28. Epstein, H.; Glaser, V.J. The role of locality in perturbation theory. Ann. Inst. Henri Poincaré A 1973, 19, 211–295. [Google Scholar]
  29. Gracia-Bondía, J.M.; Mund, J.; Várilly, J.C. The chirality theorem. Ann. Henri Poincaré 2018, 19, 843–874. [Google Scholar] [CrossRef][Green Version]
  30. Aste, A.; Scharf, G. Non-abelian gauge theories as a consequence of perturbative quantum gauge invariance. Int. J. Mod. Phys. A 1999, 14, 3421–3434. [Google Scholar] [CrossRef][Green Version]
  31. Dütsch, M.; Scharf, G. Perturbative gauge invariance: The electroweak theory. Ann. Phys. 1999, 8, 359–387. [Google Scholar] [CrossRef]
  32. Grigore, D.R. The standard model and its generalizations in the Epstein–Glaser approach to renormalization theory. J. Phys. A Math. Gen. 2000, 33, 8443–8476. [Google Scholar] [CrossRef]
  33. Cardoso, L.T.; Mund, J.; Várilly, J.C. String chopping and time-ordered products of linear string-localized quantum fields. Math. Phys. Anal. Geom. 2018, 21, 3. [Google Scholar] [CrossRef][Green Version]
  34. Gaß, C. Renormalization in string-localized field theories: A microlocal analysis. arXiv 2021, arXiv:2107.12834. [Google Scholar]
  35. Duch, P. Weak adiabatic limit in quantum field theories with massless particles. Ann. Henri Poincaré 2018, 19, 875–935. [Google Scholar] [CrossRef][Green Version]
  36. Duistermaat, J.J.; Kolk, J.A.C. Lie Groups; Springer: Berlin, Germany, 1999. [Google Scholar]
  37. Cornwall, J.M.; Levin, D.N.; Tiktopoulos, G. Derivation of gauge invariance from high-energy unitarity bounds on the S-matrix. Phys. Rev. D 1974, 10, 1145–1167. [Google Scholar] [CrossRef]
  38. Schwartz, M.D. Quantum Field Theory and the Standard Model; Cambridge University Press: Cambridge, MA, USA, 2015. [Google Scholar]
  39. Zwanziger, D. Construction of amplitudes with massless particles and gauge invariance in S-matrix theory. Phys. Rev. 1964, B133, 1036–1045. [Google Scholar] [CrossRef]
  40. Marshak, R.E. Conceptual Foundations of Modern Particle Physics; World Scientific: Singapore, 1993. [Google Scholar]
  41. Gracia-Bondía, J.M. On Marshak’s and Connes’ views of chirality. In A Gift of Prophecy—Essays in Celebration of the Life of Robert Eugene Marshak; Sudarshan, E.C.G., Ed.; World Scientific: Singapore, 1994; pp. 208–217. [Google Scholar]
  42. Lee, T.D. Foreword to Conceptual Foundations of Modern Particle Physics, op. cit.: See [40].
  43. Donaldson, S.K. An application of gauge theory to four-dimensional topology. J. Differ. Geom. 1983, 18, 279–315. [Google Scholar] [CrossRef]
  44. Alvarez-Gaumé, L.; Witten, E. Gravitational anomalies. Nucl. Phys. B 1984, 234, 269–330. [Google Scholar] [CrossRef]
  45. Geng, C.; Marshak, R.E. Reply to “Comment on anomaly cancellation in the Standard Model”. Phys. Rev D 1990, 41, 717–718. [Google Scholar] [CrossRef]
  46. Alvarez, E.; Gracia-Bondía, J.M.; Martín, C.P. Anomaly cancellation and gauge group of the Standard Model in NCG. Phys. Lett. B 1995, 364, 33–40. [Google Scholar] [CrossRef][Green Version]
  47. Leyland, P.; Roberts, J.; Testard, D. Duality for Quantum Free Fields; Preprint 78/P.1016; Centre de Physique Théorique du CNRS: Marseille, France, 1978. [Google Scholar]
  48. Schroer, B. Pascual Jordan’s legacy and the ongoing research in quantum field theory. Eur. Phys. J. H 2010, 35, 377–434. [Google Scholar] [CrossRef][Green Version]
  49. Raffelt, G.; Seckel, D. Bounds on exotic-particle interactions from SN1987A. Phys. Rev. Lett. 1988, 60, 1793–1796. [Google Scholar] [CrossRef]
  50. Witten, E. Notes on some entanglement properties of quantum field theory. Rev. Mod. Phys. 2018, 90, 045003. [Google Scholar] [CrossRef][Green Version]
  51. Azcoiti, V. Axial UA(1) anomaly: A new mechanism to generate massless bosons. Symmetry 2021, 13, 209. [Google Scholar] [CrossRef]
  52. Cebrián, S. The role of small scale experiments in the direct detection of dark matter. Universe 2021, 7, 81. [Google Scholar] [CrossRef]
  53. Nakamura, Y.; Schierholz, G. Does confinement imply CP invariance of the strong interactions? Proc. Sci. 2020, 2019, 172. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Gaß, C.; Gracia-Bondía, J.M.; Mund, J. Revisiting the Okubo–Marshak Argument. Symmetry 2021, 13, 1645.

AMA Style

Gaß C, Gracia-Bondía JM, Mund J. Revisiting the Okubo–Marshak Argument. Symmetry. 2021; 13(9):1645.

Chicago/Turabian Style

Gaß, Christian, José M. Gracia-Bondía, and Jens Mund. 2021. "Revisiting the Okubo–Marshak Argument" Symmetry 13, no. 9: 1645.

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop