Search papers, labs, and topics across Lattice.
This paper establishes a bidirectional correspondence between continuous unitary evolutions and finite products of unitaries, achieved by discretizing continuous unitary evolution. This framework allows for the reduction of discrete adiabatic theorems to their continuous counterparts, with an operator-norm error bound of $O(1/T)$ for approximating continuous evolution with products of unitaries. The approach is demonstrated to yield a rescaled qubitized walk for quantum linear systems with $O(κ/δ)$ steps, matching existing bounds without requiring a discrete adiabatic theorem.
Continuous unitary evolution can be precisely approximated by finite products of unitaries, enabling the transfer of adiabatic guarantees and achieving optimal scaling for quantum linear system algorithms.
I present a short approach to discretizing continuous unitary evolution. It gives a correspondence in both directions between continuous unitary evolutions and products of unitaries in finite dimensions, and I use it to reduce discrete adiabatic theorems to continuous ones. At fine steps, holding truncated samples of a regulated Hamiltonian on a suitable finite partition gives an approximating product. Conversely, rounding the clock identifies a product of $T$ unit-step samples with a continuous evolution, up to two half-step phases. I bound its operator-norm distance from the original evolution by $O(1/T)$ through cancellation within each time step. This assumes bounded first and second derivatives, bounded spectral width, and eigenvalue differences bounded away from nonzero multiples of $2π$, uniformly in $T$. For a unitary walk with these derivative bounds, a fixed common free spectral arc supplies a Hermitian logarithm path satisfying the comparison hypotheses. Continuous simulation guarantees then transfer to the phase-corrected product, and continuous adiabatic bounds to the product itself, with an explicit additive $O(1/T)$ error and each adiabatic theorem's hypotheses retained. For positive definite quantum linear systems of condition number $κ$, this comparison and continuous adiabatic theory give a rescaled qubitized walk with $O(κ/δ)$ steps for leakage $δ$, matching the scaling previously obtained through a discrete adiabatic theorem. These products need no discrete adiabatic theorem.