QuadraticForms / CONCEPT
The original observation lift and its symplectic complement
A positive Hamiltonian with a closed surjective observation map determines complementary symplectic subspaces through the original energy lift.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS0
The positive lift, its inverse, and the two restricted forms
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Integral Energy and Finite Oscillator Sublevelsstructural-affinity · Closed
- Binary Gauss Sums and the Determinant Modulo Eightstructural-affinity · Closed
- Finite-Dimensional Symplectic Basisstructural-affinity · Closed
- Finite-Mode Positive Williamson Formstructural-affinity · Closed
- The Actual Finite Twisted-Ground Operator Algebrastructural-affinity · Closed
- The binary delta invariant for a fixed skew-symmetrizerstructural-affinity · Closed
- The full coupled observation-compatible coordinate theoremstructural-affinity · Closed
- The Reflection-Twisted Lattice Ground Representationstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance