11 papers
Exact Virtual Channel Programming with Vanishing Excess Overhead
Mingrui Jing, Mengbo Guo, Hongshun Yao +1
A finite-dimensional physical processor cannot exactly program a continuous family of distinct unitary channels. We show that this obstruction becomes quantitative when the target…
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…
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Keming He, Enji Xiong, Xin Wang
Quantum state purification aims to recover higher-fidelity quantum states from multiple noisy copies and is a fundamental primitive for quantum information processing. Magic resour…
Universal Robust Quantum Gates via Doubly Geometric Control
Hai Xu, Tao Chen, Junkai Zeng +5
Geometric quantum computation offers a potential route to fault-tolerant quantum information processing by exploiting the global nature of geometric phases. However, achieving cont…
Block Coordinate Descent for Dynamic Portfolio Optimization on Finite-Precision Coherent Ising Machines
Keming He, Yuehan Zhang, Hongshun Yao +2
Coherent Ising machines (CIMs) have emerged as specialized quantum hardware for large-scale combinatorial optimization. However, for large instances that remain challenging for cla…
Evidential Quantum Vertical Federated Learning
Hao Luo, Zhiyuan Zhai, Qianli Zhou +3
Quantum federated learning (QFL) has recently emerged as a promising paradigm for privacy-preserving collaborative learning, yet most existing studies focus on horizontal federated…
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…
No-Go Theorems for Universal Quantum State Purification via Classically Simulable Operations
Keming He, Chengkai Zhu, Hongshun Yao +3
Quantum state purification, a process that aims to recover a state closer to a system's principal eigenstate from multiple copies of an unknown noisy quantum state, is crucial for…
Conclusive exclusion of quantum states with group action
Hongshun Yao, Xin Wang
Retrieving classical information from quantum systems is central to quantum information processing. As a more general task than quantum state discrimination, which focuses on ident…