Quantum / CONCEPT
The single-pass butterfly fails the relative exterior-square two-design bound
A minor of every single-pass stride-doubling unitary butterfly vanishes. Its fourth-power Haar average is positive, so the lower relative completely positive bound forces error at least one in every dimension 2^K with K at least two.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
Refutation in arbitrary dimension
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 stabilizer measurement beyond every maximally entangled onestructural-affinity · Closed
- Coherence damping fails for complex hoppingstructural-affinity · Closed
- Forbidden Neighbour Determinantstructural-affinity · Closed
- Separable states outside every local-unitary stabilizer framestructural-affinity · Closed
- Supersymmetric fermion chain: HardCoreCompressionstructural-affinity · Closed
- Weil: Sylvesterstructural-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