Robin Kothari

Robin Kothari

@robinkothari.bsky.social

Theoretical computer scientist working on quantum algorithms and complexity at Google Quantum AI. Previously at Microsoft Quantum, MIT, U. Waterloo, and IIT Bombay.

475 followers35 following33 posts

Can you (or your agents) improve the super-quadratic separation between block sensitivity and sensitivity from the current bound of 2.05? The optimal exponent is between 2 and 4. My guess is 2.5 is achievable. Submit your lean-verified solutions here: prove2.me/campaigns/bl...

prove2.meBlock Sensitivity vs. Sensitivity · Prove2MeHow much larger can block sensitivity be than sensitivity for a total Boolean function? For a total Boolean function f:\{0,1\}^n\to\{0,1\}, a block of coordina…

I'm honored and excited to announce that this paper was selected to receive a Best Paper Award at FOCS 2026! Thanks to my coauthors Matt, Daochen, and Rain for including me in this work, and to the FOCS PC for selecting this despite it having a simple proof.

Reminder for those submitting to QIP 2027: You must register your paper by the end of the day! This means you have to enter a title, abstract, list of authors, and select the topic area(s).

Frontier LLMs can now solve interesting open problems. So how should academic conferences adapt? I get asked this often and I've given this a lot of thought for QIP 2027 specifically, as chair of the Steering Committee. My personal thoughts (not speaking for the SC): (1/4)

View full thread

This seems independent of whether the ideas were generated by humans or AI. Even if the results were generated by AI, authors still play an important role: they understand the results, verify correctness, simplify the arguments, and present them clearly for other humans. (3/4)

Since the Program Committee can't evaluate the talk itself, the submission serves as a proxy. If the submission doesn't clearly explain the results to the PC, then the authors haven't shown that the talk will be a good use of the QIP audience's time. (4/4)

Frontier LLMs can now solve interesting open problems. So how should academic conferences adapt? I get asked this often and I've given this a lot of thought for QIP 2027 specifically, as chair of the Steering Committee. My personal thoughts (not speaking for the SC): (1/4)

Traditionally, QIP served many roles (e.g., disseminating important results and recognizing great work). AI is now forcing us to decouple some of these roles. I believe QIP's primary acceptance criterion should be: "Will this talk be a good use of the audience's time?" (2/4)

Frontier LLMs can now solve many quantum computing and theoretical computer science problems that I've personally spent weeks or months working on. How is everyone else dealing with the existential crisis that accompanies this reality?

I'm happy to announce that we improved this result establishing @lance.fortnow.com's conjecture: from a quartic relationship between degree and rational degree to cubic. This is essentially the limit of this method and further demonstrates the power of "best-case" query measures.

Robin Kothari@robinkothari.bsky.social

Congrats to Matt Kovacs-Deak, Daochen Wang, and (undergraduate student!) Rain Zimin Yang on resolving the 30+ year old conjecture (by Lance Fortnow) in query complexity on rational degree vs. degree. What's more, the proof is like ~2 pages if you know the standard tools of query complexity!

Robin Kothari reposted

Registration is now open for QEC26, to be held this June in sunny Santa Barbara, CA! See the registration page at qec-conference.org for a link. Also, the deadline for submissions is next Friday. Make sure to get those in and spread the word to friends and collaborators!

Congrats to Matt Kovacs-Deak, Daochen Wang, and (undergraduate student!) Rain Zimin Yang on resolving the 30+ year old conjecture (by Lance Fortnow) in query complexity on rational degree vs. degree. What's more, the proof is like ~2 pages if you know the standard tools of query complexity!

I'm honored that this work with David Gosset and Chenyi Zhang was selected as one of three long plenary talks at QIP 2026!

Robin Kothari@robinkothari.bsky.social

New paper on the arXiv with David Gosset and Google student researcher Chenyi Zhang on how to implement an n-qubit Toffoli gate (approximately) with exponentially fewer T gates than previously thought. arxiv.org/abs/2510.07223 scirate.com/arxiv/2510.0...

Rational degree is one of the rare measures that could be polynomially related to deterministic query complexity, quantum query complexity, sensitivity, and all our favorite measures (for total functions), but we just don't know! Bonus: we have an updated table of query separations!

Some #qip2025 talks this week by my excellent student coauthors: Mon 1:30pm (Kewen Wu): Quantum state preparation with optimal T-Count Mon 5pm (Alexander Schmidhuber): Quartic quantum speedups for planted inference Fri 5pm (Robbie King): Triply Efficient Shadow Tomography

You are up to date.