Time-efficient logical operations on quantum LDPC codes

Guo Zhang,Ying Li

2024-08-12

Abstract:We propose schemes capable of measuring an arbitrary set of commutative logical Pauli operators in time independent of the number of operators. The only condition is commutativity, a fundamental requirement for simultaneous measurements in quantum mechanics. Quantum low-density parity check (LDPC) codes show great promise for realising fault-tolerant quantum computing. They are particularly significant for early fault-tolerant technologies as they can encode many logical qubits using relatively few physical qubits. By achieving simultaneous measurements of logical operators, our approaches enable fully parallelised quantum computing, thus minimising computation time. Our schemes are applicable to any quantum LDPC codes and maintain the low density of parity checks while measuring multiple logical operators simultaneously. These results enhance the feasibility of applying early fault-tolerant technologies to practical problems.

Quantum Physics

What problem does this paper attempt to address?

This paper attempts to solve the problem of simultaneous measurement of logical operators in quantum low - density parity - check (LDPC) codes. Specifically:

1. **Simultaneous measurement of logical operators**: The paper proposes a scheme that can measure any set of commutable logical Pauli operators within a time independent of the number of operators. The key is that these operators must satisfy commutativity, which is a fundamental requirement for simultaneous measurement in quantum mechanics.

2. **Parallelizing quantum computing**: By achieving simultaneous measurement of logical operators, these schemes can make quantum computing fully parallelized, thereby minimizing the computing time. This is crucial for the practical application of early fault - tolerant techniques, because basic physical operations on qubits are very time - consuming.

3. **Maintaining low - density parity - check conditions**: The proposed schemes are applicable to any quantum LDPC code and maintain the low - density parity - check characteristics when simultaneously measuring multiple logical operators. This helps to enhance the feasibility of applying early fault - tolerant techniques to practical problems.

### Specific problem description

- **Logical operator overlap problem**: In quantum LDPC codes, due to the high coding rate, logical operators are prone to overlap. This overlap will lead to multiple measurements on the same physical qubit, thus violating the low - density parity - check conditions.

- **Redundant logical operator problem**: When attempting to simultaneously measure multiple logical operators, redundant logical operators that do not need to be measured may be introduced, resulting in incorrect logical operations.

### Solutions

The paper proposes two schemes to solve the above problems:

1. **Devised Sticking**:
- Use an auxiliary system (called a measurement sticker). By adjusting the sticking matrix and the glue code, it is possible to measure a logically - operator - selected subset without affecting other logical operators.

2. **Brute - force Branching**:
- Use another auxiliary system (called a branching sticker). By cascading branching stickers, logical operators are passed to different stickers for measurement, thereby eliminating the overlap between logical operators. Then use the measurement sticker to measure each logical qubit without violating the low - density parity - check conditions.

Both of these methods can achieve the simultaneous measurement of any set of logical Pauli operators within a time independent of the number of operators, thus promoting the development of fully parallelized fault - tolerant quantum computing.