Self-testing memory-bounded quantum computers - INSPIRE

DataBETA

Self-testing memory-bounded quantum computers

Jan Nöller
(
- Darmstadt, Tech. U.
)
,
Nikolai Miklin
(
- Waterloo U., IQC
)
,
Martin Kliesch
(
- Waterloo U., IQC
)
,
Mariami Gachechiladze
(
- Darmstadt, Tech. U.
)

Nov 6, 2024

20 pages

e-Print:

2411.04215 [quant-ph]

View in:

ADS Abstract Service

reference search0 citations

Citations per year

0 Citations

Abstract: (arXiv)

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.

Note:

20 pages, 1 figure, comments are welcome

References(46)

Figures(1)

[1]

Quantum certification and benchmarking

Jens Eisert
(
- Freie U., Berlin and
- Helmholtz-Zentrum, Berlin
)
,
Dominik Hangleiter
(
- Freie U., Berlin
)
,
Nathan Walk
(
- Freie U., Berlin
)
,
Ingo Roth
(
- Freie U., Berlin
)
,
Damian Markham

et al.

- Nature Rev.Phys. 2 (2020) 7, 382-390
•
DOI:
- 10.1038/s42254-020-0186-4

[2]

Theory of quantum system certification

[3]

Efficient verification of quantum processes

- Phys.Rev.A 101 (2020) 042315
•
e-Print:
- 1910.13730
•
DOI:
- 10.1103/PhysRevA.101.042315

[4]

Quantum-process tomography: Resource analysis of different strategies

- Phys.Rev.A 77 (2008) 3, 032322
•
DOI:
- 10.1103/PhysRevA.77.032322

[5]

Scalable noise estimation with random unitary operators

- J.Opt.B 7 (2005) 10, S347
•
DOI:
- 10.1088/1464-4266/7/10/021

[6]

Efficient error characterization in quantum information processing

Cecilia C. Lopez

- Phys.Rev.A 75 (2007) 022314
•
e-Print:
- quant-ph/0608246
•
DOI:
- 10.1103/PhysRevA.75.022314

[7]

Symmetrized Characterization of Noisy Quantum Processes

Joseph Emerson
(
- Waterloo U., Math. Dept. and
- Waterloo U., IQC
)
,
Marcus Silva
(
- Waterloo U., IQC and
- Waterloo U.
)
,
Osama Moussa
(
- Waterloo U., IQC and
- Waterloo U.
)
,
Colm Ryan
(
- Waterloo U., IQC and
- Waterloo U.
)
,
Martin Laforest
(
- Waterloo U., IQC and
- Waterloo U.
)

et al.

- Science 317 (2007) 5846, 1893-1896
•
DOI:
- 10.1126/science.1145699

[8]

Randomized benchmarking of quantum gates

et al.

- Phys.Rev.A 77 (2008) 1, 012307
•
DOI:
- 10.1103/PhysRevA.77.012307

[9]

Exact and approximate unitary 2-designs and their application to fidelity estimation

Christoph Dankert
(
- Waterloo U., IQC
)
,
Richard Cleve
(
- Waterloo U., IQC and
- Perimeter Inst. Theor. Phys.
)
,
Joseph Emerson
(
- Waterloo U., IQC
)
,
Etera Livine
(
- Perimeter Inst. Theor. Phys.
)

- Phys.Rev.A 80 (2009) 1, 012304
•
DOI:
- 10.1103/PhysRevA.80.012304

[10]

General Framework for Randomized Benchmarking

Jonas Helsen
(
- Amsterdam U., Inst. Math.
)
,
Ingo Roth
(
- Technol. Innovation Inst., UAE and
- Freie U., Berlin
)
,
Emilio Onorati
(
- U. Coll. London
)
,
Albert H. Werner
(
- Bohr Inst.
)
,
Jens Eisert
(
- Freie U., Berlin and
- Helmholtz-Zentrum, Berlin
)

- PRX Quantum 3 (2022) 2, 020357
•
e-Print:
- 2010.07974
•
DOI:
- 10.1103/PRXQuantum.3.020357

[11]

see bibitem heinrich22generalguarantees

[12]

Self-consistent quantum process tomography

Seth T. Merkel
(
- IBM Watson Res. Ctr.
)
,
Jay M. Gambetta
(
- IBM Watson Res. Ctr.
)
,
John A. Smolin
(
- IBM Watson Res. Ctr.
)
,
Stefano Poletto
(
- IBM Watson Res. Ctr.
)
,
Antonio D. Córcoles
(
- IBM Watson Res. Ctr.
)

et al.

- Phys.Rev.A 87 (2013) 6, 062119
•
DOI:
- 10.1103/PhysRevA.87.062119

[13]

Robust, self-consistent, closed-form tomography of quantum logic gates on a trapped ion qubit

Robin Blume-Kohout
(
- Sandia, Livermore
)
,
John King Gamble
(
- Sandia, Livermore
)
,
Erik Nielsen
(
- Sandia, Livermore
)
,
Jonathan Mizrahi
(
- Sandia, Livermore
)
,
Jonathan D. Sterk
(
- Sandia, Livermore
)

et al.

e-Print:
- 1310.4492

[14]

Gate Set Tomography

Erik Nielsen
(
- Sandia
)
,
John King Gamble
(
- Unlisted
)
,
Kenneth Rudinger
(
- Sandia
)
,
Travis Scholten
(
- IBM Watson Res. Ctr.
)
,
Kevin Young
(
- Sandia
)

et al.

- Quantum 5 (2021) 557
•
e-Print:
- 2009.07301
•
DOI:
- 10.22331/q-2021-10-05-557

[15]

Compressive Gate Set Tomography

- PRX Quantum 4 (2023) 1, 010325
•
e-Print:
- 2112.05176
•
DOI:
- 10.1103/PRXQuantum.4.010325

[16]

Self testing quantum apparatus

Dominic Mayers
(
- Caltech
)
,
Andrew Yao
(
- Princeton U.
)

- Quant.Inf.Comput. 4 (2004) 4, 273-286
•
e-Print:
- quant-ph/0307205
•
DOI:
- 10.26421/QIC4.4-3

[17]

Self-testing of quantum systems: a review

Ivan Šupić
(
- Geneva U.
)
,
Joseph Bowles
(
- ICFO, Barcelona
)

- Quantum 4 (2020) 337
•
e-Print:
- 1904.10042
•
DOI:
- 10.22331/q-2020-09-30-337

[18]

Certifying the Building Blocks of Quantum Computers from Bell’s Theorem

Pavel Sekatski
(
- Basel U. and
- Innsbruck U.
)
,
Jean-Daniel Bancal
(
- Basel U.
)
,
Sebastian Wagner
(
- Basel U.
)
,
Nicolas Sangouard
(
- Basel U.
)

- Phys.Rev.Lett. 121 (2018) 18, 180505
•
DOI:
- 10.1103/PhysRevLett.121.180505

[19]

Distillation of secret key and entanglement from quantum states

Society A

[20]

Randomness versus Nonlocality and Entanglement

- Phys.Rev.Lett. 108 (2012) 10, 100402
•
DOI:
- 10.1103/PhysRevLett.108.100402

[21]

Which states violate bell’s inequality maximally?

- Phys.Lett.A 169 (1992) 411-414
•
- http://dx.doi.org/ https://doi.org/10.1016/0375-9601(92)90819-8

[22]

Robust selftesting of unknown quantum systems into any entangled two-qubit states

- Phys.Rev.A 87 (2013) 050102
•
DOI:
- 10.1103/PhysRevA.87.050102

[23]

Robust and versatile black-box certification of quantum devices

- Phys.Rev.Lett. 113 (2014) 040401
•
DOI:
- 10.1103/PhysRevLett.113.040401

[24]

Physical characterization of quantum devices from nonlocal correlations

- Phys.Rev.A 91 (2015) 022115
•
DOI:
- 10.1103/PhysRevA.91.022115

[25]

Robust self-testing of two-qubit states

- Phys.Rev.A 99 (2019) 052123
•
- http://dx.doi.org/ 10.1103/PhysRevA.99.052123

1-25 of 46
1
2
25 / page