Fast digital methods for adiabatic state preparation

preprint2022arXivOpen access

Abstract

We present a quantum algorithm for adiabatic state preparation on a gate-based quantum computer, with complexity polylogarithmic in the inverse error. Our algorithm digitally simulates the adiabatic evolution between two self-adjoint operators H0H_0 and H1H_1, exponentially suppressing the diabatic error by harnessing the theoretical concept of quasi-adiabatic continuation as an algorithmic tool. Given an upper bound αα on ∥H0∥\|H_0\| and ∥H1∥\|H_1\| along with the promise that the kkth eigenstate ∣ψk(s)⟩|ψ_k(s)\rangle of H(s)≡(1−s)H0+sH1H(s) \equiv (1-s)H_0 + sH_1 is separated from the rest of the spectrum by a gap of at least γ>0γ> 0 for all s∈[0,1]s \in [0,1], this algorithm implements an operator U~\widetilde{U} such that ∥∣ψk(1)⟩−U~∣ψk(s)⟩∥≤ε\||ψ_k(1)\rangle - \widetilde{U}|ψ_k(s)\rangle\| \leq ε using O(α2/γ2)polylog(α/γε)O(α^2/γ^2)\text{polylog}(α/γε) queries to block-encodings of H0H_0 and H1H_1. In addition, we develop an algorithm that is applicable only to ground states and requires multiple queries to an oracle that prepares ∣ψ0(0)⟩|ψ_0(0)\rangle, but has slightly better scaling in all parameters. We also show that the costs of both algorithms can be further reduced under certain reasonable conditions, such as when ∥H1−H0∥\|H_1 - H_0\| is small compared to αα, or when more information about the gap of H(s)H(s) is available. For certain problems, the scaling can even be improved to linear in ∥H1−H0∥/γ\|H_1 - H_0\|/γ up to polylogarithmic factors.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.