26 citations · 36 across the 3 of their papers we have counts for
4 papers · 1 filter
Mathematical methods for resource-based type theories
Aarthi Sundaram, Brad Lackey
With the wide range of quantum programming languages on offer now, efficient program verification and type checking for these languages presents a challenge -- especially when clas…
Morphisms in categories of nonlocal games
Brad Lackey, Nishant Rodrigues
Synchronous correlations provide a class of nonlocal games that behave like functions between finite sets. In this work we examine categories whose morphisms are games with synchro…
Quantum adiabatic optimization without heuristics
Michael Jarret, Brad Lackey, Aike Liu +1
Quantum adiabatic optimization (QAO) is performed using a time-dependent Hamiltonian with spectral gap . Assuming the existence of an oracle such that $γ_\min = Θ\…
Mapping constrained optimization problems to quantum annealing with application to fault diagnosis
Zhengbing Bian, Fabian Chudak, Robert Israel +3
Current quantum annealing (QA) hardware suffers from practical limitations such as finite temperature, sparse connectivity, small qubit numbers, and control error. We propose new a…