Knots as processes: a new kind of invariant
L.G. Meredith, David F. Snyder
TL;DR
This paper introduces a novel method of representing knots as processes in the {\
Contribution
It presents a new encoding of knots into the {\
Findings
Knots are ambient isotopic iff their process encodings are weakly bisimilar.
Provides a bridge between knot theory and process calculi.
Enables analysis of knots using process algebra techniques.
Abstract
We exhibit an encoding of knots into processes in the {\pi}-calculus such that knots are ambient isotopic if and only their encodings are weakly bisimilar.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Logic, programming, and type systems · Logic, Reasoning, and Knowledge