# Are jumps in the growth function of an infinite group increasing?

Let $$G$$ be a group with a $$S$$ a finite subset of $$G$$ generating it, with $$\{e\}\in S$$ and $$S=S^{-1}$$, and let $$\gamma_G^S$$ be the growth function of $$G$$ respect to $$S$$, that is, $$\gamma_G^S(l)$$ is the number of elements of $$G$$ which can be expressed as a product of $$\leq l$$ elements of $$S$$. Call $$J(l)=\gamma_G^S(l)-\gamma_G^S(l-1)$$.

If $$G$$ is infinite, is it true that $$J(l+1)\geq J(l)$$ for $$l\geq1$$?

I came up with this question and it seems true, but I haven't found a way to prove it.

• Not necessarily, think about finite groups. Feb 16, 2022 at 21:11
• I state in the question that $G$ is infinite, do you mean that there is some construction using finite groups? Feb 16, 2022 at 21:22
• Oh, somehow I did not notice the assumption that $G$ is infinite. Feb 16, 2022 at 22:08
• How much experimentation have you done? I'm genuinely curious about how to write a program to compute $J(l)$ quickly Feb 17, 2022 at 15:31
• I have not programmed anything, I just tried to prove that it is true for a while and considered a few very basic examples ($\mathbb{R}^n$ and infinite dihedral group with the usual generators), so it could perfectly be false. I don't know if this can be programmed for general groups Feb 17, 2022 at 16:09

they provide the counterexample $$G=\langle s,t|s^3=t^3=(st)^3=1\rangle, S=\{e,s,t,s^{-1},t^{-1}\}$$ for which $$46=J(11) (the notations you are using are related to those of the article by $$\gamma^S_G(l)=\beta(G,S;l)$$ and $$J(l)=\sigma(l)$$). (It was a very interesting question, we have been discussing it with friends since yesterday and kinda agreed that looking at the Cayley graph of the group was the best approach, until one of them found this related question on Mathoverflow which guided us to the article and so to the counterexample).
• How about the same question, but for sufficiently large $l$? In other words, does $J$ always become eventually non-decreasing? Feb 17, 2022 at 19:25
• I don't know, I don't even know if the provided counterexample is "minimal" or if you can actually find another one involving lengths smaller than $10$ and $11$. Feb 17, 2022 at 20:29