Live data from Hacker News

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

news.ycombinator.com

361–370 of 373 posts

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

#361

Hi Scott There are non-quantum physical systems that exhibits positive and negative amplitudes and interference. Can I factor large numbers by throwing rocks in a lake and measuring the water height at the right place? Why not?

Lakes don't have the required quantum properties, I think, but this might work:

http://math.mit.edu/~bush/?page_id=484

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

#362
post #119

Hi Scott, If somebody claims that there is no freedom of will, what what you accept as a reasonable proof? It seems that one can be sceptical even in presence of extremely precize predictions as it my be easier to alter memory about predictions than to produce them.

I’m not sure I fully understand your argument, but if someone showed that they could perfectly predict the actions of the people around them, say hours or days into future, placing the predictions into a sealed envelope or a cryptographic commitment and revealing them later, then to whatever extent fraud and the like had been ruled out as explanations (in the ordinary experimental ways, and possibly with the help of…

thanks for a reference about James Randi! Now I reliazed that indeed if the claims survives exteremely sofisiticated scrutiny, then it really does not matter if it was a fraud or not, and one would need to accept one lives in a world where one is predictable in one way or another.

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

#363

Earlier quoted context omitted.

Dah. Hang on, what am I talking about- chess has a finite number of moves so the "language" is finite. That means it's learnable in polynomial time, from finite examples ... in principle :)

Right, but even if chess were infinite, we could still imagine an algorithm that would output the smallest explicit rule set that was consistent with all the games it had seen so far, and that would quickly (though how quickly?) converge on the correct rules in the case of chess, even if it would be up against undecidability when trying to do the same thing for a completely arbitrary game.

It depends on how you mean "converge". It would certainly tend towards the full ruleset, learning more of them, or more accurate versions of them, the more examples it saw. It would not really terminate though, at least according to the learnability results from inductive inference.

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

#364

Hi Scott - What was the best part/most favorite thing about your sabbatical? Can you explain why Forrelation is a guiding light for quantum deep learning these days? As a bonus - it would be nice to see a walkthrough - commentary of the recent oracle separation proof of Tal and Raz and how they used Fourier transforms specifically.

My favorite part of my sabbatical in Tel Aviv was having some actual time to do research. My second-favorite part was the hummus. Forrelation is not a “guiding light for quantum deep learning.” I’m not even sure if there’s such a thing as “quantum deep learning” that’s sufficiently well-developed to deserve the name. You can use Forrelation as a separating example for some other quantum learning problems, e.g. k-mean…

Hi Scott,

Have you seen https://arxiv.org/abs/1806.09729?

I would call that quantum deep learning, or more accurately, foundations of quantum deep learning.

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

#365

Earlier quoted context omitted.

My favorite part of my sabbatical in Tel Aviv was having some actual time to do research. My second-favorite part was the hummus. Forrelation is not a “guiding light for quantum deep learning.” I’m not even sure if there’s such a thing as “quantum deep learning” that’s sufficiently well-developed to deserve the name. You can use Forrelation as a separating example for some other quantum learning problems, e.g. k-mean…

Just as a quick followup: Avishay Tal has confirmed for me that, indeed, their proof still goes through if you replace the Fourier transform by any other unitary matrix with bounded entries.

Thanks, Scott! I thought you’d missed this. Maybe we’ll get to have you give a colloquium here at Tulane someday soon!

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

#366

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?

Most of the rules of chess are trivial and thus should be deducible from observing less than one complete game. Rare things like castling might take a couple of games. Love and politics have rulesets that are many orders of magnitude more complex; so complex that we don't even know how to write them all down.

[deleted]

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

#367

Earlier quoted context omitted.

Right, but even if chess were infinite, we could still imagine an algorithm that would output the smallest explicit rule set that was consistent with all the games it had seen so far, and that would quickly (though how quickly?) converge on the correct rules in the case of chess, even if it would be up against undecidability when trying to do the same thing for a completely arbitrary game.

It depends on how you mean "converge". It would certainly tend towards the full ruleset, learning more of them, or more accurate versions of them, the more examples it saw. It would not really terminate though, at least according to the learnability results from inductive inference.

Results from inductive inference show that you’re not going to converge in general. In the specific case of chess, however, my point was that we, because we know the complete list of rules, could plausibly look in from the outside and say after some finite point: “ah yes, now the system has gotten all of them.”

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

#368

Earlier quoted context omitted.

It depends on how you mean "converge". It would certainly tend towards the full ruleset, learning more of them, or more accurate versions of them, the more examples it saw. It would not really terminate though, at least according to the learnability results from inductive inference.

Results from inductive inference show that you’re not going to converge in general . In the specific case of chess, however, my point was that we, because we know the complete list of rules, could plausibly look in from the outside and say after some finite point: “ah yes, now the system has gotten all of them.”

Oh, I see. Yes, for sure. That'd be the active learning framework [1]. I get the feeling it's not very popular because it inserts a human in the process. Many machine learning people are rather allergic to anything that a) introduces "human bias" to the learning process and b) reduces the potential for end-to-end automation.

The article you quoted above is a good example. It's main claim is that an evaluation function was learned without knowledge of rules or hand-crafted features, i.e. explicit human participation.

It's a political issue, really. And a silly one- there are domains where very useful background knowledge is available; physics, language, mathematics, etc. There's no reason not to use it.

In chess, for example, it might be possible to learn a decent set of rules just by carefuly choosing the examples to feed to the learner. Or, indeed, evaluating the learning so-far, therefore acting as an all-knowing Oracle.

___________________

[1] Well, strictly speaking active learning is where the system asks the user for examples/ counterexamples, but there's different options and what you suggest would fit in there.

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

#369
post #317

Earlier quoted context omitted.

> if we can't test the thing then the universe isn't going to punish us either way for believing or not. If we can’t test the thing then what we are discussing is faith, not science. Nothing wrong with faith and beliefs but I think it’s important to differentiate between these things and science because often times science is used as a basis for untestable beliefs and then people really start to think that those unte…

Do you have any empirical evidence for any particular QM interpretation? If not, does that make them unscientific?

I think the various interpretations of QM, until one is proven (or we otherwise come to one definition)... they all lie within philosophy.

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

#370
post #199

Earlier quoted context omitted.

In your 35 second blurb, and the New York Times article, it seems like the point you're making is that interference is the main way that quantum computers work. But what makes quantum interference special over other kinds? You can get interference in sound waves, light waves, radio waves, etc. You also mention that magnitudes can be complex, but the same is true of other kinds of waves; complex numbers are used for d…

The difference between QC and all those other examples of interference is that, in the case of QC, the interference happens in configuration space rather than ordinary 3-dimensional space. And configuration space is enormous ; it has a dimension that grows exponentially with the number of particles. The number of paths that could interfere with each other to produce a given amplitude is likewise exponential (in that…

Out of all your replies, I THINK that this is the one that helped me grok why QC is different than somehow simulating quantum math in a classical computer. The idea of being able to tap into more than 3 dimensions sounds like something very fundamental, kind of like relativity, and a key aspect of how our universe works that at least I was never aware of (and probably a lot of other people!)

Would you consider writing an in-depth article on configuration space and how it applies to QC (and possibly other research) and sharing it here on HN someday?

Post reply on HN