Explore quantum algorithms and circuits, with resource estimates, verification evidence, and sources.
Every record is classified by how it was verified. The badge shows the strongest tier of evidence; the chips list each method that applies.
The defining behavior was checked exactly: a mathematical identity, a full statevector or stabilizer simulation, or an exhaustive basis-state truth table.
The design was verified by construction plus measured evidence: statistical re-execution, small-instance analytic agreement, sub-block, echo, or invariant checks. Scale-specific bugs can still survive.
The record rests on external authority: peer-reviewed papers, standard textbooks, expert review, or evidence carried over from related verified entries. Nothing here was re-executed by this catalog.
Only automated (LLM-assisted) review or an unreviewed community submission backs this record so far. Treat it as a starting point, not evidence.
Compute the ground-state energy of an atom or molecule, a calculation whose time the paper states scales exponentially with system size on a classical computer.
Simulate strongly correlated chemical systems on near-term quantum hardware, whose noise and limited size otherwise confine such simulations to small chemical systems, by embedding a quantum treatment of a strongly correlated fragment within a larger classical calculation.
Predict the three-dimensional structure a protein takes from its primary sequence of amino acids, posed here on the model Hamiltonian the paper defines for a chain of N monomers placed on a tetrahedral lattice.
A ground-state preparation method that projects non-unitary imaginary-time evolution onto a parameterized quantum circuit.
The eigenphase-estimation primitive behind chemistry, simulation, and period-finding workflows.
Represent the spectrum of a quantum chemistry Hamiltonian, given in an arbitrary (for example molecular) orbital basis, as a block-encoded quantum circuit cheap enough to support phase estimation of a molecular eigenvalue.
A hybrid chemistry workflow that compares a quantum expectation loop with classical eigensolvers.
Repeated paired generalized doubles with generalized singles trade expressivity against shallower chemistry circuits.
A chemistry-inspired unitary coupled-cluster ansatz truncated to single and double excitations.
Atlas stars stay in this public list. Saving an entry to your workspace starts an unstarred private copy.