Quantum / CONCEPT
Spin-1 tensor spin-K/2 precession separable bound
The spin-1 tensor spin-K/2 precession protocol has separable bound ½ [1 + 2^{−(K−1)} binom(K−1, (K−1)/2) (K−1)/(K+1)] for every odd K ≥ 7. This is Conjecture 2, Eq. (32), of Huynh-Vu, Zaw and Scarani (arXiv:2311.00806v2).
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES6
PROOF DEPTH0
DOCUMENT LINKS0
Proof of the separable bound
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
- Hardware Circuit Factorstruth-dependency · Closed
- Schmidt-number bounds for incomplete equiangular measurementstruth-dependency · Closed
- Singlet padding and the universal precession thresholdtruth-dependency · Closed
- Temporal Hardy attainment for every positive spintruth-dependency · Closed
- The mixed-memory hierarchy is not completetruth-dependency · Closed
- The most classical orthonormal basis of spin 3/2truth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Gerzon equality without dimension congruence restrictionsstructural-affinity · Closed
- Hardware Circuit Factorsstructural-affinity · Closed
- Purity Pythagoras Decompositionstructural-affinity · Closed
- Schmidt-number bounds for incomplete equiangular measurementsstructural-affinity · Closed
- Singlet padding and the universal precession thresholdstructural-affinity · Closed
- Temporal Hardy attainment for every positive spinstructural-affinity · Closed
- The mixed-memory hierarchy is not completestructural-affinity · Closed
- The most classical orthonormal basis of spin 3/2structural-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