Preprint
Article

This version is not peer-reviewed.

Schrödinger and Dirac Dynamics over Finite Substrate

Submitted:

10 July 2026

Posted:

13 July 2026

You are already at the latest version

Abstract
We give the operator core of Schrödinger and Dirac dynamics on a framed prime shell \(p=4\kappa+1\), whose capacity \(\kappa\) counts its quarter-turn packets: the shell's information budget. The Lorentzian form depends only on the square class of its temporal coefficient; we prove the drive multiplier canonical and identify this class with the chronon-parity grading. Over the quadratic extension, finite Hamiltonians are self-adjoint and their Cayley steps exactly unitary; the Cayley map identifies the self-adjoint projective line with the norm-one torus, also the boost group transporting the finite Dirac operator (the boost content is deliberately 1+1). The Dirac operator factors exactly into a spinorial Klein-Gordon operator, and a spinor twist forced by the arithmetic makes its evolution unitary, with massless periods a power of \(p\) and mass phases on the same torus. Free evolution is the drive itself; wave transports are isentropic, orbit periods are classified by the shell's two tori, and power maps lose distinguishability by an exact Hartley count. The two wave equations emerge as the two Fourier pairs of one finite shell. The identities are proved in finite-field arithmetic, every quoted example is reproduced by exact scripts, and the continuum enters only as a labelled degenerate idealisation.
Keywords: 
;  ;  ;  ;  ;  ;  ;  ;  ;  ;  

1. Introduction

Finite-field models provide a controlled setting in which kinematics, wave evolution, and covariance can be studied without completions, limits, or infinite-dimensional state spaces. They also expose a useful separation that is often hidden in continuum notation: coordinates may live in one finite field, while coefficients for amplitudes, conjugation, and spinorial operators may require a finite extension. The present paper develops this separation for a prime field
F p , p = 4 κ + 1 ,
its quadratic extension
K = F p [ w ] / ( w 2 ν ) ,
where ν F p × is a nonsquare, and the Frobenius involution z ¯ = z p on K.
The guiding claim is structural. Once the shell, its frame, the quadratic extension, and the Frobenius involution are fixed, the relevant wave identities are finite algebraic identities. Hermitian preservation, Cayley stepping, Clifford factorization, and boost transport are expressed below as equalities of finite matrices and finite maps. All spaces, sums, operators, and transports used in the construction are finite.
This finite level removes several continuum technical burdens from the construction. There are no unbounded operator domains, no convergence questions for infinite sums, no ultraviolet regularization choices, and no measure-theoretic path integrals. What remains is the algebraic operator layer: nondegenerate Frobenius-Hermitian pairings, adjoints, form-preserving propagators, Clifford anticommutation, Dirac-to-Klein-Gordon factorization, and exact transport. The probability calculus and measurement theory of the programme are developed in its companion quantum paper, where the Born rule is obtained as the registration count of shared-core comparison; the present paper supplies the operator identities that construction rides on, and does not re-derive its statistical layer.
The algebraic ingredients used below have standard sources. Finite fields and their quadratic extensions supply the base arithmetic [1]. Quadratic forms over finite fields, their square-class invariants, and the associated finite orthogonal and unitary groups are classical parts of finite geometry and the theory of classical groups [2,3]. Clifford algebras and spinorial representations are algebraic constructions attached to quadratic forms, with treatments that place the gamma-matrix formalism inside the broader theory of Clifford modules and classical groups [4,5]. Cayley-type rational transforms, including the Crank–Nicolson form of time stepping, are a standard route from self-adjoint finite-difference operators to form-preserving discrete updates [6].
Finite quantum models form a second comparison layer. Schwinger’s unitary operator bases and the finite phase-space constructions of Wootters and of Gibbons, Hoffman, and Wootters show how finite algebra can carry quantum kinematics [7,8,9].
Galois-field and modal quantum theories study state spaces, observables, spin models, and the finite-field status of probability and spectra [10,11,12,13]. Lattice and automaton approaches to relativistic wave equations show how Weyl and Dirac dynamics can arise from exact local unitary update rules on discrete carriers [14,15,16,17,18].
Another closely related finite-quantum perspective was proposed by Carroll [19], who showed that standard finite-dimensional unitary quantum mechanics admits a completely discretized reading when the Hamiltonian spectrum is commensurable: the phase evolution closes on a finite torus, allowing continuous time to be replaced by a finite cyclic sequence of states. The present construction is aligned with that finite and reversible viewpoint, but implements it inside a finite algebra itself. The coefficient field, Hermitian form, Cayley propagator, Lorentzian extension, Dirac operator, and information counts are all finite algebraic objects from the outset, rather than discretizations of a surrounding complex Hilbert-space continuum.
The present construction uses this prior algebraic and finite-quantum terrain inside the finite ring cosmology (FRC) shell setting [20]. In the FRC framework, a symmetry-complete prime shell is a framed finite field F p ( t ; 0 , 1 , g ) with p = 4 κ + 1 , κ the capacity: the additive shell, the multiplicative phase cycle of the drive x g x , and the derived quarter-turn i = g κ with i 2 = 1 coexist in the same finite arithmetic domain. The broad physical interpretation of these shells belongs to the FRC references; the present paper uses the finite algebraic data, and states its shell readings as tagged identifications. Symmetry-complete shells carry an internal Euclidean phase datum and a framed shell geometry [21], while the Euclidean-Lorentzian split is tied to the square class of a nonsquare coefficient and its quadratic extension [22]. The nonsquare coefficient ν supplies the coordinate quadratic form
Q ν ( x 0 , x 1 , x 2 , x 3 ) = ν x 0 2 + x 1 2 + x 2 2 + x 3 2
on F p 4 . The square root w of ν is not an element of F p ; it belongs to the quadratic extension K. Two exact refinements of this split are proved in Section 2: the coefficient matters only through its square class, whose canonical representative is the drive multiplier itself, ν = g ; and the square class is the chronon-parity grading of the shell, which separates the one-way temporal coefficient from the two-way constant c 2 = 2 1 of the FRC constants web. In the present paper, the extension K is used as a coefficient field for Hermitian forms, Cayley dynamics, gamma matrices, and spinor amplitudes. The construction has two operator layers.
First, for a finite Euclidean configuration space X = F p d , the function space K X carries a Hermitian form
ψ , ϕ X = x X ψ ( x ) ¯ ϕ ( x ) .
Translations are unitary, the finite Laplacian associated with a chosen ordered frame is self-adjoint, and finite Hamiltonians of the form
H E , V , ϰ = ϰ Δ E + M V
are self-adjoint. For each trace-zero parameter α K with α ¯ = α , the Cayley operator
U α , H = ( I α H ) 1 ( I + α H )
is defined whenever I α H is invertible. It preserves the Hermitian form exactly, and the scalar Cayley map is shown to be a bijection from the Frobenius-fixed projective line onto the norm-one torus of K: the finite Cayley transform, from self-adjoint data to the unitary torus.
Second, the coordinate shell
Y = F p 4
with the form (1) supports a finite Dirac-type difference operator with K-valued spinors. The gamma matrices are explicit 4 × 4 matrices over K and satisfy
γ μ γ ν + γ ν γ μ = 2 η μ ν I 4 , η = diag ( ν , 1 , 1 , 1 ) .
The corresponding Dirac operator factors exactly through a spinorial Klein-Gordon operator. A finite 1 + 1 boost subgroup acts by exact transported Dirac operators, with an explicit spin lift; the subgroup is identified exactly as the norm-one (non-split) torus C p + 1 of the extension.
The construction below keeps the coordinate/coefficient distinction explicit throughout. Its scope is the algebraic operator layer: Frobenius-Hermitian Schrödinger-type propagation, Clifford factorization, and Dirac-type Lorentzian transport inside one finite scheme — together with the shell reading this layer supports: the free Schrödinger evolution is the drive itself, exactly, and the Dirac operator develops the shell along its meridians (Section 7).
The final layer records exact finite counts. For a finite map f : X Y , the image count | f ( X ) | and loss factor | X | / | f ( X ) | separate reversible transport from many-to-one compression. Cayley propagators and boost transports are bijections on their finite state spaces, and their orbit periods are classified: kinetic Hamiltonians give unipotent propagators of order exactly p , potential Hamiltonians give norm-one phases of order dividing p + 1 — the translation and boost tori of the shell. Shell power maps x x ε on F p × can be many-to-one, with exact loss factor gcd ( ε , p 1 ) . These counts are used only as finite diagnostics of reversibility; packet transfer, invariant coding, and shell-to-shell fiber profiles are a separate finite-transfer problem, outside this paper’s scope.
The paper is organized as follows. Section 2 fixes the shell, frame, coefficient, and coordinate data, the canonical Lorentzian coefficient, and the parity grading. Section 3 develops Hermitian function spaces and finite difference operators. Section 4 proves exact preservation for Cayley dynamics and the finite Cayley transform. Section 5 constructs the gamma matrices, Dirac operator, boost torus, and factorization. Section 6 records the exact reversibility counts and orbit periods. Section 7 states the shell reading: zonal and meridional dynamics. Section 8 and Section 9 summarize the scope and the next finite-field problems.

2. Shell, Frame, Coefficient, and Coordinate Data

Let
p = 4 κ + 1
be prime, with κ the shell’s capacity. Then F p × is cyclic of order 4 κ . The capacity is an information count: the 4 κ states of the phase cycle fall into exactly κ four-element quarter-turn packets (the Q 4 cosets), two bits per packet in the labelled logarithmic reading, so κ measures the shell’s distinguishability budget. The shell is read through a relative frame
F p ( t ; 0 , 1 , g ) ,
following the FRC frame convention [20,21]: the origin 0 and unit 1 are pure position and scale, the affine gauge of the shell; g is the multiplier of the frame-holder’s own drive x g x , invariant under every reframing (conjugating the drive by x a x + b returns a drive with the same multiplier), with ord ( g ) = 4 κ ; and the chronon t is the observer’s present tick, the frame’s one free temporal datum. From these data the shell derives its oriented quarter-turn
i : = g κ = g κ , i 2 = 1 .
The orientation is derived, not chosen: a winding mode is read through the fixed frame by pullback, so it registers phase opposite to its winding per chronon, and the oriented quarter-turn is the phase the minimal material mode accumulates over one quarter-period of forward drive. This is the finite Euclidean phase datum used below; Figure 1 shows the smallest such shell in its two canonical presentations.
Remark 1
(Role of the congruence condition). The condition p 1 ( mod 4 ) is the shell condition that places the Euclidean phase element i 2 = 1 inside the base field F p . For abstract Clifford algebra alone, one can often move the required square roots into a coefficient extension. What is lost when p 3 ( mod 4 ) is not the possibility of writing related matrices, but the FRC separation used here: the Euclidean phase is no longer internal to the base shell. The present paper works in the symmetry-complete regime where the Euclidean phase lives in F p and the Lorentzian nonsquare coefficient is represented by a separate extension K.
Remark 2
(Shells in play). Several finite structures appear in this paper and are named apart throughout: the worked Subject shells F 13 and F 17 ; the coordinate shell Y = F p 4 ; and the coefficient field K. Carrier-scale statements of the FRC programme are transfer targets of the shell-generic identities proved here, never sites of computation in this paper. Every congruence below names its modulus.
The elementary arithmetic maps on the shell are
T a ( x ) = x + a , S m ( x ) = m x , P ε ( x ) = x ε ,
where a F p , m F p × , and ε 1 . The maps T a and S m are bijections. The power map P ε on F p × is bijective if and only if gcd ( ε , p 1 ) = 1 .
Fix a nonsquare ν F p × and define
K : = F p [ w ] / ( w 2 ν ) .
Since ν is a nonsquare, X 2 ν is irreducible over F p , so K F p 2 . Every element of K is written uniquely as
z = a + b w , a , b F p .
The Frobenius involution is
z ¯ : = z p .
It satisfies
a + b w ¯ = a b w , w ¯ = w , z ¯ ¯ = z .
The fixed field of this involution is F p . The trace-zero part is
K : = { α K : α ¯ = α } = w F p .
Remark 3
(Two conjugation registers). The derived quarter-turn i F p isfixedby Frobenius: for the Hermitian structure of this paper, i is a real quantity, and the anti-fixed element is w. The two imaginary units serve different registers — i the internal Euclidean phase of the shell, w the conjugation of the coefficient extension — and neither substitutes for the other. This register separation is used throughout.
The element w is used only on the coefficient side. The coordinate quadratic form below has coefficients in F p because w 2 = ν F p .
The choice of ν resolves at two levels, both exact.
Lemma 1
(The class is the datum).  F p × / ( F p × ) 2 has order two, so the nonsquares of F p × form a single class: for any two nonsquares ν , ν there is m F p × with ν = m 2 ν , and the rescaling x 0 m x 0 identifies the corresponding quadratic forms. All constructions below therefore depend on ν only through the nonsquare class; the choice of representative carries no geometric content.
Lemma 2
(The drive is canonical among the frame’s named residues). Callnamed residuesof the frame the tuple entries 0 , 1 , g and the derived data i , π = 2 κ , e = g i , together with the constant seats 2, 2 1 , 2 of the programme’s residue web. The drive multiplier is always a nonsquare: g ( p 1 ) / 2 = 1 for primitive g. Among the named residues it is the only element whose class is nonsquare on every symmetry-complete shell: 2, 2 1 , and 2 are squares exactly when κ is even ( p 1 mod 8 ); i is a square iff κ is even (an eighth root of unity exists iff 8 p 1 ); and e = g i and π = 2 κ have no stable class. By Lemma 1 the choice carries no geometric content; canonicity is naming, relative to this inventory, and within it the selection is unique. The canonical Lorentzian coefficient is therefore
ν : = g ,
stable under the reframing gauge ( [ g 1 ] = [ g ] ), so that K = F p [ w ] / ( w 2 g ) adjoins the half-step of the drive, w = g 1 / 2 .
Proof. 
Primitivity gives the first claim. The parity criteria for 2 and 2 are the second supplementary law together with 1 ( F p × ) 2 ; the criterion for i is the cyclicity of F p × ; the instability of e and π is witnessed already by F 13 against F 17 (Section 5, examples). All claims are additionally machine-verified in exact arithmetic on every symmetry-complete shell p < 2000 (Section 1). □
The general theorems below are stated for arbitrary nonsquare ν , per Lemma 1; the worked examples instantiate the canonical ν = g .
Remark 4
( ν is not c 2 ). In the FRC constants web the speed of light is the base residue with c 2 = 2 1 , which by Lemma 2 is asquareprecisely on the admissibility class κ even — on those shells c is base-rational while ν is not. The continuum habit of reading the temporal coefficient as c 2 is therefore unavailable here; the exact relation between the two seats is Corollary 1 below.
The square-class structure just used has a dynamical form.
Theorem 1
(The square class is chronon parity). For a primitive drive g, the squares of F p × are exactly g 2 : the quadratic class of a residue is the parity of its drive-step count dlog g . In particular the signature (nonsquare) class is the odd-parity class, with canonical representative the single chronon step g.
Proof. 
g 2 is the index-two subgroup of the cyclic F p × , and it consists of squares; conversely every square x = y 2 = g 2 dlog g y lies in it. □
Theorem 2
(Norm growth and parity). One chronon of drive multiplies every Frobenius norm by g 2 : N ( g z ) = g 2 N ( z ) for all z K , and g 2 is a square (even parity), while the single-chronon multiplier g is odd-parity and the equation x 2 = ν has no solution in F p for nonsquare ν.
Proof. 
N ( g z ) = ( g z ) ( g z ) ¯ = g 2 z z ¯ since g F p is Frobenius-fixed; g 2 g 2 . Insolubility of x 2 = ν is the definition of a nonsquare. □
Remark 5
(One-way and two-way transport, tagged). In the FRC reading, comparison-type (two-way) readings are even-parity by Theorem 2, the one-way single-chronon multiplier is odd-parity, and the null-cone slope ν = g 1 / 2 is not a base-field ratio: light-like transport carries no registered velocity, only its square class — the causal character of the interval.
Corollary 1
(The two speed-of-light seats). Since 2 c 2 = 1 , the temporal coefficient factors identically on every shell:
ν = g = c 2 · ( 2 g ) ,
and the cofactor 2 g carries the entire signature bit in both parities: [ 2 g ] is odd iff κ is even, [ c 2 · 2 g ] is odd always. The registered two-way constant c 2 = 2 1 (even-parity exactly on the admissibility class κ even) and the odd-parity one-way coefficient ν are the two exact factors of the continuum’s single symbol: the identification “ η 00 = c 2 ” is the collapse of the parity grading in the continuum chart, where every positive scalar is a square. The reframing flip g g 1 preserves the parity class while reversing the one-way direction: the one-way speed is gauge — the finite form of the synchronization freedom — while the two-way constant is invariant.
The Lorentzian coordinate shell is
Y : = F p 4 .
It is equipped with the diagonal quadratic form
Q ν ( x 0 , x 1 , x 2 , x 3 ) = ν x 0 2 + x 1 2 + x 2 2 + x 3 2 .
Let
η = diag ( ν , 1 , 1 , 1 ) ,
and write η μ ν for the entries of this fixed diagonal matrix. The subscript notation denotes matrix entries only; no index-raising convention is used. The time coordinate x 0 is read in the chronon-count chart: one unit step of x 0 is one chronon of drive, so the additive translations of x 0 realise the translation cycle C p while the drive’s own phase runs on C p 1 (Section 7).
The finite orthogonal group of the coordinate form is
O ( Q ν , F p ) = { Λ GL 4 ( F p ) : Q ν ( Λ y ) = Q ν ( y ) for all y Y } .
The explicit finite 1 + 1 boost subgroup used in Section 5 lies in this group and is identified there with the norm-one torus of K.
Remark 6
(Coordinate and coefficient roles). The coordinate shell is F p 4 . The coefficient field for amplitudes, Hermitian conjugation, gamma matrices, and spin lifts is K. This separation is useful because the Lorentzian coefficient ν is already present in F p , while its square root w is available only in K. Earlier FRC terminology often describes the Lorentzian stage as the quadratic extension K F p 2 ; the present construction is the F p -coordinate operator layer inside that framework, not a replacement for it [22].

3. Finite Hermitian Function Spaces

Let X be a finite set. Define
H ( X ) : = K X ,
the K-vector space of all K-valued functions on X.
Definition 1
(Hermitian form). For ψ , ϕ H ( X ) , set
ψ , ϕ X : = x X ψ ( x ) ¯ ϕ ( x ) .
Lemma 3.
The form (10) is Hermitian and nondegenerate.
Proof. 
Hermitian symmetry follows from
ψ , ϕ X ¯ = x X ψ ( x ) ϕ ( x ) ¯ = ϕ , ψ X .
For nondegeneracy, let ψ 0 . Choose x 0 X with ψ ( x 0 ) 0 and define ϕ ( x 0 ) = 1 , ϕ ( x ) = 0 for x x 0 . Then
ψ , ϕ X = ψ ( x 0 ) ¯ 0 .
 □
Since K has no compatible order, the word Hermitian here denotes the algebraic preservation of the involutive form (10). It is not a positivity statement.
Remark 7
(Algebraic scope of Hermitian language). In this paper the Hermitian form supplies three pieces of finite linear algebra: a nondegenerate pairing, an adjoint operation, and the form-preservation condition U U = I . Self-adjointness means H = H with respect to this pairing, and it is used to prove exact Cayley preservation in Section 4. Probabilistic interpretation, ordered expectation values, and spectral observables require additional finite-field quantum structure beyond this pairing.
Definition 2
(Adjoint). Let A : H ( X ) H ( X ) be K-linear. The adjoint A is the unique K-linear operator satisfying
A ψ , ϕ X = ψ , A ϕ X
for all ψ , ϕ H ( X ) .
The adjoint exists and is unique because (10) is nondegenerate and H ( X ) is finite-dimensional over K.
For d 1 , let
X d : = F p d
with its additive group law. For u X d , define
( T u ψ ) ( x ) : = ψ ( x + u ) .
Proposition 1.
For every u X d , the translation operator T u is unitary on H ( X d ) and
T u = T u .
Proof. 
The map x x + u is a bijection of X d . Reindexing gives
T u ψ , T u ϕ X d = x X d ψ ( x + u ) ¯ ϕ ( x + u ) = y X d ψ ( y ) ¯ ϕ ( y ) = ψ , ϕ X d .
Similarly,
T u ψ , ϕ X d = ψ , T u ϕ X d .
 □
Let E = ( e 1 , , e d ) be an ordered basis of X d . Define
δ μ E , + : = T e μ I ,
δ μ E , : = T e μ I ,
Δ E : = μ = 1 d T e μ + T e μ 2 I .
Proposition 2.
The finite Laplacian Δ E is self-adjoint on H ( X d ) .
Proof. 
For each μ , T e μ = T e μ and T e μ = T e μ . Thus each summand in (14) is self-adjoint. □
Let V : X d F p . Multiplication by V defines
( M V ψ ) ( x ) : = V ( x ) ψ ( x ) .
Since V ( x ) F p is fixed by Frobenius, M V is self-adjoint.
Definition 3
(Finite Hamiltonian). For ϰ F p , define
H E , V , ϰ : = ϰ Δ E + M V .
Corollary 2.
The Hamiltonian H E , V , ϰ is self-adjoint.
Proof. 
Both Δ E and M V are self-adjoint, and ϰ F p is fixed by Frobenius. □
Remark 8
(The stiffness normalisation). The coefficient ϰ is the stiffness of the kinetic term, with ϰ = 1 the unit-capacity normalisation used in the examples. Two visually similar symbols are in play and never interchange: the capacity κ (the shell parameter, p = 4 κ + 1 ) and the stiffness ϰ (the kinetic coefficient); the distinction is the corpus-wide FRC convention, and ϰ appears only in H E , V , ϰ and the examples.
Definition 4
(Finite unitary group). For a finite set X, write
U ( H ( X ) ) : = { U GL ( H ( X ) ) : U U = I } .
If | X | = n , a choice of ordering of X identifies H ( X ) with K n and (10) with the standard Frobenius-Hermitian form. The group U ( H ( X ) ) is therefore the finite unitary group attached to the quadratic extension K / F p , one of the classical finite groups of Lie type [3].
Lemma 4.
Let A GL d ( F p ) , let E = ( e 1 , , e d ) , and let E = ( A e 1 , , A e d ) . Define
( A ψ ) ( x ) : = ψ ( A 1 x ) .
Then, for each μ,
T A e μ A = A T e μ , δ μ E , ± A = A δ μ E , ± , Δ E A = A Δ E .
Proof. 
For translations,
( T A e μ A ψ ) ( x ) = ( A ψ ) ( x + A e μ ) = ψ ( A 1 x + e μ ) = ( A T e μ ψ ) ( x ) .
The finite difference identities follow from the definitions. □

4. Cayley Dynamics on Euclidean Shells

Let H = H E , V , ϰ be a self-adjoint finite Hamiltonian on H ( X d ) .
Definition 5
(Cayley step). Let α K , so α ¯ = α . If I α H is invertible on H ( X d ) , define
U α , H : = ( I α H ) 1 ( I + α H ) .
Equivalently,
( I α H ) ψ n + 1 = ( I + α H ) ψ n .
Definition 6
(Admissible Cayley parameters). For self-adjoint H, set
A ( H ) : = { α K : I α H is invertible on H ( X d ) } .
The set A ( H ) is finite and nonempty because 0 A ( H ) .
Remark 9
(Admissibility). Admissibility is governed by the finite determinant condition
det ( I α H ) 0 , α K .
Thus the excluded trace-zero parameters are exactly the roots, inside K , of the finite polynomial det ( I α H ) . The example below records one nonzero admissible parameter; a general classification of A ( H ) depends on the finite Hamiltonian.
The parameter α = 0 always gives the identity propagator. The substantive admissibility question is therefore the nonzero part of A ( H ) .
Theorem 3
(Exact Hermitian preservation). Let H be self-adjoint and let α A ( H ) . Then
U α , H ψ , U α , H ϕ X d = ψ , ϕ X d
for all ψ , ϕ H ( X d ) .
Proof. 
Since H = H and α ¯ = α ,
( I α H ) = I + α H , ( I + α H ) = I α H .
The invertibility of I α H implies the invertibility of I + α H by taking adjoints. Hence
U α , H = ( I α H ) ( I + α H ) 1 .
All factors are rational functions of H, so they commute. Therefore
U α , H U α , H = ( I α H ) ( I + α H ) 1 ( I α H ) 1 ( I + α H ) = I .
This gives (19). □
Corollary 3
(Finite periodicity). For every ψ 0 H ( X d ) , the Cayley orbit ψ n = U α , H n ψ 0 is periodic.
Proof. 
The vector space H ( X d ) is finite. The group U ( H ( X d ) ) is finite, and by 3 the operator U α , H belongs to it. Hence some positive power of U α , H is the identity. □
Theorem 4
(The finite Cayley transform). Let α K be nonzero and let
φ ( λ ) = 1 + α λ 1 α λ , λ F p .
Then φ is defined for every λ F p , takes values in the norm-one torus
N 1 : = { u K × : u ¯ u = 1 } ,
and, extended by φ ( ) = 1 , is a bijection from the projective line P 1 ( F p ) onto N 1 . In particular | N 1 | = p + 1 , and the unitary group of the one-dimensional Hermitian space K is exactly N 1 C p + 1 .
Proof. 
Write α = k w , k 0 . The denominator has Frobenius norm N ( 1 α λ ) = ( 1 α λ ) ( 1 + α λ ) = 1 α 2 λ 2 = 1 k 2 ν λ 2 , which vanishes only if ν = ( k λ ) 2 is a square — impossible. The same computation gives N ( φ ( λ ) ) = 1 since α ¯ = α . The map is injective as a nonconstant Möbius map, P 1 ( F p ) has p + 1 points, and | N 1 | = ( p 2 1 ) / ( p 1 ) = p + 1 (the norm is surjective onto F p × with fibers of equal size), so injectivity gives bijectivity. The group statement is the definition of U ( H ( point ) ) . □
The Frobenius-fixed line — the self-adjoint data — and the unitary torus are therefore in exact bijection: the finite form of the Cayley transform from self-adjoint operators to unitaries. The same torus reappears in Section 5 as the boost group; evolution phases and boosts share one structure.
Remark 10
(The forward step). The map α α = α ¯ inverts every φ ( λ ) : it is the orientation gauge of the evolution torus, the same Z 2 as the derived orientation of the shell. The forward step is therefore not a free choice but imports the derived orientation (a winding mode registers phase opposite to its winding per chronon); the natural normalisation composes the two quarter-turn seats of the scheme, the internal i and the extension’s w:
α fwd = 2 1 i w , U α fwd , H = I i w H + O ( H 2 ) ,
the finite Crank–Nicolson seat of the evolution kernel at unit stiffness ϰ = 1 .
Example 1
(The case p = 13 ). Let p = 13 with frame F 13 ( t ; 0 , 1 , 2 ) , so g = 2 , κ = 3 , and the canonical coefficient is ν = g = 2 ; let K = F 13 [ w ] / ( w 2 2 ) . Take d = 1 , X 1 = F 13 , E = ( 1 ) , V = 0 , and ϰ = 1 . Then H = Δ E . Since H is nilpotent (8), I α H is invertible forevery α K : A ( H ) = K is a general fact for kinetic Hamiltonians, not a p = 13 observation. The example’s content is the orders: writing α = k w ,
U 0 , H = I , ord ( U k w , H ) = 13 ( k F 13 × ) .
Thus every vector in H ( F 13 ) returns after 13 Cayley steps for each non-zero trace-zero parameter in this example; Section 6 derives this order as the unipotent (translation-torus) case of the general period dichotomy. The supplementary scripts (Section 1) reproduce the full admissibility and order computation by exact arithmetic in F 13 2 .
The Cayley construction is an algebraic finite analogue of unitary time stepping. The preserved quantity is the Hermitian form (10); no order or probability measure is used.

5. Dirac-Type Operator and Finite Boost Transport

Let Y = F p 4 with standard ordered basis E 0 = ( e 0 , e 1 , e 2 , e 3 ) and quadratic form Q ν from (8). A spinor field on Y is a function
ψ : Y K 4 .
The spinor field space is
S ( Y ) : = ( K 4 ) Y .
For an ordered basis E = ( u 0 , u 1 , u 2 , u 3 ) of Y, define directional forward differences
( μ E ψ ) ( z ) : = ψ ( z + u μ ) ψ ( z ) , ψ S ( Y ) .
Because Y is an additive group, these finite differences commute for a fixed frame E.
Let
I 2 = 1 0 0 1 , σ 1 = 0 1 1 0 ,
σ 2 = 0 i i 0 , σ 3 = 1 0 0 1 .
Since i 2 = 1 , the Pauli identities
σ j σ k + σ k σ j = 2 δ j k I 2
hold over K.
Define
β = 0 I 2 I 2 0 , ρ k = 0 σ k σ k 0 ( k = 1 , 2 , 3 ) ,
and set
γ 0 : = i w β , γ k : = i ρ k ( k = 1 , 2 , 3 ) .
Proposition 3
(Clifford relations). The matrices (21) satisfy
γ μ γ ν + γ ν γ μ = 2 η μ ν I 4 , η = diag ( ν , 1 , 1 , 1 ) .
Proof. 
The Pauli identities give ( ρ k ) 2 = I 4 and ρ j ρ k + ρ k ρ j = 0 for j k . Also β 2 = I 4 . The mixed block product is
β ρ k = σ k 0 0 σ k , ρ k β = σ k 0 0 σ k ,
so β ρ k + ρ k β = 0 . Since ( i w ) 2 = ν and i 2 = 1 ,
( γ 0 ) 2 = ν I 4 , ( γ k ) 2 = I 4 ,
and all mixed anticommutators vanish. □

5.1. Standard Finite Dirac Operator

Define the scalar finite Klein-Gordon operator on Y by
E 0 : = μ , ν = 0 3 η μ ν μ E 0 ν E 0 = ν ( 0 E 0 ) 2 + k = 1 3 ( k E 0 ) 2 .
Its spinorial extension is
KG E 0 spin : = E 0 I 4 .
Definition 7
(Standard finite Dirac operator). Define
D E 0 : = μ = 0 3 γ μ μ E 0
on S ( Y ) . For m F p , the finite Dirac equation is
( D E 0 m I S ) ψ = 0 .
Theorem 5
(Dirac-to-Klein-Gordon factorization). On S ( Y ) ,
( D E 0 m I S ) ( D E 0 + m I S ) = KG E 0 spin m 2 I S .
Proof. 
The finite differences commute, so
D E 0 2 = μ , ν = 0 3 γ μ γ ν μ E 0 ν E 0 = 1 2 μ , ν = 0 3 ( γ μ γ ν + γ ν γ μ ) μ E 0 ν E 0 .
By Proposition 3, this is KG E 0 spin . Since m is scalar, (26) follows. □
Set
M : = γ 0 γ 1 .
Since γ 0 γ 1 = γ 1 γ 0 , ( γ 0 ) 2 = ν I 4 , and ( γ 1 ) 2 = I 4 ,
M 2 = γ 0 γ 1 γ 0 γ 1 = γ 0 2 γ 1 2 = ν I 4 .
Let x , y F p and assume
δ : = x 2 ν y 2 0 .
Define
S ( x , y ) : = x I 4 + y M .
Then
S ( x , y ) 1 = δ 1 ( x I 4 y M ) .
Define
A : = x 2 + ν y 2 x 2 ν y 2 , B : = 2 x y x 2 ν y 2 .
Proposition 4
(Spin conjugation). The spin lift S = S ( x , y ) satisfies
S 1 γ 0 S = A γ 0 + ν B γ 1 ,
S 1 γ 1 S = B γ 0 + A γ 1 ,
S 1 γ 2 S = γ 2 , S 1 γ 3 S = γ 3 .
Proof. 
The inverse formula follows from M 2 = ν I 4 . The identities
M γ 0 = ν γ 1 , γ 0 M = ν γ 1 , M γ 1 = γ 0 , γ 1 M = γ 0
give (31) and (32) by direct multiplication. The matrices γ 2 and γ 3 commute with M = γ 0 γ 1 , because each anticommutes with both factors γ 0 and γ 1 . Hence S 1 γ 2 S = γ 2 and S 1 γ 3 S = γ 3 . □
Definition 8
(Coordinate boost). For x , y F p satisfying (27), define
Λ ( x , y ) : = A B 0 0 ν B A 0 0 0 0 1 0 0 0 0 1 .
Proposition 5.
The matrix Λ ( x , y ) belongs to O ( Q ν , F p ) .
Proof. 
A direct calculation from (30) gives
A 2 ν B 2 = 1 .
For the displayed 2 × 2 block, this identity is exactly Λ T η Λ = η . The last two coordinates are fixed. □
Proposition 6
(Boost subgroup). The set
G ν : = { Λ ( x , y ) : x , y F p , x 2 ν y 2 0 }
is a subgroup of O ( Q ν , F p ) .
Proof. 
Let z = x + y w and z = u + v w in K × . Their product is
z z = ( x u + ν y v ) + ( x v + y u ) w .
The norm satisfies
( x u + ν y v ) 2 ν ( x v + y u ) 2 = ( x 2 ν y 2 ) ( u 2 ν v 2 ) .
Direct multiplication of the matrices (34) gives
Λ ( x , y ) Λ ( u , v ) = Λ ( x u + ν y v , x v + y u ) .
Also Λ ( 1 , 0 ) = I 4 and Λ ( x , y ) 1 = Λ ( x , y ) . Hence, G ν is a subgroup. □
Lemma 5
(The boost group is the non-split torus). The map z = x + y w Λ ( x , y ) is a surjective homomorphism from K × onto G ν with kernel the scalar line F p × , and the boost entries are the coordinates of z / z ¯ :
A B w = z z ¯ .
Hence
G ν K × / F p × N 1 = { u K × : u ¯ u = 1 } C p + 1 ,
cyclic of order p + 1 : the boost group is the norm-one (non-split) torus of the extension, the same torus that carries the evolution phases of Theorem 4, and it contains an element of order three if and only if 3 p + 1 .
Proof. 
Multiplicativity is the subgroup law just proved. The entries (30) are homogeneous of degree zero in ( x , y ) , so the scalar line acts trivially; conversely A = 1 , B = 0 forces x y = 0 and x 2 + ν y 2 = x 2 ν y 2 , hence y = 0 . For the Hilbert-90 form, z / z ¯ = ( x + y w ) 2 / ( x 2 ν y 2 ) = A B w by direct expansion, with N ( z / z ¯ ) = 1 ; the identity A 2 ν B 2 = 1 of Proposition 5 is this norm-one condition. The quotient K × / F p × is cyclic of order ( p 2 1 ) / ( p 1 ) = p + 1 and z z / z ¯ realises it inside N 1 , which has the same cardinality. The triality clause is Cauchy’s theorem in a cyclic group. □

5.2. Transported Dirac Operators

Let Λ = Λ ( x , y ) G ν and set
E Λ = ( Λ e 0 , Λ e 1 , Λ e 2 , Λ e 3 ) .
Define the pullback on spinor fields by
( Λ ψ ) ( z ) : = ψ ( Λ 1 z ) .
Lemma 6.
For every μ,
μ E Λ Λ = Λ μ E 0 .
Proof. 
For ψ S ( Y ) and z Y ,
( μ E Λ Λ ψ ) ( z ) = ( Λ ψ ) ( z + Λ e μ ) ( Λ ψ ) ( z ) = ψ ( Λ 1 z + e μ ) ψ ( Λ 1 z ) ,
which is ( Λ μ E 0 ψ ) ( z ) . □
For S = S ( x , y ) , define the spinor transport
T Λ , S : = S Λ .
The transported Dirac operator is
D Λ , S : = T Λ , S D E 0 T Λ , S 1 .
Proposition 7
(Explicit transported form). The operator (38) is
D Λ , S = μ = 0 3 γ ^ Λ , S μ μ E Λ ,
where
γ ^ Λ , S 0 = A γ 0 ν B γ 1 ,
γ ^ Λ , S 1 = B γ 0 + A γ 1 ,
γ ^ Λ , S 2 = γ 2 , γ ^ Λ , S 3 = γ 3 .
Proof. 
Since S is constant on Y, it commutes with the difference operators. Using (36),
D Λ , S = S Λ μ γ μ μ E 0 Λ 1 S 1 = S μ γ μ μ E Λ S 1 .
Thus the transported gamma matrices are S γ μ S 1 . Replacing y by y in Proposition 4 gives (40)–(42). □
Corollary 4
(Transported Clifford relations). For every Λ G ν and spin lift S, the family γ ^ Λ , S μ satisfies
γ ^ Λ , S μ γ ^ Λ , S ν + γ ^ Λ , S ν γ ^ Λ , S μ = 2 η μ ν I 4 .
Proof. 
Conjugation by S preserves anticommutators. □
For the boosted frame, set
E Λ : = μ , ν = 0 3 η μ ν μ E Λ ν E Λ = ν ( 0 E Λ ) 2 + k = 1 3 ( k E Λ ) 2
and
KG E Λ spin : = E Λ I 4 .
Theorem 6
(Transported factorization). For every Λ G ν and spin lift S,
( D Λ , S m I S ) ( D Λ , S + m I S ) = KG E Λ spin m 2 I S .
Proof. 
Use Proposition 7, the commutativity of the finite differences in the frame E Λ , and the transported Clifford relations. The calculation is identical to the proof of 5. □
Corollary 5
(Exact covariance of the transported family). For Λ G ν with spin lift S and every ψ S ( Y ) ,
D Λ , S ( T Λ , S ψ ) = T Λ , S ( D E 0 ψ ) .
Consequently, a solution of ( D E 0 m I S ) ψ = 0 is transported to a solution of
( D Λ , S m I S ) T Λ , S ψ = 0 .
Proof. 
By Proposition 7, D Λ , S is the explicit finite difference operator obtained by transporting the standard gamma family and frame. Since it is also defined by the conjugation relation (38), (45) follows immediately. The equation with mass follows because m is scalar and commutes with T Λ , S . □

5.3. Symmetric Dirac Operator and Exact Unitary Evolution

The forward differences (20) are adapted to transport; for evolution, the symmetric differences
μ s : = 2 1 T e μ T e μ
are the right derivations: they commute for a fixed frame, each is anti-self-adjoint for the componentwise Hermitian form, and each is nilpotent, since ( T e μ 2 I ) p = T e μ 2 p I = 0 in characteristic p . Set
D s : = μ = 0 3 γ μ μ s .
The factorization argument of 5 applies verbatim: ( D s ) 2 = s I 4 with s the symmetric Klein–Gordon operator, itself nilpotent as a polynomial without constant term in commuting nilpotents.
Lemma 7
(The spinor form). Let X : = γ 0 γ 1 γ 3 . Then X = X , X 2 = ν I 4 exactly, X commutes with γ 0 , γ 1 , γ 3 and anticommutes with γ 2 , and consequently
X 1 ( γ μ ) X = γ μ ( μ = 0 , 1 , 2 , 3 ) .
The pairing ψ , ϕ X : = z Y ψ ( z ) X ϕ ( z ) is a nondegenerate Hermitian form on S ( Y ) , and D s and D s m I ( m F p ) are self-adjoint for it.
Proof. 
Under the componentwise conjugate transpose the signs are ( γ 0 ) = γ 0 (the entries ± i w conjugate to i w , β symmetric), ( γ 1 ) = γ 1 and ( γ 3 ) = γ 3 ( σ 1 , σ 3 symmetric with Frobenius-fixed entries, ρ k antisymmetric in blocks), but ( γ 2 ) = + γ 2 ( σ 2 antisymmetric): γ 2 is the obstruction. A product of three distinct gammas commutes with each of its factors and anticommutes with the omitted one, so conjugation by X flips exactly the γ 2 sign, giving the uniform γ μ . Hermiticity: X = ( γ 3 ) ( γ 1 ) ( γ 0 ) = γ 3 γ 1 γ 0 = X after reordering; and X 2 = ( γ 0 ) 2 ( γ 1 ) 2 ( γ 3 ) 2 = + ν I 4 identically. Self-adjointness: ( γ μ μ s ) # = ( μ s ) # ( γ μ ) # = ( μ s ) ( γ μ ) = γ μ μ s for the X-adjoint #, and m is Frobenius-fixed. Note that the continuum recipe — twisting by γ 0 — fails here: Frobenius fixes i , so ( γ 0 ) = γ 0 and the γ 0 -twist leaves mixed signs; the arithmetic forces the twist onto the odd product omitting γ 2 . All claims are machine-verified at p = 5 , 13 , 17 . □
Theorem 7
(Exact Dirac evolution and its periods). Let H = D s m I with m F p , and let α K with I α H invertible. Then the Cayley step U α , H preserves · , · X exactly. For m = 0 the admissibility is automatic (H nilpotent, so A ( H ) = K ), U is unipotent, and ord ( U ) is a power of p . For m 0 ,
U α , H = φ ( m ) · V ,
with φ the scalar Cayley map of 4 and V unipotent commuting with the scalar phase, so
ord ( U α , H ) = lcm ord N 1 φ ( m ) , p a :
the massless (meridional) period is pure characteristic- p , and the mass enters exclusively through the norm-one torus.
Proof. 
The preservation proof of 3 uses only H # = H and α ¯ = α , so it holds for any nondegenerate Hermitian pairing; 7 supplies both hypotheses. Nilpotency of D s gives unipotency of U as in the kinetic case, and unipotent orders in characteristic p are p -powers. For m 0 write H = m I + D s with commuting summands; then V : = φ ( m ) 1 U α , H is a rational function of the nilpotent D s with constant term 1, hence I + ( nilpotent ) . Exhaustive exact data ( 1 + 1 reduction at p = 5 , ν = g = 2 , spinor space of dimension 100): massless ord ( U ) = 25 = p 2 ; m = 1 : ord = 75 with ord N 1 φ ( 1 ) = 3 ; m = 2 : ord = 150 with ord N 1 φ ( 2 ) = 6 . □
Proposition 8
(The two Dirac operators and the transport of the spinor form). The forward operator D E 0 is the transport-and-factorization representative and D s the self-adjoint evolution representative of one covariant family: each μ s is a linear combination of the translations T ± e μ , so the pullback identity (36) holds verbatim for the symmetric differences, and
T Λ , S D E 0 s T Λ , S 1 = μ γ ^ Λ , S μ μ s , E Λ ,
the same transported gamma family as Proposition 7. For the spinor form, the spin lift satisfies
S ( x , y ) # = S ( x , y ) = δ S ( x , y ) 1 , S # S = δ I 4 , δ = x 2 ν y 2 ,
so T Λ , S scales · , · X by the lift norm δ: boosts implemented by norm-one lifts preserve the spinor form exactly, and the lifts with square norm form the index-two subgroup of form-preserving transports — the chronon-parity grading of 1 reappearing in the spinor transport, the odd coset scaling the form by the nonsquare class.
Proof. 
The pullback lemma is linear in the translations. For the lift, M # = ( γ 1 ) # ( γ 0 ) # = γ 1 γ 0 = M and x , y are Frobenius-fixed, so S # = x I y M , and ( x I y M ) ( x I + y M ) = ( x 2 ν y 2 ) I by M 2 = ν I 4 ; (29) gives the middle equality. Rescaling a lift z λ z scales δ by λ 2 , so the attainable norms within one boost class form a square-class coset; norm-one lifts exist exactly on the square-norm classes, which form the index-two subgroup. All statements machine-verified at p = 5 . □
The Dirac sector thus carries the same exact unitary Cayley evolution as the Schrödinger sector, on the twisted spinor form, with the same 1 + 1 covariance as the forward operator, and the period dichotomy of Section 6 extends to it: meridional (kinetic) periods are p -powers — the translation torus — while the mass phase lives on C p + 1 .
Remark 11
(The Dirac equation as a winding-rate balance). In the FRC reading (a tagged identification, not used by the theorems), mass is winding rate and E = h f is an identity. The finite Dirac equation (25) then equates the first-order meridional development of the spinor field to m times the field: spatial development rate equals temporal winding rate, the finite seat of the energy–momentum–mass relation that the factorization 5 squares into KG m 2 . The massless case D E 0 ψ = 0 is pure meridional transport, the drive-invariant face.
Example 2
(The case p = 13 ). Let p = 13 with frame F 13 ( t ; 0 , 1 , 2 ) and the canonical ν = g = 2 . Taking x = y = 1 gives
A = 10 , B = 2
in F 13 , hence
Λ ( 1 , 1 ) = 10 2 0 0 4 10 0 0 0 0 1 0 0 0 0 1 O ( Q 2 , F 13 ) .
The spin lift is S ( 1 , 1 ) = I 4 + γ 0 γ 1 , and the transported gamma matrices are
γ ^ 0 = 10 γ 0 4 γ 1 , γ ^ 1 = 2 γ 0 + 10 γ 1 ,
with γ ^ 2 = γ 2 and γ ^ 3 = γ 3 . Here | G 2 | = 14 = p + 1 by exhaustive enumeration, confirming 5; 3 14 , so this shell carries no triality element among its boosts. The supplementary scripts verify the Clifford relations, conjugation formulas, the torus enumeration, and a sample covariance identity by exact arithmetic in F 13 2 .
Example 3
(The case p = 17 : the minimal admissible shell).  κ = 4 is the smallest capacity with κ even, κ 1 ( mod 3 ) , and 4 κ + 1 prime, so F 17 is the minimal shell satisfying the FRC admissibility congruences ( 17 5 mod 12 ). Take the frame F 17 ( t ; 0 , 1 , 3 ) , with derived i = 3 4 = 4 ( 4 2 = 16 1 ). On this shell 2, i , and e = g i are all squares, so the drive is the only named nonsquare and the canonical coefficient ν = g = 3 is also the forced one among the frame’s data (Lemma 2); note that 2 1 is base-rational here while ν is not — the two speed-of-light seats of Corollary 1 visibly part. Taking x = y = 1 gives
A = 15 , B = 1 , γ ^ 0 = 15 γ 0 3 γ 1 , γ ^ 1 = γ 0 + 15 γ 1 ,
and | G 3 | = 18 = p + 1 by exhaustive enumeration, with 3 18 : the boost torus of the minimal admissible shell carries the order-three (triality) element. All statements machine-verified in exact arithmetic in F 17 2 by the supplementary scripts.

6. Exact Reversibility and Information Counts

This section is diagnostic. It records exact finite cardinality facts that distinguish reversible maps from compressive maps. It does not define a thermodynamic entropy, a probability measure on amplitudes, or a packet-level transfer theory.
Definition 9
(Image count and loss factor). Let f : X Y be a map of finite sets. Define
I X ( f ) : = | f ( X ) | , L X ( f ) : = | X | | f ( X ) | Q .
The image count records how many states remain distinguishable after applying f. The loss factor is an exact finite ratio. It is used here only for finite maps.
Proposition 9.
For a self-map f : X X of a finite set, the following are equivalent:
1. 
f is bijective;
2. 
I X ( f ) = | X | ;
3. 
L X ( f ) = 1 .
Proof. 
If f is bijective, then f ( X ) = X . Conversely, if | f ( X ) | = | X | , then f is surjective and hence bijective because X is finite. The equivalence with L X ( f ) = 1 follows from the definition. □
Proposition 10
(Power-map count). Let X = F p × and let
P ε ( x ) = x ε , ε 1 .
Set d = gcd ( ε , p 1 ) . Then
I X ( P ε ) = p 1 d , L X ( P ε ) = d .
Each nonempty fiber has cardinality d.
Proof. 
Work on the exponent cycle of the drive, F p × = { g k } C p 1 , with
P ε ( g k ) = g ε k .
Thus P ε is multiplication by ε on the cycle C p 1 . Its kernel has size d and its image has size ( p 1 ) / d . □
Corollary 6
(Cayley propagators). For α A ( H ) , the Cayley propagator U α , H : H ( X d ) H ( X d ) has loss factor 1.
Proof. 
The operator U α , H is invertible by definition. Apply Proposition 9 to the underlying finite set H ( X d ) . □
Corollary 7
(Boost transport). For Λ G ν and spin lift S, the transport
T Λ , S = S Λ : S ( Y ) S ( Y )
has loss factor 1.
Proof. 
The pullback Λ is bijective because Λ is invertible on Y, and multiplication by S is bijective because S is invertible. Apply Proposition 9. □
Thus the wave operators constructed above are reversible finite maps. The shell power maps provide a contrasting finite source of arithmetic compression, with exact loss factor gcd ( ε , p 1 ) .
Remark 12
(Entropy reading of the counts). The image count is a distinguishability count, and its labelled logarithmic reading is the Hartley (max-)entropy [23,24]: a finite map loses exactly log L X ( f ) of it, so the loss factor is the exact arithmetic form of an entropy production — log gcd ( ε , p 1 ) for the power maps, zero for the Cayley and boost transports. The zero-loss maps are precisely the reversible ones (Proposition 9), the finite-field form of the reversible-computation condition of Landauer, Bennett, and Fredkin–Toffoli [25,26,27]; no probabilistic (Shannon-type) entropy is invoked [28], the counts being exact and measure-free. The period dichotomy below sharpens the statement: the isentropic propagators are not merely reversible but exactly recurrent, with periods set by the shell’s tori.
The reversible maps have exact periods, and the periods are classified by the shell’s tori.
Theorem 8
(Period dichotomy). Let α A ( H ) be nonzero.
1. 
(Kinetic case.) For H = ϰ Δ E on H ( F p ) with ϰ 0 , the propagator U α , H is unipotent and
ord ( U α , H ) = p .
2. 
(Potential case.) For H = M V with V : F p F p , the propagator is diagonal with entries φ ( V ( x ) ) N 1 (Theorem 4), so
ord ( U α , H ) | p + 1 ,
attained, e.g., for V = id at p = 13 (order 14) and p = 17 (order 18).
Proof. (1) With T = T e 1 , one has T p = T p e 1 = I in characteristic p , so ( T I ) p = T p I = 0 and H = ϰ T 1 ( T I ) 2 is nilpotent. Then U I = 2 α H ( I α H ) 1 is nilpotent, so U is unipotent and U p = I ; since U I and p is prime, the order is exactly p . (2) is immediate from Theorem 4; attainment is machine-verified by the supplementary scripts. □
Corollary 8
(Kinetic Hamiltonians are fully admissible). If H is nilpotent — in particular H = ϰ Δ E , and the symmetric Dirac operator of 7 — then I α H is invertible for every α K , so A ( H ) = K on every shell.
Proof. 
α H is nilpotent, so I α H is unipotent, with inverse k ( α H ) k (a finite sum). □
Remark 13
(The three tori in dynamical roles). The kinetic period p is the order of the translation cycle C p ; the potential period divides the order of the norm-one torus C p + 1 (which is also the boost group, 5); and the drive itself runs on the phase cycle C p 1 . The three tori of the shell’s frame group each govern one dynamical role. Two exact extensions are proved elsewhere in the paper: for commuting scalar-plus-nilpotent Hamiltonians the order factors exactly (7), and for block compositions the joint period is the least common multiple of the parts’ periods. For general mixed Hamiltonians weconjecture, supported by exact instances, the shape ord ( U ) = p a · m with m the least common multiple of eigenphase orders over the splitting fields (each dividing p k + 1 for splitting degree k); the sharpest exact instance: at p = 5 , ν = g = 2 , H = Δ + M id gives ord ( U w , H ) = 1563 = ( 5 5 + 1 ) / 2 , the degree-five irreducible-spectrum case with no unipotent factor. The unipotent exponent itself carries geometric information: the massless 1 + 1 Dirac period is p 2 where the kinetic Schrödinger period is p , the exponent being log p ( nilpotency index of the Cayley increment ) — dimension and spinor structure enter through the nilpotency index of D s . The general classification, including whether this formula for the exponent holds as a function of spatial dimension, is posed as open problem 1 in Section 8.
The supplementary scripts (Section 1) reproduce all finite examples and period computations by exact arithmetic over F p [ w ] / ( w 2 ν ) .

7. The Shell Reading: Zonal and Meridional Dynamics

This section states what the operator layer of Section 3, Section 4, Section 5 and Section 6 is, in the geometry of the framed shell. The orbital shell of the frame F p ( t ; 0 , 1 , g ) carries two families of curves [21]: the meridians M m , the additive rays in the directions g m , and the latitude circles L a , the drive orbits at radius a. The additive Fourier pair (space, momentum) lives on two meridians — M 0 , the prime meridian in the direction of the unit, and M κ , the quarter-turn meridian in the direction g κ = ± i — and the multiplicative Fourier pair (time, energy) on two latitudes — L 1 , the drive’s own orbit through the unit, and L κ + 1 , one capacity-step down the ladder, the first latitude past the equator. Both dualities are the same index advance by the capacity: M 0 M κ , the quarter-turn on the meridian pair, and L 1 L κ + 1 , the quarter-cycle on the latitude pair. We call motion along the latitudes zonal and motion along the meridians meridional. Figure 2 shows the four domains on the reference shell. The claims of this section are exact; their physical names are tagged identifications of the FRC programme.
Theorem 9
(The free evolution is the drive). Let Φ p = F p × be the phase cycle and let D : H ( Φ p ) H ( Φ p ) be the drive pullback, ( D ψ ) ( x ) = ψ ( g 1 x ) . Then:
1. 
D is unitary for the Hermitian form (10).
2. 
The multiplicative characters χ k ( g j ) = g j k (k on the exponent cycle C p 1 ) are a K-basis of eigenvectors, with
D χ k = g k χ k :
the winding-k mode acquires phase g k per chronon — the finite evolution kernel, with the energy read as the winding number; the characters are the shell’s plane waves, and the massive periods of 7 give the finite mass-shell reading.
3. 
Every character line is isotropic for the form except k = 0 and k = ( p 1 ) / 2 , whose eigenvalues ± 1 are exactly N 1 μ p 1 , the intersection of the norm-one torus with the split phase cycle.
Proof. (1) x g 1 x permutes Φ p ; reindex the defining sum. (2) ( D χ k ) ( g j ) = χ k ( g j 1 ) = g k χ k ( g j ) ; the p 1 characters are linearly independent by Dedekind’s lemma. (3) The character values lie in F p and are Frobenius-fixed, so χ k , χ k = j χ 2 k ( g j ) , which vanishes unless ( p 1 ) 2 k ; the exceptional eigenvalues are g 0 = 1 and g ( p 1 ) / 2 = 1 , and N 1 F p × = { ± 1 } since u = u ¯ and u u ¯ = 1 force u 2 = 1 . □
To place interactions on the same space as the free evolution, equip H ( Φ p ) with the cycle Laplacian of the drive,
Δ Φ : = D + D 1 2 I ,
which is self-adjoint (D is unitary with D = D 1 ), diagonal on the characters with Frobenius-fixed eigenvalues g k + g k 2 , and commutes with D. Cayley steps of Hamiltonians ϰ Δ Φ + M V on Φ p then live in the same unitary group as the drive; the translation Laplacian of Section 3 lives on H ( F p ) instead, the two spaces differing by the zero element — the seam between the additive and multiplicative pictures.
Corollary 9
(Two evolution sectors, one space). In the unitary group of H ( Φ p ) there are two structurally distinct families: the split-phase sector — the drive and its powers, with spectrum in the phase cycle μ p 1 F p × on isotropic character lines — and the norm-one sector — the Cayley propagators of Hamiltonians on Φ p , with scalar phases in N 1 C p + 1 for Frobenius-fixed spectra (Theorem 4; over splitting fields the phases lie in the corresponding norm-one tori, Remark 13). The two phase groups intersect in { ± 1 } alone, so the free zonal evolution is not a Cayley step of any Hamiltonian with Frobenius-fixed spectrum: the continuum’s single unit circle appears here as two finite tori, the split cycle carrying the free (registration) kernel and the norm-one torus carrying the interacting (Cayley) and boost transports. Moreover the two sectors compose exactly: for H any polynomial in Δ Φ , [ U α , H , D ] = 0 , and U α , H D is a unitary evolution with commuting free and interacting factors.
Proof. 
The phases: immediate from Theorems 9 and 4 — a Cayley propagator of a Hamiltonian with spectrum in F p has scalar phases φ ( λ ) N 1 , while D has an eigenvalue g 1 { ± 1 } of order p 1 . The composite: D commutes with Δ Φ , hence with every rational function of it, including U α , H ; a product of commuting unitaries is unitary. Machine-verified at p = 13 : Δ Φ self-adjoint, [ U w , Δ Φ , D ] = 0 , both factors unitary. □

7.0.0.1. Finite Plane Waves, Dispersion, and the Mass Shell.

The two sectors carry their spectral data very differently, and the difference is exact. On the zonal side the characters are the plane waves, and the cycle Laplacian has the closed dispersion relation
Δ Φ χ k = 2 g k g k χ k ,
the finite band curve (the labelled continuum reading is 2 2 cos ), whose Cayley phases φ ( ϰ ( 2 g k g k ) ) populate N 1 . On the meridional side there are no plane waves at all: gcd ( p , | K × | ) = 1 , so K contains no nontrivial p -th root of unity and the translations admit no K-valued characters — the kinetic sector is unipotent, which is the operator form of the same fact. The mass shell follows: since D s is nilpotent, D s m I is invertible for every m 0 , so the static massive Dirac equation ( D s m ) ψ = 0 has only ψ = 0 on the periodic coordinate shell. Mass is not a kernel condition in the finite register; it is an evolution phase — the norm-one factor φ ( m ) of 7 — and the finite energy–momentum–mass relation is carried jointly by the factorization ( D s m ) ( D s + m ) = s m 2 and the period law ord ( U ) = lcm ( ord N 1 φ ( m ) , p a ) .
Remark 14
(The shell reading, tagged). With Theorem 9 beside the Dirac layer of Section 5, the two wave formalisms are the two Fourier pairs of one shell.Schrödinger dynamics is the exact zonal evolution: the drive circulates the time latitude L 1 , one packet per chronon; its spectrum is the winding ladder read a quarter-cycle down, at the energy latitude L κ + 1 (Figure 2). General self-adjoint interactions enter through the norm-one sector as exact Cayley steps.Dirac dynamics is the exact meridional development: the operator D E 0 is built entirely from translations, its equation balances meridional development rate against the winding rate m (Remark 11), and its covariance group is the boost torus C p + 1 transporting the zonal/meridional split (Lemma 5), with the time coordinate carried in the chronon-count chart on the translation cycle C p . The three tori of the shell thus hold the three dynamical seats — C p 1 the free evolution, C p the meridional translations and kinetic periods, C p + 1 the interactions and boosts — and the light cone between the two developments is a square-class boundary, not a locus of registered motion (Theorem 2). Both dynamical sectors are isentropic in the exact sense of Remark 12: the wave dynamics of the shell neither creates nor destroys distinguishability, and compression is confined to the arithmetic (power-map) layer.
Remark 15
(Programme position). The ontological stance behind this reading treats the primary object as a finite symmetry space of algebraic possibilities, with every description — including the continuum Schrödinger–Dirac formalism — an incomplete projection of it [20]. On that stance, the theorems of this paper say that the projection loses nothing operator-theoretic: preservation, factorization, transport, and now the free evolution and its spectrum are exact at the finite level, and what the continuum adds is chart convenience, at the price of collapsing distinctions the finite register keeps (two unit circles, Corollary 9; two speed-of-light seats, Corollary 1). The theorems stand independently of the stance.

8. Discussion

The construction gives a finite operator layer over the framed shell. The Euclidean side uses F p d as configuration space and K as coefficient field. The Lorentzian side uses Y = F p 4 as coordinate shell and the same coefficient field K for gamma matrices and spinors. The coordinate/coefficient split is essential: Q ν is written over F p , while the square root w of the nonsquare ν belongs to K — and the coefficient itself is canonical, ν = g , the drive multiplier, the frame’s one universally-nonsquare datum.
The Schrödinger-type results are an exact Cayley preservation theorem and the finite Cayley transform. A self-adjoint finite Hamiltonian generates a finite family of admissible Cayley maps, each preserving the Hermitian form exactly; the scalar Cayley map is a bijection from the Frobenius-fixed projective line onto the norm-one torus C p + 1 ; and the free evolution is the drive itself, exactly, with the winding number as energy (Theorem 9). Since the state space is finite, every trajectory is periodic, and the periods are classified by the shell’s tori: order p for kinetic (unipotent) propagators, order dividing p + 1 for potential (norm-one) propagators (Theorem 8). These are algebraic periodicity statements over a finite field, independent of any continuum spectral theorem.
The Dirac-type results are an exact Clifford, transport, and evolution construction. The gamma matrices encode the diagonal form η = diag ( ν , 1 , 1 , 1 ) , the finite Dirac operator factors to the spinorial Klein-Gordon operator, and the boost subgroup transports the standard operator to conjugate finite operators — the subgroup being the norm-one torus itself, by Hilbert 90 (Lemma 5). The symmetric Dirac operator is self-adjoint for the twisted spinor form of 7, so the Dirac sector carries exact unitary Cayley evolution with classified periods (7): p -power massless periods, mass phases on C p + 1 . The covariance and evolution statements are equalities of finite operators on the same finite spinor-field set, with the transporting group shared with the evolution phases. The construction is deliberately 1 + 1 in its boost content; the full finite orthogonal and spinorial family is left to the open problems.
The finite counts distinguish two algebraic behaviors. Cayley propagators and boost transports are bijections; shell power maps need not be. This is the finite-set content behind the loss factors. The packet, invariant, and fiber structure associated with shell changes is a separate finite-transfer problem.
The finite setting also fixes the level at which the operator identities live. The Hermitian form is a finite sum, the Hamiltonians and Dirac operators are endomorphisms of finite-dimensional K-spaces, Cayley preservation is a matrix identity whenever the denominator is invertible, and the Dirac-to-Klein-Gordon factorization is an exact equality of finite difference operators. This is the algebraic core carried by the construction.
This is the main consolidation supplied by the paper. The finite scheme does not approximate the continuum formalism by adding cutoffs; it isolates the part of the formalism that is already algebraic and makes it exact inside finite arithmetic — and it keeps distinctions the continuum collapses: the single unit circle splits into the split phase cycle and the norm-one torus (Corollary 9), and the single symbol c 2 splits into the registered two-way constant and the odd-parity one-way coefficient (Corollary 1). The statistical layer of the programme — the Born rule as registration count, measurement as shared-core comparison, exact composite recurrences — is developed in its companion quantum paper and rides on the operator identities proved here; the interface is one sentence: registered outcomes are counts over shared cores, computed with the same Hermitian pairings and unitary steps this paper constructs.
Several mathematical problems are now well posed. The first is the full period classification for mixed Hamiltonians: distribute the spectrum over the tori p a and p k + 1 , and determine the unipotent exponent a as a function of dimension and spinor structure (Remark 13 states the conjectured shape, an exact quintic instance, and the exponent formula to be tested). The second is to extend the explicit 1 + 1 boost subgroup to larger finite orthogonal and spinorial families; the 1 + 1 answer being structural ( N 1 , Hilbert 90), the higher families should organise by the same torus data. The third is to connect the Dirac transport constructed here with packet-level invariants in the quadratic extension. The fourth is to formulate an observer-local coordinate derivation of the finite Dirac arena from the global shell geometry of [21].

9. Conclusion

For primes p = 4 κ + 1 , the framed finite field F p ( t ; 0 , 1 , g ) carries a derived Euclidean phase element i = g κ with i 2 = 1 . The Lorentzian coordinate form Q ν on F p 4 depends only on the nonsquare class of its coefficient, whose canonical representative is the drive multiplier itself, ν = g ; the quadratic extension K = F p [ w ] / ( w 2 ν ) supplies Frobenius conjugation and spinorial coefficients. From these data one obtains exact finite analogues of Schrödinger and Dirac dynamics.
On Euclidean configuration spaces F p d , finite Hamiltonians built from translations and finite potentials are self-adjoint, admissible Cayley transforms preserve the Hermitian form exactly, and the scalar Cayley map is a bijection from the self-adjoint projective line onto the norm-one torus C p + 1 . The free evolution is the drive itself: winding modes acquire phase g k per chronon, the winding number playing energy. On the Lorentzian coordinate shell F p 4 , explicit gamma matrices over K satisfy the Clifford relations for η = diag ( ν , 1 , 1 , 1 ) , the finite Dirac difference operator factors into a spinorial Klein-Gordon operator, and the 1 + 1 boost subgroup — the norm-one torus, by Hilbert 90 — admits an explicit spin lift and transports the Dirac operator by exact conjugation; the boost content is deliberately 1 + 1 , the full finite spin family being future work. The symmetric Dirac operator is self-adjoint for a twisted spinor form forced by the Frobenius arithmetic, so the Dirac sector carries exact unitary Cayley evolution: p -power massless periods, the mass phase on the norm-one torus. The worked shells F 13 and F 17 instantiate the two admissibility classes, the latter the minimal shell of the programme’s admissible congruences.
The resulting maps are finite and reproducible. Cayley propagators and boost transports are bijective, with orbit periods classified by the shell’s tori: p for kinetic, p + 1 for potential propagators. Shell power maps on F p × compress by the exact arithmetic factor gcd ( ε , p 1 ) — an exact Hartley-entropy account in which the wave dynamics is isentropic and compression is purely arithmetic. Together the layers support one structural reading: Schrödinger dynamics is the exact zonal evolution of the framed shell and Dirac dynamics its exact meridional development — the two wave equations are the two Fourier pairs of one finite shell.

Reproducibility Map

The validation suite maps to the propositions one-to-one: finite_checks (Examples 1, 2, the power-map counts of Proposition 10, the Cayley admissibility and orders over all trace-zero parameters, the Clifford relations of Proposition 3, the conjugation formulas of Proposition 4, the transported family of Proposition 7, and a covariance sample for Corollary 5); o2_checks (Lemmas 1, 2, the square classes of every named residue on all symmetry-complete shells p < 2000 , and the admissibility anchors of Remark 4); o7_checks (Theorems 1, 2 and Corollary 1, with the drive-step parity exhaustive over every primitive root of the worked shells); o134_checks (Lemma 5 by exhaustive torus enumeration with the Hilbert-90 identity per element, Theorem 4, Theorem 8 with attained orders, and the quintic instance of Remark 13); latitude_checks (the latitude indices and terminal-latitude identities of Section 7); shell_checks (Theorem 9 exhaustively over all windings and cycle points, the sector separation of Corollary 9, and the F 17 numbers of Example 3); and o8_checks (Lemma 7 at p = 5 , 13 , 17 including the failure of the γ 0 -twist, Theorem 7 with the 1 + 1 operator computation at p = 5 — self-adjointness and unitarity as matrix identities, the massless p -power period, the massive factorization — the commuting free–interacting composite of Corollary 9, the spin-lift/form transport of Proposition 8, and the cycle dispersion relation of Section 7). Every script runs in exact arithmetic — no floats, no random sampling — and every number quoted in the manuscript is reproduced by one of them.

Author Contributions

The sole author conceived and directed the research and takes full responsibility for every definition, statement, and argument herein. The development, proofreading and the verification of the claims, were carried out with assistance of an artificial-intelligence system.

Funding

This research received no external funding.

Data Availability Statement

No new empirical data were created or analysed in this study. The exact-arithmetic verification scripts are publicly available on GitHub.

Acknowledgments

The author thanks early readers for comments on earlier versions of this manuscript.

Conflicts of Interest

The author confirms no potential conflict of interest.

References

  1. Lidl, R.; Niederreiter, H. Finite Fields, 2 ed.; Cambridge University Press: Cambridge, UK, 1997. [Google Scholar] [CrossRef]
  2. Lam, T.Y. Introduction to Quadratic Forms over Fields. In Graduate Studies in Mathematics; American Mathematical Society: Providence, RI, USA, 2005; Vol. 67. [Google Scholar] [CrossRef]
  3. Taylor, D.E. The Geometry of the Classical Groups. In Sigma Series in Pure Mathematics; Heldermann Verlag: Berlin, Germany, 1992; Vol. 9. [Google Scholar]
  4. Chevalley, C. The Algebraic Theory of Spinors and Clifford Algebras. In Collected Works; Springer: Berlin, Germany, 1996; Vol. 2. [Google Scholar]
  5. Porteous, I.R. Clifford Algebras and the Classical Groups; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar] [CrossRef]
  6. Crank, J.; Nicolson, P. A Practical Method for Numerical Evaluation of Solutions of Partial Differential Equations of the Heat-Conduction Type. Math. Proc. Camb. Philos. Soc. 1947, 43, 50–67. [Google Scholar] [CrossRef]
  7. Schwinger, J. Unitary Operator Bases. Proceedings of the National Academy of Sciences of the United States of America 1960, 46, 570–579. [Google Scholar] [CrossRef] [PubMed]
  8. Wootters, W.K. A Wigner-Function Formulation of Finite-State Quantum Mechanics. Ann. Phys. 1987, 176, 1–21. [Google Scholar] [CrossRef]
  9. Gibbons, K.S.; Hoffman, M.J.; Wootters, W.K. Discrete Phase Space Based on Finite Fields. Phys. Rev. A 2004, 70, 062101. [Google Scholar] [CrossRef]
  10. Lev, F.M. Introduction to a Quantum Theory over a Galois Field. Symmetry 2010, 2, 1810–1845. [Google Scholar] [CrossRef]
  11. Chang, L.N.; Lewis, Z.; Minic, D.; Takeuchi, T. Galois Field Quantum Mechanics. Mod. Phys. Lett. B 2013, 27, 1350064. [Google Scholar] [CrossRef]
  12. Chang, L.N.; Lewis, Z.; Minic, D.; Takeuchi, T. Spin and Rotations in Galois Field Quantum Mechanics. J. Phys. A Math. Theor. 2013, 46, 065304. [Google Scholar] [CrossRef]
  13. Schumacher, B.; Westmoreland, M.D. Modal Quantum Theory. Found. Phys. 2012, 42, 918–925. [Google Scholar] [CrossRef]
  14. Bialynicki-Birula, I. Weyl, Dirac, and Maxwell Equations on a Lattice as Unitary Cellular Automata. Phys. Rev. D. 1994, 49, 6920–6927. [Google Scholar] [CrossRef] [PubMed]
  15. Meyer, D.A. From Quantum Cellular Automata to Quantum Lattice Gases. J. Stat. Phys. 1996, 85, 551–574. [Google Scholar] [CrossRef]
  16. Strauch, F.W. Relativistic Quantum Walks. Phys. Rev. A 2006, 73, 054302. [Google Scholar] [CrossRef]
  17. D’Ariano, G.M.; Perinotti, P. Derivation of the Dirac Equation from Principles of Information Processing. Phys. Rev. A 2014, 90, 062106. [Google Scholar] [CrossRef]
  18. Bisio, A.; D’Ariano, G.M.; Tosini, A. Quantum Field as a Quantum Cellular Automaton: The Dirac Free Evolution in One Dimension. Ann. Phys. 2015, 354, 244–264. [Google Scholar] [CrossRef]
  19. Carroll, S.M. Completely Discretized, Finite Quantum Mechanics. Found. Phys. 2023, 53. [Google Scholar] [CrossRef]
  20. Akhtman, Y. Relativistic Algebra over Finite Ring Continuum. Axioms 2025, 14, 636. [Google Scholar] [CrossRef]
  21. Akhtman, Y. Geometry and Constants in Finite Ring Continuum. Symmetry 2026, 18. [Google Scholar] [CrossRef]
  22. Akhtman, Y. Euclidean-Lorentzian Dichotomy and Algebraic Causality in Finite Ring Continuum. Entropy 2025, 27, 1098. [Google Scholar] [CrossRef] [PubMed]
  23. Hartley, R.V.L. Transmission of Information. Bell Syst. Tech. J. 1928, 7, 535–563. [Google Scholar] [CrossRef]
  24. Rényi, A. On Measures of Entropy and Information. In Proceedings of the Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability, Berkeley, CA, USA, 1961; Vol. 1, pp. 547–561. [Google Scholar]
  25. Landauer, R. Irreversibility and Heat Generation in the Computing Process. IBM J. Res. Dev. 1961, 5, 183–191. [Google Scholar] [CrossRef]
  26. Bennett, C.H. Logical Reversibility of Computation. IBM J. Res. Dev. 1973, 17, 525–532. [Google Scholar] [CrossRef]
  27. Fredkin, E.; Toffoli, T. Conservative Logic. Int. J. Theor. Phys. 1982, 21, 219–253. [Google Scholar] [CrossRef]
  28. Shannon, C.E. A Mathematical Theory of Communication. Bell Syst. Tech. J. 1948, 27, 379–423, 623–656. [Google Scholar] [CrossRef]
Figure 1. The framed shell F 13 ( t ; 0 , 1 , 2 ) . Left: the orbital 2-sphere — observer origin 0 at the north pole, the additive prime meridian M 0 (blue), the quarter-turn meridian M κ (red), the multiplicative latitudes (green) forming the phase cycle Φ C 12 . Right: the framed-complex chart a + b i — the prime meridian as the real axis, the quarter-turn meridian as the imaginary axis, the latitudes as norm circles. All marks are frame data.
Figure 1. The framed shell F 13 ( t ; 0 , 1 , 2 ) . Left: the orbital 2-sphere — observer origin 0 at the north pole, the additive prime meridian M 0 (blue), the quarter-turn meridian M κ (red), the multiplicative latitudes (green) forming the phase cycle Φ C 12 . Right: the framed-complex chart a + b i — the prime meridian as the real axis, the quarter-turn meridian as the imaginary axis, the latitudes as norm circles. All marks are frame data.
Preprints 222600 g001
Figure 2. The four representation domains of one framed shell ( F 13 as the reference shape): space (blue, the prime meridian M 0 ) and momentum (red, the quarter-turn meridian M κ ) are the additive-Fourier (meridional) pair; time (green, the latitude L 1 ) and energy (purple, the latitude L κ + 1 ) are the multiplicative-Fourier (zonal) pair, the drive running along time. All marks are frame data. Left: the orbital sphere, origin at the pole. Right: the same data flattened into the observer’s chart.
Figure 2. The four representation domains of one framed shell ( F 13 as the reference shape): space (blue, the prime meridian M 0 ) and momentum (red, the quarter-turn meridian M κ ) are the additive-Fourier (meridional) pair; time (green, the latitude L 1 ) and energy (purple, the latitude L κ + 1 ) are the multiplicative-Fourier (zonal) pair, the drive running along time. All marks are frame data. Left: the orbital sphere, origin at the pole. Right: the same data flattened into the observer’s chart.
Preprints 222600 g002
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.