From the 1 of 4 linked papers with an AI index.
6 papers · 1 filter
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…
SymFT: Universal Fault-Tolerant Quantum Circuit Simulation via Symbolic Clifford--Pauli Frames and Stabilizer Coordinates
Wang Fang, Huazhe Lou, Riling Li
SymFT is a high‑throughput simulator for fault‑tolerant quantum circuits that are dominated by Clifford operations with Pauli rotations and measurements, using symbolic Clifford‑Pa…
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…
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…