-
Analysis of LiDAR Configurations on Off-road Semantic Segmentation Performance
Authors:
**hee Yu,
**gdao Chen,
Lalitha Dabbiru,
Christopher T. Goodin
Abstract:
This paper investigates the impact of LiDAR configuration shifts on the performance of 3D LiDAR point cloud semantic segmentation models, a topic not extensively studied before. We explore the effect of using different LiDAR channels when training and testing a 3D LiDAR point cloud semantic segmentation model, utilizing Cylinder3D for the experiments. A Cylinder3D model is trained and tested on si…
▽ More
This paper investigates the impact of LiDAR configuration shifts on the performance of 3D LiDAR point cloud semantic segmentation models, a topic not extensively studied before. We explore the effect of using different LiDAR channels when training and testing a 3D LiDAR point cloud semantic segmentation model, utilizing Cylinder3D for the experiments. A Cylinder3D model is trained and tested on simulated 3D LiDAR point cloud datasets created using the Mississippi State University Autonomous Vehicle Simulator (MAVS) and 32, 64 channel 3D LiDAR point clouds of the RELLIS-3D dataset collected in a real-world off-road environment. Our experimental results demonstrate that sensor and spatial domain shifts significantly impact the performance of LiDAR-based semantic segmentation models. In the absence of spatial domain changes between training and testing, models trained and tested on the same sensor type generally exhibited better performance. Moreover, higher-resolution sensors showed improved performance compared to those with lower-resolution ones. However, results varied when spatial domain changes were present. In some cases, the advantage of a sensor's higher resolution led to better performance both with and without sensor domain shifts. In other instances, the higher resolution resulted in overfitting within a specific domain, causing a lack of generalization capability and decreased performance when tested on data with different sensor configurations.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Generic properties in some classes of automaton groups
Authors:
Thibault Godin
Abstract:
We prove, for various important classes of Mealy automata, that almost all generated groups have an element of infinite order. In certain cases, it also implies other results such as exponential growth.
We prove, for various important classes of Mealy automata, that almost all generated groups have an element of infinite order. In certain cases, it also implies other results such as exponential growth.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
Numerical upper bounds on growth of automata groups
Authors:
Jérémie Brieussel,
Thibault Godin,
Bijan Mohammadi
Abstract:
The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely myst…
▽ More
The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely mysterious. Many examples of such groups are constructed using Mealy automata. The aim of this paper is to give an algorithmic procedure to study the growth of such automata groups, and more precisely to provide numerical upper bounds on their exponents. Our functions retrieve known optimal bounds on the famous first Grigorchuk group. They also improve known upper bounds on other automata groups and permitted us to discover several new examples of automata groups of intermediate growth. All the algorithms described are implemented in GAP, a language dedicated to computational group theory.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
A new hierarchy for automaton semigroups
Authors:
Laurent Bartholdi,
Thibault Godin,
Ines Klimann,
Matthieu Picantin
Abstract:
We define a new strict and computable hierarchy for the family of automaton semigroups, which reflects the various asymptotic behaviors of the state-activity growth. This hierarchy extends that given by Sidki for automaton groups, and also gives new insights into the latter. Its exponential part coincides with a notion of entropy for some associated automata.
We prove that the Order Problem is d…
▽ More
We define a new strict and computable hierarchy for the family of automaton semigroups, which reflects the various asymptotic behaviors of the state-activity growth. This hierarchy extends that given by Sidki for automaton groups, and also gives new insights into the latter. Its exponential part coincides with a notion of entropy for some associated automata.
We prove that the Order Problem is decidable when the state-activity is bounded. The Order Problem remains open for the next level of this hierarchy, that is, when the state-activity is linear. Gillibert showed that it is undecidable in the whole family.
The former results are implemented and will be available in the GAP package FR developed by the first author.
△ Less
Submitted 13 May, 2018; v1 submitted 27 March, 2018;
originally announced March 2018.
-
An analogue to Dixon's theorem for automaton groups
Authors:
Thibault Godin
Abstract:
Dixon's famous theorem states that the group generated by two random permutations of a finite set is generically either the whole symmetric group or the alternating group. In the context of random generation of finite groups this means that it is hopeless to wish for a uniform distribution -- or even a non-trivial one -- by drawing random permutations and looking at the generated group. Mealy auto…
▽ More
Dixon's famous theorem states that the group generated by two random permutations of a finite set is generically either the whole symmetric group or the alternating group. In the context of random generation of finite groups this means that it is hopeless to wish for a uniform distribution -- or even a non-trivial one -- by drawing random permutations and looking at the generated group. Mealy automata are a powerful tool to generate groups, including all finite groups and many interesting infinite ones, whence the idea of generating random finite groups by drawing random Mealy automata. In this paper we show that, for a special class of Mealy automata that generate only finite groups, the distribution is far from being uniform since the obtained groups are generically a semi-direct product between a direct product of alternating groups and a group generated by a tuple of transpositions.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
Knapsack problem for automaton groups
Authors:
Thibault Godin
Abstract:
The knapsack problem is a classic optimisation problem that has been recently extended in the setting of groups. Its study reveals to be interesting since it provides many different behaviours, depending on the considered class of groups. In this paper we deal with groups generated by Mealy automata-a class that is often used to study group-theoretical conjectures-and prove that the knapsack probl…
▽ More
The knapsack problem is a classic optimisation problem that has been recently extended in the setting of groups. Its study reveals to be interesting since it provides many different behaviours, depending on the considered class of groups. In this paper we deal with groups generated by Mealy automata-a class that is often used to study group-theoretical conjectures-and prove that the knapsack problem is undecidable for this class. In a second time, we construct a graph that, if finite, provides a solution to the knapsack problem. We deduce that the knapsack problem is decidable for the so-called bounded automaton groups, a class where the order and conjugacy problems are already known to be decidable.
△ Less
Submitted 14 December, 2016; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Boundary action of automaton groups without singular points and Wang tilings
Authors:
D. D'Angeli,
Th. Godin,
I. Klimann,
M. Picantin,
E. Rodaro
Abstract:
We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has me…
▽ More
We study automaton groups without singular points, that is, points in the boundary for which the map that associates to each point its stabilizer, is not continuous. This is motivated by the problem of finding examples of infinite bireversible automaton groups with all trivial stabilizers in the boundary, raised by Grigorchuk and Savchuk. We show that, in general, the set of singular points has measure zero. Then we focus our attention on several classes of automata. We characterize those contracting automata generating groups without singular points, and apply this characterization to the Basilica group. We prove that potential examples of reversible automata generating infinite groups without singular points are necessarily bireversible. Then we provide some necessary conditions for such examples to exist, and study some dynamical properties of their Schreier graphs in the boundary. Finally we relate some of those automata with aperiodic tilings of the discrete plane via Wang tilings. This has a series of consequences from the algorithmic and dynamical points of view, and is related to a problem of Gromov regarding the searching for examples of CAT(0) complexes whose fundamental groups are not hyperbolic and contain no subgroup isomorphic to $\mathbb{Z}^{2}$.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups
Authors:
Thibault Godin,
Ines Klimann
Abstract:
The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata wi…
▽ More
The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata with bigger stateset, proving that, if a connected reversible automaton has a prime number of states, it cannot generate an infinite Burnside group.
△ Less
Submitted 12 April, 2016;
originally announced April 2016.
-
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata
Authors:
Thibault Godin,
Ines Klimann,
Matthieu Picantin
Abstract:
This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Me…
▽ More
This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Mealy automata. We focus on the somehow antipodal class of invertible reversible Mealy automata and prove that for a wide subclass the generated semigroup is torsion-free.
△ Less
Submitted 2 December, 2014; v1 submitted 16 October, 2014;
originally announced October 2014.