Table of Contents
Fetching ...

How Many Reflections Make a Dihedral Set Large?

Be'eri Greenfeld, George King, Xiaoxuan Li, Sam Tacheny

Abstract

Given a size-$k$ subset $S$ of a group $G$, how large can the product set $S^n$ be? We study this question, at several layers of refinement, for the infinite dihedral group. First, we give an explicit formula for the maximum size of $S^n$ among all size-$k$ subsets with a prescribed number of reflections. We then determine the optimal number of reflections that a size-$k$ set should contain in order to maximize $|S^n|$. When $k$ is fixed and $n\to\infty$, we obtain a clean asymptotic expression for the maximal size of $S^n$. Moreover, we compute this asymptotic separately for each fixed number of reflections in $S$. We show that the number of reflections influences the asymptotic size of $S^n$ only through a multiplicative coefficient, which admits a direct probabilistic interpretation. Finally, we compute the growth exponent of the maximum of $|S^n|$ when~$k=~n$.

How Many Reflections Make a Dihedral Set Large?

Abstract

Given a size- subset of a group , how large can the product set be? We study this question, at several layers of refinement, for the infinite dihedral group. First, we give an explicit formula for the maximum size of among all size- subsets with a prescribed number of reflections. We then determine the optimal number of reflections that a size- set should contain in order to maximize . When is fixed and , we obtain a clean asymptotic expression for the maximal size of . Moreover, we compute this asymptotic separately for each fixed number of reflections in . We show that the number of reflections influences the asymptotic size of only through a multiplicative coefficient, which admits a direct probabilistic interpretation. Finally, we compute the growth exponent of the maximum of when~.
Paper Structure (5 sections, 18 theorems, 80 equations)

This paper contains 5 sections, 18 theorems, 80 equations.

Key Result

Theorem 1.1

Let $k,p,n \in \mathbb{N}$ with $1 \leq p \leq k$. Then

Theorems & Definitions (39)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Definition 2.1
  • Remark 2.2
  • Example 2.3
  • Proposition 2.4
  • proof
  • Lemma 2.5
  • proof
  • ...and 29 more