Self-testing memory-bounded quantum computers

• URL: http://arxiv.org/abs/2411.04215v1
• Date: Wed, 06 Nov 2024 19:23:45 GMT
• Title: Self-testing memory-bounded quantum computers
• Authors: Jan Nöller, Nikolai Miklin, Martin Kliesch, Mariami Gachechiladze,
• Abstract summary: In a single-device setup, we propose a protocol called quantum system quizzing. This protocol achieves self-testing of an entire quantum model given by state preparation, gates, and measurement in a black-box scenario. We identify sets of instructions which self-test multi-qubit universal gate sets for arbitrary numbers of qubits, delivering the first sound certification tool for memory-bounded quantum computers.
• Score: 0.1874930567916036
• License:
• Abstract: The rapid advancement of quantum computers makes it particularly important to develop methods for certifying their correct functioning. In a single-device setup, we propose a simple protocol called quantum system quizzing. This protocol achieves self-testing of an entire quantum model given by state preparation, gates, and measurement in a black-box scenario under the dimension assumption only. Due to the self-testing approach, this certification method is inherently free of state preparation and measurement errors. One of the major challenges in the single-device setup is recovering the tensor-product structure of a multi-qubit system in a black-box scenario. Our work is the first to solve this challenge without relying on computational assumptions. We achieve this by identifying deterministic input-output correlations of the target model that can only be exhibited by systems, in which individual qubits can be addressed. These input-output relations are tested on a quantum computer in each protocol round. We identify sets of instructions which self-test multi-qubit universal gate sets for arbitrary numbers of qubits, delivering the first sound certification tool for memory-bounded quantum computers.

Related papers

• Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
  A proof of quantumness is an efficiently verifiable interactive test that an efficient quantum computer can pass. Existing single-round protocols require large quantum circuits, whereas multi-round ones use smaller circuits but require experimentally challenging mid-circuit measurements. We construct efficient single-round proofs of quantumness based on existing knowledge assumptions.
  arXiv  Detail & Related papers  (2024-05-24T17:33:10Z)
• Limitations of measure-first protocols in quantum machine learning [2.209921757303168]
  We study a natural supervised learning setting where quantum states constitute data points, and the labels stem from an unknown measurement. We show that there exist problems that can be efficiently learned by fully-quantum protocols but which require exponential resources for measure-first protocols. Our result underscores the role of quantum data processing in machine learning and highlights scenarios where quantum advantages appear.
  arXiv  Detail & Related papers  (2023-11-21T14:03:29Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical. We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more. Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
  arXiv  Detail & Related papers  (2023-03-02T14:18:17Z)
• Testing quantum computers with the protocol of quantum state matching [0.0]
  The presence of noise in quantum computers hinders their effective operation. We suggest the application of the so-called quantum state matching protocol for testing purposes. For systematically varied inputs we find that the device with the smaller quantum volume performs better on our tests than the one with larger quantum volume.
  arXiv  Detail & Related papers  (2022-10-18T08:25:34Z)
• Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
  "Interactions" between a prover and a verifier can bridge the gap between verifiability and implementation. We demonstrate the first implementation of an interactive quantum advantage protocol, using an ion trap quantum computer.
  arXiv  Detail & Related papers  (2021-12-09T19:00:00Z)
• Fault-tolerant parity readout on a shuttling-based trapped-ion quantum computer [64.47265213752996]
  We experimentally demonstrate a fault-tolerant weight-4 parity check measurement scheme. We achieve a flag-conditioned parity measurement single-shot fidelity of 93.2(2)%. The scheme is an essential building block in a broad class of stabilizer quantum error correction protocols.
  arXiv  Detail & Related papers  (2021-07-13T20:08:04Z)
• Hardware-Efficient, Fault-Tolerant Quantum Computation with Rydberg Atoms [55.41644538483948]
  We provide the first complete characterization of sources of error in a neutral-atom quantum computer. We develop a novel and distinctly efficient method to address the most important errors associated with the decay of atomic qubits to states outside of the computational subspace. Our protocols can be implemented in the near-term using state-of-the-art neutral atom platforms with qubits encoded in both alkali and alkaline-earth atoms.
  arXiv  Detail & Related papers  (2021-05-27T23:29:53Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. We develop a systematic approach to device-independent verification of quantum states free of IID assumptions in the finite copy regime. We show that device-independent verification can be performed with optimal sample efficiency.
  arXiv  Detail & Related papers  (2021-05-12T17:48:04Z)
• Self-testing of a single quantum device under computational assumptions [7.716156977428555]
  Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations. We replace the setting of multiple non-communicating parties, which is difficult to enforce in practice, by a single computationally bounded party.
  arXiv  Detail & Related papers  (2020-01-24T19:00:15Z)
• Experimental characterisation of unsharp qubit observables and sequential measurement incompatibility via quantum random access codes [0.0]
  We report an experimental implementation of unsharp qubit measurements in a sequential communication protocol. The protocol involves three parties; the first party prepares a qubit system, the second party performs operations which return a classical and quantum outcome, and the latter is measured by the third party.
  arXiv  Detail & Related papers  (2020-01-14T13:37:04Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.