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.

A Construction of Quantum Codes Via A Class of Classical Polynomial Codes

Construction of quantum codes from multivariate polynomial rings

A New Construction of Quantum Error-Correcting Codes

Quantum codes from classical graphical models

QUANTUM CODES FROM CYCLIC CODES OVER $\mathbb{f}_{q}+u \mathbb{f}_{q}+v \Mathbb{f}_{q}$

Construction of Quantum Codes from Matrix-Product Codes

Constructing quantum codes from any classical code and their embedding in ground space of local Hamiltonians

Elementary Constructions of Best Known Quantum Codes

Classical Coding Approaches to Quantum Applications

Extended quasi-cyclic constructions of quantum codes and entanglement-assisted quantum codes

Quantum codes derived from cyclic codes

Bounds and Constructions of Quantum Locally Recoverable Codes from Quantum CSS Codes

Quotient Space Quantum Codes

A database of quantum codes

Construction of A Class of Linear Codes with Good Parameters

Construction of New Quantum Codes Via Hermitian Dual-Containing Matrix-Product Codes

On the algebraic structure of quasi-polycyclic codes and new quantum codes

Polynomial representation of additive cyclic codes and new quantum codes

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

Quantum stabilizer convolutional code with pearl-necklace structure

Asymmetric Quantum Codes: Characterization and Constructions