Quantum Recursive Programming with Quantum Case Statements. - Mingsheng Ying; Zhicheng Zhang 010 (CoRR, 2023)

Quantum Algorithm for Fidelity Estimation. - Qisheng Wang; Zhicheng Zhang 010; Kean Chen; Ji Guan 001; Wang Fang 001; Junyi Liu 002; Mingsheng Ying (IEEE Trans. Inf. Theory, 2023)

Local Test for Unitarily Invariant Properties of Bipartite Quantum States. - Kean Chen; Qisheng Wang; Zhicheng Zhang 010 (CoRR, 2024)

Verification of Recursively Defined Quantum Circuits. - Mingsheng Ying; Zhicheng Zhang 010 (CoRR, 2024)

Atomicity in Distributed Quantum Computing. - Zhicheng Zhang 010; Mingsheng Ying (CoRR, 2024)

Sample-Optimal Quantum Estimators for Pure-State Trace Distance and Fidelity via Samplizer. - Qisheng Wang; Zhicheng Zhang 010 (CoRR, 2024)

Parallel Quantum Algorithm for Hamiltonian Simulation. - Zhicheng Zhang 010; Qisheng Wang; Mingsheng Ying (Quantum, 2024)

Fast Quantum Algorithms for Trace Distance Estimation. - Qisheng Wang; Zhicheng Zhang 010 (IEEE Trans. Inf. Theory, 2024)

New Quantum Algorithms for Computing Quantum Entropies and Distances. - Qisheng Wang; Ji Guan 001; Junyi Liu 002; Zhicheng Zhang 010; Mingsheng Ying (IEEE Trans. Inf. Theory, 2024)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs. - Zhicheng Zhang 010; Mingsheng Ying (Proc. ACM Program. Lang., 2025)

Quantum Lower Bounds by Sample-to-Query Lifting. - Qisheng Wang; Zhicheng Zhang 010 (SIAM J. Comput., 2025)

Access Control Threatened by Quantum Entanglement. - Zhicheng Zhang 010; Mingsheng Ying (CoRR, 2025)

Tight Bound for Quantum Unitary Time-Reversal. - Kean Chen; Nengkun Yu; Zhicheng Zhang 010 (CoRR, 2025)

A List of Complexity Bounds for Property Testing by Quantum Sample-to-Query Lifting. - Kean Chen; Qisheng Wang; Zhicheng Zhang 010 (CoRR, 2025)

Quantum channel tomography and estimation by local test. - Kean Chen; Nengkun Yu; Zhicheng Zhang 010 (CoRR, 2025)

Time-Efficient Quantum Entropy Estimator via Samplizer. - Qisheng Wang; Zhicheng Zhang 010 (IEEE Trans. Inf. Theory, 2025)

Quantum data structure for range minimum query. - Qisheng Wang; Zhean Xu; Zhicheng Zhang 010 (J. Comput. Syst. Sci., 2026)

Optimal lower bound for quantum channel tomography in away-from-boundary regime. - Kean Chen; Zhicheng Zhang 010; Nengkun Yu (CoRR, 2026)

Quantum channel tomography: optimal bounds and a Heisenberg-to-classical phase transition. - Kean Chen; Filippo Girardi; Aadil Oufkir; Nengkun Yu; Zhicheng Zhang 010 (CoRR, 2026)

Strict Hierarchy for Quantum Channel Certification to Unitary. - Kean Chen; Qisheng Wang; Zhicheng Zhang 010 (CoRR, 2026)