43 citations · 123 across the 16 of their papers we have counts for
16 papers
Towards Optimal Quantum Estimators for State Frame Potential
Jinge Bao, Wang Fang, Yoshifumi Nakata +1
The state frame potential is a standard diagnostic of how closely a quantum state ensemble approximates Haar randomness. In this work, we study the problem of estimating the state…
Formal Verification of Quantum Ancilla Safety
Jiqi Li, Jingyi Mei, Wang Fang +1
Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement complex operations with fewer gate…
SymFT: Universal Fault-Tolerant Quantum Circuit Simulation via Symbolic Clifford--Pauli Frames and Stabilizer Coordinates
Wang Fang, Huazhe Lou, Riling Li
Fault-tolerant protocols often consist largely of stabilizer subcircuits, yet the non-Clifford operations required for universality make exact sampling costly. We present SymFT, a…
Query-Optimal and Sample-Optimal Quantum Algorithms for Estimating Fidelity to a Pure State
Wang Fang, Qisheng Wang
We present two optimal quantum algorithms that estimate the (square root) fidelity of a mixed state to a pure state to within additive error : - Given query access to…
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
Mingyu Huang, Ji Guan, Wang Fang +1
In the current NISQ (Noisy Intermediate-Scale Quantum) era, simulating and verifying noisy quantum circuits is crucial but faces challenges such as quantum state explosion and comp…
VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
Yanling Lin, Ji Guan, Wang Fang +2
Adversarial noise attacks present a significant threat to quantum machine learning (QML) models, similar to their classical counterparts. This is especially true in the current Noi…
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits
Wang Fang, Mingsheng Ying
This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the circuit forward once. We introduce phase symbolization into stabilizer generators,…
Symbolic Execution for Quantum Error Correction Programs
Wang Fang, Mingsheng Ying
We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements. The soundness of…
Detecting Violations of Differential Privacy for Quantum Algorithms
Ji Guan, Wang Fang, Mingyu Huang +1
Quantum algorithms for solving a wide range of practical problems have been proposed in the last ten years, such as data search and analysis, product recommendation, and credit sco…
Differentiable Quantum Programming with Unbounded Loops
Wang Fang, Mingsheng Ying, Xiaodi Wu
The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Recently, Zhu et al. (PLDI 2020) have for…
Approximation Algorithm for Noisy Quantum Circuit Simulation
Mingyu Huang, Ji Guan, Wang Fang +1
Simulating noisy quantum circuits is vital in designing and verifying quantum algorithms in the current NISQ (Noisy Intermediate-Scale Quantum) era, where quantum noise is unavoida…
Verifying Fairness in Quantum Machine Learning
Ji Guan, Wang Fang, Mingsheng Ying
Due to the beyond-classical capability of quantum computing, quantum machine learning is applied independently or embedded in classical models for decision making, especially in th…
VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
Kean Chen, Wang Fang, Ji Guan +5
In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) co…
isQ: Towards a Practical Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Riling Li +5
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum progra…
Quantum Algorithm for Fidelity Estimation
Qisheng Wang, Zhicheng Zhang, Kean Chen +4
For two unknown mixed quantum states and in an -dimensional Hilbert space, computing their fidelity is a basic problem with many important applications in quant…
Robustness Verification of Quantum Classifiers
Ji Guan, Wang Fang, Mingsheng Ying
Several important models of machine learning algorithms have been successfully generalized to the quantum world, with potential speedup to training classical classifiers and applic…