Which theoretical models for quantum computing are polynomial-time equivalent?

Question

There are different theoretical models for quantum computing like the circuit model or the model of adiabatic quantum computers.

Between which of these models exist polynomial-time reductions?

Note that this question does not aim to cover physical implementations of quantum computers which are already discussed here.

There is a nice work on it from 2016, I haven't read all but it is a nice start: arXiv:1611.04471. — Gustavo Banegas, Mar 28 '18 at 01:26

score 4 · Accepted Answer · answered Mar 28 '18 at 11:36

A non-exhaustive list of theoretical models of quantum computation are provided as answers to another question: "What are the methods of quantum computation?".

As to which models are polynomial-time equivalent — the following is an incomplete list of models which are provably universal for polynomial-time quantum computation, assuming perfect control:

The unitary circuit model is polynomial-time equivalent to adiabatic quantum computation [arXiv:quant-ph/0405098];
The unitary circuit model is polynomial-time equivalent to quantum circuits with intermediate measurements (by the principle of deferred measurement);
The one-way measurement-based model is polynomial-time equivalent to unitary circuits.

Which theoretical models for quantum computing are polynomial-time equivalent?

1 Answers1