SlotLayer 1
Simulate Hamiltonian evolution
Implement to error given some access model for . It is an application in its own right and also the engine inside phase estimation and several linear-system solvers.
An access model for — a sum of efficiently exponentiable terms, sparse-access oracles, or a block-encoding — plus an evolution time and a target error .
A circuit approximating to within , with a stated query or gate count, an ancilla count, and the norm parameter — sparsity times , or the LCU 1-norm — that the cost is measured against.
This one, drawn
From Hamiltonian you can query to Circuit for e^{-iHt}
A circle is an object you are holding. Each line between the two ends is one recorded way through this slot; where a way is built from smaller slots, those are its own lines. Circles are named on hover, and each one is a link.
2 lines here have ways through that this figure does not open. The map opens them in place. See it on the map
Why this is a layer
The families here consume genuinely different inputs and pay in different currencies. Product formulas need only a term decomposition and build no block-encoding, but carry a polynomial dependence on . LCU and qubitization need a block-encoding and its ancillas and reach a logarithmic dependence on . Which is cheaper depends on the precision regime and on the structure of , so a cost model that names "Hamiltonian simulation" without naming the family has not costed anything. The norm parameter is inherited from the block-encoding layer below, which is where the constant that dominates real resource estimates is actually fixed.
Records for what it handles
The catalogue's own entries for the objects on either side of this contract.
It takes: Hamiltonian you can query
- Fermi-Hubbard dimer operator (Jordan-Wigner encoded)
- H₂ molecular qubit Hamiltonian (STO-3G, 2-qubit tapered)
- Heisenberg XXZ spin-chain operator
- Classical Ising Hamiltonian operator
- Bose–Hubbard Hamiltonian
- Electronic-structure Hamiltonian
- Fermi–Hubbard Hamiltonian
- Heisenberg Hamiltonian
- Ising cost Hamiltonian
- Kitaev-chain Hamiltonian
- MaxCut cost operator
- Transverse-field Ising Hamiltonian
- Weighted Pauli-sum Hamiltonian
- XY spin Hamiltonian
- XYZ spin Hamiltonian
- Transverse-field Ising model operator
Ways to do this
3 methods recorded
- Product-formula (Trotter-Suzuki) simulation
Split into terms that can each be exponentiated directly and alternate short evolutions of them — the Lie-Trotter formula and its higher-order generalizations. No block-encoding is built and there is no all-zeros flag to amplify.
- Truncated-Taylor LCU simulation
Truncate the Taylor series of over short segments and implement the truncated sum as a linear combination of unitaries — PREPARE loads the coefficients, SELECT applies the terms, PREPARE unprepares — with the all-zeros ancilla flag amplified.
- Qubitization walk simulation
From a block-encoding pair with , build a walk operator that splits the Hilbert space into invariant two-dimensional subspaces, one per eigenvalue of , with eigenvalues . Quantum signal processing phases applied to then produce .
Routes that skip this layer
These do not fill the slot. They replace the span it belongs to, so this layer is not on their path at all.
- Chebyshev LCU inversion
Expand an approximation of in Chebyshev polynomials and implement that expansion directly through the quantum walk associated with a sparse , rather than through Hamiltonian simulation. Phase estimation is never used, which is what removes the bottleneck.
This is a step inside
- Quantum simulation of the KvN representation
Because the Koopman-von Neumann generator is Hermitian and its propagator unitary, the lifted evolution can be run by Hamiltonian simulation directly. No linear system is assembled and no linear solver is called.
- LCHS — linear combination of Hamiltonian simulation
Express a general non-unitary evolution operator as a linear combination of unitary evolution operators, each of which solves a Hamiltonian simulation problem, rather than converting the problem into a dilated linear system. An, Liu and Lin state that the method can achieve optimal cost in terms of state preparation.
- LCHS with the improved kernel a narrower version of LCHS — linear combination of Hamiltonian simulation
A family of identities expressing non-unitary evolution as a linear combination of unitary evolutions, built on the kernel with and . The kernel decays at a near-exponential rate , replacing the original Cauchy kernel's quadratic decay and exponentially enhancing accuracy.
- Schrödingerisation (linear PDEs as Schrödinger equations)
A simple change of variable — the warped phase transformation, which introduces one extra variable — recasts any linear PDE or ODE system into a system of Schrödinger equations in real time, which ordinary Hamiltonian simulation then runs. The original solution is recovered from the auxiliary dimension.
- HHL: eigenvalue inversion by phase estimation
Prepare , run phase estimation against to write eigenvalue estimates into an ancilla register, apply a controlled rotation with amplitude proportional to , uncompute the estimation and post-select on the rotation ancilla. The success amplitude is about , so the procedure is amplified times.
- Ground-state energy by phase estimation
Prepare a state that already overlaps the ground state, evolve it under the molecular Hamiltonian, and read the energy off the accumulated phase. Nothing is optimized and nothing is varied — the answer is a measured eigenvalue, and the whole difficulty moves into the starting state.
Routes that run this slot many times
For these routes this slot is inside a loop, so its cost is multiplied rather than paid once. That multiplier is usually the largest single term in what the route costs.
- Quantum simulation of the KvN representation runs 4K ∼ O(1/ε) KvN simulations — "the KvN simulation must be repeated 4K ∼ O(1/ε) times"
The loop stays coherent: nothing is measured between turns. The preparation may still be reapplied every turn — what the loop never pays is a readout and a restart from classical data. The price is depth, and a success probability that multiplies down the chain.
- HHL: eigenvalue inversion by phase estimation runs O(κ) times — once per amplification round
The loop stays coherent: nothing is measured between turns. The preparation may still be reapplied every turn — what the loop never pays is a readout and a restart from classical data. The price is depth, and a success probability that multiplies down the chain.
No multiplicity recorded
These routes take this step and no source we have read says how often. That is an absence, not a claim that they take it once.
- LCHS — linear combination of Hamiltonian simulation
Express a general non-unitary evolution operator as a linear combination of unitary evolution operators, each of which solves a Hamiltonian simulation problem, rather than converting the problem into a dilated linear system. An, Liu and Lin state that the method can achieve optimal cost in terms of state preparation.
- LCHS with the improved kernel a narrower version of LCHS — linear combination of Hamiltonian simulation
A family of identities expressing non-unitary evolution as a linear combination of unitary evolutions, built on the kernel with and . The kernel decays at a near-exponential rate , replacing the original Cauchy kernel's quadratic decay and exponentially enhancing accuracy.
- Schrödingerisation (linear PDEs as Schrödinger equations)
A simple change of variable — the warped phase transformation, which introduces one extra variable — recasts any linear PDE or ODE system into a system of Schrödinger equations in real time, which ordinary Hamiltonian simulation then runs. The original solution is recovered from the auxiliary dimension.
- Ground-state energy by phase estimation
Prepare a state that already overlaps the ground state, evolve it under the molecular Hamiltonian, and read the energy off the accumulated phase. Nothing is optimized and nothing is varied — the answer is a measured eigenvalue, and the whole difficulty moves into the starting state.
In the Atlas
- Trotter–Suzuki Hamiltonian simulation
Approximates the time evolution of a Hamiltonian with non-commuting terms by alternating their individual exponentials.
- Transverse-field Ising simulation
A compact Hamiltonian-simulation pattern for spin chains: alternate local field rotations with entangling ZZ evolution.
- Quantum algorithms to simulate many-body physics of correlated fermions
Simulate strongly correlated fermionic systems — notoriously hard for classical computers — on a quantum computer with 2D or linear (1D) nearest-neighbor qubit-qubit couplings, of the kind typical of superconducting transmon qubit arrays, including preparing the relevant quantum states and evolving the system in time, with the Fermi-Hubbard model as a worked example.
- Quantum simulation of the kicked rotator model
Simulate the quantum kicked rotator model — used to study quantum chaos, localization and the Anderson transition — with a quantum algorithm that scales better than classical simulation of the same model.