29 citations · 40 across the 16 of their papers we have counts for
18 papers
Multivariate quantum signal processing with optimal query complexity
Mingrui Jing, Xin Wang, Zhan Yu +1
Polynomial transformations of data encoded in quantum operations are a building block of quantum algorithms, and their query complexity measures how often those operations are used…
Shadow-Based Noise Fingerprinting of Simulated Quantum Noise Models
Vridhi Jain, Lei Zhang
Accurate noise classification is essential for operating near-term quantum processors, yet existing approaches, such as quantum process tomography, scale exponentially with system…
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.…
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Lei Zhang, Yusheng Zhao, Hongshun Yao +1
Large language models are increasingly assisting with demanding formal theorem-proving tasks, particularly when grounded in machine-checked libraries such as Lean. Agentic systems…
An Agentic Formalization for Certified Quantum Neural Network Design
Mingrui Jing, Lei Zhang, Yusheng Zhao +2
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and trainability. Technically, expressivity is studied…
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Chengkai Zhu, Ziao Tang, Guocheng Zhen +6
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error…
Quantum Imaginary-Time Evolution with Polynomial Resources in Evolution Time
Lei Zhang, Jizhe Lai, Xian Wu +1
Imaginary-time evolution is fundamental for analyzing quantum many-body systems, with applications spanning quantum chemistry, condensed matter physics, and quantum field theory, y…
Exploring experimental limit of deep quantum signal processing using a trapped-ion simulator
J. -T. Bu, Lei Zhang, Zhan Yu +12
Quantum signal processing (QSP), which enables systematic polynomial transformations on quantum data through sequences of qubit rotations, has emerged as a fundamental building blo…
Optimal Hamiltonian recognition of unknown quantum dynamics
Chengkai Zhu, Shuyu He, Yu-Ao Chen +2
Identifying unknown Hamiltonians from their quantum dynamics is a pivotal challenge in quantum technologies. In this paper, we introduce Hamiltonian recognition, a framework that b…
Quantum Entanglement Allocation through a Central Hub
Yu-Ao Chen, Xia Liu, Chenghong Zhu +3
Establishing a fully functional quantum internet relies on the efficient allocation of multipartite entangled states, which enables advanced quantum communication protocols, secure…
Physical Implementability for Reversible Magic State Manipulation
Yu-Ao Chen, Gilad Gour, Xin Wang +2
Magic states are essential for achieving universal quantum computation. This study introduces a reversible framework for the manipulation of magic states in odd dimensions, delinea…
Quantum Algorithm for Reversing Unknown Unitary Evolutions
Yu-Ao Chen, Yin Mo, Yingjian Liu +2
Reversing an unknown quantum evolution is of central importance to quantum information processing and fundamental physics, yet it remains a formidable challenge as conventional met…
Parameterized quantum comb and simpler circuits for reversing unknown qubit-unitary operations
Yin Mo, Lei Zhang, Yu-Ao Chen +3
Quantum combs play a vital role in characterizing and transforming quantum processes, with wide-ranging applications in quantum information processing. However, obtaining the expli…
Reversible Entanglement Beyond Quantum Operations
Xin Wang, Yu-Ao Chen, Lei Zhang +1
We introduce a reversible theory of exact entanglement manipulation by establishing a necessary and sufficient condition for state transfer under trace-preserving transformations t…
X-Transfer: A Transfer Learning-Based Framework for GAN-Generated Fake Image Detection
Lei Zhang, Hao Chen, Shu Hu +5
Generative adversarial networks (GANs) have remarkably advanced in diverse domains, especially image generation and editing. However, the misuse of GANs for generating deceptive im…
Retrieving non-linear features from noisy quantum states
Benchi Zhao, Mingrui Jing, Lei Zhang +4
Accurately estimating high-order moments of quantum states is an elementary precondition for many crucial tasks in quantum computing, such as entanglement spectroscopy, entropy est…
Power of quantum measurement in simulating unphysical operations
Xuanqiang Zhao, Lei Zhang, Benchi Zhao +1
The manipulation of quantum states through linear maps beyond quantum operations has many important applications in various areas of quantum information processing. Current methods…
Quantum Phase Processing and its Applications in Estimating Phase and Entropies
Youle Wang, Lei Zhang, Zhan Yu +1
Quantum computing can provide speedups in solving many problems as the evolution of a quantum system is described by a unitary operator in an exponentially large Hilbert space. Suc…