We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that (...) generalizes the Hertz potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

Dirac’s relativistic theory of electron generally results in two possible solutions, one with positive energy and other with negative energy. Although positive energy solutions accurately represented particles such as electrons, interpretation of negative energy solution became very much controversial in the last century. By assuming the vacuum to be completely filled with a sea of negative energy electrons, Dirac tried to avoid natural transition of electron from positive to negative energy state using Pauli’s exclusion principle. However, many scientists (...) like Bohr objected to the idea of sea of electrons as it indicates infinite density of charge and electric field and consequently infinite energy. In addition, till date, there is no experimental evidence of a particle whose total energy (kinetic plus rest) is negative. In an alternative approach, Feynman, in quantum field theory, proposed that particles with negative energy are actually positive energy particles running backwards in time. This was mathematically consistent since quantum mechanical energy operator contains time in denominator and the negative sign of energy can be absorbed in it. However, concept of negative time is logically inconsistent since in this case, effect happens before the cause. To avoid above contradictions, in this paper, we try to reformulate the Dirac’s theory of electron so that neither energy needs to be negative nor the time is required to be negative. Still, in this new formulation, two different possible solutions exist for particles and antiparticles (electrons and positrons). (shrink)

Traditionally, “the operator calculus of Born and Wiener” has been considered one of the four formulations of quantum mechanics that existed in 1926. The present paper reviews the operator calculus as applied by Max Born and Norbert Wiener during the last months of 1925 and the early months of 1926 and its connections with the rise of the new quantum theory. Despite the relevance of this operator calculus, Born–Wiener’s joint contribution to the topic is generally bypassed in historical accounts of (...) quantum mechanics. In this study, we analyse the paper that epitomises the contribution, and we explain the main reasons for the apparent lack of interest in Born and Wiener’s work. We argue that they did not solve the main problem for which the tool was intended, that of linear motion, because of their reluctance to use Dirac delta functions. (shrink)

It has been shown earlier that while strict localization of the free Dirac particle is not describable within the usual mathematical formalism, it is possible to describe sequences of positive-energy states whose spread Δ x =〈(x−x 0)2〉 about any given point x 0 approaches zero, where x is Dirac's position operator. The concept of a generalized function is extended here to allow for the succinct description of localized states in terms of “Asymptotic Localizing Functions.” Localization of both (...) the nonrelativistic particle and the Dirac particle can be adequately represented in this new formalism. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

This study shows how precise simple analytical solutions for the generalized Dirac equation with repulsive vector and attractive energy-dependent Lorentz scalar potentials, position-dependent mass potential, and a tensor interaction term can be obtained within the framework of both similarity transformation and the asymptotic iteration methods. These methods yield a significant improvement over existing approaches and provide more plausible and applicable ways in explaining the pseudospin symmetry’s breaking mechanism in nuclei.

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

Presents a series of generalizations of distributivity operators across a type hierarchy, in order to account for collective-distributive ambiguities for non-subject arguments.

The consequences of a generalized Dirac equation are discussed for the energy levels of the hydrogen atom. Apart from the usual generalizations of the Dirac equation by adding new interaction terms, we generalize the anticommutation rule of the Dirac matrices, which leads to spin-dependent propagation properties. Such a theory can be looked at as a model theory for testing Lorentz invariance or as an outcome of pregeometric dynamical induction schemes for space-time structure.For special examples of (...) class='Hi'>generalized Dirac matrices including perturbation terms with respect to the SRT Dirac matrices, we derive the energy level of the hydrogen atom and find a hyperfine splitting due to these perturbations. A comparison of this additional splitting with Lamb shift measurements gives us upper limits for possible perturbations, which turn out to be of measurable magnitude. Spin precession experiments give much more restrictive limits. So, it turns out that the hydrogen atom is not such a sensitive indicator for the Lorentz invariance as widely believed. (shrink)

In early 1927, Pascual Jordan published his version of what came to be known as the Dirac-Jordan statistical transformation theory. Later that year and partly in response to Jordan, John von Neumann published the modern Hilbert space formalism of quantum mechanics. Central to both formalisms are expressions for conditional probabilities of finding some value for one quantity given the value of another. Beyond that Jordan and von Neumann had very different views about the appropriate formulation of problems in the (...) new theory. For Jordan, unable to let go of the analogy to classical mechanics, the solution of such problems required the identification of sets of canonically conjugate variables, i.e., p’s and q’s. Jordan ran into serious difficulties when he tried to extend his approach from quantities with fully continuous spectra to those with wholly or partly discrete spectra. For von Neumann, not constrained by the analogy to classical physics and aware of the daunting mathematical difficulties facing the approach of Jordan ), the solution of a problem in the new quantum mechanics required only the identification of a maximal set of commuting operators with simultaneous eigenstates. He had no need for p’s and q’s. Related to their disagreement about the appropriate general formalism for the new theory, Jordan and von Neumann stated the characteristic new rules for probabilities in quantum mechanics somewhat differently. Jordan was the first to state those rules in full generality, von Neumann rephrased them and then sought to derive them from more basic considerations. In this paper we reconstruct the central arguments of these 1927 papers by Jordan and von Neumann and of a paper on Jordan’s approach by Hilbert, von Neumann, and Nordheim. We highlight those elements in these papers that bring out the gradual loosening of the ties between the new quantum formalism and classical mechanics. (shrink)

Celem pracy jest analiza formalna pewnych ogólnych własności charakteryzujących wnioskowania. Autorzy twierdzą, że posiadanie tych własności jest warunkiem koniecznym, aby wnioskowanie było logicznie wartościowe. Wprowadzają aksjomatycznie pojęcie "uogólnionej operacji inferencji", które formalnie ujmuje wnioskowanie mające owe cechy. Następnie reprezentują uogólnioną operację inferencji przy użyciu relacji binarnych określonych na podzbiorach języka. Podają również taką reprezentację dla logicznej operacji konsekwencji (każda logiczna operacja konsekwencji jest uogólnioną operacją inferencji).

A fundamental tenet of general relativity is geodesic motion of point particles. For extended objects, however, tidal forces make the trajectories deviate from geodesic form. In fact Mathisson, Papapetrou, and others have found that even in the limit of very small size there exists a residual curvature-spin force. Another important physical case is that of field theory. Here the ray (WKB) approximation may be used to obtain the equation of motion. In this article I consider an alternative procedure, the proper (...) time translation operator formalism, to obtain the covariant Heisenberg equations for the quantum velocity, momentum, and angular momentum operators for the case of spinor fields. I review the flat spacetime results for Dirac particles in Yang-Mills fields, where we recover the Lorentz force. For curved spacetime I find that the geodesic equation is modified by an additional term involving the spin tensor, and the parallel transport equation for the momentum is modified by an additional term involving the curvature tensor. This curvature term is the “Lorentz force” of the gravitational field. The main result of this article is that these equations are exactly the (symmetrized) Mathisson-Papapetrou equations for the quantum operators. Extension of these results to the case of spin-one fields may be possible by use of the KDP formalism. (shrink)

Hamiltonian constraints feature in the canonical formulation of general relativity. Unlike typical constraints they cannot be associated with a reduction procedure leading to a non-trivial reduced phase space and this means the physical interpretation of their quantum analogues is ambiguous. In particular, can we assume that “quantisation commutes with reduction” and treat the promotion of these constraints to operators annihilating the wave function, according to a Dirac type procedure, as leading to a Hilbert space equivalent to that reached (...) by quantisation of the problematic reduced space? If not, how should we interpret Hamiltonian constraints quantum mechanically? And on what basis do we assert that quantisation and reduction commute anyway? These questions will be refined and explored in the context of modern approaches to the quantisation of canonical general relativity. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the spacetime coordinate (...) and ζ varying in the local fiber. The components of a generalized tensor current ℑ μab (M) (x) are introduced, involving a bilinear expression in the fields ω(x, ζ) and ωΔ(x, ζ) integrated over the local fiber at the pointx. This hadronic matter current is considered as a source current for the underlying fiber geometry by coupling it in a gauge-invariant manner to the curvature expressions derived from the bundle connection coefficients, which are associated here with strong interaction effects, i.e., play the role of meson fields induced in the geometry. Studying discrete symmetry transformations between the 16 differently soldered Cartan bundles, a generalized matter-antimatter conjugation Ĉ is established which leaves the basic current-curvature equations Ĉ-invariant. The discrete symmetry transformation Ĉ turns out to be the direct product of an ordinary charge conjugation for the Dirac point-spinor part of ω(x, ζ) and an internal $\hat P\hat T$ transformation applied globally on the bundle to the fiber (i.e., de Sitter) part of ω(x, ζ). (shrink)

Two hundred years ago, Friedrich Schleiermacher took critical issue with Immanuel Kant's intellectual notion of intuition as applied to human nature (Wellmon 2006). He found it necessary to modify—"hermeneutically," as he said—Kant's notion of anthropology by enabling it to include as human the new and strange human tribes Captain Cook found in the Pacific South Seas. A similar hermeneutic move is necessary if physics is to include the local contextual empirical syntheses of relativity and quantum physics. In this hermeneutical revision (...) the synthesis is formed around the notion of a Hilbert Vector Space as the universal grammar of physics, adding to it the dynamic of the Schrödinger equation, and representing empirical "observables" by projection operators that map the subspaces of definite measurable values. Among the set of observable projection operators, some pairs share the same subspace, commute with one another, and share a common laboratory setting. Other pairs do not share this property and are described as being mutually complementary. Complementary symmetries introduce into the discursive language of physics the commonsense notion of contextuality. The new synthesis, proposed by Eugene Wigner, John von Neumann, and (in his own way) Paul Dirac, brought physics into the community of common language and established it as a work of general human achievement. 1. (shrink)

Relativistic quantum mechanics has been formulated as a theory of the evolution ofevents in spacetime; the wave functions are square-integrable functions on the four-dimensional spacetime, parametrized by a universal invariant world time τ. The representation of states with spin is induced with a little group that is the subgroup of O(3, 1) leaving invariant a timelike vector nμ; a positive definite invariant scalar product, for which matrix elements of tensor operators are covariant, emerges from this construction. In a previous (...) study a second-order equation was introduced similar to the second-order Dirac equation, based on a quadratic function of two operators which are the self-adjoint parts, in this new scalar product, of γμpμ. It is shown in this paper that one of these operators, in fact the one from which the gyromagnetic moment is obtained, can be used to construct a first-order equation. The corresponding quantum theory is somewhat analogous to Dirac's spinor form; the Hamilton equations appear to describe dynamical degrees of freedom in a spacelike hyperplane orthogonal to nμ (in Dirac's theory the motion appears to be lightlike). It is shown that the integration over nμ required by unitarity results in timelike motion (as in the expectation value of Dirac's α). Explicit forms are obtained for the wave functions and currents for free motion. The general form of the theory is written for the (five-dimensional) pre-Maxwell fields required by gauge invariance. (shrink)

In this revolutionary work, the author sets the stage for the science of the 21st Century, pursuing an unprecedented synthesis of fields previously considered unrelated. Beginning with simple classical concepts, he ends with a complex multidisciplinary theory requiring a high level of abstraction. The work progresses across the sciences in several multidisciplinary directions: Mathematical logic, fundamental physics, computer science and the theory of intelligence. Extraordinarily enough, the author breaks new ground in all these fields. In the field of fundamental physics (...) the author reaches the revolutionary conclusion that physics can be viewed and studied as logic in a fundamental sense, as compared with Einstein's view of physics as space-time geometry. This opens new, exciting prospects for the study of fundamental interactions. A formulation of logic in terms of matrix operators and logic vector spaces allows the author to tackle for the first time the intractable problem of cognition in a scientific manner. In the same way as the findings of Heisenberg and Dirac in the 1930s provided a conceptual and mathematical foundation for quantum physics, matrix operator logic supports an important breakthrough in the study of the physics of the mind, which is interpreted as a fractal of quantum mechanics. Introducing a concept of logic quantum numbers, the author concludes that the problem of logic and the intelligence code in general can be effectively formulated as eigenvalue problems similar to those of theoretical physics. With this important leap forward in the study of the mechanism of mind, the author concludes that the latter cannot be fully understood either within classical or quantum notions. A higher-order covariant theory is required to accommodate the fundamental effect of high-level intelligence. The landmark results obtained by the author will have implications and repercussions for the very foundations of science as a whole. Moreover, Stern's Matrix Logic is suitable for a broad spectrum of practical applications in contemporary technologies. (shrink)

In previous works we have established that the spacetime probabilistic organization of the quantum theory is determined by the spacetime characteristics of the operations by which the observer produces the objects to be studied (“states” of microsystems) and obtains qualifications of these. Guided by this first conclusion, we have then built a “general syntax of relativized conceptualization” where any description is explicitly and systematically referred to the two basic epistemic operations by which the conceptor introduces the object to be qualified (...) and then obtains qualifications of it. Inside this syntax there emerges a general typology of the relativized descriptions. Here we show that with respect to this typology the type of the predictive quantum mechanical descriptions acquires a precise definition. It appears that the quantum mechanical formalism has captured and has expressed directly in a mathematical language the most complex form in which can occur a first descriptional phase that lies universally at the bottom of any chain of conceptualization. The main features of the Hilbert-Dirac algorithms are decoded in terms of the general syntax of relativized conceptualization. This renders explicit the semantical contents of the quantum mechanical representations relating each one of these to its mathematical quantum mechanical expression. Basic insufficiencies are thus identified and, correlatively, false problems as well as answers to these, or guides toward answers. Globally the results obtained provide a basis for future attempts at a general mathematical representation of the processes of conceptualization. “Il pourrait, en effet, être dangereux pour l'avenir de la Physique qu'elle se contente trop facilement de purs formalismes, d'images floues et d'explications toutes verbales s'exprimant par des mots à signification imprécise”—Louis de Broglie,Certitudes et Incertitudes de la Science (Albin Michel, Paris, 1965). (shrink)

It has been shown by several authors that in operations involving information a quantity appears which is the negative of the quantity usually defined as entropy in similar situations. This quantity ℜ = − KI has been termed “negentropy” and it has been shown that the negentropy of information and the physical entropy S are mirrorlike representations of the same train of events. In physical terminology the energy is degraded by an increase in entropy due to an increased randomness in (...) the positions or velocities of components, wave functions, complexions in phase space; in informational terminology some information about the same components has been lost or the negentropy has been decreased. In equilibrium the system has for a given energy content maximum randomness. One consequence of this dual aspect was the idea to apply the methods of statistical mechanics to problems of communication and Brillouin showed that Fermi-Dirac statistics or generalized Fermi statistics are applicable for example to a transmission of signals such as telegrams. (shrink)

In 1925-26, the late Max Born gave two sets of lectures at M.I.T., one on the structure of the atom, the other on the lattice theory of rigid bodies. Problems of Atomic Dynamics contains the text of both sets.What gives this volume its remarkable interest is just those dates: 1925-26. This must have been, by all accounts, the headiest period in twentieth-century physics, and Max Born was one of the leaders of the ferment. As Norbert Wiener remembers, "When Professor Born (...) came to the United States [for these lectures in 1925] he was enormously excited about the new basis Heisenberg had just given for the quantum theory of the atom."These lectures represent perhaps the most vivid written record of the transition between the "old" quantum theory of Bohr, and the "new" theory. "At the time I began this course of lectures," Born writes, "Heisenberg's first paper on the new quantum theory had just appeared. Here his masterly treatment gave the quantum theory an entirely new turn. The paper of Jordan and myself, in which we recognized the matrix calculus as the proper formulation of Heisenberg's ideas, was in press, and the manuscript of a third paper by the three of us was almost completed."Even as the lecture series progressed, Born became familiar with new results, which he introduced into his presentation: Pauli's fourth quantum number, Dirac's formalism, his own work on a general operational calculus. And yet, in spite of the conditions of revolutionary changes in physics that year -- in which established ancien regime principles were collapsing almost monthly -- the theory is developed with a cool elegance and with a formal completeness which may be regarded as a "limiting case" of its current state. These lectures represent the foundations of quantum theory, and they have withstood the tests of time -- the tests of more than forty years of experimental evidence. (shrink)

By analyzing the Dirac equation with static electric and magnetic fields it is shown that Dirac’s theory is nothing but a generalized one-particle quantum theory compatible with the special theory of relativity. This equation describes a quantum dynamics of a single relativistic fermion, and its solution is reduced to solution of the generalized Pauli equation for two quasiparticles which move in the Euclidean space with their effective masses holding information about the Lorentzian symmetry of the four-dimensional (...) space-time. We reveal the correspondence between the Dirac bispinor and Pauli spinor , and show that all four components of the Dirac bispinor correspond to a fermion . Mixing the particle and antiparticle states is prohibited. On this basis we discuss the paradoxical phenomena of Zitterbewegung and the Klein tunneling. (shrink)

Using a framework of Dirac algebra, the Clifford algebra appropriate for Minkowski space-time, the formulation of classical electromagnetism including both electric and magnetic charge is explored. Employing the two-potential approach of Cabibbo and Ferrari, a Lagrangian is obtained that is dyality invariant and from which it is possible to derive by Hamilton's principle both the symmetrized Maxwell's equations and the equations of motion for both electrically and magnetically charged particles. This latter result is achieved by defining the variation of (...) the action associated with the cross terms of the interaction Lagrangian in terms of a surface integral. The surface integral has an equivalent path-integral form, showing that the contribution of the cross terms is local in nature. The form of these cross terms derives in a natural way from a Dirac algebraic formulation, and, in fact, the use of the geometric product of Dirac algebra is an essential aspect of this derivation. No kinematic restrictions are associated with the derivation, and no relationship between magnetic and electric charge evolves from the (classical) formulation. However, it is indicated that in bound states quantum mechanical considerations will lead to a version of Dirac's quantization condition. A discussion of parity violation of the generalized electromagnetic theory is given, and a new approach to the incorporation of this violation into the formalism is suggested. Possibilities for extensions are mentioned. (shrink)

Recently a new attempt to go beyond QM was performed in the form of so-called prequantum classical statistical field theory (PCSFT). In this approach quantum systems are described by classical random fields, e.g., the electron field or the neutron field. Averages of quantum observables arise as approximations of averages of classical variables (functionals of “prequantum fields”) with respect to fluctuations of fields. For classical variables given by quadratic functionals of fields, quantum and prequantum averages simply coincide. In this paper we (...) generalize PCSFT to the composite quantum system. The main discovery is that, opposite to a rather common opinion, a composite system can be described by the Cartesian product of state spaces (like in classical physics) and not by the tensor product of them (like in conventional QM). A natural interpretation of the quantum pure state for a composite system is proposed: it is the nondiagonal block in the covariance matrix of the random field describing a composite system. The interpretation of a pure state due to Dirac and von Neumann seems to be an artifact of the conventional mathematical description of micro-systems. PCSFT provides a new possibility for interpretation of entanglement. (shrink)

The Hamiltonian for the Einstein equations is constructed on a outgoing null cone with the help of the usual null tetrad. The resulting null surface constraints are shown to be second class in the terminology of Dirac. These second class constraints are eliminated by use of the “starring” procedure of Bergmann and Komar.

In this paper—dedicated to Prof. Asim O. Barut—we generalize the Diracnon-linear electrodynamics by introducing two potentials(namely, the vector potential A and the pseudo-vector potential γ5B of the electromagnetic theorywith charges and magnetic monopoles) and by imposing the pseudoscalar part of the product ωω* to be zero, with ω≡A+γ5B. We show that the field equations of such a theory possess a soliton-like solution which can representa priori a “charged particle,” since it is endowed with a Coulomb field plus the field of (...) a magneticdipole. The rest energy of the soliton is finite, and the angular momentum stored in its electromagnetic field can be identified—for suitable choices of the parameters—with the spin of the charged particle. Thus, this approach seems to yield a classical model for the charged (spinning) particle which does not encounter the problems met by earlier attempts in the same direction. (shrink)

We show that particle-antiparticle exchange and covariant motion reversal are two physically different aspects of the same mathematical transformation, either in the prequantal relativistic equation of motion of a charged point particle, in the general scheme of second quantization, or in the spinning wave equations of Dirac and of Petiau-Duffin-Kemmer. While, classically, charge reversal and rest mass reversal are equivalent operations, in the wave mechanical case mass reversal must be supplemented by exchange of the two adjoint equations, implying ψ (...) ⇄ $\bar \psi$ .Denoting by M the rest mass reversal, P the parity reversal, T the Racah time reversal, and Z the ψ ⇄ $\bar \psi$ exchange, the connection with the usual scheme of charge conjugation, parity reversal, and Wigner motion reversal, is with, of course. (shrink)

In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $lambda$-calculus, the 'call by value' in a context of a 'call by name'. J.L. Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization (...) of this result to other types. (shrink)

Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of certain set-valued mappings between function spaces. This paper deals with the computational properties of these accretive and (generalized) monotone set-valued operators. In particular, we develop (and extend) for this field the theoretical framework of proof mining, a program in mathematical logic that seeks to extract computational information from prima facie “non-computational” proofs from the mainstream literature. To this end, we establish (...) logical metatheorems that guarantee and quantify the computational content of theorems pertaining to accretive and (generalized) monotone set-valued operators. On the one hand, our results unify a number of recent case studies, while they also provide characterizations of central analytical notions in terms of proof theoretic ones on the other, which provides a crucial perspective on needed quantitative assumptions in future applications of proof mining to these branches. (shrink)

I present a general theory of abstraction operators which treats them as variable-binding term- forming operators, and provides a reasonably uniform treatment for definite descriptions, set abstracts, natural number abstraction, and real number abstraction. This minimizing, extensional and relational theory reveals a striking similarity between definite descriptions and set abstracts, and provides a clear rationale for the claim that there is a logic of sets (which is ontologically non- committal). The theory also treats both natural and real numbers (...) as answering to a two-fold process of abstraction. The first step, of conceptual abstraction, yields the object occupying a particular position within an ordering of a certain kind. The second step, of objectual abstraction, yields the number sui generis, as the position itself within any ordering of the kind in question. (shrink)

Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for individuals and the (...) other for classes. The individual variables range over a domain closed under pairing and containing, among other things, natural numbers and operations.All the theories used assume a common group of axioms that insure that the individuals in the domain satisfy the conditions for a partial combinatory algebra with pairing. We also assume a class of natural numbers and a class induction axiom on . Finally there are various class existence axioms. I work mainly with three theories, FMT0, FMT and FMTΩ, which differ from each other both in their class existence axioms as well as in some further applicative axioms.These theories have various interpretations in which every object is explicitly presented by some means of definition as well as classical, or ‘standard’, set-theoretical interpretation. The systems are formulated in a flexible general language which can be used to prove abstract theorems of mathematics , thereby generalizing recursive, hyperarithmetic and admissible versions of classical mathematics.The aim of my work is to give an abstract development of portions of model theory in the afore-mentioned theories, in a way to look as much as possible like classical mathematics. Thus, FMT0 generalizes portions of countable and recursive model theory; FMT further generalizes portions of countable and hyperarithmetical model theory and finally FMTΩ provides a generalization of the classical L-completeness theorem and of an admissible version of L-completeness due to Bruce and Keisler. This continues the development of the program mentioned above, originating with Feferman. (shrink)

. In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On (...) the other hand, it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given. (shrink)

One of the key episodes of history of modern physics – Paul Dirac’s startling contrivance of the relativistic theory of the electron – is elicited in the context of lucid epistemological model of mature theory change. The peculiar character of Dirac’s synthesis of special relativity and quantum mechanics is revealed by comparison with Einstein’s sophisticated methodology of the General Relativity contrivance. The subtle structure of Dirac’s scientific research program and first and foremost the odd principles that put (...) up its powerful heuristics is scrutinized with special emphasis on the highly controversial tenet of “mathematical beauty.” It is contended that despite the relentless Dirac’s remarks denigrating the controversial role of philosophy one can trace its indirect influence through Arthur Eddington’s and Hermann Weyl’s whimsical mathematical models. Accordingly, the milestones of Dirac’s research programme realization in the distinctive context of the applied epistemological doctrine are indicated. (shrink)

The paper offers an interpretation of thesis 6.01. The treatment touches upon variables, identity, elementary propositions, internal relations. Klammerausdrücke, and operations. Wittenstein's notations are found not to cover the particular form of definition by induction that is used at 6 and 6.01. It is concluded that Wittgenstein's ability to design of a formal system of logic does not match his outstanding logico-philosophical insight.

We describe the structure, operation, and experience of the Massachusetts General Hospital ethics committee, formally called the Edwin H. Cassem Optimum Care Committee, from January 2007 through December 2013. Founded in 1974 as one of the nation’s first hospital ethics committees, this committee has primarily focused on the optimum use of life-sustaining treatments. We outline specific sociodemographic and clinical characteristics of consult patients during this period, demographic differences between the adult inpatient population and patients for whom the ethics committee was (...) consulted, and salient features of the consults themselves. We include three case studies that illustrate important consult themes during this period. Our findings expand knowledge about the structure and workings of hospital ethics committees and illustrate how one ethics committee has developed and utilized policies on end-of-life care. More generally, we model a sociological approach to the study of clinical ethics consultation that could be utilized to contextualize institutional practices over time. (shrink)

The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of (...) meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular. (shrink)

Hull et al.'s analysis of operant behavior in terms of interaction and replication does not seem consistent with a genuine selection model. The putative replicators do not replicate, and the overall process is more reminiscent of directed mutation than of natural selection. General analogies between natural selection and operant reinforcement are too superficial to be of much scientific use.

The paper offers an interpretation of thesis 6.01. The treatment touches upon variables, identity, elementary propositions, internal relations. Klammerausdrücke, and operations. Wittenstein's notations are found not to cover the particular form of definition by induction that is used at 6 and 6.01. It is concluded that Wittgenstein's ability to design of a formal system of logic does not match his outstanding logico-philosophical insight.

This article is a preliminary draft for initiating and commencing a new pioneer dimension of expression. To deal with higher-dimensional data or information flowing in this modern era of information technology and artificial intelligence, some innovative super algebraic structures are essential to be formulated. In this paper, we have introduced such matrices that have multiple layers and clusters of layers to portray multi-dimensional data or massively dispersed information of the plithogenic universe made up of numerous subjects their attributes, and sub-attributes. (...) For grasping that field of parallel information, events, and realities flowing from the micro to the macro level of universes, we have constructed hypersoft and hyper-super-soft matrices in a Plithogenic Fuzzy environment. These Matrices classify the non-physical attributes by accumulating the physical subjects and further sort the physical subjects by accumulating their non-physical attributes. We presented themasPlithogenicAttributiveSubjectivelyWholeHyper-Super-Soft-Matrix(PASWHSS-Matrix)andPlithogenic Subjective Attributively Whole-Hyper-Super-Soft-Matrix (PSAWHSS-Matrix). Several types of views and level-layers of these matrices are described. In addition, some local aggregation operators for Plithogenic Fuzzy Hypersoft Set (PPFHS-Set) are developed. Finally, few applications of these matrices and operators are used as numerical examples of COVID-19 data structures. (shrink)

Following the idea of L -fuzzy generalized neighborhood systems as introduced by Zhao et al., we will give the join-complete lattice structures of lower and upper approximation operators based on L -fuzzy generalized neighborhood systems. In particular, as special approximation operators based on L -fuzzy generalized neighborhood systems, we will give the complete lattice structures of lower and upper approximation operators based on L -fuzzy relations. Furthermore, if L satisfies the double negative law, then (...) there exists an order isomorphic mapping between upper and lower approximation operators based on L -fuzzy generalized neighborhood systems; when L -fuzzy generalized neighborhood system is serial, reflexive, and transitive, there still exists an order isomorphic mapping between upper and lower approximation operators, respectively, and both lower and upper approximation operators based on L -fuzzy relations are complete lattice isomorphism. (shrink)

We show that considerable sets of positive linear operators namely their extensions as closures, adjoints or Friedrichs positive self-adjoint extensions form operator (generalized) effect algebras. Moreover, in these cases the partial effect algebraic operation of two operators coincides with usual sum of operators in complex Hilbert spaces whenever it is defined. These sets include also unbounded operators which play important role of observables (e.g., momentum and position) in the mathematical formulation of quantum mechanics.

In 1927, Paul Dirac first explicitly introduced the idea that electrodynamical processes can be evaluated by decomposing them into virtual (modern terminology), energy non-conserving subprocesses. This mode of reasoning structured a lot of the perturbative evaluations of quantum electrodynamics during the 1930s. Although the physical picture connected to Feynman diagrams is no longer based on energy non-conserving transitions but on off-shell particles, emission and absorption subprocesses still remain their fundamental constituents. This article will access the introduction and the initial (...) reception of this picture of subsequent transitions (PST) by conceiving of concepts, models, and their representations as tools for the practitioners. I will argue for a multi-factorial explanation of Dirac’s initial, verbally explicit introduction: the mathematical representation he had developed was highly suggestive and already partly conceptualized; Dirac was philosophical flexible enough to talk about transitions when no actual transitions, according to the general interpretation of quantum mechanics of the time, occurred; and, importantly, Dirac eventually used the verbal exposition in the same paper in which he introduced it. The direct impact of PST on the conception of quantum electrodynamical processes will be exemplified by its reflection in diagrammatical representations. The study of the diverging ontological commitments towards PST immediately after its introduction opens up the prehistory of a philosophical debate that stretches out into the present: the dispute about the representational and ontological status of the physical picture connected to the evaluation of the perturbative series of QED and QFT. (shrink)

The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.