Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Rational proofs for quantum computing   It is an open problem whether a classical client can delegate quantum
computing to an efficient remote quantum server in such a way that the
correctness of quantum computing is somehow guaranteed. Several protocols for
verifiable delegated quantum computing have been proposed, but the client is
not completely free from any quantum technology: the client has to generate or
measure single-qubit states. In this paper, we show that the client can be
completely classical if the server is rational (i.e., economically motivated),
following the "rational proofs" framework of Azar and Micali. More precisely,
we consider the following protocol. The server first sends the client a message
allegedly equal to the solution of the problem that the client wants to solve.
The client then gives the server a monetary reward whose amount is calculated
in classical probabilistic polynomial-time by using the server's message as an
input. The reward function is constructed in such a way that the expectation
value of the reward (the expectation over the client's probabilistic computing)
is maximum when the server's message is the correct solution to the problem.
The rational server who wants to maximize his/her profit therefore has to send
the correct solution to the client.

20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin