Ideals of equations for elements in a free group and context-free languages

TL;DR

It is proved that this growth in $\mathfrak{I}_g$ is either polynomial or exponential, and an algorithm is provided that computes the type of growth (including the degree of the growth if it's polynomatic).

Abstract

Let $F$ be a finitely generated free group, and let $H\le F$ be a finitely generated subgroup. An equation for an element $g\in F$ with coefficients in $H$ is an element $w(x)\in H*\langle x \rangle$ such that $w(g)=1$ in $F$; the degree of the equation is the number of occurrences of $x$ and $x^{-1}$ in the cyclic reduction of $w(x)$. Given an element $g\in F$, we consider the ideal $\mathfrak{I}_g\subseteq H*\langle x \rangle$ of equations for $g$ with coefficients in $H$; we study the structure of $\mathfrak{I}_g$ using context-free languages. We describe a new algorithm that determines whether $\mathfrak{I}_g$ is trivial or not; the algorithm runs in polynomial time. We also describe a polynomial-time algorithm that, given $d\in\mathbb{N}$, decides whether or not the subset $\mathfrak{I}_{g,d}\subseteq\mathfrak{I}_g$ of all degree-$d$ equations is empty. We provide a polynomial-time algorithm that computes the minimum degree $d_{\min}$ of a non-trivial equation in $\mathfrak{I}_g$. We provide a sharp upper bound on $d_{\min}$. Finally, we study the growth of the number of (cyclically reduced) equations in $\mathfrak{I}_g$ and in $\mathfrak{I}_{g,d}$ as a function of their length. We prove that this growth is either polynomial or exponential, and we provide a polynomial-time algorithm that computes the type of growth (including the degree of the growth if it's polynomial).

Figures (1)

• Figure 1: The core graph $\text{core}(H)$, as defined in PART1, of the subgroup $H$ of Section \ref{['exampledmin']}.

Theorems & Definitions (120)

• Theorem A: See Theorem \ref{['cfreeIg']}
• Theorem B: See Theorems \ref{['cfreeIg2']} and \ref{['cfreeIg3']}
• Remark
• Theorem C: See Theorem \ref{['cfreeJgd']}
• Theorem D: See Theorems \ref{['cfreeJgd2']} and \ref{['cfreeJgd3']}
• Theorem E: See Theorem \ref{['growth1']}
• Theorem F: See Theorems \ref{['growth2']} and \ref{['growth3']}
• Theorem G: See Theorem \ref{['Dgpolk']}
• Theorem H: See Theorem \ref{['dmin']}
• Theorem I: See Theorem \ref{['bounddmin']}