C2 Codes: Quantum, Classical & Geometric Insights

• C2 codes are families of codes defined in quantum, classical, and geometric contexts, each with unique algebraic, combinatorial, or geometric structures.
• In the quantum setting, C2 codes use hypergraph product constructions from cyclic codes to achieve low logical error rates and constant-depth syndrome extraction, enhancing fault tolerance.
• In classical and geometric frameworks, quasi-cyclic codes of index 2 and complex spherical 2-codes provide precise duality conditions and optimal distance bounds, enabling efficient error correction and design of tight two-distance sets.

C2 codes refer to several distinct, highly structured families of codes that arise in classical and quantum information theory as well as combinatorial geometry. These include: (1) quantum hypergraph product codes constructed from the product of a cyclic code with itself; (2) quasi-cyclic codes of index 2 in classical coding theory; and (3) complex spherical two-distance sets—often called complex 2-codes—in geometric coding theory. Each context confers a precise algebraic, combinatorial, or geometric structure and offers unique optimality or performance properties relative to their domain.

1. Quantum Hypergraph Product Codes from Cyclic Codes: The “C2” Construction

C2 codes in the context of quantum error correction are quantum low-density parity-check (LDPC) codes formed as a hypergraph product (HGP) of a binary cyclic code with itself. Given a classical cyclic code $C$ of length $n$ and dimension $k$ with minimum distance $d_C$, its parity-check matrix $H$ is circulant, with each row being a cyclic shift of a generator vector of weight $w$. The hypergraph product quantum code is constructed via Calderbank-Shor-Steane (CSS) checks as: $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$ This yields code parameters:

• Blocklength: $N = n^2 + (n-k)^2$
• Number of logical qubits: $K = k^2$
• Minimum distance: $d = d_C$ (when $n$0, as is often achievable in cyclic families).

Notably, both $n$1- and $n$2-type stabilizer generators are regular of weight $n$3, enforcing uniform low-weight checks. C2 codes systematically outperform prior HGPs (optimized with progressive edge growth, simulated annealing, RL, etc.): for example, the code $n$4 (from $n$5 cyclic) achieves per-round logical error rate $n$6 at $n$7 with $n$8 overhead, while $n$9 attains $k$0 with overhead $k$1, significantly lower than surface or bivariate bicycle codes.

C2 codes are particularly suited for trapped ion (QCCD) architectures, supporting a planar cyclic layout that enables regular, constant-depth syndrome extraction: syndrome rounds proceed via cyclically shifting ancillae and enacting CNOT/CZ gates with aligned data, requiring depth $k$2 per round, independent of $k$3.

2. Classification and Structure of Quasi-Cyclic Codes of Index 2 (“QC Index 2” Codes)

In classical coding theory, a quasi-cyclic code of index 2 and length $k$4 over $k$5 is defined as a code invariant under shift by $k$6, or equivalently as an $k$7-submodule of $k$8 where $k$9. Every such code $d_C$0 has a unique characterization: $d_C$1 where $d_C$2 divide $d_C$3, and $d_C$4, with $d_C$5 dividing $d_C$6. The dimension is $d_C$7. When $d_C$8, a one-generator criterion holds: $d_C$9.

Duals with respect to the standard (Euclidean), symplectic, and Hermitian inner products are fully described. For instance, the Euclidean dual admits generators: $H$0 where $H$1. Self-orthogonality and dual-containing properties have explicit algebraic conditions, and analogous statements hold under symplectic and Hermitian forms.

Minimum distance is bounded below by

$H$2

where $H$3, $H$4, $H$5, $H$6. This lower bound can be tight, as in explicit constructions over $H$7 for small $H$8 (e.g., the unique $H$9 code with $w$0, $w$1, $w$2) (Abdukhalikov et al., 1 Apr 2025).

3. Complex Spherical 2-Codes (“C₂-codes”): Geometric Two-Distance Sets

In combinatorial geometry, a complex spherical 2-code is a finite subset $w$3 of the unit sphere in $w$4 such that the angle set $w$5 has cardinality $w$6, with the two values being nonreal (conjugate) complex numbers. The existence and tightness of such sets are governed by the structure of associated tournaments and certain matrix conditions:

• If $w$7 is odd, the absolute bound is $w$8, tightness if and only if the tournament on $w$9 (given by “angle $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$0”) is doubly regular of order $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$1.
• If $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$2 is even, $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$3, with equality if and only if $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$4 is a skew Hadamard matrix of order $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$5.

Explicit tight examples exist via skew-symmetric D-optimal designs (e.g., for $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$6, Paley’s $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$7 skew Hadamard matrix yields a tight 2-code in $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$8).

The embedding dimension of the associated tournament into $$H_X = [H \otimes I_n \mid I_{n-k} \otimes H^{T}], \;\;\; H_Z = [I_n \otimes H \mid H^{T} \otimes I_{n-k}].$$9 is determined by the spectrum of its Seidel matrix $N = n^2 + (n-k)^2$0. Representation dimension minimization relies on eigenvalue multiplicities and the so-called main angle (overlap with the all-ones vector), establishing exact embedding parameters via analytic formulas based on spectral interlacing and rank-one perturbation theory (Nozaki et al., 2015).

4. Tables of Representative Parameters and Performance

For quantum C2 codes, codes identified via exhaustive search (for $N = n^2 + (n-k)^2$1, $N = n^2 + (n-k)^2$2) have the following representative parameters:

Code [[N,K,d]]	Classical C [n,k,$N = n^2 + (n-k)^2$3]	Weight $N = n^2 + (n-k)^2$4	Overhead $N = n^2 + (n-k)^2$5
[[450, 32, 8]]	[15, 7, 8]	3	$N = n^2 + (n-k)^2$614.1
[[882, 98, 8]]	[21, 7, 8]	4	9.0
[[882, 50, 10]]	[21, 5, 10]	3	17.6

Corresponding logical error rates (per qubit per round, depolarizing noise $N = n^2 + (n-k)^2$7):

Code	Logical Error Rate	Overhead	Distance $N = n^2 + (n-k)^2$8
[[450, 32, 8]]	$N = n^2 + (n-k)^2$9	14.1	8
[[882, 50, 10]]	$K = k^2$0	17.6	10
Surface [[113,1,8]]	$K = k^2$1	113	8

These C2 codes exhibit logical error rates up to three orders of magnitude better than previous LDPC and surface codes at significantly reduced physical overhead.

5. Trade-offs, Advantages, and Limitations

Key trade-offs for quantum C2 codes include:

• Pros: Constant-depth and fully parallel syndrome extraction; regular low-weight stabilizers; constant encoding rate in the asymptotic limit ($K = k^2$2); minimum distance grows linearly with that of the constituent cyclic code.
• Cons: Block length $K = k^2$3 scales quadratically with $K = k^2$4, producing large code "patches" for high minimum distance; implementation of cyclic shifts may conflict with hardware connectivity, especially for large $K = k^2$5 or generator weight $K = k^2$6.

For quasi-cyclic codes of index 2, algebraic characterizations ensure tractable generator and dual structure, but the block size and generator constraints may limit certain rate-distance combinations. Tightness in complex spherical 2-codes is fully characterized and only realized for highly restricted combinatorial structures (doubly regular tournaments, skew Hadamard matrices), imposing severe constraints on dimensions and cardinalities.

6. Future Directions and Open Problems

Potential directions for advancing quantum C2 codes include exploring codes with increased generator weight $K = k^2$7 to raise $K = k^2$8, combining cyclic symmetry with graph-expansion methods such as progressive edge growth, and optimizing circuit schedules for simultaneous logical operations and ancilla shifts. Design of fault-tolerant logical gates (using lattice surgery or code-switching) and hardware-specific optimizations (for overlap between cyclic shifts and quantum gates) remain open for achieving further performance gains.

In classical quasi-cyclic codes of index 2, extension to higher index or composite-length settings, and exploitation of symplectic or Hermitian duality structures for cryptographic or post-quantum applications, remain active research streams.

The classification of tight and maximal complex spherical 2-codes is complete up to isomorphism; however, the construction of new families connected to previously unclassified combinatorial designs or the realization of such sets in physical quantum state deployments present plausible future investigations.