arXiv subjects
Publications and source records attributed to Sarah Hart.
For a Coxeter group $W$ with length function $\ell$, the excess zero graph $\mathcal{E}_0(W)$ has vertex set the non-identity involutions of $W$, with two involutions $x$ and $y$ adjacent whenever $\ell(xy)=\ell(x)+\ell(y)$. Properties of this graph such as connectivity, diameter and valencies of certain vertices of $\mathcal{E}_0(W)$ are explored.
Herman Melville's novel Moby-Dick contains a surprising number of mathematical allusions. In this article we explore some of these, as well as discussing the questions that naturally follow: why did Melville choose to use so much mathematical imagery? How did Melville come to acquire the level of mathematical knowledge shown in the novel? And is it commensurate with the general level of mathematical literacy at that time?
In this paper we investigate commuting involution graphs in classical affine Weyl groups. Let $W$ be a classical Weyl group of rank $n$, with $\tilde W$ its corresponding affine Weyl group. Our main result is that if $X$ is a conjugacy class of involutions in $\tilde W$, then the commuting involution graph $\mathcal{C}(\tilde W, X)$ is either disconnected or has diameter at most $n+2$. This bound is known to hold for types $\tilde A_n$ and $\tilde C_n$, so the main work of this paper is to prove the theorem for types $\tilde B_n$ and $\tilde D_n$.
Commuting involution graphs have been studied for finite Coxeter groups and for affine groups of classical type. The purpose of this short note is to establish some general results for commuting involution graphs in affine Coxeter groups, and to deal with types $\tilde F_4$ and $\tilde G_2$. Types $\tilde E_6$ $\tilde E_7$ and $\tilde E_8$ are more substantial and we will address these in a forthcoming paper.
Let $(W,R)$ be an arbitrary Coxeter system. We determine the number of elements of $W$ that have a unique reduced expression.
In this article we consider commuting graphs of involution conjugacy classes in the affine Weyl group of type $\tilde C_n$. We show that where the graph is connected the diameter is at most $n+2$.
Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is {\em product-free} if $S \cap SS = \emptyset$, and $S$ {\em fills} $G$ if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. Street and Whitehead [J. Combin. Theory Ser. A \textbf{17} (1974), 219--226] defined a group $G$ as {\em filled} if every locally maximal product-free set in $G$ fills $G$. Street and Whitehead classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by the current authors in [Austral. Journal of Combinatorics \textbf{63 (3)} (2015), 385--398], where we also classified the filled groups of odd order. This brief note completes the classification of filled dihedral groups and discusses filled groups of order up to 100.
Let $G$ be a group, and $S$ a non-empty subset of $G$. Then $S$ is \emph{product-free} if $ab\notin S$ for all $a, b \in S$. We say $S$ is \emph{locally maximal product-free} if $S$ is product-free and not properly contained in any other product-free set. A natural question is what is the smallest possible size of a locally maximal product-free set in $G$. The groups containing locally maximal product-free sets of sizes $1$ and $2$ were classified by Giudici and Hart in 2009. In this paper, we prove a conjecture of Giudici and Hart by showing that if $S$ is a locally maximal product-free set of size $3$ in a group $G$, then $|G| \leq 24$. This allows us to complete the classification of locally maximal product free sets of size 3.
We present a new fast search algorithm for Triple Product Property (TPP) triples as defined by Cohn and Umans in 2003. The new algorithm achieves a speed-up factor of 40 up to 194 in comparison to the best known search algorithm. With a parallelized version of the new algorithm we are able to search for TPP triples in groups up to order 55. As an application we identify a list of groups that would realize 5x5 matrix multiplication with under 100 resp. 125 scalar multiplications (the best known upper bound by Makarov 1987 resp. the trivial upper bound) if they contain a <5,5,5> TPP triple. With our new algorithm we show that no group can realize 5x5 matrix multiplication better than Makarov's algorithm.