Live data from Hacker News

I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

news.ycombinator.com

151–160 of 373 posts

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#151
post #21

Do you believe there is now a quantum Moore's Law in place? I've seen graphs showing quantum chips from Google, IBM, and Intel plotted on a log scale that are suggestive. (These exclude adiabatic quantum computers which are different beasts.) If there is do you think we're perhaps less than 10 years from QC capable of breaking common number theory based asymmetric cryptographic algorithms like RSA or elliptic curve f…

I think it's too early in the field, and there's too much basic research still to be done, to talk usefully about a "Moore's Law." For godsakes, we're not even sure yet whether superconducting qubits or trapped ions or something else (or a hybrid) will be the way forward!

Yes, you can make plots of the number of qubits, coherence times, etc. as a function of year -- and if you listen to talks by John Martinis, Chris Monroe, or the other leading experimentalists, you'll often see such plots. But at the very least, you need to look at both dimensions (qubits and coherence time) -- not just at "number of qubits," which will be severely misleading! And even if you do, there are very few data points to use for extrapolation, since it's really only within the last ~6-7 years that people have even gotten qubits to work well in isolation, let alone scaling them up. So it's really hard to extrapolate.

Like, I'm hopeful that within the next decade, we'll have systems with a few hundred qubits that will be good enough to do some useful tasks that are classically intractable (such as quantum simulation), though they certainly won't be threatening public-key crypto yet. But I'm not sure even about that. And I'd prefer to see what happens with this before speculating about the timescale for the next step, of building a full universal QC (the kind that would break our existing public-key cryptosystems)!

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#153
post #67

Most people were not able to succeed in academia. What do you think you did differently than most people?

Uhh, most people don't even try to succeed in academia! So no surprise if they don't. It's not like I made it to the NBA or something. :-) Let me speak only about academic CS, since that's what I know best. Of the students who enter the major CS PhD programs in the US, I think something on the order of half of them (maybe a bit less) end up in academic positions, with the rest going to startups and industry and gover…

Thank you very much for your answer. I suppose the situation is a bit different in CS.

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#154
Is it possible to simulate the function of a quantum computer in a traditional computing system, even if it is slower, and would doing so be of any value?

Do you know what the Google Bristlecone quantum processor is? Is it a "real" or simulated quantum computer?

Do you think quantum computers (or perhaps alternate computing paradigms like trinary) are better at fuzzy problems than traditional binary systems?

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#158
Hi Scott, I'm astounded by the accomplishment of AlphaZero in quickly becoming a chess master without chess specific programming. Could a program of the same kind be adapted to infer or deduce the rules of chess from a large set of valid games? Or is that a different kind of problem?

If so, could it be adapted to learn the rules when we're not clear on them either, like those for the games of love or politics?

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#159
post #70
post #52

Hi Scott, Why do we live in a universe where the Halting Problem is unsolvable?

(Not Scott!) The Halting Problem's unsolvability is proven in a fully abstract mathematical way, and so the truth of this result is as logically necessary as the truth of other mathematical theorems. It doesn't refer to anything about physics. So it seems like this question might be better bifurcated into Why do we live in a world in which Turing machines are a good model for what computations we can physically perfo…

Yup. :-)

Or better yet, we could bifurcate into:

(1) Why is our universe apparently unable to solve the halting problem for Turing machines?

The answer, presumably, is a combination of the physical Church-Turing Thesis (specifically, the apparent impossibility of Turing-uncomputable processes in our world), with Church and Turing and Post's theorem on the unsolvability of the halting problem.

Of course one could then push back and ask why the Church-Turing Thesis should be true of our world: i.e., why shouldn't there be physical "hypercomputers"? That's an enormous question, but my old survey "NP-Complete Problems and Physical Reality" contains some thoughts about it: https://arxiv.org/abs/quant-ph/0502072

And then there's:

(2) Why should we live in a universe that's unable to solve "its own" halting problem?

I.e., even if super-Turing computers were physically possible, we could presumably formulate a halting problem for those computers, which would then require a still more powerful computer to solve (a super-duper-Turing computer?), and so on forever. This is because we could simply repeat Turing's diagonalization argument at a higher-level up -- given very minimal properties of computation, such as the ability to feed one program to another program as code, the ability of one program to emulate another one, and the ability to compute the NOT function. Once you have those properties, the inability of any given computational model (even a super-Turing model) to solve its own halting problem is just a matter of logic, as schoen said.

Re: I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA

#160

Hi Scott. Thank you for doing this AMA. In your opinion what are some good universities across the world to look into if one wants to do graduate or post-graduate level research in quantum computing?

I already answered that in another comment, but briefly: Waterloo/Perimeter, Caltech, MIT, Berkeley, U. Maryland, Singapore, Oxford, Cambridge, Bristol, CWI Amsterdam, Hebrew University, Tsinghua, UTS Sydney, McGill/Montreal, LRI Paris, and don't count out UT Austin -- we're planning to expand a lot! And many, many other places have at least one or two people in the field.

How about Germany? It seems people doing optics here like to connect their research to quantum computing.
Post reply on HN