Quantum / CONCEPT
A nice error basis code whose stabilizer group is not normal
In the projective error model of Proposition 8.1 with n = 2, a group of order 16 acting on C^4, the code spanned by (1, 1, 1, 1) has four logical operators and four stabilizers, so their orders multiply to the order of the group, yet the stabilizers do not form a normal subgroup.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
The example
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 cooling transition with no ground-space thermal realizationstructural-affinity · Closed
- A qubit pure-program obstructionstructural-affinity · Closed
- Environment Marginal Channelstructural-affinity · Closed
- Finite Shifted Record Realizationstructural-affinity · Closed
- Hermitian SLD energystructural-affinity · Closed
- Partial Trace and Quantum Mutual Informationstructural-affinity · Closed
- Pure covariant programs do not match the mixed dimensionstructural-affinity · Closed
- The sharp A|BC constant of the GHZ measurestructural-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