Source author record

Sarah B. Hart

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
2topics
3close collaborators

Published work

7 publications

preprint2016arXiv

Groups whose locally maximal product-free sets are complete

Let GG be a finite group and SS a subset of GG. Then SS is product-free if S∩SS=∅S \cap SS = \emptyset, and complete if G∗⊆S∪SSG^{\ast} \subseteq S \cup SS. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If SS is product-free and complete then SS is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group GG as filled if every locally maximal product-free set SS in GG is complete (the term comes from their use of the phrase `SS fills GG' to mean SS is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order 2n2n is not filled when n=6k+1n=6k+1 (k≥1k\geq 1). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order 2np2^np where pp is an odd prime. We use these results to determine all filled groups of order up to 2000.

preprint2015arXiv

Maximal length elements of excess zero in finite Coxeter groups

The excess of an element ww of a finite Coxeter group WW is the minimal value of l(x)+l(y)−l(w)l(x) + l(y) - l(w), where xx, yy are elements of WW such that x2=y2=1x^2 = y^2 = 1 and w=xyw = xy. Every element of a finite Coxeter group is either an involution or the product of two involutions, so the concept of excess is well defined. It can be extended to strongly real classes of infinite Coxeter groups. Earlier work by the authors showed that every conjugacy class of a finite Coxeter group contains an element of minimal length and excess zero. The current paper shows that each conjugacy class also contains an element of maximal length and excess zero.

preprint2015arXiv

On a conjecture of Street and Whitehead on locally maximal product-free sets

Let SS be a non-empty subset of a group GG. We say SS is product-free if S∩SS=∅S\cap SS=\varnothing, and SS is locally maximal if whenever TT is product-free and S⊆TS\subseteq T, then S=TS=T. Finally SS fills GG if G∗⊆S⊔SSG^*\subseteq S \sqcup SS (where G∗G^* is the set of all non-identity elements of GG), and GG is a filled group if every locally maximal product-free set in GG fills GG. Street and Whitehead (in `Group Ramsey Theory', J. Comb. Theory Series A, 17 (1974) 219-226) investigated filled groups and gave a classification of filled abelian groups. In this paper, we obtain some results about filled groups in the non-abelian case, including a classification of filled groups of odd order. Street and Whitehead conjectured that the finite dihedral group of order 2n2n is not filled when n=6k+1n=6k+1 (k≥1k\geq 1). We disprove this conjecture on dihedral groups, and in doing so obtain a classification of locally maximal product-free sets of sizes 3 and 4 in dihedral groups.

preprint2014arXiv

Involution Products in Coxeter Groups

For WW a Coxeter group, let $\mathcal{W} = \{ w \in W \;| \; w = xy \; \mbox{where} \; x, y \in W \; \mbox{and} \; x^2 = 1 = y^2 \}$. If WW is finite, then it is well known that W=WW = \mathcal{W}. Suppose that w∈Ww \in \mathcal{W}. Then the minimum value of ℓ(x)+ℓ(y)−ℓ(w)\ell(x) + \ell(y) - \ell(w), where x,y∈Wx, y \in W with w=xyw = xy and x2=1=y2x^2 = 1 = y^2, is called the \textit{excess} of ww (ℓ\ell is the length function of WW). The main result established here is that ww is always WW-conjugate to an element with excess equal to zero.

preprint2014arXiv

Involution Statistics in Finite Coxeter Groups

Let WW be a finite Coxeter group and XX a subset of WW. The length polynomial LW,X(t)L_{W,X}(t) is defined by LW,X(t)=∑x∈Xtℓ(x)L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}, where ℓ\ell is the length function on WW. In this article we derive expressions for the length polynomial where XX is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group WW. In particular, these results correct errors in the paper "Permutation statistics on involutions", W.M.B. Dukes., European J. Combin. 28 (2007), 186--198. for the involution length polynomials of Coxeter groups of type BnB_n and DnD_n. Moreover, we give a counterexample to a unimodality conjecture of Dukes.

preprint2014arXiv

On Excess in Finite Coxeter Groups

For a finite Coxeter group WW and ww an element of WW the `excess' of ww is defined to be e(w)=min⁡{ℓ(x)+ℓ(y)−ℓ(w)  ∣  w=xy,  x2=y2=1}e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, \; x^2 = y^2 = 1\} where ℓ\ell is the length function on WW. Here we investigate the behaviour of e(w)e(w), and a related concept reflection excess, when restricted to standard parabolic subgroups of WW. Also the set of involutions inverting ww is studied.

preprint2014arXiv

Zero Excess and Minimal Length in Finite Coxeter Groups

Let W\mathcal{W} be the set of strongly real elements of WW, a Coxeter group. Then for w∈Ww \in \mathcal{W}, e(w)e(w), the excess of ww, is defined by e(w)=min⁡{ℓ(x)+ℓ(y)−ℓ(w)  ∣  w=xy,x2=y2=1}e(w) = \min\{\ell(x) + \ell(y) - \ell(w) \; | \; w=xy, x^2 = y^2 = 1\}. When WW is finite we may also define E(w)E(w), the reflection excess of ww. The main result established here is that if WW is finite and XX is a WW-conjugacy class, then there exists w∈Xw \in X such that ww has minimal length in XX and e(w)=0=E(w)e(w) = 0 = E(w).

Research graph

See the researcher in context

Open full explorer

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.