Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quantum superiority for verifying NP-complete problems with linear
  optics   Demonstrating quantum superiority for some computational task will be a
milestone for quantum technologies and would show that computational advantages
are possible not only with a universal quantum computer but with simpler
physical devices. Linear optics is such a simpler but powerful platform where
classically-hard information processing tasks, such as Boson Sampling, can be
in principle implemented. In this work, we study a fundamentally different type
of computational task to achieve quantum superiority using linear optics,
namely the task of verifying NP-complete problems. We focus on a protocol by
Aaronson et al. (2008) that uses quantum proofs for verification. We show that
the proof states can be implemented in terms of a single photon in an equal
superposition over many optical modes. Similarly, the tests can be performed
using linear-optical transformations consisting of a few operations: a global
permutation of all modes, simple interferometers acting on at most four modes,
and measurement using single-photon detectors. We also show that the protocol
can tolerate experimental imperfections.

22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
1
The categories of this paper are: cs
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys