Ji Guan

Ji Guan

官极

Publications

Refereed Conference Publications

2026

  1. Li, J., Mei, J., Fang, W., and Guan, J.*. Formal Verification of Quantum Ancilla Safety. In CAV 2026. Accepted · Paper by request
  2. Xu, M., Chen, Y., and Guan, J.*. Model Checking Matrix Product States Against Linear Chain Logic. In CAV 2026. Accepted · Paper by request
  3. Li, Z., Guan, J.*, and Ying, M. QSeqSim: A Symbolic Simulator for Qiskit While Loops using Sequential Quantum Circuits. In FM 2026. Program · Artifact · Artifact DOI · GitHub
  4. Li, C., Zhou, X., Guan, J.*, Meng, F., Zhu, P., and Luo, Y. Lin-search: Scaling Exact Synthesis of CNOT Circuits via Hybrid Iterative Deepening Search. In DAC 2026. Program · Paper by request

2025

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

2024

  1. Guan, J.*, Feng, Y., Turrini, A., and Ying, M. Measurement-based Verification of Quantum Markov Chains. In CAV 2024. Paper · DOI · arXiv
  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 · DOI · arXiv · Artifact · GitHub
  3. Huang, M., Guan, J.*, Fang, W., and Ying, M. Approximation Algorithm for Noisy Quantum Circuit Simulation. In DATE 2024. Paper · DOI · arXiv

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 · arXiv

2022

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

2021

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

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. Paper · DOI · arXiv (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. Paper · DOI

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 · arXiv
  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. Paper · DOI · 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 · DOI · arXiv

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 · DOI · arXiv

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. Paper · DOI · arXiv (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. Paper · DOI · arXiv

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. Paper · DOI · arXiv
  2. Guan, J.*, Feng, Y., and Ying, M. (2018). Super-activating Quantum Memory with Entanglement. Quantum Information & Computation, 18(13&14), 1115-1124. Paper · DOI · arXiv
  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. Paper · DOI
  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. Paper · DOI · arXiv

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. DOI

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. Chapter · DOI · Chapter PDF
Cover of Quantum Robustness in Artificial Intelligence
New Book Chapter

Quantum Robustness in Artificial Intelligence

Our chapter on adversarial robustness in quantum machine learning is now officially available in Springer’s Quantum Robustness in Artificial Intelligence: Principles and Applications.

Chapter Page · Chapter PDF

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 · GitHub

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.