About this map
Sections
What this is
Quantum algorithms are not written from scratch. They are assembled from a small number of reusable steps, and almost every published method is a different route through the same handful of them.
This is a map of those routes. Circles are the things an algorithm can be holding. Lines are the steps that carry you from one to the next. A method is a path across.
Nothing here is generated. Every line was read out of a paper and checked against it.
How to read it
- Something you can hold — a state, a matrix, a circuit, an answer.
- The same, in the middle of a step you have opened.
- A step. Someone has published a way through it.
- A step whose way through has not been pinned to one method.
- A step nothing published fills yet.
- A step you have opened. What is drawn inside it is how it was done.
- There is a record in the repository for this one.
How to move around
- Two fingers move the map. Pinch to zoom, or hold ctrl and scroll.
- Click a step to open it in place — everything else stays where it is.
- Click a name to read the full record without leaving the map.
- Arrow keys move, plus and minus zoom, zero puts it back.
What a line is claiming
A solid line means a paper puts those two steps together and we have the citation. A long-dashed line means the route is recorded but no single method has been named for that step. A short-dashed line means nothing published fills it — the step is real, the way through is not written yet.
A count after a step's name — ×T/h, ×O(κ) — means the route walks that step that many times rather than once. It is the source's own symbol, and the card says what it stands for and what one turn costs. A step with no count is a step no source we read said is repeated, which is not the same as one taken once.
A line drawn nested under another, on the soft shaded band behind it, is a narrower version of the line above it: the same construction, re-analysed or re-tuned, filling the same step. It is why two lines can draw the identical interior and still be two entries. Lines outside the band are alternatives to their neighbours, not versions of them.
The map does not hide the gaps. An empty step is drawn as an empty step.
What is not here yet
The map covers the algorithm literature. The repository covers circuits and primitives. They overlap less than you would expect, and where a method has no record we say so on its page rather than leaving the space blank.
Where something named here does have a record, its name links straight to it.
Method
Variational quantum deflation
Find the ground state first, then run the same variational search again with a term that punishes overlap with every state already found. Each state is reached by pushing the search off the ones below it, so they have to be found in order and each one costs another pass through the whole loop.
Open the full recordFills the slot: Estimate an excited-state energyExpand it here — a map of just this
Higgott et al. put the mechanism in one sentence — "overlap estimation can be used to deflate eigenstates once they are found, enabling the calculation of excited state energies and their degeneracies" — and price it against the ground-state run it reuses: an implementation "requires the same number of qubits as VQE and at most twice the circuit depth". They also state what survives noise: the method "is robust to control errors, is compatible with error-mitigation strategies and can be implemented on near-term quantum computers". The ordering is the binding condition and it is structural rather than a limitation of any implementation: deflation is defined against the states already found, so the k-th needs all k below it, and an error in one of those is inherited by every state above it.
A Hermitian H reachable as a sum of terms that can be measured separately; a statement of which state is wanted — an index k, a symmetry sector, or a target energy to sit nearest; for most of the methods here, the ground state already solved, and for the deflation route every lower state as well; a target additive error and a shot budget.
Hamiltonian whose excited state is wanted → Parameterised circuit familyChoose a parameterised trial state
A single parameterised family serves every : the overlap is read by composing one member's inverse with another's, , though the paper notes other ansatz circuits can also be used. The simulation fixes it as a generalised unitary coupled cluster ansatz, with , and , the indices running over any orbital irrespective of its occupation in the reference state — which the paper reports leaves 6 and 3 independent parameters for and on in STO-3G. assumption: the ansatz is sufficiently expressive; only under that proviso do the weights guarantee a minimum at Because conserves electron number the target stays in the sector; alternatively, penalties on symmetry operators (e.g. , ) enforce it through the objective.
assumption
Parameterised circuit family → State you can prepareMinimise the objective over the parameters
Deflation changes the objective, not the optimiser. The classical loop minimises (Eq. 2), which is equivalent to finding the ground state of (Eq. 4) — VQE's own landscape with the first levels lifted, not the squared Hamiltonian the folded-spectrum route walks. assumption: the are true eigenstates of , possibly with non-distinct energies For an arbitrary , over the eigenvectors, so suffices to put the minimum at assumption: the ansatz is sufficiently powerful; the spread obeys , making that choosable. Under the calibrated choice a too-small announces itself — every deflated level sits at , so the minimum lands at — and doubling until a strictly lower energy is found takes runs. The run used Ha and Nelder-Mead at xatol=fatol=, best of two random restarts.
assumption
State you can prepare → Number with an error barEstimate an observable
Each evaluation of buys two kinds of number from the same circuit : the Pauli expectations VQE already needs, and overlaps. An overlap is read without an ancilla — prepare , measure in the computational basis times, take the fraction of all-zero bitstrings; that is one overlap's own precision. assumption: perfect state preparation for states , under which the variance below is derived Shots are then split across both kinds by Lagrange multipliers, with the overlap's intrinsic variance — which tends to zero at convergence — and that of , giving for to precision a total (Eqs. 17–18). Composing with costs around twice VQE's depth at equal qubit count; the destructive SWAP test trades that for twice the qubits at almost VQE's depth, its readout stage alone being depth .
assumption
A scalar estimate — of that eigenvalue, or of the gap between it and the ground state — together with the run budget it consumed. Some methods return a whole low-energy subspace at once and others return one state per run, and that difference is a cost, not a convenience.
- Estimate a Hamiltonian's ground-state energy
Given a Hamiltonian you can query and some way of preparing trial states, return an estimate of its lowest eigenvalue to a stated additive error. The state achieving that energy may or may not come back with the number; almost every application wants the number.
VQD's zeroth stage is plain VQE: the deflation sum in is empty at , so is fixed by minimising (Eq. 1). What this route takes from the slot is not only but the argument : the overlap against the ground state is later evaluated as (in general for ), so the classical parameters must be retained. That inverse is not merely gate-reversed but refit — fixing the optimal and varying to maximise — which is what keeps VQE's robustness to control errors. VQE on re-enters the same slot for ( eigenvectors), giving . assumption: this stage returns the exact ground state; at the paper bounds only the next state, , and only for ; accumulation is measured negligible for and substantial at
assumption
given H = sum_j c_j P_j on L Pauli terms; a parameterised ansatz family
with state-preparation circuit R(lambda) such that R(lambda)|0> =
|psi(lambda)>; the index k of the eigenstate wanted (k=0 is the
ground state, d the total number of eigenvectors of H)
requires states 0..k-1 already found by this SAME procedure -- their
optimal parameters lambda_0, ..., lambda_(k-1) and circuits
R(lambda_0), ..., R(lambda_(k-1)) retained. Deflation is defined
against them, so evaluating the objective below needs
lambda_0..lambda_(k-1) already known, and an iterative procedure is
required to reach the k-th eigenvalue (Sec. 2)
# index convention, matching the paper: j indexes Pauli terms, i indexes an
# already-found state being deflated against, m the state being found now
# --- stage 0: the ground state is plain VQE, the deflation sum is empty ---
lambda_0 = argmin_lambda E(lambda)
where E(lambda) := <psi(lambda)| H |psi(lambda)>
= sum_j c_j <psi(lambda)| P_j |psi(lambda)> (Eq. 1)
# --- stage m = 1 .. k: one full optimisation pass per state, in order -----
for m = 1 .. k:
# weight selection -- the condition is on a GAP, not an arbitrary size
choose beta_0, ..., beta_(m-1)
# beta_i > E_m - E_i suffices to put F's minimum at E_m rather than
# at the lower state i -- but only "if the ansatz is sufficiently
# powerful"; expressiveness is a proviso, not a guarantee (Sec. 3)
# an always-usable choice when H is given as a Pauli sum:
# beta_i = 2 * sum_j |c_j|, via Delta := E_(d-1) - E_0 >= E_m - E_i
# together with Delta <= 2*||H|| <= 2 * sum_j |c_j| (Sec. 3)
# -- at (1+m)^2 times VQE's own sample bound (App. A)
# self-correcting fallback: an under-set beta_i = gamma - E_i makes
# the minimum land at F = gamma, which is how the mistake is
# caught; doubling gamma until a strictly lower energy is found
# costs O(log(E_m - E_0)) further runs of the algorithm (Sec. 3)
lambda_m = argmin_lambda F(lambda)
where F(lambda) := <psi(lambda)| H |psi(lambda)>
+ sum_{i=0}^{m-1} beta_i * overlap(lambda, i) (Eq. 2)
# equivalently: the ground state of the effective Hamiltonian
# H_m := H + sum_{i<m} beta_i |i><i|, i.e. VQE's own landscape
# with the first m levels lifted by beta_i (Eq. 4)
# the |i> are ASSUMED to be true eigenstates of H, with possibly
# non-distinct energies (Sec. 3, footnote 1)
# each overlap term below is bought with real shots on a real
# circuit -- it is not an abstract inner product
# --- overlap: read off a circuit, no ancilla ------------------------------
def overlap(lambda_trial, i): (Sec. 4)
prepare R(lambda_i)^dagger R(lambda_trial) |0>
# trial preparation circuit, THEN the inverse of state i's own
# preparation circuit, on the same register -- that inverse is
# the one built by refit_inverse(i) below
measure in the computational basis, O(1 / eps^2) times
return fraction of all-zero bitstrings
# = |<0| R(lambda_i)^dagger R(lambda_trial) |0>|^2
# = |<psi(lambda_i)|psi(lambda_trial)>|^2
# alternative: the destructive SWAP test -- almost VQE's own circuit
# depth but twice the qubits; 2N qubits, depth O(1) (Sec. 4; App. B)
# given greater gate depth, alpha-QPE reduces the total RUNTIME of
# overlap estimation from O(1/eps^2) to O(1/eps); the paper states
# this as a runtime, not as a shot count (Sec. 4)
# --- the inverse circuit is REFIT, not gate-reversed ----------------------
def refit_inverse(i): (Sec. 4)
fix lambda_i* # the optimum already found for state i
vary trial lambda_i to maximise |<0| R(lambda_i)^dagger R(lambda_i*) |0>|^2
# inverting the gates of the original decomposition is known in theory,
# but device errors can make that implementation inaccurate in
# practice; refitting is what lets VQD keep VQE's own robustness to
# control errors
return lambda_0, ..., lambda_k and their circuits R(lambda_0), ..., R(lambda_k)
# each E_m is then read off exactly as in stage 0, via the same
# Pauli-term measurements VQE already needs (Eq. 1)
# sample cost of one objective evaluation at stage k, states 0..k-1 ASSUMED
# perfectly prepared -- the loose main-text bound:
# M^(k) <= (1/eps^2) * ( sum_j |c_j| + (1/2) sum_i beta_i )^2 (Eq. 3)
# (Appendix A carries a tighter, variance-weighted form; this is not it)
# same number of qubits as VQE, at most twice the circuit depth for this
# (non-SWAP-test) implementation (Sec. 4; Sec. 8)
# NOT part of this method: the ansatz itself. The paper's own H2/STO-3G run
# used a generalised UCC ansatz (UCCGSD), |psi> = exp(T - T^dagger)|HF>,
# with T1, T2 indexing ANY orbital pair/quadruple regardless of occupancy
# in the reference (unlike standard UCCSD) -- 6 and 3 independent
# parameters for T1, T2 -- but the paper states many other ansatz
# circuits can be used instead (Sec. 5; App. C; Sec. 8)
# NOT part of this method: symmetry. Electron-number conservation falls out
# of T automatically; spin or other symmetries instead need SQUARED
# penalty terms
# F_C(lambda_k) = F(lambda_k)
# + sum_i mu_i * ( <psi(lambda_k)|C_i|psi(lambda_k)> - c_i )^2
# on symmetry operators C_i (e.g. N_e, S^2, S_z), outside the core
# deflation objective above (App. E, Eq. 28)
# NOT accounted for above: imperfect states 0..k-1. A fidelity error eps_0
# in state 0 forces beta_0 > (E_1 - E_0)/(1 - eps_0) even to bound state
# 1, and the resulting energy error stays linear in eps_0 -- measured
# negligible for k < 4 and substantially higher at k = 4, 5 in the
# paper's own H2 simulation (Sec. 6; App. D)Higgott, Wang and Brierley: the -th eigenstate ( the ground state) takes sequential optimisation runs, because deflation adds overlap terms to VQE's Pauli terms ( spin orbitals) and needs first — plus further runs if a large enough weight must be found by doubling. One objective evaluation costs samples (Eq. 3), assuming states are prepared perfectly, with one standard deviation (Eq. 8 defines as the variance), no confidence attached. At the always-safe that is times VQE's bound — a bound-to-bound ratio the authors flag as such and expect to be far smaller in practice. Each overlap takes computational-basis measurements; -QPE cuts overlap-estimation runtime, not shot count, to at greater depth. Same qubits as VQE, at most twice the circuit depth. The guarantee holds only for a sufficiently expressive ansatz, and nothing bounds the optimiser iterations.
None found yet.
None found yet.
Numerical simulation of VQD on $\mathrm{H}_2$ in the STO-3G basis
- Variational Quantum Computation of Excited States
Oscar Higgott, Daochen Wang, Stephen Brierley · 2018
About
Higgott, Wang and Brierley open on the application — "The calculation of excited state energies of electronic structure Hamiltonians has many important applications, such as the calculation of optical spectra and reaction rates" — and on the gap: "While low-depth quantum algorithms, such as the variational quantum eigenvalue solver (VQE), have been used to determine ground state energies, methods for calculating excited states currently involve the implementation of high-depth controlled-unitaries or a large number of additional samples." Their own runs answer two different questions about the deflation objective they construct. Section 5 asks whether it converges to the right levels at all, by sweeping a molecule whose spectrum is known exactly: "We simulated VQD on H2 in the STO-3G basis for a range of internuclear separations and compared it to exact diagonalisation, as shown in Fig. 2." Section 6 asks the question the ordering forces — whether the error in state is inherited by every state above it — and answers it by simulation rather than by the Appendix D bound alone: "We analysed this accumulation of errors further through numerical simulations of VQD in the presence of sampling error, shown in Fig. 3." Degeneracy is what the authors call "another key advantage of our method", and they name the alternatives it separates them from: "the folded spectrum and WAVES methods rely on the energies of states to differentiate between them and have no systematic way of determining the degeneracy of the eigenvalues."
Methods
The Fig. 2 sweep sets " Ha for all " and uses a generalised rather than the standard coupled-cluster ansatz: "We instead use a generalised unitary coupled cluster ansatz (UCCGSD) with set to the Hartree-Fock state", the cluster operators re-indexed so that " can now index any orbital (irrespective of its occupation in the reference state)". Appendix C then counts what the fermionic anticommutation relations leave free, for an instance of four spin orbitals — the examples it gives index orbitals 0 to 3: "it can be directly verified that there are only 6 and 3 independent parameters for ... and ... respectively". Optimisation is classical and derivative-free — "A tolerance of was used with a Nelder-Mead optimiser (xatol=fatol=, as implemented in the scipy Python scientific library), and the best of two consecutive (randomly initialised) runs was used for each bond length and energy level" — with no warm start: "While we initialised the UCCGSD parameters randomly in this work". The Fig. 3 study is a different design on the same algorithm: "We analysed three different sampling rates: , and samples per Hamiltonian subterm and overlap term, running 225 simulations of VQD (with random initial parameters) for each of these three scenarios." Runs that came out in the wrong order were dropped, and the fraction is reported rather than buried: "Of these runs, of the simulations found the eigenstates in the incorrect order and were discarded for consistency in the analysis", leaving "the remaining runs for each state ". A control arm was run beside it — "we also simulated 130 runs (dashed lines) using 'exact' states in ( energy error in each state )" — which is what makes the accumulated error separable from the sampling error. Error bars are " standard errors for the median estimates (calculated using bootstrap resampling)".
Data
Molecular hydrogen in a minimal basis, twice over. Fig. 2 shows "All ground and excited state energy levels of H2 in the STO-3G basis, calculated using exact diagonalisation (blue dotted line) and our variational quantum deflation (VQD) method (red filled circles) over a range of internuclear separations"; Fig. 3 fixes the geometry, reporting "each energy level in the spectrum of H2 at bond distance (0.7414 Å) in the STO-3G basis". Neither Section 5 nor Section 6 writes the Hamiltonian down. The form the paper does write is Eq. (27), introduced in Appendix E as an illustration rather than as the operator simulated — "For example, consider the electronic structure Hamiltonian in second quantised form" — , "where the coefficients and denote the one- and two-electron integrals, respectively"; no provenance is stated for the integrals behind the H2 runs. Electron number is pinned by the ansatz rather than by a penalty term: the "fermionic unitary coupled cluster ansatz we use in Section 5 conserves the desired number of electrons () of neutral molecular Hydrogen for all input parameters".
Code
What the paper names is the stack the Fig. 2 simulation ran on: "The results in Fig. 2 were simulated using ProjectQ and FermiLib", citing [25, 37] — McClean et al., "OpenFermion: the electronic structure package for quantum computers", and Steiger, Häner and Troyer, "ProjectQ: an open source software framework for quantum computing" (Quantum 2, 49 (2018)). ProjectQ is a Python framework at https://github.com/ProjectQ-Framework/ProjectQ; FermiLib is a Python library at https://github.com/ProjectQ-Framework/FermiLib, described by its own README as "designed as a library on top of ProjectQ". The classical optimiser is scipy's Nelder-Mead, taken "as implemented in the scipy Python scientific library".
Results
Every number here comes from classical simulation; the paper reports no run of its own on a quantum device. Against exact diagonalisation of the same Hamiltonian, "the median error of our method relative to exact diagonalisation is less than Ha for all energy levels, significantly better than chemical accuracy of Ha", and the degenerate levels are resolved rather than sidestepped: "Our method finds all 6 eigenstates systematically, including all those in the 3-dimensional degenerate subspace spanned by the 1st, 2nd and 3rd excited states." Those two figures are the Fig. 2 sweep, and the simulator behind Fig. 2 is ProjectQ with FermiLib. The sampling study that follows is where the ordering condition shows its price, and it shows it as a threshold rather than a slope — but the paper names no software at all for it, so the machine behind every number in the rest of this section is not stated. Below the fourth level the inheritance is invisible: "the median errors for all states are very similar (for a given ) to the errors when using an exact , and are all below chemical accuracy, demonstrating that error accumulation is negligible for these states". At and above it, it is not: "For and the accumulated error is substantially higher than the error using an exact , however, showing that VQD is most effective for low-lying states", and the extra cost is quoted in samples — "Achieving chemical accuracy for requires samples, instead of for ."
- Variational Quantum Computation of Excited States
The VQD eigensolver in Qiskit Algorithms
About
A released library implementation rather than a study. The module header states its subject and its source in two lines — "The Variational Quantum Deflation Algorithm for computing higher energy states. See https://arxiv.org/abs/1805.08138." — and the class docstring restates the method: "VQD is a quantum algorithm that uses a variational technique to find the k lowest eigenvalues of the Hamiltonian of a given system", which it computes "by optimizing over a modified cost function where each successive eigenvalue is calculated iteratively by introducing an overlap term with all the previously computed eigenstates that must be minimised, thus ensuring higher energy eigenstates are found". The file carries "(C) Copyright IBM 2022, 2026". The package README carries a warning block above its installation instructions: "Qiskit Algorithms is no longer officially supported by IBM".
Methods
Energies come from a Qiskit Estimator primitive (`BaseEstimatorV2`) and the overlaps from a `BaseStateFidelity` the caller supplies. The fidelity used throughout the shipped tests is `ComputeUncompute`, whose docstring defines it as "the state fidelity of two quantum circuits following the compute-uncompute method", giving , and cites Havlíček et al., "Supervised learning with quantum-enhanced feature spaces" — the same reference Higgott et al. give for the low-depth overlap of their Section 4, rather than for the destructive SWAP test of their Appendix B. The deflation weights are the paper's own, exposed as `betas` and documented as "Beta parameters in the VQD paper". Left unset they are computed, not guessed: `upper_bound = sum(np.abs(operator.coeffs))`, then `betas = np.asarray([upper_bound * 10] * self.k)` — ten times , where the always-safe choice in the paper is . In 0.4.0 the docstring beside that argument describes a different rule, "a default value computed as the mean square sum of the coefficients of the observable", which is not what those two lines compute. The class also carries a guard of its own, `convergence_threshold`, documented as "the maximal average fidelity an eigenstate is allowed to have with the previous eigenstates". It is checked once a step's optimisation has returned, against the beta-weighted mean fidelity at that step's converged optimum — `current_optimal_point["total_fidelity"][0] / (step - 1)` — and if the threshold is exceeded it raises an `AlgorithmError`, so the remaining eigenvalues are never computed.
Data
None of its own: the Hamiltonian is whatever the caller passes. The shipped test module supplies a two-qubit operator as a literal, `SparsePauliOp.from_list([("II", -1.052373245772859), ("IZ", 0.39793742484318045), ("ZI", -0.39793742484318045), ("ZZ", -0.01128010425623538), ("XX", 0.18093119978423156)])`, together with the reference levels it is checked against, `self.h2_energy_excited = [-1.85727503, -1.24458455, -0.88272215, -0.22491125]`. The file gives no source for either set of numbers.
Code
`qiskit_algorithms.eigensolvers.VQD`, Python, in `qiskit_algorithms/eigensolvers/vqd.py` at https://github.com/qiskit-community/qiskit-algorithms, under the Apache License 2.0 — "This code is licensed under the Apache License, Version 2.0". It is distributed on PyPI as `qiskit-algorithms` ("Qiskit Algorithms: A library of quantum computing algorithms"), version 0.4.0 at the time of reading, with its tests in `test/eigensolvers/test_vqd.py` in the same repository.
Results
What shows that it runs is the repository's own test suite, and the machine is a statevector simulator. `test/eigensolvers/test_vqd.py` builds the algorithm on `StatevectorEstimator(seed=self.seed)` with `ComputeUncompute(StatevectorSampler(seed=self.seed, default_shots=10_000))` at `self.seed = 50`, a `COBYLA` optimiser and a two-qubit ansatz `n_local(2, rotation_blocks=["ry", "rz"], entanglement_blocks="cz", reps=1)`. `test_full_spectrum` asks for the whole spectrum of the two-qubit operator with `k=4, betas=[3, 3, 3]` and asserts the returned eigenvalues against `[-1.85727503, -1.24458455, -0.88272215, -0.22491125]` to `decimal=2`; the basic test asks for the lowest two and asserts to `decimal=1`. The transpiler path is exercised against `GenericBackendV2(num_qubits=3, coupling_map=[[0, 1], [1, 2]], seed=54)` — a fake backend from `qiskit.providers.fake_provider`, not a device. The test module names no quantum hardware.
Variational quantum deflation · Qiskit
From the repository — run, not written up from a paper · unsupported
About
Overlap penalties against previously found states turn excited-state search into a sequence of VQE objectives.
Methods
None found yet.
Data
None found yet.
Code
Qiskit
Results
Literature-backed method record; algorithmic scope and evidence boundary reviewed, with no benchmark run claimed.
- Variational quantum deflation
Overlap penalties against previously found states turn excited-state search into a sequence of VQE objectives.
References
- Variational Quantum Computation of Excited States
Oscar Higgott, Daochen Wang, Stephen Brierley · 2018
Where the routes meet
11 problems nothing else needs — the places a reader arrives. Open a line to see what is recorded inside it, or click its name to go there.
13 lines have something recorded inside that you have not opened.
Of the routes that have been taken apart, 15 are built entirely from named slots, 15 hand off part of the work and finish the rest themselves, and 20 are one undivided act. None of the three is a defect; they are different things to reuse.
Every line on this figure, in words
The lines on this figure
Solve a nonlinear ODE dy/dt = F(y)
- Embed a nonlinear system into a linear one — opens into 6 · a way across — click it to open it here
- Solve a linear ODE du/dt = A(t)u + b(t) — opens into 9 · a way across — click it to open it here
- Choose a time discretization or propagator approximation → Quantum linear solve — open
- Choose a time discretization or propagator approximation — opens into 6 · a way across — click it to open it here
- Quantum linear solve — opens into 5 · a way across — click it to open it here
- Simulate Hamiltonian evolution → Estimate an observable — open
- Simulate Hamiltonian evolution — opens into 3 · a way across — click it to open it here
- Estimate an observable — opens into 4 · a way across — click it to open it here
Compile a circuit to a specific device
- NISQ transpilation (retargetable pass pipeline) — open · opened: what was inside is drawn in its place
- Satisfy the hardware connectivity constraint — opens into 3 · a way across — click it to open it here
- Fault-tolerant compilation (Clifford+T pipeline) — opens into 2 · a way across — click it to open it here
Estimate an excited-state energy
- Variational quantum deflation — opens into 3 · a way across — click it to open it here
- Subspace-search variational eigensolver — opens into 3 · a way across — click it to open it here
- Quantum subspace expansion
- Quantum equation of motion
- Folded-spectrum variational eigensolver — opens into 3 · a way across — click it to open it here
- Penalty-constrained variational eigensolver — opens into 3 · a way across — click it to open it here
- Multistate contracted variational eigensolver — opens into 3 · a way across — click it to open it here
Every step you can open
1 of these have an object recorded in the middle; the rest open into the methods that fill them.
- Solve a nonlinear ODE dy/dt = F(y)
- Replace a spatial domain with a finite grid
- Discretize a PDE into one linear system
- Embed a nonlinear system into a linear one
- Solve a linear ODE du/dt = A(t)u + b(t)
- Recast a non-Hermitian generator as Hamiltonian evolution
- Choose a time discretization or propagator approximation
- Quantum linear solve
- Matrix function
- QSP phase factors
- Polynomial approximation
- Block-encode a matrix
- Prepare an input state
- Amplify a success branch
- Simulate Hamiltonian evolution
- Estimate an observable
- Compile a circuit to a specific device
- Satisfy the hardware connectivity constraint
- Approximate a continuous rotation in a discrete gate set
- Recover a noiseless expectation value by post-processing
- Build logical qubits at a target logical error rate
- Estimate a Hamiltonian's ground-state energy
- Choose a parameterised trial state
- Minimise the objective over the parameters
- Estimate an excited-state energy
- Measure what the machine can actually do
- Recover the period of a periodic function
- Estimate the eigenphase of a unitary
- Find the item a check accepts
- Walk a graph to the vertex you want
- Search a cost Hamiltonian for the assignment it minimises
What is on this map, counted
What is here, counted
147 nodes — 31 slots and 116 methods.
76 of the 147 link to a record in the Atlas, between them naming 89 records. The rest name papers and nothing else: this graph describes work the catalogue has not got yet, and the nodes with no record are the list of what a corpus pass has to go and read.
0 slots have no method recorded, and 32 methods have not been taken apart. Both are shown as what they are rather than left blank.
Every claim here rests on a source. This graph cites 140 papers; they and the 172 the Atlas cites alone are registered in one place, with what each reports and everywhere it is cited from. Papers