Theodore J. Yoder

Fixed-Point Quantum Search with an Optimal Number of Queries

Grovers quantum search and its generalization, quantum amplitude amplification, provide a quadratic advantage over classical algorithms for a diverse set of tasks but are tricky to use without knowing beforehand what fraction λ of the initial state is comprised of the target states. In contrast, fixed-point search algorithms need only a reliable lower bound on this fraction but, as a consequence, lose the very quadratic advantage that makes Grovers algorithm so appealing. Here we provide the first version of amplitude amplification that achieves fixed-point behavior without sacrificing the quantum speedup. Our result incorporates an adjustable bound on the failure probability and, for a given number of oracle queries, guarantees that this bound is satisfied over the broadest possible range of λ.

Hamiltonian simulation with optimal sample complexity

We investigate the sample complexity of Hamiltonian simulation: how many copies of an unknown quantum state are required to simulate a Hamiltonian encoded by the density matrix of that state? We show that the procedure proposed by Lloyd, Mohseni, and Rebentrost [Nat. Phys., 10(9):631–633, 2014] is optimal for this task. We further extend their method to the case of multiple input states, showing how to simulate any Hermitian polynomial of the states provided. As applications, we derive optimal algorithms for commutator simulation and orthogonality testing, and we give a protocol for creating a coherent superposition of pure states, when given sample access to those states. We also show that this sample-based Hamiltonian simulation can be used as the basis of a universal model of quantum computation that requires only partial swap operations and simple single-qubit states.Quantum Software from Quantum StatesOne of the hallmarks of quantum computation is the storage and extraction of information within quantum systems. Recently, Lloyd, Mohseni and Rebentrost created a protocol to treat multiple identical copies of a quantum state as “quantum software”, specifying a quantum program to be run on any other state. They use this approach to do principal component analysis of the software state. Here, we expand on their results, providing protocols for running more-complex quantum programs specified by several different states. Our protocols can be used to analyze the relationship between different states (for example, deciding whether states are orthogonal) and to create new states (such as coherent linear combinations of two states). We also outline the optimality of Lloyd et al.’s original protocol, as well as our new protocols.

Universal Fault-Tolerant Gates on Concatenated Stabilizer Codes

It is an oft-cited fact that no quantum code can support a set of fault-tolerant logical gates that is both universal and transversal. This no-go theorem is generally responsible for the interest in alternative universality constructions including magic state distillation. Widely overlooked, however, is the possibility of non-transversal, yet still fault-tolerant, gates that work directly on small quantum codes. Here we demonstrate precisely the existence of such gates. In particular, we show how the limits of non-transversality can be overcome by performing rounds of intermediate error-correction to create logical gates on stabilizer codes that use no ancillas other than those required for syndrome measurement. Moreover, the logical gates we construct, the most prominent examples being Toffoli and controlled-controlled-Z, often complete universal gate sets on their codes. We detail such universal constructions for the smallest quantum codes, the 5-qubit and 7-qubit codes, and then proceed to generalize the approach. One remarkable result of this generalization is that any nondegenerate stabilizer code with a complete set of fault-tolerant single-qubit Clifford gates has a universal set of fault-tolerant gates. Another is the interaction of logical qubits across different stabilizer codes, which, for instance, implies a broadly applicable method of code switching.

Quantum Inference on Bayesian Networks

Performing exact inference on Bayesian networks is known to be #P-hard. Typically approximate inference techniques are used instead to sample from the distribution on query variables given the values

Higher order corrections to the hydrogen spectrum from the Standard-Model Extension

e

The surface code with a twist

of evidence variables. Classically, a single unbiased sample is obtained from a Bayesian network on

Robust Calibration of a Universal Single-Qubit Gate-Set via Robust Phase Estimation

n

Fixed-point adiabatic quantum search

variables with at most

Methodology of Resonant Equiangular Composite Quantum Gates

m

Quantum Imaging by Coherent Enhancement

parents per node in time