Lower bounds for conjugacy depth functions of wreath products

Let AA be a finitely generated abelian group and let GG be a conjugacy separable group with separable cyclic subgroups. For groups with conjugacy depth function Conj\operatorname{Conj}, write fgf\preceq g when ff is bounded above by gg up to the standard comparison for conjugacy depth functions. The wreath-product lower-bound conjecture. If AA is finite, then

2nConjAG(n).2^n \preceq \operatorname{Conj}_{A \wr G}(n).

Otherwise,

(log(n))nConjAG(n).(\log(n))^{n} \preceq \operatorname{Conj}_{A \wr G}(n).

These bounds are conjectured because the examples constructed using the paper's main theorems suggest that the obtained lower bounds cannot be relaxed. The source does not provide a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Michal Ferov and Mark Pengitore, “Bounding conjugacy depth functions for wreath products of finitely generated abelian groups”, arXiv:2201.06165 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.