On the one hand, it is well known that the only subquadratic Dehn function of finitely presented groups is the linear one. On the other hand there is a huge class of Dehn functions with growth at least (essentially all possible such Dehn functions) constructed in \cite{SBR} and based on the time functions of Turing machines and S-machines. The class of Dehn functions with remained more mysterious even though it has attracted quite a bit of attention (see, for example, \cite{BB}). We fill the gap obtaining Dehn functions of the form (and much more) for all real computable in reasonable time, for example, or , or is any algebraic number. As in \cite{SBR}, we use S-machines but new tools and new way of proof are needed for the best possible lower bound .

生成讲解博客的中文版本

生成AI智能校验的中文版本