Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

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

Available in arXiv:2101.00494, January 2021

Minbo Gao^*, Tianle Xie^*, Simon S. Du, Lin F. Yang (by contribution; ^* indicates equal contribution, with the first two authors ordered alphabetically). "A Provably Efficient Algorithm for Linear Markov Decision Process with Low Switching Cost." arXiv:2101.00494.
Download Paper

Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games

Published in Advances in Neural Information Processing Systems 36 (NeurIPS 2023), December 2023

Minbo Gao, Zhengfeng Ji, Tongyang Li, Qisheng Wang. "Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games." Advances in Neural Information Processing Systems 36 (NeurIPS 2023), 31177-31203. doi: 10.52202/075280-1359.
Download Paper

Complete Quantum Relational Hoare Logics from Optimal Transport Duality

Published in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), June 2025

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou. "Complete Quantum Relational Hoare Logics from Optimal Transport Duality." 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025), 884-925. doi: 10.1109/LICS65433.2025.00072.
Download Paper

Quantum Speedup for Hypergraph Sparsification

Published in Proceedings of the 42nd International Conference on Machine Learning (ICML 2025), July 2025

Chenghua Liu, Minbo Gao, Zhengfeng Ji, Mingsheng Ying (by contribution). "Quantum Speedup for Hypergraph Sparsification." Proceedings of the 42nd International Conference on Machine Learning (ICML 2025), PMLR 267:38448-38466, 2025. URL: https://proceedings.mlr.press/v267/liu25r.html.
Download Paper

Quantum Speedup for Sampling Random Spanning Trees

Published in Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), July 2025

Simon Apers, Minbo Gao, Zhengfeng Ji, Chenghua Liu. "Quantum Speedup for Sampling Random Spanning Trees." Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 334, 13:1--13:21. doi: 10.4230/LIPIcs.ICALP.2025.13.
Download Paper

Quantum Approximate k-Minimum Finding

Published in Proceedings of the 33rd Annual European Symposium on Algorithms (ESA 2025), September 2025

Minbo Gao, Zhengfeng Ji, Qisheng Wang. "Quantum Approximate k-Minimum Finding." Proceedings of the 33rd Annual European Symposium on Algorithms (ESA 2025), 351, 51:1--51:15. doi: 10.4230/LIPIcs.ESA.2025.51.
Download Paper

On Estimating the Quantum Tsallis Relative Entropy

Available in arXiv:2510.00752, October 2025

Jinge Bao, Minbo Gao, Qisheng Wang. "On Estimating the Quantum Tsallis Relative Entropy." arXiv:2510.00752.
Download Paper

Levy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation

Available in arXiv:2511.10253, November 2025

Minbo Gao, Zhengfeng Ji, Chenghua Liu. "Levy-Khintchine Structure Enables Fast-Forwardable Lindbladian Simulation." arXiv:2511.10253.
Download Paper

Quantum Hamiltonian Certification

Published in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2026), January 2026

Minbo Gao, Zhengfeng Ji, Qisheng Wang, Wenjun Yu, Qi Zhao. "Quantum Hamiltonian Certification." Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2026), 1424-1467. doi: 10.1137/1.9781611978971.53.
Download Paper

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

To appear in 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026), July 2026

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou. "Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions." To appear in the 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026).
Download Paper

Quantum Multi-Level Estimation of Functionals of Discrete Distributions

To appear in 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026), July 2026

Kean Chen, Minbo Gao, Tongyang Li, Qisheng Wang, Xinzhao Wang. "Quantum Multi-Level Estimation of Functionals of Discrete Distributions." To appear in the 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026).
Download Paper