arXiv:2610.05307

Lifted surgery for non-Abelian two-block group-algebra codes

Tushar Pandey

quant-phSubmitted Oct 4, 2026• Announced Oct 6, 2026• 0 citations

Abstract

Code surgery measures a logical operator of a quantum LDPC code with $O(d)$ rounds of syndrome extraction. Lifted surgery amortises this cost on Abelian group-algebra codes by measuring an orbit of logical operators under a translation symmetry in one merged code. We extend it to two-block group-algebra codes over non-Abelian groups and ask whether non-commutativity lets one merged code measure more operators than any Abelian group of its symmetries. We classify the block-affine automorphisms of these codes and find that, measured against this full group, most apparent non-Abelian gains disappear. We prove that the gain is at most the index of a largest Abelian subgroup. We find codes with exact distance up to $13$ where the gain is two, including codes in which one merged code reads out every logical qubit, and codes over products of $A_4$, $S_4$ and SL(2,3) with gain three for a best logical, up to $[[336,26,12]]$. A merged-distance lemma gives a simple condition for the gadget to preserve the code distance. In circuit-level simulations with Relay-BP decoding, at the error rates we can resolve, the non-Abelian gadget is as reliable as, or more reliable than, the Abelian gadgets it replaces within statistical error, while using two to three times fewer rounds.

Comments: 25 pages, 3 figures, 8 tables

Related papers

Lifted surgery: Fast processing with QLDPC codes

Lucas Berent, Lawrence Z. Cohen, Armanda O. Quintavalle

quant-pharXiv:2609.11723Sep 11, 20260 citations

Bicycle Race: small two-block codes on the Pareto frontier

Gideon Lee

quant-pharXiv:2610.13880Oct 12, 20260 citations

Logical Spectroscopy: Lifted-Product Codes with Addressable Bases

Jong Yeon Lee

quant-pharXiv:2607.05386Jul 7, 20260 citations

Lifting Lifted Product Codes

Yuta Hirasaki, Jong Yeon Lee

quant-pharXiv:2607.28621Jul 31, 20260 citations

Logical computation with canonical lifted product codes

Han Zheng, Guo Zheng, Liang Jiang +1 more

quant-pharXiv:2607.28605Jul 31, 20260 citations

Quantum LDPC codes with design rate 1/5 and good performance below 1000 physical qubits

Yifan Hong

quant-pharXiv:2607.27644Jul 31, 20260 citations

arXiv:2610.05307

Lifted surgery for non-Abelian two-block group-algebra codes

Tushar Pandey

quant-phSubmitted Oct 4, 2026• Announced Oct 6, 2026• 0 citations

arXiv HTML PDF

Abstract

Code surgery measures a logical operator of a quantum LDPC code with

O(d)

rounds of syndrome extraction. Lifted surgery amortises this cost on Abelian group-algebra codes by measuring an orbit of logical operators under a translation symmetry in one merged code. We extend it to two-block group-algebra codes over non-Abelian groups and ask whether non-commutativity lets one merged code measure more operators than any Abelian group of its symmetries. We classify the block-affine automorphisms of these codes and find that, measured against this full group, most apparent non-Abelian gains disappear. We prove that the gain is at most the index of a largest Abelian subgroup. We find codes with exact distance up to

13

where the gain is two, including codes in which one merged code reads out every logical qubit, and codes over products of

A_4

S_4

and SL(2,3) with gain three for a best logical, up to

[[336,26,12]]

. A merged-distance lemma gives a simple condition for the gadget to preserve the code distance. In circuit-level simulations with Relay-BP decoding, at the error rates we can resolve, the non-Abelian gadget is as reliable as, or more reliable than, the Abelian gadgets it replaces within statistical error, while using two to three times fewer rounds.

Comments: 25 pages, 3 figures, 8 tables

Related papers

Lifted surgery: Fast processing with QLDPC codes

Lucas Berent, Lawrence Z. Cohen, Armanda O. Quintavalle

Quantum low-density parity-check (QLDPC) codes are a leading candidate for achieving low-overhead fault-tolerant quantum computing. However, the time overhead of logical operations in QLDPC codes remains a key challenge. Code surgery, a space-efficient technique for fault-tolerant logical measurements, incurs this overhead through repeated rounds of syndrome measurement. We introduce lifted surgery, a method for fast and parallel surgery on Abelian group algebra codes that maintains the low physical overhead that makes QLDPC codes attractive. Lifted surgery preserves the symmetries of the underlying code, making searches for large instances tractable and offering a natural route towards efficient hardware implementations. We utilise block decompositions and techniques from commutative algebra to characterise lifted surgery, investigate well-behaved subfamilies, and construct explicit examples. In particular, we present quantum radial codes with parameters $[[90, 8, 10]]$ and $[[198, 8, 16 ]]$ for which surgery is fast, parallel, and addressable, allowing arbitrary sets of independent logical operators of the same Pauli type to be measured in a single round of syndrome extraction. We benchmark lifted surgery under circuit-level depolarising noise and, for the $[[ 90, 8, 10 ]]$ code, find logical performance comparable to standard code surgery while requiring ten times fewer rounds of syndrome measurement. By combining speed and parallelism, lifted surgery offers a practical route towards low-overhead fault-tolerant quantum computing.Quantum low-density parity-check (QLDPC) codes are a leading candidate for achieving low-overhead fault-tolerant quantum computing. However, the time overhead of logical operations in QLDPC codes remains a key challenge. Code surgery, a space-efficient technique for fault-tolerant logical measurements, incurs this overhead through repeated rounds of syndrome measurement. We introduce lifted surgery, a method for fast and parallel surgery on Abelian group algebra codes that maintains the low physical overhead that makes QLDPC codes attractive. Lifted surgery preserves the symmetries of the underlying code, making searches for large instances tractable and offering a natural route towards efficient hardware implementations. We utilise block decompositions and techniques from commutative algebra to characterise lifted surgery, investigate well-behaved subfamilies, and construct explicit examples. In particular, we present quantum radial codes with parameters $[[90, 8, 10]]$ and $[[198, 8, 16 ]]$ for which surgery is fast, parallel, and addressable, allowing arbitrary sets of independent logical operators of the same Pauli type to be measured in a single round of syndrome extraction. We benchmark lifted surgery under circuit-level depolarising noise and, for the $[[ 90, 8, 10 ]]$ code, find logical performance comparable to standard code surgery while requiring ten times fewer rounds of syndrome measurement. By combining speed and parallelism, lifted surgery offers a practical route towards low-overhead fault-tolerant quantum computing.

quant-pharXiv:2609.11723Sep 11, 20260 citations

Bicycle Race: small two-block codes on the Pareto frontier

Gideon Lee

Two-block group-algebra codes are among the simplest quantum LDPC codes, and many of them are translation invariant on a twisted torus, which suits neutral-atom arrays and other platforms with movable qubits. We ask how far they go at small sizes when searched systematically across all groups. We use algebraic constraints and screens to design a search pipeline capable of enumerating broad and complete swathes of two-block codes on a laptop. With it we census about $10^8$ two-block codes with up to $320$ qubits at check weights five to nine. Several of these censuses are exhaustive, and support complete statements; for instance, the Gross code is, up to equivalence, the only abelian weight-six two-block code with $n \le 200$ to reach $kd^2/n=12$ , no weight-six two-block code with $n \le 300$ beats $[[288,16,16]]$ , and the known $[[64,18,8]]$ is the best two-block code by $kd^2/n$ across weights five to nine with $n \le 94$ . The censuses are also large enough to give insights into where good codes live - they concentrate in a handful of groups; abelian groups give the best codes at small $n$ and non-abelian groups at large $n$ , with the crossover appearing to move out as the check weight grows; and high quality codes become $100$ to $1000$ times rarer per draw from weight six to weights eight and nine. Using the group algebra and the census data to steer a statistical search finds four to fifteen times as many good codes as uniform draws in equal time. Among the codes found are $[[102,20,10]]$ and $[[120,24,10]]$ at check weight nine, which we simulate in noisy syndrome-extraction circuits, and $[[186,20,18]]$ , a weight-nine code with every check in a $5\times5$ window. At check weights seven to nine, our best codes exceed the best published $kd^2/n$ with exact distance at the same check weight in most length bands up to $320$ qubits. All codes are available in a public database.Two-block group-algebra codes are among the simplest quantum LDPC codes, and many of them are translation invariant on a twisted torus, which suits neutral-atom arrays and other platforms with movable qubits. We ask how far they go at small sizes when searched systematically across all groups. We use algebraic constraints and screens to design a search pipeline capable of enumerating broad and complete swathes of two-block codes on a laptop. With it we census about $10^8$ two-block codes with up to $320$ qubits at check weights five to nine. Several of these censuses are exhaustive, and support complete statements; for instance, the Gross code is, up to equivalence, the only abelian weight-six two-block code with $n \le 200$ to reach $kd^2/n=12$, no weight-six two-block code with $n \le 300$ beats $[[288,16,16]]$, and the known $[[64,18,8]]$ is the best two-block code by $kd^2/n$ across weights five to nine with $n \le 94$. The censuses are also large enough to give insights into where good codes live - they concentrate in a handful of groups; abelian groups give the best codes at small $n$ and non-abelian groups at large $n$, with the crossover appearing to move out as the check weight grows; and high quality codes become $100$ to $1000$ times rarer per draw from weight six to weights eight and nine. Using the group algebra and the census data to steer a statistical search finds four to fifteen times as many good codes as uniform draws in equal time. Among the codes found are $[[102,20,10]]$ and $[[120,24,10]]$ at check weight nine, which we simulate in noisy syndrome-extraction circuits, and $[[186,20,18]]$, a weight-nine code with every check in a $5\times5$ window. At check weights seven to nine, our best codes exceed the best published $kd^2/n$ with exact distance at the same check weight in most length bands up to $320$ qubits. All codes are available in a public database.

quant-pharXiv:2610.13880Oct 12, 20260 citations

Logical Spectroscopy: Lifted-Product Codes with Addressable Bases

Jong Yeon Lee

Quantum LDPC memories can encode many logical qubits, but that alone does not make them usable: applications need to know where the logical operators are supported, how they are labeled, and how conjugate $X/Z$ partners pair. For hypergraph-product codes this information follows from row reduction over $\mathbb{F}_2$ . For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emph{logical spectroscopy}. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair $X$ and $Z$ logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code's own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.Quantum LDPC memories can encode many logical qubits, but that alone does not make them usable: applications need to know where the logical operators are supported, how they are labeled, and how conjugate $X/Z$ partners pair. For hypergraph-product codes this information follows from row reduction over $\mathbb{F}_2$. For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emph{logical spectroscopy}. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair $X$ and $Z$ logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code's own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.

quant-pharXiv:2607.05386Jul 7, 20260 citations

Lifting Lifted Product Codes

Yuta Hirasaki, Jong Yeon Lee

Lifted product (LP) codes form an important class of quantum error correcting codes with favorable code parameters. We introduce a systematic construction of LP code families based on group extensions and graph lifts. The construction increases the code size while preserving the local structure of the Tanner graph, and relates code parameters, logical operators, and fault-tolerant logical-operation gadgets within the families through chain and cochain maps. As a first application, we obtain LP codes with better code parameters than previously reported ones. We then demonstrate that code-surgery gadgets can be transferred across the selected finite lifts through chain maps and, in several cases, implemented with lower space overhead. We also develop parallel product surgery for lifted clustered cyclic codes. Finally, we propose lifting as a systematic first step toward defining thermodynamic families for algebraically defined qLDPC codes without an underlying Euclidean lattice. For several base codes and selected lifts, coherent information exhibits finite-size crossings, while our results also indicate that additional conditions are needed to determine a unique family.Lifted product (LP) codes form an important class of quantum error correcting codes with favorable code parameters. We introduce a systematic construction of LP code families based on group extensions and graph lifts. The construction increases the code size while preserving the local structure of the Tanner graph, and relates code parameters, logical operators, and fault-tolerant logical-operation gadgets within the families through chain and cochain maps. As a first application, we obtain LP codes with better code parameters than previously reported ones. We then demonstrate that code-surgery gadgets can be transferred across the selected finite lifts through chain maps and, in several cases, implemented with lower space overhead. We also develop parallel product surgery for lifted clustered cyclic codes. Finally, we propose lifting as a systematic first step toward defining thermodynamic families for algebraically defined qLDPC codes without an underlying Euclidean lattice. For several base codes and selected lifts, coherent information exhibits finite-size crossings, while our results also indicate that additional conditions are needed to determine a unique family.

quant-pharXiv:2607.28621Jul 31, 20260 citations

Logical computation with canonical lifted product codes

Han Zheng, Guo Zheng, Liang Jiang +1 more

High-rate quantum low-density parity-check (qLDPC) codes encode many logical qubits with low physical-qubit overhead, but realizing efficient fault-tolerant computation on such dense encodings remains a major challenge. Generic, code-agnostic techniques such as code surgery and gate teleportation apply broadly, but are difficult to make modular, low-overhead, and fully certifiable on complex high-rate codes whose structure is left unexploited. Here we overcome these obstacles by co-designing the code together with its logical instruction set for a broad family of canonical lifted-product (LP) codes with cyclic symmetry. We show that these codes admit a canonical logical basis, in which conjugate logical operators are organized into rows and columns of cyclic orbits inherited directly from the underlying classical codes, analogous to the structure that makes hypergraph-product codes so tractable. This canonical basis enables universal logical processing using magic-state input and a constant number of reusable seed surgery gadgets---only two (resp. four) for a $[[1122,148,\leq 20]]$ (resp. $[[4350,1224,\leq 20]]$ ) LP code. A fixed extractor smaller than half the data block also enables arbitrarily high-weight logical Pauli-product measurements (PPMs) while preserving the code's cyclic symmetry. These codes also enable rigorously fault-tolerant parallel logic, including PPMs across all logical qubits and magic-state injection from many surface codes into a full LP block. For example, a $[[468,36,20]]$ (resp. $[[952,112,17]]$ ) code supports simultaneous measurements of arbitrary logically disjoint Pauli products with an ancilla overhead of roughly three (resp. four) times the data block size. These results advance the frontier of fault-tolerant quantum computation on ultra-high-rate quantum architectures.High-rate quantum low-density parity-check (qLDPC) codes encode many logical qubits with low physical-qubit overhead, but realizing efficient fault-tolerant computation on such dense encodings remains a major challenge. Generic, code-agnostic techniques such as code surgery and gate teleportation apply broadly, but are difficult to make modular, low-overhead, and fully certifiable on complex high-rate codes whose structure is left unexploited. Here we overcome these obstacles by co-designing the code together with its logical instruction set for a broad family of canonical lifted-product (LP) codes with cyclic symmetry. We show that these codes admit a canonical logical basis, in which conjugate logical operators are organized into rows and columns of cyclic orbits inherited directly from the underlying classical codes, analogous to the structure that makes hypergraph-product codes so tractable. This canonical basis enables universal logical processing using magic-state input and a constant number of reusable seed surgery gadgets---only two (resp. four) for a $[[1122,148,\leq 20]]$ (resp. $[[4350,1224,\leq 20]]$) LP code. A fixed extractor smaller than half the data block also enables arbitrarily high-weight logical Pauli-product measurements (PPMs) while preserving the code's cyclic symmetry. These codes also enable rigorously fault-tolerant parallel logic, including PPMs across all logical qubits and magic-state injection from many surface codes into a full LP block. For example, a $[[468,36,20]]$ (resp. $[[952,112,17]]$) code supports simultaneous measurements of arbitrary logically disjoint Pauli products with an ancilla overhead of roughly three (resp. four) times the data block size. These results advance the frontier of fault-tolerant quantum computation on ultra-high-rate quantum architectures.

quant-pharXiv:2607.28605Jul 31, 20260 citations

Quantum LDPC codes with design rate 1/5 and good performance below 1000 physical qubits

Yifan Hong

Constant-rate quantum low-density parity-check (LDPC) codes promise fault-tolerant quantum computation with constant spatial overhead in the asymptotic limit. Nonetheless, discovering finite-length code instances with good practical performance remains challenging. We introduce a new family of quantum LDPC codes with design rate $1/5$ and check weight $9$ that approaches the teraquop memory regime per qubit-round with several hundred physical qubits, under idling-free circuit-level noise of strength $0.1\%$ and GPU-accelerated Relay-belief-propagation (Relay-BP) decoding with average latencies around 1-2 ms, a regime relevant to trapped-ion and neutral-atom processors. The construction involves the balanced product of classical LDPC codes with design rate $1/2$ that share non-abelian $\mathbb{Z}_\ell \rtimes \mathbb{Z}_m$ group symmetries, which may be of independent interest for classical error correction. We build syndrome extraction circuits tailored to reconfigurable atom arrays using a simple greedy scheduler, with single-round rearrangement times around 30-60 ms using present hardware specifications, and substantial room for future improvements. We also construct logical Pauli bases that are equivariant with respect to the group symmetry, which can significantly compress the design space for code surgery. Together, these results further advance the practicality of constant-rate quantum LDPC codes for near-term, fault-tolerant quantum computers.Constant-rate quantum low-density parity-check (LDPC) codes promise fault-tolerant quantum computation with constant spatial overhead in the asymptotic limit. Nonetheless, discovering finite-length code instances with good practical performance remains challenging. We introduce a new family of quantum LDPC codes with design rate $1/5$ and check weight $9$ that approaches the teraquop memory regime per qubit-round with several hundred physical qubits, under idling-free circuit-level noise of strength $0.1\%$ and GPU-accelerated Relay-belief-propagation (Relay-BP) decoding with average latencies around 1-2 ms, a regime relevant to trapped-ion and neutral-atom processors. The construction involves the balanced product of classical LDPC codes with design rate $1/2$ that share non-abelian $\mathbb{Z}_\ell \rtimes \mathbb{Z}_m$ group symmetries, which may be of independent interest for classical error correction. We build syndrome extraction circuits tailored to reconfigurable atom arrays using a simple greedy scheduler, with single-round rearrangement times around 30-60 ms using present hardware specifications, and substantial room for future improvements. We also construct logical Pauli bases that are equivariant with respect to the group symmetry, which can significantly compress the design space for code surgery. Together, these results further advance the practicality of constant-rate quantum LDPC codes for near-term, fault-tolerant quantum computers.

quant-pharXiv:2607.27644Jul 31, 20260 citations

Code surgery measures a logical operator of a quantum LDPC code with

O(d)

13

where the gain is two, including codes in which one merged code reads out every logical qubit, and codes over products of

A_4

S_4

and SL(2,3) with gain three for a best logical, up to

[[336,26,12]]

[[90, 8, 10]]

and

[[198, 8, 16 ]]

for which surgery is fast, parallel, and addressable, allowing arbitrary sets of independent logical operators of the same Pauli type to be measured in a single round of syndrome extraction. We benchmark lifted surgery under circuit-level depolarising noise and, for the

[[ 90, 8, 10 ]]

code, find logical performance comparable to standard code surgery while requiring ten times fewer rounds of syndrome measurement. By combining speed and parallelism, lifted surgery offers a practical route towards low-overhead fault-tolerant quantum computing.

10^8

two-block codes with up to

320

qubits at check weights five to nine. Several of these censuses are exhaustive, and support complete statements; for instance, the Gross code is, up to equivalence, the only abelian weight-six two-block code with

n \le 200

to reach

kd^2/n=12

, no weight-six two-block code with

n \le 300

beats

[[288,16,16]]

, and the known

[[64,18,8]]

is the best two-block code by

kd^2/n

across weights five to nine with

n \le 94

. The censuses are also large enough to give insights into where good codes live - they concentrate in a handful of groups; abelian groups give the best codes at small

n

and non-abelian groups at large

n

, with the crossover appearing to move out as the check weight grows; and high quality codes become

100

1000

times rarer per draw from weight six to weights eight and nine. Using the group algebra and the census data to steer a statistical search finds four to fifteen times as many good codes as uniform draws in equal time. Among the codes found are

[[102,20,10]]

and

[[120,24,10]]

at check weight nine, which we simulate in noisy syndrome-extraction circuits, and

[[186,20,18]]

, a weight-nine code with every check in a

5\times5

window. At check weights seven to nine, our best codes exceed the best published

kd^2/n

with exact distance at the same check weight in most length bands up to

320

qubits. All codes are available in a public database.

X/Z

partners pair. For hypergraph-product codes this information follows from row reduction over

\mathbb{F}_2

. For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emph{logical spectroscopy}. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair

X

and

Z

logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code's own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.

[[1122,148,\leq 20]]

(resp.

[[4350,1224,\leq 20]]

) LP code. A fixed extractor smaller than half the data block also enables arbitrarily high-weight logical Pauli-product measurements (PPMs) while preserving the code's cyclic symmetry. These codes also enable rigorously fault-tolerant parallel logic, including PPMs across all logical qubits and magic-state injection from many surface codes into a full LP block. For example, a

[[468,36,20]]

(resp.

[[952,112,17]]

) code supports simultaneous measurements of arbitrary logically disjoint Pauli products with an ancilla overhead of roughly three (resp. four) times the data block size. These results advance the frontier of fault-tolerant quantum computation on ultra-high-rate quantum architectures.

1/5

and check weight

9

that approaches the teraquop memory regime per qubit-round with several hundred physical qubits, under idling-free circuit-level noise of strength

0.1\%

and GPU-accelerated Relay-belief-propagation (Relay-BP) decoding with average latencies around 1-2 ms, a regime relevant to trapped-ion and neutral-atom processors. The construction involves the balanced product of classical LDPC codes with design rate

1/2

that share non-abelian

\mathbb{Z}_\ell \rtimes \mathbb{Z}_m

group symmetries, which may be of independent interest for classical error correction. We build syndrome extraction circuits tailored to reconfigurable atom arrays using a simple greedy scheduler, with single-round rearrangement times around 30-60 ms using present hardware specifications, and substantial room for future improvements. We also construct logical Pauli bases that are equivariant with respect to the group symmetry, which can significantly compress the design space for code surgery. Together, these results further advance the practicality of constant-rate quantum LDPC codes for near-term, fault-tolerant quantum computers.