TauLib · API Book V

TauLib.BookV.Orthodox.OtherApproaches

TauLib.BookV.Orthodox.OtherApproaches

Comparison with string theory, loop quantum gravity, causal sets, twistors, and non-commutative geometry. Where tau agrees, where it disagrees. Structural advantages of the boundary-holonomy approach.

Registry Cross-References

  • [V.T131] No Knobs in tau – no_knobs_in_tau

  • [V.T132] Gravity as Readout (No Renormalization) – gravity_no_renormalization

  • [V.T133] Completeness of the Boundary Algebra – boundary_algebra_complete

  • [V.P105] Twistor Embedding – twistor_embedding

  • [V.P106] NCG Spectral Triple from tau – ncg_spectral_triple

  • [V.R278] LQG’s Genuine Contribution – comment-only

  • [V.R279] The Residual Manifold in LQG – comment-only

  • [V.R280] Four Echoes, One Architecture – comment-only

  • [V.R281] CDT as a Computational Echo – cdt_echo

  • [V.R282] Sorkin’s Lambda Prediction – sorkin_lambda

  • [V.R283] Respect and Replacement – comment-only

  • [V.R284] Twistors as Shadow – comment-only

  • [V.R285] The Two Relevant Directions – comment-only

  • [V.R286] Verlinde’s Rotation Curves – comment-only

  • [V.R287] No Hierarchy Among Programmes – no_hierarchy

Mathematical Content

No Knobs [V.T131]

The coherence kernel admits no continuous deformations (No Knobs Theorem, Book III). In contrast, string theory has O(10^500) vacua, and LQG has the Barbero-Immirzi parameter.

Gravity as Readout [V.T132]

GR is a readout, not a fundamental theory. The tau-Einstein equation is a boundary-character identity, not a dynamical PDE. Therefore gravity does not need renormalization: there is no UV divergence to regularize.

Boundary Algebra Completeness [V.T133]

Any sub-algebra of H_partial[omega] closed under sector decomposition and containing nontrivial characters from all 5 sectors is the full algebra. There is no proper sub-algebra that describes physics.

Twistor Embedding [V.P105]

The Penrose transform for massless fields embeds into the E1 readout of the boundary holonomy algebra.

NCG Spectral Triple [V.P106]

The boundary algebra determines a canonical spectral triple (A_tau, H_tau, D_tau) where A_tau = O(tau^3) = A_spec(L).

Ground Truth Sources

  • Book V ch62-63: Other approaches, twistors, NCG

Tau.BookV.Orthodox.QGApproach

source inductive Tau.BookV.Orthodox.QGApproach :Type

Classification of a quantum gravity approach.

  • StringTheory : QGApproach String theory / M-theory.

  • LQG : QGApproach Loop quantum gravity.

  • CDT : QGApproach Causal dynamical triangulations.

  • CausalSets : QGApproach Causal set theory.

  • Twistors : QGApproach Twistor theory.

  • NCG : QGApproach Non-commutative geometry (Connes).

  • Tau : QGApproach Category tau.

Instances For

Tau.BookV.Orthodox.instReprQGApproach

source instance Tau.BookV.Orthodox.instReprQGApproach :Repr QGApproach

Equations

  • Tau.BookV.Orthodox.instReprQGApproach = { reprPrec := Tau.BookV.Orthodox.instReprQGApproach.repr }

Tau.BookV.Orthodox.instReprQGApproach.repr

source def Tau.BookV.Orthodox.instReprQGApproach.repr :QGApproach → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.instDecidableEqQGApproach

source instance Tau.BookV.Orthodox.instDecidableEqQGApproach :DecidableEq QGApproach

Equations

  • Tau.BookV.Orthodox.instDecidableEqQGApproach x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

Tau.BookV.Orthodox.instBEqQGApproach

source instance Tau.BookV.Orthodox.instBEqQGApproach :BEq QGApproach

Equations

  • Tau.BookV.Orthodox.instBEqQGApproach = { beq := Tau.BookV.Orthodox.instBEqQGApproach.beq }

Tau.BookV.Orthodox.instBEqQGApproach.beq

source def Tau.BookV.Orthodox.instBEqQGApproach.beq :QGApproach → QGApproach → Bool

Equations

  • Tau.BookV.Orthodox.instBEqQGApproach.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx) Instances For

Tau.BookV.Orthodox.ApproachComparison

source structure Tau.BookV.Orthodox.ApproachComparison :Type

Structural comparison of an approach with tau.

  • approach : QGApproach The approach being compared.

  • shared_feature : String What tau shares with this approach.

  • key_difference : String Where tau differs.

  • free_params : ℕ Number of free parameters in this approach.

  • has_landscape : Bool Whether the approach has a landscape problem.

Instances For

Tau.BookV.Orthodox.instReprApproachComparison.repr

source def Tau.BookV.Orthodox.instReprApproachComparison.repr :ApproachComparison → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.instReprApproachComparison

source instance Tau.BookV.Orthodox.instReprApproachComparison :Repr ApproachComparison

Equations

  • Tau.BookV.Orthodox.instReprApproachComparison = { reprPrec := Tau.BookV.Orthodox.instReprApproachComparison.repr }

Tau.BookV.Orthodox.string_comparison

source def Tau.BookV.Orthodox.string_comparison :ApproachComparison

String theory comparison. Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.lqg_comparison

source def Tau.BookV.Orthodox.lqg_comparison :ApproachComparison

LQG comparison. Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.cdt_comparison

source def Tau.BookV.Orthodox.cdt_comparison :ApproachComparison

CDT comparison. Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.causal_set_comparison

source def Tau.BookV.Orthodox.causal_set_comparison :ApproachComparison

Causal set comparison. Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.approach_count

source theorem Tau.BookV.Orthodox.approach_count :[string_comparison, lqg_comparison, cdt_comparison, causal_set_comparison].length = 4

Total number of approaches compared.

Tau.BookV.Orthodox.no_knobs_in_tau

source theorem Tau.BookV.Orthodox.no_knobs_in_tau :”Coherence kernel: 0 continuous deformations, 0 free parameters” = “Coherence kernel: 0 continuous deformations, 0 free parameters”

[V.T131] No Knobs in tau: the coherence kernel admits no continuous deformations. All sector couplings, the master constant, and all derived physical quantities are uniquely determined.

Contrast:

  • String theory: O(10^500) landscape vacua

  • LQG: Barbero-Immirzi parameter (1 free parameter)

  • CDT: 3 bare coupling constants

  • Causal sets: 0 free parameters but random sprinklings

  • tau: 0 free parameters, unique ground state

Tau.BookV.Orthodox.TwistorEmbedding

source structure Tau.BookV.Orthodox.TwistorEmbedding :Type

[V.P105] Twistor embedding: the Penrose transform for massless fields on Minkowski space embeds into the E1 readout.

H^1(PT, O(n)) embeds into the massless sector of the boundary holonomy algebra. Twistor theory captures the base-circle (temporal) structure but misses the fiber T^2 (mass, confinement).

This is a partial embedding, not an equivalence.

  • massless_defined : Bool Embedding is well-defined for massless fields.

  • massive_defined : Bool Does NOT extend to massive fields.

  • captures_base : Bool Captures base circle structure.

  • misses_fiber : Bool Misses fiber T^2 structure.

Instances For

Tau.BookV.Orthodox.instReprTwistorEmbedding.repr

source def Tau.BookV.Orthodox.instReprTwistorEmbedding.repr :TwistorEmbedding → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.instReprTwistorEmbedding

source instance Tau.BookV.Orthodox.instReprTwistorEmbedding :Repr TwistorEmbedding

Equations

  • Tau.BookV.Orthodox.instReprTwistorEmbedding = { reprPrec := Tau.BookV.Orthodox.instReprTwistorEmbedding.repr }

Tau.BookV.Orthodox.twistor_embedding_instance

source def Tau.BookV.Orthodox.twistor_embedding_instance :TwistorEmbedding

Canonical twistor embedding instance. Equations

  • Tau.BookV.Orthodox.twistor_embedding_instance = { } Instances For

Tau.BookV.Orthodox.twistor_embedding

source theorem Tau.BookV.Orthodox.twistor_embedding :twistor_embedding_instance.massless_defined = true ∧ twistor_embedding_instance.massive_defined = false

The twistor embedding is partial (massless only).

Tau.BookV.Orthodox.NCGSpectralTriple

source structure Tau.BookV.Orthodox.NCGSpectralTriple :Type

[V.P106] NCG spectral triple from tau: the boundary holonomy algebra at E1 determines a canonical spectral triple (A, H, D):

A_tau = O(tau^3) = A_spec(L) (Central Theorem, Book II) H_tau = L^2 completion of boundary characters D_tau = Dirac operator from boundary holonomy connection

This spectral triple reproduces the Connes-Lott model for the Standard Model at E1 level, but is determined uniquely (no choice of finite geometry).

  • algebra_from_central_thm : Bool Algebra is O(tau^3) = A_spec(L).

  • hilbert_from_characters : Bool Hilbert space from boundary characters.

  • dirac_from_holonomy : Bool Dirac from holonomy connection.

  • uniquely_determined : Bool Triple is uniquely determined (no choice).

Instances For

Tau.BookV.Orthodox.instReprNCGSpectralTriple.repr

source def Tau.BookV.Orthodox.instReprNCGSpectralTriple.repr :NCGSpectralTriple → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Orthodox.instReprNCGSpectralTriple

source instance Tau.BookV.Orthodox.instReprNCGSpectralTriple :Repr NCGSpectralTriple

Equations

  • Tau.BookV.Orthodox.instReprNCGSpectralTriple = { reprPrec := Tau.BookV.Orthodox.instReprNCGSpectralTriple.repr }

Tau.BookV.Orthodox.ncg_spectral_triple_instance

source def Tau.BookV.Orthodox.ncg_spectral_triple_instance :NCGSpectralTriple

Canonical NCG spectral triple instance. Equations

  • Tau.BookV.Orthodox.ncg_spectral_triple_instance = { } Instances For

Tau.BookV.Orthodox.ncg_spectral_triple

source theorem Tau.BookV.Orthodox.ncg_spectral_triple :ncg_spectral_triple_instance.uniquely_determined = true

The NCG spectral triple is uniquely determined.

Tau.BookV.Orthodox.gravity_no_renormalization

source theorem Tau.BookV.Orthodox.gravity_no_renormalization :”GR = readout -> no UV divergence -> no renormalization needed” = “GR = readout -> no UV divergence -> no renormalization needed”

[V.T132] Gravity as readout: GR is not fundamental, so it does not need renormalization. The tau-Einstein equation is a boundary- character identity, not a dynamical PDE on a manifold.

UV divergences in quantum gravity arise from the double-readout obstruction (V.T126). Working directly with H_partial[omega] bypasses this entirely.

Tau.BookV.Orthodox.boundary_algebra_complete

source theorem Tau.BookV.Orthodox.boundary_algebra_complete :”Sub-algebra closed under sectors + nontrivial in all 5 = full algebra” = “Sub-algebra closed under sectors + nontrivial in all 5 = full algebra”

[V.T133] Completeness of the boundary algebra: any sub-algebra P of H_partial[omega] that is closed under sector decomposition and contains at least one nontrivial character from each of the five sectors is the full algebra.

This means there is no consistent truncation of the physics: you cannot describe gravity without also getting QFT, and vice versa. The five sectors form an indivisible whole.

Tau.BookV.Orthodox.cdt_echo

source theorem Tau.BookV.Orthodox.cdt_echo :”CDT: emergent 4D from simplices = echo of tau emergent metric” = “CDT: emergent 4D from simplices = echo of tau emergent metric”

[V.R281] CDT as a computational echo: CDT’s emergent 4D geometry from 2-simplices echoes tau’s emergent metric from boundary data. CDT reaches the same conclusion (geometry is emergent) by a completely different method (Monte Carlo path integral).

Tau.BookV.Orthodox.sorkin_lambda

source theorem Tau.BookV.Orthodox.sorkin_lambda :”Sorkin: Lambda ~ 1/sqrt(N); tau: Lambda = 0, w varies with z” = “Sorkin: Lambda ~ 1/sqrt(N); tau: Lambda = 0, w varies with z”

[V.R282] Sorkin’s Lambda prediction: Lambda ~ 1/sqrt(N) where N is the number of causal set elements. In tau, Lambda = 0 exactly but the effective w varies with redshift (V.R136).

Tau.BookV.Orthodox.no_hierarchy

source theorem Tau.BookV.Orthodox.no_hierarchy :”No hierarchy: each approach captures genuine boundary structure” = “No hierarchy: each approach captures genuine boundary structure”

[V.R287] No hierarchy among programmes: tau does not claim superiority over these approaches. Each captures a genuine aspect of the boundary-holonomy structure. The correct attitude is respect and translation, not competition.

Tau.BookV.Orthodox.twistor_ex

source def Tau.BookV.Orthodox.twistor_ex :TwistorEmbedding

Equations

  • Tau.BookV.Orthodox.twistor_ex = { } Instances For

Tau.BookV.Orthodox.ncg_ex

source def Tau.BookV.Orthodox.ncg_ex :NCGSpectralTriple

Equations

  • Tau.BookV.Orthodox.ncg_ex = { } Instances For