Relations

special_case_of → quantum_hamming_css

This fixed block is the four-coordinate member of the binary CSS quantum Hamming construction. The relation records that family specialization without replacing this EC-Zoo-mapped fixed-block identity by the variable-length family.

References: steane1996simple, calderbank1996good

gauge_fixes_to → quantum_reed_muller_15

In the shared ordering of the fifteen nonzero four-bit labels, retain the four Hamming X checks and enlarge the four-dimensional Hamming Z row space to the ten-dimensional orthogonal complement of the coordinate rows plus the all-one row. The six added commuting Z constraints fix six Hamming logical degrees of freedom, changing k from seven to one. The entry regression verifies both row-space containment and the target constructor, so the two blocks are related by gauge-out rather than identified as alternative presentations.

References: steane1996simple, steane1996quantumrm