4 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…
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)…