SearcharxivSearch

arXiv subjects

Mauricio Gutierrez

Publications and source records attributed to Mauricio Gutierrez.

7 recordsLinked to original sources

Heterogeneous quantum error-correcting codes

We introduce heterogeneous quantum error-correcting codes composed of qubit types with distinct error channels and study their performance in the code-capacity regime using maximum-likelihood tensor network decoding. In the regime where both qubit types share the same noise bias but differ in physical error rate, placing noisier qubits in the bulk -- where each error triggers more syndrome bits -- and cleaner qubits on the boundary yields thresholds exceeding 0.4 (compared to ~0.2 for the reverse placement) and improvements exceeding three orders of magnitude in logical error rate at high bias, with the advantage growing exponentially with code distance. In the regime where both types share the same error rate but differ in bias, the optimal strategy reverses: placing high-bias (more predictable) qubits on the boundary increases the threshold from 0.292(5) to 0.360(9) at a bias ratio of 100, and from 0.29(1) to 0.398(4) at a bias ratio of 1000. We also observe a striking bias-inversion property: the logical error channel becomes strongly XX X- and YY Y-biased despite the physical noise being ZZ Z-biased. We propose a stabilizer-ratio hypothesis that provides a unified information-theoretic explanation for both placement rules and predicts even larger advantages for code families such as color codes.

quant-ph

Crossing Matrices of Positive Braids

The crossing matrix of a braid on $N$ strands is the $N\times N$ integer matrix with zero diagonal whose $i,j$ entry is the algebraic number (positive minus negative) of crossings by strand $i$ over strand $j$ . When restricted to the subgroup of pure braids, this defines a homomorphism onto the additive subgroup of $N\times N$ symmetric integer matrices with zero diagonal--in fact, it represents the abelianization of this subgroup. As a function on the whole $N$-braid group, it is a derivation defined by the action of the symmetric group on square matrices. The set of all crossing matrices can be described using the natural decomposition of any braid as the product of a pure braid with a `permutation braid' in the sense of Thurston, but the subset of crossing matrices for positive braids is harder to describe. We formulate a finite algorithm which exhibits all positive braids with a given crossing matrix, if any exist, or declares that there are none.

math.GT

Simulating the performance of a distance-3 surface code in a linear ion trap

We explore the feasibility of implementing a small surface code with 9 data qubits and 8 ancilla qubits, commonly referred to as surface-17, using a linear chain of 171Yb+ ions. Two-qubit gates can be performed between any two ions in the chain with gate time increasing linearly with ion distance. Measurement of the ion state by fluorescence requires that the ancilla qubits be physically separated from the data qubits to avoid errors on the data due to scattered photons. We minimize the time required to measure one round of stabilizers by optimizing the mapping of the two-dimensional surface code to the linear chain of ions. We develop a physically motivated Pauli error model that allows for fast simulation and captures the key sources of noise in an ion trap quantum computer including gate imperfections and ion heating. Our simulations showed a consistent requirement of a two-qubit gate fidelity of > 99.9% for logical memory to have a better fidelity than physical two-qubit operations. Finally, we perform an analysis on the error subsets from the importance sampling method used to approximate the logical error rates in this paper to gain insight into which error sources are particularly detrimental to error correction.

quant-ph

Analytical Error Analysis of Clifford Gates by the Fault-Path Tracer Method

We estimate the success probability of quantum protocols composed of Clifford operations in the presence of Pauli errors. Our method is derived from the fault-point formalism previously used to determine the success rate of low-distance error correction codes. Here we apply it to a wider range of quantum protocols and identify circuit structures that allow for efficient calculation of the exact success probability and even the final distribution of output states. As examples, we apply our method to the Bernstein-Vazirani algorithm and the Steane [[7,1,3]] quantum error correction code and compare the results to Monte Carlo simulations.

quant-ph

Rigidity of graph products of abelian groups

We show that if $G$ is a group and $G$ has a graph-product decomposition with finitely-generated abelian vertex groups, then $G$ has two canonical decompositions as a graph product of groups: a unique decomposition in which each vertex group is a directly-indecomposable cyclic group, and a unique decomposition in which each vertex group is a finitely-generated abelian group and the graph satisfies the $T_0$ property. Our results build on results by Droms, Laurence and Radcliffe.

math.GR

On the automorphisms of a graph product of abelian groups

We study the automorphisms of a graph product of finitely-generated abelian groups W. More precisely, we study a natural subgroup Aut* W of Aut W, with Aut* W = Aut W whenever vertex groups are finite and in a number of other cases. We prove a number of structure results, including a semi-direct product decomposition of Aut* W in which one of the factors is Inn W. We also give a number of applications, some of which are geometric in nature.

math.GR