Non-CSS Parametrization

• Non-CSS parametrization is a systematic framework for constructing quantum codes with stabilizers that mix X, Y, and Z operators, enabling richer error syndrome structures.
• It integrates algebraic methods like the Goursat-based framework with graph-state measurement techniques to derive explicit formulas for code distance and logical operators.
• This approach optimizes quantum error correction by tailoring code parameters, trade-offs, and topological features in both 2D color codes and 3D lattice models.

Non-CSS parametrization refers to the systematic description and construction of stabilizer codes and related quantum codes whose stabilizer groups are not restricted to products of purely X-type or Z-type Pauli operators. This is in contrast to CSS (Calderbank-Shor-Steane) codes, which admit a parameterization via pairs of classical linear codes and split stabilizer generators into commuting X- and Z-type parts. In non-CSS codes, stabilizers generically mix X, Y, and Z operators, resulting in richer code structures, error syndromes, and logical operator properties. Recent work has elucidated explicit frameworks for non-CSS parametrization, deepened the understanding of their operational and topological features, and demonstrated concrete non-CSS families with advantageous error-correcting or hardware-tailored properties.

1. Algebraic Parametrization of Non-CSS Stabilizer Codes

A foundational result in non-CSS parametrization arises from the Goursat-based framework for subsystem stabilizer codes, as detailed in (Liu et al., 2023). Consider a Pauli group on $n$ $p$-ary qudits, represented with symplectic vector space $V=G\times G$, $G=\mathbb{F}_p^n$. Any subgroup $H\leq V$ (the gauge group modulo phases) is characterized up to equivalence by the four classical codes

$$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$

$$E_Z = \{z\in G \mid \exists x:(x,z)\in H\}, \quad N_Z = \{z \mid (0,z)\in H\},$$

together with a canonical isomorphism

$\phi: E_X/N_X \rightarrow E_Z/N_Z,$

such that

$$H = \{(x,z)\in E_X\times E_Z \mid \phi(x+N_X)=z+N_Z\}.$$

This parametrization strictly generalizes the CSS case: for CSS codes, $H=H_X\times H_Z$, corresponding to $p$0, $p$1, $p$2, $p$3, and $p$4 is the trivial isomorphism.

An arbitrary non-CSS code is thus parametrized as a "twisted product" of two subspaces—encoding all stabilizer, logical, and gauge properties into the algebraic data $p$5 (Liu et al., 2023). This approach provides direct formulas for the dimensions of code parameters, logicals, and gauge subsystems, as well as closed-form expressions for code distance and operator supports in terms of these subspaces and their intersections.

2. Non-CSS Code Construction via Graph and Cluster-State Measurements

Measurement-based quantum codes provide a highly flexible route to non-CSS code families through projective measurements on cluster or graph states. Begin with an $p$6-qubit cluster state $p$7 defined by a graph $p$8, whose stabilizers are $p$9. A measurement on qubit $V=G\times G$0 in a rotated basis $V=G\times G$1 partitions $V=G\times G$2 into commuting and anticommuting sets with respect to the measurement. The post-measurement code has stabilizer generators constructed from the surviving $V=G\times G$3, together with products of anticommuting pairs, all projected onto the remaining $V=G\times G$4 qubits. This recipe yields a continuous family of $V=G\times G$5 non-CSS codes parameterized by both the graph $V=G\times G$6 and the measurement angle $V=G\times G$7, with explicit construction of both stabilizer group and logical operators (Shaw et al., 2022).

Graph-based measurement reduction produces families of rate-optimal non-CSS codes, such as the $V=G\times G$8 "bare" ancilla code and its generalizations to larger $V=G\times G$9. The free parameters for these families are determined by the (non-planar) adjacency of the parent graph and the measurement location, providing a parametric map from graph-theoretic data to non-CSS code families (Gupta et al., 21 Jan 2025).

3. Structural and Physical Properties of Non-CSS Code Families

Non-CSS codes exhibit diverse properties in terms of error syndromes, logical operator mixing, and energetics:

• In 2D color codes, parametrization via local bulk patterns $G=\mathbb{F}_p^n$0—the number of stabilizers violated by single-qubit $G=\mathbb{F}_p^n$1 errors—yields a taxonomy: $G=\mathbb{F}_p^n$2 (CSS), $G=\mathbb{F}_p^n$3 (non-CSS, deconfined/confined), and $G=\mathbb{F}_p^n$4 (fully non-CSS, maximally mixed). Each pattern encodes different local error energetics and logical operator composition while preserving the global code space and topological order (Padmanabhan et al., 2021).
• In 3D, the parameterization is fundamentally topological: logical qubits are counted by the second Betti number $G=\mathbb{F}_p^n$5 of the 3-manifold, and stabilizer supports are specified by the tessellation geometry. Unlike CSS codes, each non-CSS stabilizer generator mixes a single Pauli type, conferring symmetry between bit- and phase-flip errors (Kim, 2010).

Non-CSS codes can be engineered to optimize rate (e.g., minimizing $G=\mathbb{F}_p^n$6 in $G=\mathbb{F}_p^n$7 constructions), support transversal Clifford gates, and protect against biased noise channels due to the mixed nature of their stabilizers and logical operators (Gupta et al., 21 Jan 2025, Padmanabhan et al., 2021).

4. Dualities, Topological Order, and Mapping to Physical Models

Many non-CSS codes admit geometric and topological parametrization in relation to physical models:

• 3D non-CSS codes constructed on a 4-valent tessellation realize ground states with $G=\mathbb{F}_p^n$8 degeneracy, corresponding to the second Betti number, and support both string-like and surface-like logical operatiors. The partition function maps onto an Ising gauge theory, and under Wegner duality, to a 3D Ising model on the dual lattice. The parameterization by topological invariants directly controls phase transitions and finite-temperature stability (Kim, 2010).
• In 2D non-CSS color codes, local unitary mappings demonstrate LU-equivalence of code spaces between CSS and non-CSS variants, implying invariance of long-range physical properties such as ground-state degeneracy and anyon content, despite parametric differences in local excitation energetics (Padmanabhan et al., 2021).

5. Algorithmic and Non-Intrusive Parametrization in Parametric Problems

Parametrization in the context of numerical solution of parametric and stochastic PDEs distinguishes between intrusive and non-intrusive methods. A non-intrusive Galerkin parametrization allows for the efficient construction of parametric solution maps $G=\mathbb{F}_p^n$9 without requiring direct manipulation of the operator $H\leq V$0. Instead, the parametric solution $H\leq V$1 is evaluated using quadrature, basis function evaluations, and repeated calls to a "black-box" single-parameter solver at quadrature points. This non-intrusive methodology enables the use of existing solvers for coupled parametric problems, with convergence guarantees and error bounds inherited from the underlying solver properties (Giraldi et al., 2013).

6. Scaling, Trade-offs, and Performance Implications

Non-CSS parametrization enables explicit characterization of code parameters:

Family/Geometry	Parametric Scaling (n, k, d)	Notable Parametric Feature
3D non-CSS (bitruncated cubic honeycomb)	$H\leq V$2, $H\leq V$3, $H\leq V$4	$H\leq V$5 given by 2nd Betti number of manifold
2D color code (pattern $H\leq V$6)	$H\leq V$7, $H\leq V$8, $H\leq V$9 depends on lattice	Code family tuned by vertex pattern $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$0
"Bare" non-CSS ancilla code	$$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$1, $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$2	$$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$3 optimized via graph adjacency for rate/distance

Minimizing $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$4 subject to constraints on distance and syndrome uniqueness leads to rate-optimal constructions (e.g., $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$5 as the smallest bare ancilla code with $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$6) (Gupta et al., 21 Jan 2025). In general, increasing $$E_X = \{x\in G \mid \exists z:(x,z)\in H\}, \quad N_X = \{x \mid (x,0)\in H\},$$7 in non-CSS code families can create redundancy but not increase distance. The parametrization framework also accounts for performance under different physical noise models and syndrome measurement procedures.

7. Summary and Context

Non-CSS parametrization generalizes the classical CSS framework, accommodating the full diversity of stabilizer codes, including those whose generators and logical operators mix multiple Pauli types. Recent progress has provided both algebraic and constructive recipes: Goursat's Lemma formalizes the parameter map from classical code data and isomorphisms to general (possibly non-CSS) stabilizer codes (Liu et al., 2023); measurement-based schemes define entire parametric families from graph-theoretic and measurement data (Shaw et al., 2022, Gupta et al., 21 Jan 2025). Physical implementations benefit from the non-CSS structure with respect to logical operator mixing, optimal rates, and topological protection, while non-intrusive computational parametrizations in other domains facilitate the solution of high-dimensional coupled systems with minimal solver modification (Giraldi et al., 2013). Non-CSS parametrization thereby underpins both the mathematical structure and practical construction of quantum codes and parametric models across quantum information and computational mathematics.