1 citations · 1 across the 6 of their papers we have counts for
8 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…
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…