Article-Journal

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum physical systems for decades. Recently, they have also been …
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
引用 DOI URL
Fluxonium: An Alternative Qubit Platform for High-Fidelity Operations
Superconducting qubits provide a promising path toward building large-scale quantum computers. The simple and robust transmon qubit has …
Feng Bao, Hao Deng, Dawei Ding, Ran Gao, Xun Gao, Cupjin Huang, Xun Jiang, Hsiang-Sheng Ku, Zhisheng Li, Xizheng Ma, Xiaotong Ni, Jin Qin, Zhijun Song, Hantao Sun, Chengchun Tang, Tenghui Wang, Feng Wu, Tian Xia, Wenlong Yu, Fang Zhang, Gengyan Zhang, Xiaohang Zhang, Jingwei Zhou, Xing Zhu, Yaoyun Shi, Jianxin Chen, Huihai Zhao, Chunqing Deng
引用 DOI URL
Fluxonium: An Alternative Qubit Platform for High-Fidelity Operations
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework
In the noisy intermediate-scale quantum era, quantum processing units suffer from, among others, highly limited connectivity between …
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
引用 DOI URL
Near-Optimal Covariant Quantum Error-Correcting Codes from Random Unitaries with Symmetries
Linghang Kong, Zi-Wen Liu
引用 DOI URL
Verification of Distributed Quantum Programs
Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of …
Yuan Feng, Sanjiang Li, Mingsheng Ying
引用 DOI URL
A proof system for disjoint parallel quantum programs
In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint …
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
引用 DOI URL
Data augmentation for Convolutional LSTM based brain computer interface system
Electroencephalogram (EEG) is a noninvasive method to detect spatio-temporal electric signals in human brain, actively used in the …
Kahoko Takahashi, Zhe Sun, Jordi Solé-Casals, Andrzej Cichocki, Anh Huy Phan, Qibin Zhao, Huihai Zhao, Shangkun Deng, Ruggero Micheletto
引用 DOI URL
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI
Formal semantics of a classical-quantum language
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, …
Yuxin Deng, Yuan Feng
引用 DOI URL
Integrating quantum processor device and control optimization in a gradient-based framework
Xiaotong Ni, Huihai Zhao, Lei Wang, Feng Wu, Jianxin Chen
引用