Publications

Conference Papers

1. Quantum Multi-Level Estimation of Functionals of Discrete Distributions

   A Kean Chen, Minbo Gao, Tongyang Li, Qisheng Wang, Xinzhao Wang.

   ICALP 2026 , arXiv:2605.03685 .

2. Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

   A Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou.

   LICS 2026 , arXiv:2510.07051 .

3. Quantum Hamiltonian Certification

   A Minbo Gao, Zhengfeng Ji, Qisheng Wang, Wenjun Yu, Qi Zhao.

   SODA 2026 , Paper .

4. Quantum Approximate k-Minimum Finding

   A Minbo Gao, Zhengfeng Ji, Qisheng Wang.

   ESA 2025 , Paper .

5. Quantum Speedup for Sampling Random Spanning Trees

   A Simon Apers, Minbo Gao, Zhengfeng Ji, Chenghua Liu.

   ICALP 2025 , arXiv:2504.15603, Paper .

6. Quantum Speedup for Hypergraph Sparsification

   C Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying.

   ICML 2025 , arXiv:2505.01763, Paper .

7. Complete Quantum Relational Hoare Logics from Optimal Transport Duality

   A Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou.

   LICS 2025 , Paper .

8. Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games

   A Minbo Gao, Zhengfeng Ji, Tongyang Li, Qisheng Wang.

   NeurIPS 2023 , Paper .

Selected Preprints

1. Levy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation

   A Minbo Gao, Zhengfeng Ji, Chenghua Liu.

   Preprint , arXiv:2511.10253 .

2. On Estimating the Quantum Tsallis Relative Entropy

   A Jinge Bao, Minbo Gao, Qisheng Wang.

   Preprint , arXiv:2510.00752 .

3. A Provably Efficient Algorithm for Linear Markov Decision Process with Low Switching Cost

   C Minbo Gao^*, Tianle Xie^*, Simon S. Du, Lin F. Yang.

   Preprint , arXiv:2101.00494 .