What precisely is the quantum extended Church-Turing thesis?

Question

Context

Prof. Aaronson mentions that the quantum extended Church-Turing (quantum ECT) thesis has no known counterexamples cf. around 14:18 but doesn't mention its precise statement.

Questions

1. What precisely is the statement of the quantum extended Church-Turing thesis? Original references appreciated.

2. Is there any quantum Church-Turing thesis (i.e. a non-extended version that doesn't concern itself with the efficiency of computation)? If yes, what's its precise statement?

3. Is there any fundamental difference between the quantum extended Church-Turing thesis and Deutsch's 1985 version^†? Does the former include or imply any assertion about "finitely realizable physical systems" like the latter does?

^{†: "Every finitely realizable physical system can be perfectly simulated by a universal model computing machine operating by finite means."}

Answer 1

Taking the questions head on.

1. I'm not sure that original references are very much the point, although there are some. It's not a hard question. The statement is that realistic polynomial time equals what a quantum computer (if you want to be rigorous, say a QTM) can do in polynomial time.

2. The question has been answered many times in QCSE that a quantum computer can be simulated by a classical computer with exponential overhead. Therefore, without the "extended" part, meaning limits on computation time, quantum computability is the same as classical computability.

3. I read Deutsch's paper differently. He argues that quantum mechanics disproves the classical extended Church-Turing thesis, and his quote basically states that there should be some realistic or "physical" ECT. But I think that his paper conservatively does not say what the true version of ECT should be, only that it should be at least as much as what a quantum computer can do.

All that said, my own view is that when you see a revolution in science, you don't usually need or get another one of the exact same kind. In other words, even when scientists (as a group) get a fundamental question wrong on the first try, they usually get it right on the second or third try. I think that quantum computers are realistic in principle, but I have never seen any good argument for some fantastic new thing afterwards that is even more powerful than quantum computers. It's hard to call that impossible, but only because there is no way to argue against the unforseeable.

Answer 2

I will address the first two parts based on what I understood so far.

1. The extended Church–Turing thesis or (classical) complexity-theoretic Church–Turing thesis states that "A probabilistic Turing machine can efficiently simulate any realistic model of computation.", whereas the quantum extended Church–Turing thesis or quantum complexity-theoretic Church–Turing thesis states "A quantum Turing machine can efficiently simulate any realistic model of computation.". The key point being:

   If BQP is shown to be a strict superset of BPP, it would invalidate the complexity-theoretic Church–Turing thesis. In other words, there would be efficient quantum algorithms that perform tasks that do not have efficient probabilistic algorithms. This would not, however, invalidate the original Church–Turing thesis, since a quantum computer can always be simulated by a Turing machine, but it would invalidate the classical complexity-theoretic Church–Turing thesis for efficiency reasons.

2. A quantum Church-Turing thesis such as "A quantum Turing machine can simulate any realistic model of computation" would not be essentially different from the original Church-Turing thesis which states "A classical Turing machine can simulate any realistic model of computation", because without efficiency considerations they're equivalent. A classical Turing machine can certainly simulate a quantum Turing machine, although not necessarily efficiently, and vice-versa.

Answer 3

Regarding the "quantum (non-extended) Church-Turing Thesis," I think this asserts that there is no physical process, like a quasar or some other astronomical woo, that we know could produce a steady supply of qubits all in the same state $\alpha|0\rangle+\beta|1\rangle$, with the property that $\beta^2=\Omega_C$, that is, Chaitin's halting probability. We can also say classically that there is no magic coin that we know lands heads with probability precisely $\Omega_C$.

However, after recent proofs that $\mathrm{NEEXP}\subset\mathrm{MIP^*}$ (multi-prover interactive proofs with entangled provers), there is some indication that perhaps two God-like entities that are able to share an infinite amount of entanglement can convince a mere mortal of some undecidable proposition, maybe even in only a polynomial amount of time! See here I think.