Oracles Are Subtle But Not Malicious. Scott Aaronson (no affiliation). Are you frustrated by the scarcity of nonrelativizing circuit lower bounds? Dissatisfied by results that apply only to made-up classes like “MA EXP ”?
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Oracles Are Subtle But Not Malicious
Are you frustrated by the scarcity of nonrelativizing circuit lower bounds?
Dissatisfied by results that apply only to made-up classes like “MAEXP”?
Do you hunger for an oracle relative to which PP has linear-size circuits?
Or … do you feel like it’s easy to construct a relativized world where anything is true—like you never get more out of oracle results than you put in to them?
What are you waiting for??
Web servers are standing by
If you answered “yes” to any of these questions, take a look at ECCC TR05-040.
The implications are endless: computational learning theory (Bshouty et al.’s algorithm), circuit minimization, Karp-Lipton collapses…