2 citations · 4 across the 6 of their papers we have counts for
6 papers
Satisfying Quantum Codes: Physics-Informed and Hardware-Aware Code Design with SAT Solvers
Ben DalFavero, William M. Watkins, Margarite L. LaBorde +4
Although quantum error correction is widely believed to be necessary for impactful applications of quantum computers, the design of quantum error correction codes is largely done b…
The cost of quantum algorithms for biochemistry: A case study in metaphosphate hydrolysis
Ryan LaRose, Antonios M. Alvertis, Alan Bidart +10
We evaluate the quantum resource requirements for ATP/metaphosphate hydrolysis, one of the most important reactions in all of biology with implications for metabolism, cellular sig…
Error mitigation for partially error-corrected quantum computers
Ben DalFavero, Ryan LaRose
We present a method for quantum error mitigation on partially error-corrected quantum computers - i.e., computers with some logical qubits and some noisy qubits. Our method is insp…
Characterizing Superconducting Qubits using Averaged Circuit Eigenvalue Sampling
Tauno Palomaki, Shu Xin Wu, Noah Huffman +7
Efficient characterization of noise during quantum gate operations is an essential step to building and scaling up a quantum computer. One such protocol is averaged circuit eigenva…
Constant-Time Quantum Search with a Many-Body Quantum System
Benjamin DalFavero, Alexander Meill, David A. Meyer +2
The optimal runtime of a quantum computer searching a database is typically cited as the square root of the number of items in the database, which is famously achieved by Grover's…
Measurement reduction for expectation values via fine-grained commutativity
Ben DalFavero, Rahul Sarkar, Jeremiah Rowland +3
We introduce a notion of commutativity between operators on a tensor product space, nominally Pauli strings on qubits, that interpolates between qubit-wise commutativity and (full)…