Theorem on Emergent Time
This page derives two clocks. The cyclic clock : the temporal modality ▷ and its equivalence with the Page–Wootters clock (§2–§3) [T]. And the depth register (§11.4) [T]: the stratal depth recorded as an ordered chain rather than a cycle, realised positionally in the O-registers of holons. Relative to the O-clock alone every conditional dynamics is periodic (§11.2), so it carries no dissipation and no arrow. Relative to the depth register the dissipative semigroup of §9.1 is the Page–Wootters conditional dynamics exactly at every reading, in a finite world of dimension , and the arrow of §10 holds on the whole history (T-53b [T], Theorems 11.1–11.4); the continuous parameter is the scaling limit of the readings, with error at most , and its algebra is (Theorem 11.5, T-118). The regenerator is realised along each solution, not as a conditional law independent of the state (§11.3). The arrow is the stratum collapse towards the terminal object T, monotone in the depth. An earlier version of this box called time as a whole derived and dynamical from the O-clock; that wording is retracted. An intermediate version of 2026-09-25 held the dynamics [C] at an assumed aperiodic time parameter, whose only carrier then known was an ideal clock with an infinite environment; the depth register of §11.4 replaces that assumption.
Spatial analogue: The spatial manifold is also derived from categorical structure — Emergent manifold (T-119 [T]).
Contents
- Problem statement
- Time from temporal modality on Ω
- Page–Wootters mechanism for UHM
- Information-geometric time
- Categorical time via ∞-groupoid
- Equivalence theorem
- Arrow of time theorem
- Connection to critical purity
- Corollaries
- Stratificational time
- Precedents and related programmes
- 11.3 Carriers of the aperiodic parameter
- 11.4 The depth register: an exact finite carrier
- 11.5 The de Sitter observer algebra and the holon tower
- 11.6 Direction and the continuous clock
1. Problem statement
1.1 The circularity problem
In the original formulation of UHM, time enters as an evolution parameter:
This is logically circular: dynamics is defined through , but is what we are trying to derive.
1.2 Requirement of Axiom Ω⁷
From Axiom Ω⁷ it follows:
"The ∞-topos is the unique primitive."
Logical consequence: Time must be a function of the structure of category :
1.3 Four levels of the problem
| Level | Problem | Solution |
|---|---|---|
| Kinematic | What is a "moment of time"? | Page–Wootters: correlation with O |
| Geometric | How to measure "the flow of time"? | Bures metric / d_strat |
| Categorical | How to formalize the structure? | ∞-groupoid of paths Exp_∞ |
| Stratificational | What is the arrow of time? | Stratum collapse to T |
2. Time from temporal modality on Ω
Time is derived from the structure of the subobject classifier Ω ∈ via the temporal modality ▷. This unifies:
- L-dimension (logic)
- Lindblad operators L_k (dissipation)
- Discrete time τ (evolution)
into a single structure on Ω.
2.1 Algebraic definition of ▷ (independent of dynamics)
The temporal modality ▷ is defined algebraically via a ℤ_N-action on atoms of the classifier. This breaks the cycle: time is defined before dynamics, not through it.
Step 1: Atoms of the classifier
For base category the classifier Ω decomposes into atoms:
where each atom is a projector onto a basis state:
The identification of atoms of the classifier Ω with projectors |i⟩⟨i| is a constructive definition, consistent with the axiomatics, not a derivation from abstract ∞-topos theory. Justification: (1) in D(ℂ⁷) the minimal non-trivial subobjects are rank-1 projectors; (2) the Bures topology (A2) singles them out as atoms of J_{Bures}-covers; (3) the result is consistent with L-unification ([T]) and Fano structure ([T]). Formal derivation from Lurie's axioms for is [P] (open program).
Step 2: ℤ_N-action on atoms
On the set of atoms, the cyclic shift is defined:
Step 3: Extension to Ω
A permutation of the atoms of a finite Boolean algebra induces a unique Boolean automorphism, so ▷ extends canonically to the decidable fragment generated by the atoms:
and further to the 0-truncation (Heyting algebra) and to the full ∞-groupoid as the induced automorphism. ( is a Heyting algebra, not a vector space: no linear combinations are formed — an earlier draft wrote the extension in that form.)
Two definitional inputs enter here, and both are named as such: (1) the identification of the atoms with the basis projectors (box above); (2) the cyclic order of the atoms used by ▷. On seven labelled atoms there are free transitive -actions ( up to the choice of generator); compatibility with the Fano structure restricts ▷ to the Singer cycles — the elements of order 7 of , which form 8 subgroups of order 7 (this group is the image on the axes of the frame group , not a subgroup of it; the text read "" until 2026-09-25). In the cyclic labelling used for the generation structure (Fano lines , fermion generations) the shift is such a cycle. "Unique up to the choice of generator" therefore holds after the cyclic labelling is fixed, not before.
Properties of algebraic ▷:
- Monotonicity:
- Cyclicity: on (exact equality at the 0-truncated level; on the full ∞-groupoid it is a natural isomorphism , Theorem 2.7.1)
- Compatibility with logic:
For a predicate , the value means "χ is true at the next moment of time". The definition of time precedes dynamics.
2.2 Generation of discrete time
Discrete time arises as the iterated application of modality ▷:
where is the predicate "now" (current moment).
For N = 7 (UHM):
Cyclic structure:
which corresponds to the topology of time for finite-dimensional systems.
2.3 Consistency with Page–Wootters
Two definitions of discrete time are equivalent:
(a) Page–Wootters (§3):
(b) Temporal modality:
Equivalence is established by the isomorphism:
(global sections of the structure sheaf on Ω).
Proof.
We construct an explicit -equivariant isomorphism between:
- Page–Wootters (PW) picture: with clock basis ;
- Modal picture: -orbit of the predicate under the temporal modality .
Step 1 (Unitarity of the shift operator ).
The clock shift operator is defined on the clock basis:
In the energy basis , the operator is diagonal: , where is a primitive 7th root of unity.
Verification. Apply to :
(The sign depends on the phase convention of DFT.) With the convention we get .
Unitarity follows from the fact that in the energy basis is a diagonal unitary matrix with .
Cyclicity : (since ).
Step 2 (-representation structure on ).
The operator defines a unitary representation of the group on :
Decomposition into irreducibles. By the Peter-Weyl theorem, decomposes into 7 one-dimensional representations: , where acts on by multiplication by . This is the regular representation of .
Step 3 (Modal representation structure on ).
In the -topos , the subobject classifier has a temporal modality — an endomorphism satisfying:
(M1) is an automorphism of (invertible);
(M2) (cyclicity of time , follows from the clock register of A5 (T-87, steps 1–3) and finite-dimensionality of );
(M3) For the predicate , the orbit contains 7 distinct elements.
Verification of (M3). If for some , then the order of would divide . But the order of is 7 (prime by (M2)), hence is a multiple of 7, which is impossible for . Contradiction.
The orbit is the regular representation of in the space of predicates , since acts transitively and freely.
Step 4 (Construction of the equivariant isomorphism).
Define the linear map:
on the clock basis:
and extend linearly to .
-equivariance. For any :
Hence .
Bijectivity. maps the orthonormal basis to the family , which by (M3) contains 7 distinct elements. Since both spaces are 7-dimensional (as complex vector spaces with -action), is a bijection.
Unitarity. We induce an inner product on the right-hand side by requiring to be an orthonormal basis. Then is a unitary operator (preserves the inner product by construction).
Step 5 (Correspondence with structure sheaves).
The isomorphism extends to an isomorphism:
where is the structure sheaf on whose sections are "functions on the time axis" . The global sections are -valued functions on , i.e. as a -module.
The isomorphism is a special case of a general fact: any two free transitive actions of a finite group on sets of size are isomorphic as -sets, hence their permutation representations are both isomorphic to the regular representation . For abelian the regular representation decomposes as the direct sum of all one-dimensional characters, each once (Peter–Weyl for finite groups) — exactly as computed in Step 2. What is identified here are the two regular representations of , not irreducibles: the irreducible representations of are one-dimensional. (An earlier draft stated "every irreducible representation of a finite abelian group is isomorphic to the regular one"; that sentence was false and is retracted.)
Conclusion. The map is a -equivariant unitary isomorphism mapping:
- (Page-Wootters) (temporal modality);
- (shift operator) (modal operator);
- Energy basis characters of the group .
The two pictures of time are mathematically identical.
Status: [T]. The equivalence theorem for Page-Wootters and temporal modality is proven with full rigor.
Results used:
- Peter-Weyl theorem for finite abelian groups (regular representation of );
- Discrete Fourier transform (standard convention);
- the clock register of A5, (T-87, steps 1–3; the Page–Wootters constraint of step 4 is not used here).
Consistency check:
- Dependencies: the clock register of T-87, representation theory of — standard;
- No circularities: proof uses only the structure of + unitary -action;
- Consistent with the case of composite clocks (§3.8), where -cyclicity is immediate.
2.4 Connection to L-unification
The evolution of system Γ(τ) is equivalent to the evolution of logical predicates χ ∈ L under the action of ▷.
Definition (Dual Liouvillian):
For a predicate , its evolution is defined by the dual logical Liouvillian:
where is the adjoint operator to the logical Liouvillian:
Explicit form of the dual Liouvillian:
Interpretation:
| Picture | Evolution | QM analogue |
|---|---|---|
| Schrödinger | States evolve | |
| Heisenberg | Predicates evolve |
2.5 Temporal modal operators
In the ∞-topos , standard temporal operators are defined:
Definition (Temporal logic):
Connection to ▷:
2.6 Diagram: unification via Ω
- Internal logic of Ω — definition of the classifier and L-unification
- Logical Liouvillian — direct picture of evolution
- Dimension L — logical dimension of the Holon
2.7 Time as modality in HoTT
HoTT (Homotopy Type Theory) is the internal language of ∞-toposes. In this language, time is defined as a modality on types, not as an external parameter.
Definition (Temporal modality in HoTT):
In homotopy type theory, the temporal modality is an operation on types:
where is the universe of types.
Key advantage of the HoTT formulation:
| Aspect | Traditional approach | HoTT approach |
|---|---|---|
| Time | External parameter t ∈ ℝ | Modality ▷ on types |
| Moment | Value t₀ | Application of ▷^n to a type |
| Evolution | dΓ/dt = ... | Morphism Γ → ▷(Γ) |
| Dependency | Dynamics defines time | Time defines dynamics |
Theorem 2.7.1 (Time from modal structure):
Let be the unique primitive of UHM. Then:
- Temporal modality ▷: Ob(Sh_∞) → Ob(Sh_∞) — endofunctor
- Cyclicity: (natural isomorphism)
- Minimality: for 0 < k < N
Corollaries:
- arises as the set of isomorphism classes of
- Dynamics is defined by morphisms
- Page–Wootters is formally Axiom 5; its clock register is constructed from T-53 (T-87, steps 1–3), while its constraint is an assumption (T-87, step 4, [C]; see §3.1a)
Proof:
(a) The orbit of the ▷-action on Ω defines N points:
(b) The quotient is isomorphic to a point (contractibility of the ∞-topos)
(c) The clock space is derived as the basis of eigenstates of the time generator , where
(d) The tensor decomposition is induced by the factorization
∎
Temporal modalities in homotopy type theory are a standard tool for formalizing time in the internal language of ∞-toposes.
3. Page–Wootters mechanism for UHM
The Page–Wootters mechanism is formally Axiom 5. Its tensor structure is built from the finite spectral triple of T-53: the Wedderburn decomposition of the algebra isolates the clock summand (the KO-dimension-6 claim of T-53 is retracted and not needed), and the clock register is the regular representation of the shift ▷ (T-87, steps 1–3). Its constraint is not derived: stationarity of a mixed global state gives only , and the constraint is the further assumption (T-87, step 4, [C]; §3.1a). An earlier version of this box called A5 derivable from A1–A4; that claim is retracted, because its constraint half is assumed.
See honest axiomatics and derivation of A5 from spectral triple.
3.1 The idea of the mechanism (standard formulation)
In quantum gravity, the following construction is used:
Full system:
- — clock subsystem
- — the rest of the system
Wheeler–DeWitt condition:
Time arises as correlation between the clock and the system.
3.1a Page–Wootters: constructed clock, assumed constraint
The tensor decomposition is formally Axiom 5 in honest axiomatics. Its clock factor is constructed from spectral triple T-53 (spacetime): the Wedderburn decomposition of the algebra isolates the clock summand (the KO-dimension-6 claim of T-53 is retracted and not needed), and the register is the regular representation of ▷ (T-87, steps 1–3).
The constraint is a separate assumption. Stationarity of a mixed global state means , that is, is block-diagonal over the eigenspaces of . The constraint says more: all the weight of lies in . A state spread over two eigenvalues of , , commutes with , yet for every shift . For a pure state the two conditions agree once the energy is shifted to zero, which is the case Page and Wootters treat (§11.1). Hence A5 follows from A1–A4 only together with the assumption , which is the constraint itself: step 4 of T-87 is [C]. The earlier wording of this box — "the constraint follows from stationarity. Thus A5 is a consequence of A1–A4" — is retracted. Details: derivation of A5 from spectral triple.
Axiom 5 (Page–Wootters):
Let ▷: → be the temporal modality. It is postulated:
-
Clock space:
-
Remainder:
-
Tensor structure: (postulated isomorphism)
-
Constraint: , where (generator of ▷)
-
Conditional states:
Theorem (Consistency of Page–Wootters with ▷):
If Axiom 5 holds, then the conditional states evolve according to:
This is consistency, not a derivation.
Proof:
(a) Operator is defined on Spec(Ω) and has eigenvalues
(b) The eigensubspaces of T form a direct sum:
(c) Dimension O is defined as (orbit of ▷-action). By construction, is the clock space
(d) Invariance under a global time shift gives the commutator condition the constraint follows only if, in addition, is supported in the kernel of the generator (box above). An earlier wording derived the constraint from the invariance alone; that step is retracted.
(e) The conditional state formula is the standard consequence of the tensor structure
∎
3.2 Adaptation for UHM
In the 7D structure of UHM, the natural candidate for the role of a clock is dimension O (Foundation).
Justification:
- O — connection to the quantum vacuum
- O participates in regeneration: (see categorical derivation of κ₀)
- Physically: O is the "source" feeding the dynamics
3.3 Formal construction
Step 1: Decomposition of Γ
where .
Step 2: Page–Wootters constraint
where the constraint operator:
Step 3: Conditional state
Internal time is defined via conditional states:
where:
- — basis of eigenstates of clock O
- — normalization
3.4 Page–Wootters theorem
Let satisfy the constraint . Then the conditional states evolve according to:
where is the effective Hamiltonian arising from .
Corollary: Time is not an external parameter, but a parametrization of correlations within the global state .
The "corrections" are not small in general. For the conditional states are related by a unitary step, . When the constraint couples clock and system, A. R. H. Smith and M. Ahmadi proved for clocks with continuous spectrum that the conditional state obeys a time-nonlocal Schrödinger equation, in which the system Hamiltonian is replaced by an integral operator ("Quantizing time: interacting clocks and systems", Quantum 3, 160 (2019), arXiv:1712.00081); the local generator of §3.6 is at best the leading term in , and the corpus has not shown that the seven-level clock escapes the nonlocal form.
An earlier version of this box said that the Cohesive Closure Theorem eliminates the correction, the conditional states being "exact sections of the flat projection " evolved by the counit of . That claim is retracted: with interaction the exact conditional dynamics is time-nonlocal (paragraph above), relative to a clock of period seven ticks it is periodic in (§11.2), and a counit of an adjunction carries no information about that could remove either. T-186(b) is withdrawn [✗].
3.5 Clock basis for 7D
For :
where are eigenstates of .
3.6 Explicit constructions for UHM
Complete formulas for the 7D UHM system are defined in the respective master documents:
| Construction | Formula | Master definition |
|---|---|---|
| Clock Hamiltonian | dimension-o#гамильтониан-часов-h_o | |
| Shift operator | dimension-o#оператор-сдвига-v_o | |
| C*-algebra of clocks | dimension-o#c-алгебра-часов-a_o | |
| Interaction Hamiltonian | axiom-omega#гамильтониан-взаимодействия | |
| Full constraint | axiom-omega#свойство-2 | |
| Effective Hamiltonian | evolution#вывод-h_eff |
The last row is exact only for ; with interaction it is the leading term of a time-nonlocal law (§3.4).
3.7 Discreteness of time for finite systems
For time is fundamentally discrete, not continuous.
Question: If τ ∈ ℤ₇ is discrete, why does the evolution equation use dΓ/dτ (a derivative)?
Answer:
- Minimal formalism (N=7): τ is discrete, equations are difference equations (Δτ instead of dτ)
- Macroscopic limit (N → ∞): τ approaches a continuum, equations are differential
- Practice: The differential form is a convenient approximation when Δτ ≪ the characteristic timescales of the system
For implementations: Use the discrete form: Γ(τ+1) = Γ(τ) + Δτ·(...) with step Δτ = 2π/(7ω₀).
is the dimensionality of the clock Hilbert space, not the cardinality of the set of moments. The distinction:
- Clock basis: 7 orthogonal states — basis of , analogous to 7 divisions on a clock face
- Moments of time: — a cyclic group. The system passes through cycles indefinitely, like clock hands with 7 divisions
- Chronon: — the minimal quantum of subjective time, determined by the characteristic frequency of the system, not by the number 7
For composite systems the clock Hilbert space grows as , but the summed clock of holons has only distinguishable readings and keeps the period (composite clocks below). An earlier sentence here, " gives quasi-continuity of macroscopic time", is retracted: the number of readings is not the dimension of the space.
Theorem (Discreteness of time): For a finite-dimensional system with , the internal time takes values from the cyclic group:
For UHM with :
Corollaries:
| Property | Discrete time () | Continuous limit () |
|---|---|---|
| Set of times | (7 moments) | or |
| Topology | Discrete, cyclic | Continual |
| Chronon (minimal quantum) | ||
| Fundamental group | ||
| Evolution equation | Difference | Differential |
Interpretation:
- Quantization of the present: There exists a minimal "quantum" of subjective time — chronon
- Cyclic time: Time locally has the structure of , not
- Emergent continuity: Continual time is the macroscopic approximation for
3.8 Limit N → ∞ and connection to physics
As , the discrete time transitions to continuous time algebraically, not topologically.
Topological error: topologically!
- Projective limit — totally disconnected space
- — connected space
- They are topologically distinct
Correct formulation of the limit:
Definition (Scaled limit):
This is a scaled limit, not a topological one.
Theorem on algebraic limit
As , the group algebra converges to the algebra of continuous functions on the circle:
as C*-algebras (algebraically, not topologically).
Proof:
(a) Structure of the group algebra:
(b) Fourier transform:
Isomorphism :
(c) Limiting transition:
As , the spectrum becomes dense in :
(d) C-isomorphism:*
By the Gelfand–Naimark theorem:
∎
Chronon as a function of N:
| N | Interpretation | |
|---|---|---|
| 7 | UHM chronon (minimal quantum of subjective time) | |
| 100 | Mesoscopic limit | |
| 0 | Classical limit (continuous time) |
Correspondence theorem (classical limit)
For any observable :
where .
Proof:
Average over discrete time:
As with (where ):
∎
Corollary for UHM:
Classical continuous time on a circle is the macroscopic approximation of discrete internal time: the readings become dense in , whose circumference does not change. A line is not obtained this way (see the end of this subsection).
Theorem (Continuous limit — algebraic):
In the limit at fixed :
- (chronon vanishes)
- fills the circle of circumference ; the period does not grow
- Algebraic convergence: (group algebras, not groups!)
(An earlier version held the product fixed while also claiming ; with fixed the chronon stays fixed and only the period grows. That combination is retracted.)
Key clarification: The transition is algebraic (group algebras ), not topological ().
Theorem on composite clocks and continuous limit
An earlier version stated as a theorem [T] that a system of holons has an effective clock with readings and chronon . This is false for the generator its own proof uses. With and each of spectrum , the spectrum of is the set of integers : values with large multiplicities. Hence , and the composite clock has the same period as one holon. The orbit of any state lies in a subspace of dimension at most (one direction per distinct eigenvalue), so it contains at most mutually orthogonal, that is perfectly distinguishable, readings. The dimension of is not the number of readings; readings would require clock frequencies in the ratio (a positional clock), which a composite of identical holons does not have. For the summed clock has distinct eigenvalues, against claimed (regression check in website/scripts/check_core_numbers.py).
What holds instead (elementary; checked numerically for ). For holons with identical clocks the summed clock has distinguishable readings, period and finest orthogonal resolution
which shrinks like , not like . As the readings become dense in a circle of fixed circumference — the algebraic limit above — but the circle does not unroll into a line: composite O-clocks do not supply an aperiodic time (§11.2).
Where readings do exist. The same O-registers carry perfectly distinguishable, linearly ordered readings when they are used as the digits of one number, , and the step is the odometer carry rather than the flow of a summed generator; the constraint is then of Feynman–Kitaev type, not . This positional depth register (§11.4) has no period: its readings form the chain . The retraction above stands for the summed clock; the readings belong to the positional register only.
Let be the logical Liouvillian with . Then the discrete evolution converges to the continuous Lindblad equation:
For holons with the resolution of the summed clock the per-step error is of order : small polynomially, not exponentially. (An earlier version used and an error ; both are retracted with the composite-clock statement above.)
Proof: Standard estimate via Taylor formula for the exponential: .
Substituting :
As this tends to zero like .
Physical interpretation:
| System | M | Readings | Continuity | |
|---|---|---|---|---|
| Single holon | 1 | 7 | Discrete | |
| Neuron ( molecules) | Quasi-continuous, on a circle | |||
| Macroscopic system | Continuous circle of circumference , not |
(The earlier table gave and for a neuron and "Continuous ()" for a macroscopic system; these entries are retracted.)
Connection to the chronon:
| Scale | Chronon | Time |
|---|---|---|
| Subjective (N = 7) | Discrete, | |
| Neural (N ~ 10⁸) | Quasi-continuous | |
| Physical (N → ∞) | Continuous circle for the summed O-clock; from the depth register (§11.4) |
Corollary for interpretation:
Physical (Newtonian) time is not the limit of the O-clock readings as : at fixed that limit is a circle of circumference . The line is the scaling limit of the readings of the depth register (§11.4, Theorem 11.5), which is where the dissipative dynamics runs (§9.1). (An earlier sentence here called the limit of the O-clock's internal time; it is retracted.) For the Holon with N = 7 time is fundamentally discrete, which is consistent with:
- Discreteness of states of consciousness
- Finite information capacity
- Topology of ∞-groupoid
Discreteness of time leads to a discrete ∞-groupoid instead of a continuous one. See Categorical formalism.
4. Information-geometric time
4.1 Bures metric
The space of density matrices has a natural Riemannian structure.
where is the solution of the Lyapunov equation:
Explicit formula for the distance (Bures angle):
where — fidelity.
4.2 Geometric time
Between two configurations and , the information time:
where the infimum is taken over all paths connecting and .
4.3 Flow of time
Let be a continuous family of states. The speed of flow of internal time:
Interpretation: "The flow of time" is the rate of change of Γ in the Bures metric. Time "flows faster" when Γ changes more.
4.4 Correspondence with dynamics
For unitary evolution with :
For close to a pure state :
Corollary: The time-energy uncertainty relation:
is derived from the geometry of the state space, not postulated.
5. Categorical time via ∞-groupoid
5.1 ∞-groupoid of experiential paths
∞-category is defined as:
0-cells (objects):
(History Hist is not included — it is derived as the structure of the ∞-groupoid)
1-morphisms:
2-morphisms:
n-morphisms:
5.2 Time as a 1-morphism
Time is a 1-morphism in :
Direction of time — choice of orientation on 1-morphisms.
Equivalent moments of time — 2-isomorphic 1-morphisms.
5.3 Theorem on internal time
In the ∞-groupoid :
-
History — automatically arises as the loop space:
-
Temporal structure — homotopy type:
-
Arrow of time — orientation σ on 1-morphisms.
5.4 ∞-topos of sheaves
∞-topos — category of ∞-sheaves on :
- ∞-topology: Cover = family of paths covering a neighborhood
- ∞-sheaf: Functor , satisfying the descent condition
is an ∞-topos and has:
- Internal logic: Homotopy type theory (HoTT)
- Internal time: Modality of type "in the future", "in the past"
- Subobject classifier: ∞-groupoid of truth values
Corollary: The logic of experiential content is temporal modal logic, derivable from the internal structure of the ∞-topos.
6. Equivalence theorem
6.1 Three aspects of emergent time
| Aspect | Mechanism | Time as... |
|---|---|---|
| Relational | Page–Wootters | Correlation between O and the remaining dimensions |
| Geometric | Bures metric | Distance in state space |
| Categorical | ∞-groupoid | 1-morphism in |
6.2 Main theorem
Let be the global coherence matrix satisfying:
- Axiom Ω⁷ (∞-topos as primitive)
- Axiom (AP+PH+QG+V) (autopoiesis, phenomenology, quantum foundation, viability)
- Constraint (Page–Wootters)
Then:
(a) Kinematic time:
is equivalent to
(b) Geometric time:
in the limit of small intervals.
(c) Categorical time:
with natural orientation σ.
Proof.
Step 1 (PW ↔ Bures): PW clock parameter and Bures metric
Lemma 6.1. For the PW flow of conditional states the parameter is connected to the Bures metric:
Proof. The conditional state evolves under the shift via the action of on the clock register. Infinitesimal shift operator: . Hence:
where is the effective Hamiltonian of the conditional state. The Bures metric:
where is the symmetric logarithmic derivative. For regular the norm is finite and positive, hence:
Step 2 (Bures ↔ Categorical): Geodesics as 1-morphisms
Lemma 6.2. The geodesics of the Bures metric on correspond to minimal 1-morphisms in .
Proof. By definition of (categorical formalism §10), 1-morphisms are continuous paths . The space is equipped with the Bures metric via the functor (§5 categorical-formalism [T]).
The minimal length in is a geodesic of the Bures metric:
By the Petz-Uhlmann theorem (Uhlmann 1992): the Bures metric geodesics on have an explicit parametrization via pure purifications .
Step 3 (PW ↔ Stratificational): retracted
An earlier version asserted that the stratificational parameter is a free transitive -set canonically isomorphic to the Page–Wootters tick, because "the operators are cyclically closed: " and . This contradicts the coarsening it describes. A coarsening loses information — it is not an equivalence, (T-53c) — so no composite of coarsenings is the identity: would make invertible with inverse . The stratificational index is the depth of §10.3, which grows along the flow; it is not a -torsor, and its only relation to the tick is the surjection , which is not a bijection. Lemma 6.3 and the stratificational leg of the equivalence are withdrawn [✗].
Step 4 (What the equivalences give)
Combining Lemmas 6.1 and 6.2:
The Page–Wootters, information-geometric and categorical constructions are matched through the common parameter ; the stratificational construction is not a fourth copy of but carries the depth with .
Conclusion
Three constructions of emergent time (PW, Bures, Categorical) describe one cyclic structure ; the fourth (stratificational) is a monotone index over it, not isomorphic to it.
Status: [T] for the PW ↔ modal isomorphism of §2.3 and for Lemmas 6.1–6.2 as correspondences of label sets. An earlier status line said "Lemmas 6.1, 6.2, 6.3 are explicitly established"; Lemma 6.3 is retracted (box above), and T-53a is narrowed accordingly.
Results used:
- Page-Wootters equivalence §2.3 [T] (-equivariant isomorphism );
- Petz-Uhlmann theorem on geodesics of the Bures metric (Uhlmann 1992);
- Chentsov-Petz framework: Bures = Petz-minimal (extremal) metric within the monotone family (Petz 1996 — the quantum family is not a singleton; Bures is selected by extremality);
- Categorical formalism §5, §10 [T] (functor ).
Consistency check:
- No circularities; the retracted Lemma 6.3 had relied on a cyclic evolution over , which contradicts the irreversibility of §10;
- The PW, Bures and categorical constructions describe the same structure — cyclicity of the UHM clock; the arrow is carried by the depth (§10.3);
- Consistent with Page-Wootters equivalence §2.3 [T] and with T-53d [T].
7. Arrow of time theorem
In early versions of UHM there was a circularity problem: the CPTP structure already encoded temporal asymmetry. The ∞-categorical structure of §7.4 reorganises it:
- The arrow of time is the stratum collapse to the terminal object T, monotone in the parameter of the dissipative semigroup (§10.4), not in the Page–Wootters tick
- That the CPTP property is a consequence of the orientation towards T, rather than a postulate, is an open hypothesis [H] (box in §7.1)
- Free will arises from the flat (zero-mode) directions of the free energy (not the multiplicity of paths in the contractible Map(Γ, T))
An earlier version of this box declared the problem "RESOLVED" with item 2 as a result; that claim is retracted. See §7.4 ∞-categorical resolution.
7.1 Categorical formulation
For any path γ: [0,1] → in state space:
where:
- , if the path is induced by a unital CPTP channel,
- , if the path requires inverting such a channel
For an arbitrary CPTP channel the monotone quantity is the relative entropy to a fixed point: if , then .
Proof:
Relative entropy does not increase under any CPTP map: (Lindblad 1975; Uhlmann 1977). If is unital, then , and with the inequality reads , that is,
The dissipator of UHM has Hermitian Lindblad operators (the pointer projectors) and is therefore unital, so the linear part of the evolution raises (§10.4, part 1).
An earlier version of this theorem stated CPTP for every channel, "from strong subadditivity and contractivity". This is false for non-unital channels: the reset channel is CPTP and maps , with , to a pure state, with . The same page already relies on the correct version — regeneration lowers entropy locally (§7.3), and §10.4 uses the monotonicity only for the unital part. The statement is retracted and replaced by the theorem above.
The CPTP property of evolution channels in this section is used, not derived. The full derivation of CPTP from ∞-categorical structure (orientation towards terminal T → entropy monotonicity → CPTP) is [H] (open hypothesis). Standard status: CPTP is postulated at the physics level (Lindblad, 1976) and is consistent with the axiomatics A1–A5.
∎
7.2 Physical interpretation
Corollary: Paths induced by unital channels do not decrease entropy; decreasing it along such a path would require inverting a unital channel. Non-unital channels are physical and can lower entropy — the reset channel above, and regeneration toward a purer (§7.3). (An earlier corollary said that every physically realizable path increases entropy; it is retracted with Theorem 7.1's old form.)
7.3 Connection to regeneration
Regeneration locally decreases entropy, but only when:
Total entropy (system + energy source) grows:
Corollary: The gate in the regenerative term (refining from Landauer) is not a postulate, but a consequence of the CPTP structure, thermodynamics and V-preservation.
7.4 ∞-categorical resolution
The circularity problem is fully resolved in the ∞-categorical formulation of UHM.
Reformulation in ∞-category
In the ∞-category the terminal object T is defined by the condition:
Key distinction:
- In a 1-category: Hom(Γ, T) = {f} — a unique morphism
- In an ∞-category: Map(Γ, T) ≃ * — a set of morphisms, all equivalent
The arrow of time is described by the following structure:
- Terminal object T exists and is unique (attractor)
- All morphisms are oriented towards T — this defines the direction
- CPTP structure as a consequence [H]: channels that increase "distance" to T are excluded (open hypothesis, §7.1)
Formally:
Proof:
-
Stratification X = ⊔S_α with terminal stratum S_0 = {T}
-
Stratum collapse along the stratal depth (§10.3 — not the cyclic tick ) defines a canonical direction:
-
Morphisms violating this order do not exist in the ∞-category (no inverse morphisms in stratification)
-
[H] That the CPTP property follows from this order is the open hypothesis of §7.1. An earlier step 4 read "channels increasing entropy are the only realizable morphisms in the category with terminal object T"; it is retracted — non-unital channels are realizable and can lower entropy (§7.1).
Steps 1–3 describe the order; the direction itself is that of the semigroup parameter of §10.4.
∎
Free will in a deterministic structure
Although the goal (T) is unique, there is a multiplicity of equivalent paths:
provided all paths are connected by 2-morphisms (homotopies).
Physical interpretation:
| Aspect | 1-category (determinism) | ∞-category (UHM) |
|---|---|---|
| Goal | Unique (T) | Unique (T) |
| Path | Unique (f) | Set of equivalent |
| Choice | Absent | Choice of path |
| Freedom | Illusion | Freedom = choice of homotopy class |
Free will is not the choice of goal (the goal is inevitable), but the latitude among flat directions of the free energy:
(Not : the mapping space into the terminal object is contractible, so — see Consequences §Free will.)
where π₀ is the set of connected components of the path space.
For detailed exposition of the ∞-categorical structure see Categorical formalism.
8. Connection to critical purity
8.1 Temporal interpretation of P_crit
Critical purity is connected to the minimal speed of time flow:
where is the minimal speed, below which the system "falls out" of temporal dynamics.
Proof.
Definition 8.1 (Emergent time velocity). For define:
where is the O-sector Hamiltonian (generator of Page-Wootters time evolution), is the Frobenius norm.
Physical meaning: is the rate of state change under the O-sector time operator. It is a -invariant measure of "time flow".
Step 1 (Upper bound via purity).
Lemma 8.1. For any :
Proof. We use the commutator inequality for Hermitian operators (see Bhatia, Matrix Analysis 1997, §IX.1):
Apply to , , (for ):
Compute :
(Using and .) Hence:
Step 2 (Vanishing at maximal mixture).
Corollary 8.1. .
Proof. At : , hence by Lemma 8.1: . Since (Frobenius norm), .
Direct verification: , hence .
Step 3 (Behaviour as ).
As we have , and by Lemma 8.1:
Rate of decay: .
Step 4 (Connection to viability threshold ).
Remark (threshold distinction). The threshold is the viability threshold (by T-39 [T]), not the time-freezing threshold. Direct connection:
- : critical point , (time freezes);
- : viability threshold, (minimum distance from for viable states);
- : viable region, strictly.
Step 5 (Minimum on the viable set).
For the upper bound on is bounded away from zero:
Remark. A lower bound is not guaranteed by the condition alone: a state could be diagonal in the O-energy basis, in which case , , even though . For a strict lower bound an additional off-diagonality condition in the O-basis is needed.
Step 6 (Autonomous UHM dynamics).
Under autonomous UHM dynamics with regeneration [T-62 [T]]:
- The attractor does not coincide with (by T-96 [T], for nontrivial initial );
- has nontrivial O-coherences: in general;
- Consequently for typical attractor.
Hence in the dynamical stationary regime UHM systems have (time continues to flow).
Step 7 (Dynamical refinement — connection to T-53d [T]).
Steps 1–6 give a kinematic statement (upper bound on via ). The dynamical statement — about behaviour at the UHM attractor — constitutes a separate theorem T-53d [T]:
Consistency of kinematics and dynamics. From Step 5:
(with in the dimension basis ). Hence — both measures differ by a fixed factor.
Distinction between statements:
| Level | Estimate | Condition | Status |
|---|---|---|---|
| Kinematics (Steps 1-6) | (upper) | Any | [T] |
| Dynamics (T-53d) | (exact asymptotic) | at UHM attractor | [T] |
Conclusion. Both statements are correct and complement each other:
- Kinematically: is possible only for states with for all (diagonal in O-basis). A special case is with .
- Dynamically: at the UHM attractor such diagonal states are reached only in the limit , and the time speed scales as (critical slowing down, Landau theory).
The original statement of Theorem 8.1 follows from the combination of the kinematic bound and the dynamical scaling law T-53d.
Status: [T]. Theorem 8.1 is fully proven: kinematic upper bound + dynamical scaling (T-53d [T]).
Results used:
- Commutator inequality (Bhatia, Matrix Analysis, 1997, §IX.1);
- T-39 [T] ();
- T-53d [T] (critical slowing down of time at UHM attractor);
- T-62 [T] (φ as CPTP channel);
- T-96 [T] ( for nontrivial systems).
Consistency check:
- Dependencies: T-39, T-53d, T-62, T-96 — all [T], no circularities;
- Consistent with T-53d (core/operators/emergent-time.md): ;
- Consistent with statements in dimension-d.md, viability.md, temporal-consciousness.md about time freezing as (this is the dynamical result at UHM attractor);
- Consistent with the evolution equation (§2.4) and the attraction theorem (T-39a [T]).
8.2 Interpretation
Viability () means that the Holon continues to exist in time.
At the system loses coherence and "spreads" over the state space — for it, time ceases to be well-defined.
9. Corollaries
9.1 Modification of the evolution equation
Old form (with external t):
An earlier version presented the equation below, written in the Page–Wootters tick , as a consequence of the structure of and not a postulate. It is not a consequence. The tick ranges over , so any evolution in it satisfies . Along the full equation the free energy is a Lyapunov functional, never increasing and stationary only at the attractor (Theorem 10.1, T-261), and a non-increasing function on a cycle is constant; relative to the O-clock the conditional states would therefore all coincide with a stationary state. Dynamics relative to a periodic clock is necessarily periodic (L. Chataignier, P. A. Höhn, M. P. E. Lock, F. M. Mele, New J. Phys. 28, 034504 (2026); §11.2). The Page–Wootters construction itself gives, for , a unitary step between ticks and no dissipator (§3.4). The equation holds in an aperiodic parameter — the parameter of the Lindblad semigroup — and the physical carrier of is not the O-clock. The candidate carriers are compared in §11.3; the carrier is the depth register of §11.4, relative to which the conditional states obey the equation exactly at every reading (T-53b, Theorems 11.1 and 11.3). (An intermediate version of this box, of the same day, left T-53b conditional on an assumed aperiodic parameter; the assumption is discharged there.)
Form in an aperiodic parameter [T] (relative to the depth register, §11.4):
where:
- — the aperiodic semigroup parameter; at finite resolution is the reading of the depth register (§11.4), and the Page–Wootters tick is its lowest digit (§10.3)
- — effective Hamiltonian from constraint , exact for and the leading term otherwise (§3.4)
- The dissipator and the regenerator are the axiomatic dynamics in (evolution); what is derived is that a finite timeless world reproduces them as conditional states relative to the depth register — the linear part as a state-independent law (Theorem 11.1), the full flow along each solution (Theorem 11.3)
9.2 Extended role of dimension O
Dimension O now has a dual role:
- Energy source: Provides for regeneration
- Internal clock: Parametrizes internal time via the Page–Wootters mechanism
9.3 Extended categorical structure
G F
DensityMat_C ──────────► DensityMat ────────────► Exp
│ │ │
│ constraint │ CPTP │ induced
▼ ▼ ▼
DensityMat_C ──────────► DensityMat ────────────► Exp
↓ embed
Exp_∞ (∞-groupoid)
↓ sheafify
Sh_∞(Exp) (∞-topos)
where:
- DensityMat_C — category with Page–Wootters constraint
- G — functor "conditional states"
- Exp_∞ — ∞-groupoid of paths
- Sh_∞(Exp) — ∞-topos of sheaves
9.4 Experimental predictions
| Prediction | Formula | Theor. status | Exp. status |
|---|---|---|---|
| Time slowdown at decoherence | [T] Corollary of T.8.1 | Requires verification | |
| Discreteness of internal time | [T] Corollary of §3.7 | Requires verification | |
| Temporal entanglement | even when | [T] Corollary of P-W | Requires verification |
- Theor. status [T]: Prediction is mathematically derived from the UHM formalism
- Exp. status: Prediction requires experimental verification
10. Stratificational time
10.1 Base space as nerve of category
From Axiom Ω⁷ the base space is defined as:
where is the nerve of the category of Holons.
10.2 Stratification of X
Space X is stratified:
where:
- — terminal object (attractor Γ*)
- — edges (morphisms to T)
- — n-simplices
10.3 Temporal stratification: two indices, one arrow
Two different indices are attached to a holon and must not be confused:
- the cyclic Page–Wootters tick (§2–§3): a kinematic label of the clock register, periodic by construction (). No function of alone can be strictly monotone — a monotone function on a cycle is constant;
- the stratal (thermodynamic) depth : the number of coarsening steps applied along the dissipative flow — the cumulative count of elapsed ticks (), not reduced modulo 7. It measures how far the state has descended toward .
We stratify by depth: , where is the stratum reached after coarsenings. Since a coarsening never raises the dimension of a stratum, holds by construction; the content of the arrow is that the dynamics realises the coarsenings and never their inverses — the Lyapunov statement below.
10.4 Arrow of time theorem (stratificational)
Along the axiomatic evolution there is a functional that never increases and is stationary only at the attractor:
- Dissipative part — a unital CPTP semigroup with fixed point : the relative entropy is non-increasing (data-processing inequality; Lindblad 1975, Petz–Ruskai monotonicity), hence is non-decreasing and the purity non-increasing, and by primitivity (T-39a).
- Full flow with regeneration: the free energy is a Lyapunov functional with an exact dissipation identity (H-theorem, T-261 [T]), decreasing toward the attractor (T-96).
Consequently the stratal depth is non-decreasing in : for , with equality only at stationarity. The arrow is the direction of increasing depth, not the cyclic tick: the Page–Wootters label returns to itself after seven ticks, the depth does not. Here is the parameter of the Lindblad semigroup. The O-clock does not supply it (§11.2); the depth register does: relative to its readings the conditional states follow the semigroup exactly, and and the purity decrease along the whole recorded history (§11.4, Theorem 11.1(c)).
Proof. (1) is the monotonicity of relative entropy to the fixed point of a CPTP semigroup, applied to the unital whose unique stationary state is (primitivity, T-39a): with fixed, , and . (2) is the H-theorem of T-261. Since the coarsenings are the CPTP steps of this flow, the depth cannot decrease along it, and is non-increasing along coarsenings by definition of the stratification.
Interpretation:
Arrow of time = progressive collapse of higher strata towards the terminal object T, measured by the depth ; the cyclic tick is what the O-clock can read, the depth is what grows. The depth is a winding number of the O-clock, and a winding number is not an invariant observable relative to a periodic clock (§11.2), so the O-clock does not measure the arrow; the depth register of §11.4, whose higher digits are exactly these winding numbers, does. (An earlier draft indexed the collapse by itself; on a cycle the inequality forces all to be equal, so that formulation carried no arrow.)
10.5 Connection to thermodynamics
| Stratificational time | Thermodynamics |
|---|---|
| dim(X_n) decreases with the depth | Entropy of the unital part grows (§7.1) |
| X_n → {T} | System → equilibrium |
| Stratum collapse | Structural dissipation |
10.6 Stratified metric
Definition (Metric d_strat):
where:
- γ — path through strata
- ds_α — Connes metric on stratum S_α
Theorem 10.2: d_strat is consistent with the Bures metric:
11. Precedents and related programmes
The Page–Wootters mechanism on which §3 rests is more than forty years old, and it has a literature that this page did not cite: the classic objections to it, answers to those objections, experiments, and results about the kind of clock UHM uses — a finite, periodic one. This section says what each work established, how it stands and on whose judgment, which UHM construction it bears on, and where UHM differs; §11.2 then checks the clock and the arrow of §10 against these results. Every mapping between UHM and these works is an interpretation [I] unless a theorem is named.
Terms used below. A constraint (an equation of Wheeler–DeWitt type) says that the global state is annihilated by the total Hamiltonian, so nothing in it changes with an external time. The conditional state is the state of the rest of the system given a clock reading (Definition 3.1). An ideal clock has a Hamiltonian whose spectrum is the whole real line and a reading that runs monotonically; a periodic clock returns to its initial state after a fixed period. A relational observable is a gauge-invariant quantity of the form "the value of when the clock reads ".
11.1 The mechanism, its objections and the answers
- Page and Wootters (1983); Wootters (1984). D. N. Page, W. K. Wootters, "Evolution without evolution: dynamics described by stationary observables", Phys. Rev. D 27, 2885–2892 (1983); W. K. Wootters, "'Time' replaced by quantum correlations", Int. J. Theor. Phys. 23, 701–711 (1984). The universe is in a stationary state; one subsystem serves as a clock, and the state of the rest conditioned on a clock reading evolves by the Schrödinger equation. Wootters argued that coordinate time is unobservable while clock time is observable, so every statement about evolution can be replaced by a statement about correlations between a clock and another system, all stored in one timeless state. Standing: the starting point of the relational-time literature below; C. Marletto and V. Vedral (2017) call the model elegant but write that it "has never been developed further, because it was criticised for generating severe ambiguities". For UHM: §3.3 adopts the mechanism as it stands; UHM's additions are the choice of clock — the seven-dimensional O-register — and the claim that the split is derived (T-87). One step of that claim needs an extra assumption. Page and Wootters take the global state to be a stationary state, that is, an eigenstate of the total Hamiltonian, and the constraint form follows after the energy is shifted to zero. For a mixed global state, stationarity gives only , whereas the constraint of §3.3 requires the state to lie in the zero eigenspace of ; §3.1a used to state that the constraint "follows from stationarity" without this assumption; it now names the assumption, and step 4 of T-87 is [C].
- Kuchař (1992). K. V. Kuchař, "Time and interpretations of quantum gravity", in Proceedings of the 4th Canadian Conference on General Relativity and Relativistic Astrophysics, eds. G. Kunstatter, D. Vincent, J. Williams, World Scientific 1992; reprinted in Int. J. Mod. Phys. D 20, Suppl. 1, 3–86 (2011). The classic review of the problem of time. Its objections to the conditional-probability reading of Page–Wootters, as paraphrased by Höhn, Smith and Lock (2021, §VIII C): (1) for a relativistic particle it gives a wrong localisation probability; (2) conditioning on a clock reading uses operators that do not commute with the constraint, so it appears to violate the constraint; (3) it gives wrong two-time propagators — after one conditioning the clock is "stuck" and time does not flow.
- Unruh and Wald (1989). W. G. Unruh, R. M. Wald, "Time and the interpretation of canonical quantum gravity", Phys. Rev. D 40, 2598–2614 (1989). They proved that in ordinary Schrödinger quantum mechanics, for a system whose Hamiltonian is bounded below, no dynamical variable can correlate monotonically with the Schrödinger time parameter: a clock made of such a system is never ideal. Standing: an accepted theorem; Höhn, Smith and Lock (2021, §III) present it as the refinement of Pauli's observation that no self-adjoint time operator is canonically conjugate to a bounded Hamiltonian. Its consequence for UHM is taken up in §11.2.
- Answers to the objections. R. Gambini, R. A. Porto, J. Pullin, "A relational solution to the problem of time in quantum mechanics and quantum gravity: a fundamental mechanism for quantum decoherence", New J. Phys. 6, 45 (2004), arXiv:gr-qc/0402118, computed conditional probabilities relative to a realistic quantum clock and found that the evolution is then not exactly unitary: pure states decohere through a Lindblad-type equation whose only Lindblad operator is the Hamiltonian. With S. Torterolo they combined conditional probabilities with Dirac observables ("evolving constants"), which, in their words, "overcomes the objections levied by Kuchař" ("Conditional probabilities with Dirac observables and the problem of time in quantum gravity", Phys. Rev. D 79, 041501 (2009), arXiv:0809.4235). V. Giovannetti, S. Lloyd, L. Maccone, "Quantum time", Phys. Rev. D 92, 045033 (2015), arXiv:1504.04215, included the measuring apparatus and its memory in the timeless state and reproduced the correct statistics of sequential measurements at different times. P. A. Höhn, A. R. H. Smith, M. P. E. Lock, "Trinity of relational quantum dynamics", Phys. Rev. D 104, 066001 (2021), arXiv:1912.00033, proved that three formulations of relational dynamics are equivalent — the relational observables of Dirac quantization, the Page–Wootters conditional states, and a relational Heisenberg picture obtained by symmetry reduction — using covariant clock POVMs, which also cover non-ideal clocks; with this equivalence they showed objection (2) to be mistaken and resolved (3) in a way that "does not invoke approximations, ideal clocks or ancilla systems", treating (1) in a companion paper. Their equivalence was established for clocks whose Hamiltonian has a continuous non-degenerate spectrum. Standing: within the relational literature objections (2) and (3) are regarded as answered, on the judgment of these authors. For UHM: Definition 3.1 uses single-time conditioning only, so two-time statements such as the "temporal entanglement" of §9.4 need one of these answers, which the page does not use. The equivalence of §6 (T-53a) matches the constructions through their common label set — its stratificational leg, Lemma 6.3, rested on the fact that any two free transitive -sets are isomorphic and is now retracted, because the stratal depth is not such a set — whereas the trinity is an equivalence of the full relational dynamics; §6 is the weaker kind of statement. Gambini, Porto and Pullin are also a precedent for dissipation out of relational time: their dissipator comes from the imperfection of the clock and has the Hamiltonian as Lindblad operator (dephasing in the energy basis), while UHM's dissipator has the pointer projectors as Lindblad operators and is not derived from the clock (§2.4).
- Experiments. E. Moreva, G. Brida, M. Gramegna, V. Giovannetti, L. Maccone, M. Genovese, "Time from quantum entanglement: an experimental illustration", Phys. Rev. A 89, 052122 (2014), arXiv:1310.4691: two polarization-entangled photons; the polarization of one serves as a clock with two readings, the other photon evolves in birefringent plates; an "observer" who reads the clock photon sees the other evolve, a "super-observer" who measures only global properties finds the joint state static. E. Moreva, M. Gramegna, G. Brida, L. Maccone, M. Genovese, "Quantum time: experimental multitime correlations", Phys. Rev. D 96, 102005 (2017), arXiv:1710.00707: two-time correlations in the Page–Wootters picture and a violation of a Leggett–Garg inequality for the internal observer, with the clock encoded in the position of a photon. Standing: the authors call these illustrations — they show the conditional-probability structure in a prepared state, not the absence of an external time. For UHM: the clocks used had two readings (2014) or a position register (2017); the seven-level O-register has not been realised in any experiment.
- Clock ambiguity. A. Albrecht, A. Iglesias, "The clock ambiguity and the emergence of physical laws", Phys. Rev. D 77, 063506 (2008), argued that different choices of the clock subsystem make one timeless state describe different laws. C. Marletto, V. Vedral, "Evolution without evolution and without ambiguities", Phys. Rev. D 95, 043510 (2017), arXiv:1610.04773, answered that a good clock is a subsystem with many distinguishable states that ideally does not interact with the rest, , and that if such a split yields unitary evolution with a time-independent Hamiltonian it is unique. Standing: a published answer, valid under its stated assumption of a non-interacting clock. For UHM: the constraint couples the O-register to the rest through (Property 2) and the clock has seven states, so this uniqueness argument does not cover it; the corpus rests the uniqueness of the clock register on its own argument (T-87, step 3).
- Interacting clocks. A. R. H. Smith, M. Ahmadi, "Quantizing time: interacting clocks and systems", Quantum 3, 160 (2019), arXiv:1712.00081: when the constraint contains a clock–system interaction, the conditional state obeys a time-nonlocal Schrödinger equation in which the system Hamiltonian is replaced by a self-adjoint integral operator. For UHM: §3.6 writes a local effective Hamiltonian and §3.4 a local equation "plus corrections", while the cohesive-closure statement T-186(b) asserts that the Page–Wootters evolution is exact, with no correction. The corpus had not reconciled either with the time-nonlocal form; §3.4 and §3.6 now mark the local generator as an approximation, and T-186(b) is withdrawn.
- Quantum reference frames. F. Giacomini, E. Castro-Ruiz, Č. Brukner, "Quantum mechanics and the covariance of physical laws in quantum reference frames", Nat. Commun. 10, 494 (2019), arXiv:1712.07207: reference frames attached to quantum systems transform into one another by a "superposition of coordinate transformations", and entanglement and superposition are frame-dependent. Standing: an active programme; Höhn, Smith and Lock extend it to changes of temporal frame (2021, §VII). For UHM: the O-register is a temporal reference frame, and the corpus fixes one such frame without defining a change of clock; statements about entanglement between the clock and the rest, including the "temporal entanglement" of §9.4, hold relative to that frame.
11.2 The finite periodic clock, Unruh–Wald, and the arrow
- The Salecker–Wigner–Peres clock: prior art for the O-clock. H. Salecker, E. P. Wigner, "Quantum limitations of the measurement of space-time distances", Phys. Rev. 109, 571–577 (1958); A. Peres, "Measurement of time by quantum clocks", Am. J. Phys. 48, 552–557 (1980). The standard finite quantum clock: equally spaced levels , period , time states obtained from the energy states by the discrete Fourier transform, which rotate into one another every and return after steps; between ticks a time state spreads over its neighbours, and no finite clock satisfies the canonical commutation relation with its Hamiltonian. M. P. Woods, R. Silva and J. Oppenheim call it "the model of choice for finite-dimensional clocks" ("Autonomous quantum machines and finite-sized clocks", Ann. Henri Poincaré 20, 125–218 (2019), arXiv:1607.04591, Appendix B). The O-clock of §3.5–3.6 — , Fourier clock states , cyclic shift , chronon — is exactly this clock with . The discreteness of its readings, the cyclic group and the resolution are properties of every such clock, so the "discreteness of internal time" listed in §9.4 is a property of the chosen clock rather than an independent test of UHM; what is specific to UHM is the claim that the clock has exactly seven levels and is the O-dimension.
- Unruh–Wald against the O-clock: no collision at the level of the clock. has the finite spectrum , bounded below and above, so the Unruh–Wald theorem applies: no observable of the O-register correlates monotonically with time. The corpus does not claim otherwise — §10.3 states that no function of the tick alone can be monotone. Giovannetti, Lloyd and Maccone (2015, §C) spell out the consequence for Page–Wootters: a non-periodic time needs an unbounded Hamiltonian, "a system with finite global energy will have periodic evolution", and in that case "except as an approximation internal observers will not be able to use a Schrödinger equation".
- Periodic clocks: where the collision lies. L. Chataignier, P. A. Höhn, M. P. E. Lock, F. M. Mele, "Relational dynamics with periodic clocks", New J. Phys. 28, 034504 (2026), arXiv:2409.06479, extended the trinity to periodic clocks and proved that relational observables relative to a periodic clock are invariant only if the quantity itself is periodic — "counting winding numbers does not lead to invariant observables relative to the periodic clock" — and that the dynamics relative to a periodic clock is "necessarily periodic" in all three formulations, Page–Wootters included; a system that evolves periodically relative to a periodic clock can still evolve monotonically relative to an aperiodic one. Höhn, Smith and Lock (2021, §III A) had already noted that with a periodic clock one must keep track of its winding number to follow a non-periodic evolution. This bears on UHM in two places:
- The arrow of §10 is not supplied by the O-clock. The corpus places the arrow correctly off the cyclic tick: the tick carries no arrow, and the arrow is the growth of the stratal depth , the cumulative count of ticks with (§10.3). That count is exactly a winding number of the O-clock, which by the result above is not an invariant relational observable relative to it; and the functionals of Theorem 10.1 are monotone in the parameter of the Lindblad semigroup, which in relational terms is an aperiodic clock outside the 42-dimensional Page–Wootters state. The arrow therefore presupposes an aperiodic time that the O-clock cannot provide, and the corpus does not construct its physical carrier.
- Dissipative evolution in the O-clock's own time is impossible. §9.1 and T-53b stated that the conditional states obey the full equation with and ; that statement is retracted, and T-53b now holds relative to the depth register of §11.4 instead of the O-clock (it was conditional on an assumed aperiodic time parameter in an intermediate version). Relative to a clock of period seven ticks, . A Lyapunov functional that never increases along the flow and is stationary only at the attractor (Theorem 10.1) cannot be periodic unless it is constant, so relative to the O-clock the conditional states would all coincide with a stationary state. Nontrivial dissipative dynamics needs the aperiodic parameter of item 1.
The corpus's own description — the cyclic tick carries no arrow, the arrow lives in the depth — is thus consistent. The collision was with the claims that the dissipative dynamics and the arrow are derived from the Page–Wootters clock itself (§9.1, T-53b), which the periodic-clock result and the Unruh–Wald theorem rule out for a seven-level clock; these claims are retracted (§9.1), and the dynamics and the arrow are stated relative to an aperiodic carrier, which §11.4 constructs.
11.3 Carriers of the aperiodic parameter: options
Proven [T] (proofs below, witnesses in website/scripts/check_core_numbers.py): in a world with pure point spectrum no clock whose readings are the orbit of a unitary group — continuous or discrete, periodic or not — supports dissipation on its whole orbit, and every Page–Wootters conditional dynamics is linear in the global state up to normalisation. Verdict: the O-clock, the stratal depth without a register, and composite O-clocks with incommensurate frequencies do not carry the parameter of T-53b; an ideal clock register with an infinite environment carries it approximately (Davies limit); the depth register of §11.4 — a finite chain of readings, not an orbit — carries it exactly, and T-53b holds there as a theorem [T]. An intermediate version of this box, of the same day, stated as a verdict that only the ideal clock with an infinite environment makes T-53b true, as [C], and left the choice of carrier to the author [Pr]; that verdict is superseded by §11.4.
T-53b asks three things of its time parameter: (R1) the dynamics in it is not periodic; (R2) a Lyapunov functional decreases strictly along it (Theorem 10.1); (R3) the nonlinear regenerative term acts in it.
[T] Lemma (almost periodicity). Let the clock readings be the orbit of a unitary group — , , or , — and let the joint generator of the clock and everything it is correlated with have pure point spectrum; in particular let the world be finite-dimensional, the clock periodic or not. Then every conditional expectation value is an almost periodic function of the reading, and a non-increasing almost periodic function is constant. Hence (R2) fails for every such clock on its whole orbit. (An earlier wording said "relative to any clock"; it is narrowed to clocks whose readings form a group orbit. The readings of a finite chain, §11.4, are not an orbit — the step from the last reading leads nowhere — and there (R2) holds on the whole chain.)
Proof. An expectation value is (or for the eigenphases of ), a trigonometric polynomial, or a uniform limit of such sums in the pure-point case; both are almost periodic in the sense of Bohr, on or on . For an almost periodic and every the -almost periods are relatively dense. If for some , take and an -almost period : then and , so is not non-increasing. This is the mechanism of the quantum recurrence theorem (P. Bocchieri, A. Loinger, Phys. Rev. 107, 337 (1957)). Witness: a closed seven-level system with an eight-level environment and a random Hamiltonian, started in a pure product state: the relative entropy falls from to for and afterwards rises again by up to .
[T] Lemma (conditional dynamics is linear). In the Page–Wootters construction the conditional state at the clock reading is — a linear map of the global state followed by normalisation, and is constant for an ideal clock that does not interact with the rest. For interacting clocks the equation becomes time-nonlocal (Smith–Ahmadi 2019, §11.1) and stays linear in the global state. Hence is not the conditional dynamics of any single constraint for all initial states: the map from the initial state to the conditional history is linear, the regenerative flow is not. It can enter as a law postulated in ; each of its solutions separately is a conditional history of a constraint fitted to that solution (§11.4, Theorem 11.3); or it can enter as an effective equation — for example the mean-field limit of many exchangeable systems (H. Spohn, "Kinetic equations from Hamiltonian dynamics: Markovian limits", Rev. Mod. Phys. 52, 569 (1980)). Where varies, the conditional dynamics is normalised-linear, the Rembieliński–Caban class, which by physics correspondence, §8.7 cannot carry the viability gate either.
Proof. Conditioning, partial trace and the dynamics of the global state are linear; only the division by is not.
The candidates.
| Carrier | (R1) aperiodic | (R2) dissipation | (R3) | Verdict for T-53b |
|---|---|---|---|---|
| O-clock | no: period seven ticks (Chataignier–Höhn–Lock–Mele 2026) | no | no | [✗] |
| Stratal depth | not an observable relative to the O-clock: a winding number, which is not an invariant relational observable relative to a periodic clock (§11.2) | only through a register that records it | only through that register | not a carrier by itself; recorded in a register it is the carrier of the last row |
| Composite O-clocks with incommensurate frequencies | yes: the orbit on the torus never closes | no, by the almost-periodicity Lemma: two clocks with never return exactly, yet at the clock state overlaps its initial state to | no | [✗]; the readings form — by Kronecker's theorem the orbit is dense in the torus — not , so T-118 is not obtained this way either |
| Ideal clock register ( on , spectrum ; or a counter on ) | yes | only together with an infinite environment with continuous spectrum, in a Markov limit that gives approximately (E. B. Davies, "Markovian master equations", Commun. Math. Phys. 39, 91 (1974)) | postulated (Lemma above) | approximate: only in the weak-coupling limit, with an infinite environment; superseded by the last row |
| Semigroup parameter taken as primitive | yes | as postulated | as postulated | the same as the ideal clock: by the trinity of Höhn, Smith and Lock (2021) the conditional dynamics relative to an ideal clock is the Schrödinger picture in |
| Depth register: readings as a chain, realised positionally in O-registers, with a two-holon environment and a Feynman–Kitaev constraint (§11.4) | yes: no reading follows , the chain is not a group orbit | yes, exactly at every reading, for the linear part as a state-independent law (Theorem 11.1) | along each solution (Theorem 11.3) | [T]: T-53b holds, in a world of dimension |
Cost of the ideal clock (the carrier that the intermediate version of this subsection called the only one that works). (i) An ideal clock has a Hamiltonian unbounded below, so no ground state; by Unruh and Wald (1989) no clock with a Hamiltonian bounded below reads time monotonically. (ii) Its finite approximations — the quasi-ideal clocks of M. P. Woods, R. Silva and J. Oppenheim, whose back-reaction is exponentially small in the clock dimension at a linear cost in energy (Ann. Henri Poincaré 20, 125 (2019)) — are finite, hence periodic, and by the almost-periodicity Lemma support dissipation only over a finite window; exact T-53b needs . (iii) The environment must be infinite, and is then a weak-coupling approximation, not an exact law. (iv) The time of the dynamics is not emergent from the O-dimension: the O-clock becomes a kinematic label read off (, ), and the arrow of Theorem 10.1 is monotone in , as it is already stated. (v) is postulated in , and the measurement reading of physics correspondence, §8.7 has to be fixed separately. At this carrier T-118 holds by Gelfand duality of the clock spectrum, — true, but assumed rather than obtained as a limit of O-clocks.
The three options of the intermediate version, and what became of them. That version left the author a choice [Pr]: (a) accept the ideal clock, equivalently the semigroup parameter, as a primitive of the dynamics, with T-53b and T-118 [C at an ideal clock with an infinite environment]; (b) keep the dynamical time emergent from finite registers and prove T-53b as a finite-window theorem with explicit error; (c) add a counter register recording the depth as a new infinite-dimensional axiom. Option (b) is now proved, in a stronger form than asked: the error at the readings is zero, not merely small (§11.4). Option (c) is not needed — every finite window is carried by a finite chain inside the O-registers of finitely many holons — and its limit is not a better carrier: on the Feynman–Kitaev constraint is the Laplacian of the half-line, whose kernel contains no normalisable vector, so the history state of an infinite register is not a state. Option (a) remains available as a reading of the continuum limit (Theorem 11.5), but it is no longer an assumption that T-53b needs.
11.4 The depth register: an exact finite carrier
Proven [T] (Theorems 11.1–11.5; witnesses in website/scripts/check_core_numbers.py). The aperiodic parameter of T-53b has a finite carrier: a register that records the stratal depth (§10.3) as an ordered chain , not as a cycle. Relative to it the dissipative semigroup is the Page–Wootters conditional dynamics exactly at every reading, in a world of dimension , and the arrow holds on the whole recorded history; the full flow with is reproduced along each of its solutions; the continuum parameter is the scaling limit of the readings, with an explicit error, and its algebra is . Not obtained: a monotone functional on the whole orbit of any clock whose readings form a group orbit (Lemma of §11.3), and as a conditional law independent of the state (second Lemma of §11.3). Assumption, as for every Page–Wootters statement: that the world is in a timeless state of the kind constructed — the constraint half of A5 (T-87, step 4) — is not derived here; the theorems say that such a finite timeless world exists and what it yields.
Set-up. Fix . The system is a holon, . The environment is two further holons, , with a fixed reference vector . The depth register is with orthonormal readings ; the reading records that steps have occurred. It sits inside the O-registers of holons in positional notation, with : the lowest digit is the O-tick of §2–§3, and the higher digits count its windings — the quantity that relative to the O-clock alone is not an invariant observable (§11.2). Given unitaries on , the constraint is of Feynman–Kitaev type,
and the conditional state at reading is that of Definition 3.1, . The constraint is R. P. Feynman's clock ("Quantum mechanical computers", Found. Phys. 16, 507 (1986)), used by A. Yu. Kitaev (A. Yu. Kitaev, A. H. Shen, M. N. Vyalyi, Classical and Quantum Computation, AMS 2002, ch. 14), read as a discrete Page–Wootters constraint by J. R. McClean, J. A. Parkhill and A. Aspuru-Guzik ("Feynman's clock, a new variational principle, and parallel-in-time quantum dynamics", PNAS 110, E3901 (2013)) and studied as a system–time history state for a finite clock by A. Boette and R. Rossignoli ("History states of systems and operators", Phys. Rev. A 98, 032108 (2018)). What is added here is the environment and the dilation of step (i) below, which turn the unitary history into a dissipative one.
Let be any CPTP semigroup on , and . There are unitaries on , depending on , and but not on any state, such that:
(a) ; with , of dimension ; the eigenvalues of are , , each -fold, so the gap above the kernel is .
(b) For every state of the holon, , with and , satisfies , and
(c) If is unital and primitive (Theorem 10.1), then along the readings is non-increasing and the purity is strictly decreasing, unless .
Proof. (i) Dilations. For each the map is CPTP on ; its Choi matrix is , so it has Kraus operators (some possibly zero) with . The map is an isometry (W. F. Stinespring, Proc. Amer. Math. Soc. 6, 211 (1955)); completing its seven image vectors to an orthonormal basis gives a unitary with . Put and . Then and for every .
(ii) Kernel and spectrum. Since , conjugation by the unitary gives , where is the Laplacian of the path with vertices. Its quadratic form is , vanishing only on constant vectors, and its eigenvalues are . This is (a).
(iii) Conditional states. , of trace ; by (i) its normalised partial trace over is . With (ii), , so . This is (b).
(iv) Monotonicity. is CPTP and unital, and by the semigroup law. Monotonicity of relative entropy with gives the first claim. For the purity, the Kadison–Schwarz inequality for unital completely positive maps (M.-D. Choi, Illinois J. Math. 18, 565 (1974)) gives for Hermitian ; taking the trace, . Hence is non-increasing in . It is also real-analytic in , since the entries of are entire functions. If , then is constant on that interval, hence on ; primitivity gives , so and .
Why this does not contradict §11.2–§11.3. The almost-periodicity Lemma needs readings that form the orbit of a unitary group; here the step is a partial isometry, and no reading follows . The periodic-clock result of Chataignier, Höhn, Lock and Mele concerns clocks with a action, which the chain does not carry. The Unruh–Wald theorem concerns correlation with an external Schrödinger parameter; here there is none — the readings are the time. The price is visible: the recorded history has a first and a last reading. And relative to the lowest digit alone, the O-tick , the conditional state is the average of over : the O-clock still reads no arrow.
Close the chain into a cycle by adding the edge with . The state of Theorem 11.1 also satisfies the cyclic constraint and gives the same conditional states. Along the cycle every functional that decreases on the first steps increases on the wrap step. No periodic register does better: a function on a cycle cannot decrease on every step. For the seven readings of one O-clock the best possible is six decreasing steps of seven.
Proof. The holonomy around the cycle is , so conjugates the cyclic constraint to the cycle Laplacian , whose kernel is again spanned by ; the conditional states are computed as in Theorem 11.1. The rest is the fact that the increments of a function around a cycle sum to zero.
This is the finite form of the periodic-clock result (§11.2): the dynamics relative to a period- register is periodic, and the fraction of steps on which the arrow fails is , attained.
Let , , solve the full equation of §9.1 with , and a state, both continuous along the solution. Put and . Then:
(a) each is a Lindblad generator, and the propagators are CPTP with ;
(b) the construction of Theorem 11.1, with a dilation of , yields a finite timeless world whose conditional states are exactly at every reading .
The constraint of (b) depends on the solution; for a nonlinear no constraint independent of the solution does this (second Lemma of §11.3).
Proof. (a) with the replacement channel , and (since ) is CPTP for ; a sum of Lindblad generators is one. The time-ordered exponential of a continuous family of Lindblad generators is a limit of products of CPTP maps, and the CPTP maps form a closed set. Because , , so solves the linear equation ; uniqueness for linear equations with continuous coefficients gives . (b) Step (i) of the proof of Theorem 11.1 uses only that the maps it dilates are CPTP.
Every Lyapunov statement about the solution — the H-theorem of T-261, the monotonicities of Theorem 10.1 — therefore holds at the readings of the register, because the readings reproduce the solution.
In Theorem 11.1 let and . Then
for . For the full flow of Theorem 11.3 the same holds with . Hence a window is carried, with error at most in trace norm at every , by a finite world of dimension
that is, ; at the readings themselves the error is zero, and there is no recurrence inside the window.
Proof. with , and . For the bound on : , and . For the full flow , since .
Measure the readings in a macroscopic unit: , , where is the chronon in that unit and the reading taken as origin; the time algebra of the register is its diagonal algebra . Take a sequence of registers with , and . Then:
(a) for every , eventually every point of lies within of a reading: the reading sets converge to in the pointed Hausdorff sense;
(b) the sampling maps are -homomorphisms with for every ; hence is an injective isometric -homomorphism .
With the origin at the first reading () the same construction gives : the recorded time has a beginning, and is the limit seen from readings far from both ends.
Proof. (a) The readings form a grid of mesh covering , which eventually contains . (b) Evaluations are -homomorphisms, and . A function attains 's maximum at some ; by (a) some reading is within of eventually, so , where is the modulus of uniform continuity of . The norm on is .
The contrast with the other clocks of §3.8 and §11.3 is in the shape of the reading set: summed O-clocks fill a circle of fixed circumference, composite O-clocks with incommensurate frequencies fill a torus, the depth register fills a line. In the positional realisation, readings take holons, so the window is chronons; in a macroscopic unit the limit of Theorem 11.5 is reached with and .
Routes that were examined and not used. (1) Davies weak coupling (1974) gives only in the limit of vanishing coupling with an infinite environment, and its error constants for a finite environment are not explicit; the construction above is exact. (2) Quasi-ideal clocks (Woods–Silva–Oppenheim 2019) have readings that form a group orbit on a finite space, so by the almost-periodicity Lemma any dissipation relative to them holds only on a finite window, and only approximately; they are not needed. (3) Poincaré recurrence times of a finite environment depend on Diophantine properties of its spectrum and admit no computable bound of the form uniform in the Hamiltonian, so they cannot give a theorem with explicit constants. (4) An infinite register as the limit of the tower of strata: its Feynman–Kitaev constraint has no normalisable kernel (option (c) of §11.3), so it is not a carrier but only the limit of carriers. (5) Deriving the chain register from the axioms: not achieved. The register is built from holons, but that the world's timeless state is of the constructed kind is the constraint assumption of A5, as for the O-clock.
11.5 The de Sitter observer algebra and the holon tower
Since 2022 there is a precise sense in which an observer changes the algebra of a gravitating region. Quantum fields in a region have an algebra of type III₁, which has no trace and no finite entropy; adding an observer with a clock and imposing the gravitational constraint turns it into an algebra of type II, which has a trace, density matrices and entropies. In the static patch of de Sitter space the result is of type II₁: the trace is finite and there is a state of maximal entropy. Two points of contact with UHM follow. The observer is a clock — a Page–Wootters reference frame (§3, §11.1) — and the maximal-entropy state of the holon is its trace . This subsection lists what the literature establishes, then proves what can be proved about the relation (T-348), and says what does not follow.
Terms. A von Neumann algebra is an algebra of bounded operators closed under adjoints and weak limits; a factor is one whose centre is the scalars. Type I factors are full matrix algebras ; a type II₁ factor is infinite-dimensional and has a finite trace, normalised to ; type has a trace that is only semifinite; type III has no trace. A factor is hyperfinite (equivalently injective) if it is the weak closure of an increasing union of finite-dimensional algebras. The entropy relative to the trace of a state with density is ; in a II₁ factor with equality only for .
What the literature establishes.
- Chandrasekaran, Longo, Penington, Witten (CLPW). "An algebra of observables for de Sitter space", JHEP 02 (2023) 082, arXiv:2206.10780. Theorem within their model (, one observer on a geodesic). The matter algebra of the static patch is of type III₁ and its only operators invariant under the static-patch Hamiltonian are scalars. The observer has Hamiltonian on ("it is physically sensible to assume that the energy of the observer is non-negative"); the constraint is . Without the invariant algebra is the crossed product of by its modular flow, of type (Takesaki duality); the projection onto cuts it to a type II₁ factor with . The state of maximal entropy is the Bunch–Davies state times the thermal distribution of the observer's energy, and entropies equal the generalised entropy up to a state-independent constant. Replacing by keeps type II₁. Their §2.4 adds: a hyperfinite II₁ factor is isomorphic to the Murray–von Neumann algebra of infinitely many almost maximally mixed qubits; local algebras of quantum field theory "are believed to be always hyperfinite", so "we expect" to be that algebra. Their footnote 8: a clock whose energy is bounded below cannot tell time perfectly.
- Jensen, Sorce, Speranza (JSS). "Generalized entropy for general subregions in quantum gravity", JHEP 12 (2023) 020, arXiv:2306.01837. Argument at . A spatially compact region with an observer gives type II₁ and an entropy-maximising state; a region containing an asymptotic boundary gives type . Their examples include a ball in flat space with conformal matter: type II₁ is not tied to .
- Related constructions. S. Ali Ahmad, R. Jefferson, SciPost Phys. Core 7, 020 (2024), arXiv:2306.07323 (crossed products by the modular flow for subregions of general theories give type ); J. Kudler-Flam, S. Leutheusser, G. Satishchandran, Phys. Rev. D 111, 025013 (2025), arXiv:2309.15897 (for dynamical black holes the entropy of the dressed algebra is the generalised entropy); T. Faulkner, A. J. Speranza, arXiv:2405.00847 (the generalised second law from the crossed product); C.-H. Chen, G. Penington, arXiv:2406.02116 (slow-roll inflation and evaporating Schwarzschild–de Sitter give type factors, with no state of maximal entropy). Arguments within their models; none of them derives or a coupling constant.
- De Vuyst, Eccles, Höhn, Kirklin (DEHK). "Gravitational entropy is observer-dependent", arXiv:2405.00114. Theorems within the model. The observers of CLPW are quantum reference frames, and the CLPW description of states is the Page–Wootters one ("PW = CLPW"). The type and the entropy depend on the observer: a clock is ideal if its energy spectrum is the whole line, and then the algebra stays ; a non-ideal clock with energy bounded below gives II₁. A periodic clock (a harmonic oscillator) is an incomplete frame: its isotropy group is , and it resolves only properties of the field that are themselves periodic.
- Fewster, Janssen, Loveridge, Rejzner, Waldron. "Quantum reference frames, measurement schemes and the type of local algebras in quantum field theory", Commun. Math. Phys. 406, 19 (2025), arXiv:2403.11973. Theorem. If the field has a KMS state at some , the frame-invariant algebra has a semifinite trace; if the frame also has a KMS weight at the same temperature, the trace is finite; precise sufficient conditions for a type II₁ factor.
- Witten. "A background independent algebra in quantum gravity", JHEP 03 (2024) 077, arXiv:2308.03663. Proposal. The algebra along an observer's worldline, with the Hartle–Hawking state as universal state of maximal entropy; with only de Sitter vacua of different the definition gives sensible results. enters as a label of the vacua, not as an output.
- Operator-algebra results used below. F. J. Murray, J. von Neumann, Ann. Math. 44, 716 (1943): the approximately finite II₁ factor is unique. A. Connes, Ann. Math. 104, 73 (1976): every injective II₁ factor with separable predual is isomorphic to it, . U. Haagerup, Acta Math. 158, 95 (1987): uniqueness of the injective III₁ factor. H. Araki, E. J. Woods, Publ. RIMS 4, 51 (1968): types of infinite tensor products of matrix algebras (ITPFI). A. Connes, E. Størmer, J. Funct. Anal. 28, 187 (1978): in a III₁ factor any two faithful normal states are approximately unitarily equivalent. D. Buchholz, C. D'Antoni, K. Fredenhagen, Commun. Math. Phys. 111, 123 (1987): the split property makes local algebras hyperfinite. R. Verch, Lett. Math. Phys. 29, 297 (1993), and C. J. Fewster, Lett. Math. Phys. 105, 1633 (2015), arXiv:1501.02682: the split property for the free Klein–Gordon field and for locally covariant theories in curved spacetime.
Let be the algebra of the O-registers of holons — the carrier of the depth register of §11.4 — with the normalised trace , embedded by , (one holon added).
(a) The tower is . ; the union is the UHF algebra of type , and its closure in the representation of is a hyperfinite factor of type II₁, hence . For a state on , , with equality only at ; restricting to does not lower , and for a normal state of , . The number 7 survives only before closure: projections of have traces , never , while has projections of every trace in , and gives the same . If the added holon is read as the lowest digit of the depth register, reading marks the point of , and the trace of the projection onto the readings in differs from by at most : on the readings the trace becomes Lebesgue measure — the uniform weight of the history state of Theorem 11.1.
(b) CLPW is hyperfinite, under a named condition. If the matter net in the Bunch–Davies representation has the split property along an increasing sequence of regions exhausting the static patch — established for the free massive Klein–Gordon field (Verch 1993; Fewster 2015) — then , and are injective, and .
(c) What the isomorphism carries. Under (b) there is an isomorphism . It is not unique (two differ by an automorphism of ), and every such carries to : the maximal-entropy state of CLPW corresponds to the product state , and for every normal state. Nothing else is carried: no is singled out that maps to operators with a place or a time, and the observer's Hamiltonian, the modular flow of the Bunch–Davies state and the geometry of the patch are not transported.
(d) Only finitely many holons are alive. In every normal state of the reduced state of the -th holon tends to in trace norm, so only finitely many holons are viable (). If of them are viable, with nat, . An infinite product of one living state is not normal on : it generates an Araki–Woods factor of type III — when all eigenvalue ratios of are integer powers of one , III₁ otherwise. Type II₁ arises only for , whose purity lies below the window.
(e) A finite clock gives a type I algebra. Let be a factor on which generates a flow with a KMS state at and (the assumption of CLPW), and let the clock Hamiltonian have pure point spectrum — the O-clock , or the depth register at any finite . Then the part of invariant under is : type I, with no operator of the field in it.
(f) No and no . The type and the trace of are the same for every (every ) and every observer mass (); the tower gives the same for every factor dimension ; JSS obtain II₁ for compact regions in flat space. So no invariant of the identification fixes , its sign, or the regeneration rate , which (a)–(d) never use (cf. T-346). A finite truncation , at , gives — a strictly monotone reparametrisation of , not a derivation, because nothing in UHM fixes .
Proof. (a) . Every tracial state of is , so has exactly one tracial state; a tracial state whose representation had a non-trivial centre would split into two different traces, so the closure is a factor. The trace is faithful and normal on it, the factor is infinite-dimensional, so it is of type II₁, and as the closure of an increasing union of matrix algebras it is hyperfinite; Murray–von Neumann uniqueness gives . The density of relative to is , so . Monotonicity is that of relative entropy under the partial trace (G. Lindblad, Commun. Math. Phys. 40, 147 (1975)), and the limit is the martingale property of Araki's relative entropy along an increasing net with dense union (M. Ohya, D. Petz, Quantum Entropy and Its Use, Springer 1993, ch. 5). A projection of has trace , and is odd. The readings in number up to . The argument uses nowhere except in the arithmetic.
(b) By additivity . Split: between sits a type I factor , so ; the closure of an increasing union of injective algebras is injective (Buchholz–D'Antoni–Fredenhagen). A crossed product of an injective algebra by the amenable group is injective; a corner of an injective is injective (compose the expectation onto with ). is a II₁ factor (CLPW) on a separable Hilbert space; Connes' theorem gives .
(c) is a normalised normal trace on , and a II₁ factor has only one. CLPW show that their maximal-entropy state is , and entropies are defined through densities relative to the trace, which preserves. Two isomorphisms differ by an automorphism of ; the group of automorphisms moves every finite-dimensional subalgebra to other copies of , so the image of has no invariant meaning.
(d) Let . is dense in : pick , , . For in a factor the product trace gives , so , and . For the bound, take larger than every viable index: , with the total correlation. At fixed purity the entropy is maximal on one dominant eigenvalue plus equal others (P. Harremoës, F. Topsøe, IEEE Trans. Inf. Theory 47, 2944 (2001)), and this maximum falls as grows, so when . Two product states , are quasi-equivalent only if (D. Bures, Trans. Amer. Math. Soc. 135, 199 (1969)); for a living , (at fixed purity the fidelity with is largest on the same extremal spectrum, at ; checked numerically to ), so the product with diverges. The type is that of the Araki–Woods classification: for identical factors the asymptotic ratio set is the closed subgroup generated by the eigenvalue ratios.
(e) Write an invariant element as a block matrix over the eigenspaces of . Invariance means entrywise, where . For the entries lie in . For an eigen-operator has , so if it is a multiple of a unitary with ; the KMS condition gives , a contradiction. So the off-diagonal blocks vanish.
(f) (b)–(c) hold verbatim for every and every (CLPW §2.5), and (a) for every . The numbers are arithmetic; is strictly decreasing.
Status. (a), (d), (f) are theorems [T]. (b) and (c) are theorems under the split property, which is proved for free massive matter and assumed for interacting matter; (e) is a theorem under the assumption that CLPW themselves use. CLPW already expected the isomorphism of (c), with qubits in place of holons; what T-348 adds is the holon tower as the concrete approximating chain, the list of what an isomorphism can and cannot carry, the count of living holons (d), the verdict on finite clocks (e), and the no-go for and (f). Witnesses: check_core_numbers.py (holon_tower_trace_entropy_is_nonpositive_and_monotone, living_holon_costs_at_least_0344_nats_below_the_trace, lambda_as_a_holon_count_is_a_reparametrisation).
Physical reading [I]. Empty de Sitter space, the state of maximal entropy, corresponds to the tower in which every holon is at : the dead background, below the window. Excitations are normal states, and by (d) they carry finitely many living holons, each costing more than nat of entropy below the maximum; in CLPW a particle of energy at the centre of the patch costs . The comparison is an interpretation: (c) gives no map from holons to particles. The CLPW condition has one UHM counterpart, ; by (e) it is not enough, because the step from type III to type II needs a clock with continuous energy spectrum, and every finite clock of UHM has pure point spectrum; the limit of the depth register does have continuous spectrum bounded below (T-352, §11.6).
Open [Pr]. (1) A UHM clock with continuous spectrum bounded below. The scaling limit of Theorem 11.5 is a continuum of readings (times), not of energies. Answered by T-352 (§11.6) at a stated premise: the Feynman–Kitaev constraint of the depth register itself, in the limit , has purely absolutely continuous spectrum , and as the observer's clock it gives a type II₁ factor; an earlier sentence here, that such a spectrum is a choice of level spacing and not a consequence of the construction, is superseded. (2) Whether the relational algebras of such registers converge to . (3) Whether anything in UHM fixes the level ; without it stays an input, as in Witten's proposal.
11.6 Direction and the continuous clock
The foundation of UHM is an ∞-topos , read in homotopy type theory, where every identification is invertible: its objects are ∞-groupoids. The dynamics is not invertible: a dissipative channel has no inverse among channels, the depth of §10.3 grows, and T-348 left open a clock with continuous energy spectrum bounded below. This subsection asks what of the arrow a symmetric foundation can carry, where the direction lives, and whether UHM has the clock that T-348 lacked. It lists what the literature establishes, then proves T-352.
What the literature establishes.
- Directed type theory, synthetic ∞-categories. E. Riehl, M. Shulman, "A type theory for synthetic ∞-categories", Higher Structures 1, 147 (2017), arXiv:1705.07442. Theorems. Homotopy type theory with a directed interval and extension types; Segal types (unique composites up to homotopy), Rezk types (local univalence), covariant families and a dependent Yoneda lemma. Semantics: Reedy fibrant bisimplicial sets, where Segal and Rezk types are Segal spaces and complete Segal spaces. U. Buchholtz, J. Weinberger, "Synthetic fibered (∞,1)-category theory", Higher Structures 7 (2023), arXiv:2105.01724; J. Weinberger, "Strict stability of extension types", arXiv:2203.07194 (the system "has semantics in simplicial objects of an ∞-topos").
- Directed univalence. M. Z. Weaver, D. R. Licata, "A constructive model of directed univalence in bicubical sets", LICS 2020, 915–928. D. Gratzer, J. Weinberger, U. Buchholtz, "Directed univalence in simplicial homotopy type theory", arXiv:2407.09146 (theorem: a universe of discrete types whose homomorphisms are functions, built in triangulated type theory); "The Yoneda embedding in simplicial type theory", LICS 2025, 127–142, arXiv:2501.13229; "The ∞-category of ∞-categories in simplicial type theory", arXiv:2602.02218 (straightening–unstraightening inside the theory). E. Cavallo, E. Riehl, C. Sattler, "Directed univalence for simplicial objects in an ∞-topos", arXiv:2607.02420 (July 2026; theorem: directed univalence holds in simplicial objects of any ∞-topos).
- Other directed type theories. D. R. Licata, R. Harper, "2-dimensional directed type theory", MFPS 2011, ENTCS 276, 263 (2011); A. Nuyts, Towards a directed homotopy type theory based on 4 kinds of variance, MSc thesis, KU Leuven (2015); P. R. North, "Towards a directed homotopy type theory", MFPS 2019, ENTCS 347 (2019), arXiv:1807.10566 (a hom-type former interpreted in ); J. Neumann, T. Altenkirch, "Synthetic 1-categories in directed type theory", TYPES 2024, LIPIcs 336, 7, arXiv:2410.19520 (a directed-J rule, variance by modalities; a first step toward a directed higher observational type theory).
- Model-independent ∞-category theory and internal categories. E. Riehl, D. Verity, Elements of ∞-Category Theory, Cambridge 2022 (∞-cosmoi: one formal theory for quasi-categories, complete Segal spaces and their fibred and internal variants). L. Martini, "Yoneda's lemma for internal higher categories", arXiv:2103.17141, and L. Martini, S. Wolf, "Internal higher topos theory", arXiv:2303.06437: ∞-categories internal to an arbitrary ∞-topos are simplicial objects of it satisfying the Segal and completeness conditions.
- Directed spaces. M. Grandis, Directed Algebraic Topology, Cambridge 2009, arXiv:math/0111048 for part I (d-spaces, fundamental categories in place of fundamental groupoids, motivated by concurrency and by portions of space-time). Theorems within the framework; no directed analogue of a Grothendieck topos serves as a foundation there.
- Time operators and positive energy. W. Pauli, Handbuch der Physik 24/1 (1933), p. 140 (argument); in rigorous form: a self-adjoint and a projection-valued time observable covariant under form a system of imprimitivity of , and the Mackey–Stone–von Neumann theorem gives (P. Busch, M. Grabowski, P. J. Lahti, Operational Quantum Physics, Springer 1995, ch. III), so a Hamiltonian bounded below admits only a covariant positive operator valued time. R. E. A. C. Paley, N. Wiener, Fourier Transforms in the Complex Domain, AMS 1934 (functions supported on a half-line have Fourier transforms in the Hardy space ). H. Wold (1938) and B. Sz.-Nagy, C. Foias, Harmonic Analysis of Operators on Hilbert Space, North-Holland 1970 (isometries: the Wold decomposition and minimal unitary dilations). P. D. Lax, R. S. Phillips, Scattering Theory, Academic Press 1967 (translation on the line with outgoing subspace ).
What remains open in the literature. Directed type theory has models in simplicial objects of every ∞-topos, and directed univalence holds there (2026). It does not replace the ∞-topos: its types are interpreted inside one, as category objects. There is no established "directed topos" as a stand-alone foundation, and, beyond Grandis' motivating examples, no link in this literature between directed paths and physical time; Chapter 17 of the mathematics corpus names that link as a hypothesis [H].
Let be the readings of the depth register (§11.4) as a category, with one arrow exactly when ; in the limit. Let be the category whose objects are the states of a holon and whose arrows are CPTP maps.
(a) The arrow lives in a category, not in a groupoid. The maximal subgroupoid of is discrete ( objects, identities only); its ∞-groupoid completion is contractible (the nerve has Euler characteristic ). On an ∞-groupoid every function that does not increase along paths is constant on components. The history of Theorem 11.1 is a functor , , ; for unital and primitive no arrow , , is invertible in , and turns into a functor to the poset .
(b) Sharp readings with a first reading have no Hamiltonian. (i) On the step is an isometry with , purely non-unitary; is the closed unit disc and every is an eigenvalue of , with eigenvector ; no unitary on extends , and its minimal unitary dilation is the bilateral shift on , with spectrum the unit circle. (ii) In the continuum limit with the origin at the first reading (Theorem 11.5, ), the translations of are with on ; is closed and symmetric with deficiency indices , has no self-adjoint extension, and . (iii) On , no nonzero is supported in while its Fourier transform is supported in . So a clock whose sharp readings have a first reading and are shifted by its own evolution has no self-adjoint energy; its unitary dilation has energy spectrum — the ideal clock that keeps the algebra of type (DEHK) — and Pauli's theorem, in the rigorous form cited above, denies sharp covariant readings to an energy bounded below.
(c) The clock the constraint already contains. The dressed constraint of Theorem 11.1(a) is the path Laplacian . Its eigenvalues are exactly the quantiles of the arcsine law on , so the normalised counting measure of the spectrum is within of in Kolmogorov distance, attained. In the limit, on is bounded and self-adjoint; the cosine transform is a unitary carrying to multiplication by . Hence , purely absolutely continuous and simple, with density of states ; is not an eigenvalue. For every and every , the probability of a reading in tends to as and as .
(d) Type II₁ from the depth register. In the setting of CLPW — a type III₁ factor on whose modular flow is generated by , KMS at — take as the observer's clock with Hamiltonian , ( for a chronon ). The operators of invariant under form an algebra unitarily equivalent to , , with the observer energy of CLPW. It is a factor of type II₁; in the normalisation where CLPW's projection onto has trace , , and its state of maximal entropy is the Bunch–Davies state times the thermal law of the observer energy restricted to and renormalised. Under the split property of T-348(b) it is isomorphic to . At every finite the same construction gives type I (T-348(e)): the passage from type I to type II₁ happens exactly at , where the history state stops being normalisable (§11.3, option (c)).
(e) What is not fixed. The type and the trace structure in (d) are the same for every and every ; the only new scale is the bandwidth , and nothing in UHM fixes .
Proof. (a) An arrow of has an inverse only if exists too, that is . The ∞-groupoid completion of a category is the geometric realisation of its nerve, and a category with an initial object () has contractible nerve (D. Quillen, "Higher algebraic K-theory I", LNM 341, 85 (1973), §1). The non-degenerate -simplices of the nerve of are the chains of distinct readings, of them, and . On an ∞-groupoid every path has an inverse, so . Functoriality of is the semigroup law . A channel with a channel inverse is a unitary conjugation (standard; proved in full through Kraus representations as Lemma 17.1 of Chapter 17 of Part XVIII of the mathematics-foundations corpus), which preserves purity; by Theorem 11.1(c) lowers the purity of every , so it has no inverse. Monotonicity of relative entropy under channels (G. Lindblad, Commun. Math. Phys. 40, 147 (1975)) with gives the functor to .
(b) (i) and omits , so is not onto and no unitary on the same space agrees with it; strongly, so has no unitary part (Wold). , a vector of squared norm ; so the open disc lies in the spectrum of , hence in that of , and closes it. The minimal unitary dilation is Sz.-Nagy–Foias, ch. I. (ii) , and vanishes on , which forces on the domain. on ; has the solution , only , so the indices are and von Neumann's theorem excludes a self-adjoint extension. has the solution , square-integrable exactly when ; for such the range of is not dense, so ; for , and the range is dense, so . (iii) If vanishes on , its Fourier transform is the boundary value of a Hardy-space function (Paley–Wiener); a nonzero function cannot vanish on a set of positive measure of the boundary (F. and M. Riesz). The last sentence is (ii), the dilation of (i), and Pauli's theorem as cited above.
(c) has diagonal and on the off-diagonals. For : in the interior ; at the first site ; at the condition is , . , so . The functions , , are the eigenfunctions of on with , an orthonormal basis; so is unitary, and the first computation gives . This function is continuous and strictly increasing on from to ; the change of variable , , identifies with multiplication by on , absolutely continuous and of multiplicity one. For the escape, with , which tends to as (Riemann–Lebesgue lemma); sum over .
(d) By (c) there is a unitary with (the density of states changes only the unitary). carries the operators invariant under to those invariant under on . With on , . The invariant part of under is the crossed product , generated by and (CLPW §3; M. Takesaki, Acta Math. 131, 249 (1973)); belongs to it, and an operator is invariant exactly when it lies in . Since is of type III₁, the crossed product is a factor of type (Takesaki, loc. cit.), whose trace restricted to functions of is in CLPW's normalisation — the observer distribution of their maximal-entropy state. So , finite and nonzero; the corner of a factor by a nonzero finite projection is a factor of type II₁, and its normalised trace is the stated state. A corner of an injective algebra is injective, so T-348(b) and Connes' theorem give . The finite case is T-348(e), since has pure point spectrum; by (c).
(e) Nothing in (a)–(d) depends on the values of and beyond their positivity.
Numbers. The quantile identity and the Kolmogorov distance hold to for (: the windows of to holons), and the cosine vectors diagonalise with residual below . For and the start , the probability of a reading is at , at and at , and the mean reading grows as readings per unit of ( at ), while the weight beyond (the maximal velocity is ) is below at . The Euler characteristic of the nerve of is for . Witness: check_core_numbers.py (depth_register_constraint_is_a_continuous_clock_bounded_below, depth_readings_form_a_category_with_contractible_groupoid_completion).
Status. (a)–(c) and (e) are theorems [T]. (d) is a theorem in the model of CLPW (their , , , ) once the observer's clock is the depth register with Hamiltonian ; that identification is a premise, not a consequence of the axioms — as in §11.4, the constraint half of A5 is assumed, and here in addition that the constraint operator itself is the clock's energy. in (d) needs the split property, as in T-348(b).
What this changes.
- For the foundation. The arrow of T-53b and T-53c is a functor out of a category, , followed by a monotone functional; by (a) no ∞-groupoid built from the readings can carry it — in the maximal subgroupoid there is nothing to be monotone along, and the completion is a point. It needs no new foundation: Rezk's classifying diagrams of and of are complete Segal spaces (C. Rezk, Trans. Amer. Math. Soc. 353, 973 (2001)), which is where the Riehl–Shulman types live, and by Cavallo–Riehl–Sattler directed univalence holds in simplicial objects of any ∞-topos, so also over . The directed half that Chapter 17 of the mathematics corpus calls missing is thus available inside the symmetric foundation, as category objects; that the corpus should be rewritten in simplicial type theory is not claimed, and the identification of this direction with experienced time stays [H] there.
- For T-53b and T-118. No status changes. T-53b is the statement that is a functor and that decreases along it. Of the two limits of Theorem 11.5, is the directed one: by (b)(ii) its translations are isometries without a Hamiltonian; is its two-sided dilation, whose translation generator has spectrum .
- For T-348. Open question (1) is answered at the premise of (d): UHM has a clock with continuous spectrum bounded below, and it is not a choice of level spacing — it is the limit of the Feynman–Kitaev constraint that already carries the dynamics, with spectrum and the arcsine density. The type I verdict of T-348(e) for finite registers and the type II₁ of (d) are two sides of one fact: the constraint gains continuous spectrum exactly when its history state stops being normalisable. The difference from CLPW's clock is the upper edge: the observer energy is cut at , which changes the trace of the projection by and not the type.
What does not follow. The time reading of the continuous clock is not sharp in the energy picture: by (b)(iii) and Pauli's theorem no covariant sharp reading exists for , and the readings are not shifted by ; a packet spreads at up to readings per unit of , and the direction of the readings is the same for and — the unitary group does not know the arrow, the half-line of readings does. The theorem fixes neither nor , hence neither nor (T-348(f), T-346).
Open [Pr]. (1) Whether the relational algebras of the finite registers, of type I, converge to the type II₁ algebra of (d) in a sense that carries the trace (T-348, open (2)). (2) Whether anything in UHM fixes the chronon , the only scale in (d). (3) A formulation of the holon dynamics in simplicial type theory in which is a Rezk type over and T-53c becomes an internal statement.
Related documents:
- Axiom Ω⁷ — ∞-topos as unique primitive
- Dimension D (Dynamics) — connection to internal time
- Dimension O (Foundation) — role of internal clock
- Evolution Γ — equation with internal time
- Spacetime — emergent geometry
- Categorical formalism — ∞-groupoid and ∞-topos
- Critical purity — connection of P_crit to time
- Viability — temporal interpretation