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.
What precisely is the statement of the quantum extended Church-Turing thesis? Original references appreciated.
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?
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."