Source author record

Scott Harper

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CO Robotics

Catalog footprint

Research overview

6works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Kronecker classes, normal coverings and chief factors of groups

For a group $G$ , a subgroup $U \leq G$ and a group $\mathrm{Inn}(G) \leq A \leq \mathrm{Aut}(G)$ , we say that $U$ is an $A$ -covering group of $G$ if $G = \bigcup_{a\in A}U^a$ . A theorem of Jordan (1872) implies that if $G$ is a finite group, $A = \mathrm{Inn}(G)$ and $U$ is an $A$ -covering group of $G$ , then $U = G$ . Motivated by a question concerning Kronecker classes of field extensions, Neumann and Praeger (1988) conjectured that, more generally, there is an integer function $f$ such that if $G$ is a finite group and $U$ is an $A$ -covering subgroup of $G$ , then $|G:U| \leq f(|A:\mathrm{Inn}(G)|)$ . A key piece of evidence for this conjecture is a theorem of Praeger (1994), which asserts that there is a two-variable integer function $g$ such that if $G$ is a finite group and $U$ is an $A$ -covering subgroup of $G$ , then $|G:U|\leq g(|A:\mathrm{Inn}(G)|,c)$ where $c$ is the number of $A$ -chief factors of~ $G$ . Unfortunately, the proof of this result contains an error. In this paper, using a different argument, we give a correct proof of this theorem.

preprint2021arXiv

The spread of a finite group

A group $G$ is said to be $\frac{3}{2}$ -generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if $G$ is a finite group and every proper quotient of $G$ is cyclic, then for any pair of nontrivial elements $x_1,x_2 \in G$ , there exists $y \in G$ such that $G = \langle x_1, y \rangle = \langle x_2, y \rangle$ . In other words, $s(G) \geqslant 2$ , where $s(G)$ is the spread of $G$ . Moreover, if $u(G)$ denotes the more restrictive uniform spread of $G$ , then we can completely characterise the finite groups $G$ with $u(G) = 0$ and $u(G)=1$ . To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups whose socles are exceptional groups of Lie type and this is the case we treat in this paper.

preprint2020arXiv

Connectivity of generating graphs of nilpotent groups

Let $G$ be $2$ -generated group. The generating graph of $Γ(G)$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G=\langle g,h\rangle$ . This graph encodes the combinatorial structure of the distribution of generating pairs across $G$ . In this paper we study several natural graph theoretic properties related to the connectedness of $Γ(G)$ in the case where $G$ is a finite nilpotent group. For example, we prove that if $G$ is nilpotent, then the graph obtained from $Γ(G)$ by removing its isolated vertices is maximally connected and, if $|G| \geq 3$ , also Hamiltonian. We pose several questions.

preprint2020arXiv

Infinite $\frac{3}{2}$ -generated groups

Every finite simple group can be generated by two elements, and Guralnick and Kantor proved that, moreover, every nontrivial element is contained in a generating pair. Groups with this property are said to be $\frac{3}{2}$ -generated. Thompson's group $V$ was the first finitely presented infinite simple group to be discovered. The Higman--Thompson groups $V_n$ and the Brin--Thompson groups $mV$ are two families of finitely presented groups that generalise $V$ . In this paper, we prove that all of the groups $V_n$ , $V_n'$ and $mV$ are $\frac{3}{2}$ -generated. As far as the authors are aware, the only previously known examples of infinite noncyclic $\frac{3}{2}$ -generated groups are the pathological Tarski monsters. We conclude with several open questions motivated by our results.

preprint2020arXiv

The Spread of Almost Simple Classical Groups

Every finite simple group can be generated by two elements, and in 2000, Guralnick and Kantor resolved a 1962 question of Steinberg by proving that in a finite simple group every nontrivial element belongs to a generating pair. Groups with this property are said to be $\frac{3}{2}$ -generated. Which finite groups are $\frac{3}{2}$ -generated? Every proper quotient of a $\frac{3}{2}$ -generated group is cyclic, and in 2008, Breuer, Guralnick and Kantor made the striking conjecture that this condition alone provides a complete characterisation of the finite groups with this property. This conjecture has recently been reduced to the almost simple groups and results of Piccard (1939) and Woldar (1994) show that the conjecture is true for almost simple groups whose socles are alternating or sporadic groups. Therefore, the central focus is now on the almost simple groups of Lie type. In this monograph we prove a strong version of this conjecture for almost simple classical groups, building on earlier work of Burness and Guest (2013) and the author (2017). More precisely, we show that every relevant almost simple classical group has uniform spread at least two, unless it is isomorphic to the symmetric group of degree six. We also prove that the uniform spread of these groups tends to infinity if the size of the underlying field tends to infinity. To prove these results, we are guided by a probabilistic approach introduced by Guralnick and Kantor. This requires a detailed analysis of automorphisms, fixed point ratios and subgroup structure of almost simple classical groups, so the first half of this monograph is dedicated to these general topics. In particular, we give a general exposition of the useful technique of Shintani descent, which plays an important role throughout.

preprint2019arXiv

Improved Planetary Rover Inertial Navigation and Wheel Odometry Performance through Periodic Use of Zero-Type Constraints

We present an approach to enhance wheeled planetary rover dead-reckoning localization performance by leveraging the use of zero-type constraint equations in the navigation filter. Without external aiding, inertial navigation solutions inherently exhibit cubic error growth. Furthermore, for planetary rovers that are traversing diverse types of terrain, wheel odometry is often unreliable for use in localization, due to wheel slippage. For current Mars rovers, computer vision-based approaches are generally used whenever there is a high possibility of positioning error; however, these strategies require additional computational power, energy resources, and significantly slow down the rover traverse speed. To this end, we propose a navigation approach that compensates for the high likelihood of odometry errors by providing a reliable navigation solution that leverages non-holonomic vehicle constraints as well as state-aware pseudo-measurements (e.g., zero velocity and zero angular rate) updates during periodic stops. By using this, computationally expensive visual-based corrections could be performed less often. Experimental tests that compare against GPS-based localization are used to demonstrate the accuracy of the proposed approach. The source code, post-processing scripts, and example datasets associated with the paper are published in a public repository.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Scott Harper

Research overview

Is this your work?

6 publications

Kronecker classes, normal coverings and chief factors of groups

The spread of a finite group

Connectivity of generating graphs of nilpotent groups

Infinite $\frac{3}{2}$ -generated groups

The Spread of Almost Simple Classical Groups

Improved Planetary Rover Inertial Navigation and Wheel Odometry Performance through Periodic Use of Zero-Type Constraints

See the researcher in context

Building this map preview

Scott Harper

Research overview

Is this your work?

6 publications

Kronecker classes, normal coverings and chief factors of groups

The spread of a finite group

Connectivity of generating graphs of nilpotent groups

Infinite 32\frac{3}{2}23​-generated groups

The Spread of Almost Simple Classical Groups

Improved Planetary Rover Inertial Navigation and Wheel Odometry Performance through Periodic Use of Zero-Type Constraints

See the researcher in context

Building this map preview

Infinite $\frac{3}{2}$ -generated groups