Article-Journal

Refinement Orders for Quantum Programs
Refinement is a fundamental technique in the verification and systematic development of computer programs. It supports a disciplined …
Yuan Feng, Li Zhou
PDF 引用 DOI arXiv URL DOI
Execution-Aware Segmented Modeling of Temporally Correlated Flux-Induced Phase Noise in Quantum Circuits
Temporally correlated flux-induced phase noise can influence superconducting-quantum-circuit execution in ways that are not fully …
引用 DOI DOI
Weakest precondition calculus and relative completeness of satisfaction-based quantum Hoare logic
Abstract Quantum Hoare logic (QHL) is a formal verification tool specifically designed to ensure the correctness of quantum programs. …
Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu
引用 DOI DOI
Louvre: Relaxing Hardware Requirements of Quantum LDPC Codes by Routing with Expanded Quantum Instruction Set
Abstract Generalized bicycle codes (GB codes) represent a promising family of quantum low-density parity-check codes, characterized by …
PDF 引用 DOI arXiv URL DOI
Recent advances in functionalized carbon quantum dots: Emerging applications of degradation, sensing, and theranostics
Tianhao Fu, Fang Zhang, Jianmei Li
引用 DOI URL
General Framework for Error Interference in Quantum Simulation
Understanding algorithmic error accumulation in quantum simulation is crucial due to its fundamental significance and practical …
Boyang Chen, Jue Xu, Xiao Yuan, Qi Zhao
PDF 引用 DOI DOI arXiv
Benchmarking fault-tolerant quantum computing hardware via QLOPS
It is widely recognized that quantum computing has profound impacts on multiple fields, including but not limited to cryptography, …
PDF 引用 DOI arXiv URL DOI
Routing-based technique for defect mitigation in quantum error correction
As quantum chips scale up for large-scale computation, hardware defects become inevitable and must be carefully addressed. In this …
PDF 引用 DOI arXiv URL DOI
The Hitchhiker’s Guide to the Surface Code
Error correction is an essential part of the theory of quantum computation. However, new quantum computation students may find the …
引用 DOI DOI
Almost optimal geometrically local quantum LDPC codes in any dimension
Abstract Geometrically local quantum codes, comprised of qubits and checks embedded in $${{\mathbb{R}}}^{D}$$ R D with local check …
Xingjian Li, Ting-Chun Lin, Adam Wills, Min-Hsiu Hsieh
引用 DOI DOI