Abstract:We consider the task of simulating time evolution under a Hamiltonian $H$ within its low-energy subspace. Assuming access to a block-encoding of $H'=(H-E)/\lambda$ for some $E \in \mathbb R$, the goal is to implement an $\epsilon$-approximation to $e^{-itH}$ when the initial state is confined to the subspace corresponding to eigenvalues $[-1, -1+\Delta/\lambda]$ of $H'$. We present a quantum algorithm that uses $O(t\sqrt{\lambda\Gamma} + \sqrt{\lambda/\Gamma}\log(1/\epsilon))$ queries to the block-encoding for any $\Gamma$ such that $\Delta \leq \Gamma \leq \lambda$. When $\log(1/\epsilon) = o(t\lambda)$ and $\Delta/\lambda = o(1)$, this result improves over generic methods with query complexity $\Omega(t\lambda)$. Our quantum algorithm leverages spectral gap amplification and the quantum singular value transform. Using standard access models for $H$, we show that the ability to efficiently block-encode $H'$ is equivalent to $H$ being what we refer to as a "gap-amplifiable" Hamiltonian. This includes physically relevant examples such as frustration-free systems, and it encompasses all previously considered settings of low-energy simulation algorithms. We also provide lower bounds for low-energy simulation. In the worst case, we show that the low-energy condition cannot be used to improve the runtime of Hamiltonian simulation. For gap-amplifiable Hamiltonians, we prove that our algorithm is tight in the query model with respect to $t$, $\Delta$, and $\lambda$. In the practically relevant regime where $\log (1/\epsilon) = o(t\Delta)$ and $\Delta/\lambda = o(1)$, we also prove a matching lower bound in gate complexity (up to log factors). To establish the query lower bounds, we consider $\mathrm{PARITY}\circ\mathrm{OR}$ and degree bounds on trigonometric polynomials. To establish the lower bound on gate complexity, we use a circuit-to-Hamiltonian reduction acting on a low-energy state.

Hamiltonians whose low-energy states require $Ω(n)$ T gates

Combinatorial NLTS From the Overlap Gap Property

NLTS Hamiltonians from good quantum codes

A construction of combinatorial NLTS

Fermionic Hamiltonians without trivial low-energy states

Hamiltonian simulation for low-energy states with optimal time dependence

Lower $T$-count with faster algorithms

Ja n 20 05 Probabilistically implementing nonlocal operation using non-maximally entangled state

Trading T gates for dirty qubits in state preparation and unitary synthesis

Quantum state preparation with optimal T-count

Deterministic Constant-Depth Preparation of the AKLT State on a Quantum Processor Using Fusion Measurements

Preparing topological states with finite depth simultaneous commuting gates

Non-local finite-depth circuits for constructing SPT states and quantum cellular automata

Spacetime-Efficient Low-Depth Quantum State Preparation with Applications

Systematic construction of multi-controlled Pauli gate decompositions with optimal $T$-count

LDPC stabilizer codes as gapped quantum phases: stability under graph-local perturbations

Perturbative gadgets for gate-based quantum computing: Non-recursive constructions without subspace restrictions

State preparation by shallow circuits using feed forward

Optimising quantum circuits is generally hard

Realization of Conditional Operations through Transition Pathway Engineering

Optimality of the Howard-Vala T -gate in stabilizer quantum computation