Manuscript

Classical and Quantum Iterative Optimization Algorithms Based on Matrix Legendre-Bregman Projections
引用 arXiv URL
Fault Models in Superconducting quantum circuits
Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying
引用 arXiv URL
Quantum Parameterized Complexity
Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw
引用 arXiv URL
Titanium Nitride Film on Sapphire Substrate with Low Dielectric Loss for Superconducting Qubits
Hao Deng, Zhijun Song, Ran Gao, Tian Xia, Feng Bao, Xun Jiang, Hsiang-Sheng Ku, Zhisheng Li, Xizheng Ma, Jin Qin, Hantao Sun, Chengchun Tang, Tenghui Wang, Feng Wu, Wenlong Yu, Gengyan Zhang, Xiaohang Zhang, Jingwei Zhou, Xing Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng
引用 arXiv URL
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, Mingsheng Ying
引用 arXiv URL
Quantum Meets the Minimum Circuit Size Problem
Nai-Hui Chia, Chi-Ning Chou, Jiayu Zhang, Ruizhe Zhang
引用 arXiv URL
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
引用 arXiv URL
Quantum soundness of the classical low individual degree test
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
引用 arXiv URL
Symbolic Verification of Quantum Circuits
引用 arXiv URL
Model Checking Applied to Quantum Physics
Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying
引用 arXiv URL