Relations

special_case_of → homological_product

Binary HGP is the length-two CSS specialization of the broader homological-product operation on chain complexes. Surface and quantum-expander entries instead point to this construction with typed product_of edges; reversing those edges would confuse an operation with one of its output families.

References: tillich2009quantum, bravyi2013homological