Source author record

Robert Raussendorf

Robert Raussendorf 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

27works
9topics
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

27 published item(s)

preprint2026arXiv

Testing measurement-based computational phases of quantum matter on a quantum processor

Many symmetry protected or symmetry enriched phases of quantum matter have the property that every ground state in a given such phase endows measurement based quantum computation with the same computational power. Such phases are called computational phases of quantum matter. Here, we experimentally verify four theoretical predictions for them on an IBM superconducting quantum device. We comprehensively investigate how symmetric imperfections of the resource states translate into logical decoherence, and how this decoherence is mitigated. In particular, the central experiment probes the scaling law from which the uniformity of computational power follows. We also analyze the correlated regime, where local measurements give rise to logical operations collectively. We test the prediction that densest packing of a measurement-based algorithms remains the most efficient, in spite of the correlations. Our experiments corroborate the operational stability of measurement based quantum computation in quantum phases of matter with symmetry.

preprint2023arXiv

Measurement-based quantum computation in finite one-dimensional systems: string order implies computational power

We present a new framework for assessing the power of measurement-based quantum computation (MBQC) on short-range entangled symmetric resource states, in spatial dimension one. It requires fewer assumptions than previously known. The formalism can handle finitely extended systems (as opposed to the thermodynamic limit), and does not require translation-invariance. Further, we strengthen the connection between MBQC computational power and string order. Namely, we establish that whenever a suitable set of string order parameters is non-zero, a corresponding set of unitary gates can be realized with fidelity arbitrarily close to unity.

preprint2022arXiv

Measurement-Based Time Evolution for Quantum Simulation of Fermionic Systems

Quantum simulation using time evolution in phase estimation-based quantum algorithms can yield unbiased solutions of classically intractable models. However, long runtimes open such algorithms to decoherence. We show how measurement-based quantum simulation uses effective time evolution via measurement to allow runtime advantages over conventional circuit-based algorithms that use real-time evolution with quantum gates. We construct a hybrid algorithm to find energy eigenvalues in fermionic models using only measurements on graph states. We apply the algorithm to the Kitaev and Hubbard chains. Resource estimates show a runtime advantage if measurements can be performed faster than gates, and graph states compactification is fully used. In this letter, we set the stage to allow advances in measurement precision to improve quantum simulation.

preprint2022arXiv

Putting paradoxes to work: contextuality in measurement-based quantum computation

We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs. The central object in this framework is an element in the second cohomology group of the chain complex describing a given MBQC. It contains the function computed, up to gauge equivalence, and at the same time is a contextuality witness. The present cohomological description only applies to temporally flat MBQCs, and we outline an approach for extending it to the temporally ordered case.

preprint2022arXiv

Symmetry analysis of bond-alternating Kitaev spin chains and ladders

In this work, we analyze the nonsymmorphic symmetry group structures for a variety of generalized Kitaev spin chains and ladders with bond alternations, including Kitaev-Gamma chain, Kitaev-Heisenberg-Gamma chain, beyond nearest neighbor interactions, and two-leg spin ladders. The symmetry analysis is applied to determine the symmetry breaking patterns of several magnetically ordered phases in the bond-alternating Kitaev-Gamma spin chains, as well as the dimerization order parameters for spontaneous dimerizations. Our work is useful in understanding the magnetic phases in related models and may provide guidance for the symmetry classifications of mean field solutions in further investigations.

preprint2021arXiv

A hidden variable model for universal quantum computation with magic states on qubits

We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.

preprint2020arXiv

Identification of symmetry-protected topological states on noisy quantum computers

Identifying topological properties is a major challenge because, by definition, topological states do not have a local order parameter. While a generic solution to this challenge is not available yet, a broad class of topological states, namely symmetry-protected topological (SPT) states, can be identified by distinctive degeneracies in their entanglement spectrum. Here, we propose and realize two complementary protocols to probe these degeneracies based on, respectively, symmetry-resolved entanglement entropies and measurement-based computational algorithms. The two protocols link quantum information processing to the classification of SPT phases of matter. They invoke the creation of a cluster state, and are implemented on an IBM quantum computer. The experimental findings are compared to noisy simulations, allowing us to study the stability of topological states to perturbations and noise.

preprint2020arXiv

Phase space simulation method for quantum computation with magic states on qubits

We propose a method for classical simulation of finite-dimensional quantum systems, based on sampling from a quasiprobability distribution, i.e., a generalized Wigner function. Our construction applies to all finite dimensions, with the most interesting case being that of qubits. For multiple qubits, we find that quantum computation by Clifford gates and Pauli measurements on magic states can be efficiently classically simulated if the quasiprobability distribution of the magic states is non-negative. This provides the so far missing qubit counterpart of the corresponding result [V. Veitch et al., New J. Phys. 14, 113011 (2012)] applying only to odd dimension. Our approach is more general than previous ones based on mixtures of stabilizer states. Namely, all mixtures of stabilizer states can be efficiently simulated, but for any number of qubits there also exist efficiently simulable states outside the stabilizer polytope. Further, our simulation method extends to negative quasiprobability distributions, where it provides amplitude estimation. The simulation cost is then proportional to a robustness measure squared. For all quantum states, this robustness is smaller than or equal to robustness of magic.

preprint2019arXiv

Homotopical approach to quantum contextuality

We consider the phenomenon of quantum mechanical contextuality, and specifically parity-based proofs thereof. Mermin's square and star are representative examples. Part of the information invoked in such contextuality proofs is the commutativity structure among the pertaining observables. We investigate to which extent this commutativity structure alone determines the viability of a parity-based contextuality proof. We establish a topological criterion for this, generalizing an earlier result by Arkhipov.

preprint2015arXiv

Hybrid valence-bond states for universal quantum computation

The spin-3/2 Affleck-Kennedy-Lieb-Tasaki (AKLT) valence-bond state on the hexagonal lattice was shown to be a universal resource state for measurement-based quantum computation (MBQC). Can AKLT states of higher spin magnitude support universal MBQC? We demonstrate that several hybrid 2D AKLT states involving mixture of spin-2 and other lower-spin entities, such as spin-3/2 and spin-1, are also universal for MBQC. This significantly expands universal resource states in the AKLT family. Even though frustration may be a hinderance to quantum computational universality, lattices can be modified to yield AKLT states that are universal. The family of AKLT states thus provides a versatile playground for quantum computation.

preprint2015arXiv

Topos logic in measurement-based quantum computation

We report first steps towards elucidating the relationship between contextuality, measurement-based quantum computation (MBQC) and the non-classical logic of a topos associated with the computation. We show that, in a class of MBQC, classical universality requires non-classical logic, which is 'consumed' during the course of the computation, thereby pinpointing another potential quantum computational resource.

preprint2015arXiv

Universal measurement-based quantum computation with spin-2 Affleck-Kennedy-Lieb-Tasaki states

We demonstrate that the spin-2 Affleck-Kennedy-Lieb-Tasaki (AKLT) state on the square lattice is a universal resource for the measurement-based quantum computation. Our proof is done by locally converting the AKLT to two-dimensional random planar graph states and by certifying that with high probability the resulting random graphs are in the supercritical phase of percolation using Monte Carlo simulations. One key enabling point is the exact weight formula that we derive for arbitrary measurement outcomes according to a spin-2 POVM on all spins. We also argue that the spin-2 AKLT state on the three-dimensional diamond lattice is a universal resource, the advantage of which would be the possibility of implementing fault-tolerant quantum computation with topological protection. In addition, as we deform the AKLT Hamiltonian, there is a finite region that the ground state can still support a universal resource before making a transition in its quantum computational power.

preprint2015arXiv

Wigner function negativity and contextuality in quantum computation on rebits

We describe a universal scheme of quantum computation by state injection on rebits (states with real density matrices). For this scheme, we establish contextuality and Wigner function negativity as computational resources, extending results of [M. Howard et al., Nature 510, 351--355 (2014)] to two-level systems. For this purpose, we define a Wigner function suited to systems of $n$ rebits, and prove a corresponding discrete Hudson's theorem. We introduce contextuality witnesses for rebit states, and discuss the compatibility of our result with state-independent contextuality.

preprint2014arXiv

Generalized parity proofs of the Kochen-Specker theorem

We discuss two approaches to producing generalized parity proofs of the Kochen-Specker theorem. Such proofs use contexts of observables whose product is $I$ or $-I$; we call them constraints. In the first approach, one starts with a fixed set of constraints and methods of linear algebra are used to produce subsets that are generalized parity proofs. Coding theory methods are used for enumeration of the proofs by size. In the second approach, one starts with the combinatorial structure of the set of constraints and one looks for ways to suitably populate this structure with observables. As well, we are able to show that many combinatorial structures can not produce parity proofs.

preprint2014arXiv

Measurement-based classical computation

Measurement-based quantum computation (MBQC) is a model of quantum computation, in which computation proceeds via adaptive single qubit measurements on a multi-qubit quantum state. It is computationally equivalent to the circuit model. Unlike the circuit model, however, its classical analog is little studied. Here we present a classical analog of MBQC whose computational complexity presents a rich structure. To do so, we identify uniform families of quantum computations (refining the circuits introduced by Bremner, Jozsa and Shepherd in Proc. R. Soc. A 467, 459 (2011)) whose output is likely hard to exactly simulate (sample) classically. We demonstrate that these circuit families can be efficiently implemented in the MBQC model without adaptive measurement, and thus can be achieved in a classical analog of MBQC whose resource state is a probability distribution which has been created quantum mechanically. Such states (by definition) violate no Bell inequality, but nevertheless exhibit non-classicality when used as a computational resource - an imprint of their quantum origin.

preprint2013arXiv

Contextuality in Measurement-based Quantum Computation

We show, under natural assumptions for qubit systems, that measurement-based quantum computations (MBQCs) which compute a non-linear Boolean function with high probability are contextual. The class of contextual MBQCs includes an example which is of practical interest and has a super-polynomial speedup over the best known classical algorithm, namely the quantum algorithm that solves the Discrete Log problem.

preprint2012arXiv

Classical simulation of measurement-based quantum computation on higher-genus surface-code states

We consider the efficiency of classically simulating measurement-based quantum computation on surface-code states. We devise a method for calculating the elements of the probability distribution for the classical output of the quantum computation. The operational cost of this method is polynomial in the size of the surface-code state, but in the worst case scales as $2^{2g}$ in the genus $g$ of the surface embedding the code. However, there are states in the code space for which the simulation becomes efficient. In general, the simulation cost is exponential in the entanglement contained in a certain effective state, capturing the encoded state, the encoding and the local post-measurement states. The same efficiencies hold, with additional assumptions on the temporal order of measurements and on the tessellations of the code surfaces, for the harder task of sampling from the distribution of the computational output.

preprint2012arXiv

Experimental demonstration of topological error correction

Topological error correction--a novel method to actively correct errors based on cluster states with topological properties--has the highest order of tolerable error rates known to date (10^{-2}). Moreover, the scheme requires only nearest-neighbour interaction, particularly suitable for most physical systems. Here we report the first experimental demonstration of topological error correction with an 8-qubit optical cluster state. In the experiment, it is shown that a correlation can be protected against a single error on any single qubit. In addition, when all qubits are simultaneously subjected to errors with equal probability, the effective error rate is significantly reduced, clearly verifying the advantage of topological error correction. The quantum gate with the error rate below the threshold is within the current experimental technology. We believe topological error correction should be a critical ingredient for the future large-scale quantum computation.

preprint2012arXiv

Experimental demonstration of topological error correction

Scalable quantum computing can only be achieved if qubits are manipulated fault-tolerantly. Topological error correction - a novel method which combines topological quantum computing and quantum error correction - possesses the highest known tolerable error rate for a local architecture. This scheme makes use of cluster states with topological properties and requires only nearest-neighbour interactions. Here we report the first experimental demonstration of topological error correction with an eight-photon cluster state. It is shown that a correlation can be protected against a single error on any qubit, and when all qubits are simultaneously subjected to errors with equal probability, the effective error rate can be significantly reduced. This demonstrates the viability of topological error correction. Our work represents the first experimental effort to achieve fault-tolerant quantum information processing by exploring the topological properties of quantum states.

preprint2012arXiv

Quantum computation by local measurement

Quantum computation is a novel way of information processing which allows, for certain classes of problems, exponential speedups over classical computation. Various models of quantum computation exist, such as the adiabatic, circuit and measurement-based models. They have been proven equivalent in their computational power, but operate very differently. As such, they may be suitable for realization in different physical systems, and also offer different perspectives on open questions such as the precise origin of the quantum speedup. Here, we give an introduction to the one-way quantum computer, a scheme of measurement-based quantum computation. In this model, the computation is driven by local measurements on a carefully chosen, highly entangled state. We discuss various aspects of this computational scheme, such as the role of entanglement and quantum correlations. We also give examples for ground states of simple Hamiltonians which enable universal quantum computation by local measurements.

preprint2012arXiv

Quantum computational universality of the Cai-Miyake-Dür-Briegel 2D quantum state from Affleck-Kennedy-Lieb-Tasaki quasichains

Universal quantum computation can be achieved by simply performing single-qubit measurements on a highly entangled resource state, such as cluster states. Cai, Miyake, Dür, and Briegel recently constructed a ground state of a two-dimensional quantum magnet by combining multiple Affleck-Kennedy-Lieb-Tasaki quasichains of mixed spin-3/2 and spin-1/2 entities and by mapping pairs of neighboring spin-1/2 particles to individual spin-3/2 particles [Phys. Rev. A 82, 052309 (2010)]. They showed that this state enables universal quantum computation by single-spin measurements. Here, we give an alternative understanding of how this state gives rise to universal measurement-based quantum computation: by local operations, each quasichain can be converted to a 1D cluster state and entangling gates between two neighboring logical qubits can be implemented by single-spin measurements. We further argue that a 2D cluster state can be distilled from the Cai-Miyake-Dür-Briegel state.

preprint2012arXiv

The 2D AKLT state on the honeycomb lattice is a universal resource for quantum computation

Universal quantum computation can be achieved by simply performing single-qubit measurements on a highly entangled resource state. Resource states can arise from ground states of carefully designed two-body interacting Hamiltonians. This opens up an appealing possibility of creating them by cooling. The family of Affleck-Kennedy-Lieb-Tasaki (AKLT) states are the ground states of particularly simple Hamiltonians with high symmetry, and their potential use in quantum computation gives rise to a new research direction. Expanding on our prior work [T.-C. Wei, I. Affleck, and R. Raussendorf, Phys. Rev. Lett. 106, 070501 (2011)], we give detailed analysis to explain why the spin-3/2 AKLT state on a two-dimensional honeycomb lattice is a universal resource for measurement-based quantum computation. Along the way, we also provide an alternative proof that the 1D spin-1 AKLT state can be used to simulate arbitrary one-qubit unitary gates. Moreover, we connect the quantum computational universality of 2D random graph states to their percolation property and show that these states whose graphs are in the supercritical (i.e. percolated) phase are also universal resources for measurement-based quantum computation.

preprint2011arXiv

Affleck-Kennedy-Lieb-Tasaki State on a Honeycomb Lattice is a Universal Quantum Computational Resource

Universal quantum computation can be achieved by simply performing single-qubit measurements on a highly entangled resource state, such as cluster states. The family of Affleck-Kennedy-Lieb-Tasaki states has recently been intensively explored and shown to provide restricted computation. Here, we show that the two-dimensional Affleck-Kennedy-Lieb-Tasaki state on a honeycomb lattice is a universal resource for measurement-based quantum computation.

preprint2011arXiv

Efficient Decoding of Topological Color Codes

Color codes are a class of topological quantum codes with a high error threshold and large set of transversal encoded gates, and are thus suitable for fault tolerant quantum computation in two-dimensional architectures. Recently, computationally efficient decoders for the color codes were proposed. We describe an alternate efficient iterative decoder for topological color codes, and apply it to the color code on hexagonal lattice embedded on a torus. In numerical simulations, we find an error threshold of 7.8% for independent dephasing and spin flip errors.

preprint2011arXiv

Thermal States as Universal Resources for Quantum Computation with Always-on Interactions

Measurement-based quantum computation utilizes an initial entangled resource state and proceeds with subsequent single-qubit measurements. It is implicitly assumed that the interactions between qubits can be switched off so that the dynamics of the measured qubits do not affect the computation. By proposing a model spin Hamiltonian, we demonstrate that measurement-based quantum computation can be achieved on a thermal state with always-on interactions. Moreover, computational errors induced by thermal fluctuations can be corrected and thus the computation can be executed fault-tolerantly if the temperature is below a threshold value.

preprint2010arXiv

On Local Equivalence, Surface Code States and Matroids

Recently, Ji et al disproved the LU-LC conjecture and showed that the local unitary and local Clifford equivalence classes of the stabilizer states are not always the same. Despite the fact this settles the LU-LC conjecture, a sufficient condition for stabilizer states that violate the LU-LC conjecture is missing. In this paper, we investigate further the properties of stabilizer states with respect to local equivalence. Our first result shows that there exist infinitely many stabilizer states which violate the LU-LC conjecture. In particular, we show that for all numbers of qubits $n\geq 28$, there exist distance two stabilizer states which are counterexamples to the LU-LC conjecture. We prove that for all odd $n\geq 195$, there exist stabilizer states with distance greater than two which are LU equivalent but not LC equivalent. Two important classes of stabilizer states that are of great interest in quantum computation are the cluster states and stabilizer states of the surface codes. To date, the status of these states with respect to the LU-LC conjecture was not studied. We show that, under some minimal restrictions, both these classes of states preclude any counterexamples. In this context, we also show that the associated surface codes do not have any encoded non-Clifford transversal gates. We characterize the CSS surface code states in terms of a class of minor closed binary matroids. In addition to making connection with an important open problem in binary matroid theory, this characterization does in some cases provide an efficient test for CSS states that are not counterexamples.

preprint2009arXiv

Matroids and Quantum Secret Sharing Schemes

A secret sharing scheme is a cryptographic protocol to distribute a secret state in an encoded form among a group of players such that only authorized subsets of the players can reconstruct the secret. Classically, efficient secret sharing schemes have been shown to be induced by matroids. Furthermore, access structures of such schemes can be characterized by an excluded minor relation. No such relations are known for quantum secret sharing schemes. In this paper we take the first steps toward a matroidal characterization of quantum secret sharing schemes. In addition to providing a new perspective on quantum secret sharing schemes, this characterization has important benefits. While previous work has shown how to construct quantum secret sharing schemes for general access structures, these schemes are not claimed to be efficient. In this context the present results prove to be useful; they enable us to construct efficient quantum secret sharing schemes for many general access structures. More precisely, we show that an identically self-dual matroid that is representable over a finite field induces a pure state quantum secret sharing scheme with information rate one.