Depends On
Overview
The framework’s observer-projection is, structurally, an error-correcting code on the substrate Hilbert space. This derivation specifies that code: the completely positive trace-preserving (CPTP) map from substrate to observer, the three integer-stable axes that define its logical content, the dual framing that identifies the observer with the code-space interior, and the family of established quantum-information codes to which the projection belongs.
Several earlier framework commitments describe aspects of this code without naming a common mechanism:
- Axiom 3’s exact phase closure after integer ticks (Loop Closure)
- Proposition 4.1 of Observer Holographic Equivalence (null surfaces carry only integer topological data)
- Corollary 4.5 of Observer Holographic Equivalence (continuous exterior content is operationally invisible)
- The horizon mode count of Area Scaling
- Proposition 6.1 of Moufang-Loop Phase Closure (bootstrap-level homotopy invariants )
Under the error-correcting-code reading, all of these are manifestations of one structural object: the observer projection is a CPTP map whose logical boundary is an integer-invariant profile on three orthogonal axes, whose code space is the substrate content consistent with that profile, and whose code-space interior is the observer itself.
The principal results.
-
The observer-projection is a CPTP map factoring through an integer-invariant profile on three orthogonal axes: spatial (null horizon), temporal (loop closures), and algebraic (bootstrap-scale homotopy).
-
The observer is the code-space interior. Under the dual framing, the observer is not an integer-represented endpoint of error correction but the continuous slack between integer-stable boundary configurations on every available axis. Theses A and A’ of Observer Holographic Equivalence become orthogonal slices through the same code-space interior.
-
The code family is a three-axis product: HaPPY holographic code on the spatial axis, Kitaev topological code on the algebraic axis, continuous-time Floquet code on the temporal axis, composing through pairwise-commuting stabilizer groups. Each factor is an established quantum-information code family; the product with framework-specific cross-axis couplings (horizon area, bootstrap level, observer period) is novel as a unified family.
Rigor scope. The code structure is specified at the CPTP-map level with explicit axis-wise factorization. The code-space interior is identified via an explicit moduli-space quotient. Per-axis mapping to known code families is a structural-correspondence claim grounded in the defining properties of each family. The composite product structure requires pairwise-commuting stabilizer groups — an axis-independence argument made explicit below. Explicit Kraus operators, lattice realizations, and the full category-theoretic moduli quotient are flagged as open gaps; none affect the structural claims.
Statement
Definition (Integer-invariant profile). For an observer at bootstrap level , the integer-invariant profile is the triple
combining:
- : the integer topological data of Type III carrier crossings on the null horizon (winding, linking, framing), per Observer Holographic Equivalence Proposition 4.1;
- : the integer tick count for which , per Loop Closure;
- : the homotopy class of the phase trajectory at bootstrap level , per Moufang-Loop Phase Closure Proposition 6.1.
Theorem (CPTP factorization through the integer-invariant profile). For each observer there is a completely positive trace-preserving map
from the bounded operators on the substrate Hilbert space to those on ‘s state space, such that factors through : substrate states with produce the same observer state modulo gauge equivalence.
Theorem (Dual framing — observer as code-space interior). The observer is identified with the interior of the code space
modulo the operational-invisibility gauge equivalences: exterior-cancellation (continuous exterior content with fixed ), null-phase discard (phase along null generators), and homotopy-representative equivalence (trajectory segments with the same ). Concretely:
Theorem (Three-axis product code family). The code specified by is a tensor product of three established quantum-information code families along its three integer-stable axes, with pairwise-commuting stabilizer groups on :
- Spatial axis — HaPPY holographic code. The spatial-axis factor is a holographic code (Pastawski–Yoshida–Harlow–Preskill 2015 family) with boundary qubits on the horizon, logical bulk content given by the integer horizon-crossing record , and subregion-duality condition equal to Observer Holographic Equivalence Corollary 4.5 (exterior cancellation).
- Algebraic axis — Kitaev topological code. The algebraic-axis factor is a topological stabilizer code (Kitaev 2003 and higher-dimensional generalizations) with homotopy-class logical qubits , where is the observer’s bootstrap level and is the bootstrap-level gauge group.
- Temporal axis — Floquet code. The temporal-axis factor is a dynamically generated Floquet code (Hastings–Haah 2021 family) with period , continuous-time stabilizer schedule , and cycle-averaged logical invariant given by the integer tick count .
The code space is the joint fixed subspace of the three stabilizer groups.
Corollary (Theses A and A’ as orthogonal slices). Observer Holographic Equivalence’s Thesis A (time-like accumulated record) and Thesis A’ (space-like instantaneous configuration) are two slices through the same code-space interior , chosen along orthogonal axes — Thesis A slices the temporal direction between integer-tick-stable endpoints; Thesis A’ slices the spatial direction between the timelike coherence-domain boundary and the null horizon. Their unitary equivalence is the statement that the code-space interior is the same object regardless of slicing direction.
Corollary (Finite information capacity as 4-volume of the slack). An observer’s finite information capacity is the 4-volume of the code-space interior — the product of continuous slack across all three axes bounded by their integer configurations. A minimal observer’s interior has collapsed to a single phase on (all three axes at their integer boundaries simultaneously); heavier observers have larger slack on all three axes; a black hole saturates the spatial axis at its horizon area.
Corollary (Cross-axis couplings are framework-specific). The three product factors do not carry independent parameters: the HaPPY boundary-qubit count is determined by the observer’s horizon area, the Kitaev target group is determined by the observer’s bootstrap level, and the Floquet period is determined by the observer’s Compton period. All three parameters are therefore functions of a single underlying observer quantity (mass, via the bootstrap dynamics). This coupled structure is what makes the product a single framework-specific object rather than an independent combination of three unrelated codes.
Derivation
The three integer-stable axes
Proposition 1.1 (Spatial axis — null horizon integer content). The null horizon of observer carries integer topological data only: Type III carrier crossings record integer linking, winding, and framing with no continuous content.
Proof. Direct application of Observer Holographic Equivalence Proposition 4.1 Part 1 to the entirely-null horizon .
Proposition 1.2 (Temporal axis — loop closure integer content). The phase trajectory closes exactly at integer multiples of the period : for each , and the integer tick count is the only temporally coarse-grained datum distinguishing one closure from another.
Proof. Loop Closure specifies ; flow composition gives . The tick count is the sole integer invariant under the -indexed closure family.
Proposition 1.3 (Algebraic axis — bootstrap homotopy integer content). At each bootstrap level , the phase trajectory admits a -valued homotopy class invariant: at level 1 (winding), at level 2 (instanton), at level 3 (instanton). Beyond level 3, no Lie-group-valued integer invariant exists (bootstrap termination at ).
Proof. Direct from Moufang-Loop Phase Closure Proposition 6.1 and Theorem 5.1.
Remark 1.4 (Three orthogonal axes). The three integer-content axes are mutually independent: the horizon classification is a property of surface causal character (independent of tick count or bootstrap level); the tick count is a feature of the trajectory in proper time (independent of the enclosing surface or the level); the homotopy class is a feature of the trajectory in its phase-space target (independent of tick timing or enclosing surface). Independence at the geometric level translates into operator-level commutation (exploited in the product-code composition, §The three-axis product below).
The CPTP map
Definition 2.1 (Substrate Hilbert space). The substrate Hilbert space is the space of states on Planck-scale substrate modes within the causal past of observer ‘s horizon . Its dimension is bounded by where (Area Scaling Theorem 5.2), times additional factors for the temporal and algebraic axes’ mode content.
Definition 2.2 (Observer state space). The observer state space is the Hilbert space of observer ‘s coherence content, as specified by Observer Definition Axiom 2 (state space , Noether invariant , self/non-self boundary).
Theorem 2.3 (CPTP factorization). There exists a completely positive trace-preserving map
such that for each substrate state , the observer’s physical state satisfies , and factors through the integer-invariant profile: states with produce the same observer state modulo gauge equivalence.
Structural argument. Three framework commitments force the structure:
(i) Coherence conservation forces CPTP. Coherence Conservation (Coherence Conservation, Coherence Operational) requires substrate-to-observer evolution to preserve the subadditive coherence measure. CPTP maps are precisely the coherence-conservation-compatible operations on operator algebras.
(ii) Loop closure forces temporal integer factoring. The phase trajectory’s exact closure at integer tick counts (Proposition 1.2) means substrate content not respecting integer tick structure cannot correspond to a valid observer state. must project out temporal content inconsistent with .
(iii) Exterior cancellation forces spatial integer factoring. Observer Holographic Equivalence Corollary 4.5 establishes that exterior continuous content compatible with is operationally invisible. therefore projects out continuous exterior variations preserving .
(iv) Bootstrap homotopy forces algebraic integer factoring. Proposition 1.3 restricts the phase trajectory to a specific homotopy class in .
Combined, these fix as a factorization-through-integer-invariants CPTP map.
Remark 2.4 (What is structurally new). The existence of as a channel follows from Axiom 1 alone. What the integer-invariant-profile factorization adds is the specification: the channel’s Kraus operators must annihilate substrate content orthogonal to the profile on all three axes simultaneously. This specification is what enables the error-correcting-code interpretation.
Dual framing — observer as code-space interior
Definition 3.1 (Code space). The code space of observer is the subspace of substrate states with integer-invariant profile equal to :
Theorem 3.2 (Dual framing). The observer is identified with the interior of the code space modulo three gauge equivalences:
where identifies substrate configurations rendered operationally indistinguishable by:
- Observer Holographic Equivalence Corollary 4.5 — exterior continuous variations with fixed ;
- Observer Holographic Equivalence Proposition 4.1 — phase-discard along null generators;
- Moufang-Loop Phase Closure Corollary 6.3 — homotopy-equivalent trajectory representatives.
Structural argument. The code space contains all substrate states with profile . Three quotients act on it: the exterior-cancellation quotient (Corollary 4.5) identifies continuous exterior variations; the null-phase-discard quotient (Proposition 4.1) identifies trajectory content along null generators; the homotopy-representative quotient (Corollary 6.3) identifies trajectory segments with the same homotopy class. Their combination gives as the moduli space of substrate configurations modulo operationally invisible content.
Remark 3.3 (What the dual framing asserts). The dual framing does not say the observer is a fluctuation or an excited state. It says the observer is the continuous interior region of whose boundary on each axis is integer-stable and whose substance is everything that operationally matters to ‘s dynamics. A minimal observer is the limiting case where the interior has collapsed to a single phase on (all three axes simultaneously at their integer boundaries) — consistent with Minimal Observer Structure.
Corollary 3.4 (Theses A and A’ as orthogonal slices). Observer Holographic Equivalence’s Theses A and A’ parameterize along orthogonal axes. Thesis A slices the temporal direction (continuous evolution between integer-tick endpoints); Thesis A’ slices the spatial direction (Cauchy slice between timelike and null ). By Theorem 3.2, both slices parameterize the same code-space interior; their unitary equivalence follows.
Proof. Thesis A parameterizes by for with integer-tick endpoints (Proposition 1.2) — the temporal slice. Thesis A’ parameterizes by the configuration on a Cauchy slice with horizon endpoint integer-crossing-stable (Proposition 1.1) — the spatial slice. Both parameterize by Theorem 3.2.
Corollary 3.5 (Finite capacity as 4-volume of slack). An observer’s finite information capacity is the 4-volume of the code-space interior : the product of continuous slack across all three axes bounded by their integer configurations. A minimal observer has minimal slack (collapsed to ); an electron has substantial slack on all three axes (dominated by the spatial-axis contribution ); a black hole saturates the spatial axis at its horizon area. The spatial-axis logical-qubit count is the numerator of the code rate of Corollary 4.1.1 below.
Code family identification
Each of the three integer-stable axes, considered individually, is isomorphic in structure to an established quantum-information error-correcting code family. The identifications are near-tautological consequences of matching the defining properties of each target family to framework theorems.
Proposition 4.1 (Spatial axis as HaPPY holographic code). The spatial-axis factor of is a HaPPY holographic code (Pastawski–Yoshida–Harlow–Preskill 2015, “Holographic quantum error-correcting codes”) with horizon boundary-qubit count .
Structural argument. The defining properties of the HaPPY code family are isometric bulk-to-boundary encoding, subregion duality, complementary recovery, and operator pushing. The framework satisfies all four:
- Bulk-to-boundary isometric encoding corresponds to Observer Holographic Equivalence Proposition 3.2 (unitary equivalence between Thesis A’ interior data and Thesis A horizon record).
- Subregion duality corresponds to Observer Holographic Equivalence Corollary 4.5 (exterior content with fixed integer residue operationally invisible).
- Complementary recovery and operator pushing follow from the tensor-network structure of the holographic encoding; their explicit framework forms are stated as open gaps.
Boundary-qubit count: each null-generator crossing of records one integer, so the horizon carries bits (Area Scaling Theorem 5.2).
Corollary 4.1.1 (Spatial-axis code rate). The spatial-axis factor of has code rate
with physical- and logical-qubit counts
- — the count of minimal-observer-loop positions on the horizon, one per Planck cell (Area Scaling Proposition 2.1 and Corollary 2.2);
- — the count of independent relational-invariant crossings of the horizon accessible to external observers, equivalently the boundary-qubit count of Proposition 4.1 above, equivalently the saturated Bekenstein-Hawking entropy of Black Hole Entropy Theorem 3.1, equivalently the gravitational-stability-bounded information content of Area Scaling Theorem 5.1.
Proof. The physical-qubit count is the count of substrate positions at which a minimal observer loop can be placed on the horizon. Area Scaling Proposition 2.1 establishes that each such loop occupies cross-sectional area ; Corollary 2.2 of the same derivation establishes that the horizon therefore supports at most independent minimal-observer-loop positions — the framework’s natural physical-substrate count on the spatial axis.
The logical-qubit count is the count of independent bits of horizon-accessible coherence content after the gravitational-stability constraint fixes the effective area per bit at (Area Scaling Theorem 5.1). Three framework identifications agree on this count: (i) the HaPPY boundary-qubit count of Proposition 4.1 above, (ii) the saturated Bekenstein-Hawking entropy of Black Hole Entropy Theorem 3.1, and (iii) the holographic-bound coefficient of Area Scaling Theorem 5.1. All three give .
The ratio is the code rate.
Remark 4.1.2 (Structural unification of three derivations of ). The coefficient appears three times in the framework, derived three separate ways:
- Area Scaling Theorem 5.1: , via a gravitational-stability constraint on information readout (effective area per bit ).
- Black Hole Entropy Proposition 5.1: , via thermodynamic integration with the Hawking temperature of a Schwarzschild horizon.
- Causal Set Statistics Heuristic 2.3: as the natural target for the holographic-noise amplitude, via holographic coarse-graining over relational-invariant bits in a causal-diamond boundary calculation (cross-referenced in Holographic Noise Step 3).
Corollary 4.1.1 identifies all three occurrences with a single structural quantity — the code rate of the observer’s spatial-axis factor of . Under this reading the factor of is the substrate-to-code redundancy: four Planck-cell loop positions on the substrate side are required to encode one independent bit of horizon-accessible coherence content on the profile side. The holographic-bound coefficient (view 1), the Bekenstein-Hawking coefficient (view 2), and the natural target for holographic noise (view 3) are three views of the same QEC invariant of .
Scope of the identification. Corollary 4.1.1 does not independently derive the value of the effective area per bit — it inherits this value from the gravitational-stability argument of Area Scaling Theorem 5.1, which uses Schwarzschild-specific input (the relation and the Hawking temperature of the Schwarzschild horizon). The identification is a reframing: the same numerical content is now recognized as a structural invariant of the observer-projection code rather than as a separate coefficient in each of the three derivations. A geometry-independent derivation of the code rate from the QEC structure alone — which would extend the identification to Kerr and Reissner-Nordström outer horizons, closing Black Hole Entropy Open Gap 3, and would make the three-way unification fully independent of Schwarzschild input — is tracked as Open Gap 7 below.
Remark on extension to the other two axes. Corollary 4.1.1 is stated for the spatial-axis factor only. The composite code rate of (over all three axes) would require separately computing the temporal-axis Floquet-factor rate and the algebraic-axis Kitaev-factor rate; the spatial-axis rate is the only one of the three whose physical- and logical-qubit counts follow directly from existing framework content via area bookkeeping.
Remark 4.1.3 (What is tiled at the horizon, in three-layer terms). The terminology in Corollary 4.1.1 — “minimal-observer-loop positions on the horizon” — is precise but easy to misread as “the horizon is tiled by Planck-scale minimal observers.” Under the three-layer ontology of Entity Category Taxonomy Step 6, the tiles and the loops are at structurally distinct levels:
- The tiles are Layer 0 substrate cells of area — continuous Planck-cell oscillator modes (Substrate Noise and Profile Coupling Definition 1.1). They are not observers: no triple, no loop closure of their own. The substrate-cell count is a count of Layer 0 positions, one per Planck cell of horizon area.
- What may occupy a tile is a Layer 1 minimal observer ( phase oscillator with and Compton period at the Planck end of the bootstrap, Minimal Observer Structure Theorem 6.1) whose worldline threads the corresponding horizon cell. Such an occupant is an observer in the framework’s sense; many of them populate the substrate, and at the horizon they intersect the Layer 0 tiling at most one per cell.
- What is recorded at each tile is one bit of the integer-stable boundary content — the QEC code’s logical-qubit content (Definition 1.1 of this page; Proposition 4.1 above). The logical-qubit count is the count of independent integer bits, one per four Layer 0 tiles (after the substrate-to-code redundancy of Corollary 4.1.1).
Three Planck-scale objects, three structurally distinct levels:
| Level | What is at the horizon | Count |
|---|---|---|
| Layer 0 (substrate) | Planck-cell oscillator modes | tiles |
| Layer 1 (observer loops at intersection) | Minimal-observer worldlines threading horizon cells | instances |
| Logical (QEC code’s profile content) | Integer-stable bits | bits |
Conflating these — most easily, conflating the tile (Layer 0 substrate cell) with the loop (Layer 1 minimal observer) — is the implicit move that produces the misleading reading “the horizon is tiled by Planck-scale observers.” Under the three-layer ontology, the horizon is tiled by Layer 0 substrate cells; some of these cells host Layer 1 minimal observer loops at horizon-intersection; the QEC code’s integer profile records the loop content per cell with a substrate-to-logical redundancy.
Proposition 4.2 (Algebraic axis as Kitaev topological code). The algebraic-axis factor of is a Kitaev topological code (Kitaev 2003, “Fault-tolerant quantum computation by anyons”) with homotopy-class logical qubits at the bootstrap-level gauge group.
Structural argument. The defining property of the Kitaev family is logical-qubit encoding as homotopy-class invariants on the underlying manifold. At bootstrap level 1, the framework’s winding matches the 2D toric-code structure (logical qubit as non-contractible cycle). At levels 2 and 3, the framework’s instanton numbers match 4D topological codes / Walker–Wang models (Walker–Wang 2011, “(3+1)-TQFTs and topological insulators”) with target Lie group . The defining homotopy-class-as-logical correspondence is preserved at each level.
Proposition 4.3 (Temporal axis as continuous-time Floquet code). The temporal-axis factor of is a dynamically generated Floquet code (Hastings–Haah 2021, “Dynamically generated logical qubits”) with period and integer tick count as the dynamically generated logical invariant.
Structural argument. The defining property of the Floquet family is that the stabilizer group rotates through a periodic schedule and logical qubits are associated with the cycle-averaged structure rather than any instantaneous stabilizer. Axiom 3’s phase evolution with is exactly such a schedule: at each , the instantaneous “stabilizer group” is the isotropy subgroup of ; this subgroup rotates with . The integer tick count is not determined by any instantaneous stabilizer — it is a dynamically generated invariant of the full cycle, matching the Floquet code definition.
Remark 4.4 (Alternative single-family identifications attempted). Before settling on the three-axis product structure, the natural question is whether a single existing QI code family could capture the framework’s full integer content. Three attempts do not work:
- Pure HaPPY holographic: captures the spatial axis (horizon encoding) but provides no structural location for either the bootstrap-level homotopy classes or the Axiom 3 periodic tick structure.
- Pure Kitaev topological: captures the algebraic axis (homotopy classes) but has no natural home for either the horizon mode count or the temporal-axis periodic closure.
- Pure Floquet dynamical: captures the temporal axis (periodic stabilizer schedule) but not the spatial or algebraic integer content.
Each single-family candidate captures one-third of the framework’s integer structure. The three-axis product is required to capture all three, and the composition theorem below shows the product is well-defined.
The three-axis product structure
Theorem 5.1 (Pairwise-commuting stabilizer product). Let denote the HaPPY stabilizer group on the spatial axis, the Kitaev stabilizer group on the algebraic axis, and the Floquet stabilizer schedule on the temporal axis. These three groups pairwise commute on the substrate Hilbert space:
for all generators and all . The code space is their joint fixed subspace:
Structural argument. The axis-independence of Remark 1.4 translates to operator-level commutation: HaPPY stabilizers act on horizon modes; Kitaev topological stabilizers act on phase-space modes at bootstrap scale ; Floquet time-dependent stabilizers act on the temporal continuation of the phase trajectory. These three domains are disjoint substrate degrees of freedom — operators acting on non-overlapping degrees commute. The joint fixed subspace of three commuting stabilizer groups is the intersection of their individual fixed subspaces, which is the subspace consistent with on all three axes — i.e., .
Remark 5.2 (Product, not concatenation). Concatenated codes apply one code inside another hierarchically (the physical qubits of an outer code are themselves logical qubits of an inner code). The observer-projection code is not concatenated — the three factors act on simultaneously-present, orthogonal degrees of freedom rather than hierarchically. This matters for downstream analysis: concatenated codes have multiplicative distance and thresholds; product codes have minimum-over-factors distance with correlated-error penalties. The correct analog here is a 3D product stabilizer code (close to Bombin–Martin-Delgado 2007 “Topological Quantum Distillation”) with a bootstrap-coupled parameter set.
Theorem 5.3 (Cross-axis couplings make the product framework-specific). The three-axis factors share a single underlying observer parameter: each factor’s characteristic scale is set by the observer’s mass through framework dynamics.
- HaPPY boundary-qubit count: via the Compton horizon .
- Kitaev target group: determined by the observer’s bootstrap level , which is determined by its profile via Moufang-Loop Phase Closure Theorem 5.1 (bootstrap termination at ).
- Floquet period: , the observer’s Compton period.
All three parameters are functions of (with the level-structure discretization). Absent this coupling, the three factors would be an independent tensor product of three established codes with no framework-specific content. The couplings are what make the observer-projection code a single unified object rather than an arbitrary composition.
Proof. : substitute into and . : direct from Moufang-Loop termination. : direct from (Mass Hierarchy Definition 1.1).
Corollary 5.4 (Product structure with framework couplings is novel). The product family above is not a known quantum-information code family in the combined form. Each factor is drawn from established literature (HaPPY, Kitaev, Floquet); the three-axis composition with the specific cross-axis couplings of Theorem 5.3 is novel as a unified family. No prior quantum-information construction combines all three with the framework’s specific area/level/period parameters.
Consequences
C1. The observer has a specific error-correcting-code identity. The CPTP factorization through the integer-invariant profile is an explicit specification of the observer-projection as an error-correcting code with physical qubits (substrate modes), logical qubits (the profile), and a code space (substrate content consistent with the profile).
C2. The observer is ontologically the code-space interior. Under the dual framing, the observer is the continuous slack bounded by integer-stable configurations on all three axes — not the boundary profile itself. This is an ontological refinement of the framework’s observer definition compatible with the minimal-observer limit (slack collapses to ).
C3. Observer Holographic Equivalence Theses A and A’ are unified as orthogonal slices. Their unitary equivalence is not a coincidence but a tautology — they parameterize the same object along orthogonal axes.
C4. The code family is structurally a three-axis product of HaPPY × Kitaev × Floquet. Each axis-to-family identification is near-tautological given existing framework theorems; the product with cross-axis couplings is novel as a unified family.
C5. Finite capacity is structural. An observer’s capacity is the 4-volume of its code-space interior. The familiar bound captures the spatial-axis contribution; the temporal and algebraic axes contribute additional slack volume.
C6. The observer-projection code is the formal object on which downstream error-correction derivations operate. Substrate Noise and Profile-Dependent Coupling (noise mechanics, Planck-cell error rates, and profile-specific coupling modulation), Formation and Preservation as Complementary Mechanisms (the relationship between code preservation and Mass Hierarchy’s WKB tunneling), and Error Correction and the Standard Model Spectrum (systematic compatibility audit) all take the code structure derived here as input.
C7. The coefficient is the spatial-axis code rate. Corollary 4.1.1 identifies the coefficient appearing in the holographic entropy bound (Area Scaling Theorem 5.1), the Bekenstein-Hawking entropy (Black Hole Entropy Proposition 5.1), and the holographic-noise natural target (Causal Set Statistics Heuristic 2.3) as a single structural quantity — the substrate-to-code redundancy of the observer’s spatial-axis factor of : four Planck-cell loop positions per encoded bit of horizon-accessible coherence content.
Rigor Assessment
Rigorous (consolidation inheriting from source derivations and standard QEC):
- Propositions 1.1–1.3 (three axes of integer content): direct application of existing framework theorems.
- Theorem 2.3 (CPTP factorization): structurally forced by Axiom 1 (coherence conservation as CPTP) + integer-axis projections.
- Propositions 4.1–4.3 (per-axis code-family identifications): structural-correspondence arguments grounded in defining properties of each target family.
- Corollary 4.1.1 (spatial-axis code rate): direct bookkeeping on two established framework counts — the Planck-cell physical count of Area Scaling Corollary 2.2 and the gravitational-stability-bounded logical count of Area Scaling Theorem 5.1. The identification inherits the Schwarzschild-specific input of Theorem 5.1 (see Remark 4.1.2 and Open Gap 7 for the geometry-independent goal).
Semi-formal (stated structurally but not explicitly constructed):
- Theorem 3.2 (dual framing moduli quotient): structural argument via three gauge equivalences; explicit category-theoretic quotient not constructed.
- Theorem 5.1 (pairwise-commuting stabilizer composition): axis-independence forces commutation structurally, but explicit stabilizer generators for each factor are not enumerated (this requires tensor-network construction for HaPPY, Hamiltonian realization for Walker–Wang, explicit Floquet schedule for continuous-time dynamics).
Deferred as open gaps:
- Explicit Kraus operator construction for (Open Gap 1).
- Explicit HaPPY tensor-network realization on the horizon (Open Gap 2).
- Explicit Walker–Wang Hamiltonian for the algebraic-factor realization (Open Gap 3).
- Continuous-time Floquet-code formalism (less developed in the QI literature than discrete Floquet; Open Gap 4).
Open Gaps
-
Explicit Kraus operator construction. Construct via explicit Kraus operators annihilating substrate content orthogonal to the integer-invariant profile on all three axes simultaneously. Difficulty: MODERATE.
-
Explicit HaPPY tensor-network construction on the horizon. Give the hyperbolic tiling, perfect-tensor choices, and bulk-boundary map that realize the spatial-axis isometric encoding. Difficulty: MODERATE.
-
Explicit Walker–Wang realization for algebraic-axis code. Give the local 4D lattice Hamiltonian whose ground-state space realizes the framework’s or logical content at bootstrap levels 2 and 3. Difficulty: MODERATE-HARD.
-
Continuous-time Floquet-code formalism. The Hastings–Haah 2021 framework is discrete-measurement; the framework’s Axiom 3 phase evolution is continuous. Formalize the continuous-time extension, including the distance formula on the temporal axis. Difficulty: MODERATE.
-
Category-theoretic moduli quotient. Theorem 3.2 identifies with a moduli space under three gauge equivalences. A rigorous category-theoretic formulation would specify the site (observer category or substrate-lift), the gauge groupoid acting on substrate configurations, and the observer state space as an associated stack. Difficulty: MODERATE-HARD.
-
Explicit verification of pairwise commutation on generators. Given Gaps 2 and 3 (explicit HaPPY and Walker–Wang generators), verify directly that the three stabilizer groups pairwise commute on the substrate Hilbert space. Structural argument for commutation is given in Theorem 5.1; explicit generator-level verification is desirable. Difficulty: MODERATE; prerequisite is Gaps 2–3.
-
Geometry-independent derivation of the spatial-axis code rate. Corollary 4.1.1 identifies the coefficient as the code rate of the spatial-axis factor of but inherits the factor- substrate-to-code redundancy from the Schwarzschild-specific gravitational-stability argument of Area Scaling Theorem 5.1. A geometry-independent derivation of the rate from the observer-projection code structure alone — without routing through Schwarzschild thermodynamics — would extend the identification to Kerr and Reissner-Nordström outer horizons, closing Black Hole Entropy Open Gap 3, and would make the three-way unification of Remark 4.1.2 fully independent of Schwarzschild input. Candidate route: use the isometric bulk-to-boundary encoding property of the HaPPY family (Proposition 4.1 structural argument) with the minimal-observer-loop area of Area Scaling Proposition 2.1 as the physical-qubit area and a QEC-structural argument for the logical-qubit effective area. Difficulty: MODERATE-HARD.
References and further reading
Foundational code family literature.
- Pastawski, F., Yoshida, B., Harlow, D., Preskill, J. (2015). Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence. JHEP 06:149. — The HaPPY family on the spatial axis.
- Kitaev, A. (2003). Fault-tolerant quantum computation by anyons. Annals of Physics 303:2–30. — The Kitaev topological family on the algebraic axis.
- Walker, K., Wang, Z. (2011). (3+1)-TQFTs and topological insulators. — Higher-dimensional Walker–Wang models for algebraic axis at bootstrap levels 2 and 3.
- Hastings, M., Haah, J. (2021). Dynamically generated logical qubits. Quantum 5:564. — The Floquet family on the temporal axis.
- Dennis, E., Kitaev, A., Landahl, A., Preskill, J. (2002). Topological quantum memory. J. Math. Phys. 43:4452–4505. — 4D toric code and topological distance scaling.
- Bombin, H., Martin-Delgado, M.A. (2007). Topological Quantum Distillation. — 3D product stabilizer codes close in spirit to the three-axis product.
Research-program context. The code structure and dual framing of this derivation are the consolidated content of Steps 1–2 of the Observer-Projection-as-Error-Correction research program (see research-targets/observer-projection-as-error-correction.md in the repository for historical context and the step-by-step exploration record).