9 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.…
An Agentic Formalization for Certified Quantum Neural Network Design
Mingrui Jing, Lei Zhang, Yusheng Zhao +2
The paper formalizes the theory of quantum neural networks (QNNs) using a machine-checked Lean 4 development, providing exact characterizations of expressivity and trainability and…
Structure, Optimality, and Symmetry in Shadow Unitary Inversion
Guocheng Zhen, Yu-Ao Chen, Mingrui Jing +3
Reversing unitary operations is a key task in quantum computing and quantum control. In this work, we introduce and develop the framework of shadow unitary inversion, a relaxed var…
Programmable Open Quantum Systems
Mingrui Jing, Mengbo Guo, Lin Zhu +2
Programmability is a unifying paradigm for enacting families of quantum transformations via fixed processors and program states, with a fundamental role and broad impact in quantum…
LCQNN: Linear Combination of Quantum Neural Networks
Hongshun Yao, Xia Liu, Mingrui Jing +2
Quantum neural networks combine quantum computing with advanced data-driven methods, offering promising applications in quantum machine learning. However, the optimal paradigm for…