2015
DOI: 10.3390/sym7031289
|View full text |Cite
|
Sign up to set email alerts
|

Computing with Colored Tangles

Abstract: Abstract:We suggest a diagrammatic model of computation based on an axiom of distributivity. A diagram of a decorated colored 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 with bounded resources that it can decide any language in complexity class IP, sometimes with better performance parameters than corresponding classical protocols.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
9
0

Year Published

2017
2017
2021
2021

Publication Types

Select...
4
1

Relationship

1
4

Authors

Journals

citations
Cited by 5 publications
(9 citation statements)
references
References 61 publications
0
9
0
Order By: Relevance
“…The inequalities reflecting the cryptographic principle contain a quantity defined in quantum mechanics, and the principle cannot immediately exclude postquantum correlations by itself, but tells us a way to determine the quantum boundaries. Note that a similar principle for a different type of randomness was considered in [20].…”
Section: Introductionmentioning
confidence: 99%
“…The inequalities reflecting the cryptographic principle contain a quantity defined in quantum mechanics, and the principle cannot immediately exclude postquantum correlations by itself, but tells us a way to determine the quantum boundaries. Note that a similar principle for a different type of randomness was considered in [20].…”
Section: Introductionmentioning
confidence: 99%
“…The operation together with the set Q = {0, 1, 2} induce a quandle algebra [12], [13]. Consider a set Q together with a set B of binary operations from Q×Q to Q with the following properties:…”
Section: Computational Capabilitiesmentioning
confidence: 99%
“…In particular, it can realize a universal set of Boolean gates, AND and NOT, as well as wire elements for transferring information from a given cell to any other cell. This automaton is also shown to capture trinary logic described by a quandle, a non-associative algebraic structure whose axioms have been interpreted as laws of conservation of information [12], [13].…”
Section: Introductionmentioning
confidence: 99%
“…In general, if one message can uniquely be recovered from another by using the quandle axioms and an automorphism of (Q(M), B(M)), the two messages are said to be confused. This same notion was called a tangle machine computation in [7].…”
Section: 4mentioning
confidence: 99%
“…no local knotting) but are still complicated enough to be interesting. The theory of coloured versions of such foams is equivalent to a construction that was used by the authors to topologically model fusion of information and as a model for computation [4,5,7], and it is this that is our main motivation.We describe the contents of this paper. Section 2 defines Inca foams which Section 3 describes in five (5) different diagrammatic ways.…”
mentioning
confidence: 99%