Theory vs. reality — the throwdown October 19, 2006
Posted by Geordie in General, QC-Related Posts, Uncategorized.5 comments
I was reading a post on Dave Bacon’s blog about a recent quant-ph article. The article questions whether or not fault tolerant quantum error correction can be run on gate model quantum computers, and offers some arguments as to why the answer may be no.
I believe that all of these arguments can (and probably will) individually be refuted. However I think most of the folks eager to begin the rebuttal may be missing the point.
People actually trying to build real QCs have to deal with a large number of real-life problems that are ignored in most theoretical QC. While they may understand that theory has value, they don’t like being told “this is the way things are” by people who have never had to fix a solder joint (yes, there are solder joints in real QCs).
I was involved with a particular case of this recently. A lot of the literature on adiabatic quantum computing (AQC) is wrong, for a very basic physical reason–the omission of realistic environments. Adding a simple thermal environment produces theory that matches with experiment. So when I see a “theorem” about AQC usually it doesn’t apply in practice - ie. it doesn’t match experiment - because the underlying model was not correct.
This experience isn’t unique. A large number of people actually building things take theory with a grain of salt, especially theory originating with a community that may not know what should be included (or not) in the underlying analyses. You may poke fun at Dyakonov because he doesn’t like his physics to be written in Lemmas; I think his point is that if you write physical statements as Lemmas you’re probably a few steps removed from the lab and may not appreciate the subtleties in a real condensed matter physics situation.
The gate model (which Dyakonov attacks) is obviously highly unrealistic for several reasons. Whether FT/QEC can ever be made to work may not even be the worst of these. This lack of realism doesn’t have to matter to theorists because to a theorist how difficult it might be to enable is not their problem. I think if QC theorists really wanted QCs to be built, there would be a lot more communication between these communities as to what is realistic and what isn’t, which would have led to the abandonment of the gate model many years ago.