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.

Decoherence and Programmable Quantum Computation

Decoherence and recoherence in quantum computation

Realization Of Universal Ion-Trap Quantum Computation With Decoherence-Free Qubits

Observation of dipole-dipole interaction in a degenerate quantum gas

Optimizing Quantum Gates Within Decoherence-Free Subspaces

Expedited Holonomic Quantum Computation in Decoherence-Free Subspace

Universal Quantum Computation with Electronic Qubits in Decoherence-Free Subspace

Universal Quantum Computation in Decoherence-Free Subspace with Neutral Atoms.

The quantum-to-classical transition and decoherence

Expedited Holonomic Quantum Computation Via Net Zero-Energy-Cost Control in Decoherence-Free Subspace

Study of Decoherence in Quantum Computers: A Circuit-Design Perspective

Universal Quantum Computation in Decoherence-Free Subspaces with Hot Trapped Ions

Universal Nonadiabatic Geometric Gates in Two-Qubit Decoherence-Free Subspaces.

Real-time quantum error correction beyond break-even

Classical Coding Approaches to Quantum Applications

Impact of decoherence on the fidelity of quantum gates leaving the computational subspace

Single-Loop and Composite-Loop Realization of Nonadiabatic Holonomic Quantum Gates in a Decoherence-Free Subspace

Quantum computation using weak nonlinearities: robustness against decoherence

Cooperative Loss and Decoherence in Quantum Computation and Commuication

Quantum Computation with Untunable Couplings

Heralded nonlocal quantum gates for distributed quantum computation in a decoherence-free subspace