The cogrowth inequality from Whitehead's algorithm
| Autor: | Shaikh, Asif |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | This article focuses on free factors $H\leq F_m$ of the free group $F_m$ with finite rank $m > 2$, and specifically addresses the implications of Ascari's refinement of the Whitehead automorphism $\varphi$ for $H$ as introduced in \cite{ascari2021fine}. Ascari showed that if the core $\Delta_H$ of $H$ has more than one vertex, then the core $\Delta_{\varphi(H)}$ of $\varphi(H)$ can be derived from $\Delta_H$. We consider the regular language $L_H$ of reduced words from $F_m$ representing elements of $H$, and employ the construction of $\mathcal{B}_H$ described in \cite{DGS2021}. $\mathcal{B}_H$ is a finite ergodic, deterministic automaton that recognizes $L_H$. Extending Ascari's result, we show that for the aforementioned free factors $H$ of $F_m$, the automaton $\mathcal{B}_{\varphi(H)}$ can be obtained from $\mathcal{B}_H$. Further, we present a method for deriving the adjacency matrix of the transition graph of $\mathcal{B}_{\varphi(H)}$ from that of $\mathcal{B}_H$ and establish that $\alpha_H < \alpha_{\varphi(H)}$, where $\alpha_H, \alpha_{\varphi(H)}$ represent the cogrowths of $H$ and $\varphi(H)$, respectively, with respect to a fixed basis $X$ of $F_m$. The proof is based on the Perron-Frobenius theory for non-negative matrices. Comment: 18 pages, 4 figures |
| Databáze: | arXiv |
| Externí odkaz: |
|