Ji Guan

Ji Guan

Visitors
Visitor map

Publications

Refereed Conference Publications

2026

  1. Li, Z., Guan, J.*, and Ying, M. QSeqSim: A Symbolic Simulator for Qiskit While Loops using Sequential Quantum Circuits. In FM 2026.
  2. Li, C., Zhou, X., Guan, J.*, Meng, F., Zhu, P., and Luo, Y. Lin-search: Scaling Exact Synthesis of CNOT Circuits via HybridIterative Deepening Search. In DAC 2026.

2025

  1. Guan, J.*. Optimal Mechanisms for Quantum Local Differential Privacy. In ACM CCS 2025. arXiv

2024

  1. Guan, J.*, Feng, Y., Turrini, A., and Ying, M. Measurement-based Verification of Quantum Markov Chains. In CAV 2024. Paper DOI
  2. Lin, Y., Guan, J.*, Fang, W., Ying, M., and Su, Z. A Robustness Verification Tool for Quantum Machine Learning Models. In FM 2024. Paper
  3. Huang, M., Guan, J.*, Fang, W., and Ying, M. Approximation Algorithm for Noisy Quantum Circuit Simulation. In DATE 2024.

2023

  1. Guan, J.*, Fang, W., Huang, M., and Ying, M. Detecting Violations of Differential Privacy for Quantum Algorithms. In ACM CCS 2023. Paper DOI

2022

  1. Guan, J.*, Fang, W., and Ying, M. Verifying Fairness in Quantum Machine Learning. In CAV 2022. Paper
  2. Guan, J., Yu, N. A Probabilistic Logic for Verifying Continuous-time Markov Chains. In TACAS 2022.

2021

  1. Guan, J.*, Fang, W., and Ying, M. Robustness Verification of Quantum Classifiers. In CAV 2021.
  2. Xu, M., Mei, J., Guan, J.*, and Yu, N. Model Checking Quantum Continuous-Time Markov Chains. In CONCUR 2021.

2020

  1. Bei, X., Chen, S., Guan, J., Qiao, Y., and Sun, X. From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces. In ITCS 2020. (Contributed equally)

Refereed Journal Publications

2026

  1. Jiang, H., Fu, J., Xu, M., Guan, J., and Ying, S. (2026). A Quantum Game Designed for Property Partitioning with Implementation on Superconducting Quantum Processors. Theoretical Computer Science.

2025

  1. Huang, M., Guan, J.*, Fang, W., and Ying, M. (2025). Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Paper DOI
  2. Mei, J., Xu, M., Guan, J., Deng, Y., and Yu, N. (2025). Checking Continuous Stochastic Logic Against Quantum Continuous-time Markov Chains. Logical Methods in Computer Science. arXiv
  3. Zhang, H. F., Chen, Z. Y., Wang, P., Guo, L. L., Wang, T. L., Yang, X. Y., Zhao, R. Z., Zhao, Z. A., Zhang, S., Du, L., Tao, H. R., …, Guan, J.*, Duan, P., and Guo, G. (2025). Experimental Robustness Benchmark of Quantum Neural Network on a Superconducting Quantum Processor. SCIENCE CHINA Physics, Mechanics & Astronomy. arXiv

2024

  1. Wang, Q., Guan, J., Liu, J., Zhang, Z., and Ying, M. (2024). New Quantum Algorithms for Computing Quantum Entropies and Distances. IEEE Transactions on Information Theory, 70(8), 5653-5680. Paper

2022

  1. Wang, Q., Zhang, Z., Chen, K., Guan, J.*, Fang, W., Liu, J., and Ying, M. (2022). Quantum Algorithm for Fidelity Estimation. IEEE Transactions on Information Theory, 69(1), 273-282. Paper

2021

  1. Bei, X., Chen, S., Guan, J., Qiao, Y., and Sun, X. (2021). From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces. SIAM Journal on Computing, 50(3), 924-971. (Contributed equally)
  2. Guan, J.*, Wang, Q., and Ying, M. (2021). An HHL-Based Algorithm for Computing Hitting Probabilities of Quantum Random Walks. Quantum Information & Computation, 21(5&6), 395-408.

2018

  1. Guan, J.*, Feng, Y., and Ying, M. (2018). Decomposition of Quantum Markov Chains and Its Applications. Journal of Computer and System Sciences, 95, 55-68.
  2. Guan, J.*, Feng, Y., and Ying, M. (2018). Super-activating Quantum Memory with Entanglement. Quantum Information & Computation, 18(13&14), 1115-1124.
  3. Su, Z., Guan, J., and Li, L. (2018). Efficient Quantum Repeater with Respect to Both Entanglement-Concentration Rate and Complexity of Local Operations and Classical Communication. Physical Review A, 97(1), 012325.
  4. Liu, S., Wang, X., Zhou, L., Guan, J., Li, Y., He, Y., Duan, R., and Ying, M. (2018). Q|SI⟩: A Quantum Programming Environment. In Symposium on Real-Time and Hybrid Systems (pp. 133-164). Springer.

2017

  1. Liu, S., Zhou, L., Guan, J., et al. (2017). Q|SI⟩: a Quantum Programming Environment (in Chinese). Sci Sin Inform, 47, 1300-1315.

Invited Book Chapters

  1. Guan, J. and Ying, M. Verifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation via a Software Tool. In Quantum Robustness in Artificial Intelligence. Springer.

Submitted Publications and Preprints

2026

  1. Li, C., Ying, M., and Guan, J.* (2026). Differential Privacy of Quantum and Quantum-Inspired-Classical Recommendation Algorithms. arXiv
  2. He, R., Hong, X., Chai, Q., Guan, J., Zhou, J., Ablimit, A., Cui, G., and Ying, S. (2026). Constructing Compact ADAPT Unitary Coupled-Cluster Ansatz with Parameter-Based Criterion. arXiv

2025

  1. He, R., Ablimit, A., Hong, X., Chai, Q., Zhou, J., Guan, J., Cui, G., and Ying, S. (2025). Hamiltonian-Informed Point Group Symmetry-Respecting Ansatz for Variational Quantum Eigensolver. arXiv
  2. He, R., Chai, Q., Hong, X., Guan, J., Cui, G., Wang, S., and Ying, S. (2025). Gradient-Based Excitation Filter for Molecular Ground-State Simulation. arXiv

2024

  1. He, R., Guan, J., Hong, X., Cui, G., Wang, S., and Ying, S. (2024). RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices. arXiv

2022

  1. Chen, K., Fang, W., Guan, J.*, Hong, X., Huang, M., Liu, J., Wang, Q., and Ying, M. (2022). VeriQBench: A Benchmark for Multiple Types of Quantum Circuits. arXiv

2018

  1. Guan, J., Feng, Y., and Ying, M. (2018). The Structure of Decoherence-Free Subsystems. arXiv

Selected Talks

  1. Guan, J., Feng, Y., Turrini, A., and Ying, M. (2019). Model Checking Applied to Quantum Physics. QPL 2019.
  2. Guan, J. Verifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation via a Software Tool. VQC 2025.
  3. Verifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation via a Software Tool. SETSS 2025.
  4. Robustness Verification of Quantum Classifiers. Nagoya University, Japan, 2021-11-25.
  5. Robustness Verification of Quantum Classifiers. University of Science and Technology of China, China, 2021-12-08.