14 papers
Virtual quantum neural networks
Benchi Zhao, Xuanqiang Zhao, Yinan Li +2
Quantum neural networks are a prominent model of quantum machine learning. Their training consists in the minimization of a given loss function over a parametrized family of quantu…
Causal-Class Hierarchies in Coherence-Constrained Channel Transformation
Lin Zhu, Benchi Zhao, Xuanqiang Zhao +3
Higher-order quantum transformations allow multiple channel uses to be combined through different causal architectures, from parallel and fixed-order sequential networks to general…
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.…
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…
Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps
Weizhou Cai, Zi-Jie Chen, Xuanqiang Zhao +4
Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum communication, and quantum sensing. Over the years, it h…
Quantifying Unextendibility via Virtual State Extension
Hongshun Yao, Jingu Xie, Xuanqiang Zhao +3
Monogamy of entanglement, which limits how entanglement can be shared among multiple parties, is a fundamental feature underpinning the privacy of quantum communication. In this wo…