QuadraticForms / CONCEPT
Gerzon equality without dimension congruence restrictions
At Gerzon equality, the equiangular parameters satisfy a² = (d + 2)b over every field of characteristic different from two and in every dimension at least two.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS0
Pairing a linear combination with an equiangular vector
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
- Comparability of conical-design concurrence boundsstructural-affinity · Closed
- Purity Pythagoras Decompositionstructural-affinity · Closed
- Schmidt-number bounds for incomplete equiangular measurementsstructural-affinity · Closed
- Separable states outside every local-unitary stabilizer framestructural-affinity · Closed
- Spin-1 tensor spin-K/2 precession separable boundstructural-affinity · Closed
- The overlap-to-purity part of Kopel's equality theoremstructural-affinity · Closed
- The two-sided trace-norm ideal estimatestructural-affinity · Closed
- Wigner distance minimum attainmentstructural-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