Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Hugo Aaronson

dblp:355/0328 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2026
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Computational complexity · 65% Quantum computing and quantum information · 35%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Quantum computing and quantum information
quantum algorithms
1.012026
Pseudo-Deterministic Quantum Algorithms · ICALP 2026
Computational complexity › query complexity
quantum query complexity
1.012026
Pseudo-Deterministic Quantum Algorithms · ICALP 2026
Computational complexity
query complexity
1.012026
Pseudo-Deterministic Quantum Algorithms · ICALP 2026
Computational complexity
property testing
0.812024
Distribution-Free Proofs of Proximity · CCC 2024
Quantum computing and quantum information › quantum algorithms › quantum search
grover's algorithm
0.312026
Pseudo-Deterministic Quantum Algorithms · ICALP 2026
Quantum computing and quantum information › quantum algorithms
quantum search
0.312026
Pseudo-Deterministic Quantum Algorithms · ICALP 2026
Computational complexity › property testing
distribution-free testing
0.212024
Distribution-Free Proofs of Proximity · CCC 2024

Methods — techniques the papers use, named apart from their topics

quantum search · 1.0lower bound techniques · 1.0proximity proofs · 0.8
YearPublicationVenuePosition
2026 Pseudo-Deterministic Quantum Algorithms
abstract
We initiate a systematic study of pseudo-deterministic quantum algorithms. These are quantum algorithms that, for any input, output a canonical solution with high probability. Focusing on the query complexity model, our main contributions include the following complexity separations, which require new lower bound techniques specifically tailored to pseudo-determinism: - We exhibit a problem, Avoid One Encrypted String (AOES), whose classical randomized query complexity is O(1) but is maximally hard for pseudo-deterministic quantum algorithms (Ω(N) query complexity). - We exhibit a problem, Quantum-Locked Estimation (QL-Estimation), for which pseudo-deterministic quantum algorithms admit an exponential speed-up over classical pseudo-deterministic algorithms (O(log(N)) vs. Θ(√N)), while the randomized query complexity is O(1). Complementing these separations, we show that for any total problem R, pseudo-deterministic quantum algorithms admit at most a quintic advantage over deterministic algorithms, i.e., 𝖣(R) = Õ(psQ(R)⁵). On the algorithmic side, we identify a class of quantum search problems that can be made pseudo-deterministic with small overhead, including Grover search, element distinctness, triangle finding, k-sum, and graph collision.
Hugo Aaronson, Tom Gur, Jiawei Li 0014
ICALP1
2024 Distribution-Free Proofs of Proximity
Hugo Aaronson, Tom Gur, Ninad Rajgopal, Ron Rothblum
CCC1