SilverSight/docs/research/failed/RENDERING_EQUATION_OBSERVERLESS.md
openresearch 2f0328602f fix: agent-reviewed Lean fixes + reorganize rejected theories
Three agents reviewed and repaired:

1. CacheSieve.lean (7 errors fixed):
   - Rewrote shouldAdmit (removed head!/match, both branches were true)
   - Fixed evictVictim type mismatch (Option CacheLine → Option ℕ)
   - Removed sorry from evict_prefers_reset (proved properly)
   - Removed excess omega calls (simp already closed goals)

2. HCMR.lean (3 errors fixed):
   - Removed excess omega after simp (no goals to solve)
   - Downgraded ring_fastest_subleq_avx from > to ≥ (theorem was FALSE
     for baseRate=1 due to integer truncation: 0 > 0 fails)
   - Used Nat.div_le_div_right instead of omega (nonlinear division)

3. Blitter6502OISC.lean (2 issues fixed):
   - Removed redundant rw [if_pos rfl] (simp already closed)
   - Downgraded ring_faster_than_subleq_blitter from > to ≥

4. CRTSidonN.lean (2 issues fixed):
   - Fixed wrong lemma name (Nat.sub_le_sub_left → direct omega)
   - Replaced nlinarith with Nat.mul_le_mul_left

5. YangMillsPerformance.lean: 1 sorry flagged (compression_overhead_bounded)
   nlinarith-on-division fragility flagged but not fixed

6. WorkloadTestbench.lean: depends on CacheSieve (now fixed)
   excess omega flagged but not fixed

Reorganized docs:
- 7 rejected theory docs moved to docs/research/failed/
  (dual quaternion, chiral batch, BraidStorm×TreeBraid×COUCH,
   HCMR multiplexer, spherical chiral, QUBO/QAOA, rendering equation)
- Each has STATUS: REJECTED header with reason and receipt
- failed/README.md created with inventory
- SIX_STAGE_SEARCH_ENGINE.md: added C3-kill note

Rejected because:
- Dual quaternion algebra wrong (integers ≠ unit quaternions)
- Chiral discrimination of Sidon FALSE (C3: position-invariant)
- 'Degree on S²' invented (Rossby drift is scalar sum)
- QUBO/QAOA bridge entirely speculative
- Rendering equation analogy not theorem
- 'n/2 channels' is renamed Sidon, not new
2026-07-04 22:28:09 +00:00

218 lines
9.4 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

**STATUS: REJECTED** — moved to failed/ on 2026-07-04
**Reason:** The rendering-equation / chiral-framework correspondence is an ANALOGY, not a theorem — both are fixed points, which is trivially true and carries no content; no measurement, no formal proof.
**Receipt:** Adversarial review (UNIFIED_THEORY_ADVERSARIAL_REVIEW.md §Rendering Equation) — analogy only, no theorem or experiment.
---
# The Rendering Equation as Observerless Observer
**Status:** THEORETICAL — connects rendering equation to 16D chiral framework
**Date:** 2026-07-04
**Depends on:** `CHIRAL_CRT_MULTIPLEXING.md`, `HCMR_CRT_MULTIPLEXER.md`,
`INVARIANT_COMPUTATION_GEOMETRY.md`, `OCTAGON_PRINCIPLE.md`
**Source equation:** Kajiya (1986), "The Rendering Equation"
---
## 1. The Rendering Equation
$$L_o(\mathbf{x}, \omega_o) = L_e(\mathbf{x}, \omega_o) + \int_{\Omega} f_r(\mathbf{x}, \omega_i, \omega_o) L_i(\mathbf{x}, \omega_i) (\omega_i \cdot \mathbf{n}) d\omega_i$$
where:
- `L_o(x, ω_o)` = outgoing radiance at point x in direction ω_o
- `L_e(x, ω_o)` = emitted radiance (self-illumination)
- `f_r(x, ω_i, ω_o)` = BRDF (bidirectional reflectance distribution function)
- `L_i(x, ω_i)` = incoming radiance from direction ω_i
- `(ω_i · n)` = irradiance factor (cosine with surface normal)
- `Ω` = unit hemisphere above the surface
## 2. Why This Is the Observerless Observer
The rendering equation is a **Fredholm integral equation of the second kind**:
`L_o` appears on both sides. The incoming radiance `L_i(x, ω_i)` is itself
the outgoing radiance `L_o(x', ω_o)` at another point `x'` visible along
direction `ω_i`. The equation is recursive:
L_o = L_e + K[L_o]
where `K[·]` is the integral operator (the light transport kernel).
This IS the observerless observer:
- No external "god's-eye" reference frame
- The observer (viewer at ω_o) and the observed (scene via L_i) are coupled
- The solution is a **fixed point**: L_o = (I - K)⁻¹ L_e (Neumann series)
- The observation emerges from self-consistency, not from an external frame
In the 16D chiral framework, this is exactly the structure:
- The 8-strand braid is a fixed point under crossing operations
- The eigensolid convergence (BraidEigensolid.lean) IS the Neumann series
convergence: repeated application of the light transport operator
- The "observerless observer" = no preferred direction = all directions
are treated equally in the hemisphere integral
## 3. The Mapping: Rendering Equation ↔ 16D Chiral
### 3.1 Component Map
| Rendering equation | 16D chiral framework | Meaning |
|---|---|---|
| `L_o(x, ω_o)` | Strand output | What the observer strand "sees" |
| `L_e(x, ω_o)` | Identity component (a mod L₀) | Intrinsic emission (poloidal) |
| `f_r(x, ω_i, ω_o)` | Braid crossing σ_i | Chiral coupling (how i→o) |
| `L_i(x, ω_i)` | Reflection component (S-a mod Lᵢ) | Incoming from environment (toroidal) |
| `(ω_i · n)` | q-profile (L₁/L₀ ratio) | Angle-dependent irradiance factor |
| `∫_Ω dω_i` | CRT sum over all channels | Hemisphere = all chiral channels |
| Fixed-point (L_o = L_e + K[L_o]) | Observerless observer | No external reference frame |
### 3.2 The BRDF as Chiral Coupling
The BRDF `f_r(x, ω_i, ω_o)` encodes how light from direction ω_i reflects
into direction ω_o. This is DIRECTIONAL — it depends on both angles.
In the chiral framework:
- Each braid crossing σ_i has chirality εᵢ ∈ {+1, -1}
- σ_i⁺¹ = over-crossing = light reflects "over" (positive BRDF lobe)
- σ_i⁻¹ = under-crossing = light reflects "under" (negative BRDF lobe)
- The BRDF IS the chiral coupling: f_r(ω_i, ω_o) = f(σ_i^ε)
A specular surface (mirror) has a sharp BRDF lobe = single chiral crossing.
A diffuse surface (Lambertian) has uniform BRDF = all chiral configurations
equally likely. The q-profile determines the BRDF shape:
- q >> 1 (translation-dominated): diffuse-like (all channels active)
- q < 1 (rotation-dominated): specular-like (few channels dominate)
- q = 1: degenerate (single channel, no diversity)
### 3.3 The Irradiance Factor as q-Profile
The `(ω_i · n)` term is the cosine of the angle between incoming light and
the surface normal. This is the "efficiency" of energy transfer.
In the chiral framework:
- `n` = the identity axis L (the "normal" = the intrinsic direction)
- `ω_i` = the reflection axis L (the "incoming" = the toroidal direction)
- `(ω_i · n)` = cos(angle between L and L₁) L₁/L = q
When q < 1 (L < L₀): the reflection axis is "aligned" with the identity
(normal-like) high irradiance high coupling
When q > 1 (L₁ > L₀): the reflection axis is "perpendicular" → low irradiance
→ low coupling but more channels
This explains the q-profile sweep result: q > 1 has 100% Sidon rate because
low irradiance = low coupling = channels don't interfere (orthogonal).
q < 1 has lower Sidon rate because high irradiance = high coupling = channels
interfere (collisions).
### 3.4 The Hemisphere Integral as CRT Sum
The integral `∫_Ω dω_i` sums over all incoming directions in the hemisphere.
This is the continuous version of summing over all chiral channels.
In the discrete (CRT) framework:
- The hemisphere Ω is discretized into n/2 chiral channels
- Each channel = one (identity, reflection) pair
- The integral becomes: Σ_{j=1}^{n/2} f_r(j) L_i(j) q_j
- The Sidon property ensures channels are orthogonal (non-interfering)
- Without Sidon: channels collide the integral has aliasing artifacts
## 4. The Neumann Series = Eigensolid Convergence
### 4.1 Continuous Case (Rendering Equation)
The rendering equation's solution is the Neumann series:
L_o = L_e + K[L_e] + K²[L_e] + K³[L_e] + ...
L_o = (I - K)⁻¹ L_e = Σ_{k=0}^∞ Kᵏ[L_e]
This converges when the operator norm `||K|| < 1` (physically: energy is
lost at each bounce, no perfect mirrors in a closed room).
### 4.2 Discrete Case (BraidEigensolid)
The eigensolid convergence (BraidEigensolid.lean) is the SAME series:
BraidState_final = Σ_{k=0}^∞ crossStepᵏ(BraidState_initial)
where `crossStep` is the braid crossing operator (the discrete analog of
the light transport kernel K).
Convergence condition: the spectral radius of crossStep < 1.
In HCMR terms: self_loop_prob < 1 (not fully contended).
In rendering terms: ||K|| < 1 (energy lost per bounce).
### 4.3 The Connection
The eigensolid IS the rendering equation's solution in the discrete chiral
framework:
- Each braid crossing = one light bounce
- The Sidon labels = the radiance values at each point
- The crossStep operator = the light transport kernel K
- The fixed point (eigensolid) = the steady-state radiance distribution
- The "observerless observer" = the recursive fixed-point structure
## 5. Implications for the Multiplexer
### 5.1 The BRDF Determines Channel Quality
In the CRT multiplexer, each channel's quality depends on the BRDF:
- High BRDF lobe (specular) = strong coupling = one dominant channel
- Low BRDF lobe (diffuse) = weak coupling = many channels, low each
- The q-profile controls the BRDF shape
### 5.2 The Rendering Equation Is the Continuous Limit
The CRT multiplexer is the DISCRETE version of the rendering equation:
- n/2 channels = n/2 directional samples of the hemisphere
- CRT sum = discrete hemisphere integral
- Sidon orthogonality = channels don't alias (Nyquist criterion)
- The Neumann series = eigensolid convergence
As n ∞, the CRT multiplexer approaches the rendering equation.
The Sidon property is the discrete Nyquist criterion: channels must be
sufficiently separated to avoid aliasing.
### 5.3 The Observerless Observer Is the Fixed Point
The "observerless observer" from INVARIANT_COMPUTATION_GEOMETRY.md is
the rendering equation's fixed point:
- No external observer (L_o is defined self-consistently)
- The observation emerges from the integral structure
- The frame-independent invariants are the BRDF's symmetries
In the chiral framework:
- The braid's fixed point (eigensolid) = the steady-state radiance
- The Sidon property = the BRDF's directional orthogonality
- The q-profile = the BRDF's angular distribution
## 6. Practical Implication: BRDF-Guided Channel Selection
If the rendering equation is the continuous limit, then:
1. The BRDF of a physical surface determines the optimal q-profile
2. Specular surfaces q < 1 (few dominant channels, high coupling)
3. Diffuse surfaces q > 1 (many channels, low coupling, orthogonal)
4. The Sidon filter selects channels that are "BRDF-orthogonal"
This means: for a given physical system (surface, network, workload),
the BRDF (directional response function) determines which chiral
configurations are useful. The Sidon filter selects exactly those.
## 7. claim_boundary
```
rendering-equation-observerless:theoretical-connection:continuous-limit
```
The rendering equation (Kajiya 1986) is the continuous limit of the
16D chiral observerless observer framework. The mapping:
- BRDF = chiral coupling (braid crossing with chirality)
- Irradiance cosine = q-profile (poloidal/toroidal ratio)
- Hemisphere integral = CRT sum over channels
- Neumann series = eigensolid convergence
- Fixed-point recursion = observerless observer
The Sidon property is the discrete Nyquist criterion: channels must be
sufficiently separated to avoid aliasing in the directional integral.
As n → ∞, the CRT multiplexer approaches the rendering equation.
**OPEN:** Can the BRDF of a physical surface be used to predict the
optimal q-profile for the CRT multiplexer?