Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1510.06462 · Physical Review A

Ancilla-driven quantum computation for qudits and continuous variables

Timothy J Proctor, Melissa Giulian, Natalia Korolkova, Erika Andersson, Viv M. Kendon

Published May 10, 2017• 9 citations
arXivHTMLPDF

Abstract

Although qubits are the leading candidate for the basic elements in a quantum computer, there are also a range of reasons to consider using higher-dimensional qudits or quantum continuous variables (QCVs). In this paper, we use a general ``quantum variable'' formalism to propose a method of quantum computation in which ancillas are used to mediate gates on a well-isolated ``quantum memory'' register and which may be applied to the setting of qubits, qudits (for $d>2$), or QCVs. More specifically, we present a model in which universal quantum computation may be implemented on a register using only repeated applications of a single fixed two-body ancilla-register interaction gate, ancillas prepared in a single state, and local measurements of these ancillas. In order to maintain determinism in the computation, adaptive measurements via a classical feed forward of measurement outcomes are used, with the method similar to that in measurement-based quantum computation (MBQC). We show that our model has the same hybrid quantum-classical processing advantages as MBQC, including the power to implement any Clifford circuit in essentially one layer of quantum computation. In some physical settings, high-quality measurements of the ancillas may be highly challenging or not possible, and hence we also present a globally unitary model which replaces the need for measurements of the ancillas with the requirement for ancillas to be prepared in states from a fixed orthonormal basis. Finally, we discuss settings in which these models may be of practical interest.

DOI
10.1103/physreva.95.052317

Related papers

Higher-dimensional ancilla-driven quantum computation

Timothy J Proctor, Viv M. Kendon

A model of universal quantum computation with qudits ($d$-level systems) is presented in which the gates are implemented on a register entirely via fixed-form sequential interactions with ancillary qudits followed by adaptive, variable basis measurements of these ancillas. The model maintains determinism via classical feed-forward of measurement outcomes in a similar fashion to the qudit one-way model. An embedding of the qudit one-way model is given which demonstrates that the hybrid quantum-classical advantages of one-way quantum computation are also inherent in the model presented here, including the ability to implement any Clifford gate in constant depth using multiple ancillas in parallel. A model which requires only fixed basis measurements is then presented, but due to the lack of adaptive controls it can only implement universal quantum computation in a stochastic sense. Interestingly, this scheme may then be altered to recover determinism by replacing ancilla measurements with ancilla preparation. These models provide an intuitive setting for understanding the interplay between the benefits gained from classical controls, measurements and state preparation in the context of multi-valued logic ancilla-based quantum computation.

•Oct 22, 2015•1 citation

Ancillas in Quantum Computation: Beyond Two-Level Systems

Timothy J Proctor

Quantum computers have the potential to solve problems that are believed to be classically intractable. However, building such a device is proving to be very challenging. In this thesis, two physically promising settings for quantum computation are investigated: the one-way quantum computer and ancilla-based quantum gates. The majority of both the theoretical and experimental focus in the field of quantum computation has been on computation using 2-level quantum systems, known as qubits. In contrast to this, in this thesis I consider the relatively less well-understood setting of quantum computation using continuous variables or d-level quantum systems, called qudits. I develop a simple notation that encompasses each different encoding, and is applicable to a `general quantum variable'. These ideas are then used to investigate computational depth (a proxy for time) in quantum circuits and one-way quantum computations in this general quantum variable setting. In doing so, the parallelism inherent in the one-way quantum computer is made precise. In the second half of this thesis, a range of techniques are proposed for implementing entangling gates on a well-isolated computational register via interactions with `ancillary' systems. In particular, ancilla-based quantum gates for general quantum variables are investigated - including the interesting case of hybrid quantum computation, whereby more than one encoding is used in tandem. The methods proposed herein each have their own unique advantages, such as: reducing gate-counts in certain circuits, allowing for inherently parallel computation, or minimising the physical requirements for universal quantum computation. In particular, the final gate techniques that are proposed in this thesis may implement any quantum computation using only a single fixed ancilla-register interaction gate and ancillas prepared in simple states. This then allows the computational register to consist of well-isolated `memory' quantum variables and the ancillas need only be optimised for a single high-quality fixed interaction gate. Hence, this provides a simple and highly promising setting for physically implementing a quantum computer.

•Mar 1, 2016•1 citation

Ancilla-driven universal quantum computation

Janet Anders, Daniel K. L. Oi, Elham Kashefi +2 more

We introduce a model of quantum computation intermediate between the gate-based and measurement-based models. A quantum register is manipulated remotely with the help of a single ancilla that ``drives'' the evolution of the register. The fully controlled ancilla qubit is coupled to the computational register only via a fixed unitary two-qubit interaction and then measured in suitable bases, driving both single- and two-qubit operations on the register. Arbitrary single-qubit operations directly on register qubits are not needed. We characterize all interactions $E$ that induce a unitary, stepwise deterministic measurement back-action on the register sufficient to implement any quantum channel. Our scheme offers experimental advantages for computation, state preparation, and generalized measurements, since no tunable control of the register is required.

arXiv:0911.3783•Physical Review A•Aug 10, 2010•77 citations

Universal quantum computation by the unitary control of ancilla qubits and using a fixed ancilla-register interaction

Timothy J Proctor, Erika Andersson, Viv M. Kendon

We characterize a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [Phys. Rev. A 82, 020301(R) (2010)], but does not require measurements of the ancillas, and in this respect is similar to the original gate-based model of quantum computation. We consider what possible forms this ancilla-register interaction can take, with a proof that the interaction is necessarily locally equivalent to swap combined with an entangling controlled gate. We further show which Hamiltonians can create such interactions and discuss two examples; the two-qubit XY Hamiltonian and a particular case of the XXZ Hamiltonian. We then give an example of a simple, finite, and fault-tolerant gate set for universal quantum computation in this model.

arXiv:1307.6095•Physical Review A•Oct 24, 2013•13 citations

Minimal ancilla mediated quantum computation

Timothy J Proctor, Viv M. Kendon

Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experimental implementation. In this paper we consider how to minimise the control needed to implement universal quantum computation in an ancilla-mediated fashion. Considering computational schemes which require no measurements and hence evolve by unitary dynamics for the global system, we show that when employing an ancilla qubit there are certain fixed-time ancilla-register interactions which, along with ancilla initialisation in the computational basis, are universal for quantum computation with no additional control of either the ancilla or the register. We develop two distinct models based on locally inequivalent interactions and we then discuss the relationship between these unitary models and the measurement-based ancilla-mediated models known as ancilla-driven quantum computation.

EPJ Quantum Technology•Sep 4, 2014•5 citations

DUMMY TITLE FOR ALIASING 10.1186/epjqt13

Timothy J Proctor, Viv M. Kendon

Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experimental implementation. In this paper we consider how to minimise the control needed to implement universal quantum computation in an ancilla-mediated fashion. Considering computational schemes which require no measurements and hence evolve by unitary dynamics for the global system, we show that when employing an ancilla qubit there are certain fixed-time ancilla-register interactions which, along with ancilla initialisation in the computational basis, are universal for quantum computation with no additional control of either the ancilla or the register. We develop two distinct models based on locally inequivalent interactions and we then discuss the relationship between these unitary models and the measurement-based ancilla-mediated models known as ancilla-driven quantum computation.

arXiv:1404.2527•BMC Biophysics•Jan 1, 2014•1 citation
Although qubits are the leading candidate for the basic elements in a quantum computer, there are also a range of reasons to consider using higher-dimensional qudits or quantum continuous variables (QCVs). In this paper, we use a general quantum variable'' formalism to propose a method of quantum computation in which ancillas are used to mediate gates on a well-isolated quantum memory'' register and which may be applied to the setting of qubits, qudits (for d>2d>2d>2), or QCVs. More specifically, we present a model in which universal quantum computation may be implemented on a register using only repeated applications of a single fixed two-body ancilla-register interaction gate, ancillas prepared in a single state, and local measurements of these ancillas. In order to maintain determinism in the computation, adaptive measurements via a classical feed forward of measurement outcomes are used, with the method similar to that in measurement-based quantum computation (MBQC). We show that our model has the same hybrid quantum-classical processing advantages as MBQC, including the power to implement any Clifford circuit in essentially one layer of quantum computation. In some physical settings, high-quality measurements of the ancillas may be highly challenging or not possible, and hence we also present a globally unitary model which replaces the need for measurements of the ancillas with the requirement for ancillas to be prepared in states from a fixed orthonormal basis. Finally, we discuss settings in which these models may be of practical interest.
A model of universal quantum computation with qudits (ddd-level systems) is presented in which the gates are implemented on a register entirely via fixed-form sequential interactions with ancillary qudits followed by adaptive, variable basis measurements of these ancillas. The model maintains determinism via classical feed-forward of measurement outcomes in a similar fashion to the qudit one-way model. An embedding of the qudit one-way model is given which demonstrates that the hybrid quantum-classical advantages of one-way quantum computation are also inherent in the model presented here, including the ability to implement any Clifford gate in constant depth using multiple ancillas in parallel. A model which requires only fixed basis measurements is then presented, but due to the lack of adaptive controls it can only implement universal quantum computation in a stochastic sense. Interestingly, this scheme may then be altered to recover determinism by replacing ancilla measurements with ancilla preparation. These models provide an intuitive setting for understanding the interplay between the benefits gained from classical controls, measurements and state preparation in the context of multi-valued logic ancilla-based quantum computation.
Quantum computers have the potential to solve problems that are believed to be classically intractable. However, building such a device is proving to be very challenging. In this thesis, two physically promising settings for quantum computation are investigated: the one-way quantum computer and ancilla-based quantum gates. The majority of both the theoretical and experimental focus in the field of quantum computation has been on computation using 2-level quantum systems, known as qubits. In contrast to this, in this thesis I consider the relatively less well-understood setting of quantum computation using continuous variables or d-level quantum systems, called qudits. I develop a simple notation that encompasses each different encoding, and is applicable to a `general quantum variable'. These ideas are then used to investigate computational depth (a proxy for time) in quantum circuits and one-way quantum computations in this general quantum variable setting. In doing so, the parallelism inherent in the one-way quantum computer is made precise. In the second half of this thesis, a range of techniques are proposed for implementing entangling gates on a well-isolated computational register via interactions with `ancillary' systems. In particular, ancilla-based quantum gates for general quantum variables are investigated - including the interesting case of hybrid quantum computation, whereby more than one encoding is used in tandem. The methods proposed herein each have their own unique advantages, such as: reducing gate-counts in certain circuits, allowing for inherently parallel computation, or minimising the physical requirements for universal quantum computation. In particular, the final gate techniques that are proposed in this thesis may implement any quantum computation using only a single fixed ancilla-register interaction gate and ancillas prepared in simple states. This then allows the computational register to consist of well-isolated `memory' quantum variables and the ancillas need only be optimised for a single high-quality fixed interaction gate. Hence, this provides a simple and highly promising setting for physically implementing a quantum computer.
We introduce a model of quantum computation intermediate between the gate-based and measurement-based models. A quantum register is manipulated remotely with the help of a single ancilla that ``drives'' the evolution of the register. The fully controlled ancilla qubit is coupled to the computational register only via a fixed unitary two-qubit interaction and then measured in suitable bases, driving both single- and two-qubit operations on the register. Arbitrary single-qubit operations directly on register qubits are not needed. We characterize all interactions EEE that induce a unitary, stepwise deterministic measurement back-action on the register sufficient to implement any quantum channel. Our scheme offers experimental advantages for computation, state preparation, and generalized measurements, since no tunable control of the register is required.
We characterize a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [Phys. Rev. A 82, 020301(R) (2010)], but does not require measurements of the ancillas, and in this respect is similar to the original gate-based model of quantum computation. We consider what possible forms this ancilla-register interaction can take, with a proof that the interaction is necessarily locally equivalent to swap combined with an entangling controlled gate. We further show which Hamiltonians can create such interactions and discuss two examples; the two-qubit XY Hamiltonian and a particular case of the XXZ Hamiltonian. We then give an example of a simple, finite, and fault-tolerant gate set for universal quantum computation in this model.
Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experimental implementation. In this paper we consider how to minimise the control needed to implement universal quantum computation in an ancilla-mediated fashion. Considering computational schemes which require no measurements and hence evolve by unitary dynamics for the global system, we show that when employing an ancilla qubit there are certain fixed-time ancilla-register interactions which, along with ancilla initialisation in the computational basis, are universal for quantum computation with no additional control of either the ancilla or the register. We develop two distinct models based on locally inequivalent interactions and we then discuss the relationship between these unitary models and the measurement-based ancilla-mediated models known as ancilla-driven quantum computation.
Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experimental implementation. In this paper we consider how to minimise the control needed to implement universal quantum computation in an ancilla-mediated fashion. Considering computational schemes which require no measurements and hence evolve by unitary dynamics for the global system, we show that when employing an ancilla qubit there are certain fixed-time ancilla-register interactions which, along with ancilla initialisation in the computational basis, are universal for quantum computation with no additional control of either the ancilla or the register. We develop two distinct models based on locally inequivalent interactions and we then discuss the relationship between these unitary models and the measurement-based ancilla-mediated models known as ancilla-driven quantum computation.