I am a Lecturer in the School of Information and Communication Technology, Griffith University. Before joining Griffith, I was a Postdoctoral Research Fellow at the University of Technology Sydney (UTS) in 2026.
I received my Ph.D. from UTS in 2026, supervised by Mingsheng Ying and co-supervised by Zhengfeng Ji and Sanjiang Li. I received my B.E. from the University of Chinese Academy of Sciences in 2021.
My research interests are in the theory of quantum computing. I am particularly interested in quantum algorithms and complexity, quantum programming languages, quantum software, and parallel and distributed computing. I also like connections among distinct areas in computer science and quantum physics.
Email: z.zhang2 [at] griffith.edu.au
[Google Scholar] [CV]
Apr 2025: Mini-Course on Quantum Recursive Programming (DIMACS, Rutgers University)
Strict Hierarchy for Quantum Channel Certification to Unitary
Kean Chen, Qisheng Wang, Zhicheng Zhang
To appear in ICALP 2026. [arXiv]
Quantum Channel Tomography: Optimal Bounds and a Heisenberg-to-Classical Phase Transition
Kean Chen, Filippo Girardi, Aadil Oufkir, Nengkun Yu, Zhicheng Zhang
Manuscript. [arXiv]
Optimal Lower Bound for Quantum Channel Tomography in Away-from-Boundary Regime
Kean Chen, Zhicheng Zhang, Nengkun Yu
Manuscript. [arXiv]
Quantum Data Structure for Range Minimum Query
Qisheng Wang, Zhean Xu, Zhicheng Zhang
Journal of Computer and System Sciences, p. 103856 (2026). [arXiv]
Quantum Channel Tomography and Estimation by Local Test
Kean Chen, Nengkun Yu, Zhicheng Zhang
Manuscript. [arXiv]
A List of Complexity Bounds for Property Testing by Quantum Sample-to-Query Lifting
Kean Chen, Qisheng Wang, Zhicheng Zhang
Manuscript. [arXiv]
Approximation Does Not Help in Quantum Unitary Time-Reversal
Kean Chen, Nengkun Yu, Zhicheng Zhang
Proceedings of the 58th Annual ACM Symposium on Theory of Computing, pp. 1376–1387 (2026). [arXiv]
Access Control Threatened by Quantum Entanglement
Zhicheng Zhang, Mingsheng Ying
Manuscript. [arXiv]
Simultaneous Estimation of Nonlinear Functionals of a Quantum State
Kean Chen, Qisheng Wang, Zhan Yu, Zhicheng Zhang
To appear in IEEE Transactions on Information Theory. Previously in AQIS 2025. [arXiv]
Sample-Optimal Quantum Estimators for Pure-State Trace Distance and Fidelity via Samplizer
Qisheng Wang, Zhicheng Zhang
To appear in ICALP 2026. Previously in AQIS 2025. [arXiv]
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Zhicheng Zhang, Mingsheng Ying
Proceedings of the ACM on Programming Languages 9(PLDI), pp. 822 - 847 (2025). Previously in PLanQC 2025. [arXiv] [slides] [Talk at PLDI 2025] [Talk at PLanQC 2025]
Tight Quantum Depth Lower Bound for Solving Systems of Linear Equations
Qisheng Wang, Zhicheng Zhang
Physical Review A 110, p. 012422 (2024). [arXiv]
Quantum Algorithms for Matrix Geometric Means
Nana Liu, Qisheng Wang, Mark M. Wilde, Zhicheng Zhang
npj Quantum Information 11, p. 101 (2025). Previously in QCMC 2024, QTML 2024. [arXiv] [Nana's Talk]
Atomicity in Distributed Quantum Computing
Zhicheng Zhang, Mingsheng Ying
Manuscript. [arXiv]
Verification of Recursively Defined Quantum Circuits
Mingsheng Ying, Zhicheng Zhang
Proceedings of the ACM on Programming Languages 10(PLDI), pp. 656–680 (2026). (PLDI 2026 Distinguished Paper Award) [arXiv] [Talk at Foxconn Quantum]
Local Test for Unitarily Invariant Properties of Bipartite Quantum States
Kean Chen, Qisheng Wang, Zhicheng Zhang
To appear in IEEE Transactions on Information Theory. [arXiv]
Time-Efficient Quantum Entropy Estimator via Samplizer
Qisheng Wang, Zhicheng Zhang
IEEE Transactions on Information Theory 71(12), pp. 9569–9599 (2025). Previously in ESA 2024. [arXiv] [Qisheng's Talk]
Quantum Recursive Programming with Quantum Case Statements
Mingsheng Ying, Zhicheng Zhang
Manuscript. [arXiv]
Quantum Lower Bounds by Sample-to-Query Lifting
Qisheng Wang, Zhicheng Zhang
SIAM Journal on Computing 54(5), pp. 1294–1334 (2025). [arXiv] [Qisheng's Talk]
Fast Quantum Algorithms for Trace Distance Estimation
Qisheng Wang, Zhicheng Zhang
IEEE Transactions on Information Theory 70(4), pp. 2720–2733 (2024). [arXiv] [slides]
New Quantum Algorithms for Computing Quantum Entropies and Distances
Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying
IEEE Transactions on Information Theory 70(8), pp. 5653–5680 (2024). [arXiv]
Parallel Quantum Algorithm for Hamiltonian Simulation
Zhicheng Zhang, Qisheng Wang, Mingsheng Ying
Quantum 8, p. 1228 (2024). [arXiv] [Talk at UTS]
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen, Ji Guan, Wang Fang, Junyi Liu, Mingsheng Ying
IEEE Transactions on Information Theory 69(1), pp. 273—282 (2023). [arXiv]