4 citations
- Chinese Academy of SciencesCN14 papers
- University of Chinese Academy of SciencesCN11 papers
- Peking UniversityCN3 papers
- Shanghai Jiao Tong UniversityCN3 papers
- Hong Kong University of Science and TechnologyHK2 papers
- Tsinghua UniversityCN2 papers
- Universiti Sains MalaysiaMY2 papers
- University of Hong KongHK2 papers
- University of Technology SydneyAU2 papers
- Xiamen University of TechnologyCN2 papers
- Anhui UniversityCN1 paper
- Beihang UniversityCN1 paper
7 papers · 1 filter
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…
Quantum states supported by matroids
Xiaowei Huang, Fei Shi, Lijun Zhang +1
In this work, we establish a structural correspondence between quantum states and matroid theory. This connection demonstrates that key properties of quantum states, including enta…
Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
Ji Guan, Mingsheng Ying
As with classical neural networks, quantum machine learning (QML) models are vulnerable to small input perturbations that can significantly alter output predictions. Certifying the…
QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
Zihao Li, Ji Guan, Mingsheng Ying
We present a tool QSeqSim, a Qiskit-integrated symbolic backend that fills the current gap of having no Qiskit-native support for simulating while-loop quantum programs and their i…
Quantum Multi-Level Estimation of Functionals of Discrete Distributions
Kean Chen, Minbo Gao, Tongyang Li +2
We propose a quantum multi-level estimation framework for a functional of a discrete distribution . We partition the values into logarith…
Experimental robustness benchmarking of quantum neural networks on a superconducting quantum processor
Hai-Feng Zhang, Zhao-Yun Chen, Peng Wang +17
Quantum machine learning (QML) models, like their classical counterparts, are vulnerable to adversarial attacks, hindering their secure deployment. Here, we report the first system…