Source author record

Stephen D. Bartlett

Stephen D. Bartlett appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

47works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

47 published item(s)

preprint2025arXiv

Low-overhead magic state distillation with color codes

Fault-tolerant implementation of non-Clifford gates is a major challenge for achieving universal fault-tolerant quantum computing with quantum error-correcting codes. Magic state distillation is the most well-studied method for this but requires significant resources. Hence, it is crucial to tailor and optimize magic state distillation for specific codes from both logical- and physical-level perspectives. In this work, we perform such optimization for two-dimensional color codes, which are promising due to their higher encoding rates compared to surface codes, transversal implementation of Clifford gates, and efficient lattice surgery. We propose two carefully designed distillation schemes based on the 15-to-1 distillation circuit and lattice surgery, differing in their methods for handling faulty rotations. Our first scheme employs faulty T-measurement, achieving infidelities of $O(p^3)$ for physical noise strength $p$. To achieve lower infidelities, our second scheme integrates distillation with 'cultivation' (a distillation-free approach to fault-tolerantly prepare magic states through transversal Clifford measurements). Our second scheme achieves significantly lower infidelities (e.g., $\sim 2 \times 10^{-16}$ at $p = 10^{-3}$), surpassing the capabilities of both cultivation and single-level distillation. Notably, to reach a given target infidelity, our schemes require approximately two orders of magnitude fewer resources than the previous best magic state distillation schemes for color codes.

preprint2022arXiv

Biphoton entanglement of topologically-distinct modes

The robust generation and manipulation of entangled multiphoton states on-chip has an essential role in quantum computation and communication. Lattice topology has emerged as a means of protecting photonic states from disorder but entanglement across different topologies remained unexplored. We report biphoton entanglement between topologically distinct spatial modes in a bipartite array of silicon waveguides. The results highlight topology as an additional degree of freedom for entanglement and open avenues for investigating information teleportation between trivial and topological modes.

preprint2022arXiv

Fast estimation of outcome probabilities for quantum circuits

We present two classical algorithms for the simulation of universal quantum circuits on $n$ qubits constructed from $c$ instances of Clifford gates and $t$ arbitrary-angle $Z$-rotation gates such as $T$ gates. Our algorithms complement each other by performing best in different parameter regimes. The $\tt{Estimate}$ algorithm produces an additive precision estimate of the Born rule probability of a chosen measurement outcome with the only source of run-time inefficiency being a linear dependence on the stabilizer extent (which scales like $\approx 1.17^t$ for $T$ gates). Our algorithm is state-of-the-art for this task: as an example, in approximately $13$ hours (on a standard desktop computer), we estimated the Born rule probability to within an additive error of $0.03$, for a $50$-qubit, $60$ non-Clifford gate quantum circuit with more than $2000$ Clifford gates. Our second algorithm, $\tt{Compute}$, calculates the probability of a chosen measurement outcome to machine precision with run-time $O(2^{t-r} t)$ where $r$ is an efficiently computable, circuit-specific quantity. With high probability, $r$ is very close to $\min \{t, n-w\}$ for random circuits with many Clifford gates, where $w$ is the number of measured qubits. $\tt{Compute}$ can be effective in surprisingly challenging parameter regimes, e.g., we can randomly sample Clifford+$T$ circuits with $n=55$, $w=5$, $c=10^5$ and $t=80$ $T$ gates, and then compute the Born rule probability with a run-time consistently less than $10$ minutes using a single core of a standard desktop computer. We provide a C+Python implementation of our algorithms and benchmark them using random circuits, the hidden shift algorithm and the quantum approximate optimization algorithm (QAOA).

preprint2022arXiv

Low-overhead fault-tolerant quantum computing using long-range connectivity

Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates operate via logical Pauli measurements that preserve both the protection of the LDPC codes as well as the low overheads in terms of the required number of additional qubits. Compared with surface codes with the same code distance, we estimate order-of-magnitude improvements in the overheads for processing around one hundred logical qubits using this approach. Given the high thresholds demonstrated by LDPC codes, our estimates suggest that fault-tolerant quantum computation at this scale may be achievable with a few thousand physical qubits at comparable error rates to what is needed for current approaches.

preprint2021arXiv

Universal Fault-Tolerant Quantum Computing with Stabiliser Codes

The quantum logic gates used in the design of a quantum computer should be both universal, meaning arbitrary quantum computations can be performed, and fault-tolerant, meaning the gates keep errors from cascading out of control. A number of no-go theorems constrain the ways in which a set of fault-tolerant logic gates can be universal. These theorems are very restrictive, and conventional wisdom holds that a universal fault-tolerant logic gate set cannot be implemented natively, requiring us to use costly distillation procedures for quantum computation. Here, we present a general framework for universal fault-tolerant logic with stabiliser codes, together with a no-go theorem that reveals the very broad conditions constraining such gate sets. Our theorem applies to a wide range of stabiliser code families, including concatenated codes and conventional topological stabiliser codes such as the surface code. The broad applicability of our no-go theorem provides a new perspective on how the constraints on universal fault-tolerant gate sets can be overcome. In particular, we show how non-unitary implementations of logic gates provide a general approach to circumvent the no-go theorem, and we present a rich landscape of constructions for logic gate sets that are both universal and fault-tolerant. That is, rather than restricting what is possible, our no-go theorem provides a signpost to guide us to new, efficient architectures for fault-tolerant quantum computing.

preprint2020arXiv

Braiding defects in topological stabiliser codes of any dimension cannot be universal

Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. We present a no-go theorem that places very strong limitations on the potential of such schemes for universal fault-tolerant quantum computing in any spatial dimension. In particular, we show that, for the natural encoding of quantum information in defects in topological stabiliser codes, the set of logical operators implementable by braiding defects is contained in the Clifford group. Indeed, we show that this remains true even when supplemented with locality-preserving logical operators.

preprint2020arXiv

Fault-Tolerant Quantum Gates with Defects in Topological Stabiliser Codes

Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. Here, we explore the potential and limitations of such schemes in codes of all spatial dimensions. We prove that a universal gate set for quantum computing cannot be realised by supplementing locality-preserving logical operators with defect braiding, even in more than two dimensions. However, notwithstanding this no-go theorem, we demonstrate that higher dimensional defect-braiding schemes have the potential to play an important role in realising fault-tolerant quantum computing. Specifically, we present an approach to implement the full Clifford group via braiding in any code possessing twist defects on which a fermion can condense. We explore three such examples in higher dimensional codes, specifically: in self-dual surface codes; the three dimensional Levin-Wen fermion mode; and the checkerboard model. Finally, we show how our no-go theorems can be circumvented to provide a universal scheme in three-dimensional surface codes without magic state distillation. Specifically, our scheme employs adaptive implementation of logical operators conditional on logical measurement outcomes to lift a combination of locality-preserving and braiding logical operators to universality.

preprint2020arXiv

Fault-tolerant thresholds for the surface code in excess of 5% under biased noise

Noise in quantum computing is countered with quantum error correction. Achieving optimal performance will require tailoring codes and decoding algorithms to account for features of realistic noise, such as the common situation where the noise is biased towards dephasing. Here we introduce an efficient high-threshold decoder for a noise-tailored surface code based on minimum-weight perfect matching. The decoder exploits the symmetries of its syndrome under the action of biased noise and generalises to the fault-tolerant regime where measurements are unreliable. Using this decoder, we obtain fault-tolerant thresholds in excess of $6\%$ for a phenomenological noise model in the limit where dephasing dominates. These gains persist even for modest noise biases: we find a threshold of $\sim 5\%$ in an experimentally relevant regime where dephasing errors occur at a rate one hundred times greater than bit-flip errors.

preprint2020arXiv

From estimation of quantum probabilities to simulation of quantum circuits

Investigating the classical simulability of quantum circuits provides a promising avenue towards understanding the computational power of quantum systems. Whether a class of quantum circuits can be efficiently simulated with a probabilistic classical computer, or is provably hard to simulate, depends quite critically on the precise notion of "classical simulation" and in particular on the required accuracy. We argue that a notion of classical simulation, which we call epsilon-simulation, captures the essence of possessing "equivalent computational power" as the quantum system it simulates: It is statistically impossible to distinguish an agent with access to an epsilon-simulator from one possessing the simulated quantum system. We relate epsilon-simulation to various alternative notions of simulation predominantly focusing on a simulator we call a poly-box. A poly-box outputs 1/poly precision additive estimates of Born probabilities and marginals. This notion of simulation has gained prominence through a number of recent simulability results. Accepting some plausible computational theoretic assumptions, we show that epsilon-simulation is strictly stronger than a poly-box by showing that IQP circuits and unconditioned magic-state injected Clifford circuits are both hard to epsilon-simulate and yet admit a poly-box. In contrast, we also show that these two notions are equivalent under an additional assumption on the sparsity of the output distribution (poly-sparsity).

preprint2020arXiv

Symmetry-protected self-correcting quantum memories

A self-correcting quantum memory can store and protect quantum information for a time that increases without bound with the system size and without the need for active error correction. We demonstrate that symmetry can lead to self-correction in 3D spin-lattice models. In particular, we investigate codes given by 2D symmetry-enriched topological (SET) phases that appear naturally on the boundary of 3D symmetry-protected topological (SPT) phases. We find that while conventional on-site symmetries are not sufficient to allow for self-correction in commuting Hamiltonian models of this form, a generalized type of symmetry known as a 1-form symmetry is enough to guarantee self-correction. We illustrate this fact with the 3D "cluster-state" model from the theory of quantum computing. This model is a self-correcting memory, where information is encoded in a 2D SET-ordered phase on the boundary that is protected by the thermally stable SPT ordering of the bulk. We also investigate the gauge color code in this context. Finally, noting that a 1-form symmetry is a very strong constraint, we argue that topologically ordered systems can possess emergent 1-form symmetries, i.e., models where the symmetry appears naturally, without needing to be enforced externally.

preprint2016arXiv

Randomized benchmarking in measurement-based quantum computing

Randomized benchmarking is routinely used as an efficient method for characterizing the performance of sets of elementary logic gates in small quantum devices. In the measurement-based model of quantum computation, logic gates are implemented via single-site measurements on a fixed universal resource state. Here we adapt the randomized benchmarking protocol for a single qubit to a linear cluster state computation, which provides partial, yet efficient characterization of the noise associated with the target gate set. Applying randomized benchmarking to measurement-based quantum computation exhibits an interesting interplay between the inherent randomness associated with logic gates in the measurement-based model and the random gate sequences used in benchmarking. We consider two different approaches: the first makes use of the standard single-qubit Clifford group, while the second uses recently introduced (non-Clifford) measurement-based 2-designs, which harness inherent randomness to implement gate sequences.

preprint2016arXiv

Spectral properties for a family of two-dimensional quantum antiferromagnets

We study the spectral properties of a family of quantum antiferromagnets on two-dimensional (2D) lattices. This family of models is obtained by a deformation of the well-studied 2D quantum antiferromagnetic model of Affleck, Kennedy, Lieb and Tasaki (AKLT); they are described by two-body, frustration-free Hamiltonians on a three-colourable lattice of spins. Although the existence of a spectral gap in the 2D AKLT model remains an open question, we rigorously prove the existence of a gap for a subset of this family of quantum antiferromagnets. Along with providing new progress for the gap problem in AKLT-type antiferromagnets in 2D, this result has implications for the theory of quantum computation as it provides a family of two-body Hamiltonians for which the ground state is a resource for universal quantum computation and for which a spectral gap is proven to exist.

preprint2016arXiv

Stacked codes: universal fault-tolerant quantum computation in a two-dimensional layout

We introduce a class of 3D color codes, which we call stacked codes, together with a fault-tolerant transformation that will map logical qubits encoded in two-dimensional (2D) color codes into stacked codes and back. The stacked code allows for the transversal implementation of a non-Clifford $π/8$ logical gate, which when combined with the logical Clifford gates that are transversal in the 2D color code give a gate set which is both fault-tolerant and universal without requiring nonstabilizer magic states. We then show that the layers forming the stacked code can be unfolded and arranged in a 2D layout. As only Clifford gates can be implemented transversally for 2D topological stabilizer codes, a non-local operation must be incorporated in order to allow for this transversal application of a non-Clifford gate. Our code achieves this operation through the transformation from a 2D color code to the unfolded stacked code induced by measuring only geometrically local stabilizers and gauge operators within the bulk of 2D color codes together with a nonlocal operator that has support on a one-dimensional boundary between such 2D codes. We believe that this proposed method to implement the non-local operation is a realistic one for 2D stabilizer layouts and would be beneficial in avoiding the large overheads caused by magic state distillation.

preprint2015arXiv

Estimating outcome probabilities of quantum circuits using quasiprobabilities

We present a method for estimating the probabilities of outcomes of a quantum circuit using Monte Carlo sampling techniques applied to a quasiprobability representation. Our estimate converges to the true quantum probability at a rate determined by the total negativity in the circuit, using a measure of negativity based on the 1-norm of the quasiprobability. If the negativity grows at most polynomially in the size of the circuit, our estimator converges efficiently. These results highlight the role of negativity as a measure of non-classical resources in quantum computation.

preprint2015arXiv

MERA for Spin Chains with Continuously Varying Criticality

We use the multiscale entanglement renormalisation ansatz (MERA) to numerically investigate three critical quantum spin chains with Z_2 x Z_2 on-site symmetry: a staggered XXZ model, a transverse field cluster model, and the quantum Ashkin-Teller model. All three models possess a continuous one-parameter family of critical points. Along this critical line, the thermodynamic limit of these models is expected to be described by classes of c=1 conformal field theories (CFTs) of two possible types: the S^1 free boson and its Z_2-orbifold. Our numerics using MERA with explicitly enforced Z_2 x Z_2 symmetry allow us to extract conformal data for each model, with strong evidence supporting the identification of the staggered XXZ model and critical transverse field cluster model with the S^1 boson CFT, and the Ashkin-Teller model with the Z_2-orbifold boson CFT. Our first two models describe the phase transitions between symmetry protected topologically ordered phases and trivial phases, which lie outside the usual Landau-Ginsburg-Wilson paradigm of symmetry breaking. Our results show that a range of critical theories can arise at the boundary of a single symmetry protected phase.

preprint2015arXiv

Reducing the overhead for quantum computation when noise is biased

We analyse a model for fault-tolerant quantum computation with low overhead suitable for situations where the noise is biased. The basis for this scheme is a gadget for the fault-tolerant preparation of magic states that enable universal fault-tolerant quantum computation using only Clifford gates that preserve the noise bias. We analyse the distillation of $|T\rangle$-type magic states using this gadget at the physical level, followed by concatenation with the 15-qubit quantum Reed-Muller code, and comparing our results with standard constructions. In the regime where the noise bias (rate of Pauli $Z$ errors relative to other single-qubit errors) is greater than a factor of 10, our scheme has lower overhead across a broad range of relevant noise rates.

preprint2015arXiv

Symmetry-protected adiabatic quantum transistors

Adiabatic quantum transistors allow quantum logic gates to be performed by applying a large field to a quantum many-body system prepared in its ground state, without the need for local control. The basic operation of such a device can be viewed as driving a spin chain from a symmetry protected phase to a trivial phase, and this perspective offers an avenue to generalise the adiabatic quantum transistor and to design several improvements. The performance of quantum logic gates is shown to depend only on universal symmetry properties of a symmetry-protected phase rather than fine tuned parent Hamiltonians, and it is possible to implement a universal set of logic gates in this way by combining several different types of symmetry protected matter. Such symmetry-protected adiabatic quantum transistors are argued to be robust to a range of relevant noise processes.

preprint2015arXiv

Symmetry-respecting real-space renormalization for the quantum Ashkin-Teller model

We use a simple real-space renormalization group approach to investigate the critical behavior of the quantum Ashkin-Teller model, a one-dimensional quantum spin chain possessing a line of criticality along which critical exponents vary continuously. This approach, which is based on exploiting the on-site symmetry of the model, has been shown to be surprisingly accurate for predicting some aspects of the critical behavior of the Ising model. Our investigation explores this approach in more generality, in a model where the critical behavior has a richer structure but which reduces to the simpler Ising case at a special point. We demonstrate that the correlation length critical exponent as predicted from this real-space renormalization group approach is in broad agreement with the corresponding results from conformal field theory along the line of criticality. Near the Ising special point, the error in the estimated critical exponent from this simple method is comparable to that of numerically-intensive simulations based on much more sophisticated methods, although the accuracy decreases away from the decoupled Ising model point.

preprint2015arXiv

Weak values in a classical theory with an epistemic restriction

Weak measurement of a quantum system followed by postselection based on a subsequent strong measurement gives rise to a quantity called the weak value: a complex number for which the interpretation has long been debated. We analyse the procedure of weak measurement and postselection, and the interpretation of the associated weak value, using a theory of classical mechanics supplemented by an epistemic restriction that is known to be operationally equivalent to a subtheory of quantum mechanics. Both the real and imaginary components of the weak value appear as phase space displacements in the postselected expectation values of the measurement device's position and momentum distributions, and we recover the same displacements as in the quantum case by studying the corresponding evolution in the classical theory. By using this analogous classical theory, we gain insight into the appearance of the weak value as a result of the statistical effects of post selection, and this provides us with an operational interpretation of the weak value, both its real and imaginary parts. We find that the imaginary part of the weak value is a measure of how much postselection biases the mean phase space distribution for a given amount of measurement disturbance. All such biases proportional to the imaginary part of the weak value vanish in the limit where disturbance due to measurement goes to zero. Our analysis also offers intuitive insight into how measurement disturbance can be minimised and the limits of weak measurement.

preprint2014arXiv

Changing quantum reference frames

We consider the process of changing reference frames in the case where the reference frames are quantum systems. We find that, as part of this process, decoherence is necessarily induced on any quantum system described relative to these frames. We explore this process with examples involving reference frames for phase and orientation. Quantifying the effect of changing quantum reference frames serves as a first step in developing a relativity principle for theories in which all objects including reference frames are necessarily quantum.

preprint2014arXiv

Graph states as ground states of two-body frustration-free Hamiltonians

The framework of measurement-based quantum computation (MBQC) allows us to view the ground states of local Hamiltonians as potential resources for universal quantum computation. A central goal in this field is to find models with ground states that are universal for MBQC and that are also natural in the sense that they involve only two-body interactions and have a small local Hilbert space dimension. Graph states are the original resource states for MBQC, and while it is not possible to obtain graph states as exact ground states of two-body Hamiltonians here we construct two-body frustration-free Hamiltonians that have arbitrarily good approximations of graph states as unique ground states. The construction involves taking a two-body frustration-free model that has a ground state convertible to a graph state with stochastic local operations, then deforming the model such that its ground state is close to a graph state. Each graph state qubit resides in a subspace of a higher dimensional particle. This deformation can be applied to two-body frustration-free Affleck-Kennedy-Lieb-Tasaki (AKLT) models, yielding Hamiltonians that are exactly solvable with exact tensor network expressions for ground states. For the star-lattice AKLT model, the ground state of which is not expected to be a universal resource for MBQC, applying such a deformation appears to enhance the computational power of the ground state, promoting it to a universal resource for MBQC. Transitions in computational power, similar to percolation phase transitions, can be observed when Hamiltonians are deformed in this way. Improving the fidelity of the ground state comes at the cost of a shrinking gap. While analytically proving gap properties for these types of models is difficult in general, we provide a detailed analysis of the deformation of a spin-1 AKLT state to a linear graph state.

preprint2014arXiv

Perturbative 2-body Parent Hamiltonians for Projected Entangled Pair States

We construct parent Hamiltonians involving only local 2-body interactions for a broad class of Projected Entangled Pair States (PEPS). Making use of perturbation gadget techniques, we define a perturbative Hamiltonian acting on the virtual PEPS space with a finite order low energy effective Hamiltonian that is a gapped, frustration-free parent Hamiltonian for an encoded version of a desired PEPS. For topologically ordered PEPS, the ground space of the low energy effective Hamiltonian is shown to be in the same phase as the desired state to all orders of perturbation theory. An encoded parent Hamiltonian for the double semion string net ground state is explicitly constructed as a concrete example.

preprint2014arXiv

Suppressing qubit dephasing using real-time Hamiltonian estimation

Unwanted interaction between a quantum system and its fluctuating environment leads to decoherence and is the primary obstacle to establishing a scalable quantum information processing architecture. Strategies such as environmental and materials engineering, quantum error correction and dynamical decoupling can mitigate decoherence, but generally increase experimental complexity. Here we improve coherence in a qubit using real-time Hamiltonian parameter estimation. Using a rapidly converging Bayesian approach, we precisely measure the splitting in a singlet-triplet spin qubit faster than the surrounding nuclear bath fluctuates. We continuously adjust qubit control parameters based on this information, thereby improving the inhomogenously broadened coherence time ($T_{2}^{*}$) from tens of nanoseconds to above 2 $μ$s and demonstrating the effectiveness of Hamiltonian estimation in reducing the effects of correlated noise in quantum systems. Because the technique demonstrated here is compatible with arbitrary qubit operations, it is a natural complement to quantum error correction and can be used to improve the performance of a wide variety of qubits in both metrological and quantum-information-processing applications.

preprint2013arXiv

Holonomic quantum computing in symmetry-protected ground states of spin chains

While solid-state devices offer naturally reliable hardware for modern classical computers, thus far quantum information processors resemble vacuum tube computers in being neither reliable nor scalable. Strongly correlated many body states stabilized in topologically ordered matter offer the possibility of naturally fault tolerant computing, but are both challenging to engineer and coherently control and cannot be easily adapted to different physical platforms. We propose an architecture which achieves some of the robustness properties of topological models but with a drastically simpler construction. Quantum information is stored in the symmetry-protected degenerate ground states of spin-1 chains, while quantum gates are performed by adiabatic non-Abelian holonomies using only single-site fields and nearest-neighbor couplings. Gate operations respect the symmetry, and so inherit some protection from noise and disorder from the symmetry-protected ground states.

preprint2013arXiv

The hidden symmetry-breaking picture of symmetry-protected topological order

We generalize the hidden symmetry-breaking picture of symmetry-protected topological (SPT) order developed by Kennedy and Tasaki in the context of the Haldane phase. Our generalization applies to a wide class of SPT phases in one-dimensional spin chains, protected by an on-site representation of a finite abelian group. This generalization takes the form of a non-local unitary map that relates local symmetry-respecting Hamiltonians in an SPT phase to local Hamiltonians in a symmetry-broken phase. Using this unitary, we establish a relation between the two-point correlation functions that characterize fully symmetry-broken phases with the string-order correlation functions that characterise the SPT phases, therefore establishing the perspective in these systems that SPT phases are characterised by hidden symmetry-breaking. Our generalization is also applied to systems with continuous symmetries, including SO(2k+1) and SU(k).

preprint2013arXiv

Tomography of a spin qubit in a double quantum dot

We investigate a range of methods to perform tomography in a solid-state qubit device, for which a priori initialization and measurement of the qubit is restricted to a single basis of the Bloch sphere. We explore and compare several methods to acquire precise descriptions of additional states and measurements, quantifying both stochastic and systematic errors, ultimately leading to a tomographically-complete set that can be subsequently used in process tomography. We focus in detail on the example of a spin qubit formed by the singlet-triplet subspace of two electron spins in a GaAs double quantum dot, although our approach is quite general.

preprint2013arXiv

Topological Entanglement Entropy with a Twist

Defects in topologically ordered models have interesting properties that are reminiscent of the anyonic excitations of the models themselves. For example, dislocations in the toric code model are known as twists and possess properties that are analogous to Ising anyons. We strengthen this analogy by using the topological entanglement entropy as a diagnostic tool to identify properties of both defects and excitations in the toric code. Specifically, we show, through explicit calculation, that the toric code model including twists and dyon excitations has the same quantum dimensions, the same total quantum dimension, and the same fusion rules as an Ising anyon model.

preprint2012arXiv

Measurement-based quantum computation in a 2D phase of matter

Recently it has been shown that the non-local correlations needed for measurement based quantum computation (MBQC) can be revealed in the ground state of the Affleck-Kennedy-Lieb-Tasaki (AKLT) model involving nearest neighbor spin-3/2 interactions on a honeycomb lattice. This state is not singular but resides in the disordered phase of ground states of a large family of Hamiltonians characterized by short-range-correlated valence bond solid states. By applying local filtering and adaptive single particle measurements we show that most states in the disordered phase can be reduced to a graph of correlated qubits that is a scalable resource for MBQC. At the transition between the disordered and Neel ordered phases we find a transition from universal to non-universal states as witnessed by the scaling of percolation in the reduced graph state.

preprint2012arXiv

Nonnegative subtheories and quasiprobability representations of qubits

Negativity in a quasiprobability representation is typically interpreted as an indication of nonclassical behavior. However, this does not preclude states that are non-negative from exhibiting phenomena typically associated with quantum mechanics - the single qubit stabilizer states have non-negative Wigner functions and yet play a fundamental role in many quantum information tasks. We seek to determine what other sets of quantum states and measurements for a qubit can be non-negative in a quasiprobability representation, and to identify nontrivial unitary groups that permute the states in such a set. These sets of states and measurements are analogous to the single qubit stabilizer states. We show that no quasiprobability representation of a qubit can be non-negative for more than four bases and that the non-negative bases in any quasiprobability representation must satisfy certain symmetry constraints. We provide an exhaustive list of the sets of single qubit bases that are non-negative in some quasiprobability representation and are also permuted by a nontrivial unitary group. This list includes two families of three bases that both include the single qubit stabilizer states as a special case and a family of four bases whose symmetry group is the Pauli group. For higher dimensions, we prove that there can be no more than 2^{d^2} states in non-negative bases of a d-dimensional Hilbert space in any quasiprobability representation. Furthermore, these bases must satisfy certain symmetry constraints, corresponding to requiring the bases to be sufficiently complementary to each other.

preprint2012arXiv

Observers can always generate nonlocal correlations without aligning measurements by covering all their bases

Quantum theory allows for correlations between the outcomes of distant measurements that are inconsistent with any locally causal theory, as demonstrated by the violation of a Bell inequality. Typical demonstrations of these correlations require careful alignment between the measurements, which requires distant parties to share a reference frame. Here, we prove, following a numerical observation by Shadbolt et al., that if two parties share a Bell state and each party randomly chooses three orthogonal measurements, then the parties will always violate a Bell inequality. Furthermore, we prove that this probability is highly robust against local depolarizing noise, in that small levels of noise only decrease the probability of violating a Bell inequality by a small amount. We also show that generalizing to N parties increases the robustness against noise. These results improve on previous ones that only allowed a high probability of violating a Bell inequality for large numbers of parties.

preprint2012arXiv

Optimizing qubit Hamiltonian parameter estimation algorithms using PSO

We develop qubit Hamiltonian single parameter estimation techniques using a Bayesian approach. The algorithms considered are restricted to projective measurements in a fixed basis, and are derived under the assumption that the qubit measurement is much slower than the characteristic qubit evolution. We optimize a non-adaptive algorithm using particle swarm optimization (PSO) and compare with a previously-developed locally-optimal scheme.

preprint2012arXiv

Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction

How would the world appear to us if its ontology was that of classical mechanics but every agent faced a restriction on how much they could come to know about the classical state? We show that in most respects, it would appear to us as quantum. The statistical theory of classical mechanics, which specifies how probability distributions over phase space evolve under Hamiltonian evolution and under measurements, is typically called Liouville mechanics, so the theory we explore here is Liouville mechanics with an epistemic restriction. The particular epistemic restriction we posit as our foundational postulate specifies two constraints. The first constraint is a classical analogue of Heisenberg's uncertainty principle -- the second-order moments of position and momentum defined by the phase-space distribution that characterizes an agent's knowledge are required to satisfy the same constraints as are satisfied by the moments of position and momentum observables for a quantum state. The second constraint is that the distribution should have maximal entropy for the given moments. Starting from this postulate, we derive the allowed preparations, measurements and transformations and demonstrate that they are isomorphic to those allowed in Gaussian quantum mechanics and generate the same experimental statistics. We argue that this reconstruction of Gaussian quantum mechanics constitutes additional evidence in favour of a research program wherein quantum states are interpreted as states of incomplete knowledge, and that the phenomena that do not arise in Gaussian quantum mechanics provide the best clues for how one might reconstruct the full quantum theory.

preprint2012arXiv

Revisiting consistency conditions for quantum states of systems on closed timelike curves: an epistemic perspective

There has been considerable recent interest in the consequences of closed timelike curves (CTCs) for the dynamics of quantum mechanical systems. A vast majority of research into this area makes use of the dynamical equations developed by Deutsch, which were developed from a consistency condition that assumes that mixed quantum states uniquely describe the physical state of a system. We criticise this choice of consistency condition from an epistemic perspective, i.e., a perspective in which the quantum state represents a state of knowledge about a system. We demonstrate that directly applying Deutsch's condition when mixed states are treated as representing an observer's knowledge of a system can conceal time travel paradoxes from the observer, rather than resolving them. To shed further light on the appropriate dynamics for quantum systems traversing CTCs, we make use of a toy epistemic theory with a strictly classical ontology due to Spekkens and show that, in contrast to the results of Deutsch, many of the traditional paradoxical effects of time travel are present.

preprint2012arXiv

Symmetry protection of measurement-based quantum computation in ground states

The two-dimensional cluster state, a universal resource for measurement-based quantum computation, is also the gapped ground state of a short-ranged Hamiltonian. Here, we examine the effect of perturbations to this Hamiltonian. We prove that, provided the perturbation is sufficiently small and respects a certain symmetry, the perturbed ground state remains a universal resource. We do this by characterising the operation of an adaptive measurement protocol throughout a suitable symmetry-protected quantum phase, relying on generic properties of the phase rather than any analytic control over the ground state.

preprint2012arXiv

Symmetry-protected phases for measurement-based quantum computation

Ground states of spin lattices can serve as a resource for measurement-based quantum computation. Ideally, the ability to perform quantum gates via measurements on such states would be insensitive to small variations in the Hamiltonian. Here, we describe a class of symmetry-protected topological orders in one-dimensional systems, any one of which ensures the perfect operation of the identity gate. As a result, measurement-based quantum gates can be a robust property of an entire phase in a quantum spin lattice, when protected by an appropriate symmetry.

preprint2011arXiv

Characterization of a qubit Hamiltonian using adaptive measurements in a fixed basis

We investigate schemes for Hamiltonian parameter estimation of a two-level system using repeated measurements in a fixed basis. The simplest (Fourier based) schemes yield an estimate with a mean square error (MSE) that decreases at best as a power law ~N^{-2} in the number of measurements N. By contrast, we present numerical simulations indicating that an adaptive Bayesian algorithm, where the time between measurements can be adjusted based on prior measurement results, yields a MSE which appears to scale close to \exp(-0.3 N). That is, measurements in a single fixed basis are sufficient to achieve exponential scaling in N.

preprint2011arXiv

Generating nonclassical correlations without fully aligning measurements

We investigate the scenario where spatially separated parties perform measurements in randomly chosen bases on an N-partite Greenberger-Horne-Zeilinger state. We show that without any alignment of the measurements, the observers will obtain correlations that violate a Bell inequality with a probability that rapidly approaches 1 as N increases and that this probability is robust against noise. We also prove that restricting these randomly chosen measurements to a plane perpendicular to a common direction will always generate correlations that violate some Bell inequality. Specifically, if each observer chooses their two measurements to be locally orthogonal, then the N observers will violate one of two Bell inequalities by an amount that increases exponentially with N. These results are also robust against noise and perturbations of each observer's reference direction from the common direction.

preprint2011arXiv

Toric codes and quantum doubles from two-body Hamiltonians

We present a procedure to obtain the Hamiltonians of the toric code and Kitaev quantum double models as the low-energy limits of entirely two-body Hamiltonians. Our construction makes use of a new type of perturbation gadget based on error-detecting subsystem codes. The procedure is motivated by a PEPS description of the target models, and reproduces the target models' behavior using only couplings which are natural in terms of the original Hamiltonians. This allows our construction to exactly capture the symmetries of the target models.

preprint2010arXiv

Heralded Polynomial-Time Quantum State Tomography

We describe an algorithm for quantum state tomography that converges in polynomial time to an estimate, together with a rigorous error bound on the fidelity between the estimate and the true state. The result suggests that state tomography on large quantum systems may be much more feasible than the exponential size of state space suggests. In many situations, the correctness of the state estimate can be certified from the data alone, with no a priori assumptions on the form of the measured state.

preprint2010arXiv

Nonclassical correlations from randomly chosen local measurements

We show that correlations inconsistent with any locally causal description can be a generic feature of measurements on entangled quantum states. Specifically, spatially-separated parties who perform local measurements on a maximally-entangled state using randomly chosen measurement bases can, with significant probability, generate nonclassical correlations that violate a Bell inequality. For n parties using a Greenberger-Horne-Zeilinger state, this probability of violation rapidly tends to unity as the number of parties increases. We also show that, even with both a randomly chosen two-qubit pure state and randomly chosen measurement bases, a violation can be found about 10% of the time. Amongst other applications, our work provides a feasible alternative for the demonstration of Bell inequality violation without a shared reference frame.

preprint2010arXiv

Optical one-way quantum computing with a simulated valence-bond solid

One-way quantum computation proceeds by sequentially measuring individual spins (qubits) in an entangled many-spin resource state. It remains a challenge, however, to efficiently produce such resource states. Is it possible to reduce the task of generating these states to simply cooling a quantum many-body system to its ground state? Cluster states, the canonical resource for one-way quantum computing, do not naturally occur as ground states of physical systems. This led to a significant effort to identify alternative resource states that appear as ground states in spin lattices. An appealing candidate is a valence-bond-solid state described by Affleck, Kennedy, Lieb, and Tasaki (AKLT). It is the unique, gapped ground state for a two-body Hamiltonian on a spin-1 chain, and can be used as a resource for one-way quantum computing. Here, we experimentally generate a photonic AKLT state and use it to implement single-qubit quantum logic gates.

preprint2010arXiv

Optical spin-1 chain and its use as a quantum computational wire

Measurement-based quantum computing, a powerful alternative to the standard circuit model, proceeds using only local adaptive measurements on a highly-entangled resource state of many spins on a graph or lattice. Along with the canonical cluster state, the valence-bond solid ground state on a chain of spin-1 particles, studied by Affleck, Kennedy, Lieb, and Tasaki (AKLT), is such a resource state. We propose a simulation of this AKLT state using linear optics, wherein we can make use of the high-fidelity projective measurements that are commonplace in quantum optical experiments, and describe how quantum logic gates can be performed on this chain. In our proposed implementation, the spin-1 particles comprizing the AKLT state are encoded on polarization biphotons: three level systems consisting of pairs of polarized photons in the same spatio-temporal mode. A logical qubit encoded on the photonic AKLT state can be initialized, read out and have an arbitrary single qubit unitary applied to it by performing projective measurements on the constituent biphotons. For MBQC, biphoton measurements are required which cannot be deterministically performed using only linear optics and photodetection.

preprint2010arXiv

Quantum computational renormalization in the Haldane phase

Single-spin measurements on the ground state of an interacting spin lattice can be used to perform a quantum computation. We show how such measurements can mimic renormalization group transformations and remove the short-ranged variations of the state that can reduce the fidelity of a computation. This suggests that the quantum computational ability of a spin lattice could be a robust property of a quantum phase. We illustrate our idea with the ground state of a spin-1 chain, which can serve as a quantum computational wire not only at the Affleck-Kennedy-Lieb-Tasaki point, but within the rotationally-invariant Haldane phase.

preprint2005arXiv

Dialogue Concerning Two Views on Quantum Coherence: Factist and Fictionist

A controversy that has arisen many times over in disparate contexts is whether quantum coherences between eigenstates of certain quantities are fact or fiction. We present a pedagogical introduction to the debate in the form of a hypothetical dialogue between proponents from each of the two camps: a factist and a fictionist. A resolution of the debate can be achieved, we argue, by recognizing that quantum states do not only contain information about the intrinsic properties of a system but about its extrinsic properties as well, that is, about its relation to other systems external to it. Specifically, the coherent quantum state of the factist is the appropriate description of the relation of the system to one reference frame, while the incoherent quantum state of the fictionist is the appropriate description of the relation of the system to another, uncorrelated, reference frame. The two views, we conclude, are alternative but equally valid paradigms of description.

preprint2005arXiv

Quantum methods for clock synchronization: Beating the standard quantum limit without entanglement

We introduce methods for clock synchronization that make use of the adiabatic exchange of nondegenerate two-level quantum systems: ticking qubits. Schemes involving the exchange of N independent qubits with frequency $ω$ give a synchronization accuracy that scales as $(ω\sqrt{N})^{-1}$, i.e., as the standard quantum limit. We introduce a protocol that makes use of N coherent exchanges of a single qubit at frequency $ω$, leading to an accuracy that scales as $(ωN)^{-1}\log N$. This protocol beats the standard quantum limit without the use of entanglement, and we argue that this scaling is the fundamental limit for clock synchronization allowed by quantum mechanics. We analyse the performance of these protocols when used with a lossy channel.

preprint2003arXiv

Quantum quincunx in cavity quantum electrodynamics

We introduce the quantum quincunx, which physically demonstrates the quantum walk and is analogous to Galton's quincunx for demonstrating the random walk. In contradistinction to the theoretical studies of quantum walks over orthogonal lattice states, we introduce quantum walks over nonorthogonal lattice states (specifically, coherent states on a circle) to demonstrate that the key features of a quantum walk are observable albeit for strict parameter ranges. A quantum quincunx may be realized with current cavity quantum electrodynamics capabilities, and precise control over decoherence in such experiments allows a remarkable decrease in the position noise, or spread, with increasing decoherence.

preprint2002arXiv

Photon counting schemes and performance of non-deterministic nonlinear gates in linear optics

The performance of nondeterministic nonlinear gates in linear optics relies on the photon counting scheme being employed and the efficiencies of the detectors in such schemes. We assess the performance of the nonlinear sign gate, which is a critical component of linear optical quantum computing, for two standard photon counting methods: the double detector array and the visible light photon counter. Our analysis shows that the double detector array is insufficient to provide the photon counting capability for effective nondeterministic nonlinear transformations, and we determine the gate fidelity for both photon counting methods as a function of detector efficiencies.