Machine learning discovers invariants of braids and flat braids
We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer perceptrons). When they achieve good results in classification, we are able to interpret their structure as mathematical conjectures and then prove these conjectures as theorems. As a result, we find new convenient invariants of braids, including a complete invariant of flat braids.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Untangling Braids with Multi-agent Q-Learning
We use reinforcement learning to tackle the problem of untangling braids. We experiment with braids with 2 and 3 strands. Two competing players learn to tangle and untangle a braid. We interface the braid untangling prob…
OpenAI GymQ-Learningreinforcement-learningReinforcement Learning+1An application of neural networks to a problem in knot theory and group theory (untangling braids)
We report on our success on solving the problem of untangling braids up to length 20 and width 4. We use feed-forward neural networks in the framework of reinforcement learning to train the agent to choose Reidemeister m…
reinforcement-learningReinforcement LearningReinforcement Learning (RL)From Constraints to Resolution Rules, Part II: chains, braids, confluence and T&E
In this Part II, we apply the general theory developed in Part I to a detailed analysis of the Constraint Satisfaction Problem (CSP). We show how specific types of resolution rules can be defined. In particular, we intro…
A probabilistic evolutionary optimization approach to compute quasiparticle braids
Topological quantum computing is an alternative framework for avoiding the quantum decoherence problem in quantum computation. The problem of executing a gate in this framework can be posed as the problem of braiding qua…
Implicit Multiagent Coordination at Unsignalized Intersections via Multimodal Inference Enabled by Topological Braids
We focus on navigation among rational, non-communicating agents at unsignalized street intersections. Following collision-free motion under such settings demands nuanced implicit coordination among agents. Often, the str…
Decision MakingTrajectory Prediction