A Potential Foundation for Emergent Space-Time

We present a novel derivation of both the Minkowski metric and Lorentz transformations from the consistent quantification of a causally ordered set of events with respect to an embedded observer. Unlike past derivations, which have relied on assumptions such as the existence of a 4-dimensional manifold, symmetries of space-time, or the constant speed of light, we demonstrate that these now familiar mathematics can be derived as the unique means to consistently quantify a network of events. This suggests that space-time need not be physical, but instead the mathematics of space and time emerges as the unique way in which an observer can consistently quantify events and their relationships to one another. The result is a potential foundation for emergent space-time.


I. INTRODUCTION
The unification of space and time into the concept of space-time is the centerpiece of one of the greatest scientific revolutions of the last century. 10,29 The relationship between space and time as demonstrated by Einstein relied on two postulates: the principle of relativity and the constancy of the speed of light. 10 The principle of relativity represents a requirement of consistency, whereas the constancy of the speed of light represents an experimentally determined result. One might wonder if it is at all possible to demonstrate the precise relationship between space and time through logical means by requiring consistency in the spirit of Einstein along with some other principle or principles more fundamental than something that requires experimental observation, such as the constant speed of light. A serious effort in this direction was undertaken by Robb. 34 However, since space-time has come to be thought of as something that physically exists, it would not make any sense from this view to derive its properties through purely logical means. One would expect to need to know something about space-time to recover its properties.
However, more recently, the idea that space-time is neither physical nor fundamental has been growing. 35 The idea is that space and time may emerge from more fundamental relations or phenomena. In one sense, this idea is not necessarily new. In addition to the older ideas, such as space as a container or space as a substance, which have mostly dominated our perspectives of space, is the view that space represents a relation between objects. This relational viewpoint, space as relation, which was proposed by the 11th century Islamic philosopher Al-Ghazālī, by the 17th century philosopher and mathematician Leibniz, by Kant in the 18th century, and Poincare in the 19th century has captured relatively little interest since Newton proposed the concepts of absolute space and time, which proved to have great predictive success.
We demonstrate that concepts of space and time, and their precise relation to one another, can emerge as a representation of relations among causally related events. While we take causality as a postulate, we have demonstrated in other work 22,23 that it is of benefit to push back further and consider the idea that directed particle-particle interactions enable one to define a causal ordering a) Also at Department of Informatics, University at Albany (SUNY), Albany, New York 12222, USA. Electronic mail: kknuth@albany.edu.
0022-2488/2014/55(11)/112501/35 C Author(s) 2014 55, 112501-1 among related events. The basic idea is that everything that is detected or measured is the direct result of something influencing something else. We focus on an intentionally simplistic, but fundamental, picture of influence where we consider the process of influence to connect and order the act of influencing and the act of being influenced. We refer to each of these two acts with the generic term event, so that the event associated with the act of influencing causes the event associated with the act of being influenced. This generic process of influence, along with the notion of transitivity of such influence, allows events to be partially ordered. This results in a mathematical structure referred to as a partially ordered set, or a poset for short, which is the same as a directed acyclic graph (DAG). This mathematical structure simply encodes the causal relationships among events. In this exploration, we will not be concerned with differentiating between distinct types of influence and their corresponding events. That is, we consider only one type of influence. Moreover, events can be coarse-grained so that connectivity of the poset can change depending on the magnification level. In this paper, the events discussed typically represent coarse-grained events as opposed to the fundamental microscopic events considered in our other work, 22,23 which has been shown to result in Fermion physics and the Dirac equation.
Partially ordered sets of events ordered by causal influence were introduced by Bombelli et al. 4 and called causal sets or causets. Over the last 20 years, causal sets have been championed by Sorkin 36,37 and employed in approaches to quantum gravity. As such, they are typically endowed with, or embedded within, a Minkowski geometry exhibiting Lorentz invariance. 5 We approach the problem from another direction entirely. We do not conceive of these events as having taken place in some kind of space or time. Instead, we are focused on the concept that particles can interact with one another and these interactions define events as well as their causal order. As a result the poset of events is taken to be the fundamental structure. Moreover, rather than endowing it with additional properties, our goal is simply to identify a consistent means by which events in the poset can be quantified, where the process of quantification entails assigning numbers to elements, or sets of elements, of posets, with the aim of numerically representing their relationships to one another. More precisely, the process of quantification consists of defining order-preserving maps from the poset elements to real numbers. Whereas assumptions or hypotheses regarding the properties of events or relationships between events have the potential to be right or wrong, consistent quantification can only be useful or not useful.
From our previous studies in quantifying lattices, which are special cases of partially ordered sets, 30 we have found that the lattice symmetries constrain quantification resulting in constraint equations representing familiar sum and product rules, [17][18][19][20][21]25 which in the past have either been postulated or derived by other means. Most recently, we have demonstrated how the relations among quantum-mechanical experimental setups, which are described by twoterminal series parallel (TTSP) graphs, sufficiently constrain the pair-wise quantification of measurement sequences resulting in constraint equations, which amount to the complex sum and product rules 13,14 of the Feynman path integral formulation of quantum mechanics. 11 The relevant insight is that the symmetries exhibited by an order-theoretic structure impose constraints on any quantification scheme resulting in constraint equations that represent physical laws.
Here we consider a universe of causally related events, mediated by interactions, in which are embedded multiple observers each represented by a chain of events. We demonstrate, through detailed proofs, that consistent relationships among a set of observers restricts any attempt at consistent quantification to a class of quantification schemes where observer-observer consistency results in constraint equations that represent a discrete version of the Minkowski metric and Lorentz transformations.
In Sec. II, we introduce the concept of a distinguished chain, which can be used to represent an observer or an embedded agent. Quantification of events and closed intervals along chains is established in Sec. III. In Sec. IV, these results are extended to quantify poset events. In Sec. V, we discuss chain-induced structure in the poset and follow this with Sec. VI where we address quantification of intervals between events. There we demonstrate that consistent quantification with respect to multiple chains exhibiting a constant relationship with one another results in a metric analogous to the Minkowski metric and that transformation of the quantification with respect to one pair of chains to quantification with respect to another pair of chains results in a pairtransform, which is analogous to the Bondi k-calculus formulation of Lorentz transformations. 6 In Sec. VII, we demonstrate how this results in the mathematics of flat space-time. Finally, in Sec. VIII, we develop the concept of subspace projection, which gives rise to the dot product. Collectively, these results suggest that the concept of space-time geometry emerges as the unique way for an embedded observer or agent to consistently quantify a partially ordered set of events.

II. EVENTS, CHAINS, AND OBSERVERS
Influence is bounded by two events: the action of influencing and the reaction to being influenced. As such, influence can be viewed as a binary ordering relation, which relates pairs of events. That is, if event x influences event y, we write x ≤ y, and generically read "y includes x". The ordering relation is postulated to satisfy the following properties for elements x, y, and z: Taken together, these postulates result in a partially ordered set, or poset, of events. Given any pair of events, it is not always true that one event is influenced by the other. In this case, we say that the events are incomparable and write x || z. Last, we note that x < y is interpreted as x ≤ y where x = y. Some posets, such as lattices, possess symmetries that give rise to algebraic structures that can be used to guide consistent quantification. 13,14,17,20,25 However, this is not the case for posets in general, where often the only structure present is the partial ordering itself. Given that our present goal is to discover what minimal structure is necessary to obtain useful constraints on the consistent quantification of events, we propose to introduce additional structure simply by distinguishing a set of events, such as a finite chain, and quantifying a subset of the poset with respect to the distinguished set.
A chain is a subset of poset elements where for every element x and y in the chain we have that either x ≤ y or y ≤ x, so that the elements comprising the chain are totally ordered. In other words, a chain consists of a set of events which occur in succession. It is the mental image of an observer with a clock taking note of the time at which events are observed that leads us to refer to the distinguished chain as an observer chain. However, we stress that we are not directly assuming a notion of time. Instead, we have a notion of succession, which derives from the notion of causality since a set of binary comparisons, such as x ≤ y and y ≤ z, enables one to define a chain of successive events x < y < z. We will demonstrate that the ordered events along a chain define time.
In Secs. III-VIII, we focus on mathematics and introduce a consistent means by which one can quantify elements on a chain, as well as the intervals between elements on a chain. By extending such quantification to a subset of the poset of events, we obtain a set of mathematical relations that enable a quantitative description of events in general.

III. QUANTIFYING A CHAIN
We begin by considering the consistent quantification of a finite chain of elements by assigning numbers to chain elements as well as intervals of elements along the chain. This will be accomplished by defining an order-preserving map from elements of the chain to real numbers.

A. Valuations
We quantify elements of a chain P by defining a functional v P , called an monotonic valuation, that takes each element p of the chain P to a real number v P ( p) such that for every p x , p y ∈ P where p x < p y we have that v P ( p x ) ≤ v P ( p y ). The potential equality in the valuation is intentional as it allows for coarse graining where successive elements may be assigned the same number. The valuation v P takes the N elements of the finite chain P, p 1 , p 2 , . . . , p N , to a sequence of real numbers v P ( p 1 ) ≤ v P ( p 2 ) ≤ . . . ≤ v P ( p N ). To simplify the notation, we overload the symbol that labels an element, such as p, by using it to also represent the valuation v P ( p) assigned to that element. It will be understood from context whether the p refers to the element or its real-valued valuation.

B. Closed intervals
Any pair of elements p i and p j on the chain P defines a unique set of elements called a closed interval, denoted [p i , p j ] P , such that where the subscript P indicates that the elements of the set belong to the chain P. Closed intervals can be quantified by defining an isotonic valuation φ, which is a functional that takes a closed interval I P to a real number φ( Since general rules apply to specific cases, one can constrain the form of a general rule by considering special cases. Consider joining two intervals that share a single element, which can be written as a set union By writing I = [p i , p k ] P , J = [p i , p j ] P , K = [p j , p k ] P , we can rewrite the expression above as I = J ∪ K. Since the interval I is related to both intervals J and K, consistent quantification requires that the valuation quantifying I must be some function of the valuations quantifying intervals J and K. This relation can be expressed as where represents an unknown function, to be determined, that takes the valuations assigned to the closed intervals J and K to the valuation assigned to I = J ∪ K.
We can now consider joining a third closed interval, L = [p k , p m ] P sharing only the element p k with K = [p j , p k ] P , and note that the joining process obeys associativity so that the order in which closed intervals are joined does not matter By applying (3), we find that the function must also be associative which is made more apparent by writing α = φ(J), β = φ(K) and γ = φ(L) so that Equation (6) is a functional equation for the function , which is known as the associativity equation. 1,2,25 Its general solution is where f is an arbitrary invertible function. 1,2,25 This implies that the function in (3) is some invertible transform of additivity. That is, there exists an invertible function f, which allows one to perform a regraduation of the valuation φ to a more convenient valuation d = f • φ so that d(I) = f (φ(I)) and whenever I = J ∪ K and J ∩ K is a singleton set. 31 We refer to this valuation d of closed intervals along a chain as the length of the interval. We now consider closed intervals such as Since the closed interval is defined by its endpoints, we require its length to be a function s of the valuations assigned to the endpoints of the closed interval: where the function s is to be determined, the a and b in d([a, b] P ) represent the chain elements, and the a and b in s(a, b) represent the valuations of the chain elements. By applying (8) we have a functional equation for the function s which has as its solution where g is an arbitrary function, since s(a, c) cannot depend on b.
Since g is an arbitrary function, we lose no generality by taking it to be the identity, so that s(a, b) = b − a. The result is that we have proved that we lose no generality by taking the length of the interval to be the difference of the valuations assigned to its endpoints which is the usual lattice distance function 3 (p. 230). It should be noted that we have not simply shown that one can quantify intervals this way, we have shown that one must quantify intervals this way in the sense that any quantification scheme that one could use must be an invertible transform of (13).

IV. QUANTIFICATION OF A POSET BY CHAIN PROJECTION
In this section, we focus on mathematics and examine the quantification of a partially ordered set by introducing a method which we call chain projection. We limit ourselves to partially ordered sets in which a finite chain P comprised of N distinct elements can be identified 32 and, using the results of Sec. III, introduce a consistent method by which the chain can be quantified. By introducing the notion of a projection onto a chain, we extend the quantification of a chain to a subset of the poset. Note that we will find that it is not guaranteed that the entire poset can be quantified in such a manner. While the result holds in general for all such posets, this fact has important consequences for the resulting physics of events and the mathematics of space and time. Note that in (D) the element x can be mapped to two elements on P using the projection operators P and P so that Px = p L and Px = p U . Poset elements exhibiting this relationship to the chain can be quantified in two ways by inheriting the quantification v P ( p x ) and v P ( p x ) of the elements p x and p x .

A. Chain projection mapping
We consider the possible relationships between the chain P and elements of the poset . Given an element x ∈ and x ∈ P, one of the four following situations (illustrated in Figure 1) holds: A. P and x are incomparable We say that the poset element x can be projected onto a chain P if there exists an element p ∈ P such that x ≤ p (Cases C and D). If this is the case, then the forward projection, or simply projection,  of x onto the chain P is given by the least event p x on the chain P such that x ≤ p x where p x := min {p ∈ P|x ≤ p}, which is indicated by the index U above. Since the projection of an element onto a chain, if it exists, is unique, we can define the projection to be a functional P : x ∈ → p x ∈ P where the domain is {x|x ≤ p max } where p max is the greatest element of the chain. By applying this functional to the element x, we have p x = Px. Note that the functional is named after the chain. Similarly, one can define a projection map Q onto another chain Q.
One can also consider the dual projection 33 or backward projection P where one identifies the greatest element p x on the chain that is included by the poset element x. We can define a functional P that takes elements x from the domain {x|p min ≤ x}, where p min is the least element of the chain, to an element of the chain given by p x = Px := max{ p ∈ P| p ≤ x}. This corresponds to the element indexed by L above (Cases B and D).
The forward and backward projections, P and P take poset elements in their respective domains to elements on the chain P. We can define a functional called the chain projection map that takes a poset element x in the intersection of the domains of P and P and maps it to an ordered pair of chain elements (Case D) given by (Px, P x). The chain projection map provides information about the connectivity of a poset from the perspective of the observer chain. By composing the chain projection map with the valuation map from chain elements to real numbers, the valuation can be extended from the chain itself to poset elements that both forward and backward project onto the chain. That is, a poset element x that projects to (Px, Px) can be quantified by the pair of real numbers (v P (Px), v P (Px)). Figure 2 illustrates quantification of a poset by chain projection. Such quantification results in a set of chain-based coordinates that are dependent on the particular chain used for quantification. Note that since an element x on the chain P satisfies x = Px = Px, it is quantified by the pair (v P (x), v P (x)). While the chain projection map does not ensure that all elements in the partially ordered set will be quantified, we will find it to be extremely useful.

B. Generalized intervals
We extend the concept of a closed interval on an ordered chain to that of a generalized interval. A generalized interval, denoted [x, y], is identified by an ordered pair of elements x, y ∈ , each of which is called an endpoint. Note that x and y may be elements of different chains, and thus are either comparable or incomparable. For this reason, the subscript referring to a chain has been dropped from the notation. Henceforth we shall refer to a generalized interval simply as an interval.
The remainder of the paper will focus on deriving a quantification of intervals via chain projection. However, before we consider such quantification, we first explore the structure revealed by distinguishing an observer chain.

V. CHAIN-INDUCED STRUCTURE
Together, the act of distinguishing an observer chain and the technique of chain projection effectively map a subset of poset elements, and hence intervals, onto chain elements and closed intervals, respectively. This reveals information about the connectivity of the poset of events from the perspective of the distinguished chain by specifically indicating the relationship between the chain and the poset elements in the quantified subset. As such, by considering the poset along with the distinguished chain, the chain projection mapping has the effect of inducing structure in a poset which alone may lack any inherent characteristic structure or symmetry.
In this section, we explore the structure induced by such mappings in the case of multiple quantifying chains where closed intervals along one quantifying chain project to closed intervals along another quantifying chain. For arbitrary chains in a general poset, one does not expect there to be a relationship between such projections. However, in the special case where a set of multiple quantifying chains mutually agree in their quantification of one another we show that there exists a unique consistent pair-wise and scalar quantification of intervals. This sets the stage for an observerbased geometry.

A. Induced subspaces
In this section, we demonstrate how multiple chains can induce a subspace within the poset. We begin by introducing the concept of collinearity.

Collinearity
An element x that possesses both backward and forward projections onto two distinct finite chains P and Q is said to be collinear with those projections iff each of its projections onto P can be found by first projecting onto Q and then onto P, and vice versa.
There are five ways that this can be realized without violating the partial order (illustrated in Figure 3): 3. An illustration of the five ways in which an element x can be collinear with its projections onto two distinct finite chains. In this way, an element can be said to be either on one side or the other of, or between, a pair of chains. This introduces the concept of directionality to the subspace generated by the coordinated chains P and Q.
While these situations enable one to relate the element x to its projections onto the chains, it is impossible to describe its relation to the finite portions of a chain between backward and forward projections of x. Cases IV and V highlight one of the complications that arises where the chains perform a half-twist relative to x in the segment between the projections. One could imagine that something like this could happen in Cases I-III as well since the chains could undergo an integral number of full-twists in the segments between the forward and backward projections of x. However, such behavior could only be defined by projecting elements other than x onto the chains. Considering x alone, such possibilities are irrelevant. Note that Cases I-III are invariant with respect to interchange of the forward and backward projections. In other words the sub-poset defined by the chains and the element x is dual to itself with respect to the ordering relation. This leads us to the more refined concept of proper collinearity, which enables us to consistently order the chains with respect to the forward and backward projections of element x.

Proper collinearity
An element x that possesses both backward and forward projections onto two distinct finite chains P and Q is said to be properly collinear with its projections onto P and Q iff it is collinear with its projections onto the two chains and those projections are invariant with respect to reversing the ordering relation ( Figure 4).
We can extend the concept of proper collinearity to chains.
The element x is not only properly collinear with, but also between, chains P and Q since Px = P Qx and Qx = Q Px. In this situation, quantification can be performed by considering only forward projections, such as Px and Qx. (Right) An example of an element x which is not collinear with the chains P and Q. In this sense, the chains P and Q define a subspace, which can include or exclude elements. Note that the definition of the projection imposes the constraint that P Qx ≤ Px, and similarly for the other pairs of projections.
A finite chain X, with least element x min and greatest element x max , is said to be properly collinear with P and Q iff each element x ∈ X is properly collinear with its projections onto P and Q, and these projections constitute a surjective map from X onto the finite subchains defined by the closed intervals [Px max , Px min ] P and [Qx max , Qx min ] Q . This leads to a geometric interpretation of the three relationships seen in Cases I-III above. To begin to understand this, the concept of proper collinearity enables one to divide the poset into two equivalence classes based on whether or not an element is properly collinear with the chains P and Q. Elements that are properly collinear with P and Q are said to reside in the subspace defined by P and Q, denoted PQ . This subspace can be further divided into three equivalence classes based on Cases I-III. An element x exhibiting the relationship in Case I is said to be situated on the P-side of its projections onto the pair of chains P and Q, which is denoted by x|P|Q; whereas an element x exhibiting the relationship in Case III is said to be situated on the Q-side of its projections onto the pair of chains P and Q, which is denoted by P|Q|x. Last, an element x exhibiting the relationship in Case II is said to be situated between its projections onto P and Q, which is denoted by P|x|Q.
These relationships can be extended to any generalized interval [a, b] resulting in nine cases, three cases where the two elements are situated similarly is between P and Q (16) and six cases where the interval [a, b] straddles one or more chains a|P|b|Q b|P|a|Q a|P|Q|b b|P|Q|a P|a|Q|b P|b|Q|a. (17) In the case of properly collinear finite chains, X can be said to be either on the P-side of P and Q as in X|P|Q, or between P and Q as in P|X|Q, or on the Q-side of P and Q as in P|Q|X. This introduces a way in which some chains belonging to this subspace can be ordered, which in turn induces bi-directionality. We now have an induced ordering relation where given any triple of distinct finite chains A, B, C obeying A|B|C, we can write where the directionality of the induced ordering relation is arbitrary, and the symbol < in A < B represents A ≤ B and A = B. Note that in this case the binary ordering relation between pairs of chains is defined by their relation to a third chain. Again, it is the introduction of an agent (the third chain) that enables one to define an ordering relation between two chains. It is in this sense that we say that the structure is induced by the distinguished chain.
The act of identifying a distinguished chain results in two distinct ordering relations: one along chains, and one among properly collinear chains. For this reason, we say that the induced subspace obtained by considering these two ordering relations is 1 + 1 dimensional.

B. Coordinated chains
In this section, we consider posets that support a set of properly collinear observer chains, which can be used to quantify the poset via chain projection. Furthermore, we consider chains that are coordinated so that they project onto one another in a well-defined manner thus enabling us to extend the chain-based coordinate system induced by each chain to a coordinate system that is potentially more global. This relationship is clarified by two definitions: compatibility and coordinated.

Compatibility
Two chains P and Q are said to be compatible over the intervals [ p min , p max ] P , [p min , p max ] P and [q min , q max ] Q , [q min , q max ] Q iff the elements in [ p min , p max ] P forward project to the elements in [q min , q max ] Q and the elements in [p min , p max ] P back project to the elements in [q min , q max ] Q in such a way that these projections are bijective.

Coordinated
Two chains P and Q are said to be coordinated over the intervals [ p min , p max ] P , [p min , p max ] P and [q min , q max ] Q , [q min , q max ] Q iff they are compatible over those intervals, and if the length of a closed interval on P is equal to the length of its image on Q and vice versa.
Two coordinated chains quantify each others' intervals in an identical manner. Since, quantification of generalized intervals in the poset is performed by projecting the generalized interval onto two closed intervals on a distinguished chain, the fact that two coordinated chains project to one another and agree on the quantification of each others' closed intervals implies that these two coordinated chains must agree on the quantification of any generalized interval that projects into the coordinated range.
The concept of coordinated chains is illustrated in Fig. 5. A pair of coordinated chains P and Q generates a 1 + 1 dimensional subspace, denoted by PQ , which includes P, Q, and all elements collinear with P and Q. In this situation, the pair of chains can be used to quantify elements between them (Case II) using only forward projections, which is an advantage since in practical situations it represents information that can be obtained from the chains themselves. This is because Case II of the collinearity condition requires that Px = P Qx and Qx

A. The interval pair
In this section, we consider the consistent quantification of intervals by a coordinated set of chains. We will focus on situations where both elements defining the endpoints of the interval both forward project and back project onto each of the quantifying chains under consideration. Since coordination is based on the projection of closed intervals situated on one chain to closed intervals on another chain, we begin by examining consistent quantification in that special case. Figure 6 considers a set of five mutually coordinated chains: P, Q, R, S, and T, which collectively form a 1 + 1 dimensional subspace. These are labeled so that the chains R, S, and T are situated 6. (a) An illustration of the consistent quantification of a closed interval [a, b] T on a chain that is a member of a coordinated set of chains. The interval projects to a pair of intervals on each chain of the set. This enables one to quantify the interval with either four values (4-tuple) or a pair of closed interval lengths, called an interval pair. Note that, in this case, the interval pair consists of identical components. As discussed in Sec. VI D, this closed interval is characterized as a pure chain-like interval by the other chains in the coordinated set. (b) A generalized interval also projects to a pair of intervals on each chain. However, its relationship to the quantifying chain determines the way in which the interval pair is consistently computed. Because the components of the interval pair have like sign, this generalized interval is classified as a chain-like interval (see discussion in Sec. VI D). between the pair of chains P and Q, and the chain T is situated between the pair of chains R and S, so that P|R|T|S|Q. We consider two elements a, b ∈ T that form the closed interval [a, b] T . This closed interval both forward projects and back projects onto each of the four other quantifying chains in the coordinated set. By mapping the elements a and b onto the other chains, we can obtain a quantification of [a, b] T based on the following 4-tuples of valuations: The remainder of this section is focused on examining relationships among these 4-tuples.
Chain projection maps the interval [a, b] T to two closed intervals on each of the four other chains, such as [Pa, Pb] P and [Pa, Pb] P along the chain P. Since we have shown that closed intervals on chains possess a unique scalar measure called length (13) defined on the chain itself, this enables us to quantify the interval [a, b] T with respect to the chain P by the pair of lengths Since the chains T and P are coordinated, we have that the closed interval [a, b] T projects and back projects to closed intervals of equal length on P, so that we can define . This results in a quantification with respect to the chain P consisting of an interval pair with equal components ( p, p) P , which we refer to as a symmetric pair. Furthermore, the fact that each pair of chains is coordinated, implies that p = r = t = s = q, so that each of the chains in the coordinated set quantifies the closed interval with equal interval pairs.
The situation is not quite as straightforward for intervals in general. We begin by considering quantification of a generalized interval with endpoints that are situated within the 1 + 1 dimensional subspace defined by a set of coordinated quantifying chains. Later, Sec. VI E, which is focused on orthogonal subspaces, is motivated by inconsistencies in quantification that arise when one or more endpoints of the interval being quantified are situated outside of this 1 + 1 dimensional subspace. This results in a more general means of consistent quantification that is discussed in Sec. VIII.
Consider the quantification of a generalized interval by a single chain such that they are both situated within the same 1 + 1 dimensional subspace. There are two possible cases to consider: (Case 1) the endpoints of the interval are both situated on the same side of the quantifying chain, and (Case 2) the endpoints of the interval are situated on opposite sides of the quantifying chain. The specific example of the quantification of a closed interval situated on one of the chains of the coordinated set fully constrains the solution in Case 1, so that the interval is quantified by the chain P with the pair We require that quantification in Case 2 be consistent with the quantification obtained in Case 1. Consider the situation illustrated in Figures 6(b), 7(a), and 7(b), where P|T|Q and P|a|T|Q and P|T|b|Q so that the endpoints of the interval [a, b] are situated on the same side of chains P and Q, but on opposite sides of T, which we denote by a|T|b. Consistency of quantification by chains of the coordinated set requires that quantification by the chain T be equivalent to the quantification v P (Pb) − v P (Pa), v P (Pb) − v P (Pa) P by the chain P. First consider the forward projections onto the chain P. The situation P|a|T, which corresponds to Case II of (15), implies that Similarly, the element b satisfies Case III of (15), which results in We then have that and by the coordination condition, Applying the same argument to the backward projections, we have that so that in Case 2, one can quantify the interval with the pair v The result is any generalized interval [a, b] situated within a 1 + 1 dimensional subspace defined by a set of coordinated chains can be consistently quantified by any chain P in the coordinated set with the interval pair defined by when a|P|b or b|P|a, and by when P|[a, b]. We can define In the case where the interval is situated between two chains, such as when P|a|Q and P|b|Q, we can use the fact that chains P and Q are coordinated to write so that the interval pair is expressed only in terms of forward projections. The interval pair obtained by quantifying with respect to two chains, denoted [a, b] PQ , is given by which is more conveniently written where . This is useful since the forward projections from a and b reflect information that observers, represented by chains P and Q, may be able to access in a practical situation.
Last, this allows one to represent the length of a closed interval along a chain in terms of forward projections onto two coordinated observers. Consider a closed interval [p j , p k ] P on the chain P of length p. Since the chains P and Q are coordinated, one can write the length of the closed interval as which we will find to be important later on.

B. Quantifying coordinated chains
In Sec. V A, we demonstrated that chains belonging to a set of coordinated chains can be ordered according to an ordering relation induced by chain projection, and that this gives rise to the concept of a 1 + 1 dimensional subspace. We can therefore think of an abstract chain of coordinated chains, such as O < A < B < C < D illustrated in Figure 8, and consider quantifying the coordinated chains which is analogous to joining closed intervals of events along a chain. We can assign scalar valuations to chains in the coordinated set, as well as to intervals of coordinated chains, which are themselves sets. The result obtained in Sec. III B applies, which requires quantification of intervals of chains to be additive (up to an invertible transform). So without loss of generality, we have that where X(A) and X(C) are the scalar valuations, referred to as position, assigned to the chains A and C.
Since quantification of the poset depends on the valuations assigned to the poset elements via chain projection, we require the distance between two chains in a coordinated set of chains to be a function of the valuations assigned to the elements on the two chains themselves and their projections onto one another. That is, we seek a distance assignment that is a function of the interval pair associated with the generalized interval defined by two elements, one on each of the two chains. Furthermore, since there can be no preferred elements, we require that the distance measure should not depend on which specific elements were chosen. Thus given a pair of coordinated chains P and Q and arbitrarily chosen elements p ∈ P and q ∈ Q within the coordinated range, we consider the interval [p, q] and require the distance between the chains D([[P, Q]]) to be a function of the interval pair ( p, q) where p = p − Pq and q = Qp − q.
Associativity of joining intervals of coordinated chains is related to associativity of the join of projected closed intervals along a coordinated chain, as illustrated in Figure for arbitrary p ∈ P and q ∈ Q. Since distance is additive, the distance between a chain and itself must be zero, which implies that a + b = 0, so that a = − b. Furthermore, the elements used to compute a distance should be arbitrary. We confirm that one obtains the same distance using different elements by considering p ∈ P and q ∈ Q so that which can be rewritten as and rearranged to give Since the chains P and Q are coordinated, we have that Substituting these into the expression above, we have that Since p − p and q − q are arbitrary, we have the condition that a = − b so that where C is an arbitrary scale. Without loss of generality, we can set C = 1 2 , which amounts to choosing units for distance that are consistent with the units chosen for length in (24). The resulting distance measure is As illustrated in Figure (9), this valuation is guaranteed to give the same distance from chain P to chain Q given any p ∈ P and q ∈ Q within the coordinated range.

C. The symmetric-antisymmetric decomposition
These relationships suggest a useful decomposition, which we call the symmetric-antisymmetric decomposition, where an interval pair ( p, q) is decomposed into the component-wise sum of a symmetric pair and an antisymmetric pair In this decomposition, the symmetric component represents projected lengths (24) along the two coordinated chains, and the antisymmetric component represents a component of distance (36) between the elements with respect to the subspace induced by the two coordinated chains. We will examine this decomposition in more detail in Sec. VI F when we look at joining generalized intervals.

D. Interval classes
Given a 1 + 1 dimensional subspace induced by two coordinated chains P and Q, the interval pair ( p, q) PQ enables us to identify three equivalence classes of generalized intervals [a, b] situated within the 1 + 1 dimensional subspace induced by P and Q based on whether the two components of the pair are of like sign, opposite sign, or whether one of them is zero. Closed intervals along a chain coordinated with P and Q are quantified by a symmetric pair, such as ( p, p), where the components of the pair are both of like sign and equal magnitude. Since these belong to the first class where the pair components are of like sign, we say that intervals in this equivalence class are chain-like (see Figures 6 and 10). While all closed intervals along chains are chain-like, there exist generalized intervals with incomparable elements that do not form chains that are chain-like in the sense that the components of the interval pair are of the same sign. Chain-like intervals quantified by a chain where each component of the interval pair is of equal magnitude (as in the case of a closed interval quantified by the host chain) are referred to as pure chain-like as in Figure 6(a). However, it should be noted that this latter classification is dependent on the relationship between the interval and the quantifying chain as it is not true in general that an interval characterized as pure chain-like by one chain will be characterized as pure chain-like by another chain.
Similarly, generalized intervals which are quantified by interval pairs with components of opposite sign are called antichain-like (see Figures 7 and 10). All antichain-like intervals are antichains where the endpoint elements are incomparable (not causally related). In the case where the components of the interval pair are equal in magnitude, but opposite in sign, the interval is referred to as pure antichain-like and the interval pair is said to be an antisymmetric pair (see Figure 7(a)). However, just as in the case of a pure chain-like interval, classification as a pure antichain-like interval is as dependent on the interval as it is the quantifying chain.
Generalized intervals that project to the same element on one of the two chains results in either p = 0 or q = 0. In such cases, one element of the generalized interval projects to the other and then to one of the quantifying chains. For this reason, we call such intervals projection-like (see Figure 10).
For a set of properly collinear chains, one can show that the elements of the interval pair for any interval cannot change sign when quantified by another pair of chains in the set. We demonstrate this by contradiction. Consider two properly collinear, but not coordinated, chains X and Y and assume that there exists an interval [a, b] that projects to the closed interval [Xa, Xb] on the chain X and the closed interval [YXb, YXa] on the chain Y where Xb > Xa and YXa ≥ YXb so that the projection changes sign. Since the projection of a onto a chain X is given by the least element of the chain X that includes a, we have that YXa ≥ YXb > Xb > Xa > a so that YXb (not YXa) is the projection of a onto Y. The result is that the closed interval [Xa, Xb] projects either to [YXa, YXb] (same order) or to [YXb, YXb] (degenerate). In the case where the order is preserved, the elements of the interval pair have the same sign, and in the degenerate case one of the elements is zero. The result is that chain-like intervals can never be antichain-like intervals and vice versa, although either might be observed to be projection-like.

E. Orthogonal subspaces
In Sec. V, we showed how a pair of coordinated chains induces a 1 + 1 dimensional subspace in the poset. Elements and chains not included in a given subspace may form subspaces of their own. We begin by considering a particular example that motivates the concept of orthogonal subspaces.
Consider a pair of coordinated chains P and Q, which form a subspace PQ , and a second pair of coordinated chains R and S not in PQ , which form a distinct subspace RS . Consider p ∈ P and q ∈ Q such that they form a pure antichain-like generalized interval [p, q] with respect to PQ , which when quantified results in where the notation [ p, q] PQ indicates that the generalized interval [p, q] is being quantified with respect to the chains P and Q, which is also indicated by the subscript on the resulting pair. Now consider that p and q project to R and S so that Rp = Rq and Sp = Sq resulting in a quantification of [p, q] with respect to RS equal to This is illustrated in Figures 11(a)-11(c). Note also that the situation is similar for the antichain-like interval [R p, S p] in SR in that it is quantified by (0, 0) PQ with respect to PQ . In this case, we say that the subspaces PQ and SR are orthogonal to one another. Figure 11(d) illustrates the chains shown in Fig. 11(c) along with an additional chain O, which has been added so that it is properly collinear with both PQ and RS . We call this a geometric view where each chain is indicated by a dark circle and they are positioned relative to one another based on the betweenness relations P|O|Q and R|O|S. The two independent 1 + 1 dimensional subspaces when combined results in a 2 + 1 dimensional subspace where the original ordering relation is supplemented with two ordering relations induced by the two independent properly collinear sets of chains. The geometric view highlights the two induced dimensions while suppressing the original dimension along the chains.
While Figure 11(c) illustrates a motivating example, the general situation is more subtle. While an interval quantified by a pure antisymmetric pair with respect to the chains P and Q is quantified by (0, 0) with respect to the chains R and S, that very same interval will not be quantified by (0, 0) with respect to the pair of chains R and O or with respect to the pair of chains O and S. In Sec. VIII, we derive a more advanced method of projection of an interval onto a subspace that yields consistent results when quantified with respect to any pair of chains in that subspace.

F. Joining generalized intervals
In Sec. III B, we introduced the concept of joining closed intervals along a chain. Here we extend this concept to that of joining generalized intervals. Given two generalized intervals that share a single common element, such as [a, b] and [b, c], we can define a map that takes these two intervals to a third unique interval given by concatenation In the case where each of these intervals is situated between a pair of coordinated chains P and Q in the PQ subspace, the interval [a, c] is quantified by the pair (p c − p a , q c − q a ) PQ , the interval [a, b] by the pair (p b − p a , q b − q a ) PQ , and the interval [b, c] by the pair (p c − p b , q c − q b ) PQ so that the resulting interval pairs sum in a component-wise fashion in accordance with the concatenation operation (40) This enables us to decompose intervals by introducing an artificial event 0 implicitly defined by a pair of elements (p 0 , q 0 ), which represent the forward projection of 0 onto the pair of coordinated chains P and Q. Given two events a and b situated between two coordinated chains P and Q, we can quantify the interval with the pair (p b − p a , q b − q a ). Consider a decomposition where the pair (p 0 − p a , q 0 − q a ) quantifying [a, 0] is defined to be antisymmetric so that the two components of the pair are of equal magnitude but opposite sign, p 0 − p a = q a − q 0 , and the pair . This is equivalent to imagining an event 0 defined by the projections (p 0 , q 0 ) onto P and Q such that where [a, 0] is an antichain-like interval quantified by an antisymmetric pair ( x, − x) and [0, b] is a chain-like interval quantified by a symmetric pair ( t, t).
is defined to be symmetric so that the two components of the pair are of equal sign and magnitude p b − p 0 = q b − q 0 . These conditions are satisfied by The result is that any interval situated in the subspace defined by two coordinated chains can be expressed in terms of the join of a pure chain-like interval quantified by a symmetric pair and a pure antichain-like interval quantified by an antisymmetric pair (illustrated in Figure 12) in accordance with the symmetric-antisymmetric decomposition (37). One can also join intervals situated in distinct subspaces, although additivity of interval pairs does not hold. For example, consider chains P, O, and R in the situation illustrated in Figure 11(d) and assume that they are pairwise coordinated. Given elements p ∈ P, o ∈ O, and r ∈ R, we can construct intervals where Quantifying [p, r] with respect to the coordinated pair of chains P and R, we get the interval pair (p r − p, r − r p ) PR . Quantifying the other two intervals within their respective subspaces, we obtain Instead, we write where p = p p , o = o o , r = r r , and the operator ⊕, which is defined implicitly through the relation in (45), symbolically indicates a decomposition of the interval pair into distinct subspaces.

G. Scalar quantification of intervals
We explore scalar measures of intervals, which will form the foundation for a metric. As described above, closed intervals on a chain can be quantified by a scalar length. To extend this concept of length to generalized intervals, we begin by identifying the constraints imposed on a scalar measure by the special case of a closed interval on one chain that forward projects and back projects onto two closed intervals on a second chain.
Consider a special case where two chains S and P that reside in the same 1 + 1D subspace are related such that N successive intervals each of length s on the chain S forward project onto N successive intervals each of length p on P and back project onto N successive intervals each of length p as illustrated in Figure 13(a). Note that in the special case where p = p we have that the chains are coordinated (up to scale) and that the lengths of the closed intervals are consistent with p = p = s. We refer to two such chains as being consistently related or, for reasons that will be made clear, linearly related.
Since each of these chains consistently quantifies closed intervals on the other, and the quantification of generalized intervals is performed by projecting onto these closed intervals, it is reasonable to require that the two chains consistently quantify all mutually quantifiable intervals. That is, to obtain a unique scalar measure of an interval, we require that all linearly related chains assign the same scalar (up to a common scale factor amounting to a choice of units) to all intervals that they both can quantify.
Given a single closed interval on S with length s, and its quantification by P with the pair ( p, p) P , we aim to identify a function σ , symmetric in its arguments, that takes the pair ( p, p) P to a scalar s such that The scalar measures assigned to closed intervals on each of the two chains can be rescaled (change of units) and still remain consistent with additivity under the combination operator ∪ joining closed intervals along the chain. Rescaling by a positive real number α results in = ασ ( p, p).
This functional equation for σ is of the general form known as the homogeneity equation: with k = 1 whose solution can be written as 1 where h( x y ) = h( y x ), since σ and hence F, are symmetric in their arguments. There is a symmetry between x and y, so that a = b. When s = 0 we have that p = p = 0 so that σ (0, 0) = 0 giving c = 0. so that we can write By considering the special case where P and S are coordinated so that an interval of length s on the chain S is quantified by P with the pair ( s, s) P , we find that which implies that h(1) = 1.
Having obtained a general form for the scalar measure, we consider the constraint imposed by a second special case. Figure 13(b) illustrates a chain-like interval I that projects onto two linearly related finite chains S and P such that they are all properly collinear so that P|S|I. The closed interval of length s on S is quantified by the pair ( p, p) P on P. If the interval I is quantified by the pair (α s, β s) S with respect to S, then it is quantified by the pair (α p, β p) P with respect to P. Consistency requires that both chains assign the same scalar to the interval so that which can be simplified to However, we have already established a relationship between chains P and S where closed intervals on S project to P. This amounts to setting α = β above so that Substituting the expression for s above into (56), we find after some simplification that Since h(1) = 1, we can write for non-zero u, which can be factored so that h(u) = 1 or h(u) = − 1. Equation (57) above gives an expression for s, which rules out h(u) = − 1, so that h(u) = 1.
The result is that a chain-like interval quantified by the pair ( p, p) can be quantified by a unique scalar consistent among linearly related chains given by This special case constrains the functional form of this scalar, so that antichain-like intervals must be quantified similarly, but with p p ≤ 0, so that √ p p is imaginary. This suggests some kind of orthogonal relationship between pure chain-like intervals and pure antichain-like intervals, which are characterized by symmetric interval pairs and antisymmetric interval pairs, respectively. This is further supported by the observation that, in the case of coordinated chains where p = q, the argument of the square root, p q, can be written as where the right-hand side of the equation above is a function of both the length along a chain (24) and the distance between chains (36). However, it remains to be shown that this is the only reasonable scalar quantification.
To obtain a real-valued scalar quantification, which is some function g( p, p), that applies to both chain-like and antichain-like intervals, we require that it be consistent with the result σ ( p, p) = √ p p so that where F is an unknown function to be determined. Consider the chain-like interval quantified by the pair ( t + x, t − x) where t > x. We then have that which can be rewritten without loss of generality as where G is an unknown function to be determined. We now rely on the fact that the joining of orthogonal intervals is associative, as must be the relationship among their interval pairs (47) so that where we have dropped the reference to the quantifying chains in each frame. The corresponding scalar quantification is also associative where⊕ is a function to be determined that combines the scalars of orthogonal intervals. By defining u = g( x, − x), v = g( y, − y), and w = g( z, − z) we can rewrite the equation above as This functional equation for⊕ is the associativity equation, which is the very same functional equation (6) discussed in Sec. III B within the context of joining closed intervals along a chain. The general solution (7) is given by 1 where f is an arbitrary invertible function. This indicates that there exists a convenient representation where the scalar measures of orthogonal intervals are additive, and that we can adopt additivity without losing generality. Pure chain-like intervals also enjoy associativity when joined with pure antichain-like intervals so the above theorem applies to them as well. This implies that there exists an additive scalar obtained by applying f − 1 • g to the interval pair such that and by applying (63), we have Since an interval quantified by the symmetric pair ( t, t) is chain-like, we have that which allows us to write Since the left-hand side can only depend on x, we have that f − 1 • G must be linear so that and where λ is a constant which amounts to a freedom to select units. For additivity in (68) to hold in general, we find that the constant a = 0 in (53). We can choose units consistent with those employed by the chain so that λ = 1. The function f − 1 • g represents a regraduated scalar quantification that is additive in the case of joining orthogonal intervals which we rename with the composite symbol s 2 to indicate its relationship to the scalar length s obtained in the case of closed intervals along the quantifying chain. In the case where the interval being quantified is situated between two coordinated chains P and Q we have that q = p and can write We call this scalar quantification of an interval, the interval scalar. It is additive when the intervals being joined are orthogonal, and its square root (or square root of its negation) is additive when the intervals being joined have the same ratio of symmetric and antisymmetric components. Applying these results to the symmetric-antisymmetric decomposition (37) we verify that additivity of the interval scalar holds We refer to the resulting quadratic form on the right-hand side of (77) as the Minkowski form, and stress that s 2 does not represent some quantity squared, but instead represents the product of two independent quantities p and q. This is the discrete version of the Minkowski metric.

H. Pair transformations
Previously, we relied on linearly related chains to constrain the form of the interval scalar. Here we consider how the interval pair obtained by quantifying with respect to one chain transforms when quantified with respect to another linearly related chain ( Figure 14).
A closed interval on P with length k is quantified with respect to P by the symmetric pair (k, k) P . This interval forward projects to a closed interval of length m on P and back projects to a closed interval of length n on P resulting in the pair (m, n) P . We write the pair transformation in terms of the function L that takes one interval pair to another as The interval I projects onto P resulting in the pair ( p, p) P , and also onto P resulting in the pair ( p , p ) P so that We can write the lengths of the projected intervals in terms of the length k of the closed interval so that p = αk, p = βk, and p = αm, p = βn. The pair transformation can then be written as indicating that the pair transformation is linear in each argument, as expected since the chains are linearly related. Constant terms in the linear transformation are zero since intervals of zero length always project to intervals of zero length. Writing this linear transformation in terms of functions of m and n, we find that in general where the functions f and g are to be determined. The interval scalar associated with the closed interval allows us to write k = √ mn so that (78) becomes Equating components we find that and so that Note that the fact that f and g are inversely related preserves the interval scalar in such situations. In general, the pair transformation from one quantifying chain to another linearly related chain is given by where m and n are determined from (78).
In the case of quantification by coordinated chains P and Q, we can write the pair ( p, p) P as ( p, q) PQ so that The fundamental nature of the pair of projections is manifest in the simplicity of this transformation. We observe that this is related to the Bondi k-calculus 6 formulation of the Lorentz transformations, as well as Kauffman's iterant algebra 16 which treats the transformation as a pairwise multiplication.

VII. THE SPACE-TIME PICTURE
In this section, we introduce a change of variables motivated by the identification of three distinct classes of intervals induced by chain projection. We demonstrate that this change of variables results in a metric analogous to the Minkowski metric and reveals that the pair transformation is analogous to a Lorentz transformation in an analogous space-time.

A. Space-time coordinates
The symmetric-antisymmetric decomposition suggests a convenient change of variables: These results suggest that time and space can be viewed in terms of a uniquely consistent means of quantifying intervals.

B. Motion
The quantity introduced in the derivation above is the relevant quantity that relates two linearly related chains that project to one another in a constant fashion. Its dependence on the antisymmetric component of the pair results in its antisymmetric behavior when the chains are interchanged. That is, β is antisymmetric in the sense that if chain P is related to chain R by β, then chain R relates to chain P by − β. In the special case where m = n, we have that β = 0. This situation represents two coordinated chains, which in the space-time picture is analogous to two observers at rest with respect to one another. Moreover, this quantity has the extreme values of β = ± 1 which correspond to the cases where m = 0 and n = 0 indicating that all elements of one chain project onto the same element of the other resulting in an interval scalar of zero. This is a degenerate situation in the sense that one chain can quantify the other, but not vice versa. Such intervals are classified as projection-like, which in the space-time picture are analogous to light-like intervals. Since the interval scalar is invariant among linearly related chains, we have that if β is extremal with respect to one chain, then it must be extremal with respect to all other linearly related chains. This is analogous to the experimentally observed fact that the speed of light, which is the maximum speed, is invariant for all inertial frames.
When comparing three or more chains that project to one another in a constant fashion, the values of β describing the relationship between pairs of such chains are related by the familiar velocity addition rule, which can be derived from this point as a standard exercise.
It is important to keep in mind that β represents a relationship between chains in a partially ordered set. There is no motion in a partially ordered set-only connectivity. This suggests that physical motion can be interpreted in terms of connectivity, or equivalently that motion is a manifestation of interaction.

C. Coordinates and the pythagorean decomposition
Given the form of the interval scalar, and the fact that it is additive for orthogonal intervals, we find that this leads immediately to the Pythagorean theorem.
Consider the two orthogonal subspaces defined by the coordinated chains P|O|Q and R|O|S as illustrated in Figure 11. Consider three events p ∈ P, o ∈ O and r ∈ R such that they define three pure antisymmetric intervals and Since the intervals A and B are orthogonal, the interval scalars sum resulting in which is the familiar Pythagorean theorem applied to purely space-like intervals. This enables one to quantify an interval with respect to an extant set of orthogonal subspaces based on projections of that interval onto the chains in those subspaces thus defining a multidimen-sional coordinate system. This can be made more abstract by defining imaginary coordinate axes based on imagined, but consistent, projections. This is accomplished by introducing an imaginary decomposition chain O where the projections of an interval onto this chain are parameterized by a single parameter θ . As an example, consider an interval [p a , r b ] defined by p a ∈ P and r b ∈ R. This interval is quantified by the pair (p a − Pr b , r b − Rp a ) PR , which can be decomposed into symmetric and antisymmetric pairs We can then introduce the chain O where, introducing the convenient dot-star notation where ( t, · ) . = ( t, t) and ( r, *) . = ( r, − r), we can write with the condition that f 2 (θ ) + g 2 (θ ) = 1 to preserve the interval scalar. There are many such parameterizations one could choose. For the purpose of illustration, we will choose f (θ ) = sin θ and g(θ ) = cos θ so that and The antisymmetric pair ( rsin θ , *) can be further decomposed by introducing an additional decomposition chain Q along with an accompanying parameterization φ, so that where again f 2 (φ) + g 2 (φ) = 1. Choosing sin and cos as before, and rearranging terms, results in the pair decomposition and the interval scalar which is the familiar representation of the Minkowski metric in spherical coordinates (r, θ , φ). A change of variables to z = rcos θ and ρ = rsin θ results in a representation of the metric in cylindrical coordinates, and a further change to x = rsin θ cos φ and y = rsin θ sin φ results in a representation of the metric in three-dimensional Cartesian coordinates

VIII. SUBSPACE PROJECTION
We have seen that intervals can only be consistently quantified via chain projection if they are situated within the subspace defined by the quantifying chains. Here we introduce a more generally useful projection method that results in consistent quantification of intervals by chains in a subspace when using any pair of chains in a coordinated set of chains defining a subspace (Fig. 15). Given an element x and a chain P, which is one of several in a coordinated set of chains, one can compute the distance between the element and the chain as an antisymmetric combination of projections where p is an arbitrary element in P. Similarly, we define the projection of the interval [x, y] onto the subspace PQ in terms of the antisymmetric combination of the squares of the four relevant distances which can be rewritten as However, this quantity depends on the distance between the chains P and Q, d(P, Q), defined in (36). Using the Pythagorean theorem (106), one can show that to obtain a consistent quantification of the interval by any pair of coordinated chains within the subspace, we simply normalize PQ [x, y] by twice the distance from P to Q resulting in By combining the projections of the interval onto two chains in this way, we have developed a more advanced method of projection, which enables one to quantify any generalized interval consistently with respect to a given subspace. This method, which we call subspace projection, is the poset analogue of the inner product or dot product. Moreover, it is important to note that it is the antisymmetric combination of squared distances that eliminates contingencies, such as which two chains in the subspace are used to perform the quantification.

IX. CONCLUSION
We have considered a simple picture of interactions that focuses only on the fact that particles influence one another. Events are defined as the boundaries of influence with one event representing the act of influencing and the other event representing the corresponding reaction. The result is a partially ordered set, or a poset, of events.
Consistent quantification of ordered structures, such as posets, by assigning n-tuples of numbers (real or natural) to elements or sets of elements, such as intervals, leads to faithful mathematical representations of that structure. In cases where ordered sets (or related algebraic structures) possess symmetries, these symmetries will place constraints on any proposed quantification scheme resulting in numeric constraint equations, which can be identified as laws. 17 This has been demonstrated previously in the case of Boolean, and the more general distributive lattices. 20 In the case of a Boolean lattice of logical statements, the sum and product rules of probability theory emerge as constraint equations. 25 Similarly, consistent quantification using pairs of numbers applied to the composition of measurement sequences is constrained by the algebraic relations of combining measurements in series and in parallel. In this case, the symmetries of the algebraic relations result in constraint equations that have been shown to be equivalent to Feynman's sum and product rules for quantum mechanical amplitudes. 13,14 However, the fact that posets lack general symmetries means that previously developed symmetry-based methods of consistent quantification cannot be directly applied to posets in general.
Here we have shown that the identification of one or more distinguished chains in a poset induces sufficient symmetry to impose useful constraints on quantification and that these constraints in the case of coordinated chains lead directly to the mathematics of special relativity. Specifically, the interval scalar, which represents the unique quantification of intervals (up to a scale) represents the poset analogue of the Minkowski metric. In addition, quantification of an interval with respect to two linearly related pairs of chains results in two interval pairs that are related by a pair transformation, which is shown to be equivalent to a Lorentz transformation. This enables one to adopt a space-time perspective, which focuses on the chain-like and antichain-like symmetries induced by the distinguished chain/s at the expense of the simplicity of the mathematics inherent to the poset picture.
Derivation of the Lorentz transformations from causality and fundamental symmetries is not without precedent. Although most past approaches either assume a Minkowski metric, or at the very least, the existence of a space-time manifold endowed with a metric. Zeeman 38 showed that representing causality as a partial ordering on a Minkowski space forces the Lorentz group. Levy-LeBlond 26 produced another derivation that results in both the Lorentz transformation and the Galilean transformation, which does not rely on the Minskowki metric, but rather on the homogeneity and isotropy of space and causality. Kauffman 16 takes this further by considering the principle of relativity as invariance under linear transformations and derives the Lorentz transformation, Galilean transformation, and rotation as special cases. We had been aware of Kauffman's results and the fact that such symmetries result in linear transformations, but after completing our work we were impressed by the similarities between his iterant coordinates and our interval pair, both of which transform in accordance with Bondi's k-calculus. 6 The common element in each of these approaches is the concept of radar time, which manifests itself in our poset approach via chain projection. There has also been a great deal of work to derive space-time geometry (e.g., Refs. 15 and 27). Of particular note due to its similarity to the present effort is the work by Ehlers, Pirani and Schild 9 who accomplish this by considering properties of light signals along with the assumption of the existence of a space-time manifold. This enables them to extend their results to general relativity by deriving the properties of a curved space-time that is assumed to exist.
After submission of an early version of this paper to the arXiv, 24 we were introduced to the work of D'Ariano 7 who showed how the Lorentz transformations can be derived, in principle, from eventcounting performed by an observer within a causal network implemented by a quantum computer. This has since been worked out in more detail, and most of the quantum mechanical framework has been abstracted away. 8 D'Ariano's approach is similar in spirit to ours in that causality plays a central role; however, it relies on a homogeneous causal network, which is unphysical, and focuses on deriving the Lorentz transformation rather than the Minkowski metric.
In contrast to previous approaches, the approach presented here provides additional insights. The antisymmetry of space arises from the antisymmetry of the projections of the antichain-like intervals. As such, antichain-like intervals can be further decomposed into the join of orthogonal intervals via the Pythagorean theorem, whereas chain-like intervals enjoy no such decomposition. Another way to look at this is to consider that the distinguished chain, which represents a total order, gives rise to one-dimensional time. Sets of multiple coordinated chains induce a different kind of ordering relation, which gives rise to spatial dimensions, which can be multiple in number. Unfortunately, the symmetries introduced here by a distinguished chain are insufficient to constrain the number of spatial dimensions. This can be demonstrated by construction. Consider N finite chains labeled by C i where 1 ≤ i ≤ N. Let each chain C i consist of two events x i < y i , where the index i indicates chain C i to which the element belongs. Let y i ≥ x j for all 1 ≤ i ≤ N and 1 ≤ j ≤ N so that y i includes each of the x events on each of the N chains. By symmetry, the distance between each pair of chains in the set of N chains is equal, and thus is only possible in an (N − 1) dimensional space. So the present approach admits one-dimensional time and multi-dimensional space. Physics presumably enters by dictating the allowed connectivity of such a poset, and this is expected to introduce additional constraints that may limit the number of spatial dimensions to three.
Some may note that the current approach fixes the signature of the Minkowski metric to be ( + , − , − , − ) rather than the ( − , + , + , + ) more commonly employed in space-time physics. If treated simply as a metric, the signature is arbitrary. However, here the signature arises from the symmetry and antisymmetry of the chain-like and antichain-like components of the interval pair. The fact that these quantities have deeper significance does away with any arbitrariness of the resulting signature. Moreover, the signature derived here agrees with the signature associated with the decomposition of mass into energy and momentum in particle physics. This is significant as additional results suggest that these quantities are analogous to rates of interactions in the poset picture. 22,23 Another important insight is the fact that the quantity β, which is the poset analogue of speed, is the relevant quantity to describe two linearly related pairs of chains. In physics, speed has been demonstrated experimentally to be a relevant quantity. Here it is recovered theoretically from the pair transformation and the identification of symmetric pairs with time and antisymmetric pairs with space. It is from this identification of β with speed that we are led to the realization that there exists a finite maximum speed given by β = ± 1. This is exemplified by projection-like intervals where the two events defining the interval endpoints project to the same event on a quantifying chain. In addition, the linearity of the pair transformation ensures that the length of the projected interval is always zero so that an interval representing motion at the maximum speed in one frame represents motion at the maximum speed in all linearly related frames. As a result, the constant speed of light is derived rather than taken as given.
More importantly, in the poset picture one views motion in terms of connectivity, which implies that motion is a manifestation of interaction. Particles do not move in this picture. Instead, they transition via discrete jumps with every interaction. 22,23 This is a bit different from the usual conception of interaction as force. It suggests that the interactions we have quantified, which appear to generate an emergent space-time, do not necessarily cause forces, but at least in some cases enable motion. Due to the intimate connection with space-time, one is led to hypothesize that these interactions may represent a fundamental process from which gravity arises as some sort of side-effect, and as such one might be able to understand the equivalence between inertial and gravitational masses. Such an idea would not be without precedent since it has been suggested that crystal dislocations result in gravity-like behavior in the analogous space-time experienced by an electron moving in graphene. 28 It is possible that the theory presented here may have something to say about analogous space-time in special materials, such as graphene, by considering interactions between the electrons and the crystal lattice as defining a local space-time.
The metric derived here is the Minkowski metric which represents flat space-time. It is important to note that the critical conditions in its derivation are the concepts of coordinated chains and linearly related chains. One does not need to have a universe in which there are chains that enjoy these relationships. Instead our consistency requirement states that if there are such chains, then they should agree on the scalar measure of the set of mutually quantifiable intervals. It could very well be that there are posets where strict coordination is not possible. Additional interactions that act differentially on the coordinated chains will undoubtedly disrupt the coordination condition thus limiting the property of flatness to shorter finite ranges along the chains. We hypothesize that such disruption may be interpreted in terms of a discrete version of curvature.
The discrete nature of interactions in this picture is reminiscent of quantum mechanics (certainly quantum electrodynamics). It would be interesting if the poset picture, in which space-time emerges, could equally support quantum mechanics. If this were the case, it may provide a foundation for quantum gravity. We have demonstrated that a poset model of a free particle that influences its neighbors, but is not influenced by others, reproduces many aspects of Fermion physics. 22,23 Moreover, from this poset picture, one can derive the Feynman chessboard model of a particle 12 that leads to the Dirac equation in 1 + 1 dimensions. 22,23 We are currently continuing these studies to determine how space-time physics is related to quantum mechanics in this poset picture.