Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Computational Status of Physics: A Computable Formulation of Quantum
  Theory   According to the Church-Turing Thesis (CTT), effective formal behaviours can
be simulated by Turing machines; this has naturally led to speculation that
physical systems can also be simulated computationally. But is this wider claim
true, or do behaviours exist which are strictly hypercomputational? Several
idealised computational models are known which suggest the possibility of
hypercomputation, some Newtonian, some based on cosmology, some on quantum
theory. While these models' physicality is debatable, they nonetheless throw
into question the validity of extending CTT to include all physical systems. We
consider the physicality of hypercomputational behaviour from first principles,
by showing that quantum theory can be reformulated in a way that explains why
physical behaviours can be regarded as 'computing something' in the standard
computational state-machine sense. While this does not rule out the physicality
of hypercomputation, it strongly limits the forms it can take. Our model also
has physical consequences; in particular, the continuity of motion and arrow of
time become theorems within the basic model.

5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
2
The categories of this paper are: math
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas