3 papers
math.GT2023
Automated reasoning for proving non-orderability of groups
Alexei Lisitsa, Zipei Nie, Alexei Vernitski
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, to…
math.GT2023
Machine learning discovers invariants of braids and flat braids
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
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 percep…
math.GR2016
Ranks of ideals in inverse semigroups of difunctional binary relations
James East, Alexei Vernitski
The set D_n of all difunctional relations on an n element set is an inverse semigroup under a variation of the usual composition operation. We solve an open problem of Kudryavtseva…