Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Theoretical and Experimental Perspectives of Quantum Verification   In this perspective we discuss verification of quantum devices in the context
of specific examples, formulated as proposed experiments. Our first example is
verification of analog quantum simulators as Hamiltonian learning, where the
input Hamiltonian as design goal is compared with the parent Hamiltonian for
the quantum states prepared on the device. The second example discusses
cross-device verification on the quantum level, i.e. by comparing quantum
states prepared on different quantum devices. We focus in particular on
protocols using randomized measurements, and we propose establishing a central
data repository, where existing experimental devices and platforms can be
compared. In our final example, we address verification of the output of a
quantum device from a computer science perspective, addressing the question of
how a user of a quantum processor can be certain about the correctness of its
output, and propose minimal demonstrations on present day devices.

21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th