Paper-Conference

Machine Learning Enhanced Post-selection in Quantum Networks
引用 DOI DOI
Cryptomania v.s. Minicrypt in a Quantum World
We prove that it is impossible to construct perfect-complete quantum public-key encryption (QPKE) with classical keys from quantumly …
Longcheng Li, Qian Li, Xingjian Li, Qipeng Liu
PDF 引用 DOI DOI arXiv
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
We present sound and complete relational program logics for infinite-dimensional quantum and classical-quantum programs. The logics …
Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou
PDF 引用 DOI DOI arXiv
Quantum Multi-Level Estimation of Functionals of Discrete Distributions
We propose a quantum multi-level estimation framework for a functional $\sum_{i=1}^n f(p_i)$ of a discrete distribution …
Kean Chen, Minbo Gao, Tongyang Li, Qisheng Wang, Xinzhao Wang
PDF 引用 DOI DOI arXiv
A Meta-complexity Characterization of Minimal Quantum Cryptography
We give a meta-complexity characterization of EFI pairs, which are considered the “minimal” primitive in quantum …
Bruno Cavalar, Boyang Chen, Andrea Coladangelo, Matthew Gray, Zihan Hu, Zhengfeng Ji, Xingjian Li
PDF 引用 DOI DOI arXiv
Coset Ensemble Decoder for Quantum Error Correction with Algorithm-Hardware Co-Design
Reliable large-scale quantum computation relies on fault-tolerant architectures, where quantum error correction (QEC) continuously …
Shuang Liang, Jubo Xu, Giulio Bassanino, Qianzhou Wang, Yidong Zhou, Yuncheng Lu, Zhiwen Mo, Paul Kelly, Bo Yuan, Wayne Luk, Hongxiang Fan
PDF 引用 DOI DOI arXiv
Satisfaction-Based Probabilistic Hoare Logic with While Loop: Weakest Precondition and Relative Completeness
Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui
引用 DOI DOI
Unifying Qubit Routing Across Diverse Quantum ISAs via Canonical Representation
Qubit mapping/routing is a critical stage in compilation for both near-term and fault-tolerant quantum computers, yet existing scalable …
Zhaohui Yang, Kai Zhang, Xinyang Tian, Xiangyu Ren, Yingjian Liu, Yunfeng Li, Dawei Ding, Jianxin Chen, Yuan Xie
PDF 引用 DOI DOI arXiv
Optimal Compilation of Syndrome Extraction Circuits for General Quantum LDPC Codes
Quantum error correcting codes (QECC) are essential for constructing large-scale quantum computers that deliver faithful results. As …
Kai Zhang, Dingchao Gao, Zhaohui Yang, Runshi Zhou, Fangming Liu, Zhengfeng Ji, Jianxin Chen
PDF 引用 DOI DOI arXiv
SurgeQ: A Hybrid Framework for Ultra-Fast Quantum Processor Design and Crosstalk-Aware Circuit Execution
Executing quantum circuits on superconducting platforms requires balancing the trade-off between gate errors and crosstalk. To address …
PDF 引用 DOI DOI arXiv