Sub-dominant cogrowth behaviour and the viability of deciding amenability numerically

We critically analyse a recent numerical method due to the first author, Rechnitzer and van Rensburg, which attempts to detect amenability or non-amenability in a finitely generated group by numerically estimating its asymptotic cogrowth rate. We identify two potential sources of error. We then propose a modification of the method that enables it to easily compute surprisingly accurate estimates for initial terms of the cogrowth sequence.