Article-Journal

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of …
Yuan Feng, Sanjiang Li
引用 DOI URL
CoqQ: Foundational Verification of Quantum Programs
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum …
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
引用 DOI URL
isQ: An Integrated Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
引用 DOI
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
引用 DOI
Software Pipelining for Quantum Loop Programs
引用 DOI
Supervised Learning Enhanced Quantum Circuit Transformation
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
引用 DOI
Unitarity Estimation for Quantum Channels
Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying
引用 DOI
Quantum earth mover’s distance, a no-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem
The quantum coupling of two given quantum states denotes the set of bipartite states whose marginal states are these given two states. …
Li Zhou, Nengkun Yu, Shenggang Ying, Mingsheng Ying
引用 DOI URL
Randomized Benchmarking beyond Groups
Randomized benchmarking (RB) is the gold standard for experimentally evaluating the quality of quantum operations. The current …
Jianxin Chen, Dawei Ding, Cupjin Huang
引用 DOI URL
Randomized Benchmarking beyond Groups
Ultrahigh Kinetic Inductance Superconducting Materials from Spinodal Decomposition
Ran Gao, Hsiang‐Sheng Ku, Hao Deng, Wenlong Yu, Tian Xia, Feng Wu, Zhijun Song, Minghua Wang, Xiaohe Miao, Chao Zhang, Yue Lin, Yaoyun Shi, Hui‐Hai Zhao, Chunqing Deng
引用 DOI URL