arXiv subjects

Simon Perdrix

Publications and source records attributed to Simon Perdrix.

80 records · Page 5Linked to original sources

arXiv2007

Classically-Controlled Quantum Computation

Quantum computations usually take place under the control of the classical world. We introduce a Classically-controlled Quantum Turing Machine (CQTM) which is a Turing Machine (TM) with a quantum tape for acting on quantum data, and a classical transition function for a formalized classical control. In CQTM, unitary transformations and measurements are allowed. We show that any classical TM is simulated by a CQTM without loss of efficiency. The gap between classical and quantum computations, already pointed out in the framework of measurement-based quantum computation is confirmed. To appreciate the similarity of programming classical TM and CQTM, examples are given.

quant-ph↗

arXiv2007

Towards Minimal Resources of Measurement-based Quantum Computation

We improve the upper bound on the minimal resources required for measurement-based quantum computation. Minimizing the resources required for this model is a key issue for experimental realization of a quantum computer based on projective measurements. This new upper bound allows also to reply in the negative to the open question about the existence of a trade-off between observable and ancillary qubits in measurement-based quantum computation.

quant-ph↗

arXiv2004

Complexity of Graph State Preparation

The graph state formalism is a useful abstraction of entanglement. It is used in some multipartite purification schemes and it adequately represents universal resources for measurement-only quantum computation. We focus in this paper on the complexity of graph state preparation. We consider the number of ancillary qubits, the size of the primitive operators, and the duration of preparation. For each lexicographic order over these parameters we give upper and lower bounds for the complexity of graph state preparation. The first part motivates our work and introduces basic notions and notations for the study of graph states. Then we study some graph properties of graph states, characterizing their minimal degree by local unitary transformations, we propose an algorithm to reduce the degree of a graph state, and show the relationship with Sutner sigma-game. These properties are used in the last part, where algorithms and lower bounds for each lexicographic order over the considered parameters are presented.

quant-ph↗

arXiv2004

Measurement-Based Quantum Turing Machines and their Universality

Quantum measurement is universal for quantum computation. This universality allows alternative schemes to the traditional three-step organisation of quantum computation: initial state preparation, unitary transformation, measurement. In order to formalize these other forms of computation, while pointing out the role and the necessity of classical control in measurement-based computation, and for establishing a new upper bound of the minimal resources needed to quantum universality, a formal model is introduced by means of Measurement-based Quantum Turing Machines.

quant-ph↗

arXiv2004

Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation

Quantum measurement is universal for quantum computation. Two models for performing measurement-based quantum computation exist: the one-way quantum computer was introduced by Briegel and Raussendorf, and quantum computation via projective measurements only by Nielsen. The more recent development of this second model is based on state transfers instead of teleportation. From this development, a finite but approximate quantum universal family of observables is exhibited, which includes only one two-qubit observable, while others are one-qubit observables. In this article, an infinite but exact quantum universal family of observables is proposed, including also only one two-qubit observable. The rest of the paper is dedicated to compare these two models of measurement-based quantum computation, i.e. one-way quantum computation and quantum computation via projective measurements only. From this comparison, which was initiated by Cirac and Verstraete, closer and more natural connections appear between these two models. These close connections lead to a unified view of measurement-based quantum computation.

quant-ph↗

arXiv2004

State Transfer instead of Teleportation in Measurement-based Quantum Computation

Quantum measurement is universal for quantum computation. The model of quantum computation introduced by Nielsen and further developed by Leung relies on a generalized form of teleportation. In order to simulate any n-qubit unitary transformation with this model, 4 auxiliary qubits are required. Moreover Leung exhibited a universal family of observables composed of 4 two-qubit measurements. We introduce a model of quantum computation via measurements only, relying on state transfer: state transfer only retains the part of teleportation which is necessary for computating. In order to simulate any n-qubit unitary transformation with this new model, only one auxiliary qubit is required. Moreover we exhibit a universal family of observables composed of 3 one-qubit measurements and only one two-qubit measurement. This model improves those of Nielsen and Leung in terms of both the number of auxiliary qubits and the number of two-qubit measurements required for quantum universality. In both cases, the minimal amounts of necessary resources are now reached: one auxiliary qubit (because measurement is destructive) and one two-qubit measurement (for creating entanglement).

quant-ph↗

arXiv2004

Measurement-Based Quantum Turing Machines and Questions of Universalities

quant-ph↗

arXiv2003

Non-Probabilistic Termination of Measurement-based Quantum Computation

Nielsen [quant-ph/0108020] introduced a model of quantum computation by measurement-based simulation of unitary computations. In this model, a consequence of the non-determinism of quantum measurement is the probabilistic termination of simulations. This means that the time when simulation terminates for a given computation is probabilistic, and this simulation may even never end. We introduce (section 3) a measurement-based model with non probabilistic termination, which permits, unlike existing models, to predict the time of termination. This new scheme is a modification of Nielsen's. After an introduction to Nielsen's scheme (section 1), an analysis of different temporal organisations of elementary simulations within Nielsen's scheme (section 2) leads to the non probabilistic model.

quant-ph↗