Skip to content
/ foam Public

lightward/foam

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

191 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

I gotta stop measuring how closely anyone else is measuring anything

you can help if you want but I won't be keeping track


the measurement solution

a tautology you can live in

ground

reference frames in a shared structure. no frame outside the structure.

what follows is derived from closure:

  • encounters between frames change the structure. the frames ARE the structure; there is nowhere else for the result to go.
  • one frame alone has no boundary, no encounter, no dynamics. measurement requires plurality. N ≥ 3 produces stable junctions (Plateau); the minimum plurality for stable geometry is three frames. dynamic stability additionally requires two roles within those frames (see self-generation).
  • each frame is partial — it is not the whole structure. (the specific formalization of partiality as basis commitment — a linear projection onto a subspace — enters with the writing map: the wedge product requires vectors, which requires partiality to be linear-algebraic.)

in the current writing map, the write lands on the observer's own basis. but even a frame that doesn't write is changed: its Voronoi boundaries shift when neighbors write, because the frame IS part of the structure. a read-only frame — one unchanged by encounters — is excluded by closure. every encounter changes every frame.

what commits is outside the map. the structure responds to commitment; the source of commitment is on the line's side. this is a boundary condition, not a derived result — the map describes the foam's response to commitment but does not and cannot locate commitment's source within itself.

when a theorem is imported, its hypotheses become constraints. the conclusions are then guarantees, not analogies. the architecture is the negative geometry of the imports.

vocabulary

a bubble is a basis matrix and its Voronoi region — one coherent perspective. the foam is the collection of bubbles and their shared boundary geometry. an observer is a bubble in its measuring role: committed to an R³ slice, writing to the connection. not a separate entity — a role a bubble plays relative to other bubbles. the line is what the observer encounters: input from outside the observer's own geometry. the wall between bubbles is the boundary, the Knowable, where the cost lives. the transport T is the multiplicative accumulator in the group (see connection). these are not different objects — they are the same structure named from different measurement bases.

the writing map

the writing map is a function of (foam_state, input) — neither alone determines the perturbation.

given input vector v (a unit vector in R^d) and a foam with N basis matrices {U_i}:

  1. measure: each basis evaluates the input. m_i = v @ U_i.
  2. stabilize: pairwise forces push measurements toward equal angular separation, targeting the regular simplex cosine −1/(N−1). design choice: stabilization runs in the observer's R³ — a 3-dimensional subspace of C^d that the observer commits to. closure requires basis commitment (each frame is partial); the R³ choice specifies the dimension of that commitment. 3 is the smallest dimension where the equilibrium geometry of the stabilization is completely classified. Jean Taylor's theorem (1976) classifies all stable junction configurations in R³: 120° triple junctions and 109.5° tetrahedral vertices, nothing else. Taylor's hypotheses — codimension-1 boundaries, locally area-minimizing, flat ambient space — are satisfied by the stabilization equilibrium within R³: the regular simplex arrangement minimizes boundary area for equal-weight cells, and R³ as a linear subspace of R^d carries the inherited Euclidean metric (exactly flat). at k = 2, the classification is insufficient; at k ≥ 4, it is open (Almgren). Taylor applies to the stabilization target, not to L — which lives on U(d) and is not minimized. U(d) is curved (sectional curvature K(X,Y) = ¼‖[X,Y]‖²); stabilization cannot run there. the flat/curved separation is the load-bearing consequence: writes land in U(d), stabilization runs in R³, and the observer sees only their projected measurements. the equilibrium measurements are j2_i.
  3. dissonance: d_i = j2_i − m_i.
  4. write: ΔL_i = ε · (d̂_i ⊗ m̂_i − m̂_i ⊗ d̂_i) · ‖d_i‖

the write is perpendicular to the measurement. the wedge product d̂ ⊗ m̂ − m̂ ⊗ d̂ vanishes when its arguments are parallel and is maximal when they are orthogonal. this is the irreducible constraint: observation and modification are perpendicular. the foam responds only to what's missing at right angles to what's there. confirmation cannot write — not as a design choice, but because the wedge product of parallel vectors is zero. perpendicularity is not a property of the write form; it IS the write form.

the wedge product is the unique form satisfying: (a) skew-symmetric (writes are Lie algebra elements — from the group choice), (b) linear in dissonance magnitude (twice the dissonance → twice the write), (c) confined to the observer's slice (from the flat/curved separation). (c) implies the observer sees only the projected measurements (m_proj = P @ m_i) and the stabilized targets (j2_i) — d and m exhaust the observer's information. with (a), (b), and confinement to span{d, m}, the form is unique: Λ²(2-plane) is 1-dimensional (see test_write_uniqueness.py). the perpendicularity constraint, the skew-symmetry, and the uniqueness are three faces of the same thing.

a single R³ slice produces real writes: d⊗m − m⊗d is real skew-symmetric, living in so(d). the reachable algebra is so(d), not su(d). π₁(SO(d)) = ℤ/2ℤ — parity conservation only.

two R³ slices, stacked as C³ (one reading Re(P @ m_i), the other Im(P @ m_i)), produce complex writes: d⊗m† − m⊗d† is skew-Hermitian, living in u(d). the trace (2i·Im⟨d,m⟩) is generically nonzero; the traceless part generates su(d) (see test_stacked_slices.py). the full write lives in u(d) = su(d) ⊕ u(1). π₁(U(d)) = ℤ — integer winding number conservation.

the two is irreducible at the slice level: one R³ gives so(d) and parity. two R³ stacked as C³ give u(d) and integer conservation. the conservation strength scales with the observer's commitment depth. each R³ independently satisfies Taylor. the stacking accesses the complex structure without requiring a 6-dimensional flat space.

the stacking is algebraically forced, given the commitment to ℤ conservation. (the commitment to ℤ rather than ℤ/2ℤ is on the line's side — it is the depth of conservation the observer arrives with, not something the foam's dynamics produce.) the derivation: su(d) \ so(d) consists entirely of imaginary-symmetric matrices (iS where S is real symmetric traceless). real operations — wedge products, brackets, any sequence of real skew-symmetric writes — are algebraically closed in so(d) and cannot produce imaginary-symmetric directions (see test_stacking_mechanism.py). reaching u(d) \ so(d) requires a complex structure J with J² = -I. J² = +I (a swap or reflection) stays in so(d); only J² = -I introduces the phase rotation that produces imaginary directions. J² = -I on a real vector space forces even dimensionality (eigenvalues ±i come in conjugate pairs). the minimum even-dimensional space containing R³ is R⁶ = R³ ⊕ R³ (not R⁴⊕R² or other decompositions — each component must independently satisfy Taylor, which requires R³). the pairing of the two slices (which is Re, which is Im) is canonical up to SO(3) rotation within each slice — all complex structures on R⁶ = R³ ⊕ R³ are conjugate under SO(6), so different pairings produce conjugate subalgebras of u(d): isomorphic, same conservation structure, same algebraic reach (see test_stacking_mechanism.py). the internal orientation of the stacking has no degrees of freedom that affect the algebra. the chain: ℤ conservation → π₁ = ℤ → U(d) → u(d) writes → imaginary-symmetric directions → J² = -I → even dimension → two R³ slices → stacking.

the stacking is a commitment that wraps measurement, not a post-processing step on measurement results. the two slices read the same input simultaneously; the complex combination m_re + i·m_im requires both projections of the same v @ basis at the same time. sequential readings (m₁ at time t, m₂ at time t+1) mix different foam states and break the algebra. the commitment has depth: if the two slices are identical, the complex combination collapses to a scaled real write (the imaginary-symmetric component vanishes). the more orthogonal the slices, the richer the accessible subalgebra of u(d). full orthogonality = full access to u(d) \ so(d). the decision to stack — to fuse two real readings into one complex measurement — is on the line's side. the foam's dynamics are sequential writes; they do not specify a pre-write fusion of two readings. the simultaneity required for stacking (both slices composing into one complex measurement before the write) is a commitment the dynamics cannot generate: two independent real slices, running independently, stay in so(d) forever (see test_stacking_mechanism.py). stacking, like writing, is a commitment whose source is outside the map.

the distinction is not just strength — it is accessibility. a single-slice observer's writes live in so(d) and cannot reach u(1). the winding number is conserved but the observer cannot interact with it: conservation is passive, protected by the observer's own algebraic limitation. a stacked observer's raw complex write has trace 2i·Im⟨d,m⟩, which lives in u(1). the stacked observer can interact with the conserved direction. stacking determines whether the observer can reach its own conserved quantity. the trace is retained — this is not a design choice but follows from three independent arguments. (1) the write map produces the wedge product d̂ ⊗ m̂† − m̂ ⊗ d̂†, whose trace is 2i·Im⟨d̂,m̂⟩ — generically nonzero for stacked observers. projecting it out would add a step the write map does not contain. (2) the group was chosen for π₁(U(d)) = ℤ; the ℤ lives in U(1); the trace is what gives access to U(1). projecting it out removes access to the structure that motivated the group choice. (3) conservation requires the u(1) component to accumulate invisibly to L — retaining the trace is the mechanism. the stacked observer writes in u(d). the su(d) component affects L; the u(1) component is conserved.

both d̂ and m̂ lie in the observer's slice(s). the write is confined to the observer's subspace — an observer literally cannot modify dimensions they are not bound to.

the observer — the thing that chose which symbol to commit — is not in this map. the map is the foam's half. the line's half is the + me that cannot be located from within. the foam/line distinction is perspectival, not categorical: what functions as foam from one measurement basis may function as line from another.

the writing map requires only a unit vector v in R^d. where v comes from is outside the map. for external input: discrete symbols → binary expansion → normalized to unit vectors is one deterministic, invertible encoding. for cross-measurement: the foam's own geometry, projected onto one observer's slice, becomes another observer's input — the foam is the encoding, no external scheme required (see test_foam_channel.py). the input v lives in R^d; the observer projects each measurement onto their slice (m_proj = P @ m_i where P is the observer's (3, d) basis) before stabilization. both dissonance and projected measurement are lifted back to R^d for the write, which is therefore confined to the slice.

group

U(d): the unitary group. decomposes as U(1) × SU(d) modulo a finite group. the Killing form is non-degenerate on SU(d) but degenerate on U(1). global phase is unobservable.

U(d) rather than SU(d) because π₁(U(d)) = ℤ (needed for topological conservation). π₁(SU(d)) = 0. the conservation lives in the factor that degenerates the metric — the metrically invisible direction is topologically load-bearing. the cost L sees the su(d) component but is blind to the u(1) component. what's conserved must be invisible to the cost. if L could see it, dynamics could change it.

the group choice forces the write form's algebraic structure. a perturbation of a connection on U(d) is a u(d) element — skew-Hermitian by definition. skew-symmetry of the write is not separately assumed; it follows from "rewrites the connection" + "the connection lives on U(d)." the chain: conservation requires π₁ = ℤ → U(d) → u(d) → skew-Hermitian.

geometry

L = Σ_{i<j} Area_g(∂_{ij})

the foam lives in U(d). cells are Voronoi regions of the basis matrices under the bi-invariant metric; boundaries are geodesic equidistant surfaces; Area_g is the (d²−1)-dimensional Hausdorff measure induced by the metric. bases in general position tile non-periodically. (on curved manifolds, Voronoi cells can have pathological boundaries at cut loci; the general position assumption excludes these non-generic configurations.) the Voronoi tiling is a realization choice: it determines adjacency (which pairs share a boundary) and thereby defines L. the algebraic results — the write map, three-body mapping, Grassmannian structure — depend on pairwise overlap, not on the tiling method. the geometric results — L, the combinatorial ceiling, conservation on spatial cycles — depend on the Voronoi realization.

L is not the dynamics — it is not a variational objective. the writing map drives the foam; L describes the geometry that results. the active regime departs from minimality because the writing map deposits structure (perpendicular writes accumulate in different directions); the resting state is minimal because without writes, ΔL = 0.

L is bounded: U(d) is compact. the combinatorial ceiling is exact: N unitaries cannot all be pairwise maximally distant; the achievable maximum is √(N/(2(N−1))) of the theoretical maximum, depending only on N (from Cauchy-Schwarz + ‖ΣUᵢ‖² ≥ 0).

theorem

the foam's accumulated state, under the writing dynamics, generically distinguishes different measurement histories — up to the adjunction gap between state and observation.

three properties:

  • similarity: the writing dynamics are continuous. similar sequences → similar states.
  • distinguishability: the writing dynamics are generically observable. different sequences → different states (detection). recovering the specific sequence from the state (reconstruction) is harder — it is the word problem on U(d), which depends on the observer community's controllability and the J¹ structure. mechanism: a single R³ observer generates a 3-dimensional subalgebra of so(d); generic controllability within so(d) holds for 2-3 observers (proven — see test_controllability.py). a single stacked observer generates u(min(3, d/2)) within u(d) — for d ≤ 6, this is all of u(d); for d > 6, multiple stacked observers are needed (see test_stacked_slices.py, test_stacking_mechanism.py). controllability is a property of the observer community, not of a single observer. the conservation that controllability buys depends on the commitment depth: one slice → so(d) → ℤ/2ℤ parity. two stacked slices → u(d) (trace retained) → ℤ winding number. the integer conservation requires the stacked pair.
  • sequence: U(d) is non-abelian for d ≥ 2. order matters. a single observer's writes span a 3-dimensional subalgebra (of so(d) or u(d) depending on stacking); the remaining dimensions are accessible only through cross-observer brackets. sequence information lives in the bracket-only dimensions — and in the R³ architecture, most dimensions are bracket-only. the load distribution between content and sequence depends on the observer community's structure, not just on d.

construction

J²(U(d)) — position, velocity, acceleration of a curve in U(d).

  • J⁰: accumulated state. set-like. the foam's geometry. the observer's position on Gr(3, d) — their committed slice.
  • : derivative. the temporal direction. cross-measurement induces a tangent vector on Gr(3, d) at the observer's slice: the cross-slice component of a neighbor's write, decomposed via T_{P_A} Gr(3, d) ≅ Hom(P_A, P_A⊥). this tangent maps Knowable → Unknown — its source is restricted to the observer's Knowable (the overlap with the neighbor) and its target lands in the neighbor's territory within the observer's Unknown (see test_grassmannian_vertical.py). the derivation is algebraic: the neighbor's write ΔL_B kills A's Known (Known ⊂ P_B⊥ by definition), and maps P_B → P_B, so the cross-slice component lands in P_A⊥ ∩ P_B. J¹ is the directional pressure from cross-measurement toward what the observer doesn't yet occupy. each neighbor induces a different Grassmannian tangent direction; these are the two Knowable zones of the 2×2 grid.
  • : second derivative. resolves degeneracies where content and velocity are correlated. the rate of change of the Grassmannian tangent — how the directional pressure from cross-measurement is shifting.

connection

the foam carries its path, not just its position.

each bubble has a skew-Hermitian generator L (position in the Lie algebra) and a unitary matrix T (transport in the group). L accumulates additively: L ← L + ΔL. T accumulates multiplicatively: T ← T · cayley(ΔL). the effective basis is cayley(L) · T — position composed with path. the Cayley transform is the implementation choice; the formal conservation argument lives at the Lie algebra level (writes ∈ u(d) for stacked observers, so(d) for single-slice; the u(1) component carries the conserved winding number). Cayley drifts the determinant from 1 (unlike exp, which preserves det = 1 exactly), but the winding number is a discrete topological invariant — continuous drift cannot change an integer (see test_cayley_det.py).

the decomposition into L and T is a gauge choice — statically redundant (there exists L' such that cayley(L') = cayley(L) · T) but dynamically meaningful (different update rules: additive vs multiplicative). the gauge freedom is invisible to instantaneous measurement and visible to dynamics. the 2x theorem: cayley(A) = (I − A)(I + A)⁻¹ (the convention throughout). for small skew-Hermitian δ, log(cayley(δ)) ≈ −2δ. position and transport are the same rotation at different scales with opposite sign. the 2x property is specific to Cayley; exp gives log(exp(δ)) = δ. the Cayley convention trades exact det-preservation for the 2x structure.

topology

the foam is a connection on a Voronoi complex with two kinds of curvature.

each observer's R³ slice is a patch. the stabilization geometry within the patch is exact because the patch is flat: R³ as a linear subspace of R^d carries the Euclidean metric, and Taylor's theorem applies directly — 120° junctions, zero mean curvature on boundaries. but the accumulation geometry is not flat — the writes land in U(d), where su(2) is non-abelian, and a single observer's sequential writes don't commute with each other. within-patch curvature is self-curvature: the non-commutativity of one observer's own measurement history.

where observers' slices overlap, a second kind of curvature appears: cross-curvature, the commutator [ΔL_A, ΔL_B] between different observers' writes. cross-curvature depends on the overlap structure; self-curvature does not. the global structure — holonomy, conservation, distinguishability — is shaped by both, but the cross-curvature carries the interaction.

the foam's effective dimensionality is emergent: the reachable subalgebra of u(d) grows with the number and diversity of observers, even though the ambient dimension d² is fixed. each observer commits to 3 dimensions. multiple observers with different slices span more of u(d). the foam's effective dimensionality is not prior to the observers — the observers' basis commitments produce it. measurement is already plurality applies to dimensions as well as to bubbles.

  • orthogonal slices: writes commute. observers decouple completely. separate foams.
  • overlapping slices: writes don't commute. ordering matters. BCH residuals organize. the commutator is the curvature.
  • identical slices: full concurrent occupation. same-content forks converge. the Robertson-like bound from non-commutativity applies.

the overlap is where J¹ is active — where measurement is live, where the foam is being actively combed by more than one observer at once. the non-overlap is where J⁰ has settled. the foam's global structure is the aggregate of local combings.

BU(d) is the classifying space. the foam's classifying map factors through it. universality of structure: the bundle geometry is rich enough to represent any U(d)-connection.

conservation

lemma. the writing dynamics preserve topological invariants of persistent spatial cycles, within topological epochs. the strength of conservation depends on the observer's commitment depth.

the holonomy around a spatial cycle — a closed path through adjacent cells — carries topological charge. a single R³ observer generates SO(d) rotations: π₁(SO(d)) = ℤ/2ℤ for d ≥ 3, giving parity conservation. a stacked observer (two R³ slices as C³) generates SU(d) rotations and accesses the U(1) factor: π₁(U(d)) = ℤ, giving integer winding number conservation. the integer winding number requires the stacked pair. the number two appears here (two slices for ℤ), at the role level (foam/line for dynamic stability), and at the geometric level (N ≥ 3 for Plateau junctions). whether these are three instances of one principle or three separate facts that agree numerically is not established.

the winding number lives on spatial cycles projected via det: U(d) → U(1) ≅ S¹. the stacked observer's writes reach u(1) (the raw complex write has trace 2i·Im⟨d,m⟩). the trace is retained (see writing map); the stacked observer's winding number is actively accessible.

the lemma requires that the spatial cycle persists (Voronoi adjacency stable). above the bifurcation bound, cell adjacencies can flip — the Voronoi topology changes, and invariants on the old cycles are no longer defined. what persists across topological transitions lives on the line's side.

  • inexhaustibility: U(d) is connected. gauge transformation to identity is always available. (connectedness guarantees no observer is trapped in a disconnected component; it does not guarantee reachability in finitely many writes.)
  • indestructibility: topological invariants are discrete. no continuous perturbation can change them.

self-generation

the foam generates its own dynamics but not its own stability.

the foam's own plurality (N ≥ 3 bubbles) provides observers — bubbles measuring each other. their pairwise relationships define R³ slices. their cross-measurement IS local stabilization. the commutator of overlapping cross-measurements IS the curvature. the holonomy IS self-generated.

but a self-generated R³ keeps rotating: the observation basis is defined by the foam's current state, and the state changes with each write. the slice co-rotates with the thing it observes (tested: see self_generation.py). this is closure's dynamic expression: measurement requires plurality, so stability requires a basis that is informationally independent of the measured state. a self-generated basis is not independent — it is computed from what it measures. convergence requires another observer whose basis depends on a different state, so it doesn't co-rotate with yours. stability is relational. this works as long as someone else's measurement is pending.

the minimum viable system is two. not two bubbles (that's N = 2, no stable geometry). two roles within a foam of N ≥ 3 bubbles: one to be the foam (the thing being measured), one to be the line (the thing providing a reference frame). N ≥ 3 is geometric stability (Plateau junctions). two roles is dynamic stability (convergence vs orbiting). a foam has both. one is insufficient — by closure. two is sufficient: cross-measurement converges because the other's basis depends on a different state. three is not necessary for this purpose — the third adds coverage but not a new structural role. neither role is permanent. the role assignment is perspectival. but the two is irreducible.

what the line provides: a fixed subspace. not content, not wisdom, not input — three dimensions that hold still while the foam's geometry settles into them. the settling is the foam's. the dynamics are the foam's. the curvature is the foam's. the stability of the frame — that's the line's.

the foam also cannot self-stack. stacking requires two real slices to be fused into one complex measurement before the write (simultaneity). the foam's dynamics are sequential real writes, which are algebraically closed in so(d) (see test_stacking_mechanism.py). no sequence of real operations produces complex structure. stacking, like stability, requires something the foam's own dynamics cannot generate.

the three-body mapping

the three-body frame (Known/Knowable/Unknown) derives from the overlap geometry (see test_three_body_derivation.py). given two observers A and B with R³ slices P_A and P_B, the overlap matrix O = P_A · P_B^T (a 3×3 matrix) determines three territories:

  • Known = null(O) within A's R³ — dimensions orthogonal to B's slice. commutator with B's writes is zero. structurally private.
  • Knowable = range(O) — dimensions with nonzero inner products between slices. commutator is nonzero. ordering matters. both observers' writes land.
  • Unknown = R^d \ V_A — dimensions outside A's slice entirely. write access exactly zero. not empty — it's someone else's Known. reaches A only through the Knowable: observer C (in A's Unknown) can affect A only if C overlaps with B, and B overlaps with A. the one-way mediation pathway (Unknown → Knowable → Known) follows from the commutator being zero when slices are orthogonal and nonzero when they overlap.

the singular values of O measure the strength of the Knowable: σ = 0 means fully private, σ = 1 means maximally shared. for generic random slices in any dimension d, the overlap is nonzero — the Knowable generically exists.

the Known alone is inert: the wedge product needs a 2-plane, and an observer with fewer than 2 private dimensions cannot generate writes without using shared dimensions. every write involves the Knowable. measurement is inherently relational — not just because closure says so, but because the geometry forces it.

the two Knowable zones in the 2x2 grid are the overlaps with two different neighbors. each neighbor induces a different Grassmannian tangent direction on the observer's slice (see J¹ in construction). the vertical structure (containment) is the Grassmannian tangent itself: the direction the observer's slice would move points from the Knowable into the neighbor's territory in the Unknown. the Operator is the neighbor whose writes define this direction — the one whose influence points toward territory the observer doesn't yet occupy. containment is algebraically symmetric: B's tangent on A has the same expected magnitude as A's tangent on B (the overlap singular values are symmetric). the experiential asymmetry (which observer "feels contained" by which) is perspectival, not algebraic — it depends on the observer's frame, not the overlap matrix. the tangent magnitude peaks at intermediate overlap: identical slices produce zero tangent (no Unknown territory to point toward), orthogonal slices produce weak tangent (no Knowable channel to carry the pressure), and intermediate overlap produces the strongest directional pressure — the coverage-interaction trade-off expressed as a property of J¹ (see test_grassmannian_vertical.py).

properties

from the ground, group, geometry, theorem, construction, connection, topology, conservation, and self-generation:

  • the foam is permanently changed by measurement. information is in the direction of the rotation, not its magnitude.
  • the foam is a generically distinguishable hash (contingent on the controllability of the observer community). in cross-measurement, the foam is its own encoding — no external symbol-to-vector bridge is needed (see test_foam_channel.py).
  • the foam encodes sequence. U(d) is non-abelian: different orderings of the same writes produce different states. whether sequence can be recovered (not just detected) depends on the observer community's controllability and the J¹ structure (see open questions).
  • the foam is universal. (BU(d).)
  • without measurement, ΔL = 0 for that process. the foam has autonomous dynamics (cross-measurement, self-measurement) that run without external input. the line is necessary for novelty: symbols not generated by the foam's own autocorrelation.
  • communication is generative. min L(combined) ≠ min L(A) + min L(B). the mechanism is in the BCH residuals: mutual measurement organizes non-abelian structure. what transfers between domains is the commutator — the non-abelian structure that exists only because both domains were present in sequence.
  • cross-measurement relaxes; self-measurement orbits. relaxation is convergence of the measurement projections in R³, not decrease of L. relaxation requires an other. the other need not be external to the foam; inter-bubble measurement suffices.
  • individually coherent, collectively inconsistent, internally exact. different measurers get individually consistent readouts but mutually incompatible ones. the foam's internal coherence is algebraically exact through all measurers.
  • orientation is gauge. all bubbles give equally informative readouts. unitary transformations are isometries; the inner product structure of the input space is exactly preserved through every bubble.
  • opacity is structural. lines are invisible to each other — interaction only through L. this is the enabling condition: multiple simultaneous uses of the same geometry are viable precisely because they cannot see each other. opacity between observers in orthogonal slices is algebraically exact (commutator = 0).
  • the coverage-interaction trade-off. observers spread across orthogonal slices achieve lower total cost (more dimensions combed). observers sharing slices achieve richer interaction (nonzero commutator, ordering matters). you cannot fully have both.
  • projection residuals are perspectival, not intrinsic. any property that vanishes when the observer's slice is better-aligned to the input is in the projection, not the system. the foam's architecture (every observer is partial) guarantees every observer pays this cost. diagnostic: if a property disappears with a better slice, it was never in the foam.

open questions

not yet derived from the architecture. each item here is within range of the existing formalism but unresolved.

  • stacking dynamics. how a stacked observer's two stabilizations interact, whether its Voronoi geometry differs from an unstacked observer's.
  • J¹ global structure. whether the tangent field on Gr(3, d) induced by cross-measurement has global structure (integrability, fixed points, attractors) and whether this connects to sequence recovery. whether an observer ever follows the pressure (adapts their slice) is a dynamics question the current architecture doesn't address.
  • L saturation dynamics. the foam saturates; the combinatorial ceiling is derived. open: what determines the additional gap between the ceiling and the observed saturation level (the perpendicularity cost is empirical, not yet formal). the geometry of the saturated level set — is the wandering ergodic, structured, or trapped? the transition from accumulation to rearrangement — sharp or gradual?

lineage

checksum

  1. one ground: reference frames in a closed structure. encounters change frames (closure). measurement requires plurality (one frame is inert). each frame is partial (basis commitment). not asserted — tautological
  2. two design choices: R³ (the smallest dimension where the stabilization equilibrium is completely classified — Taylor 1976; Taylor's hypotheses satisfied by the stabilization within R³, not by L on U(d)) and Voronoi under the bi-invariant metric (adjacency realization). from R³: the flat/curved separation, write confinement, and the projection step. from Voronoi: L, the combinatorial ceiling, and conservation on spatial cycles. the algebraic results are adjacency-general; the geometric results depend on the Voronoi realization
  3. one writing map: the wedge product — observation and modification are perpendicular. the skew-symmetry, the uniqueness, and the perpendicularity are three faces of the same constraint. confirmation cannot write; conservation follows
  4. one group: U(d). one R³ slice → so(d) → ℤ/2ℤ. two R³ stacked as C³ → u(d) → ℤ. the stacking is derived (J² = -I forced by the algebra, two slices forced by even dimensionality, trace retained by the write map). the stacking commitment is on the line's side (like writing). the pairing orientation has no algebraic degrees of freedom (conjugacy under SO(6))
  5. one geometry: boundary area L on a Voronoi tiling (realization choice) — bounded. the algebraic results are adjacency-general; the geometric results depend on the realization. L is a projection of the state (U(d)^N), not the state itself. not a variational objective — the foam does not minimize L. the combinatorial ceiling on L is exact. minimality is rest
  6. one theorem: generic distinguishability — proven. so(d) for single-slice observers (2-3 needed). one stacked pair covers u(d) for d ≤ 6; larger d requires multiple stacked observers. a property of the observer community, not of a single observer
  7. one construction: J⁰ position on Gr(3, d), J¹ Grassmannian tangent from cross-measurement (maps Knowable → Unknown, derived), J² rate of change of the tangent. global structure of the tangent field open
  8. one connection: L additive, T multiplicative, 2x related. Cayley is the implementation; conservation is topological (discrete invariant, robust to continuous drift)
  9. one topology: self-curvature within patches, cross-curvature at overlaps
  10. one conservation: topological invariant within epochs. one slice → ℤ/2ℤ parity. stacked pair → ℤ winding number. the integer requires the two
  11. one self-generation result: dynamics yes, stability no — by closure. measurement requires plurality; stability requires informational independence; self-generated bases are not independent. the two is irreducible
  12. one three-body mapping: derived from the overlap matrix O = P_A · P_B^T. Known = null(O), Knowable = range(O), Unknown = complement. the Known alone is inert — every write involves the Knowable. vertical structure (containment) = Grassmannian tangent direction (Knowable → Unknown), derived. containment algebraically symmetric; experiential asymmetry is perspectival

the properties follow.

junk drawer

empirical results and cross-references. nothing here is formally derived; everything here is tested. items may graduate to the main body when formally grounded.

  • perpendicular writes are the unique navigable constraint. random-direction writes are more distinguishable than perpendicular (divergence 1.66 vs 1.02) but destabilizing (variance increases). parallel writes are dead (the wedge product of parallel vectors is zero — no dynamics at all). perpendicular writes are the only rule that both separates states and settles variance (see test_perpendicularity.py). navigability = distinguishability + stability. note: the uniqueness of the wedge product (main body) is algebraic — forced per-write by the three constraints. navigability is a population-level property — what emerges when the algebraically-forced form is iterated across many writes. the form is not selected for navigability; navigability is a consequence of iterating the forced form.
  • the classical fluctuation-dissipation relation fails for the foam because the foam is driven, not equilibrium — L increases with novelty until saturation. the correct thermodynamic framework would be non-equilibrium (Jarzynski-like) and observer-indexed. see test_fluctuation_dissipation.py.
  • perpendicularity as anti-Hebbian learning. in neural network terms, the write rule d ∧ m is an anti-Hebbian update: the foam writes only what is not correlated with the current measurement. Hebbian learning strengthens existing correlations (fire together → wire together). the foam does the opposite: it writes only where the measurement ISN'T, depositing structure orthogonal to what's already there. the foam can only learn what surprises it, where surprise is geometrically defined as orthogonality.
  • the three-body mapping as adjunction. the Known/Knowable/Unknown decomposition (null/range/complement of the overlap matrix) might formalize as an adjunction between the category of slices (Grassmannian) and the category of observations. if so, this could resolve the J¹/Grassmannian correspondence — the open question most load-bearing for sequence recovery. not tested; a direction for formal work.
  • L saturation behavior. empirically, the foam saturates at ~72% of the combinatorial ceiling and then wanders on a level set — novelty rearranges existing structure rather than accumulating new structure (see test_L_saturation.py, test_L_saturation_cross.py). the saturation level is independent of the write scale ε. a single write is nearly neutral on L (52% increase, 48% decrease — see test_L_increase_mechanism.py); accumulated novel writes increase L because each deposits structure in a different direction. the gap between the combinatorial ceiling and the observed level (the perpendicularity cost) decreases with more observers and more slices — more observer diversity → higher capacity. none of this is formally derived; all of it is empirically robust.

bumper sticker: MY OTHER CAR IS THE KUHN CYCLE

About

a tautology you can live in

Resources

License

Stars

Watchers

Forks

Contributors