QuantumBounds / CONCEPT
A Regular Unit-Circle Sum Bound
The sum of distances from a unit complex phase to the negatives of the regular d-th roots is at most twice the cosecant of pi over twice d.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH2
DOCUMENT LINKS0
The absolute cosine sum
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
- Arithmetic of the Weyl Window Rootstructural-affinity · Closed
- Finite Cyclic Window Registerstructural-affinity · Closed
- Powers of Weyl Displacement Wordsstructural-affinity · Closed
- Sharp half-circle sign sums and signed rotationsstructural-affinity · Closed
- SIC fiducials beyond Clifford-stabilizer statesstructural-affinity · Closed
- The Adjoint of a Weyl Displacement Wordstructural-affinity · Closed
- The Perito Bell bound and its attaining strategystructural-affinity · Closed
- Trace Pairings for Weyl Displacement Wordsstructural-affinity · Closed
- Unitary spectral blocks and the tensor boundstructural-affinity · Closed
- Weyl Displacement Words over a Finite Cyclic Windowstructural-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