Suppose $G$ is a finitely generated group, with given generating set $S={g\_1, \dots, g\_n}$. (Assume that if $g\in S$, then $g^{-1}\notin S$. (**EDIT:** Also assume that $S$ is minimal in the sense that no proper subset of $S$ is generating.)) Given complex numbers $a\_1, \dots , a\_n$, we can form the element $\sum a\_j g\_j$ of the group ring $\mathbb C[G]$ and consider its norm as an element of the full group C\*-algebra $C^\ast(G)$:
$$
\|\sum a\_j g\_j \| =\sup\_\pi \|\sum a\_j \pi(g\_j)\|
$$
where the supremum is over all unitary representation $\pi$ of $G$ on Hilbert space. I am interested in the quantity
$$
\alpha(S) = \inf\_{\|a\|\_1=1} \|\sum a\_j g\_j\|.
$$
(Here $\|a\|\_1 =\sum |a\_j|$). 


**Question**: Are there known examples of groups $G$ and generating sets $S$ for which $\alpha(S)<1$? 


(I am mostly interested in the case where all the generators have infinite order, so I haven't spent much time looking at finite groups. So, in case there are finite examples, a follow-up question would be for examples with all $g$ of infinite order.) (**EDIT**: Since the C\*-norm will be strictly smaller than $\ell^1$ norm, there should be lots of examples, see answers & comments below. We can still ask for examples when the generating set is minimal, and then there is the harder question of just how small $\alpha(S)$ can be.)


Some background and discussion: The question arose from an attempt to analyze the convex set of all points in $\mathbb C^n$ of the form
$$
(\langle \pi(g\_1)x,y\rangle, \dots \langle \pi(g\_n)x,y\rangle )
$$
where $\pi$ ranges over all representations of $G$ on Hilbert spaces $\mathcal H$ and $x,y$ range over all vectors of the unit ball of $\mathcal H$. I am interested in how large a polydisk centered at the origin such a set can contain; estimating the norm of $\sum a\_j g\_j$ is essentially the dual problem to this one. In this setting, cases where $\alpha(S)$ is small are the "enemy", so I'm trying to understand more about when this happens. 


It is not hard to prove the bounds
$$
\frac{1}{\sqrt{n}} \leq \alpha(S) \leq 1
$$
(indeed the upper bound is trivial, and the lower bound comes from considering the regular representation of $G$ on $\ell^2(G)$. ) As simple examples, it can be shown that the free abelian group $\mathbb Z^n$ and the free group $\mathbb F^n$ (with their standard $n$-element generating sets) both have $\alpha(S)=1$. Now, one can try to get better lower bounds on $\alpha(S)$ in particular cases by considering particular representations $\pi$ (such as the regular representation), since then one is dealing with particular concrete unitaries, but it seems much harder to improve the upper bound (when it can be improved) unless one has a handle on a faithful representation of $C^\ast(G)$. Of course this is the case when $G$ is amenable, though at the same time it's not clear that amenability is relevant, given the free (non-amenable) and free abelian (amenable) examples just mentioned.



Sums of unitaries with small norm in full group $C^*$-algebras
Here is an algebraic characterization of $\alpha(S)=1$: if $S=\{g\_1,\dots,g\_n\}$, $\alpha(S)=1$ if and only if $\{g\_1^{-1}g\_k,k=2\dots n\}$ generate a free abelian group in the abelianization $G^{ab}$ of $G$.


In fact, since $\alpha(S)$ is unchanged under the action of $G$ by left (or right) multiplication, it is natural to request for example that $1$ belongs to $S$. We therefore consider, for a subset $S \subset G$, $\widetilde \alpha(S) = \alpha (S \cup \{1\})$. Studying $\alpha$ and $\widetilde \alpha$ are clearly the same problem, since for example if $S=\{g\_1,\dots,g\_n\}$, $\alpha(S)=\widetilde \alpha(g\_1^{-1} g\_2,\dots,g\_1^{-1} g\_n)$. 


The condition $\widetilde \alpha(S)=1$ can be expressed in terms of the image $q(S)$ of $S$ in the abelianization $G^{ab}$ of $G$. Namely the claim is that $\alpha(S)=1$ if and only if the group generated by $q(S)$ in $G^{ab}$ is $\mathbf Z^S$ (i.e. it is free abelian).


One direction is clear: $\|a\_0+\sum\_{g \in S} a\_g g\|\_{C^\*(G)} \geq \|a\_0+\sum\_{g \in S} a\_g g\|\_{C^\*(G^{ab})}$, so that if $q(S)$ generates a free abelian group, $\widetilde \alpha(S)=1$.


For the other direction, assume that $q(S)$ does not generate a free abelian group. Equivalently there exists a word $g\_{1}^{\varepsilon\_1} \dots g\_{k}^{\varepsilon\_k}$ with $g\_i \in S$, $\varepsilon\_i \in \{-1,1\}$ that represents $1$ in $G$ but such that $\sum\_{i, g\_i=g} \varepsilon\_i \neq 0$ for at least one $g \in S$ (in other words, this word is an element of the free group on $S$ generators $F\_S$ that is trivial in $G$ but nontrivial in $F\_S^{ab}=\mathbf Z^S$). In particular, one can choose $a\_g \in \mathbf C$ for $g \in S$ such that $\prod a\_{g\_i}^{(\varepsilon\_i)} <0$ where I use the notation $z^{(1)}=z$ and $z^{(-1)}=\bar z$.


Consider now the element $X=1+\sum\_{g \in S} a\_{g} g$. I claim that $\|X\|\_{C^\*(G)}< 1+\sum |a\_g|$. Indeed, $\|X\|^{2k} = \|(XX^\*)^k\|$, and formally $(XX^\*)^k$ is a sum of terms of the form $\sum\_w c\_w w$ where the sum is over all $|S+1|^{2k}$ words in $S\cup{1}$ and $S^{-1} \cup 1$ alternatively, with $\sum |c\_w| = (1+\sum |a\_g|)^{2k}$. But in this sum, there are two particular elements: $w\_0$, the one corresponding to the word with all $1's$, for which $c\_w=1$, and (at least) one word, $w\_1$ that corresponds to $g\_{1}^{\varepsilon\_1} \dots g\_{k}^{\varepsilon\_k}$ once we remove all the $1$'s, for which $c\_w=\prod a\_{g\_i}^{(\varepsilon\_i)} <0$. But both words correspond to $1$ in $G$, so that by the triangle inequality we can write 
$$\|(XX^\*)^k\|\_{C^\*(G)} \leq |1+c\_{w\_1}| + \sum\_{w \neq w\_0,w\_1} |c\_w|< \sum\_w |c\_w|=(1+\sum\_{g \in S} |a\_g|)^{2k}.$$
QED




---


Some additional remark. The fact that $\widetilde \alpha(S)=\widetilde \alpha(S')$ if $S$ and $S'$ are the generators of $F\_n$ and $\mathbf Z^n$ says that the linear space space spanned by $S$ and $S'$ in $C^\*(G)$ can be isometrically isomorphic when the groups generated are not. Such phenomenon cannot happen if one considers the operator space version of the question. It is a theorem by Pisier that if a map $T:span(1,u\_1,\dots,u\_n) \to span(1,v\_1,\dots,v\_n)$ sending $1$ to $1$ and the unitary $u\_i$ to the unitary $v\_i$ is completely isometric, then $T$ extends to $\*$-isomorphism of the $C^\*$-algebras generated. When $u\_i=g\_i$ (resp $v\_i=g\_i'$) in $C^\*(G)$ (resp. $C^\*(G')$), this implies that $G$ and $G'$ are isomorphic.


