Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Computing with Coloured Tangles   We suggest a diagrammatic model of computation based on an axiom of
distributivity. A diagram of a decorated coloured tangle, similar to those that
appear in low dimensional topology, plays the role of a circuit diagram.
Equivalent diagrams represent bisimilar computations. We prove that our model
of computation is Turing complete, and that with bounded resources it can
moreover decide any language in complexity class IP, sometimes with better
performance parameters than corresponding classical protocols.

22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an