Abstract:Quantum information science strives to leverage the quantum-mechanical nature of our universe in order to achieve large improvements in certain information processing tasks. In deep-space optical communications, current receivers for the pure-state classical-quantum channel first measure each qubit channel output and then classically post-process the measurements. This approach is sub-optimal. In this dissertation we investigate a recently proposed quantum algorithm for this task, which is inspired by classical belief-propagation algorithms, and analyze its performance on a simple $5$-bit code. We show that the algorithm is optimal for each bit and it appears to achieve optimal performance when deciding the full transmitted message. We also provide explicit circuits for the algorithm in terms of standard gates. This suggests a near-term quantum communication advantage over the aforementioned sub-optimal scheme. Quantum error correction is vital to building a universal fault-tolerant quantum computer. We propose an efficient algorithm that can translate a given logical Clifford operation on a stabilizer code into all (equivalence classes of) physical Clifford circuits that realize that operation. In order to achieve universality, one also needs to implement at least one non-Clifford logical operation. So, we develop a mathematical framework for a large subset of diagonal operations in the Clifford hierarchy, which we call Quadratic Form Diagonal (QFD) gates. Then we use the QFD formalism to characterize all stabilizer codes whose code spaces are preserved under the transversal action of the non-Clifford $T$ gates on the physical qubits. We also discuss a few purely-classical coding problems motivated by transversal $T$ gates. A conscious effort has been made to keep this dissertation self-contained, by including necessary background material on quantum information and computation.

Efficient recursive encoders for quantum Reed-Muller codes towards Fault tolerance

Fault-Tolerant Quantum LDPC Encoders

Computation with quantum Reed-Muller codes and their mapping onto 2D atom arrays

Geometric structure and transversal logic of quantum Reed-Muller codes

Fault-tolerance thresholds for code conversion schemes with quantum Reed–Muller codes

Implementing fault-tolerant non-Clifford gates using the [[8,3,2]] color code

Fault-tolerant Coding for Quantum Communication

Fault-tolerant quantum architectures based on erasure qubits

Correlated decoding of logical algorithms with transversal gates

Error correction of transversal CNOT gates for scalable surface code computation

Resource reduction in multiplexed high-dimensional quantum Reed-Solomon codes

Leveraging Automorphisms of Quantum Codes for Fault-Tolerant Quantum Computation

Classical Coding Approaches to Quantum Applications

On Fault Tolerance of Circuits with Intermediate Qutrit-assisted Gate Decomposition

A Mathematical Structure for Amplitude-Mixing Error-Transparent Gates for Binomial Codes

Variational circuit compiler for quantum error correction

Error Mitigation for Universal Gates on Encoded Qubits

Fault Tolerant Quantum Error Mitigation

Stabilizer Entanglement Distillation and Efficient Fault-Tolerant Encoder

High-threshold, low-overhead and single-shot decodable fault-tolerant quantum memory

Transversal CNOT gate with multi-cycle error correction