Article-Journal

Measuring the constrained reachability in quantum Markov chains
Constrained reachability is a kind of quantitative path property, which is generally specified by multiphase until formulas originated …
Ming Xu, Cheng-Chao Huang, Yuan Feng
引用 DOI URL
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
The increasing control complexity of Noisy Intermediate-Scale Quantum (NISQ) systems underlines the necessity of integrating quantum …
X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng
引用 DOI URL
Symbolic Reasoning About Quantum Circuits in Coq
A quantum circuit is a computational unit that transforms an input quantum state to an output state. A natural way to reason about its …
Wen-Jun Shi, Qin-Xiang Cao, Yu-Xin Deng, Han-Ru Jiang, Yuan Feng
引用 DOI URL
MIP* = RE
Note from the Research Highlights Co-Chairs: A Research Highlights paper appearing in Communications is usually peer-reviewed prior to …
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen
引用 DOI URL
Separation of Out-Of-Time-Ordered Correlation and Entanglement
Aram W. Harrow, Linghang Kong, Zi-Wen Liu, Saeed Mehraban, Peter W. Shor
引用 DOI URL
Free-mode removal and mode decoupling for simulating general superconducting quantum circuits
Dawei Ding, Hsiang-Sheng Ku, Yaoyun Shi, Huihai Zhao
引用 DOI URL
Efficient parallelization of tensor network contraction for simulating quantum computation
We develop an algorithmic framework for contracting tensor networks and demonstrate its power by classically simulating quantum …
Cupjin Huang , Fang Zhang , Michael Newman, Xiaotong Ni, Dawei Ding, Junjie Cai, Xun Gao, Tenghui Wang, Feng Wu, Gengyan Zhang, Hsiang-Sheng Ku, Zhengxiong Tian, Junyin Wu, Haihong Xu, Huanjun Yu, Bo Yuan, Mario Szegedy, Yaoyun Shi, Huihai Zhao, Chunqing Deng, Jianxin Chen
引用
Efficient parallelization of tensor network contraction for simulating quantum computation
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
引用 DOI
Inaugural Issue Editorial for ACM Transactions on Quantum Computing
Travis S. Humble, Mingsheng Ying
引用 DOI URL
Projection-based runtime assertions for testing and debugging Quantum programs
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The …
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
引用 DOI URL