operator
Hypergraph product
A binary construction that takes any two rectangular classical parity-check maps and returns one CSS stabilizer code. Its physical qubits are the disjoint bit×bit and check×check pairs of the factors; its X and Z checks occupy the complementary check×bit and bit×check pairs. The shipped repetition-factor instance is only a small visual witness of this general factor-to-output rule, not the definition of the construction or evidence for properties of every HGP output family.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:hypergraph_product#operatorT2 — preserved-operator-scopeeczoo-entity:hypergraph_product#collectionT0 — new-image-skeleton
Researched operational entry
The formal core, operations, and typed relations meet the T2 Corpus boundary; full Reader-Contract pedagogy is not implied.
One orienting visual
Orienting view
Inspect constructor-derived qubits, stabilizers, and logical paths without leaving the entry. Visual instance: rep3xrep3
At a glance
Executable-target parameters
form: operator formal target: css formal target: product
Constructor variables
L1- Length of the first open-repetition factor in the shipped visual witness; integer L1 >= 2. This is not a restriction on the general HGP operation.
L2- Length of the second open-repetition factor in the shipped visual witness; integer L2 >= 2. This is not a restriction on the general HGP operation.
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| rep3xrep3 | n=13 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:hypergraph_product#operator. Formalization target: eczoo-entity:hypergraph_product#operator. Legacy vocabulary: exact construction projection.
Source/entity binding: clean.