Article-Journal

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
引用 DOI URL
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
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
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
On the Trainability and Classical Simulability of Learning Matrix Product States Variationally
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li, Hakop Pashayan
引用 DOI URL
SuperGrad: a differentiable simulator for superconducting processors
Ziang Wang, Feng Wu, Huihai Zhao, Xin Wan, Xiaotong Ni
引用 DOI URL
The effects of disorder in superconducting materials on qubit coherence
Ran Gao, Feng Wu, Hantao Sun, Jianjun Chen, Hao Deng, Xizheng Ma, Xiaohe Miao, Zhijun Song, Xin Wan, Fei Wang, Tian Xia, Make Ying, Chao Zhang, Yaoyun Shi, Huihai Zhao, Chunqing Deng
引用 DOI
Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search
Many existing static analysis algorithms suffer from cubic bottlenecks because of the need to compute a dynamic transitive closure …
Jiawei Ren, Yulei Sui, Xiao Cheng, Yuan Feng, Jianjun Zhao
引用 DOI URL