>The final section was of particular interest to me; Gil Kalai's work on quantum error correction is very interesting to me and I am in the camp that believes that quantum computing is not possible in any useful sense; in particular a quantum computer will not be capable of being significantly more powerful than a classical computer, in the quantum supremacy sense.
Maybe his arguments have improved over the decades. Does he now have a coherent argument that doesn't (i) take it as a point of religious faith that noise will be magically correlated in order to break error correcting codes (ii) also demonstrate the impossibility of classical computers
> (i) take it as a point of religious faith that noise will be magically correlated in order to break error correcting codes
This possibility doesn't strike me as any more magical than QM's conjugate variables or its unusual correlations, which also seemed magical to classical physics. Arguably these + contextuality would make noise correlated with the system's configuration in some way, we just don't have a thorough enough understanding of measurement and decoherence to quantify it precisely. I think that's beginning to change, and that we'll have more clarity in the next 10 years or so.
But the reason people believe QM is because of overwhelming empirical evidence, not because it seems right.
You can't just go "QM has many surprising aspects" to "this other theory also has surprising aspects, it's probably true".
If we had been having this conversation before some of the more bizarre quantum effects had been observed it would have been a fair comparison, but we are way past that point.
> You can't just go "QM has many surprising aspects" to "this other theory also has surprising aspects, it's probably true".
I didn't say it's probably true because of this argument, you're saying it's probably false because it seems magical, and that's the implication I'm disputing with that analogy.
I do think it's plausible that noise could be correlated for the reasons I specified, but not because of the "magical" analogy.
Maybe his arguments have improved over the decades. Does he now have a coherent argument that doesn't (i) take it as a point of religious faith that noise will be magically correlated in order to break error correcting codes (ii) also demonstrate the impossibility of classical computers