3 papers
quant-ph2025
The Structure and Interpretation of Quantum Programs I: Foundations
David Wakeham
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and ope…
quant-ph2025
Early Fault-Tolerant Quantum Algorithms in Practice: Application to Ground-State Energy Estimation
Oriel Kiss, Utkarsh Azad, Borja Requena +3
We investigate the feasibility of early fault-tolerant quantum algorithms focusing on ground-state energy estimation problems. In particular, we examine the computation of the cumu…
physics.hist-ph2025
A Short History of Rocks: or, How to Invent Quantum Computing
David Wakeham
This essay gives a short, informal account of the development of digital logic from the Pleistocene to the Manhattan Project, the introduction of reversible circuits, and Richard F…