Detecting Violations of Differential Privacy for Quantum Algorithms
arXiv:2309.04819 · doi:10.1145/3576915.3623108
Abstract
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 scoring. The concern about privacy and other ethical issues in quantum computing naturally rises up. In this paper, we define a formal framework for detecting violations of differential privacy for quantum algorithms. A detection algorithm is developed to verify whether a (noisy) quantum algorithm is differentially private and automatically generate bugging information when the violation of differential privacy is reported. The information consists of a pair of quantum states that violate the privacy, to illustrate the cause of the violation. Our algorithm is equipped with Tensor Networks, a highly efficient data structure, and executed both on TensorFlow Quantum and TorchQuantum which are the quantum extensions of famous machine learning platforms -- TensorFlow and PyTorch, respectively. The effectiveness and efficiency of our algorithm are confirmed by the experimental results of almost all types of quantum algorithms already implemented on realistic quantum computers, including quantum supremacy algorithms (beyond the capability of classical algorithms), quantum machine learning models, quantum approximate optimization algorithms, and variational quantum eigensolvers with up to 21 quantum bits.
References in corpus (25)
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Deep Learning with Differential Privacy
- Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms
- A variational eigenvalue solver on a quantum processor
- Quantum algorithm for solving linear systems of equations
- Quantum computational advantage using photons
- Quantum support vector machine for big data classification
- Quantum Convolutional Neural Networks
- Characterizing Quantum Supremacy in Near-Term Devices
- Explaining Machine Learning Classifiers through Diverse Counterfactual Explanations
- Hartree-Fock on a superconducting qubit quantum computer
- Quantum generative adversarial networks
- Simulating quantum computation by contracting tensor networks
- Quantum Approximate Optimization of Non-Planar Graph Problems on a Planar Superconducting Processor
- Quantum reinforcement learning
- Hand-waving and Interpretive Dance: An Introductory Course on Tensor Networks
- QuantumNAS: Noise-Adaptive Search for Robust Quantum Circuits
- Quantum noise protects quantum classifiers against adversaries
- Quantum machine learning for quantum anomaly detection
- Detecting Violations of Differential Privacy
- Proving Differential Privacy via Probabilistic Couplings
- An Abstraction-Based Framework for Neural Network Verification
- Proving differential privacy in Hoare logic
- Advanced Probabilistic Couplings for Differential Privacy
- Robustness Verification of Quantum Classifiers