The co-growth series of finitely generated group with respect to generating set $S$ is generating function for the number of words of length $n$ which are equal to 1 in the group. Its studies originates from Grigorchuk and Cohen result relating it to amenability (~1978) lecture. And new bunch of interest due to M.Kontsevich results/questions Noncom ids,Grothendieck conjectures ,Youtube - see e.g. I.Pak surveys ICM2018, IHP, R.Stanley, see also D.Zagier on "Golyshev's predictions" on similar looking expressions in mirror symmetry ECM2016.

**Question 1:** Is something known/expected about co-growth series of the braid group ? Can it be algebraic, D-finite, D-algebraic (see definitions below). Or at least asymptotics of $c_n$ ?

**Question 2:** Same questions for "exponential/Kontsevich" form of the generating function: $exp( \sum_n \frac{c_n}{ n } t^n ) = "det(1-tA)" $ ?

Remark: In Noncom ids M.Kontsevich proved that exponential form of the generating functions is also algebraic function for any generating set of the free group. (For standard form - its is due to M.Schutzenberger, N.Chomsky and Haiman and now seems an exercise in Stanley's book.) Such an exponential form seems to be much more natural and is clearly analogous to zeta-functions. In graph terms it is a properly regularized characteristic polynomial of the adjacency matrix - somewhat analogous to the "Fuglede−Kadison determinant". See also D.Zagier ECM2016 on similar looking expressions in mirror symmetry and predictions on their algebraicity by V.Golyshev (now proved). (Thanks to M.K. for explaining and sending the relevant papers).

**Question 3:** The exponential form of co-growth clearly
resembles zeta-functions (e.g. MO): so what properties of "zeta-function package": functional equation, analytical continuations, values at special points, "Riemann conjectures" might be expected ? (Note:
"Deninger showed (2005) that in many cases the entropy of $\alpha_f$ equals the logarithm of the Fuglede-Kadison determinant the linear operator corresponding to f on the group von Neumann algebra of ∆" - that resembles "special value" type property of zeta/L-functions).

Here are some extracts from I.Pak slides on "rationality/algebraicity/D-finiteness/D-algebraicity" mentioned above: