1: \begin{abstract}

2: Suppose that $G$ is a finite group and $f$ is a complex-valued function on $G$.  $f$ induces a (left) convolution operator from $L^2(G)$ to $L^2(G)$ by $g \mapsto f \ast g$ where

3: \begin{equation*}

4:  f \ast g(z):=\E_{xy=z}{f(x)g(y)} \textrm{ for all } z \in G.

5: \end{equation*}

6: This operator is a linear map $L^2(G) \rightarrow L^2(G)$ between two finite dimensional Hilbert spaces, and so it has well-defined singular values; we write $\|f\|_{A(G)}$ for their sum.

7: 

8: The quantity $\|\cdot\|_{A(G)}$ is of particular interest because in the abelian setting it coincides with the $\ell^1$-norm of the Fourier transform of $f$.  Thus, in the abelian setting it is an algebra norm, and it turns out that this extends to the non-abelian setting as well when $\|\cdot\|_{A(G)}$ is defined as above.

9: 

10: It is relatively easy to see that if $A:=xH$ where $H \leq G$ and $x \in G$, then $\|1_{A}\|_{A(G)} = 1$, so that indicator functions of cosets of subgroups have algebra norm $1$.  Since $\|\cdot\|_{A(G)}$ is a norm we can easily construct other sets whose indicator functions have small algebra norm by taking small integer-valued sums of indicator functions of cosets (when these sums are themselves indicator functions of cosets); the object of this paper is to show the following converse.

11: 

12: Suppose that $A \subset G$ has $\|1_A\|_{A(G)} \leq M$. Then there is an integer $L=L(M)$, subgroups $H_1,\dots,H_L \leq G$, elements $x_1,\dots,x_L \in G$ and signs $\sigma_1,\dots,\sigma_L \in \{-1,0,1\}$ such that

13: \begin{equation*}

14: 1_A=\sum_{i=1}^L{\sigma_i1_{x_iH_i}},

15: \end{equation*}

16: where $L$ may be taken to be at most triply tower in $O(M)$.  This may be seen as a quantitative version of the non-abelian idempotent theorem.

17: \end{abstract}

18: