×

Computing the Lagrangians of the standard model. (English) Zbl 1386.81046

Summary: Ordinary quantum logic has well known pathologies rendering it useless for the purposes of computation. However, loosely related logics, based upon variants of Girard’s Linear Logic, have been found useful in the context of quantum computation. In one sense, the use of such computational schemes affords a meta level view of the possible provenance of certain expressions not otherwise apparent. Since such logics are presumed to encapsulate the essential behavior of quantum “resources” we may entertain the question as to whether this logical or computational approach could have any bearing upon quantum physics itself. In this article we address the question of the genesis of certain fundamental Lagrangians, namely those occurring in the standard model. If a certain set of sentences in a logic are added to the set of axioms of the logic the resulting structure is generally called a theory by logicians. In this paper we shall introduce a version of such a logic and deduce some of its physical ramifications. Namely, we will show that there is a single type of sequent that, when added to the logical calculus at hand as an axiom, generates in the theory so defined, series whose leading terms match exactly the Yang-Mills Lagrangian density (including a gauge fixing term) and also the Einstein-Hilbert Lagrangian density, most of the remaining terms being negligible at low intensities in both cases. By expanding the logic somewhat, in the manner of second quantization, we are able also to give an account of interaction terms in the Yang-Mills case. This shows that there is a common form ancestral to all the Lagrangians of the standard model in the ensemble of “evolutionary” trees provided by deductions in a certain clearly specified logic, and reveals the differences between the Yang-Mills and gravitational kinetic terms. Thus we acquire a new paradigm for “unification” of the fundamental forces at the level of the underlying logic.

MSC:

81P68 Quantum computation
03G12 Quantum logic
81T13 Yang-Mills and other gauge theories in quantum field theory
70S05 Lagrangian formalism and Hamiltonian formalism in mechanics of particles and systems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bjorken, J. D.; Drell, D., Relativistic Quantum Fields (1965), McGraw-Hill Book Company: McGraw-Hill Book Company New York · Zbl 0184.54201
[2] Blute, R. F.; Panangaden, P.; Seely, R. A.G., Holomorphic models of exponential types in linear logic, (Mathematical Foundations of Programming Semantics. Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, vol. 802 (1994), Springer-Verlag: Springer-Verlag Berlin, Heidelberg, New York) · Zbl 1509.18020
[3] Blute, R.; Panangaden, P., Dagger categories and formal distributions, (Springer Lecture Notes in Physics, vol. 813 (2011), Springer-Verlag: Springer-Verlag Berlin, Heidelberg, New York) · Zbl 1253.81006
[4] Doplicher, S.; Roberts, J., A new duality theorem for compact groups, Invent. Math., 98, 1, 157-218 (1989) · Zbl 0691.22002
[5] Mallios, A., Modern Differential Geometry in Gauge Theories. Volume I: Maxwell Fields (2006), Birkhäuser: Birkhäuser Boston, Basel, Berlin
[6] Selesnick, S. A., Second quantization, projective modules, and local gauge invariance, Int. J. Theor. Phys., 22, 1, 29-52 (1983) · Zbl 0518.58024
[7] Selesnick, S. A., Dirac’s equation on the quantum net, J. Math. Phys., 35, 8, 3936-3958 (1994) · Zbl 0811.58068
[8] Selesnick, S. A., Foundation for quantum computing, Int. J. Theor. Phys., 42, 3, 383-426 (2003) · Zbl 1038.81012
[9] Selesnick, S. A., Foundation for quantum computing II, Int. J. Theor. Phys., 46, 4, 984-1002 (2007) · Zbl 1121.81031
[10] Selesnick, S. A., Type structure and chiral breaking in the standard model, J. Math. Phys., 48, 7 (2007) · Zbl 1144.81409
[11] Selesnick, S. A., Some quantum symmetries and their breaking I, Int. J. Theor. Phys., 51, 3, 87-900 (2012) · Zbl 1243.81228
[12] Selesnick, S. A., Action, quantum computation and the structure of the Yang-Mills Lagrangian, Quantum Studies Math. Found., 1, 173-185 (2014) · Zbl 1305.81056
[13] Weinberg, S., The Quantum Theory of Fields. Volume I: Foundations (1995), Cambridge University Press: Cambridge University Press Cambridge
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.