37 citations · 61 across the 15 of their papers we have counts for
11 papers · 1 filter
Realified tensor networks: quantum circuit simulation on real-valued matrix accelerators
Yusheng Zhao, Xiwei Pan, Enji Xiong +2
Tensor-network contraction simulates quantum circuits, but modern matrix accelerators (NPUs, TPUs) expose only real GEMM pipelines, so the complex networks of quantum simulation mu…
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…
Measurement-Free Toric-Code Memory in Array Globally Controlled Rydberg Array
Han Wang, Yusheng Zhao, Xiuhao Deng +1
The central prerequisite of any fault-tolerant quantum architecture is a quantum memory: a block of encoded physical qubits whose logical state is actively preserved against noise…
Toward General Quantum Control with Physics-Informed Large Language Models
Yusheng Zhao, Han Wang, Xin Liu +10
Quantum control is essential for quantum information science and technology, yet designing high-fidelity control protocols remains challenging due to complex optimization landscape…
Universal quantum computing with a single arbitrary gate
Zhong-Yi Ni, Yu-Sheng Zhao, Jin-Guo Liu
This study presents a roadmap towards utilizing a single arbitrary gate for universal quantum computing. Since two decades ago, it has been widely accepted that almost any single a…
Bridging Quantum Computing and Differential Privacy: Insights into Quantum Computing Privacy
Yusheng Zhao, Hui Zhong, Xinyue Zhang +3
While quantum computing has strong potential in data-driven fields, the privacy issue of sensitive or valuable information involved in the quantum algorithm should be considered. D…
Differential Privacy Preserving Quantum Computing via Projection Operator Measurements
Yuqing Li, Yusheng Zhao, Xinyue Zhang +3
Quantum computing has been widely applied in various fields, such as quantum physics simulations, quantum machine learning, and big data analysis. However, in the domains of data-d…
Simulating large-size quantum spin chains on cloud-based superconducting quantum computers
Hongye Yu, Yusheng Zhao, Tzu-Chieh Wei
Quantum computers have the potential to efficiently simulate large-scale quantum systems for which classical approaches are bound to fail. Even though several existing quantum devi…