Thakur et al., arXiv:2609.10876 (2026) 的机器可读全文页。

文献信息

Thakur et al., arXiv:2609.10876 (2026),“Threshold Behavior of ZX and ZY Surface Codes Under Circuit-Level Biased and Crosstalk Noise”. arXiv:2609.10876 原文为 arXiv 预印本版本的机器可读转换,公式与图注以原文为准;本页仅作站内索引与全文查阅,引用请以正式出版物为准。

全文

Threshold Behavior of ZX and ZY Surface Codes Under Circuit-Level Biased and Crosstalk Noise

Pritesh Thakur1 and Jean-Fran¸cois Van Huele2

1Brandeis University, Waltham, MA, USA, pritesht@brandeis.edu 2Brigham Young University, Provo, UT, USA, vanhuele@byu.edu

Abstract

Studying the threshold behavior of surface codes under biased noise models is an active area of research. Previously Tuckett et al. (2018) [1], using an optimal tensor-network decoder, demonstrated that replacing Z-type stabilizers with Y-type stabilizers significantly improves the surface code threshold under code-capacity level dephasing noise. In this work, we construct and study a ZY surface code by replacing the X-type stabilizers with Y-type stabilizers. We compare it with the standard ZX surface code under circuit-level Pauli-X biased noise, with and without an additional gate-based XX crosstalk noise. We find that for the ZX surface code, the X-memory threshold increases monotonically with bias while the Z-memory threshold decreases and saturates. For the ZY surface code, the Y-memory threshold is nearly constant across all bias values. The Z-memory thresholds of the ZX and ZY codes are consistent within the uncertainty. Adding XX crosstalk reduces the Z-memory threshold beyond the fitting uncertainty while leaving the X memory threshold largely unafected. The choice of CNOT ordering redistributes threshold performance between the two logical memories. Our work extends prior observations from code-capacity level noise to circuit-level noise. It also indicates the need for decoders capable of jointly reasoning over correlated syndrome information so that tailored stabilizer structures could be fully utilized for quantum error correction.

1. Introduction

Richard Feynman emphasized the necessity of building fundamentally diferent computing machines that function on the laws of quantum mechanics to simulate quantum phenomena [2]. Many physical systems are being researched as potential candidates for useful qubits for large-scale quantum computing, including trapped ion qubits, superconducting qubits, neutral-atom qubits, spin qubits, topological qubits, and others [3–7]. None of these qubit candidates are perfect, as they sufer errors through diferent physical noise mechanisms, such as magnetic field fluctuations, pulse shape imperfections, flux noise, cosmic rays, and so on [3–6, 8, 9]. In the current Noisy Intermediate-Scale Quantum (NISQ) era, these types of noise challenge the construction of useful quantum computers [10]. Since there are physical limitations to how noise resistant the hardware can be, error correcting codes need to be built to detect and correct errors. Quantum error correction uses multiple qubits redundantly to create logical qubits that are robust against physical noise, increasing the accuracy of computations [11].

Surface codes are among the most promising candidates for fault-tolerant quantum error correction [12, 13]. However, unbiased physical noise is rare on realistic hardware. For example, superconducting qubits, trapped ions, and semiconductor spin qubits can fall into dephasing biased noise, i.e. Pauli-Z errors dominate over X and Y errors [6, 14, 15]. This asymmetry motivates the study of surface codes whose stabilizer structure is tailored to the dominant error. Ref. [1] demonstrated that replacing Z-type stabilizers of the standard surface code with Y-type stabilizers results in significantly improved thresholds under pure dephasing noise. However, that result was obtained under code-capacity level noise using tensor-network decoders, which are computationally expensive and not practical for real-time decoding. Unlike code-capacity noise, in circuit-level noise every gate, measurement, and reset operation is fully faulty, and the error correction must be performed with a practical matching decoder. It is an open question whether any distinct behavior introduced by Y-type stabilizers can also be seen under circuit-level noise and practical matching decoder.

In this work, to address this question, we construct a ZY surface code in which we replace the X-type stabilizers with Y-type stabilizers, and study it under Pauli-X (bit-flip) biased noise. We adopt the X-biased convention rather than the more common dephasing convention as a matter of relabeling. At the code-capacity level the two constructions are equivalent, since a transversal Hadamard relabels X to Z and vice versa. It maps a dephasing-biased noise channel onto an Xbiased one, leaves the standard surface code invariant, and because a Y-type stabilizer is invariant under this relabeling, it maps our ZY code onto the XY code of Ref. [1]. Thus, our comparison of ZY and ZX surface codes under X-biased noise is a mirror image of the comparison of the XY code and standard surface code under dephasing. Crucially, this equivalence holds only at code-capacity level. Under circuit-level noise it is broken by the fixed CNOT schedule and by the fixed basis in which ancillas are prepared and measured, so circuit-level behavior cannot be inferred from code-capacity results. We compare the threshold behavior of the ZY surface code with the standard ZX surface code under two circuit-level noise models: Pauli-X biased noise and a combined noise model that additionally includes gate-based XX crosstalk noise. The use of crosstalk noise was motivated by residual cross-resonance interactions in superconducting systems and Mølmer–Sørensen gate crosstalk trapped-ion systems [16, 17]. We use PyMatching v2.3.1 [18] to decode the surface codes. We simulate both the rotated and unrotated surface codes using two diferent CNOT orders for the stabilizer measurement. We sweep over nine values of the bias parameter (η) that span from unbiased depolarizing noise to pure X-biased noise.

This paper is organized as follows. In section 1.1, we give a background description of surface codes and introduce the construction of our ZY surface codes. In section 1.2, we give a background of memory experiments. In section 1.3, we introduce the diferent orders of performing CNOT operations for syndrome extraction and mention the CNOT orders we used. In section 2, we describe the noise model we implemented, our simulation pipeline and plotting logic. In sections 3 and 4, we present the results that we obtained from our experiments, and finally in section 5, we point towards future directions that can be pursued to extend this work.

1.1 Surface Code

The surface code is a topological stabilizer quantum error correction code originally introduced by Kitaev as toric codes in which qubits are distributed on the surface of a toroidal geometry [19]. Later, it was realized that the complicated toroidal geometry was not necessary and planar surface codes were created in which the qubits are arranged in a two-dimensional lattice [12]. The planar codes were further modified to create rotated surface codes that require half the number of physical qubits compared to the unrotated planar surface codes for the same distance d [20]. The distance d of a surface code is defined as the minimum number of physical-qubit errors required to cause an undetectable logical error. In this work, we have used both rotated and unrotated geometries. In surface codes, we have two types of qubits: data qubits (to store the information) and measurement qubits (to perform parity check). In the standard surface codes, there are two types of measurement qubits: measure-X qubits and measure-Z qubits.


Figure 1: A two-dimensional implementation of unrotated surface code with Z-type (green) and X-type (yellow) stabilizers. Each filled circle (•) denotes a measurement qubit, and each open circle (◦) denotes a data qubit. Each data qubit is surrounded by four measurement qubits and each measurement qubit is connected to four data qubits to perform syndrome extraction using the circuits shown in Fig. 2.

As it can be seen in Fig. 1, taking a surface code as an array of physical qubits arranged in a 2D grid, the data qubits are placed on the edges (e) of the grid, the X−stabilizer measurement qubits are placed on the vertices (v) of the grid, and the Z−stabilizer measurement qubits are placed in the plaquettes (p) of the grid. In this setup, the X−stabilizer generators can be defined as the product of Pauli X−operators acting on edges (e) surrounding the vertices i.e.,

and the Z−stabilizer generators can be defined as the product of Pauli Z− operators acting on the edges (e) enclosing the plaquette (p), i.e.,

In this research, we implemented Pauli-X biased noise. For X error in the standard surface code, the stabilizers consisting of products of X around the data qubits provide no useful syndrome information because the error commutes with the stabilizer. Since Pauli-Y anti-commutes with Pauli-Z (as X does), and each vertex and plaquette operator share an even number of data qubits, the new Y-type stabilizers commute with the retained Z-type stabilizers. So, the surface code formed after replacing the X-type stabilizers with Y-type stabilizers still forms a valid surface code. Thus, in the surface code we replaced the measure−X stabilizers from the vertex with measure−Y stabilizers, which can be formally defined as


(a)


(b)


(c)
Figure 2: Stabilizer measurement circuits of the Z stabilizer (a), X stabilizer (b), and Y stabilizer (c). Each filled circle (•) is the measurement qubit, that acts as an ancilla and performs repeated rounds of controlled operation on four data qubits to give parity information. That parity information helps us find out if an error occurred in the surface code. In the circuits, |g⟩ represents ground state initialization in the computational basis, and I on the ancilla of (a) denotes idle step when the ancilla for X checks and Y checks undergo H gate. The box with arrow at the end of each circuit denotes measurement in computational basis, and Ψ denotes the possible outcomes from the circuit.

Additionally, since Pauli-Y anti-commutes with both Pauli-X and Pauli-Z, it provides an ad ditional bit of syndrome information about the noise biased in X. Ref. [1] claims to have exploited similar extra bit of syndrome information in their XY surface code for pure dephasing noise. Using tensor-network decoders [21] would near-optimally utilize this additional bit of information to perform error correction. But in this research, we have implemented a very pessimistic noise model, assuming that each quantum operation is faulty, including syndrome extraction. Under circuit-level noise and noisy syndrome extraction, the decoding problem becomes three-dimensional, two spa tial dimensions and one time dimension. So, the maximum-likelihood decoding via tensor networks would require 3D tensor-network contraction [22]. Though [22] present a robust tensor network decoder for such 3D decoding problem, they are still only useful when decoding is to be performed ofline, and such decoders are computationally expensive. So, in this work, we used minimum-weight perfect matching algorithm PyMatching v2.3.1, which claims to support correlated matching and is still a more practical decoder [18]. Developing eficient and practical fault-tolerant decoders with the best achievable thresholds still remains a significant challenge in this field.

1.2 Memory Experiment

The main working mechanism of quantum error correction codes is to perform repeated stabilizer measurements on the data qubits to get the parity information without disturbing their encoded state [11, 12]. Standard surface codes have both measure-Z qubits and measure-X qubits that work together to protect the system from bit-flip and phase-flip errors respectively [12]. A Z(X)-memory experiment involves initializing the logical qubits at the eigenstate of state, which is done by initializing the data qubits in the eigenstate of state and performing the first round of stabilizer measurements to determine the original parity information of the system [12, 23]. Then after taking the system through 3d (where, d is the code distance) rounds of syndrome extraction, the logical qubit is measured by measuring the data qubits in basis, and then checking the parity under [23]. Then the collected parity information is decoded to determine if a logical error has occurred [18]. A logical error is recorded when the decoder’s inferred correction and the actual error chain difer by a nontrivial logical operator so that the recovered logical observable disagrees with the initialized logical state [12, 13]. The logical error rate is calculated per d rounds of stabilizer measurement. Then by performing Monte Carlo simulations for diferent physical error rates and distance (d), we plot against p [24]. The physical error rate below which increasing the code distance suppresses logical errors is called the threshold of the surface code [12, 13]. In this work, we introduce the Y-memory experiment, where the data qubits are initialized in the eigenstate of Y i.e., |i⟩ to prepare the logical qubit in the eigenstate of , and then parity is checked under

1.3 CNOT Order and Hook Errors

For parity check, each measurement qubit measures four data qubits. Thus, each data qubit is measured by four measure qubits (ancillas) [12]. In practical implementations, syndrome extraction is performed using ancilla qubits that interact with neighboring data qubits through two-qubit gates [12]. While performing these two-qubit CNOT operations (Controlled-Y operations for Y -type stabilizers), we should make sure that the order of the CNOT operations do not make syndrome information non-deterministic, and that we can parallelly perform the two-qubit gate operation without introducing unnecessary error in the system and without propagating error from one pai to another [25, 26]. Any CNOT order that does not introduce any such additional errors and does not propagate single qubit errors to other qubits is a valid CNOT order [26]. The copying of a single physical error to data qubits that align with a logical operator is called hook error [13]. The goal is to use a valid CNOT order that avoids hook errors.

There are many valid CNOT orders, but they can be divided into two categories [26]. Let us take the unrotated surface code. First, consider a case in which the second and third qubits are vertically aligned; we will call it X-aligned CNOT order. This order is shown in Fig. 3. Second, consider the case in which the second and third qubits are horizontally aligned. We call it Z-aligned CNOT order. Here, we want to emphasize that the terminology X-aligned and Z-aligned do not imply CNOT schedule that is hook-aligned with either of the logical observables. These labels were given by looking at the alignment of the second and third qubits in unrotated surface codes. The CNOT orders used in this paper avoid hook errors for the rotated surface codes.

Among the experiments performed by [26] on many CNOT orders, 10231203 is claimed to be the X-aligned CNOT order that has the worst threshold performance. So, we chose this CNOT order for this research, aligning with our maximally pessimistic philosophy. Additionally, for the Z-aligned case, we chose 01320312 CNOT order because all the Z-aligned CNOT orders show similar behavior [26]. Here, in the eight digit number used to define the CNOT order, the first four digits tell the order of CNOT performed for the X-type stabilizer measurement and the last four digits are used to tell the order of CNOT performed for Z-type stabilizer measurement. To better understand what these numbers mean, refer to Fig. 3. We present results obtained by performing memory experiments on both of these CNOT orders.

We want to emphasize that the ”X-aligned schedule” and ”Z-aligned schedule” in this paper refer to the second and third qubit in the stabilizer check process being aligned along the respective logical operators. This does not refer to the hook-direction alignment of the checks in rotated surface code. We have chosen the schedule for the rotated surface code such that the hook error is avoided.

Unrotated

Rotated


(a)


(b)


(c)
Figure 3: (a) Representations of syndrome extraction circuits for X-type stabilizer (upper diagram) and Z-type stabilizer (lower diagram). The upper most qubit in both circuits in (a) are measurement qubits that act as ancilla qubits, and the following four qubits are data qubits whose parity is measured by the circuit. (b) and (c) denote the order of performing CNOT gate in unrotated and rotated codes respectively. This figure shows 10231203 CNOT order, where the first four digits denote the order of CNOT operations in X-type stabilizer measurement circuit and the later four digits represent the order of CNOT operations in Z-type stabilizer measurement circuit. We call this CNOT order the X-aligned CNOT order in this paper because in this order the second and third qubits are aligned along the X-logical operator in unrotated surface code. The Z-aligned CNOT order can similarly be inferred referring to this diagram.

2. Methods

2.1 Error Model

In general, noise models can be categorized as independent noise models and correlated noise models. In the independent noise model we assume that the noise channel afects individual qubits independently, irrespective of change in any nearby qubits.

In this research, we simulate circuit-level noise that includes independent Pauli noise and crosstalk noise. Formally, the standard depolarizing channel for single-qubit state denoted by the density operator is given by [11]

More generally, it can be written as

where, . The action of this channel on the qubit state can be described as: with probability (1 − p), nothing happens to the qubit state, and with equal probability of each of the operators X, Y, and is applied to the qubit state. Here, p is the physical error rate.

The single-qubit Pauli noise channel can be redefined to work with varying probability of each error operator as

such that with probability nothing happens to the qubit, bit-flip error (X operator) is applied to the qubit with probability , phase-flip error (Z operator) is applied to the qubit with probability , and bit-phase flip error (Y operator) is applied with probability . For the Pauli-X biased noise model, we define a bias parameter η in terms of error probabilities , and as

The bias towards a certain noise in a system varies significantly based on the qubit processor and its complete system being considered [14, 15]. For simplicity, we consider [1]. Thus, when , we have , which is the standard depolarizing noise channel, i.e., all the error operators are applied with equal probability, and signifies a pure X-biased noise such that , and . Rearranging the equations, we can get the relation for , and in terms of and η as these are the two parameters that we vary in our simulations to simulate the noise under diferent physical error rates and diferent bias. The individual probabilities in terms of bias parameter η and physical error rate p are

The bias is set up such that . This ensures that the four channel probabilities, including the identity, sum to one. Additionally, it ensures that as the bias parameter increases, increases and, and decrease.

Similarly, after every two-qubit gate, we apply an independent two-qubit Pauli channel:

where . In the absence of correlated noise, the probabilities factorize as 2 corresponding to independent biased Pauli errors acting on each qubit.

In addition to biased Pauli noise, we include correlated XX crosstalk noise in our circuit-level error model. The unwanted coupling between target and spectator qubits due to control signal spillover is a well-documented error source in multiple quantum platforms, including cross-resonance interactions in superconducting qubits [16], Mølmer–Sørensen gate crosstalk in trapped-ion systems [17, 27], and Rydberg addressing leakage in neutral-atom systems [28]. Trapped-ion two-qubit gates are commonly realized as Mølmer–Sørensen (MS) gates. Here, a bichromatic laser drive entangles a pair of ions through an efective interaction, where sin is the spin operator along the equatorial-plane axis set by the laser phase ϕ. For this reduces to the XX-type coupling considered here. Because the addressing beam intended for a target ion i leaks partially onto its neighbors, a nearby spectator ion is weakly co-driven, producing a residual two body interaction between target and spectator. The strength of this leakage is quantified by the addressing crosstalk ratio , where is the Rabi frequency of the intended drive on the target ion and is the parasitic Rabi frequency induced on the spectator. Measured values of are typically 1–3% for nearest neighbors [17]. We note that in physical systems this crosstalk is predominantly coherent, and active suppression techniques exist [17].

In our simulations, we model residual crosstalk as a stochastic Pauli channel applied after each two-qubit gate. Among the four categories of crosstalk: gate-based and always-on, each arising between data-data or data-ancilla qubit pairs, we inject gate-based data-ancilla crosstalk, as it has been identified as the most detrimental to error correction performance by [29].

We set the crosstalk probability to . We choose this value to be small relative to the two-qubit gate error rates in our parameter sweep but large enough to produce observable efects on logical error rates. This allows us to study whether even weak residual correlated errors influence threshold behavior in surface codes under biased noise. We emphasize that is treated as a fixed parameter independent of the single-qubit physical error rate reflecting the fact that crosstalk arises from a distinct physical mechanism (e.g., optical addressing imperfections) rather than from the same source of gate infidelity parameterized by

Thus, we have applied circuit-level XX crosstalk noise in our surface codes. Formally, an N-qubit crosstalk noise is defined as

where, . As given by the following operator, we apply this XX crosstalk noise in the qubit pair after each two-qubit gate

Here, we make a maximally pessimistic assumption about occurrence of errors in syndrome extraction. Refer to Fig. 3a for syndrome extraction steps. Below are all the errors we introduce in each step of syndrome extraction process:

• Initialization error: In each memory experiment, data qubits are initialized in the corresponding eigenbasis. After initialization, a basis-dependent Pauli error that flips the prepared eigenstate is applied to the data qubits. Ancilla qubits are initialized in the computational (Z) basis, and a bit-flip (X) error is applied after initialization to model imperfect ancilla preparation.

• Single-qubit gate and idling error: After each single-qubit gate operation, a biased singlequbit Pauli channel is applied to the participating qubits. During the same time step, qubits on which no gate operation is performed are treated as idle qubits and the same biased single-qubit Pauli channel is applied to those qubits to model idling noise. Here, we use set the idling error rate to be same as the physical error rate (p).

• Two-qubit gate error: After each two-qubit gate operation, an independent two-qubit Pauli channel is applied to the participating qubit pairs. In circuit instances that include correlated noise, an additional pairwise correlated error is applied after each two-qubit gate with probability . Idle qubits during the same time step are subjected to the single-qubit Pauli channel

• Ancilla measurement, readout, and reset error: Ancilla qubits are measured in the computational (Z) basis for syndrome extraction. A bit-flip (X) error is applied immediately before measurement to model readout error, while a bit-flip error applied immediately after the reset operation to model imperfect reset and state preparation for the subsequent round.

• Final data-qubit readout error: At the end of the memory experiment, data qubits are measured in the corresponding basis. Immediately prior to this final measurement, a basisdependent Pauli error is applied to model measurement error by flipping the measurement outcome.

2.2 Simulation

We simulated X and Z memory experiments on the ZX surface code and Y and Z memory experiments on ZY surface code. We simulated both the rotated and unrotated geometries of these surface code structures under circuit-level noise. For the ZX surface code, we used two CNOT orders: the X-aligned CNOT order 10231203 and the Z-aligned CNOT order 01320312 as described in section 1.3. For the ZY surface code, we used only the X-aligned CNOT order 10231203. Doing the Z-aligned CNOT order for the ZY surface code is the beyond the scope of this work. All simulations were performed for surface codes of distances and bias parameters . For each combination, we swept the physical error rate p over 40 values spanning from with uneven gaps. Each circuit comprised 3d rounds of stabilizer measurement.

To generate the Stim [24] circuits for stabilizer measurement, we extended the Python circuitgeneration code [30] to support stabilizer configurations, Y -stabilizer measurement circuits, and customizable CNOT orderings. Monte Carlo sampling was performed using Sinter, Stim’s built-in sampling and statistics collection framework [24, 31]. For decoding, we used PyMatching v2.3.1 [18]. All the codes and the plots for this research can be found in this github repository: https://github.com/Pritesh402/zxzy-qec.

2.3 Threshold Extraction and Analysis

To study the error-correcting performance of each surface code variant, we plot the logical error rate as a function of the physical error rate for each code distance d and bias parameter η. The threshold is the critical physical error rate below which increasing the code distance suppresses logical errors, and above which increasing the code distance provides no error-correcting advantage. Although each circuit runs 3d rounds of stabilizer measurement (Sec. 2.2), we report per d rounds, following [26]. Running 3d rounds rather than d reduces time-boundary edge efects [23, 26]. The raw per-shot logical error rate is

where k is the number of observed logical failures and n is the total number of Monte Carlo trials. To perform meaningful comparison across code distances, we convert to a logical error rate per d rounds. For this conversion, we model the 3d-round experiment as three consecutive and independent blocks of d rounds. In each block, the logical state either remains correct (with probability or is flipped by a logical error (with probability . Since a logical error acts as a flip, the final logical state is incorrect only if an odd number of the three blocks produce a flip. The resulting per-shot error probability is therefore

Inverting this relation gives the reported logical error rate per d rounds:

For small , this reduces to , but the exact nonlinear inversion is used throughout this work. We estimate the uncertainties on by first computing the analytic root mean square error (RMSE) of the maximum likelihood estimator for the binomial parameter [32]

and then propagating this uncertainty through the nonlinear conversion in Eq. (15) via the delta method:

We plot the threshold curves on logarithmic axes as versus for each distance separately for each memory experiment type

To extract threshold estimates, we follow the critical exponent scaling method of [1, 33]. Near the threshold, the logical error rate is expected to obey a scaling ansatz of the form , where is the critical exponent. We fit our data in log-space to a truncated quadratic expansion of this scaling function:

where , and are free parameters determined by weighted nonlinear least-squares fitting. The weights are derived from the propagated uncertainties in log-space,

and the per-point RMSE is floored at 5% of the to prevent individual data points from dominating the fit. For each memory experiment type and bias parameter , the fit is performed over a data window centered on the expected threshold region. We determine the expected threshold region used here through visual inspection of the logical error rate plot.

3. Results

Here, we report the results obtained by simulating diferent noise models on diferent surface code structures. As discussed in section 2.1, we simulated two noise models, one with only Pauli-X biased noise, and another with an added XX crosstalk noise.

We simulated these noise models on both rotated and unrotated variants of the ZX and surface codes. For the ZX surface code, we simulated two diferent CNOT orders, which as discussed in section 1.3, we call X-aligned CNOT order and Z-aligned CNOT order. For these simulations, surface codes of distances to were used, with the bias parameters

In the following parts, we present all the results for each surface code type. Since there was a clear split in the results obtained from diferent memory experiments, we report diferent threshold values for each memory experiment type, X, Y, and as and respectively. The uncertainties from the scaling fits are not uniform across all threshold values. For the Z and Y memory experiments, whose thresholds vary only weakly with bias, we obtain across the full range of For the X memory experiments, whose thresholds increase substantially with bias, increases accordingly, from at low bias to at high bias . Therefore, we quote a separate fit uncertainty for each reported threshold value rather than a single global value. We want to emphasize that the quoted uncertainties are statistical fit uncertainties only. The range of and is same for all the plots shown here. Every numerical value reported in this section carries its own fitting uncertainty . The diference between two threshold values is assessed against the combined fitting uncertainty evaluated from the individual uncertainties of the two values being compared.

Table 1: Summary of surface-code configurations by figure and table.

TableFigureCode typeGeometryCNOT typeNoise
T.2Fig.4Fig.5ZXRotatedUnrotatedX-alignedPauli-X biased
T.3Fig.6Fig.7ZXRotatedUnrotatedX-alignedPauli-X biased + crosstalk
T.4Fig.8Fig.9ZXRotatedUnrotatedZ-alignedPauli-X biased
T.5Fig.10Fig.11ZXRotatedUnrotatedZ-alignedPauli-X biased + crosstalk
T.6Fig.12Fig.13ZYRotatedUnrotatedX-alignedPauli-X biased
T.7Fig.14Fig.15ZYRotatedUnrotatedX-alignedPauli-X biased + crosstalk

3.1 ZX Surface Code with X-aligned CNOT Order

In this section, we first present the results obtained by simulating the Pauli-X biased noise on the rotated and unrotated variants of the standard ZX surface code with X-aligned CNOT order (Table 2, Figs. 4, 5). Then, we present the results obtained by simulating both Pauli-X biased noise and gate-based XX crosstalk noise on the same surface codes (Table 3, Figs. 6, 7).

Table 2: Threshold values for the ZX surface code with X-aligned CNOT order, under Pauli-X biased noise. Here, η denotes bias parameter, denotes X-memory threshold and denotes Z-memory threshold. The Z-memory thresholds carry a statistical fitting uncertainty at all η; the X-memory fit uncertainty increases with bias, from at low bias to for

Rotated Surface CodeUnrotated Surface Code
0.50.4280.4280.4620.458
10.5660.3860.5840.403
30.9900.3211.0050.349
101.8990.2961.9990.312
303.7380.2843.8390.302
1006.7960.2806.9090.298
30011.1080.27811.4320.296
100016.3650.27717.1480.295
-0.276-0.294

Table 3: Threshold values for the ZX surface code with X-aligned CNOT order, under Pauli-X biased noise and additional XX crosstalk noise. Here, denotes bias parameter, denotes X-memory threshold and denotes Z-memory threshold. The Z-memory thresholds carry a statistical fitting uncertainty at all the X-memory fit uncertainty increases with bias, from at low bias to for

Rotated Surface CodeUnrotated Surface Code
0.50.4280.3960.4620.433
10.5660.3730.5840.385
30.9900.3131.0030.322
101.8990.2841.9990.290
303.7380.2773.8380.288
1006.7950.2776.9070.287
30011.1080.27611.4310.287
100016.3660.27617.1490.287
-0.276-0.287


(a)


(b)


(c)

Figure 4: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated ZX surface code with X-aligned CNOT order under Pauli-X biased noise at }.

(a)


(b)


(c)
Figure 5: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated ZX surface code with X-aligned CNOT order under Pauli-X biased noise at


(a)


(b)


(c)

Figure 6: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated ZX surface code with X-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

(a)


(b)


(c)
Figure 7: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated ZX surface code with X-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

For each bias parameter the logical error rates were plotted as a function of the physical error rates p for both X- and Z-memory experiments. Thus, we have separate plots for each η. In the figures of this paper, we only show the plots for three values. The rest of the plots can be found in the github repository link provided in section 7. As expected, we clearly see the curves for diferent distances of a given memory experiment cross at a common point, which we call the threshold point. Below the threshold point, increasing the distance d of the surface code suppresses the logical error rate

For the standard depolarizing case with , the X memory threshold and Z memory threshold are equal to within the reported uncertainty for the rotated surface code (Table 2), while there is a diference of between the X and Z memory thresholds for the unrotated surface code, which is comparable to the combined fitting uncertainty. This separation is seen more clearly in the full curves of Fig. 5a, compared to the curves of Fig. 4a.

Under Pauli-X- biased noise (Table 2), the X-memory threshold increases monotonically with the bias parameter η for both rotated and unrotated surface code . In the standard depolarizing case , the threshold value is approximately for the rotated code and for the unrotated code. It increases steadily with increasing bias and at , it reaches approximately for the rotated code and for the unrotated code. Eventually, the threshold point flows out of the observed window for pure X-biased noise , so no X-memory threshold is reported for . The results in Table 2 show that the unrotated surface code exhibits a numerically higher X-memory threshold than the rotated surface code at every bias value. This diference exceeds the combined fitting uncertainty for all except , where the separation is comparable to the combined uncertainty and is therefore not resolved; from onward the gap is clearly resolved and widens as the bias increases.

In contrast, under the same noise model, the Z-memory threshold decreases as increases and rapidly approaches a saturation value. In the rotated surface code, saturates near , and in the unrotated surface code, it saturates near . Across all bias parameters considered, the unrotated geometry shows a slightly higher compared to the rotated geometry for the Pauli-X biased noise.

When gate-based XX crosstalk noise is included (Table 3), the qualitative trend with remains unchanged. As the bias parameter η increases, the X-memory threshold continues to increase monotonically, and eventually flows out of the observed window for . But the Z-memory threshold decreases and saturates for higher . The efect of adding crosstalk noise on memory threshold falls within the combined fitting uncertainty across all for both rotated and unrotated surface codes. However, the addition of crosstalk noise causes a decrease in the -memory thresholds for this noise model compared to the only X-biased noise case. For the unrotated surface code, this reduction is significant across all bias values as the saturation point for shifts from under X-biased noise to under the additional crosstalk noise. For the rotated surface code, the reduction in is significant at low-to-moderate bias , but the saturation point at high converges to in both noise models, which is within the combined fitting uncertainty.

An additional remark that we want to make here is that, although the error model and simulation pipeline are exactly the same for both rotated and unrotated surface codes, there is a visible separation between the performance of memory X and even for the standard depolarizing case for the unrotated surface code with X-biased noise (Fig. 5a), while there is no separation in memory X and performance in the rotated surface code (Fig. 5a). Though the separation is not seen in the rotated surface code under X-biased noise, the separation in performance of memory and memory is visible in the rotated surface code under crosstalk noise. We can see the separate memory X and curves in the plots in Fig. 5a and Fig. 6a, but the separation can be seen even more prominently for the unrotated surface code under crosstalk noise (Fig. 7a), where the gap between and at is nearly an order of magnitude (a factor of larger than under X-biased noise alone.

3.2 ZX Surface Code with Z-aligned CNOT Order

In this section, we first present the results obtained by simulating Pauli X-biased noise on the rotated and unrotated variants of the ZX surface code with Z-aligned CNOT order (Table 4, Figs. 8, 9). Then, we present the result obtained by simulating the additional gate-based XX crosstalk noise on the same surface codes (Table 5, Figs. 10, 11). As discussed earlier, for each bias parameter , the logical error rates are plotted as a function of the physical error rates p for both X and Z memory experiments, resulting in separate plots for each . A clear threshold is observed for both memory experiments at each .

Similar to the ZX surface code with X-aligned CNOT order (section 3.1), under Pauli X-biased noise (Table 4), the X-memory threshold for the ZX surface code with Z-aligned CNOT order increases monotonically as η increases for both rotated and unrotated surface codes. Also, following the same qualitative trend as section 3.1, the Z-memory threshold decreases as η increases until it reaches a saturation point.

Table 4: Threshold values for the ZX surface code with Z-aligned CNOT order, under Pauli-X biased noise. Here, η denotes bias parameter, denotes X-memory threshold and denotes Z-memory threshold. The Z-memory thresholds carry a statistical fitting uncertainty at all the X-memory fit uncertainty increases with bias, from at low bias to for

Rotated Surface CodeUnrotated Surface Code
0.50.4280.4280.4610.469
10.5610.3860.5840.41
30.990.3341.0040.356
101.8880.3071.9980.322
303.7330.2873.8380.308
1006.7890.286.8410.301
30011.1030.27811.1650.299
100016.3570.27716.8810.299
-0.276-0.299

Table 5: Threshold values for the surface code with Z-aligned CNOT order, under Pauli-X biased noise and additional XX crosstalk noise. Here, η denotes bias parameter, denotes X-memory threshold and denotes Z-memory threshold. The Z-memory thresholds carry a statistical fitting uncertainty at all the X-memory fit uncertainty increases with bias, from at low bias to for

Rotated Surface CodeUnrotated Surface Code
0.50.4280.3960.4320.441
10.5650.3730.5820.389
30.9900.3121.0010.326
101.8990.2841.9700.293
303.7380.2773.8280.289
1006.7950.2766.8120.288
30011.1040.27611.1050.288
100016.3620.27616.8710.288
-0.276-0.288


(a)


(b)


(c)
Figure 8: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated surface code with Z-aligned CNOT order under Pauli-X biased noise at


(a)


(b)


(c)

Figure 9: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated ZX surface code with Z-aligned CNOT order under Pauli-X biased noise at

(a)


(b)


(c)
Figure 10: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated ZX surface code with Z-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

For the unrotated surface code, under Z-aligned CNOT order (Table 4) is higher than the under X-aligned CNOT order (Table 2) at all bias values. The saturation point of for the unrotated surface code increases from in the X-aligned schedule (Table 2) to in the Z-aligned schedule (Table 4). For the rotated surface code, the increase in under the Z-aligned CNOT order relative to the X-aligned order exceeds the combined fitting uncertainty only at moderate bias

In contrast to the behavior of , the X-memory threshold does not increase for the aligned CNOT order compared to the X-aligned CNOT order for either geometry (Tables 4, 2). For the rotated surface code, the reduction between the X-aligned and Z-aligned is small, at most in magnitude. Because for the X-memory fits grows with bias, this reduction does not exceed twice the combined fitting uncertainty at any bias value. At low bias it is comparable to the combined fitting uncertainty, and at higher bias it falls within the combined fitting uncertainty. , we treat the two CNOT orders as giving statistically indistinguishable for the rotated code. Similarly, for the unrotated surface code, the two CNOT orders give statistically indistinguishable for . At , the Z-aligned order gives a lower , but the reduction is only about twice the combined fitting uncertainty and is thus marginally resolved. At and , the reduction grows to , well beyond the combined fitting uncertainty, so the Z-aligned order gives a clearly lower at these bias values.


(a)


(b)


(c)
Figure 11: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated ZX surface code with Z-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

When gate-based XX crosstalk noise is included (Table 5), the qualitative trend with η remains unchanged as increases monotonically with bias and decreases and saturates. The addition of crosstalk reduces at all finite bias values. This reduction is largest at low-to-moderate bias, where it exceeds the combined fitting uncertainty. For example, in the rotated code at decreases from under Pauli X-biased noise to when gate-based XX crosstalk is included. The efect of crosstalk on difers between the rotated and unrotated codes. For the rotated surface code, crosstalk does not lower , instead there is a slight increase. Wherever the diference is resolvable, it is a small increase that reaches approximately four times the combined fitting uncertainty. For the unrotated surface code, crosstalk instead reduces at every η, by amounts that exceed the combined fitting uncertainty except at and

When gate-based XX crosstalk noise is included (Table 5), the qualitative trend with η remains unchanged as increases monotonically with bias and decreases and saturates. The addition of crosstalk reduces at all finite bias values. This reduction is largest at low-to-moderate bias, where it exceeds the combined fitting uncertainty. For example, in the rotated code at decreases from under Pauli X-biased noise to when gate-based XX crosstalk is included. The efect of crosstalk on difers between the rotated and unrotated codes. For the rotated surface code, crosstalk does not lower . The observed diferences are small positive shifts of at most . Because the X-memory fit uncertainty grows with bias, these shifts remain within the combined fitting uncertainty at every η. So, we do not treat them as a resolved enhancement. For the unrotated surface code, crosstalk lowers at every but this reduction is resolved only at , where it reaches . It is marginal at and , and falls within the combined fitting uncertainty at the remaining bias values.

Additionally, following the remark made at the end of section 3.1, looking at the results obtained by simulating Pauli X-biased noise with , we see a clear separation in the performance of memory X and memory Z of the unrotated surface code (Fig. 9a), which is not seen in the rotated surface code (Fig. 8a). The separation is, however, visible in all cases under crosstalk noise (Figs. 10a, 11a).

We want to make one final remark. We compare the unbiased depolarizing case

between the two CNOT orderings. In the X-aligned CNOT order (Section 3.1), the logical X memory exhibits slightly lower logical error rates than logical in the unrotated geometry. In contrast, in the Z-aligned CNOT ordering, this behavior reverses as we see logical Z memory having lower logical error rates than logical X (Figures 9a and 11a).

3.3 ZY Surface Code

Finally, in this section, we present the results obtained by simulating the two noise models on the surface code with Z-type and Y-type stabilizers. Here, we first present the results obtained by simulating Pauli X-biased noise on the surface code (Table 6, Figs. 12, 13), and then we present the results obtained by simulating an additional gate-based crosstalk noise on the surface code (Table 7, Figs. 14, 15). For the surface code, we only simulated the 10231203 CNOT order, which we call the X-aligned CNOT order. The meaning and motivation for the choice of this order is explained 1.3, Fig. 3.

Table 6: Threshold values for the surface code under Pauli-X biased noise. Here, η denotes bias parameter, denotes Y-memory threshold and denotes Z-memory threshold. All values carry a statistical fitting uncertainty of order

Rotated Surface CodeUnrotated Surface Code
0.50.4280.4280.4600.458
10.4230.3860.4490.403
30.4150.3210.4390.350
100.4110.2960.4370.313
300.4100.2840.4350.302
1000.4040.2790.4350.299
3000.4030.2780.4340.296
10000.4020.2760.4340.295
0.4020.2750.4340.294

Table 7: Threshold values for the surface code under Pauli-X biased noise and additional XX crosstalk noise. Here, η denotes bias parameter, denotes Y -memory threshold and denotes Z-memory threshold. All values carry a statistical fitting uncertainty of order

Rotated Surface CodeUnrotated Surface Code
0.50.3960.3960.4350.433
10.3940.3730.4310.385
30.3910.3130.4140.325
100.3900.2840.4150.290
300.3840.2770.4140.288
1000.3830.2770.4120.287
3000.3820.2760.4110.287
10000.3820.2760.4110.287
0.3800.2760.4110.287

For this surface code as well, we simulated both the rotated and unrotated surface codes. For each bias parameter we calculated the logical error rates and plotted them as a function of physical error rates p. Similar to what we observed in ZX surface codes (section 3.1, 3.2), for each bias parameter we observed a clear threshold for both memory Y and memory Z. However, the qualitative behavior of the thresholds in the surface code difers significantly from that observed in the ZX surface codes.


(a)


(b)


(c)

Figure 12: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated ZY surface code with X-aligned CNOT order under Pauli-X biased noise at

(a)


(b)


(c)
Figure 13: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated surface code with X-aligned CNOT order under Pauli-X biased noise at

Under the Pauli X-biased noise, in the standard depolarizing case , we find that the thresholds for the rotated surface code (Table 6) are exactly the same as the thresholds for rotated ZX surface code (Table 2), with the role of memory Y and memory X swapped. In the unrotated surface code as well, at the performance of memory is identical in both ZX and surface codes. But Y memory threshold for the unrotated surface code at is found to be slightly lower than the X memory threshold of the unrotated ZX surface code at the same η. The diference is which is within the combined fitting uncertainty.

Similarly, under Pauli-X-biased noise (Table 6), shows only a weak dependence on the bias parameter η in both rotated and unrotated surface codes, in sharp contrast to the X-memory threshold of the ZX surface code. For example, in the rotated code, decreases slowly from at to at . A similar weak dependence is observed in the unrotated surface code, where the threshold decreases from to . This is the central qualitative diference compared to the ZX surface code. Over the same bias range the ZX X-memory threshold rises steeply, from at to at (rotated; Table 2), which is a factor of ∼38, whereas the ZY Y-memory threshold instead decreases slightly. Therefore, increasing X-bias does not enhance the Y -memory threshold of the ZY code.


(a)


(b)


(c)

Figure 14: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on rotated ZY surface code with X-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

(a)


(b)


(c)
Figure 15: Logical error rate per d rounds of syndrome extraction versus physical error rate p simulated on unrotated surface code with X-aligned CNOT order under Pauli-X biased noise at with an additional XX crosstalk noise.

On the other hand, the Z-memory threshold decreases with increasing η and rapidly approaches a saturation value, similar to the trend observed in the surface codes. In the rotated code, decreases from approximately at to 0.275 at , while in the unrotated code, it decreases from to . In fact, the Z-memory thresholds of the and surface codes agree to within the combined fitting uncertainty at every η, not only at the saturation point (Tables 6, 2). This result is consistent with the fact that the two codes share identical Z-type stabilizers since the ZX to modification changes only the complementary stabilizer type, which primarily afects the memory rather than the mem ory. The saturation values are comparable to those observed in the surface codes. Comparing rotated and unrotated codes, we again observe that the unrotated code consistently gives slightly higher threshold values for both and Z-memory experiments across all bias parameters, and these diferences exceed the combined fitting uncertainty.

When gate-based XX crosstalk noise is added on top of the Pauli-X biased noise (Table 7), the qualitative η-dependence of the thresholds in surface code is preserved, exactly as it was for the ZX codes. The Y-memory threshold stays nearly flat in which is the distinctive feature of the ZY code as noted above, while the Z-memory threshold decreases and saturates. Beyond preserving these trends, the addition of crosstalk decreases the thresholds for both Y and Z memories for the surface code, in contrast to the X-aligned ZX surface code (3.1), where crosstalk left the Xmemory threshold within the fit uncertainty (Table 3). For the Y-memory, the reduction induced by additional crosstalk noise exceeds the combined fit uncertainty across all in both geometries and stays roughly constant, of order . For the Z-memory, the reduction exceeds the combined fit uncertainty at all η for the unrotated code but only at low-to-moderate bias for the rotated code, where it falls within the fit uncertainty for ; it is most prominent at low bias and diminishes as increases. For instance, in the rotated geometry at , both and decrease from without crosstalk to with crosstalk.

4. Discussion

In this section, we interpret the results obtained from our simulations and discuss the behavior of our tailored surface codes under Pauli-X biased noise and an additional gate-based XX crosstalk noise with practical minimum-weight perfect matching decoders (MWPM).

4.1 Threshold Behavior of ZX Surface Code

We observed that the threshold behavior of the ZX surface code, both under Pauli-X biased noise and under additional gate-based XX crosstalk noise follows a clear pattern. As the bias η increases, the X memory threshold increases monotonically, and eventually flows out of the observed window, while the Z-memory threshold decreases and saturates (Table 2, 3). This asymmetry occurs because of the commutation relations between the dominant error and the logical operators. Since the dominant X errors commute with , they cannot flip the X-basis logical observable and therefore cannot cause X-memory failures. An X-memory failure instead requires a logical , built from or Y-type errors, which by construction of our biased noise model (Section 2.1) become increasingly rare as η tends to Consequently, increases monotonically with . For the memory, by contrast, a failure is caused by a logical built from X-error chains. These dominant errors are detected only by the Z-type stabilizers, since the X-type stabilizers commute with X errors and thus are blind to them. As η tends to the noise becomes essentially pure X noise, thus the efective bit-flip problem seen by the memory stops changing and saturates at a low value.

This qualitative behavior is consistent across both rotated and unrotated variants of the surface code, both noise models, and both CNOT orders. Across all cases, the unrotated code yields higher thresholds than the rotated code for both X- and Z-memory. For the Z memory, the diference in the threshold values between the rotated and unrotated codes remain small at all of order . For the X memory these diferences are comparably small at low bias but grow substantially with reaching at

The efect of crosstalk difers between the two memories and, for the X memory, between the two CNOT orders. For the X-aligned CNOT order, adding crosstalk changes the X-memory threshold by less than the combined fitting uncertainty across all η in both geometries. For the Z-aligned order, the crosstalk-induced shifts in the X-memory threshold are larger in magnitude but, once the bias dependence of the fit uncertainty is taken into account, remain mostly within the combined fitting uncertainty. Crosstalk reduces the unrotated X-memory threshold at every η, but this reduction is clearly resolved only at . It is marginal at and , and remains within the combined uncertainty at the other bias values. We return to this CNOT-order dependence in Section 4.3.

The Z-memory threshold, by contrast, is reduced by crosstalk in every configuration. For the unrotated geometry this reduction exceeds the combined fitting uncertainty at all η in both CNOT orders. For the rotated geometry it exceeds the combined fitting uncertainty up to for both CNOT orders, then diminishes as the Z-memory threshold approaches saturation. This is consistent with the correlated XX crosstalk introducing additional X-type errors, which make the Z memory harder to protect. The X memory, whose failures require Z- or Y -type errors, is largely insensitive to this extra X noise; the residual shifts under the Z-aligned schedule are small and, apart from a few low- and moderate-bias points, lie within the combined fitting uncertainty.

The choice of CNOT order introduces a further redistribution of threshold performance. Under Z-aligned CNOT order, the Z-memory threshold is enhanced relative to the X-aligned case, particularly in the unrotated geometry, while the X-memory threshold is reduced at high bias. This indicates that the CNOT scheduling influences which logical operator is better protected, without uniformly improving or degrading overall performance.

4.2 Threshold Behavior of ZY Surface Code

The ZY surface code was constructed by replacing the X-type stabilizers with Y-type stabilizers, so that both the Y-type and Z-type stabilizers detect X errors. This doubles the number of stabilizers that detect the dominant X errors and thus give more syndrome information for error correction, following the same principle as the tailored code of Ref. [1]. Here, we interpret the results reported in section 3.3 in two ways.

First, the Y-memory threshold of the ZY code remains approximately constant as η increases, decreasing only slightly from to in the rotated geometry (Table 6). This contrasts sharply with the ZX code, where rises from to (Table 2) over the same η range. The reason is structural. In the ZY code the logical operator protected by the Y-memory is a Y-type string. Since a single-qubit X error anticommutes with Y on that qubit, a chain of the dominant X errors running along the support of this logical operator flips the logical Y parity and causes a Y -memory failure. The dominant X errors therefore attack the Y -memory directly, and as η increases this error type only becomes more prevalent. This is the opposite of the ZX case, where the X-memory logical is a pure-X string that commutes with the dominant X errors, giving the passive protection responsible for the steep rise of

Second, the Z-memory threshold is statistically indistinguishable between the ZX and ZY codes. For example, at in the rotated geometry, for the ZX code (Table 2) and for the ZY code (Table 6), a diference of , within the combined fitting uncertainty. In fact, the two agree to within the combined fitting uncertainty at every bias value (Tables 2, 6), not only at saturation. The indistinguishable thresholds show that PyMatching 2.3.1 with correlated matching does not translate the additional Y stabilizer syndrome into an improved threshold. This result is consistent with Ref. [1] that minimum-weight matching fails for their tailored code. Additionally, this extends their observation under code-capacity noise to circuit-level noise.

The ZY code provides more syndrome information than the ZX but does not change how error strings propagate through the lattice. The X errors still form two-dimensional error chains in the usual way. To benefit from the doubled syndrome, a decoder would need to jointly reason over both Y - and Z-type syndrome data to infer that both stabilizer types were triggered by the same physical X error. Our results show that the correlated matching extension of PyMatching 2.3.1 does not perform this type of joint reasoning. This suggests that for matching-based decoders, code modifications that simplify the error geometry may be more efective than code modifications that enrich the syndrome structure.

4.3 Efect of CNOT Ordering

Comparing X-aligned and Z-aligned CNOT orders in the ZX code, we observe a redistribution of threshold values between the X- and Z-memories (Tables 2, 4). For the unrotated surface code, the Z-aligned order gives a higher at all bias values. This increase exceeds the combined fitting uncertainty up to moderate bias but the increase narrows to within the combined fitting uncertainty as saturates at high bias . The Z-aligned order also gives a lower at high bias. The reduction is marginal at and it is clearly resolved at and For the rotated surface code, the increase in exceeds the combined fitting uncertainty only at moderate bias , while the changes in remain within the combined fitting uncertainty at all bias values and are therefore not resolved. This asymmetry suggests that the unrotated surface code is more sensitive to CNOT scheduling than the rotated code, likely because of its diferent boundary structure and larger number of physical qubits. The redistribution of and Z-memory performance we observe is consistent with the CNOT-order sensitivity reported by [26]. More importantly, these results suggest that CNOT ordering can serve as a tunable parameter. Depending on which logical memory is more critical for a given application, one can choose the ordering that preferentially protects it. We have reported the efect of the diferent CNOT ordering here, but a detailed analysis of the underlying mechanism that causes this diference is out of the scope of this work.

5. Outlook

In this work, we have simulated independent and correlated noise models on multiple surface-code structures (rotated and unrotated; X-aligned and Z-aligned CNOT order; ZX and ZY), decoding throughout with the MWPM decoder PyMatching v2.3.1. A limitation of this approach is that it cannot fully exploit the syndrome structure of the ZY code. Recall that the ZY code replaces the X-type stabilizers with Y-type stabilizers (Section 1.1), which is allowed because the Y-type stabilizers commute with the Z-type stabilizers. Since both the Y- and Z-type stabilizers detect X errors, the ZY code carries twice as many syndrome bits about the dominant X errors compared to the ZX code. This mirrors the doubling of useful syndrome information exploited by the tailored XY code of Ref. [1]. However, this additional information is correlated, and it is not matchable by MWPM decoders [34]. A single X error triggers both its adjacent Z- and Y-type stabilizers, so the X-error syndrome forms a hypergraph rather than the graph on which matching decoders operate. A matching decoder must therefore decode on a matchable subgraph and cannot access the extra Y-stabilizer information, which is consistent with our finding that the Z-memory thresholds of the ZX and codes are indistinguishable. To address these shortcomings of MWPM decoder, we also implemented the BeliefPropagation, BP-OSD, and BeliefFind decoders, but found that they were computationally expensive and failed to converge for the codes. Further exploration of these decoders is beyond the scope of this work. Studying the performance of our construction on other decoders is a natural next step.

These observations point to a concrete open problem. The non-matchable, correlated syndrome structure of the code requires decoders that exploit this information without the matchability and convergence limitations of matching- and BP-based methods. The most direct route is tensornetwork (TN) decoding, which was used to reach the ultrahigh thresholds of the tailored XY code of Ref. [1]. General TN decoders for 2D Pauli codes [35] apply directly to the ZY code. Learningbased approaches, such as graph-neural-network or reinforcement-learning decoders trained on the ZY syndrome structure, ofer a complementary, longer-term direction. Developing such a decoder and characterizing the resulting threshold improvements over MWPM, under both code-capacity and circuit-level noise, would be a valuable extension of the present work.

6. Data Availability

All the data that support the plots and values in the tables within this paper are available from the authors upon request.

7. Code Availability

The codes used to generate STIM circuits, run Sinter sampling processes, and analyze error rates are available at: https://github.com/Pritesh402/zxzy-qec

8. Acknowledgement

This research is supported by the College of Computational, Mathematical, and Physical Sciences at Brigham Young University. We extend our sincere thanks to the BYU Quantum Group for their valuable insights and meaningful discussions. We also thank the high-performance computing cluster access provided by the BYU Ofice of Research Computing where we performed all the surface code simulations for large distances using billions of Monte Carlo shots.

References

[1] David K. Tuckett, Stephen D. Bartlett, and Steven T. Flammia. “Ultrahigh error threshold for surface codes with biased noise”. Physical Review Letters 120, 050505 (2018). arXiv:1708.08474.

[2] Richard P. Feynman. “Simulating physics with computers”. International Journal of Theoretical Physics 21, 467–488 (1982).

[3] Colin D. Bruzewicz, John Chiaverini, Robert McConnell, and Jeremy M. Sage. “Trapped-ion quantum computing: Progress and challenges”. Applied Physics Reviews6 (2019).

[4] Morten Kjaergaard, Mollie E. Schwartz, Jochen Braum¨uller, Philip Krantz, Joel I.-J. Wang, Simon Gustavsson, and William D. Oliver. “Superconducting qubits: Current state of play”. Annual Review of Condensed Matter Physics 11, 369–395 (2020).

[5] Lo¨ıc Henriet, Lucas Beguin, Adrien Signoles, Thierry Lahaye, Antoine Browaeys, Georges-Olivier Reymond, and Christophe Jurczak. “Quantum computing with neutral atoms”. Quantum 4, 327 (2020).

[6] Guido Burkard, Thaddeus D. Ladd, Andrew Pan, John M. Nichol, and Jason R. Petta. “Semiconductor spin qubits”. Reviews of Modern Physics95 (2023).

[7] Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma. “Non-abelian anyons and topological quantum computation”. Reviews of Modern Physics 80, 1083–1159 (2008).

[8] Antti P. Veps¨al¨ainen, Amir H. Karamlou, John L. Orrell, Akshunna S. Dogra, Ben Loer, Francisca Vasconcelos, David K. Kim, Alexander J. Melville, Bethany M. Niedzielski, Jonilyn L. Yoder, Simon Gustavsson, Joseph A. Formaggio, Brent A. VanDevender, and William D. Oliver. “Impact of ionizing radiation on superconducting qubit coherence”. Nature 584, 551–556 (2020).

[9] Matt McEwen, Lara Faoro, Kunal Arya, Andrew Dunsworth, Trent Huang, Seon Kim, Brian Burkett, Austin Fowler, Frank Arute, Joseph C. Bardin, Andreas Bengtsson, Alexander Bilmes, Bob B. Buckley, Nicholas Bushnell, Zijun Chen, Roberto Collins, Sean Demura, Alan R. Derk, Catherine Erickson, Marissa Giustina, Sean D. Harrington, Sabrina Hong, Evan Jefrey, Julian Kelly, Paul V. Klimov, Fedor Kostritsa, Pavel Laptev, Aditya Locharla, Xiao Mi, Kevin C. Miao, Shirin Montazeri, Josh Mutus, Ofer Naaman, Matthew Neeley, Charles Neill, Alex Opremcak, Chris Quintana, Nicholas Redd, Pedram Roushan, Daniel Sank, Kevin J. Satzinger, Vladimir Shvarts, Theodore White, Z. Jamie Yao, Ping Yeh, Juhwan Yoo, Yu Chen, Vadim Smelyanskiy, John M. Martinis, Hartmut Neven, Anthony Megrant, Lev Iofe, and Rami Barends. “Resolving catastrophic error bursts from cosmic rays in large arrays of superconducting qubits”. Nature Physics 18, 107–111 (2021).

[10] John Preskill. “Quantum computing in the nisq era and beyond”. Quantum 2, 79 (2018).

[11] Michael A. Nielsen and Isaac L. Chuang. “Quantum computation and quantum information”. Cambridge University Press. (2010). 10th anniversary edition edition.

[12] Austin G. Fowler, Matteo Mariantoni, John M. Martinis, and Andrew N. Cleland. “Surface codes: Towards practical large-scale quantum computation”. Physical Review A 86, 032324 (2012).

[13] Eric Dennis, Alexei Yu. Kitaev, Andrew Landahl, and John Preskill. “Topological quantum memory”. Journal of Mathematical Physics 43, 4452–4505 (2002).

[14] P Aliferis, F Brito, D P DiVincenzo, J Preskill, M Stefen, and B M Terhal. “Fault-tolerant computing with biased-noise superconducting qubits: a case study”. New Journal of Physics 11, 013061 (2009).

[15] Yannick Seis, Benjamin J. Brown, Anders S. Sørensen, and Joseph F. Goodwin. “Improving trapped-ion-qubit memories via code-mediated error-channel balancing”. Physical Review A107 (2023).

[16] Peng Zhao. “Mitigation of quantum crosstalk in cross-resonance based qubit architectures” (2023). arXiv:2307.09995.

[17] Chao Fang, Ye Wang, Shilin Huang, Kenneth R. Brown, and Jungsang Kim. “Crosstalk suppression in individually addressed two-qubit gates in a trapped-ion quantum computer”. Physical Review Letters 129, 240504 (2022).

[18] Oscar Higgott and Craig Gidney. “Sparse Blossom: correcting a million errors per core second with minimum-weight matching”. Quantum 9, 1600 (2025).

[19] A.Yu. Kitaev. “Fault-tolerant quantum computation by anyons”. Annals of Physics 303, 2–30 (2003).

[20] H. Bombin and M. A. Martin-Delgado. “Optimal resources for topological two-dimensional stabilizer codes: Comparative study”. Physical Review A76 (2007).

[21] Sergey Bravyi, Martin Suchara, and Alexander Vargo. “Eficient algorithms for maximum likelihood decoding in the surface code”. Physical Review A 90, 032326 (2014). arXiv:1405.4883.

[22] Christophe Piveteau, Christopher T. Chubb, and Joseph M. Renes. “Tensor-network decoding beyond 2d”. PRX Quantum 5, 040303 (2024).

[23] Google Quantum AI. “Suppressing quantum errors by scaling a surface code logical qubit”. Nature 614, 678–681 (2023).

[24] Craig Gidney. “Stim: a fast stabilizer circuit simulator”. Quantum 5, 497 (2021).

[25] Yu Tomita and Krysta M. Svore. “Low-distance surface codes under realistic quantum noise”. Phys. Rev. A 90, 062320 (2014).

[26] Anthony Ryan O’Rourke and Simon Devitt. “Compare the pair: Rotated versus unrotated surface codes at equal logical error rates”. Phys. Rev. Res. 7, 033074 (2025).

[27] Pedro Parrado-Rodr´ıguez, Ciar´an Ryan-Anderson, Alejandro Bermudez, and Markus M¨uller. “Crosstalk Suppression for Fault-tolerant Quantum Error Correction with Trapped Ions”. Quantum 5, 487 (2021).

[28] Gina Warttmann, Florian Meinert, Hans Peter B¨uchler, and Sebastian Weber. “Suppressing crosstalk for rydberg quantum gates”. Quantum 10, 2045 (2026).

[29] Zeyuan Zhou, Andrew Ji, and Yongshan Ding. “Surface code error correction with crosstalk noise”. In 2025 IEEE International Conference on Quantum Computing and Engineering (QCE). Volume 01, pages 627–636. (2025).

[30] Oscar Higgott and Fran¸cois-Marie Le R´egent. “StimCircuits”. https://github.com/ oscarhiggott/StimCircuits (2024). GitHub repository.

[31] Craig Gidney. “Sinter: Fast qec sampling”. https://pypi.org/project/sinter/ (2025).

[32] Anthony O’Rourke and Alan Robertson. “Compare-the-pair: analysis and threshold-extraction code”. https://github.com/wamud/compare\_the\_pair (2024). Accessed 2025.

[33] C. Wang, J. Harrington, and J. Preskill. “Confinement–higgs transition in a disordered gauge theory and the accuracy threshold for quantum memory”. Annals of Physics 303, 31–58 (2003). arXiv:quant-ph/0207088.

[34] Oscar Higgott, Thomas C. Bohdanowicz, Aleksander Kubica, Steven T. Flammia, and Earl T. Campbell. “Improved decoding of circuit noise and fragile boundaries of tailored surface codes”. Physical Review X13 (2023).

[35] Christopher T. Chubb. “General tensor network decoding of 2d pauli codes” (2021). arXiv:2101.04125.