| PROVED |
Monotonicity under Coarse-Graining For any refinement B of partition A, Sobs(ρ, B) ≤ Sobs(ρ, A). |
A more precise observer with finer sensors can never measure higher observational entropy than a coarser observer. Proved via POVM data-processing inequality. |
| PROVED |
Invariance of Microscopic Entropy SGibbs(ρ(t)) = SGibbs(ρ(0)) under Hamiltonian flow. |
Liouville's theorem proves phase-space volume conservation; symplectic maps preserve exact microscopic density, meaning fine-grained information is never destroyed. |
| PROVED |
Exact Universal Bounds 0 ≤ Sobs(ρ, A) ≤ ln(Vtotal). |
Matches classical thermodynamic limits: zero for an observer with pinpoint measurement on a localized pure state, and bounded by maximum volume equilibrium. |
| CONJECTURE |
Generic Monotonicity in Closed Many-Body Systems 〈dSobs/dt〉 ≥ 0 for typical non-integrable initial conditions. |
While true for chaotic systems exhibiting mixing (like the Arnold Cat Map demonstrated above), rigorous proof without statistical typicality or random phase assumptions remains open for generic potentials. |
| CONJECTURE |
Cosmological Low-Entropy Initial State Necessity Past Hypothesis derived from quantum observational entropy. |
Conjectured that the Universe began in an observational microstate of tiny macroscopic volume rather than fine-grained specialness, naturally generating the cosmological arrow of time. |