Abstract:Recently, there has been growing interest in simulating time-dependent Hamiltonians using quantum algorithms, driven by diverse applications, such as quantum adiabatic computing. While techniques for simulating time-independent Hamiltonian dynamics are well-established, time-dependent Hamiltonian dynamics is less explored and it is unclear how to systematically organize existing methods and to find new methods. Sambe-Howland's continuous clock elegantly transforms time-dependent Hamiltonian dynamics into time-independent Hamiltonian dynamics, which means that by taking different discretizations, existing methods for time-independent Hamiltonian dynamics can be exploited for time-dependent dynamics. In this work, we systemically investigate how Sambe-Howland's clock can serve as a unifying framework for simulating time-dependent Hamiltonian dynamics. Firstly, we demonstrate the versatility of this approach by showcasing its compatibility with analog quantum computing and digital quantum computing. Secondly, for digital quantum computers, we illustrate how this framework, combined with time-independent methods (e.g., product formulas, multi-product formulas, qDrift, and LCU-Taylor), can facilitate the development of efficient algorithms for simulating time-dependent dynamics. This framework allows us to (a) resolve the problem of finding minimum-gate time-dependent product formulas; (b) establish a unified picture of both Suzuki's and Huyghebaert and De Raedt's approaches; (c) generalize Huyghebaert and De Raedt's first and second-order formula to arbitrary orders; (d) answer an unsolved question in establishing time-dependent multi-product formulas; (e) and recover continuous qDrift on the same footing as time-independent qDrift. Thirdly, we demonstrate the efficacy of our newly developed higher-order Huyghebaert and De Raedt's algorithm through digital adiabatic simulation.

Design And Verification Of Different Dtzd Algorithms For Time-Varying Square Root Finding

Different discrete-time noise-suppression Z-type models for online solving time-varying and time-invariant cube roots in real and complex domains: Application to fractals

A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata

Heterogeneous Static Timing Analysis with Advanced Delay Calculator

A Continuous-Time Model and Simulative Verifications of Zhang-Gradient Type Zhang Reciprocal for Time-Varying Numbers

Survey of Real Root Finding of Univariate Polynomial Equation in CAGD/CG

Generalized zeroing neural dynamics model for online solving time-varying cube roots problem with various external disturbances in different domains

Temporal Coverage Analysis for Dynamic Verification.

Stability analysis of time delayed power system based on Cluster Treatment of Characteristic Roots method

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Inverse-Free DZNN Models for Solving Time-Dependent Linear System via High-Precision Linear Six-Step Method

Volumetric Error Modeling And Analysis For Cnc Machine Tool Based On Multi-Body System

Square-root RTS smoothing algorithms

A unifying framework for quantum simulation algorithms for time-dependent Hamiltonian dynamics

REAL-TIME DYNAMIC SIMULATION FOR DTS

Designing predefined-time differentiators with bounded time-varying gains

A General Methodology and Architecture for Arbitrary Complex Number Nth Root Computation

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Design and Analysis of a Self-Adaptive Zeroing Neural Network for Solving Time-Varying Quadratic Programming

Constructive RNNs: An Error-Recurrence Perspective on Time-Variant Zero Finding Problem Solving Under Uncertainty

Low-Power Unsigned Divider and Square Root Circuit Designs Using Adaptive Approximation