English

Multivariate growth and cogrowth

Group Theory 2023-11-28 v2 Formal Languages and Automata Theory

Abstract

We investigate a multivariate growth series ΓL(z),zCd\Gamma_L({\bf z}), {\bf z} \in \mathbb{C}^d associated with a regular language LL over an alphabet of cardinality d.d. Our focus is on languages coming from subgroups of the free group and from subshifts of finite type. We develop a mechanism for computing the rate of growth φL(r)\varphi_L({\bf r}) of LL in the direction rRd{\bf r} \in \mathbb{R}^d. Using the concave growth condition (CG) introduced by the second author in \cite{quint2002divergence} and the results of Convex Analysis we represent ψL(r)=log(φL(r))\psi_L({\bf r}) = \log\left(\varphi_L({\bf r})\right) as a support function of a convex set that is a closure of the Relog\textrm{Relog} image of the domain of absolute convergence of ΓL(z)\Gamma_L({\bf z}). This allows us to compute ψL(r)\psi_L({\bf r}) in some important cases, like a Fibonacci language or a language of freely reduced words representing elements of a free group F2F_2. Also we show that the methods of the Large deviation theory can be used as an alternative approach. Finally, we suggest some open problems directed on the possibility of extensions of the results of the first author from \cite{grigorchuk1980symmetrical} on multivariate cogrowth.

Cite

@article{arxiv.2303.04190,
  title  = {Multivariate growth and cogrowth},
  author = {Rostislav Grigorchuk and Jean-Francois Quint and Asif Shaikh},
  journal= {arXiv preprint arXiv:2303.04190},
  year   = {2023}
}

Comments

40 pages, 10 figures, the revised version include the correction of definition 4.1 and the replacement of an incorrect figure 6a

R2 v1 2026-06-28T09:06:21.433Z