Open Access This article is
- freely available
Entropy 2018, 20(7), 483; doi:10.3390/e20070483
Non-Commutative Worlds and Classical Constraints
Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, 851 South Morgan Street, Chicago, IL 60607-7045, USA
Department of Mechanics and Mathematics, Novosibirsk State University, Novosibirsk 630090, Russia
Received: 30 May 2018 / Accepted: 19 June 2018 / Published: 21 June 2018
This paper reviews results about discrete physics and non-commutative worlds and explores further the structure and consequences of constraints linking classical calculus and discrete calculus formulated via commutators. In particular, we review how the formalism of generalized non-commutative electromagnetism follows from a first order constraint and how, via the Kilmister equation, relationships with general relativity follow from a second order constraint. It is remarkable that a second order constraint, based on interlacing the commutative and non-commutative worlds, leads to an equivalent tensor equation at the pole of geodesic coordinates for general relativity.
Keywords:discrete calculus; iterant; commutator; diffusion constant; Levi-Civita connection; curvature tensor; constraints; Kilmister equation; Bianchi identity
Aspects of gauge theory, Hamiltonian mechanics, relativity and quantum mechanics arise naturally in the mathematics of a non-commutative framework for calculus and differential geometry. In this paper, we give a review of our previous results about discrete physics and non-commutative worlds and an introduction to recent work of the author and Anthony Deakin . In examining the foundations of that work, we find new points of view and clarity of proofs as expressed in the later sections of this paper. A key feature of the present paper is a new and concise derivation of the second constraint in Section 4 and a detailed derivation of the related Kilmister equation in Section 5. In Section 6, we determine the third constraint by similar means. At this time, physics associated with the higher order constraints are not known.
We begin by examining discrete dynamical systems. In our exposition, the simplest discrete system corresponds to the square root of minus one, seen as an oscillation between one and minus one. This way, thinking about i as an iterant is explained below. By starting with a discrete time series of positions, one has immediately a non-commutativity of observations, since the measurement of velocity involves the tick of the clock and the measurement of position does not demand the tick of the clock. Commutators that arise from discrete observation suggest a non-commutative calculus, and this calculus leads to a generalization of standard advanced calculus in terms of a non-commutative world. In a non-commutative world, all derivatives are represented by commutators. We review how non-commutative worlds are related to quantum physics and classical physics and review our version of the Feynman-Dyson derivation of the formalism of electromagnetic gauge theory. The rest of the paper then investigates algebraic constraints that bind the commutative and non-commutative worlds. These constraints are demands that time derivatives behave in the non-commutative world analogous to their counterparts in standard advanced calculus. It is one constraint of this type that gives rise to our version of the Feynman-Dyson derivation of electromagnetic formalism. The standard first order constraint requires a quadratic Hamiltonian and so begins a story showing how classical physics arises mathematically from the constraints. The second order constraint turns out, remarkably, to be equivalent to a tensor equation at the pole of canonical coordinates in a relativistic framework. We call this tensor equation the Kilmister equation and it is studied in Section 5 and in our paper with Deakin .
Section 2 is a self-contained version of the concepts in this paper, starting with the non-commutativity of discrete measurements, the introduction of time-shifting operators and the square root of minus one seen as a discrete oscillation, a clock. We proceed from there and analyze the position of the square root of minus one in relation to discrete systems and quantum mechanics. We end this section by fitting together these observations into the structure of the Heisenberg commutator
Section 3 is a review of the context of non-commutative worlds with discussion of the Feynman-Dyson derivation. This section generalizes the concepts in Section 2 and places them in the wider context of non-commutative worlds. The key to this generalization is our method of embedding discrete calculus in the non-commutative context. Section 4 discusses constraints on non-commutative worlds that are imposed by asking for correspondences between forms of classical differentiation and the derivatives represented by commutators in a correpondent non-commutative world. This discussion of constraints parallels work of Tony Deakin [2,3] and is continued in joint work of the author and Deakin . At the level of the second constraint we encounter issues related to general relativity and find that, at the pole of a canonical system of coordinates, the second order constraint is equivalent to the Kilmister equationwhere and R is the curvature tensor corresponding to the metric on spacetime. Section 5 gives a derivation of the Kilmister equation and its relation to the second order constraint, following the original observations of Kilmister . In the present paper, we give a proof that the second order constraint is equivalent to the Kilmister equation. One can regard the Kilmister equation as a higher order replacement for the vacuum Einstein equation (the vanishing of the Ricci tensor). In , this approach to modifying general relativity, and some of its consequences are explored in detail.
Section 5 continues the constraints discussion in Section 4, showing how to generalize to higher-order constraints and obtains a commutator formula for the third order constraint. Appendix A is a very condensed review of the relationship of the Bianchi identity in differential geometry and the Einstein equations for general relativity. We then observe that every derivation in a non-commutative world comes equipped with its own Bianchi identity. This observation suggests another way to investigate general relativity in the non-commutative context.
2. Time Series and Discrete Physics
Consider elementary discrete physics in one dimension. Consider a time series of positions
We can define the velocity by the formulawhere D denotes this discrete derivative. In order to obtain , we need at least one tick of the discrete clock. We define a time-shift operator to handle the fact that once we have observed the time has moved up by one tick.
We adjust the discrete derivative. We shall add an operator J that in this context accomplishes the time shift:
We then redefine the derivative to include this shift:
This readjustment of the derivative rewrites it so that the temporal properties of successive observations are handled automatically.
Discrete observations do not commute. Let A and B denote quantities that we wish to observe in the discrete system. Let denote the result of first observing B and then observing The result of this definition is that a successive observation of the form is distinct from an observation of the form In the first case, we first observe the velocity at time t, and then x is measured at . In the second case, we measure x at t and then measure the velocity.
We measure the difference between these two results by taking a commutatorand we get the following computations where we write
This final result is worth recording:
From this result, we see that the commutator of x and will be constant if is a constant. For a given time-step, this means thatso that
This is a Brownian process with diffusion constant equal to
Thus, we arrive at the result that any discrete process viewed in this framework of discrete observation has the basic commutatorgeneralizing a Brownian process and containing the factor that corresponds to the classical diffusion constant. It is worth noting that the adjusment that we have made to the discrete derivative makes it into a commutator as follows:
By replacing discrete derivatives by commutators, we can express discrete physics in many variables in a context of non-commutative algebra. We enter this generalization in the next section of the paper.
A simplest and fundamental instance of these ideas is seen in the structure of We view i as an iterant [5,6,7,8,9,10,11], a discrete elementary dynamical system repeating in time the values One can think of this system as resulting from the attempt to solve in the form Then, one iterates the transformation and finds the oscillation from a starting value of or In this sense, i is identical in concept to a primordial time. Furthermore, the algebraic structure of the complex numbers emerges from two conjugate views of this discrete series as and . We introduce a temporal shift operator such that and (sufficient to this purpose). Then, we can define endowing it with one view of the discrete oscillation and the sensitivity to shift the clock when interacting with itself or with another operator. Note that if and we take and thenandHence, withwe have
Here we see i emerge in the non-commutative context of the Clifford algebra generated by e and and we see that, in this way, i becomes inextricably identified with elemental time, and so the physical substitution of for t (Wick rotation) becomes, in this epistemology, an act of recognition of the nature of time. One does not have an increment of time all alone as in classical One has a combination of an interval and the elemental dynamic that is time. With this understanding, we can return to the commutator for a discrete process and use for the temporal increment.
We found that discrete observation led to the commutator equationwhich we will simplify totaking q for the position x and for velocity, the time derivative of position and ignoring the time shifting operator on the right-hand side of the equation.
Understanding that should be replaced by and that, by comparison with the physics of a process at the Planck scale, one can takewe havewhenceand we have arrived at Heisenberg’s fundamental relationship between position and momentum. This mode of arrival is predicated on the recognition that represents an interactive interval of time. In the notion of time, there is an inherent clock and an inherent shift of phase that enables a synchrony, a precise dynamic beneath the apparent dynamic of the observed process. Once this substitution is made, once the imaginary value is placed in the temporal circuit, the patterns of quantum mechanics appear. In this way, quantum mechanics can be seen to emerge from the discrete.
3. Review of Non-Commutative Worlds
Now, we begin a general introduction to non-commutative worlds and to a non-commutative discrete calculus. Our approach begins in an algebraic framework that naturally contains the formalism of the calculus, but not its notions of limits or constructions of spaces with specific locations, points and trajectories. Many patterns of physical law fit well into such an abstract framework. In this viewpoint, one dispenses with continuum spacetime and replaces it by algebraic structure. Behind that structure, space stands ready to be constructed, by discrete derivatives and patterns of steps, or by starting with a discrete pattern in the form of a diagram, a network, a lattice, a knot, or a simplicial complex, and elaborating that structure until the specificity of spatio-temporal locations appear.
Poisson brackets allow one to connect classical notions of location with the non-commutative algebra used herein. Below the level of the Poisson brackets is a treatment of processes and operators as though they were variables in the same context as the variables in the classical calculus. In different degrees, one lets go of the notion of classical variables and yet retains their form, as one makes a descent into the discrete. The discrete world of non-commutative operators is a world linked to our familiar world of continuous and commutative variables. This linkage is traditionally exploited in quantum mechanics to make the transition from the classical to the quantum. One can make the journey in the other direction, from the discrete and non-commutative to the “classical” and commutative, but that journey requires powers of invention and ingenuity that are the subject of this exploration. It is our conviction that the world is basically simple. To find simplicity in the complex requires special attention and care.
In starting from a discrete point of view, one thinks of a sequence of states of the world where denotes the state succeeding S in discrete time. It is natural to suppose that there is some measure of difference and some way that states S and T might be combined to form a new state We can thus think of world-states as operators in a non-commutative algebra with a temoporal derivative At this bare level of the formalism, the derivative does not satisfy the Leibniz rule. In fact, it is easy to verify that Remarkably, the Leibniz rule, and hence the formalisms of Newtonian calculus can be restored with the addition of one more operator In this instance, J is a temporal shift operator with the property that for any state We then see that, if then for any states S and In fact, so that this adjusted derivative is a commutator in the general calculus of states. This, in a nutshell, is our approach to non-commutative worlds. We begin with a very general framework that is a non-numerical calculus of states and operators. It is then fascinating and a topic of research to see how physics and mathematics fit into the frameworks so constructed.
Constructions are performed in a Lie algebra One may take to be a specific matrix Lie algebra, or abstract Lie algebra. If is taken to be an abstract Lie algebra, then it is convenient to use the universal enveloping algebra so that the Lie product can be expressed as a commutator. In making general constructions of operators satisfying certain relations, it is understood that one can always begin with free algebra and make a quotient algebra where the relations are satisfied.
On a variant of calculus is built by defining derivations as commutators (or more generally as Lie products). For a fixed N in , one definesby the formulais a derivation satisfying the Leibniz rule.
Discrete Derivatives are Replaced by Commutators. There is a lot of motivation for replacing derivatives by commutators. If denotes (say) a function of a real variable and for a fixed increment define the discrete derivative by the formula and find that the Leibniz rule is not satisfied. One has the basic formula for the discrete derivative of a product:
Correct this deviation from the Leibniz rule by introducing a new non-commutative operator J with the property that
Define a new discrete derivative in an extended non-commutative algebra by the formula
It follows at once that
In the extended algebra, discrete derivatives are represented by commutators, and satisfy the Leibniz rule. One can regard discrete calculus as a subset of non-commutative calculus based on commutators.
Advanced Calculus and Hamiltonian Mechanics or Quantum Mechanics in a Non-Commutative World. In , there are as many derivations as there are elements of the algebra, and these derivations behave quite wildly with respect to one another. If one takes the concept of curvature as the non-commutation of derivations, then is a highly curved world indeed. Within , one can build a tame world of derivations that mimics the behaviour of flat coordinates in Euclidean space. The description of the structure of with respect to these flat coordinates contains many of the equations and patterns of mathematical physics.
The flat coordinates satisfy the equations below with the chosen to represent differentiation with respect to :
Here is the Kronecker delta, equal to 1 when and equal to 0 otherwise. Derivatives are represented by commutators:
Our choice of commutators guarantees that the derivative of a variable with respect to itself is one and that the derivative of a variable with respect to a distinct variable is zero. Furthermore, the commuting of the variables with one another guarantees that mixed partial derivatives are independent of the order of differentiation. This is a flat non-commutative world.
Temporal derivative is represented by commutation with a special (Hamiltonian) element H of the algebra:(For quantum mechanics, take ) These non-commutative coordinates are the simplest flat set of coordinates for description of temporal phenomena in a non-commutative world.
Hamilton’s Equations are Part of the Mathematical Structure of Non-Commutative Advanced Calculus.
These are exactly Hamilton’s equations of motion. The pattern of Hamilton’s equations is built into the system.
The Simplest Time Series Leads to the Diffusion Constant and Heisenberg’s Commuator. Consider a time series with commuting scalar values. Letwhere is an elementary time step (If Q denotes a times series value at time t, then denotes the value of the series at time ). The shift operator J is defined by the equation where this refers to any point in the time series so that for any non-negative integer Moving J across a variable from left to right corresponds to one tick of the clock. This discrete, non-commutative time derivative satisfies the Leibniz rule.
This derivative ∇ also fits a significant pattern of discrete observation. Consider the act of observing Q at a given time and the act of observing (or obtaining) at a given time. Since Q and are ingredients in computing the numerical value associated with it is necessary to let the clock tick once.
Thus, if one first observe Q and then obtains the result is different (for the Q measurement) if one first obtains and then observes In the second case, one finds the value instead of the value due to the tick of the clock.
- Let denote the sequence: observe Q, then obtain
- Let denote the sequence: obtain , then observe
The commutator expresses the difference between these two orders of discrete measurement. In the simplest case, where the elements of the time series are commuting scalars, one has
Thus, one can interpret the equation(k a constant scalar) as
This means that the process is a walk with spatial stepwhere k is a constant. In other words, one has the equation
This is the diffusion constant for a Brownian walk. A walk with spatial step size and time step will satisfy the commutator equation above exactly when the square of the spatial step divided by the time step remains constant. This shows that the diffusion constant of a Brownian process is a structural property of that process, independent of considerations of probability and continuum limits.
Thus, we can write (ignoring the timeshift operator J)
If we work with physics at the Planck scale, then we can take as the Planck time and as the Planck length. Then,where m is the Planck mass. However, we shall also Wick rotate the time from to justifying on the principle (described above) that should be multiplied by i to bring time into coincidence with an elemental time that is both a temporal operator (i) and a value (t). With this, we obtainorand, taking we have finally
Heisenberg’s commutator for quantum mechanics is seen in the nexus of discrete physics and imaginary time.
Schroedinger’s Equation is Discrete. Here is how the Heisenberg form of Schroedinger’s equation fits in this context. Let Then, and we calculate
This is exactly the form of the Heisenberg equation.
Another way to think about this operator is as an approximation to We can then see our discrete model behaving exactly in the framework of a calculus using square zero infinitesimals . Let us recall the bare bones of this model for calculus. We utilize an algebraic entity denoted here by such that and an extended real number systemwhere it is understood that a and b are standard real numbers and that if and only if and It is given that and for any positive real number We multipy by assuming distributivity and using the nilpotence of Thus,
The special infinitesimal is not invertible, but, for those functions that have a well-defined extension to , we can define the derivative by the formula
In the case of the exponential function, we haveas the definition of this extension of the exponential function. The reader should note that this means thatand that this is exactly the result obtained by substitution into the power seriesand using the nilpotency of the Thus, we find that and therefore the derivative of with respect to t is as expected. In the same vein,andfrom which we conclude thatand
With this rapid course in infinitesimal calculus, we return to time shifter
In the nilpotent infinitesimal calculus, we haveand
Note that we can formally multiply and obtain 1 since . We continue to think of as a discrete increment, even though it is infinitesimal. Our time-shift formula isor, equivalently,
With this in mind, we calculate and find:
Thus,from which we conclude thatarriving again at the Heisenberg version of Schroedinger’s equation in the context of nilpotent calculus.
Dynamical Equations Generalize Gauge Theory and Curvature. One can take the general dynamical equation in the formwhere is a collection of elements of Write relative to the flat coordinates via This is a definition of and The formalism of gauge theory appears naturally. In particular, ifthen one has the curvatureand
This is the well-known formula for the curvature of a gauge connection. Aspects of geometry arise naturally in this context, including the Levi-Civita connection (which is seen as a consequence of the Jacobi identity in an appropriate non-commutative world).
One can consider the consequences of the commutator , deriving thatwhere is the analogue of a scalar field, is the analogue of a gauge field and is the Levi-Civita connection associated with This decompositon of the acceleration is uniquely determined by the given framework [13,14,15].
Non-Commutative Electromagnetism and Gauge Theory. One can use this context to revisit the Feynman-Dyson derivation [16,17] of electromagnetism from commutator equations, showing that most of the derivation is independent of any choice of commutators, but highly dependent upon the choice of definitions of the derivatives involved. Without any assumptions about initial commutator equations, but taking the right (in some sense simplest) definitions of the derivatives one obtains a significant generalization of the result of Feynman-Dyson. We give this derivation in  and in [13,14,15] using diagrammatic algebra to clarify the structure. In this section, we use X to denote the position vector rather than as above, and the partial derivatives are each covariant derivatives represented by commutators with , respectively.
With the appropriate [see below] definitions of the operators, and taking
The key to the proof of this Theorem is the definition of the time derivative. This definition is as follows:for all elements or vectors of elements The definition creates a distinction between space and time in the non-commutative world. It can be regarded as an articulation of one extra constraint of the first order in the sense that we describe in Section 4, of this paper.
A calculation reveals that
This suggests taking as the electric field, and as the magnetic field so that the Lorentz force lawis satisfied.
This result can be applied to produce many discrete models of the Theorem. These models show that, just as the commutator describes Brownian motion in one dimension, a generalization of electromagnetism describes the interaction of triples of time series in three dimensions.
Taking as a definition of the partial derivative with respect to time is a natural move in this context because there is no time variable t in this non-commutative world. A formal move of this kind, matching a pattern from the commutative world to the mathematics of the non-commuative world, is the theme of the Section 4 of this paper. In that section, we consider the well known way to associate an operator to a product of commutative variables by taking a sum over all permutations of products of the operators corresponding to the individual variables. This provides a way to associate operator expressions with expressions in the commuative algebra, and hence to let a classical world correspond or map to a non-commutative world. To bind these worlds more closely, we can ask that the formulas for taking derivatives in the commutative world should have symmetrized operator product correspondences in the non-commutative world. In Section 4 and Section 5, we show how the resulting constraints are related to having a quadratic Hamiltonian (first order constraint) and to having a version of general relativity [1,2,3] (second order constraint). Such constraints can be carried to all orders of derivatives, but the algebra of such constraints is, at the present time, in a very primitive state. We discuss some of the complexities of the constraint algebra in Section 6 of this paper.
While there is a large literature on non-commutative geometry, emanating from the idea of replacing a space by its ring of functions, work discussed herein is not written in that tradition. Non-commutative geometry does occur here, in the sense of geometry occuring in the context of non-commutative algebra. Derivations are represented by commutators. There are relationships between the present work and the traditional non-commutative geometry, but that is a subject for further exploration. In no way is this paper intended to be an introduction to that subject. The present summary is based on [13,14,18,19,20,21,22,23,24,25,26] and the references cited therein.
The following references in relation to non-commutative calculus are useful in comparing with the present approach [27,28,29,30]. Much of the present work is the fruit of a long series of discussions with Pierre Noyes, Clive Kilmister and Anthony Deakin. The paper  also works with minimal coupling for the Feynman-Dyson derivation. The first remark about the minimal coupling occurs in the original paper by Dyson , in the context of Poisson brackets. The paper  is worth reading as a companion to Dyson. It is the purpose of this summary to indicate how non-commutative calculus can be used in foundations.
4. Constraints—Classical Physics and General Relativity
The program here is to investigate restrictions in a non-commutative world that are imposed by asking for a specific correspondence between classical variables acting in the usual context of continuum calculus, and non-commutative operators corresponding to these classical variables. By asking for the simplest constraints, we find the need for a quadratic Hamiltonian and a remarkable relationship with Einstein’s equations for general relativity [2,3]. There is a hierarchy of constraints of which we only analyze the first two levels. An appendix to this paper indicates a direction for exploring the algebra of the higher constraints.
If, for example, we let x and y be classical variables and X and Y the corresponding non-commutative operators, then we ask that correspond to and that correspond to for positive integers We further ask that linear combinations of classical variables correspond to linear combinations of the corresponding operators. These restrictions tell us what happens to products. For example, we have classically that This, in turn, must correspond to From this, it follows that corresponds to Hence, corresponds to
By a similar calculation, if are classical variables, then the product correspondst towhere denotes all permutations of Note that we use curly brackets for these symmetrizers and square brackets for commutators as in
We can formulate constraints in the non-commutative world by asking for a correspondence between familiar differentiation formulas in continuum calculus and the corresponding formulas in the non-commutative calculus, where all derivatives are expressed via commutators. We will detail how this constraint algebra works in the first few cases. Exploration of these constraints has been pioneered by Anthony Deakin [2,3,33]. The author of this paper and Tony Deakin have written a paper on the consequences of these contraints in the interface among classical and quantum mechanics and relativity .
Recall that the temporal derivative in a non-commutative world is represented by commutator with an operator H that can be intrepreted as the Hamiltonian operator in certain contexts.
For this discussion, we shall take a collection of operators to represent spatial coordinates . The commute with one another, and the derivatives with respect to are represented by operators so that
We also write
Note that if had indices of its own, then we would use a comma to separate indices indicating a derivative from the given indices. Thus,
We assume that and that the commute with one another (so that mixed partial derivatives with respect to the are independent of order of differentiation).
It will be convenient for us to write in place of in the calculations to follow.
The First Constraint. The first constraint is the equation
This equation expresses the symmetrized version of the usual calculus formula It is worth noting that the first constraint is satisfied by the quadratic Hamiltonianwhere and the commute with the One can show that a quadratic Hamiltonian is necessary for the first order constaint to be satisfied [1,3,13,14]. The fact that the quadratic Hamiltonian is equivalent to the first constraint shows how the constraints bind properties of classical physics (in this case Hamiltonian mechanics) to the non-commutative world.
The Second Constraint. The second constraint is the symmetrized analog of the second temporal derivative:
However, by differentiating the first constraint, we have
Thus, the second constraint is equivalent to the equation
We now reformulate this version of the constraint in the following theorem.
The second constraint in the form is equivalent to the equation
We can shortcut the calculations involved in proving this Theorem by looking at the properties of symbols such that Formally these mimic the behaviour of in the expressions and since , and the Einstein summation convention is in place. Then,
Thus, the second constraint is equivalent to the equation
This in turn is equivalent to the equationcompleting the proof of the Theorem. ☐
If we definethen this is the natural covariant derivative that was described in our discussion of non-commutative electromagnetism in Section 3 of this paper. Thus, the second order constraint is
A Relationship with General Relativity. We choose a non-commutative metric representative in the non-commutative world with an inverse so that and We can use the quadratic Hamiltonian as previously discussed, but we simplify the calculations below by taking No essential difference ensues in the results. We assume that the commute with the coordinate representatives so that for all choices of and similarly for the We take and as described at the beginning of this section. It is then an easy calculation to verify that
More generally, we have the
for an arbitrary element Θ in the non-commutative world algebra that commutes with the .
This completes the proof of the Lemma. ☐
By similar algebra it can be verified that for all Θ such that Θ and commute with all Thus such Θ satisfy the first constraint.
As we have seen in this section, the second order constraint is
Using the explicit form of the covariant derivative derived in the previous paragraph, we have
With , the second constraint becomes the equation
We call this equation the specialized second order constraint. Kilmister observed in correspondence with Deakin  that this last equation is, at the pole of canonical coordinates, equivalent to a fourth order version of Einstein’s field equation for vacuum general relativity:where and R is the curvature tensor corresponding to the metric This equation has been studied by Deakin in [2,3,33] and by Deakin and Kauffman in . It remains to be seen what the full consequences for general relativity are in relation to this formulation, and it remains to be seen what the further consequences of higher order constraints will be. The algebra of the higher order constraints is under investigation at this time.
5. The Kilmister Equation
In this section, we derive the Kilmister equationwhere and R is the curvature tensor corresponding to the metric The derivation is based on explicating these tensors at the origin (pole) of canonical geodesic coordinates for spacetime with respect to the given metric. See Eddington  (p. 79) for a detailed explanation of canonical coordinates. We will show that Kilmister’s equation is, at the pole, equivalent to the specialized second order constraint equationas explained in Section 4 of this paper. This is a remarkable coincidence of structure and suggests that the Kilmister equation should be investigated in the context of general relativity and cosmology. Deakin and Kauffman have begun this investigation in . In this section, we give a complete derivation of the Kilmister equation based on the symmetries of the curvature and connection tensors. More work is needed to understand the relationship between this derivation and the structure of the second order constraint as described in the previous section of this paper.
Calculus in this section is classical continuum calculus. We use the standard notationwhere x denotes a point in 4-dimensional spacetime with the temporal coordinate. We use for the corresponding covariant derivative, which will be made explicit in the calculations below.
In order to perform Kilmister’s derivation, we need to recall properties of the canonical coordinates and the basic symmetries of the Riemann tensor. For the present section, we will refer to formal properties of the Riemann tensor and Levi-Civita connection as we need them. See the Appendix A for more details or Dirac’s book on general relativity  for specifics about these tensors.
Eddingtion observes that, in geodesic coordinates for four-dimensional spacetime, we may assume that the components of the Levi-Civita connectionvanish at that pole. Note that, in general, Eddington further observes that one can assume, without constraining the curvature tensor, thatat the pole. Since the general formula for the Riemann tensor is
We know that at the pole
The general symmetries of the Riemann tensor that we use are:
At the pole of the canonical coordinates,
At the pole,and at the pole
Hence, we haveand
However, at the pole (and more generally),
Therefore,since by anti-symmetry in the indices b and Thus, we have shown that
This completes the proof of the Lemma. ☐
At the pole of the canonical coordinates,
It is generally true that
Thus, at the pole,(using the symmetries of the Riemann tensor). This completes the proof of the Lemma. ☐
Recall the definition of the Ricci Tensor:
Note thatproving the symmetry of the Ricci Tensor.
Since it is generally true thatwe know that at the polesince the Christoffel symbols vanish at the pole. Note that it follows from this vanishing result thatat the pole. Higher derivatives may not be zero, as in the above Lemma.
At the pole of the canonical coordinates,
By the previous Lemma,
This completes the proof of the Lemma. ☐
Now we are ready to obtain the Kilmister equation. For this, we need to invoke the covariant derivative, designated by a semi-colon, not a comma, and the basic formula
From this, it follows that, at the pole,
Note that the other terms in this covariant derivative involve the Christoffel symbols and these vanish at the pole. Thus, we have
Thus, we have shown
At the pole of the canonical coordinates,and
This result follows from the discussion above and the fact at the pole of the canonical coordinates,☐
Thus, we have shown thatsince Thus, we have proved:
Thus, the Kilmister equation is equivalent to the second order constraint articulated in Section 4 of the present paper.
This completes our description of Clive Kilmister’s remarkable derivation of the relationship of the second order constraint with general relativity. All these considerations are motivation for considering the Kilmister tensor equation as a refined version of the vacuum equations for general relativity. In , we explore some of the consequences of the Kilmister equation. The exact relationship of the constraint equation and the Kilmister equation remains mysterious. More work needs to be done in this domain and in exploring the relationship of non-commutative worlds and the tensor geometry of classical spacetime.
6. On the Algebra of Constraints
We have the usual advanced calculus formula We shall define so that we can write We can then calculate successive derivatives with denoting the n-th temporal derivative of
The equality of mixed partial derivatives in these calculations makes it evident that one can use a formalism that hides all the superscripts and subscripts (. In that simplified formalism, we can write
Each successive row is obtained from the previous row by applying the identity in conjunction with the product rule for the derivative.
This procedure can be automated so that one can obtain the formulas for higher order derivatives as far as one desires. These can then be converted into the non-commutative constraint algebra and the consequences examined. Further analysis of this kind will be done in a sequel to this paper.
The interested reader may enjoy seeing how this formalism can be carried out. Below we illustrate a calculation using (Wolfram, Champaign, Illinois, US), where the program already knows how to formally differentiate using the product rule and so only needs to be told that This is said in the equation where stands for and stands for h with x a dummy variable for the differentiation. Here denotes the derivative of with respect to x, as does .
In the calculation below, we have indicated five levels of derivatives. The structure of the coefficients in this recursion is interesting and complex territory. For example, the coefficients of are the triangular numbers but the next series are the coefficients of and these form the series
This series is eventually constant after four discrete differentiations. This is the next simplest series that occurs in this structure after the triangular numbers. To penetrate the full algebra of constraints, we need to understand the structure of these derivatives and their corresponding non-commutative symmetrizations:
Algebra of Constraints
In this section, we work with the hidden index conventions described before in the paper. In this form, the classical versions of the first two constraint equations are
In order to obtain the non-commutative versions of these equations, we replace h by H and by where the capitalized versions are non-commuting operators. The first and second constraints then become
The Second Constraint is equivalent to the commutator equation
Thus, we need
The explicit formula for is
Thus, we require thatwhich is equivalent to
We then note that
Thus, the final form of the second constraint is the equation☐
The Third Constraint. We now go on to an analysis of the third constraint. The third constraint consists in the two equations
- , where
The Third Constraint is equivalent to the commutator equation
We demand that and this becomes the longer equation
This is equivalent to the equation
This, in turn, is equivalent to
This is equivalent to
This is equivalent to
This is equivalent to
The reader can now easily verify thatand that
Thus, we have proved that the third constraint equations are equivalent to the commutator equation
This completes the proof of the Proposition. ☐
Each successive constraint involves the explicit formula for the higher derivatives of coupled with the extra constraint that
We conjecture that each constraint can be expressed as a commutator equation in terms of , H and the derivatives of H, analogous to the formulas that we have found for the first three constraints. This project will continue with a deeper algebraic study of the constraints and their physical meanings.
This work was partially supported by the Laboratory of Topology and Dynamics, Novosibirsk State University (contract No. 14.Y26.31.0025 with the Ministry of Education and Science of the Russian Federation) and by the Simons Foundation Collaboration Grant, Award Number 426075.
It gives the author great pleasure to thank A.D. for many conversations and to remember the contributions and joint work with P.N. and C.K. that are integral parts of the present paper.
Conflicts of Interest
The author declares no conflict of interest.
Appendix A. Einstein’s Equations and the Bianchi Identity
The purpose of this section is to show how the Bianchi identity (see below for its definition) appears in the context of non-commutative worlds. The Bianchi identity is a crucial mathematical ingredient in general relativity. We shall begin with a quick review of the mathematical structure of general relativity (see for example ) and then turn to the context of non-commutative worlds.
The basic tensor in Einstein’s theory of general relativity iswhere is the Ricci tensor and R the scalar curvature. The Ricci tensor and the scalar curvature are both obtained by contraction from the Riemann curvature tensor with and Because the Einstein tensor has vanishing divergence, it is a prime candidate to be proportional to the energy momentum tensor The Einstein field equations are
The reader may wish to recall that the Riemann tensor is obtained from the commutator of a covariant derivative associated with the Levi-Civita connection (built from the space-time metric ). One hasorfor a vector field Withone has
Here, is not the Ricci tensor. It is the Riemann tensor with two internal indices hidden from sight.
One way to understand the mathematical source of the Einstein tensor, and the vanishing of its divergence, is to see it as a contraction of the Bianchi identity for the Riemann tensor. The Bianchi identity stateswhere the index after the colon indicates the covariant derivative. Note also that this can be written in the form
The Bianchi identity is a consequence of local properties of the Levi-Civita connection and consequent symmetries of the Riemann tensor. One relevant symmetry of the Riemann tensor is the equation
We will not give a classical derivation of the Bianchi identity here, but it is instructive to see how its contraction leads to the Einstein tensor. To this end, note that we can contract the Bianchi identity towhich, in the light of the above definition of the Ricci tensor and the symmetries of the Riemann tensor, is the same as
Contract this tensor equation once more to obtainand raise indices
Further symmetry gives
Hence, we havewhich is equivalent to the equation
From this, we conclude that The Einstein tensor has appeared on the stage with vanishing divergence, courtesy of the Bianchi identity!
Bianchi Identity and Jacobi Identity. Now lets turn to the context of non-commutative worlds. We have infinitely many possible convariant derivatives, all of the formfor some elements in the non-commutative world. Choose any such covariant derivative. Then, as in the introduction to this paper, we have the curvaturethat represents the commutator of the covariant derivative with itself in the sense that Note that is not a Ricci tensor, but rather the indication of the external structure of the curvature without any particular choice of linear representation (as is given in the classical case as described above). We then have the Jacobi identity
Writing the Jacobi identity in terms of curvature and covariant differention, we have
Thus, in a non-commutative world, every covariant derivative satisfies its own Bianchi identity. This gives an impetus to study general relativity in non-commutative worlds by looking for covariant derivatives that satisfy the symmetries of the Riemann tensor and link with a metric in an appropriate way. We have only begun this aspect of the investigation. The point of this section has been to show the intimate relationship between the Bianchi idenity and the Jacobi identity that is revealed in the context of non-commutative worlds.
- Deakin, A.M.; Kauffman, L.H. Cosmological theories of the extra terms. arXiv, 2018. [Google Scholar]
- Deakin, A.M. Where does Schroedinger’s equation really come from? In Aspects II—Proceedings of ANPA 20; Bowden, K.G., Ed.; ANPA: Cambridge, UK, 1999. [Google Scholar]
- Deakin, A.M. Progress in constraints theory. In Contexts—Proceedings of ANPA 31; Ford, A.D., Ed.; ANPA: Cambridge, UK, 2011; pp. 164–201. [Google Scholar]
- Kilmister, C. Letter to A. M. Deakin. Unpublished work, 2005.
- Kauffman, L.H. Iterant algebra. Entropy 2017, 19, 347. [Google Scholar] [CrossRef]
- Kauffman, L.H. Sign and Space. In Religious Experience and Scientific Paradigms: Proceedings of the IASWR Conference 1982; Institute of Advanced Study of World Religions: New York, NY, USA, 1985; pp. 118–164. [Google Scholar]
- Kauffman, L.H. Self-reference and recursive forms. J. Soc. Biol. Struct. 1987, 10, 53–72. [Google Scholar] [CrossRef]
- Kauffman, L.H. Special relativity and a calculus of distinctions. In Proceedings of the 9th Annual International Meeting of ANPA, Cambridge, UK, 23 September 1987; pp. 290–311. [Google Scholar]
- Kauffman, L.H. Imaginary values in mathematical logic. In Proceedings of the Seventeenth International Conference on Multiple Valued Logic, Boston, MA, USA, 26–28 May 1987; IEEE Computer Society Press: Washington, DC, USA; pp. 282–289. [Google Scholar]
- Kauffman, L.H. Knot Logic. In Knots and Applications; Kauffman, L., Ed.; World Scientific Publishing: Singapore, 1994; pp. 1–110. [Google Scholar]
- Kauffman, L.H. Biologic. Gen. Theor. Phys. 2002, 304, 313–340. [Google Scholar]
- Bell, J.L. A Primer of Infinitesimal Analysis; Cambridge University Press: Cambridge, UK, 1998. [Google Scholar]
- Kauffman, L.H. Glafka-2004: Non-commutative worlds. Int. J. Theor. Phys. 2006, 45, 1443–1470. [Google Scholar] [CrossRef]
- Kauffman, L.H. Non-commutative worlds. New J. Phys. 2004, 6, 173. [Google Scholar] [CrossRef]
- Kauffman, L.H. Differential geometry in non-commutative worlds. In Quantum Gravity—Mathematical Models and Experimental Bounds; Fauser, B., Tolksdorf, J., Zeidler, E., Eds.; Birkhauser: Basel, Switzerland, 2007; pp. 61–75. [Google Scholar]
- Dyson, F.J. Feynman’s proof of the Maxwell Equations. Am. J. Phys. 1990, 58, 209–211. [Google Scholar] [CrossRef]
- Tanamira, S. Relativistic generalization and extension to the non-Abelian gauge theory of Feynman’s proof of the Maxwell equations. Ann. Phys. 1992, 220, 229–247. [Google Scholar]
- Kauffman, L.H.; Noyes, H.P. Discrete Physics and the Derivation of Electromagnetism from the formalism of Quantum Mechanics. Proc. R. Soc. Lond. A 1996, 452, 81–95. [Google Scholar] [CrossRef]
- Kauffman, L.H. Knots and Physics; World Scientific Publishing: Singapore, 1991. [Google Scholar]
- Kauffman, L.H. Time imaginary value, paradox sign and space. AIP Conf. Proc. 2002, 627, 146. [Google Scholar]
- Kauffman, L.H.; Noyes, H.P. Discrete Physics and the Dirac Equation. Phys. Lett. A 1996, 218, 139–146. [Google Scholar] [CrossRef]
- Kauffman, L.H. Quantum electrodynamic birdtracks. Twist. Newslett. 1996, 41, 15–22. [Google Scholar]
- Kauffman, L.H. Noncommutativity and discrete physics. J. Phys. D 1998, 120, 125–138. [Google Scholar] [CrossRef]
- Kauffman, L.H. Space and time in discrete physics. Int. J. Gen. Syst. 1998, 27, 241–273. [Google Scholar] [CrossRef]
- Kauffman, L.H. A non-commutative approach to discrete physics. In Proceedings of the Annual International Meeting of the Alternative Natural Philosophy Association, Cambridge, UK, 3–8 September 1998; pp. 215–238. [Google Scholar]
- Kauffman, L.H. Non-commutative calculus and discrete physics. arXiv, 2003. [Google Scholar]
- Connes, A. Non-Commutative Geometry; Academic Press: Cambridge, MA, USA, 1990. [Google Scholar]
- Dimakis, A.; Müller-Hoissen, F. Quantum mechanics on a lattice and q-deformations. Phys. Lett. 1992, 295B, 242. [Google Scholar] [CrossRef]
- Forgy, E.A. Differential Geometry in Computational Electromagnetics. Ph.D. Thesis, University of Illinois Urbana-Champaign, Champaign, IL, USA, 2002. [Google Scholar]
- Müller-Hoissen, F. Introduction to non-commutative geometry of commutative algebras and applications in physics. In Proceedings of the 2nd Mexican School on Gravitation and Mathematical Physics, Tlaxcala, Mexico, 1–7 December 1996; Science Network Publication: Kostanz, Germany, 1998. [Google Scholar]
- Montesinos, M.; Perez-Lorenzana, A. Minimal coupling and Feynman’s proof. Int. J. Theor. Phys, 1999; 38, 901. [Google Scholar]
- Hughes, R.J. On Feynman’s proof of the Maxwell Equations. Am. J. Phys. 1992, 60, 301–306. [Google Scholar] [CrossRef]
- Deakin, A.M. Constraints theory brief. In Scientific Essays in Honor of H. Pierre Noyes on the Occasion of His 90th Birthday; Amson, J.C., Kauffman, L.H., Eds.; World Scientific Publishing: Singapore, 2014; pp. 65–76. [Google Scholar]
- Eddington, A.S. The Mathematical Theory of Relativity; Cambridge University Press: Cambridge, UK, 1965. [Google Scholar]
- Dirac, P.A.M. General Theory of Relativity; Wiley & Sons: New York, NY, USA, 1975. [Google Scholar]
- Foster, J.; Nightingale, J.D. A Short Course in General Relativit; Springer: Berlin, Germany, 1995. [Google Scholar]
© 2018 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).