This dissertation addresses the issue of noise in quantum information processing devices. It is common knowledge that quantum states are particularly fragile to the effects of noise. In order to perform scalable quantum computation, it is necessary to suppress effective noise to levels which depend on the size of the computation. Various theoretical proposals have discussed how this can be achieved, under various assumptions about properties of the noise and the availability of qubits. We discuss new approaches to the suppression of noise, and propose experimental protocols characterizing the noise. In the first part of the dissertation, we discuss a number of applications of teleportation to fault-tolerant quantum computation. We demonstrate how measurement-based quantum computation can be made inherently fault-tolerant by exploiting its relationship to teleportation. We also demonstrate how continuous variable quantum systems can be used as ancillas for computation with qubits, and how information can be reliably teleported between these different systems. Building on these ideas, we discuss how the necessary resource states for teleportation can be prepared by allowing quantum particles to be scattered by qubits, and investigate the feasibility of an implementation using superconducting circuits. In the second part of the dissertation, we propose scalable experimental protocols for extracting information about the noise. We concentrate on information which has direct practical relevance to methods of noise suppression. In particular, we demonstrate how standard assumptions about properties of the noise can be tested in a scalable manner. The experimental protocols we propose rely on symmetrizing the noise by random application of unitary operations. Depending on the symmetry group use, different information about the noise can be extracted. We demonstrate, in particular, how to estimate the probability of a small number of qubits being corrupted, as well as how to test for a necessary condition for noise correlations. We conclude by demonstrating how, without relying on assumptions about the noise, the information obtained by symmetrization can also be used to construct protective encodings for quantum states.

This thesis describes a linear-optical device for performing generalized quantum measurements on quantum bits (qubits) encoded in photon polarization, the implementation of said device, and its use in two diff erent but related experiments. The device works by coupling the polarization degree of freedom of a single photon to a `mode' or `path' degree of freedom, and performing a projective measurement in this enlarged state space in order to implement a tunable four-outcome positive operator-valued measure (POVM) on the initial quantum bit. In both experiments, this POVM is performed on one photon from a two-photon entangled state created through spontaneous parametric down-conversion. In the fi rst experiment, this entangled state is viewed as a two-qubit photonic cluster state, and the POVM as a means of increasing the computational power of a given resource state in the cluster-state model of quantum computing. This model traditionally achieves deterministic outputs to quantum computations via successive projective measurements, along with classical feedforward to choose measurement bases, on qubits in a highly entangled resource called a cluster state; we show that `virtual qubits' can be appended to a given cluster by replacing some projective measurements with POVMs. Our experimental demonstration fully realizes an arbitrary three-qubit cluster computation by implementing the POVM, as well as fast active feed-forward, on our two-qubit photonic cluster state. Over 206 diff erent computations, the average output delity is 0.9832 +/- 0.0002; furthermore the error contribution from our POVM device and feedforward is only of order 10^-3, less than some recent thresholds for fault-tolerant cluster computing. In the second experiment, the POVM device is used to implement a deterministic protocol for remote state preparation (RSP) of arbitrary photon polarization qubits. RSP is the act of preparing a quantum state at a remote location without actually transmitting the state itself. We are able to remotely prepare 178 diff erent pure and mixed qubit states with an average delity of 0.995. Furthermore, we study the the fidelity achievable by RSP protocols permitting only classical communication, without shared entanglement, and compare the resulting benchmarks for average fidelity against our experimental results. Our experimentally-achieved average fi delities surpass the classical thresholds whenever classical communication alone does not trivially allow for perfect RSP.

It is not hard to see that the number of equiangular lines in a complex space of dimension $d$ is at most $d^{2}$. A set of $d^{2}$ equiangular lines in a $d$-dimensional complex space is of significant importance in Quantum Computing as it corresponds to a measurement for which its statistics determine completely the quantum state on which the measurement is carried out. The existence of $d^{2}$ equiangular lines in a $d$-dimensional complex space is only known for a few values of $d$, although physicists conjecture that they do exist for any value of $d$. The main results in this thesis are: \begin{enumerate} \item Abelian covers of complete graphs that have certain parameters can be used to construct sets of $d^2$ equiangular lines in $d$-dimen\-sion\-al space; \item we exhibit infinitely many parameter sets that satisfy all the known necessary conditions for the existence of such a cover; and \item we find the decompose of the space into irreducible modules over the Terwilliger algebra of covers of complete graphs. \end{enumerate} A few techniques are known for constructing covers of complete graphs, none of which can be used to construct covers that lead to sets of $d^{2}$ equiangular lines in $d$-dimensional complex spaces. The third main result is developed in the hope of assisting such construction.

Currently, a major challenge for solid-state spin qubit systems is achieving one-qubit operations on a timescale shorter than the spin coherence time, T2*, a goal currently two orders of magnitude away. By taking advantage of the quasi-one-dimensional structure of a nanowire and the strong spin-orbit interaction of InAs, it is estimated that π-rotations can be implemented using electric dipole spin resonance on the order of 10 ns. To this end, a procedure for the fabrication of homogeneous InAs nanowire quantum dot devices is presented herein for future investigations of solid state spin qubits as a test bed for quantum computing. Both single and double quantum dot systems are formed using local gating of InAs nanowires. Single quantum dot systems were characterized through electron transport measurements in a dilution refrigerator; in one case, the charging energy was measured to be 5.0 meV and the orbital energy was measured to be 1.5-3.5 meV. The total capacitance of the single quantum dot system was determined to be approximately 30 aF. An estimate of the quantum dot geometry resulting from confinement suggests that the quantum dot is approximately 115 nm long. The coupling energy of the double quantum dot system was measured to be approximately 4.5 meV. The electron temperature achieved with our circuitry in the dilution refrigerator is estimated to be approximately 125 mK.

Quantum information is a growing field showing exciting possibilities for computational speed-up and communications. For the successful implementation of quantum computers, high-precision control is required to reach fault-tolerant thresholds. Control of quantum systems pertains to the manipulation of states and their evolution. In order to minimize the effects of the environment on the control operations of the qubits, control pulses should be made time-optimal. In addition, control pulses should be made robust to noise in the system, dispersion in energies and coupling elements, and uncertain parameters. In this thesis, we examine a robust time-optimal gradient ascent technique which is used to develop controls of the motional degrees of freedom for an ensemble of neutral atoms in a one-dimensional optical lattice in the high dispersion regime with shallow trapping potentials. As such, the system is analyzed in the delocalized basis. The system is treated as an ensemble of atoms with a range of possible quasimomenta across the first Brillouin zone. This gives the ensemble of Hamiltonians, indexed by the quasimomenta, a distinct spectra in their motional states and highly inhomogeneous control Hamiltonians. Thus, the optical lattice is seen as a model system for robust control. We find optimized control pulses designed using an ensemble modification of gradient-ascent pulse engineering robust to any range of quasimomentum. We show that it is possible to produce rotation controls with fidelities above 90\% for half of the first Brillouin zone with gate times in the order of several free oscillations. This is possible for a spectrum that shows upwards of 75\% dispersion in the energies of the band structure. We also show that NOT controls for qubit rotations on the entire Brillouin zone fidelities above 99\% were possible for 0.6\% dispersion in energies. The gate times were also in the order of several free oscillations. It is shown that these solutions are palindromic in time due to phase differences in some of the energy couplings when comparing one half of the Brillouin zone to another. We explore the limits of discretized sampling of a continuous ensemble for control.

Using the method of breaking circular symmetry and the subsequent symmetry restoration via projection techniques, we calculate the ground-state energies and excitation spectra of N-electrons confined in parabolic quantum dots in strong magnetic fields in the medium-size range 10<=N <=30. The physical picture is that of finite rotating electron molecules (REMs) comprising multiple rings, with the rings rotating independently of each other. A derived analytic expression for the energetics is applicable to arbitrary sizes given the corresponding ring configuration of classical point charges. Also by exact diagonalization (EXD) method, we show the spectrum and structure of few electrons, 2<=N<=3, confined in elliptical dots at finite magnetic field. The results suggest the formation of a state of Wigner-molecular properties with spin associated, which has great instructions for the development of quantum register in quantum computing.

It is not hard to see that the number of equiangular lines in a complex space of dimension $d$ is at most $d^{2}$. A set of $d^{2}$ equiangular lines in a $d$-dimensional complex space is of significant importance in Quantum Computing as it corresponds to a measurement for which its statistics determine completely the quantum state on which the measurement is carried out. The existence of $d^{2}$ equiangular lines in a $d$-dimensional complex space is only known for a few values of $d$, although physicists conjecture that they do exist for any value of $d$. The main results in this thesis are: \begin{enumerate} \item Abelian covers of complete graphs that have certain parameters can be used to construct sets of $d^2$ equiangular lines in $d$-dimen\-sion\-al space; \item we exhibit infinitely many parameter sets that satisfy all the known necessary conditions for the existence of such a cover; and \item we find the decompose of the space into irreducible modules over the Terwilliger algebra of covers of complete graphs. \end{enumerate} A few techniques are known for constructing covers of complete graphs, none of which can be used to construct covers that lead to sets of $d^{2}$ equiangular lines in $d$-dimensional complex spaces. The third main result is developed in the hope of assisting such construction.

Currently, a major challenge for solid-state spin qubit systems is achieving one-qubit operations on a timescale shorter than the spin coherence time, T2*, a goal currently two orders of magnitude away. By taking advantage of the quasi-one-dimensional structure of a nanowire and the strong spin-orbit interaction of InAs, it is estimated that π-rotations can be implemented using electric dipole spin resonance on the order of 10 ns. To this end, a procedure for the fabrication of homogeneous InAs nanowire quantum dot devices is presented herein for future investigations of solid state spin qubits as a test bed for quantum computing. Both single and double quantum dot systems are formed using local gating of InAs nanowires. Single quantum dot systems were characterized through electron transport measurements in a dilution refrigerator; in one case, the charging energy was measured to be 5.0 meV and the orbital energy was measured to be 1.5-3.5 meV. The total capacitance of the single quantum dot system was determined to be approximately 30 aF. An estimate of the quantum dot geometry resulting from confinement suggests that the quantum dot is approximately 115 nm long. The coupling energy of the double quantum dot system was measured to be approximately 4.5 meV. The electron temperature achieved with our circuitry in the dilution refrigerator is estimated to be approximately 125 mK.

The efficiency of compiling high-level quantum algorithms into instruction sets native to quantum computers defines the moment in the future when we will be able to solve interesting and important problems on quantum computers. In my work I focus on the new methods for compiling single qubit operations that appear in many quantum algorithms into single qubit operations natively supported by several popular architectures. In addition, I study several questions related to synthesis and optimization of multiqubit operations. When studying the single qubit case, I consider two native instruction sets. The first one is Clifford+T; it is supported by conventional quantum computers implementing fault tolerance protocols based on concatenated and surface codes, and by topological quantum computers based on Ising anyons. The second instruction set is the one supported by topological quantum computers based on Fibonacci anyons. I show that in both cases one can use the number theoretic structure of the problem and methods of computational algebraic number theory to achieve improvements over the previous state of the art by factors ranging from 10 to 1000 for instances of the problem interesting in practice. This order of improvement might make certain interesting quantum computations possible several years earlier. The work related to multiqubit operations is on exact synthesis and optimization of Clifford+T and Clifford circuits. I show an exact synthesis algorithm for unitaries generated by Clifford+T circuits requiring exponentially less number of gates than previous state of the art. For Clifford circuits two directions are studied: the algorithm for finding optimal circuits acting on a small number of qubits and heuristics for larger circuits optimization. The techniques developed allows one to reduce the size of encoding and decoding circuits for quantum error correcting codes by 40-50\% and also finds their applications in randomized benchmarking protocols.

Quantum information is a growing field showing exciting possibilities for computational speed-up and communications. For the successful implementation of quantum computers, high-precision control is required to reach fault-tolerant thresholds. Control of quantum systems pertains to the manipulation of states and their evolution. In order to minimize the effects of the environment on the control operations of the qubits, control pulses should be made time-optimal. In addition, control pulses should be made robust to noise in the system, dispersion in energies and coupling elements, and uncertain parameters. In this thesis, we examine a robust time-optimal gradient ascent technique which is used to develop controls of the motional degrees of freedom for an ensemble of neutral atoms in a one-dimensional optical lattice in the high dispersion regime with shallow trapping potentials. As such, the system is analyzed in the delocalized basis. The system is treated as an ensemble of atoms with a range of possible quasimomenta across the first Brillouin zone. This gives the ensemble of Hamiltonians, indexed by the quasimomenta, a distinct spectra in their motional states and highly inhomogeneous control Hamiltonians. Thus, the optical lattice is seen as a model system for robust control. We find optimized control pulses designed using an ensemble modification of gradient-ascent pulse engineering robust to any range of quasimomentum. We show that it is possible to produce rotation controls with fidelities above 90\% for half of the first Brillouin zone with gate times in the order of several free oscillations. This is possible for a spectrum that shows upwards of 75\% dispersion in the energies of the band structure. We also show that NOT controls for qubit rotations on the entire Brillouin zone fidelities above 99\% were possible for 0.6\% dispersion in energies. The gate times were also in the order of several free oscillations. It is shown that these solutions are palindromic in time due to phase differences in some of the energy couplings when comparing one half of the Brillouin zone to another. We explore the limits of discretized sampling of a continuous ensemble for control.