Full Derivation · Test Suite · Benchmark

The Reference Frame
vs Standard QM
Spherical Harmonics

A complete, scientifically rigorous comparison demonstrating that TRF's epsilon-field tensor products are exactly proportional to the real spherical harmonics YLM for all orbitals through L=3, with machine-precision numerical verification and wall-clock performance benchmarks.

The Millennial · March 11, 2026 · Reproducible with seed 42
Section 1

The Standard QM Framework

1.1 — Separation of Variables

The time-independent Schrödinger equation for any central potential V(r) separates in spherical coordinates into a radial equation (potential-dependent) and an angular equation (universal). The angular part satisfies:

Angular eigenvalue equation L̂² YLM(θ, φ) = L(L+1) ℏ² YLM(θ, φ)

The solutions are the spherical harmonics, which factor as YLM(θ, φ) = Θ(θ) · Φ(φ). The azimuthal equation yields Φ(φ) = eiMφ. The polar equation yields the associated Legendre polynomials.

1.2 — Associated Legendre Polynomials

The associated Legendre polynomial PLM(x), where x = cos(θ), is given by the Rodrigues-derived closed-form:

Rodrigues formula PLM(x) = (-1)M (1-x²)M/2k=0⌊(L-M)/2⌋ (-1)k (2L-2k)! / [2L k! (L-k)! (L-2k-M)!] · x(L-2k-M)

Computational cost: O(L) multiplications per point, with factorial overhead dominating. Each evaluation requires ⌊(L-M)/2⌋+1 terms, each involving factorial lookups and a power of x. For L=3, this is approximately 20–30 floating-point operations per evaluation (with cached factorials).

1.3 — Real Spherical Harmonics

The complex harmonics are converted to real form:

Real form M > 0:   √2 · NLM · PLM(cosθ) · cos(Mφ)
M = 0:   NL0 · PL0(cosθ)
M < 0:   √2 · NLM · PL|M|(cosθ) · sin(|M|φ)
Normalization NLM = √[(2L+1)/(4π) · (L-|M|)!/(L+|M|)!]
Section 2

The Reference Frame: ε-Field Construction

2.1 — The Three ε-Fields

TRF begins with three basis functions — the Cartesian components of the unit vector on S². These are the d-sector ε-fields:

The d-sector basis εx(θ, φ) = sin(θ) cos(φ)
εy(θ, φ) = sin(θ) sin(φ)
εz(θ, φ) = cos(θ)

These satisfy εx² + εy² + εz² = 1 on S². They are the L=1 real spherical harmonics (up to normalization). This is the complete basis from which all orbital shapes are generated.

2.2 — Tensor Product Construction

All angular momentum eigenstates are constructed as symmetric, traceless tensor products of the three ε-fields:

Construction rule L=0:   f = 1           (scalar — no ε-fields)
L=1:   f = εa          (single ε-field)
L=2:   f = εaεb - ⅓δab      (quadratic, traceless)
L=3:   f = εaεbεc - trace terms   (cubic, traceless)
This is the symmetric traceless tensor (STF) formalism, well-established in multipole theory (Thorne 1980, Blanchet & Damour 1986). TRF identifies this construction as arising naturally from the d-sector of the Motor algebra M = (1 + (i+d+j)ε).

2.3 — Traceless Symmetrization

For L ≥ 2, the raw tensor product contains traces corresponding to lower-L harmonics. The traceless projection removes these:

L=2 traceless projection Tab = εaεb - ⅓δab

For L=3, the factor 3/5 in εz³ - (3/5)εz arises from removing L=1 contamination: three index-pair contractions in a rank-3 symmetric tensor, each yielding a factor of εz/5.

2.4 — The Generative Principle

Key Distinction

TRF is generative, not presolved or statistically approximated.

(a) No lookup table. Each evaluation computes from three ε-fields directly.

(b) No statistical fitting. The products are exact algebraic expressions.

(c) No precomputed Legendre polynomials. Shapes emerge from multiplication and subtraction.

(d) Uniform construction: the same three basis fields generate all angular eigenstates.

Section 3

Algebraic Equivalence Proofs

Each TRF ε-field product equals the corresponding real spherical harmonic up to a normalization constant. These are exact identities, not approximations.

3.1 — L=0 (s-orbital)

Proof: s-orbital
TRF:   f(θ, φ) = 1
QM:   Y00 = 1/√(4π)
∴   f = √(4π) · Y00

3.2 — L=1 (p-orbitals)

Proof: pz
TRF:   f = εz = cos(θ)
QM:   Y10 = √(3/4π) · cos(θ)
∴   f = √(4π/3) · Y10   Exact.
Proof: px
TRF:   f = εx = sin(θ)cos(φ)
QM:   Y1,+1 = -√(3/4π) · sin(θ)cos(φ)   [Condon-Shortley]
∴   f = -√(4π/3) · Y1,+1   Exact (sign is phase convention).
Proof: py
TRF:   f = εy = sin(θ)sin(φ)
QM:   Y1,-1 = -√(3/4π) · sin(θ)sin(φ)
∴   f = -√(4π/3) · Y1,-1   Exact.

3.3 — L=2 (d-orbitals)

Proof: d
TRF:   f = εz² - 1/3 = cos²(θ) - 1/3 = (1/3)(3cos²θ - 1)
QM:   Y20 = (1/4)√(5/π)(3cos²θ - 1)
∴   f = (4/3)√(π/5) · Y20   Exact.
Proof: dxz
TRF:   f = εxεz = sinθ cosθ cosφ
QM:   Y2,+1 ∝ P21(cosθ) cosφ = -3sinθcosθ · cosφ
∴   f ∝ Y2,+1   Identical angular dependence. Exact.
Proof: dyz, dx²-y², dxy
dyz:   εyεz = sinθcosθsinφ ∝ Y2,-1   Exact.
dx²-y²:   (εx²-εy²)/2 = (sin²θ/2)cos(2φ) ∝ Y2,+2   Exact.
dxy:   εxεy = (sin²θ/2)sin(2φ) ∝ Y2,-2   Exact.

3.4 — L=3 (f-orbitals)

Proof: f (M=0)
TRF:   f = εz³ - (3/5)εz = cos³θ - (3/5)cosθ = (1/5)(5cos³θ - 3cosθ)
QM:   P30(x) = (5x³ - 3x)/2  ⇒  Y30 ∝ (5cos³θ - 3cosθ)
∴   f = (2/5) P30(cosθ) ∝ Y30   Exact.
Proof: fxz², fyz² (M=1)
TRF:   f = εx(5εz² - 1) = sinθcosφ(5cos²θ - 1)
QM:   P31(x) = -(1-x²)1/2(15x²-3)/2
     = -sinθ · 3(5cos²θ-1)/2
∴   f ∝ P31(cosθ) · cosφ ∝ Y3,+1   Exact.
(fyz² follows identically with sinφ ∝ Y3,-1)
Proof: fz(x²-y²), fxyz (M=2)
fz(x²-y²):   εzx²-εy²) = cosθ sin²θ cos(2φ) ∝ Y3,+2   Exact.
fxyz:   εxεyεz ∝ sin²θ cosθ sin(2φ) ∝ Y3,-2   Exact.
Proof: fx(x²-3y²), fy(3x²-y²) (M=3)
TRF:   εxx² - 3εy²) = sin³θ[cos³φ - 3cosφsin²φ]
     = sin³θ cos(3φ)   [by triple-angle identity]
QM:   Y3,+3 ∝ sin³θ cos(3φ)   Exact.

TRF:   εy(3εx² - εy²) = sin³θ sin(3φ) ∝ Y3,-3   Exact.
Section 4

Interactive Orbital Comparison

Side-by-side rendering: TRF ε-field products (left) vs QM Legendre polynomial evaluation (right). Both use identical line tracing — the only difference is the radius function. Visually identical shapes confirm algebraic equivalence.

TRF MOTOR
ε-field tensor product
No Legendre · Pure TRF algebra
QM REFERENCE
Associated Legendre polynomial
Standard boundary-condition solution
DRAG TO ROTATE
Section 5

Numerical Verification

5.1 — Proportionality Test

Both functions evaluated on a dense 100 × 200 = 20,000-point angular grid. For each orbital, the least-squares proportionality constant c and residual are computed. All maximum relative errors are at or below machine precision (~10-14).

Orbital L M Type Prop. Const. c Max Rel. Error RMS Rel. Error Status
Table 1 — Proportionality test results. Machine-epsilon agreement confirms exact algebraic equivalence.

5.2 — Orthogonality Test

Integral of fa · fb · sin(θ) dθ dφ over S² using trapezoidal quadrature on an 80 × 160 grid.

Pair Integral Value Expected Status
Table 2 — Orthogonality verification. Cross-integrals vanish to machine precision.
Section 6

Performance Benchmarks

6.1 — Three Evaluation Strategies

TRF Direct

Evaluate ε-field product directly. Pure arithmetic on trig values. No factorials, no polynomial loops, no normalization. Cost: O(L) multiplications.

QM Exact

Full Rodrigues-form associated Legendre polynomial with normalization. Cost: O(L) with factorial overhead and polynomial summation loop.

Precomputed LUT

Build a 500×500 table of YLM values, then bilinear interpolation at runtime. Build: O(N²·L). Query: O(1) but not exact — introduces interpolation error.

Key Question

Can TRF beat both the exact computation and the precomputed table? The answer: TRF beats exact QM by 2–6×, and while the LUT query is O(1), its build cost and inexactness make TRF the better overall choice for on-the-fly evaluation.

6.2 — Results (100,000 evaluations, Python)

Orbital L TRF (s) QM Exact (s) LUT Build (s) LUT Query (s) TRF / QM
Table 3 — Wall-clock performance. TRF/QM ratio < 1 means TRF is faster.

6.3 — Visual: Relative Speed

TRF (bright) vs QM Exact (mid) vs LUT Query (dim) — shorter is faster.
Section 7

Discussion & Verdict

7.1 — What TRF Claims (and Doesn't)

TRF Does Claim

(a) ε-field tensor products are exactly proportional to real spherical harmonics.

(b) Computationally simpler evaluation path for low-L orbitals.

(c) Uniform construction — same engine generates all orbital types.

(d) Arises naturally from the d-sector of the TRF Motor algebra.

TRF Does Not Claim

(a) That spherical harmonics were previously unknown.

(b) That the STF formalism is new.

(c) Results different from standard QM for the angular part.

(d) Replacement of the radial wavefunction.

(e) Any violation of quantum mechanics.

7.2 — Generative vs Presolved

"Generative" means the orbital shapes are produced on-the-fly by the algebraic engine of ε-field products. No tables, no fits, no boundary-condition solutions. This is analogous to the difference between a formula and a lookup table — both yield the same answer, but the formula produces it from rules while the table was computed once and stored.

Both approaches are exact. Neither is an approximation. The difference is conceptual and computational, not mathematical. The QM Legendre polynomials are derived by solving a differential equation; the TRF ε-products arrive at the same functions via algebraic tensor construction.

7.3 — Scope & Limitations

This benchmark covers the angular part only (spherical harmonics). The angular eigenfunctions are universal across all central potentials — they do not depend on V(r). The radial part RnL(r) depends on the specific potential and is outside the scope of this document. Benchmarks are pure Python for transparency; C/GPU implementations would show different absolute timings but similar relative scaling.

VERDICT

TRF's ε-field tensor products reproduce the real spherical harmonics exactly, with machine-precision numerical agreement across all 16 orbitals tested (L=0 through L=3). TRF evaluation is 2–6× faster than standard Legendre polynomial evaluation and, unlike precomputed lookup tables, is exact and requires no build step. The angular quantum mechanics is complete and correct.