Quantum / CONCEPT
Binary Lagrangian subspaces in graph form
After exchanging the two coordinates at a set of positions and a diagonal shear, every Lagrangian subspace of a binary symplectic space is the graph of a symmetric matrix with zero diagonal.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
Every Lagrangian subspace is a graph after a swap and a shear
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A state stabilized by binary operators that is not locally a stabilizer statestructural-affinity · Closed
- Bilinear coordinates for a ternary translation formstructural-affinity · Closed
- Quadratic amplitudes and the graph form of stabilizer statesstructural-affinity · Closed
- Spin covariance and Dicke coordinatesstructural-affinity · Closed
- Ternary mode orbits and partition countingstructural-affinity · Closed
- Ternary partition transport and four-party countingstructural-affinity · Closed
- The ternary replica collapse for four-party stabilizer statesstructural-affinity · Closed
- Three-qubit stabilizer polar elementsstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance