Experimental verification of quantum computations
arXiv:1309.0005 · doi:10.1038/nphys2763
Abstract
Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens up new fundamental questions, among them the issue whether or not quantum computations can be certified by entities that are inherently unable to compute the results themselves. Here we present the first experimental verification of quantum computations. We show, in theory and in experiment, how a verifier with minimal quantum resources can test a significantly more powerful quantum computer. The new verification protocol introduced in this work utilizes the framework of blind quantum computing and is independent of the experimental quantum-computation platform used. In our scheme, the verifier is only required to generate single qubits and transmit them to the quantum computer. We experimentally demonstrate this protocol using four photonic qubits and show how the verifier can test the computer's ability to perform measurement-based quantum computations.
References in corpus (3)
Cited by in corpus (77)
- Advances in Quantum Cryptography
- Photonic quantum information processing: a review
- Efficient experimental validation of photonic boson sampling against the uniform distribution
- Experimental Quantum Hamiltonian Learning
- Quantum Cryptography Beyond Quantum Key Distribution
- On the experimental verification of quantum complexity in linear optics
- Verifiable measurement-only blind quantum computing with stabilizer testing
- Quantum Sampling Problems, BosonSampling and Quantum Supremacy
- Verification of quantum computation: An overview of existing approaches
- Experimental Verification of Multipartite Entanglement in Quantum Networks
- Robustness and device independence of verifiable blind quantum computing
- Quantum Algorithmic Measurement
- Experimental Blind Quantum Computing for a Classical Client
- Post hoc verification with a single prover
- Post hoc verification of quantum computation
- How "Quantum" is the D-Wave Machine?
- Theoretical and Experimental Perspectives of Quantum Verification
- Experimental statistical signature of many-body quantum interference
- Demonstration of measurement-only blind quantum computing
- The effect of noise correlations on randomized benchmarking
- Limitations on information theoretically secure quantum homomorphic encryption
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Quantum homomorphic encryption from quantum codes
- Practical quantum computing on encrypted data
- Quantum fully homomorphic encryption scheme based on universal quantum circuit
- How to Verify a Quantum Computation
- Self-guaranteed measurement-based quantum computation
- A quantum approach to homomorphic encryption
- A review on quantum information processing in cavities
- Verifiable blind quantum computing with trapped ions and single photons
- Overcoming efficiency constraints on blind quantum computation
- Blind quantum computation over a collective-noise channel
- Securing Quantum Computations in the NISQ Era
- Device-Independent Verifiable Blind Quantum Computation
- Optimised resource construction for verifiable quantum computation
- Measurement-based entanglement of noninteracting bosonic atoms
- Accrediting outputs of noisy intermediate-scale quantum computing devices
- Measurement-only verifiable blind quantum computing with quantum input verification
- Universal distributed blind quantum computing with solid-state qubits
- Multi-client distributed blind quantum computation with the Qline architecture
- Experimental preparation and verification of quantum money
- Improving the stimulated Raman adiabatic passage via dissipative quantum dynamics
- qBitcoin: A Peer-to-Peer Quantum Cash System
- Efficient quantum pseudorandomness with simple graph states
- Remote blind state preparation with weak coherent pulses in the field
- Flow Ambiguity: A Path Towards Classically Driven Blind Quantum Computation
- Robust and efficient verification of graph states in blind measurement-based quantum computation
- Genuine multipartite entanglement detection with imperfect measurements: concept and experiment
- Inverse engineering rigorous adiabatic Hamiltonian for non-Hermitian system
- How to test the "quantumness" of a quantum computer?
- Acausal measurement-based quantum computing
- Derandomizing quantum circuits with measurement based unitary designs
- Quantum cryptography beyond key distribution: theory and experiment
- Deploying hybrid quantum-secured infrastructure for applications: When quantum and post-quantum can work together
- Quantum verification of NP problems with single photons and linear optics
- Experimental verifiable multi-client blind quantum computing on a Qline architecture
- Client-friendly continuous-variable blind and verifiable quantum computing
- A proposal for the implementation of quantum gates in an optomechanical system via phonon blockade
- Verifiable Quantum Secure Modulo Summation
- Classical verification of quantum circuits containing few basis changes
- An Overview of CV-MDI-QKD
- Cross-verification of independent quantum devices
- Engineering of Quantum State by Time-Dependent Decoherence-Free Subspaces
- A Specification Format and a Verification Method of Fault-Tolerant Quantum Circuits
- Blind Oracular Quantum Computation
- Verified Delegated Quantum Computing with One Pure Qubit
- Experimental characterization of a non-local convertor for quantum photonic networks
- Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center
- Testing honesty of quantum server
- Quantum-secure multiparty deep learning
- Impossibility of blind quantum sampling for classical client
- Blind quantum computing can always be made verifiable
- Parallel remote state preparation for fully device-independent verifiable blind quantum computation
- Accreditation Against Limited Adversarial Noise
- Verifiable cloud-based variational quantum algorithms
- The QTF-Backbone: Proposal for a Nationwide Optical Fibre Backbone in Germany for Quantum Technology and Time and Frequency Metrology
- Optical Quantum Computing