Hardness of classically simulating the one-clean-qubit model

T Morimae, K Fujii, JF Fitzsimons - Physical review letters, 2014 - APS
Physical review letters, 2014APS
Deterministic quantum computation with one quantum bit (DQC1)[E. Knill and R. Laflamme,
Phys. Rev. Lett. 81, 5672 (1998)] is a model of quantum computing where the input is
restricted to containing a single qubit in a pure state and has all other qubits in a completely
mixed state. Only the single pure qubit is measured at the end of the computation. While it is
known that DQC1 can efficiently solve several problems for which no known classical
efficient algorithms exist, the question of whether DQC1 is really more powerful than …
Deterministic quantum computation with one quantum bit (DQC1) [E. Knill and R. Laflamme, Phys. Rev. Lett. 81, 5672 (1998)] is a model of quantum computing where the input is restricted to containing a single qubit in a pure state and has all other qubits in a completely mixed state. Only the single pure qubit is measured at the end of the computation. While it is known that DQC1 can efficiently solve several problems for which no known classical efficient algorithms exist, the question of whether DQC1 is really more powerful than classical computation remains open. In this Letter, we introduce a slightly modified version of DQC1, which we call , where output qubits are measured, and show that cannot be classically efficiently simulated for any unless the polynomial hierarchy collapses at the third level.
American Physical Society