Mass That ClicksFinale · Technical Appendix 9 / The 4D dS Stage (Λ, a Single Knob)

The blueprint chapter ── if you were to "make the remaining walls stand," what kind of stage would it take?

The 4D dS Stage
Λ, a Single Knob In de Sitter, the cosmological constant Λ plays three roles at once ── discreteness (q-deformation), an upper bound (the horizon), and finite dimension (a cutoff).
And CLPW's type II₁ is just the shadow of a finite type I idealized in the limit \(\Lambda\to0\). The continuum limit was the culprit that broke type I all along.

Prerequisite: Appendix 8 (Is the universe type I?) Standing: an architecture we propose / not a theory we built

The three loose ends condensed, in Appendix 8, into a single question ──〈Is the region algebra type I?〉── So if you were to make it stand, what kind of stage would it take? The answer, surprisingly, is four-dimensional de Sitter (Λ>0), and the key is one thing: the cosmological constant Λ plays three roles ── discreteness, an upper bound, and finite dimension ── all with a single knob. And one vertebra of the backbone is exact: the type II₁ that CLPW obtained in dS is nothing but the shadow of a finite-dimensional type I, idealized in the limit \(\Lambda\to0\). This appendix puts that blueprint on a single sheet. But, as the rule demands ── this is an architecture we propose, not "a theory we built." At the end, I'll take my own shots at it.

01A change of perspective ── dS is not the "weak stage"; it's the stage where Λ plays three roles

In Appendix 8 I wrote that "holography is strong in AdS, weakest in dS." But when you re-examine the II→I bridge (discreteness A, upper bound B, finite dimension C) in dS, it turns out to be the reverse ── Λ>0 is itself the "finite resource," and it plays three roles at once.

In dS the upper bound B comes out automatically (a consequence of Λ)
$$A_{\rm dS}=\frac{12\pi}{\Lambda}=\frac{4\pi}{H^2},\qquad S_{\rm dS}=\frac{A_{\rm dS}}{4G}=\frac{3\pi}{G\Lambda}\ (\text{Gibbons–Hawking, finite})$$

The \(A_{\max}\) that had to be put in by hand in AdS comes for free in dS, as a consequence of the cosmological constant. Banks–Fischler: \(\dim\mathcal{H}_{\rm dS}=e^{S_{\rm dS}}\) (finite-dimensional = type I).

02Joint ① (the main event, and exact) ── II₁ is exactly the Λ→0 limit of finite I_N

This is the backbone, and it's established mathematics. By definition, the hyperfinite type II₁ factor is a limit of finite matrix algebras (type I):

Hyperfinite II₁ = the limit of finite type I
$$R=\overline{\bigcup_n M_{2^n}(\mathbb{C})}\quad(\text{normalized trace},\ n\to\infty)\qquad\Longrightarrow\qquad \text{type I}_N\ \xrightarrow{\ N\to\infty\ }\ \text{type II}_1$$

The minimal projection of a finite-dimensional \(M_N\) has trace \(1/N\). As \(N\to\infty\), \(1/N\to0\) ── the "single state you can't subdivide any further" vanishes. The disappearance of the minimal projection is precisely the defining property of type II₁.

Overlay CLPW (dS→II₁) and Banks–Fischler (\(N=e^{S_{\rm dS}}\)) here, and the reading is pinned down to a single one:

Backbone ── the continuum limit is the very culprit that breaks type I CLPW's type II₁ is the shadow of a finite type I with \(N=e^{S_{\rm dS}}\), idealized in the limit \(\Lambda\to0\) (= \(N\to\infty\)). So the remaining "one step from II to I" is not a leap but de-idealization = putting Λ back in (halting the continuum limit). "Can't point at a single state (II₁) = \(N\to\infty\); a finite Λ recovers it (type I)" ── this is the only joint where your finite-resource hypothesis meshes exactly with the language of algebra types.

03Joint ② (tracking the numbers) ── a single knob Λ fixes N

Let's write that \(N\) out entirely in terms of Λ. With the quantum group \(\text{SU}(2)_q,\ q=e^{i\pi/(k+2)}\):

Λ → k → (discrete · bounded · finite-dimensional)
$$k\sim\frac{1}{G\Lambda}\sim\frac{1}{\Lambda\ell_P^2}\sim10^{122},\qquad \sqrt{j(j{+}1)}\to\sqrt{[j]_q[j{+}1]_q}\ \ (j\le\tfrac{k}{2}),\qquad N=e^{S_{\rm dS}}=e^{3\pi/G\Lambda}$$

Joints ① and ② close: \(\Lambda\to0\Leftrightarrow N\to\infty\Leftrightarrow\text{I}\to\text{II}_1\). The reason CLPW obtained II₁ in dS is that, for finite Λ, it is really type I\(_{e^{S_{\rm dS}}}\).

Figure: Turn the knob \(\Lambda\) and three things move in unison. ① The area spectrum (discrete + ceiling \(A_{\rm dS}\)) ② The number of states \(N=e^{S_{\rm dS}}\) ③ The type (finite Λ = a minimal projection you can point at = type I / \(\Lambda\to0\) = dissolving into the continuum = type II₁). Bottom-right is the observational fork \(w\) (§06)
Turn Λ, and discreteness + boundedness, the number of states N, and the type all move together.
area quantum / minimal projection upper bound A_dS = 12π/Λ type I ↔ II₁ w fork

04Joint ③ (the 4D substance) ── curved simplices + complex Chern–Simons

The substance of "does it really stand in 4D" follows the line of Haggard–Han–Kamiński–Riello (2015):

Current status (4D) 3D (Turaev–Viro) is exact and finite. 4D is under construction ── whether it becomes genuine gravity with local degrees of freedom, whether finiteness survives in the Lorentzian case, and whether the continuum returns ordinary QFT (type III₁), are all unproven. "The classical limit looks good; the completion of the quantum theory is not yet reached."

05Joint ④ (where observation splits it) ── w = −1, or does the resource grow?

The joint that keeps the blueprint from ending as mere speculation. If Λ is a fixed root-of-unity level \(k\), then \(w=-1\) exactly, and dark energy does not evolve. But DESI hints at evolution (Appendices 2–3). Here is a falsifiable fork:

The observational fork (DESI / Euclid will measure it within a few years)
$$\text{fixed }k:\ \Lambda=\text{const}\Rightarrow w=-1\ \text{exactly}\quad\big/\quad \text{growing }k(t):\ \text{the resource grows with }ct\Rightarrow w\ne-1$$
c·t = const bites here The lower branch is exactly your "growing finite resource." Finite dimension \(\dim(t)\sim e^{(ct)^2/G}\) (Appendix 8 §05) = \(k\) time-dependent = the effective Λ relaxing = \(w\ne-1\). "Is Λ fixed, or does the resource grow?" is, directly, "is \(w=-1\) or \(w\ne-1\)?" = the quantity observation will split. The wager is on the board.
◇ ◇ ◇

06Taking my own shots (the honest line)

JointResult of the load test
① II₁ = the limit of finite I_NExact · holds up. But it only shows "naturalness"; that some specific dynamics really realizes \(N=e^{S_{\rm dS}}\) and returns II₁ semiclassically is unproven (a natural design ⇎ a bridge actually built).
② N from Λ aloneConsistent numerically. But the coefficient inside the exponent (\(1/4\)) of \(N=e^{S_{\rm dS}}\) still carries LQG's γ tuning. Complex CS (\(\gamma\to i\)) is a natural connection, but the reality condition is unresolved.
③ The 4D substanceThe 4D quantum-group spinfoam is incomplete. Lorentzian character, local degrees of freedom, and the continuum limit are unproven.
Substrate fusionNo theory fuses into a single dynamics the causal-set substrate that supplies Lorentz invariance and the q-LQG that carries the area operator (conceptual splicing only).
Emergence of the observerHow CLPW's observer (a clock) arises intrinsically within a finite type I is not worked out.
Verdict ── the rule Of the backbone, only joint ① is exact and directly supports the blueprint. ② is consistent numerically, and ④ is split by observation. But the cracks in ①'s "does it happen," in ③, in the substrate, and in the observer remain open ── a blueprint that survived only half the load test, not a building that has been built. I will not say "it stood up in 4D dS." If, in conversation, I ever declare this "built," that is the fake.
Questions to check yourself
  1. Why can we say "the continuum limit is the very culprit that breaks type I"?
    One answer
    The minimal projection of a finite-dimensional type I_N has trace \(1/N\). In the continuum limit = \(N\to\infty\), \(1/N\to0\), so the minimal projection (= the single state you can't subdivide further) vanishes, and that is the defining property of type II₁. In other words, the type-I property of "being able to point at a single state" is preserved only at finite N and is lost in the continuum limit. A finite Λ (finite N) recovers it. So the continuum limit breaks type I, and putting Λ back in (de-idealization) is the true nature of II₁→I.
  2. Why is dS (Λ>0) a stage better suited to the II→I bridge than AdS?
    One answer
    The II→I bridge is "a discrete + bounded spectrum for area." In dS the area of the cosmological horizon \(A_{\rm dS}=12\pi/\Lambda\) is finite = the upper bound B comes out automatically as a consequence of Λ. Moreover, the same Λ supplies the quantum-group level \(k\sim1/G\Lambda\), providing discreteness A and, via the root-of-unity cutoff, finite dimension C. In AdS the upper bound can only be put in by hand. So dS, where Λ plays three roles, is the only natural stage. It's also why CLPW obtained II₁ (with a maximum entropy) rather than II∞ in dS.

Appendix 9 summaryThree roles from one Λ; one vertebra of the backbone is exact

The stage for "if you were to make the remaining walls stand" is four-dimensional de Sitter. The cosmological constant Λ plays three roles with a single knob ── discreteness (the q-deformed area operator), an upper bound (the horizon \(A_{\rm dS}=12\pi/\Lambda\)), and finite dimension (the root-of-unity cutoff \(N=e^{S_{\rm dS}}\)). Joint ① of the backbone is exact: CLPW's type II₁ is the shadow of a finite type I idealized in the limit \(\Lambda\to0\), and the continuum limit was the very culprit that breaks type I. A finite Λ recovers it.

And the blueprint splits under observation: \(w=-1\) (fixed Λ) or \(w\ne-1\) (a growing resource = c·t) ── the DESI/Euclid fork. A blueprint that is internally consistent, falsifiable, and exactly where your framework points. But the 4D quantum-theoretic completion, the 1/4, and the substrate fusion are not yet reached. I do not say it was built.

Where the blueprint chapter arrives Take your intuition that "the universe is discrete" and conceive it as "a theory that stands in 4D dS," and ── the players (LQG's discreteness, holography's upper bound, nuclearity's finiteness) all gather in dS, and you can even see the structural reason why the single knob Λ turns all of them. And one vertebra of the backbone is exact: the mathematics says your "finite · discrete" is "halting the continuum limit."
I will not declare this "solved" in conversation. On the stage, the play has not yet begun. But ── we've narrowed it down to what kind of stage it would take, how many roles Λ plays, and where it would split under observation. Compared to a fake theory of everything, the view from this blueprint is far more distant, and far more real.
This document is the blueprint chapter, Technical Appendix 9 of the "Mass That Clicks" series finale. The de Sitter horizon area \(A_{\rm dS}=12\pi/\Lambda\) and the Gibbons–Hawking entropy \(S_{\rm dS}=3\pi/G\Lambda\); Banks–Fischler's conjecture of a finite-dimensional dS Hilbert space \(\dim=e^{S_{\rm dS}}\); the fact that the hyperfinite type II₁ factor is the inductive limit of finite-dimensional matrix algebras (type I) (Murray–von Neumann); CLPW (2022) obtaining type II₁ in the dS static patch; the finite truncation of representations from the quantum group \(\text{SU}(2)_q\) (root of unity) and, via Turaev–Viro (3D) · Crane–Yetter (4D TQFT) · the \(SL(2,\mathbb{C})\) Chern–Simons of Haggard–Han–Kamiński–Riello (2015), the Λ-carrying 4D spinfoam; Sorkin's causal-set prediction \(\Lambda\sim1/\sqrt{N}\) ── all are established results or current research topics. On the other hand, the completion of a four-dimensional Lorentzian quantum-group spinfoam with local degrees of freedom, the recovery of semiclassical type II · continuum type III₁ from it, the first-principles determination of the \(1/4\) coefficient (the Barbero–Immirzi parameter), and a unified dynamics of the causal-set substrate and LQG are unresolved; this note claims no particular completed theory and instead states a blueprint assemblable from known parts, along with its cracks. The numbers (\(k\sim10^{122}\), etc.) and the knob figure are schematic order-of-magnitude guides, not quantitative claims. \(c\cdot t=\text{const}\) is a restatement of coordinates and units; the local speed of light is invariant. ── Print / PDF: browser "Print" → "Save as PDF" (in the print version the sliders and answers are static and hidden).

Print / make PDF: Ctrl+P (⌘+P on Mac). On screen, turn the slider for Λ and the area spectrum, the number of states N, the algebra type, and the w fork all move at once. "One answer" opens the solution.