From the 1 of 4 linked papers with an AI index.
4 papers
Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Jizhe Lai, Mingrui Jing, Erdong Huang +1
Deterministic exact inversion of an arbitrary -dimensional unitary requires {} coherent forward calls in the worst case. We ask how this cost changes for Hamiltonian evo…
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Lei Zhang, Yusheng Zhao, Yimeng Cao +10
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct machine-checkable proofs in this domain remains unmeasured.…
Quantum Imaginary-Time Evolution with Polynomial Resources in Evolution Time
Lei Zhang, Jizhe Lai, Xian Wu +1
The paper proposes a quantum algorithm that efficiently prepares imaginary-time evolved states with polynomial resources in evolution time, using an adaptive normalization factor t…
Thermal-Drift Sampling: Generating Thermal Ensembles for Learning Many-Body Systems
Jiyu Jiang, Mingrui Jing, Jizhe Lai +2
Thermal equilibrium states of many-body Hamiltonians are essential for probing quantum chaos, finite-temperature phases of matter, and training quantum machine learning models, yet…