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.

Connor Paddock

dblp:211/7729 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0002-5742-2795ORCID · verified

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

Theory of computation · 2 · 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
Quantum computing and quantum information · 48% Mathematical optimization · 35% Computational complexity · 17%

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

TopicWeightPapersLastEvidence papers
Mathematical optimization
integer programming
1.012026
The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026
Mathematical optimization › discrete optimization
mixed integer linear programming
1.012026
The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026
Quantum computing and quantum information
quantum complexity theory
1.012026
The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026
Computational complexity
undecidability
1.012026
The Quantum Smooth Label Cover Problem Is Undecidable · ICALP 2026
Quantum computing and quantum information › quantum games
nonlocal games
0.912025
A Bound on the Quantum Value of All Compiled Nonlocal Games · STOC 2025
Quantum computing and quantum information
quantum circuit compilation
0.912025
A Bound on the Quantum Value of All Compiled Nonlocal Games · STOC 2025

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

reduction from 3SAT to 3SAT5 · 1.0
YearPublicationVenuePosition
2026 The Quantum Smooth Label Cover Problem Is Undecidable
abstract
We show that the quantum smooth label cover problem is undecidable and RE-hard. This sharply contrasts the quantum unique label cover problem, which can be decided efficiently by a result of Kempe, Regev, and Toner (FOCS'08). On the other hand, our result aligns with the RE-hardness of the quantum label cover problem, which follows from the celebrated MIP* = RE result of Ji, Natarajan, Vidick, Wright, and Yuen (ACM'21). Additionally, we show that the quantum oracularized smooth label cover problem is RE-hard. Our second result fits with the alternative quantum unique games conjecture recently proposed by Mousavi and Spirig (ITCS'25) on the RE-hardness of the quantum oracularized unique label cover problem. Our proof techniques include a quantum version of Feige's reduction from 3SAT to 3SAT5 (STOC'96) for BCSMIP*-protocols, which may be of independent interest.
Eric Culf, Kieran Mastel, Connor Paddock, Taro Spirig
ICALP3
2025 A Bound on the Quantum Value of All Compiled Nonlocal Games
Alexander Kulpe, Giulio Malavolta, Connor Paddock, Simon Schmidt 0001, Michael Walter 0005
STOC3