IndisputableMonolith.Quantum.PointerStates

The Quantum.PointerStates module defines basis states, pointer states, environments, and neutral windows for the preferred basis problem in Recognition Science quantum mechanics. It links pointer states to the predictability sieve, Lindblad eigenstates, and J-cost minimization. Physicists modeling decoherence and classical emergence in RS frameworks would cite these constructions. The module consists of definitions and short lemmas without elaborate internal proofs.

claimIn Hilbert space $H$, a basis state $|brangle$ is an element of an orthonormal basis. A pointer state is a state selected by the predictability sieve that remains stable under environmental coupling. Neutral windows are intervals of minimal J-cost. The environment is modeled as a roomEnvironment whose interactions select pointer states as Lindblad eigenstates.