-
Gauss diagrams as cubic graphs: The choice of the Hamiltonian cycle matters
Authors:
Alexei Vernitski
Abstract:
We explore to what extent the properties of a Gauss diagram are affected by the choice of its Hamiltonian cycle. We present an example of a realizable Gauss diagram and an unrealizable Gauss diagram that differ only by a choice of the Hamiltonian cycle. We present an example of two Gauss diagrams that correspond to different curves and differ only by a choice of the Hamiltonian cycle. We prove tha…
▽ More
We explore to what extent the properties of a Gauss diagram are affected by the choice of its Hamiltonian cycle. We present an example of a realizable Gauss diagram and an unrealizable Gauss diagram that differ only by a choice of the Hamiltonian cycle. We present an example of two Gauss diagrams that correspond to different curves and differ only by a choice of the Hamiltonian cycle. We prove that a certain natural type of change of the Hamiltonian cycle preserves the realizability of the Gauss diagram.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Groups of permutations preserving orientation (parity) of subsets of a fixed size
Authors:
Alexei Vernitski
Abstract:
We study permutations on $n$ elements preserving orientation (parity) of every subset of size $k$. We describe all groups of these permutations. Unexpectedly, these groups (except some special cases) are either trivial or cyclic or dihedral. We produce these results while defining semigroups generalizing semigroups of order-preserving map**s and semigroups of orientation-preserving map**s.
We study permutations on $n$ elements preserving orientation (parity) of every subset of size $k$. We describe all groups of these permutations. Unexpectedly, these groups (except some special cases) are either trivial or cyclic or dihedral. We produce these results while defining semigroups generalizing semigroups of order-preserving map**s and semigroups of orientation-preserving map**s.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Automated reasoning for proving non-orderability of groups
Authors:
Alexei Lisitsa,
Zipei Nie,
Alexei Vernitski
Abstract:
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, torsions, generalised torsions and cofinal elements.
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, torsions, generalised torsions and cofinal elements.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Machine learning discovers invariants of braids and flat braids
Authors:
Alexei Lisitsa,
Mateo Salles,
Alexei Vernitski
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 July, 2023;
originally announced July 2023.
-
Describing realizable Gauss diagrams using the concepts of parity or bipartate graphs
Authors:
Alexei Lisitsa,
Viktor Lopatkin,
Alexei Vernitski
Abstract:
Two recent publications describe realizable Gauss diagrams using conditions stating that the number of chords in certain sets of chords is even or odd. We demonstrate that these descriptions are incorrect by finding multiple counter-examples. However, the idea of having a parity-based description of realizable Gauss diagrams is attractive. We recall that realizability of Gauss diagrams as touch cu…
▽ More
Two recent publications describe realizable Gauss diagrams using conditions stating that the number of chords in certain sets of chords is even or odd. We demonstrate that these descriptions are incorrect by finding multiple counter-examples. However, the idea of having a parity-based description of realizable Gauss diagrams is attractive. We recall that realizability of Gauss diagrams as touch curves can be described via bipartite graphs. We show that realizable Gauss diagrams can be described via bipartite graphs.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
An application of neural networks to a problem in knot theory and group theory (untangling braids)
Authors:
Alexei Lisitsa,
Mateo Salles,
Alexei Vernitski
Abstract:
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 moves to untangle braids in the minimal number of moves.
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 moves to untangle braids in the minimal number of moves.
△ Less
Submitted 10 June, 2022;
originally announced June 2022.
-
Orientation-preserving and orientation-reversing map**s: a new description
Authors:
Peter M. Higgins,
Alexei Vernitski
Abstract:
We characterise the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle.
We characterise the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle.
△ Less
Submitted 15 January, 2022;
originally announced January 2022.
-
A blind spot in undergraduate mathematics: The circular definition of the length of the circle, and how it can be turned into an enlightening example
Authors:
Alexei Vernitski
Abstract:
We highlight the fact that in undergraduate calculus, the number pi is defined via the length of the circle, the length of the circle is defined as a certain value of an inverse trigonometric function, and this value is defined via pi, thus forming a circular definition. We present a way in which this error can be rectified. We explain that this error is instructive and can be used as an enlighten…
▽ More
We highlight the fact that in undergraduate calculus, the number pi is defined via the length of the circle, the length of the circle is defined as a certain value of an inverse trigonometric function, and this value is defined via pi, thus forming a circular definition. We present a way in which this error can be rectified. We explain that this error is instructive and can be used as an enlightening topic for discussing different approaches to mathematics with undergraduate students.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Untangling Braids with Multi-agent Q-Learning
Authors:
Abdullah Khan,
Alexei Vernitski,
Alexei Lisitsa
Abstract:
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 problem with the OpenAI Gym environment, a widely used way of connecting agents to reinforcement learning problems. The results provide evidence that the more we train the system, the…
▽ More
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 problem with the OpenAI Gym environment, a widely used way of connecting agents to reinforcement learning problems. The results provide evidence that the more we train the system, the better the untangling player gets at untangling braids. At the same time, our tangling player produces good examples of tangled braids.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Circle graphs (chord interlacement graphs) of Gauss diagrams: Descriptions of realizable Gauss diagrams, algorithms, enumeration
Authors:
Abdullah Khan,
Alexei Lisitsa,
Viktor Lopatkin,
Alexei Vernitski
Abstract:
Chord diagrams, under the name of Gauss diagrams, are used in low-dimensional topology as an important tool for studying curves or knots. Those Gauss diagrams that correspond to curves or knots are called realizable. The theme of our paper is the fact that realizability of a Gauss diagram can be expressed via its circle graph. Accordingly, one can define and study realizable circle graphs (with re…
▽ More
Chord diagrams, under the name of Gauss diagrams, are used in low-dimensional topology as an important tool for studying curves or knots. Those Gauss diagrams that correspond to curves or knots are called realizable. The theme of our paper is the fact that realizability of a Gauss diagram can be expressed via its circle graph. Accordingly, one can define and study realizable circle graphs (with realizability of a circle graph understood as realizability of any one of chord diagrams corresponding to the graph). Several studies contain theorems purporting to prove the fact. We check several of these descriptions experimentally and find counterexamples to the descriptions of realizable Gauss diagrams in some of these publications. We formulate new descriptions of realizable circle graphs and present an elegant algorithm for checking if a circle graph is realizable. We enumerate realizable circle graphs for small sizes and comment on these numbers. Then we concentrate on one type of curves, called meanders, and study the circle graphs of their Gauss diagrams.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Experimental Mathematics Approach to Gauss Diagrams Realizability
Authors:
A. Khan,
A. Lisitsa,
A. Vernitski
Abstract:
A Gauss diagram (or, more generally, a chord diagram) consists of a circle and some chords inside it. Gauss diagrams are a well-established tool in the study of topology of knots and of planar and spherical curves. Not every Gauss diagram corresponds to a knot (or an immersed curve); if it does, it is called realizable. A classical question of computational topology asked by Gauss himself is which…
▽ More
A Gauss diagram (or, more generally, a chord diagram) consists of a circle and some chords inside it. Gauss diagrams are a well-established tool in the study of topology of knots and of planar and spherical curves. Not every Gauss diagram corresponds to a knot (or an immersed curve); if it does, it is called realizable. A classical question of computational topology asked by Gauss himself is which chords diagrams are realizable. An answer was first discovered in the 1930s by Dehn, and since then many efficient algorithms for checking realizability of Gauss diagrams have been developed. Recent studies in Grinblat-Lopatkin (2018,2020) and Biryukov (2019) formulated especially simple conditions related to realizability which are expressible in terms of parity of chords intersections. The simple form of these conditions opens an opportunity for experimental investigation of Gauss diagrams using constraint satisfaction and related techniques. In this paper we report on our experiments with Gauss diagrams of small sizes (up to 11 chords) using implementations of these conditions and other algorithms in logic programming language Prolog. In particular, we found a series of counterexamples showing that that realizability criteria established by Grinblat and Lopatkin (2018,2020) and Biryukov (2019) are not completely correct.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
A new formulation of the semigroup of orientation-preserving and orientation-reversing map**s
Authors:
Peter M. Higgins,
Alexei Vernitski
Abstract:
We characterize the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle.
We characterize the respective semigroups of map**s that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all map**s that preserve intersections of chords on the corresponding circle.
△ Less
Submitted 15 January, 2022; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Encoding shortest paths in graphs assuming the code is queried using bit-wise comparison
Authors:
Gokce Caylak Kayaturan,
Alexei Vernitski
Abstract:
One model of message delivery in a computer network is based on labelling each edge by a subset of a (reasonably small) universal set, and then encoding a path as the union of the labels of its edges. Earlier work suggested using random edge labels, and that approach has a disadvantage of producing errors (false positives). We demonstrate that if we make an assumption about the shape of the networ…
▽ More
One model of message delivery in a computer network is based on labelling each edge by a subset of a (reasonably small) universal set, and then encoding a path as the union of the labels of its edges. Earlier work suggested using random edge labels, and that approach has a disadvantage of producing errors (false positives). We demonstrate that if we make an assumption about the shape of the network (in this paper we consider networks with a dense core and a tree-like periphery) and assume that messages are delivered along shortest paths, we can label edges in a way which prevents any false positives.
△ Less
Submitted 25 June, 2018;
originally announced June 2018.
-
Efficient Adaptive Implementation of the Serial Schedule Generation Scheme using Preprocessing and Bloom Filters
Authors:
Daniel Karapetyan,
Alexei Vernitski
Abstract:
The majority of scheduling metaheuristics use indirect representation of solutions as a way to efficiently explore the search space. Thus, a crucial part of such metaheuristics is a "schedule generation scheme" -- procedure translating the indirect solution representation into a schedule. Schedule generation scheme is used every time a new candidate solution needs to be evaluated. Being relatively…
▽ More
The majority of scheduling metaheuristics use indirect representation of solutions as a way to efficiently explore the search space. Thus, a crucial part of such metaheuristics is a "schedule generation scheme" -- procedure translating the indirect solution representation into a schedule. Schedule generation scheme is used every time a new candidate solution needs to be evaluated. Being relatively slow, it eats up most of the running time of the metaheuristic and, thus, its speed plays significant role in performance of the metaheuristic. Despite its importance, little attention has been paid in the literature to efficient implementation of schedule generation schemes. We give detailed description of serial schedule generation scheme, including new improvements, and propose a new approach for speeding it up, by using Bloom filters. The results are further strengthened by automated control of parameters. Finally, we employ online algorithm selection to dynamically choose which of the two implementations to use. This hybrid approach significantly outperforms conventional implementation on a wide range of instances.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
Ranks of ideals in inverse semigroups of difunctional binary relations
Authors:
James East,
Alexei Vernitski
Abstract:
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 and Maltcev (2011), which asks: What is the rank (smallest size of a generating set) of D_n? Specifically, we show that the rank of D_n is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary…
▽ More
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 and Maltcev (2011), which asks: What is the rank (smallest size of a generating set) of D_n? Specifically, we show that the rank of D_n is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary ideal of D_n. Although D_n bears many similarities with families such as the full transformation semigroups and symmetric inverse semigroups (all contain the symmetric group and have a chain of J-classes), we note that the fast growth of rank(D_n) as a function of n is a property not shared with these other families.
△ Less
Submitted 15 December, 2016;
originally announced December 2016.
-
Yes-no Bloom filter: A way of representing sets with fewer false positives
Authors:
Laura Carrea,
Alexei Vernitski,
Martin Reed
Abstract:
The Bloom filter (BF) is a space efficient randomized data structure particularly suitable to represent a set supporting approximate membership queries. BFs have been extensively used in many applications especially in networking due to their simplicity and flexibility. The performances of BFs mainly depends on query overhead, space requirements and false positives. The aim of this paper is to foc…
▽ More
The Bloom filter (BF) is a space efficient randomized data structure particularly suitable to represent a set supporting approximate membership queries. BFs have been extensively used in many applications especially in networking due to their simplicity and flexibility. The performances of BFs mainly depends on query overhead, space requirements and false positives. The aim of this paper is to focus on false positives. Inspired by the recent application of the BF in a novel multicast forwarding fabric for information centric networks, this paper proposes the yes-no BF, a new way of representing a set, based on the BF, but with significantly lower false positives and no false negatives. Although it requires slightly more processing at the stage of its formation, it offers the same processing requirements for membership queries as the BF. After introducing the yes-no BF, we show through simulations, that it has better false positive performance than the BF.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.