EBOC: Eternal-Block Observer-Computing Unified Theory
Author: Auric Date: 2025-10-18
Abstract
Objective. We propose EBOC (Eternal-Block Observer-Computing): a geometry-information unified framework without explicit global time, merging the timeless causal encoding of Eternal-Graph Cellular Automata (EG-CA) with the program semantics and observation-decoding of Static-Block Universe Cellular Automata (SB-CA) into a single formal system, with verifiable information laws and constructive algorithms. This paper treats the static block and the eternal graph edge shift as equivalent dual representations; the exposition below primarily uses , but every conclusion can be equivalently restated on via finite-type presentation/encoding equivalence.
Three Pillars.
- Geometric Encoding (Graph/SFT): The universe as a static block satisfying local rule ; its causality/consistency characterized in parallel by an eternal graph and a subshift (SFT).
- Semantic Emergence (Observation = Decoding): Observation = factor decoding. The decoder reads the static block leaf-by-leaf according to an acceptable foliation (cross-leaf reading advancing from layer to along ), outputting a visible language; “semantic collapse” is the information factorization from base configuration to visible record.
- Information Constraint (Non-increase Law): Observation does not create information: and under causal thick boundary conditions, provides conditional complexity upper bounds consistent with Brudno entropy limits.
Unified Metaphor (RPG Game). The universe as an RPG with infinite storyline: the game data and evolution rules are already written (), “choices” (apparent free will) must be consistent with storylines (determinism). Leaf-by-leaf reading unlocks chapters according to a preset rhythm ; “choice” is to select a representative among compatible branches and exclude incompatible ones, without adding or removing information from the ontological “ROM”.
Core Object. where is the space-time SFT, is the eternal graph, provides the acceptable leaf family (level sets of the primitive integral covector , ), is the decoder, is a shift-invariant ergodic measure, and is a universal semimeasure (used only for typicality weighting). Equivalently, all results can be expressed using the edge shift of and its path shift ; observation/information laws hold equally for both representations.
1. Introduction and Motivation
Traditional CA present “evolution” via global time iteration; the block/eternal-graph perspective gives the entire spacetime at once, with “evolution” being merely the narrative path obtained by leaf-by-leaf reading. The dynamical view depends on a time background and is difficult to make background-independent; the static view lacks observational semantics. EBOC unifies the two via “geometric encoding × semantic decoding × information laws”: SFT/graph structure ensures consistency and constructiveness; factor maps provide visible language; complexity/entropy characterize conservation and limits. This paper establishes theorem family T1–T26 under minimal axioms, with detailed proofs and reproducible experimental protocols.
2. Notation and Preliminaries
2.1 Space, Alphabet, and Configuration
- Space , spacetime ; finite alphabet .
- Spacetime configuration . Restriction to window denoted .
- Convention: denotes both string length and set cardinality (disambiguated by context).
2.2 Neighborhood and Global Evolution
- Finite neighborhood , local rule :
- Global map
2.3 SFT and Eternal Graph
- Space-time SFT
- Eternal graph : vertices encode local patterns (events), edges encode causal/consistency relations.
- Edge shift
2.4 Foliation Decomposition and Leaf-by-Leaf Reading Protocol
- Unimodular transformation: (integrally invertible, ), time direction .
- Acceptable leaf: There exists a primitive integral covector and constant , with leaves being level sets satisfying to ensure monotonic cross-leaf advancement.
- Leaf-by-leaf reading: Using block code , advancing leaf-by-leaf from layer , applying to corresponding windows to produce visible sequences.
- Leaf counting and time-slice cuboid families: For time-slice cuboid family windows (), define as the temporal thickness (number of leaf layers traversed). Under step-size protocol, the observation step count is (ignoring boundary effects). Such window families are compatible with the one-dimensional Følner theory of the time subaction . The complexity upper bounds in this paper can absorb this boundary effect into the term (see T4).
- Time subaction notation: Denote as the one-dimensional subaction of along the time coordinate, as the time shift of .
2.5 Complexity and Measure
- We use prefix Kolmogorov complexity and conditional complexity .
- : invariant and ergodic for time subaction (unless otherwise noted); : universal semimeasure (algorithmic probability).
- Window description complexity: is the length of the shortest program generating ; Følner family satisfies .
- Entropy notation convention: This paper distinguishes two types of entropy: (compatible with leaf count normalization) and (compatible with voxel count normalization). They generally have no fixed conversion relation; results throughout are stated and proven under their respective compatible normalizations, without cross-normalization conversion. Furthermore, for any finite spatial section , denote the observation partition for the time subaction as and define the relative entropy ; by Kolmogorov–Sinai definition For observation factor , the corresponding observation partition is denoted where denotes the cylinder set of configurations yielding visible pattern when block-reading is applied at .
2.6 Causal Thick Boundary (for T4)
- Explicitly use -norm:
- Define
- Bottom layer .
- Past causal input boundary at bottom (standard coordinates) Convention: in this section and in subsequent T4 always refers to the number of time layers traversed (consistent with in §2.4). For non-standard leaf cases, first map back to standard coordinates via then take image.
2.7 Coordinate Relativization of Eternal Graph (Anchored Chart)
carries no global coordinates. Choose anchor , relative embedding with , path layer function along monotonically non-decreasing, spatial adjacency as finite shift. Fix in advance the minimal presentation radius for “local pattern vertex” encoding; all related definitions and constructions below use this fixed . Layer function SBU (Static Block Unfolding) where “consistent extension” means: all cells within this cone forced by and the local rule match .
2.8 Eternal Graph–SFT Dual Representation (Working Principle)
- Dual representation: All conclusions stated in terms of static block in this paper have an equivalent version in terms of eternal graph edge shift ; the two are given by standard finite-type presentation/encoding. For conciseness, the main text uses , with path version statements bracketed as “(EG)” where necessary.
- Correspondence: Window and thick boundary correspond to finite path segment and finite adjacency radius; leaf-by-leaf reading corresponds to time-shift reading along paths; observation factor defined on can be equivalently realized on via path block code .
Below we discuss SBU only on the graph domain where this relative embedding exists.
Definition: Realizable Event. Let eternal graph . Call realizable if there exists with some relative embedding and radius such that is consistent with the local pattern of (according to the “local pattern→vertex” encoding convention in the text).
3. Minimal Axioms (A0–A3)
A0 (Static Block) is the set of locally constrained models. A1 (Causal-Local) has finite neighborhood; reading uses acceptable leaves. A2 (Observation = Factor Decoding) Leaf-by-leaf reading with applied yields . A3 (Information Non-increase) For any window , .
4. Leaf-Language and Observational Equivalence
Fix and leaf family ,
5. Preliminary Lemmas
Lemma 5.1 (Complexity Conservation for Computable Transformation). If is computable, then
Lemma 5.2 (Describable Window Families). For -dimensional axis-aligned parallelotopes or regular windows described by parameters, .
Lemma 5.3 (Thick Boundary Coverage). For radius and time span , computing requires only the previous layer of within past input; i.e., covers all dependencies (propagation radius measured in ).
Lemma 5.4 (Factor Entropy Non-increase). If is a factor map, then .
Lemma 5.5 (Time Subaction Version SMB/Brudno). For -invariant and ergodic and time-slice cuboid family , where , and is a fixed finite set. Denote (temporal thickness), we have This is the one-dimensional SMB/Brudno theorem for time subaction or equivalently . The window shape must be time-slice cuboid family (or satisfy equivalent “time-uniform slicing” condition) to ensure cylinder sets are generated by iteration of the one-dimensional generating partition of the time subaction, making normalization match the action. If general is used, one can only guarantee that the limit with normalization is the action entropy , or recover the time entropy limit under additional uniform slicing/density assumptions. Furthermore, for fixed finite , the above limit equals ; taking recovers . If instead using with generating section families (hence corresponding generating partitions), the limit directly equals the complete (this case is a supplementary remark, not within the fixed premise of this lemma). 【Note】Only when is a generating partition for the time subaction (e.g., using generating section family ), does the limit equal the complete ; for fixed finite the limit is .
6. Main Theorems with Detailed Proofs (T1–T26)
T1 (Block–Natural Extension Conjugacy)
Proposition. If , then
Proof. Define , . By SFT constraint we have . Define inverse , . Clearly , , and . Continuity and Borel measurability follow from product topology and cylinder structure.
T2 (Unimodular Covariance; Complexity Density Invariance)
Proposition. For any shift-invariant ergodic measure and two sets of acceptable leaves (given by ), let . Assumptions: (i) Both and are time-slice cuboid Følner families, with spatial section being a fixed finite set independent of ; (ii) the two leaf families are given by primitive integral covector–time vector pairs with pairing constants being constants independent of . Then for -a.e. ,
Proof. The integer isomorphism preserves Følner property: if is Følner then so is , with (integer determinant ; here denotes the lattice image set , even if shape is non-axis-aligned, lattice point count remains equal). Under the time-slice cuboid family assumption, there exist constants depending only on (independent of ) such that leaf counts (temporal thickness) satisfy . Applying Lemma 5.5 to the factor system for each window family yields time entropy limits relative to respective observation partitions: and . If the two observation schemes are related by a finite-memory invertible block code isomorphism along the time subaction, they are equivalent and yield the same entropy rate; under this condition coordinate choice does not change the limit value.
T3 (Observation = Decoding as Semantic Collapse)
Proposition. is a factor map of the time subaction, inducing equivalence class . One observation selects a representative within the equivalence class; the underlying remains unchanged.
T4 (Information Upper Bound: Conditional Complexity Version)
where is the number of time layers traversed (consistent with in §2.4). 【Premise Note】The following upper bound holds under the single-step time dependence premise of §2.2; if the rule depends on past layers, change the past causal input boundary to the corresponding thick boundary at , replace with , and the rest of the reasoning remains unchanged.
Proof. Construct universal program :
- Input: Encoding of , encoding of window (including and geometric parameters), encoding of , and conditional string .
- Recursion: Generate layer-by-layer from layer according to time subaction. For any , compute via with required right-hand side either already generated from previous layer or from conditional boundary (Lemma 5.3). Generate by layers , avoiding dependency cycles. For each layer , first generate all cells needed for the forward closure of within the propagation cone (allowing temporary generation of values outside but within , ), finally restrict to .
- Decoding: Apply within according to protocol to obtain .
Program body is constant size, input length is ( for layer depth/alignment cost). By definition of prefix complexity, the upper bound follows.
T5 (Brudno Alignment and Factor Entropy)
Proposition. For fixed finite spatial section and time-slice cuboid family (where and satisfying window premise of Lemma 5.5), normalizing by temporal thickness (【Note】Only when is a generating partition, does the limit equal the complete ; for fixed finite it is ):
Proof. By Lemma 5.5 (time subaction version SMB/Brudno, window family shape matching normalization), the first limsup equality holds. For factor image, is computable transformation and factor entropy is non-increasing (Lemma 5.4), so the second limsup equality holds and does not exceed . Moreover, applying Lemma 5.5 to the factor system (same window premise), we get the limsup value equals for -a.e.; by the limsup equality also holds for -a.e. . If using generating partition (or growing section family ), the right-hand side can be directly written as .
T6 (Program Emergence: Macro-block Forcing; SB-CA TM)
Proposition. (Allowing finite higher-block representation/alphabet extension) There exists a macro-block forcing embedding scheme such that if the finite-type constraint family of this scheme is non-empty (extended SFT non-empty), then there exists (if using only higher blocks without alphabet extension, write ) that under decoder can be decoded to yield some (expected) run trace of Turing machine . If further assuming the embedding constraints are complete and without spurious solutions, we obtain “if and only if”.
Proof (Construction). Take macro-block size . Extend alphabet to (machine state, tape symbol, head movement, synchronization phase). At macro-block scale, implement transition via finite-type local constraints, and implement cross-macro-block synchronization via phase signals. Denote the extended SFT obtained from above finite-type constraints as , and denote the forgetting projection (if needing to relate extended configuration back to base). Decoder reads macro-block centerline to output tape content. If these finite-type constraint families are globally compatible (extended SFT non-empty), then by compactness we can take limit to obtain global configuration ; non-emptiness thus depends on compatibility premise, not automatically derived from compactness.
T7 (Program Weight Universal Semimeasure Bound)
Proposition. Let program codes be prefix-unambiguous, then for any decodable program , .
Proof. By Kraft inequality , universal semimeasure as weighted sum satisfies upper bound, constant depends only on chosen machine.
T8 (Section–Natural Extension Duality; Entropy Preservation)
Proposition. and are mutually section/natural extension dual, with equal time entropy.
Proof. By conjugacy of T1. Natural extension does not change entropy; conjugacy preserves entropy, so the conclusion holds.
T9 (Halting Witness Staticization)
Proposition. Under compatible embedding scheme of T6 (i.e., corresponding extended SFT non-empty), halts if and only if there exists and finite window such that visible pattern contains “termination marker” ; conversely likewise.
Proof. “If” direction: If halts at step , then macro-block center decoding output shows , forming finite visible pattern. “Only if” direction: If appears in visible layer, by local consistency backtrack to halting transition; construction ensures is not produced by other causes. Above equivalence all premise on global compatibility of embedding scheme (extended SFT non-empty).
T10 (Unimodular Covariance Information Stability)
Proposition. If window families satisfy , then under any integer transformation , the T4 upper bound and T3 semantics are preserved; window description complexity difference of transformed windows is , not involving data complexity or pointwise upper bounds.
Proof. By Lemmas 5.1–5.2, window description complexity is the shortest program length for generating window geometric parameters. Encoding of integer transformation and translation adds only constant; bounded distortion of thick boundary under is absorbed into . By measure-theoretic version of T2, data complexity density after normalization is coordinate-independent.
T11 (Model Set Semantics)
Proposition. Proof. By definition.
T12 (Computational Model Correspondence)
Proposition. (i) SB-CA and TM mutually simulate; (ii) Various CSP/Horn/-safe formulas can be equivalently embedded in EG-CA.
Proof. (i) By T6 and standard “TM simulates CA” gives bidirectional simulation. (ii) Convert each clause of radius to forbidden pattern set , obtain . Solution models are equivalent to models of (finite-type + compactness).
T13 (Leaf-Language -Automaton Characterization; Sofic Sufficient Condition)
Proposition. If (i) using path version or there exists such that under time subaction can via higher-block representation make cross-leaf consistency depend only on adjacent layers (time direction can be Markovianized); and (ii) decoder has kernel window with finite cross-leaf thickness, then is sofic (hence -regular), accepted by some Büchi automaton :
Proof (Construction). Under time direction finite-memory condition, take higher-block representation , encode finite state set into extended alphabet and implement transition via finite-type constraints. One cross-leaf reading corresponds to one automaton step. Acceptance condition is realized via local safety/regularity constraints (e.g., “infinitely often visit ” via loop memory bit). Thus obtain equivalent -language.
T14 (SBU Existence for Any Realizable Event)
Proposition. For realizable and acceptable , is non-empty.
Proof. Take finite window family consistent with , forming directed set by inclusion; finite consistency given by “realizable” and local constraints. By compactness (product topology) and Kőnig lemma, there exists limit configuration consistent with , hence non-empty.
T15 (Causal Consistent Extension and Paradox Exclusion)
Proposition. contains only restrictions of global solutions consistent with anchor ; contradictory events do not coexist.
Proof. If some simultaneously contains event contradictory to , then on it is both consistent and contradictory, violating consistency definition.
T16 (Time = Deterministic Advancement (Apparent Choice))
Proposition. Under deterministic and thick boundary conditions, each minimal positive increment advancement of is equivalent to deterministic advancement on the future consistent extension family; unique under deterministic CA.
Proof. By construction of T4, given previous layer and thick boundary, next layer values uniquely defined by ; if two different advancements exist at same layer both acceptable and mutually conflicting, then at some common cell produces inconsistent assignments, contradiction.
T17 (Multi-anchor Observers and Subjective Time Rate)
Proposition. Effective step size reflects chapter rhythm; different only changes reading rhythm, under time-slice cuboid Følner family premise with fixed or uniformly bounded spatial section, entropy rate normalized by temporal thickness is consistent.
Proof. Changing time subaction to is equivalent to “sampling” the subaction (). Measure entropy satisfies (version relative to chosen partition also holds) For time-slice cuboid , observation step count is (see §2.4), while normalization uses temporal thickness . Hence where . If using fixed finite section , should write and only when the above joined partition generates (or there exists finite-memory invertible block code isomorphism along time) can we write . Observation step count factor exactly cancels , entropy rate after normalization independent of choice. By Lemma 5.5, for -a.e. the two family density limits agree.
T18 (Anchored Graph Coordinate Relativization Invariance)
Proposition. Two embeddings if sourced from restrictions of same integer affine embedding , then on intersection domain after removing constant-radius boundary strip, differ only by integer affine and finite-radius relabeling; additional encoding/description overhead between two embedding protocols (for describable window families is ), not involving data complexity or entropy difference pointwise upper bound for observation sequences themselves.
Proof. There exist and translation such that holds on intersection domain. Finite radius difference corresponds to removing boundary strips. Window encoding in two coordinates adds only finite description of ; this is additional description cost for protocol conversion, absorbed into (Lemmas 5.1–5.2). Data complexity of observation sequences given coordinate-independence after normalization by measure-theoretic version of T2.
T19 (-Successor Determinism and Same-layer Exclusivity)
Proposition. Under deterministic , radius , if context of covers information needed to generate next layer, then unique exists; edge has exclusivity against same-layer alternatives.
Proof. Next layer values uniquely determined by local function of ; if two different same-layer alternatives can both continue and mutually conflict, then at some common cell produce inconsistent assignment, contradiction.
T20 (Compatibility Principle: Apparent Choice and Determinism Unified)
Proposition. Leaf-by-leaf advancement at operational level manifests as “representative selection”, while holistic static encoding is “unique consistent extension”; determinism holds, compatible with A3/T4.
Proof. By T14 global consistent extension exists; T15 excludes contradictory branches; T3 shows “observation = select representative in equivalence class”; T4/A3 ensure choice does not increase information. Hence apparent freedom and ontological determinism are consistent.
T21 (Information Non-increase Law: General CA and Observation Factor)
Proposition. Let be radius CA in dimensions, take any Følner window family (axis-aligned parallelotopes satisfy ). Define spatial information density (per cell) Then for each fixed and configuration , Note: This theorem is for -dimensional spatial configurations, normalized by voxel count. When applied to time subaction of spacetime SFT, should use leaf count normalization (see T5).
Proof. Thick boundary and propagation cone give dependency domain: there exists such that can be computably recovered from (see Lemma 5.3’s control). By computable transformation complexity upper bound, Følner property gives , taking yields . Factor decoding non-increase of information (A3, or computable transformation of Lemma 5.1), yields . Combining gives conclusion.
T22 (Information Conservation Law: Reversible CA)
Proposition. If is reversible and is also CA (reversible cellular automaton), then for each fixed and configuration , spatial information density (per cell) is conserved: with equality when or lossless factor conjugate to . If is shift-invariant ergodic measure, applied to time subaction of spacetime SFT , by conjugacy of T1 and entropy preservation under reversibility we know is invariant; spatial marginal distributions at each time satisfy stationarity ; this notation has no direct mixing with computation of . Hence -almost everywhere time direction information density is conserved.
Proof. By T21 applying to and respectively yields and , combining gives . Non-increase for given by A3. Measure-theoretic version by conjugacy and entropy preservation under reversibility (T8), combined with Brudno theorem of leaf count normalization (Lemma 5.5).
T23 (Observation Pressure Function and Information Geometry)
【Source Mapping】For each visible category , let be the a priori weight (or count weight) for decoded unit time slice, be the fixed vector of corresponding leaf-by-leaf statistical features (e.g., frequency vector/energy cost); when taking limit over window family , are these observation statistics reweighted by exponential family.
Definition. To avoid confusion with leaf family notation in §2, below we use for parameters. Take a set of visible categories (given by decoding/counting rules) indexed (here take ), with weights and vectors . Define In the domain where converges, and satisfying standard conditions of local uniform convergence allowing sum/derivative interchange, we have Hence is convex, its Hessian being the Fisher information. Along direction , If we further denote Shannon entropy , then
Proof Sketch. By standard differentiation of log-sum-exp (under aforementioned local uniform convergence condition allowing interchange of sum and differentiation), obtain gradient and Hessian expressions; directional second derivative is variance. Entropy identity obtained by substituting into and expanding.
T24 (Phase Transition/Dominance Switching Criterion; Finite Version)
Proposition. Let amplitude , and define If , then unique index exists such that and hence no dominance switching; dominance switching can only occur in thin band , whose skeleton is hyperplane family .
Proof. By definition of , , hence , summing yields conclusion.
T25 (Directional Pole = Growth Exponent; Countable Infinite Version)
Proposition. Fix direction and decomposition . Let index family be countably infinite, and assume there exists such that . Let weighted cumulative distribution along have exponential–polynomial asymptotics as (and assume has bounded variation and moderate growth) and has bounded variation and satisfies moderate growth. Then its Laplace–Stieltjes transform converges for , and can be meromorphically continued to , with poles of order at most at . In particular, the real part of the rightmost convergence line equals the maximal growth exponent . If , the above sum is finite and pole case does not occur.
Proof Sketch. Belongs to classical Laplace–Stieltjes Tauberian dictionary: integrate segment-by-segment for exponential–polynomial asymptotics using integration by parts/residue control to obtain pole locations and orders; absolute convergence domain critical value given by .
T26 (Reversible vs Non-reversible: Criterion and Consequences)
Proposition (Criterion). Global map is CA-reversible it is bijective and is also CA (there exists inverse local rule of finite radius). On , Garden-of-Eden theorem gives: surjective pre-injective; reversibility equivalent to simultaneously surjective and injective.
Proposition (Consequences). If is reversible, then:
- Information density conserved: (see T22);
- Non-increase under observation factor: ;
- No true attractors: no unidirectional attraction compressing open sets into proper subsets (each point has bidirectional orbit, may have periods but no information dissipation into irreversible collapse to single fixed point).
Proof. Criterion is standard result; consequences 1–2 immediately follow from T21–T22; consequence 3 given by reversibility and bidirectional reachability (if true attractor exists contradicts bijection).
7. Constructions and Algorithms
7.1 From Rule to SFT: From local consistency of derive forbidden pattern set , obtain .
7.2 From SFT to Eternal Graph: Use allowed patterns as vertices, legal tilings as edges to construct ; use level sets of to give leaf ordering.
7.3 Decoder Design: Choose kernel window , block code ; define leaf-by-leaf reading protocol stratified by .
7.4 Macro-block Forcing Program Box: Self-similar tiling embeds “state-control-tape” and can be decoded (see T6).
7.5 Compression-Entropy Experiment (Reproducible) Note: Here normalizing by for experimental convenience; theoretically for time subaction entropy should use temporal thickness normalization (see T5, requires time-slice cuboid family). To align with time entropy of T5, should keep fixed and simultaneously report ; if varies or using general Følner windows, then reflects scale rather than time entropy.
7.6 Constructing SBU from Event Node (Forcing Domain Propagation) Input: Realizable , orientation , tolerance . Steps: Using and local consistency as constraints, perform bidirectional constraint propagation/consistency checking, compute the set of cells forced by on growing , and leaf-by-leaf extend according to until locally stable. Output: Forcing domain approximation of on and information density curve.
7.7 Anchored Graph Relative Coordinate Construction: BFS stratification (by /spatial adjacency) → relative embedding → radius consistency verification and equivalence class merging.
7.8 From CSP / -Safe Formula to CA: Given CSP or Horn/-safe formula , for each clause of radius generate forbidden pattern , define : if necessary use finite control layer to maintain synchronization (without changing equivalence class).
7.9 From -Automaton to Leaf-Language: Given Büchi automaton , choose and construct extended SFT such that:
- encodes cross-leaf observations as -words;
- Implement via finite-type synchronization conditions: overlay finite-type “control/synchronization layer” on (or equivalently first take encode into alphabet and simulate transition via local constraints), obtain extended SFT ;
- Acceptance condition expressed via safety/regularity constraints. Thus
8. Typical Examples and Toy Models
Rule-90 (Linear): Three perspectives consistent; SBU of any anchor uniquely recursed by linear relations; complexity density after Følner normalization consistent; leaf-language is -regular.
Rule-110 (Universal): Macro-block forcing embeds TM (T6); halting witness corresponds to local termination marker (T9); leaf-by-leaf advancement excludes same-layer alternatives (T19–T20).
2-Coloring CSP (Model Perspective): Graph 2-coloring local constraints → forbidden patterns; anchor certain node color and leaf-by-leaf unfold, forming causal consistent event cone; leaf-language under appropriate conditions is -regular.
2×2 Toy Block (Anchor–SBU–Decoding–Apparent Choice) (XOR, periodic boundary). Anchor fixes local pattern at . By T4’s causal thick boundary and leaf-by-leaf advancement recurse layer, obtain unique consistent extension; same-layer points contradicting anchor excluded (T19). Take reads out 2D block as visible binary string—“next step” only reads, does not increase information (A3).
9. Extension Directions
- Continuous Extension (cEBOC): Generalize via Markov symbolization/compact alphabet SFT; restate complexity/entropy and clarify discrete→continuous limit.
- Quantum Inspiration: Simultaneously describe multiple compatible SBUs of same static block , measurement corresponds to anchor switching and locking + one -semantic collapse; provides constructive foundation for information and computation based quantum interpretation (no state-vector assumption).
- Categorical/Coalgebra Perspective: as coalgebra; anchored SBU as coalgebra subsolution injecting initial values; leaf-language as automaton coalgebra homomorphism image.
- Robustness: Fault-tolerant decoding and robust windows under small perturbations/missing data, ensuring observable semantic stability.
10. Observer, Apparent Choice, and Time Experience (RPG Metaphor)
Level Separation: Operational level (observation/decoding/leaf-by-leaf advancement/representative selection) and Ontological level (static geometry/unique consistent extension). Compatibility Principle: View as RPG’s complete data and rules; leaf-by-leaf advancement like unlocking story according to preset chapter rhythm . Player “choice” is to select representative among same-layer compatible branches and exclude other branches; story ontology (static block) already written, choice does not generate new information (A3), compatible with determinism (T20). Subjective Time Rate: Effective step size embodies “chapter rhythm”; entropy rate after Følner normalization consistent (T2/T5/T17).
11. Conclusion
EBOC under minimal axioms unifies timeless geometry (eternal graph/SFT), static block consistent body, and leaf-by-leaf decoding observation-computation semantics, forming complete chain from model/automaton to visible language. This paper provides detailed proofs of T1–T26, establishing information non-increase law (T4/A3), Brudno alignment (T5), unimodular covariance (T2/T10), event cone/static block unfolding (T14–T16), multi-anchor observers and coordinate relativization (T17–T18), and other core results, with reproducible experimental and construction protocols (§7).
Appendix A: Terminology and Notation
- Semantic Collapse: Information factorization of .
- Apparent Choice: Advancement by minimal positive increment of , representative selection among same-layer alternatives; only changes semantic representative, does not create information.
- Time-Slice Cuboid Family: Windows of form , where is spatial section, is temporal thickness; compatible with one-dimensional Følner theory of time subaction .
- Leaf Count (Temporal Thickness): For time-slice cuboid , define as number of leaf layers traversed, corresponding to observation step count.
- Primitive Integral Covector: , ; its pairing with actual time direction as defines leaf-by-leaf advancement step size.
- : Integer invertible matrix group (determinant ).
- Følner Family: Window family .
- Cylinder Set: .
- Entropy Normalization Correspondence: compatible with temporal thickness normalization (time-slice cuboid family); compatible with voxel count normalization (general Følner family).
References (Indicative)
- A. A. Brudno (1983). Entropy and the complexity of trajectories.
- D. Lind & B. Marcus. Symbolic Dynamics and Coding.
- E. F. Moore (1962); J. Myhill (1963). Machine models / Reversible CA.
- M. Li & P. Vitányi. An Introduction to Kolmogorov Complexity.
- R. Berger; J. Kari. Tilings, Undecidability, SFT.
- J. R. Büchi; W. Thomas; D. Perrin & J.-E. Pin. -Automata and -Languages.
- D. Ornstein & B. Weiss; E. Lindenstrauss (SMB / pointwise ergodic for additive group actions).