Article-Journal

A Herculean task: classical simulation of quantum computers
Xiaosi Xu, Simon Benjamin, Jianxin Chen, Jinzhao Sun, Xiao Yuan, Pan Zhang
引用 DOI URL
Refinement calculus of quantum programs with projective assertions
This paper presents a refinement calculus designed specifically for quantum programs, offering a structured approach to their …
Yuan Feng, Li Zhou, Yingte Xu, Xiaoquan Xu
引用 DOI URL
Efficient implementation of arbitrary two-qubit gates using unified control
The set of quantum logic gates that can be easily implemented is fundamental to the performance of quantum computers, as it governs the …
Zhen Chen, Weiyang Liu, Yanjun Ma, Weijie Sun, Ruixia Wang, He Wang, Huikai Xu, Guangming Xue, Haisheng Yan, Zhen Yang, Jiayu Ding, Yang Gao, Feiyu Li, Yujia Zhang, Zikang Zhang, Yirong Jin, Haifeng Yu, Jianxin Chen, Fei Yan
PDF 引用 DOI URL arXiv
Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis
We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant …
Michael Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro Morales
引用 DOI URL
A Quantum Analysis Model for the Irreversible Thermoacoustic Refrigerator Under the Condition of Weak Gas Degeneracy
Qing E, Feng Wu, Xiaojiang Ye, Ting Chen
PDF 引用 DOI URL
Quantum Vote Based on Quantum Logical Operators
Xin Sun, Xingchi Su, Xiaoning Bian
引用 DOI DOI
Quantum Network Optimization: From Optimal Routing to Fair Resource Allocation
Quantum networks are essential infrastructure for enabling large-scale and long-distance quantum communications but face significant …
Zhaozhen Wang, Xingang Shi, Zhengfeng Ji, Xia Yin
引用 DOI URL
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as …
Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
引用 DOI DOI
High-coherence fluxonium qubits manufactured with a wafer-scale-uniformity process
Fei Wang, Kannan Lu, Huijuan Zhan, Lu Ma, Feng Wu, Hantao Sun, Hao Deng, Yang Bai, Feng Bao, Xu Chang, Ran Gao, Xun Gao, Guicheng Gong, Lijuan Hu, Ruizi Hu, Honghong Ji, Xizheng Ma, Liyong Mao, Zhijun Song, Chengchun Tang, Hongcheng Wang, Tenghui Wang, Ziang Wang, Tian Xia, Hongxin Xu, Ze Zhan, Gengyan Zhang, Tao Zhou, Mengyu Zhu, Qingbin Zhu, Shasha Zhu, Xing Zhu, Yaoyun Shi, Huihai Zhao, Chunqing Deng
引用 DOI URL
Instantaneous Quantum Polynomial-Time Sampling and Verifiable Quantum Advantage: Stabilizer Scheme and Classical Security
Michael J. Bremner, Bin Cheng, Zhengfeng Ji
引用 DOI URL