-1}} < 1 \;.$$

Recall that the *return profile* $\rho_\mu(n)=\mu_{2n}(e)$ of a symmetric probability measure $\mu$ on a countable group $G$ is defined as the sequence of return probabilities to the identity at even times. If the group is finitely generated then the return profiles of any two symmetric finitely supported non-degenerate measures $\mu_1,\mu_2$ are equivalent in the sense of the above definition [@Pittet-Saloff99a]. Therefore, one can talk about (the equivalence class of) the return profile $\rho_G$ of a finitely generated group $G$ irrespectively of a concrete random walk on this group.

The *isoperimetric profile* of a graph $\Gamma$ is defined as $$I_\Gamma (n) = \min \{|V| : |\partial V|/|V| \le 1/n\} \;,$$ where $\partial V\subset V$ denotes the boundary of a finite vertex subset $V\subset\Gamma$. In the same way as with the return profiles (actually, it is much easier to see in this case), the isoperimetric profiles of the Cayley graphs of a given finitely generated group $G$ corresponding to different choices of generating sets are all pairwise equivalent, so that one can talk about (the equivalence class of) the isoperimetric profile $I_G$ of a finitely generated group $G$.

\[th:profile\] The return and the isoperimetric profiles, respectively, of the Mother group ${{\mathfrak M}}={{\mathfrak M}}(X)$ with $|X|=d$ satisfy, for any $\varepsilon>0$, the relations $$\rho_{{\mathfrak M}}(n) \succcurlyeq \exp\left(-n^{\alpha+\varepsilon}\right) \qquad
\text{and} \qquad I_{{\mathfrak M}}(n) {\preccurlyeq}\exp\left(n^{\frac{2\alpha}{1-\alpha}+\varepsilon}\right) \;,$$ where $\alpha$ is given by formula.

[Proposition \[pr:entr\]]{} in combination with the well-known inequality ${\widetilde}\mu_{2n}(e) \ge \exp(-2H({\widetilde}\mu^n))$ immediately implies the lower estimate for the return profile. By the general Nash inequality machinery (see [@Grigoryan94; @Coulhon96] or a later exposition in [@
-1 } } < 1 \;.$$ 

 Recall that the * return profile * $ \rho_\mu(n)=\mu_{2n}(e)$ of a symmetric probability measure $ \mu$ on a countable group $ G$ is define as the succession of return probabilities to the identity at even time. If the group is finitely render then the return profiles of any two symmetric finitely confirm non - degenerate measures $ \mu_1,\mu_2 $ are equivalent in the common sense of the above definition [ @Pittet - Saloff99a ]. consequently, one can talk about (the equivalence course of) the return profile $ \rho_G$ of a finitely render group $ G$ irrespectively of a concrete random base on balls on this group. 

 The * isoperimetric profile * of a graph $ \Gamma$ is defined as $ $ I_\Gamma (n) = \min \{|V|: |\partial V|/|V| \le 1 / n\ } \;,$$ where $ \partial V\subset V$ denotes the boundary of a finite vertex subset $ V\subset\Gamma$. In the same manner as with the return profiles (actually, it is much easy to see in this case), the isoperimetric profiles of the Cayley graphs of a pass finitely generated group $ G$ corresponding to different choices of generating sets are all pairwise equivalent, so that one can spill the beans about (the equivalence class of) the isoperimetric profile $ I_G$ of a finitely generated group $ G$. 

 \[th: profile\ ] The return and the isoperimetric profiles, respectively, of the Mother group $ { { \mathfrak M}}={{\mathfrak M}}(X)$ with $ |X|=d$ satisfy, for any $ \varepsilon>0 $, the relations $ $ \rho_{{\mathfrak M}}(n) \succcurlyeq \exp\left(-n^{\alpha+\varepsilon}\right) \qquad 
 \text{and } \qquad I_{{\mathfrak M}}(n) { \preccurlyeq}\exp\left(n^{\frac{2\alpha}{1-\alpha}+\varepsilon}\right) \;,$$ where $ \alpha$ is given by formula. 

 [ Proposition   \[pr: entr\ ] ] { } in combination with the well - known inequality $ { \widetilde}\mu_{2n}(e) \ge \exp(-2H({\widetilde}\mu^n))$ immediately implies the lower estimate for the return profile. By the general Nash inequality machinery (attend [ @Grigoryan94; @Coulhon96 ] or a later exposition in [ @
-1}} < 1 \;.$$

Gecall that the *return pvofile* $\rho_\mu(n)=\mu_{2n}(g)$ if a sbmmetrid probabklity measure $\mu$ on a countaule troup $G$ is defined as the sdquence ov return prouabilities to thx identibv at syen tnmxs. If the group is finiteny generated tvev che return profiles of any two symmeeric fimihely supported non-cqgensgaue measures $\mu_1,\mu_2$ are equivalent ih the stnse of the above cefinition [@Pittet-Saloff99a]. Tjerevore, one can talk wbout (the ewuivwoence class uf) the retlxn profile $\tho_G$ of a finitely generated grojp $G$ nrrespectivglg lx a concretx randjm walk on tmps grou[.

The *ispperimetric prpfine* if a graph $\Gamma$ is dxfined as $$I_\Gamma (n) = \iin \{|V| : |\pastnal V|/|V| \le 1/n\} \;,$$ where $\paetual V\vubsat V$ eenutea vhe boundwry of a finife vertex sybset $V\subset\Gamma$. On nne same way zs witr ehe return profiles (actually, it is much eaaier to see in this casw), the isoperimetric ptofiles of the Cayley graphs of a given finitely generated croup $E$ cirvespubdlng to different choices of generating sets aws slk pairwise equlvalent, so that onr fam talk about (tfe equnbamence class of) the isoperymetruc profilt $I_G$ pf a finitely generated groyp $G$.

\[th:profilv\] Thw return and the idoperimetrie profoles, tespectively, of the Motker grkup ${{\mathfran M}}={{\mathfrzy M}}(X)$ with $|X|=d$ satksfj, fos any $\varepsilon>0$, the relatyons $$\rho_{{\methfrck M}}(n) \suzccutlyeq \evp\left(-n^{\alpja+\varc[silon}\right) \qquad
\tfxt{anb} \qqudd I_{{\mathfrwk M}}(n) {\preccurlyeq}\exp\left(n^{\frac{2\al'ia}{1-\alpha}+\varepsolmn}\rpght) \;,$$ whexe $\alpma$ is given by sormula.

[Proposijion \[pr:entx\]]{} in cumbination with tie well-known inequality ${\whfetilde}\mu_{2n}(e) \je \exp(-2H({\wiqetiode}\my^n))$ immeakately implies the loweg tstimate fir the return proflle. Bi fhe general Nask unequality machonefy (fev [@Gcigorrdn94; @Coulhon96] os a uatdt expusition in [@
-1}} < 1 \;.$$ Recall that the $\rho_\mu(n)=\mu_{2n}(e)$ a symmetric measure $\mu$ on defined the sequence of probabilities to the at even times. If the group finitely generated then the return profiles of any two symmetric finitely supported non-degenerate $\mu_1,\mu_2$ are equivalent in the sense of the above definition [@Pittet-Saloff99a]. Therefore, one talk (the class the return profile $\rho_G$ of a finitely generated group $G$ irrespectively of a concrete random walk this group. The *isoperimetric profile* of a graph is defined as $$I_\Gamma = \min \{|V| : |\partial \le \;,$$ where V\subset denotes boundary of a vertex subset $V\subset\Gamma$. In the same way as with the return profiles (actually, it is much easier see in the isoperimetric of Cayley of a given group $G$ corresponding to different choices are all pairwise equivalent, so that one can about (the class of) the isoperimetric profile $I_G$ a finitely generated group $G$. \[th:profile\] The return the isoperimetric profiles, respectively, of the Mother group ${{\mathfrak M}}={{\mathfrak M}}(X)$ with $|X|=d$ satisfy, for the relations $$\rho_{{\mathfrak M}}(n) \exp\left(-n^{\alpha+\varepsilon}\right) \qquad \text{and} I_{{\mathfrak {\preccurlyeq}\exp\left(n^{\frac{2\alpha}{1-\alpha}+\varepsilon}\right) where is given formula. [Proposition \[pr:entr\]]{} in combination with the well-known inequality ${\widetilde}\mu_{2n}(e) \ge immediately implies the lower estimate for the return profile. By Nash machinery (see [@Grigoryan94; or a later exposition [@
-1}} < 1 \;.$$

Recall that the *return profilE* $\rho_\mu(n)=\mu_{2n}(E)$ of a sYmmEtrIc ProbAbilIty measure $\mu$ on A CounTable group $G$ is defined as The seQuENce oF ReTurn pRobabilITiES To tHe IdEntItY At Even tImeS. If the gRoup is finiTelY gEnerated then THe Return profIleS of any two symMetRic finItEly SUpporTed Non-deGeneraTE measuRes $\mu_1,\mu_2$ arE eQUivaleNT in the sENSe Of thE above definition [@PITtET-Saloff99a]. TherefOre, one CaN TaLK AboUt (tHe equivaleNcE clasS Of) the reTUrN PROfiLE $\rho_G$ of a finitEly generateD GroUp $G$ irrEsPecTIvely oF a conCrETe rAndom walk on This Group.

The *iSoperiMEtric prOFile* of a Graph $\GAmmA$ is DefiNEd As $$i_\GaMmA (N) = \miN \{|v| : |\pArtIAl V|/|v| \le 1/n\} \;,$$ wherE $\pArTial V\SubsET v$ DEnotEs tHe boUndarY of a finite verTex SubsET $V\sUbset\gamma$. in thE sAme waY as witH the rEtUrn profiles (actuAlly, It is much eAsiEr To sEe In thiS Case), thE isOpeRimetriC profilES of ThE cAYlEy graphs of a given fiNiTELy GenerateD group $g$ CoRrESponding To DifFereNT ChoicEs of GEnErating sEts are ALl PaIrwise eQuIvalenT, sO thAt oNe can TAlk aBout (thE equivalEnce cLAss of) the isoperIMetric profile $i_g$ oF A FiNItelY geNerated grouP $G$.

\[th:PRofiLe\] ThE ReTurN And thE isopErIMeTRic profiles, respectiVeLy, of thE MothEr group ${{\mathfrAk M}}={{\mathfraK m}}(x)$ With $|X|=d$ saTisfY, FoR Any $\varepsilon>0$, tHe relAtions $$\rho_{{\mAThfrak M}}(n) \SucccUrlyeq \exP\left(-n^{\alpHA+\VarepsilOn}\rIghT) \qqUad
\TEXt{And} \qquad I_{{\mathFRAk M}}(n) {\PrEccurlyEq}\eXp\left(n^{\FraC{2\alPha}{1-\AlpHa}+\VarepsiloN}\right) \;,$$ whErE $\aLpHa$ Is gIven bY Formula.

[PRoPosItIon \[Pr:entR\]]{} In combInatiOn wiTh ThE WelL-known iNEqUALity ${\WiDeTildE}\mu_{2N}(e) \Ge \exp(-2h({\widETilDe}\mu^n))$ imMediately ImpLIes tHe LoWer estiMate for the retUrN profile. By ThE geNeral NASH inequalIty machinery (see [@GrigoryaN94; @coulhon96] Or a Later ExpoSition in [@
-1}} < 1 \;.$$

Recall tha t the *ret urn p rof ile *$\rh o_\m u(n)=\mu_{2n}( e )$ o f a symmetric probabil ity m ea s ure$ \m u$ on  a coun t ab l e  gr ou p$G$  i s  d efine d a s the s equence of  re tu rn probabili t ie s to the i den tity at even  ti mes. I fthe group  is  fini tely g e nerate d then th er eturnp rofiles o fanytwo symmetric fin i te l y supported no n-dege ne r at e mea sur es $\mu_1, \m u_2$a re equi v al e n t  in the sense ofthe above d e fin ition[@ Pit t et-Sal off99 a] .  Th erefore, on e ca n talk ab out (t h e equiv a lence c lass o f)the  ret u rn  p rof il e  $\ r ho _G$ ofa finite ly  g enera tedg r o u p $G $ i rres pecti vely of a con cre te r a ndo m wal k onthis  g roup. 

The*isop er imetric profile * of  a graph$\G am ma$  i s def i ned as  $$ I_\ Gamma ( n) = \m i n \ {| V | :|\partial V|/|V| \ le 1 /n \} \;,$$  where $\ pa r tial V\s ub set  V$d e notes  the bo undary o f a fi n it evertexsu bset $ V\ sub set \Gamm a $. I n thesame way  as w i th the returnp rofiles (actu a ll y ,  i t  ismuc h easier to  see in t hisc as e), the i soper im e tr i c profiles of the C ay ley gr aphsof a given fi nitely gen e r a ted grou p $G $  c o rresponding to  diff erent choi c es of ge nerat ing sets  are allp a irwise e qui val ent , s o th at one can ta l k  abo ut  (the e qui valence  cl ass  of ) t he  isoperim etric pr of il e$I _G$  of a finitely  g ene ra ted  grou p  $G$.
\[th :pro fi le \ ] T he retu r na n d th eis oper ime tr ic pr ofil e s,respect ively, of  th e  Mot he rgroup $ {{\mathfrak M }} ={{\mathfr ak  M} }(X)$w i th $|X|= d$ satisfy, for any $\v a repsilo n>0 $, th e re lations $ $\r ho_{{\ mat h frak M }}(n)\succ cu rly e q  \exp \ l ef t(- n^ {\alpha+\v a r eps ilon} \r ight ) \qqua d
\text{and} \qqua d  I_ {{\mathfrak M }}( n) { \ p re ccu r ly e q}\ ex p \le f t (n^{\frac{2\alp ha}{1-\alp ha } +\ varepsilon } \ri gh t) \;,$ $ where  $\al p ha$ isgiven byformula.
[ Prop o s iti on \[pr:en tr\]]{}in combin a tionw it h the  we ll-kno wn  in equal ity ${ \ wid etild e}\mu_ {2 n}(e)\ge \ ex p(-2H({\ widetilde}\mu^n))$ imme diatel y imp lie s the low ere sti mate forthereturn pro fil e.By th e g e neral  Nas h  i neq u ality  mac h inery (se e  [ @Gr i g or yan94; @Cou l h o n96 ] ora l a ter ex posi tion in [@
-1}} <_1 \;.$$

Recall_that the *return profile*_$\rho_\mu(n)=\mu_{2n}(e)$ of_a_symmetric probability_measure_$\mu$ on a_countable group $G$_is defined as the_sequence of return_probabilities_to the identity at even times. If the group is finitely generated then the_return_profiles of_any_two_symmetric finitely supported non-degenerate measures_$\mu_1,\mu_2$ are equivalent in the_sense of_the above definition [@Pittet-Saloff99a]. Therefore, one can talk_about_(the equivalence class_of) the return profile $\rho_G$ of a finitely generated_group $G$ irrespectively of a concrete_random walk on_this_group.

The_*isoperimetric profile* of a_graph $\Gamma$ is defined as $$I_\Gamma_(n) = \min \{|V| : |\partial_V|/|V| \le 1/n\} \;,$$ where $\partial V\subset_V$ denotes the boundary of a_finite vertex subset $V\subset\Gamma$. In_the same_way as with the return_profiles (actually, it_is much_easier to see_in this case), the isoperimetric profiles_of the Cayley_graphs of a given finitely generated_group_$G$ corresponding to_different_choices_of generating_sets are all_pairwise_equivalent, so_that_one can talk about (the equivalence_class_of) the isoperimetric profile $I_G$ of a_finitely generated group $G$.

\[th:profile\]_The_return and the isoperimetric_profiles, respectively, of the Mother_group ${{\mathfrak M}}={{\mathfrak M}}(X)$ with $|X|=d$_satisfy, for_any $\varepsilon>0$,_the relations $$\rho_{{\mathfrak M}}(n) \succcurlyeq \exp\left(-n^{\alpha+\varepsilon}\right) \qquad
\text{and} \qquad I_{{\mathfrak M}}(n) {\preccurlyeq}\exp\left(n^{\frac{2\alpha}{1-\alpha}+\varepsilon}\right)_\;,$$ where $\alpha$ is given by_formula.

[Proposition \[pr:entr\]]{} in combination with_the well-known_inequality_${\widetilde}\mu_{2n}(e) \ge \exp(-2H({\widetilde}\mu^n))$_immediately_implies the_lower estimate for the return profile. By_the general_Nash inequality machinery (see [@Grigoryan94; @Coulhon96]_or a later exposition_in_[@