Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The membership problem for constant-sized quantum correlations is
  undecidable   When two spatially separated parties make measurements on an unknown
entangled quantum state, what correlations can they achieve? How difficult is
it to determine whether a given correlation is a quantum correlation? These
questions are central to problems in quantum communication and computation.
Previous work has shown that the general membership problem for quantum
correlations is computationally undecidable. In the current work we show
something stronger: there is a family of constant-sized correlations -- that
is, correlations for which the number of measurements and number of measurement
outcomes are fixed -- such that solving the quantum membership problem for this
family is computationally impossible. Thus, the undecidability that arises in
understanding Bell experiments is not dependent on varying the number of
measurements in the experiment. This places strong constraints on the types of
descriptions that can be given for quantum correlation sets. Our proof is based
on a combination of techniques from quantum self-testing and from
undecidability results of the third author for linear system nonlocal games.

21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol