Quantum algorithms

Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Deterministic exact inversion of an arbitrary d-dimensional unitary requires $\Theta(d^2)$ coherent forward calls in the worst case. We …
PDF Cite DOI
Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct …
PDF Cite DOI
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Large language models are increasingly assisting with demanding formal theorem-proving tasks, particularly when grounded in …
PDF Cite Code DOI
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Quantum Imaginary-Time Evolution with Polynomial Resources in Time
Imaginary-time evolution is fundamental for analyzing quantum many-body systems, with applications spanning quantum chemistry, …
PDF Cite Code DOI
Quantum Imaginary-Time Evolution with Polynomial Resources in Time
Sample-efficient estimation of nonlinear quantum state functions
Estimating nonlinear functions of quantum states is essential for quantum information processing tasks such as entropy quantification, …
PDF Cite Code DOI
Sample-efficient estimation of nonlinear quantum state functions
LCQNN: Linear Combination of Quantum Neural Networks
Quantum neural networks (QNNs) offer a promising paradigm for quantum-enhanced machine learning, but their practical application is …
PDF Cite Code DOI
LCQNN: Linear Combination of Quantum Neural Networks
Optimal Hamiltonian recognition of unknown quantum dynamics
Identifying unknown Hamiltonians from their quantum dynamics is a pivotal challenge in quantum technologies and fundamental physics. In …
PDF Cite Code DOI
Optimal Hamiltonian recognition of unknown quantum dynamics
Near-Optimal Simultaneous Estimation of Quantum State Moments
Estimating nonlinear properties such as Rényi entropies and observable-weighted moments serves as a central strategy for spectrum …
PDF Cite DOI
Near-Optimal Simultaneous Estimation of Quantum State Moments
Efficient Inversion of Unknown Unitary Operations with Structured Hamiltonians
Unknown unitary inversion is a fundamental primitive in quantum computing and physics. Although recent work has demonstrated that …
PDF Cite Code DOI
Efficient Inversion of Unknown Unitary Operations with Structured Hamiltonians
Protocols and Trade-Offs of Quantum State Purification
Quantum state purification is crucial in quantum communication and computation, aiming to recover a purified state from multiple copies …
PDF Cite DOI
Protocols and Trade-Offs of Quantum State Purification