45 citations · 203 across the 20 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…
A belief propagation algorithm based on domain decomposition
Brad Lackey
This note provides a detailed description and derivation of the domain decomposition algorithm that appears in previous works by the author. Given a large re-estimation problem, do…
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 = Θ\…