\in
        G} \varphi (g)^2}\\
        \leq \ & \frac{ \#G \#S \cdot \omega_x(1)^2 }{\#G\int_G \varphi(g)^2
        d\mu_G(g)}\\
        = \ & \frac{\omega_x(1)^2\#S}{\int_{G}\varphi(g)^2 d\mu_G(g)}\\
        \leq \ & \frac{\omega_x(1)^2 k \#S}{\kappa r^2}\\
        < \ & \lambda_1(\Gamma (G,S)),
        \end{aligned}$$where the infimum is taken over all nontrivial functions $f:G\to \mathbb{R}$ such that $\sum_{g\in G}f(g)=0$. This is a contradiction. This completes the proof.

Applying Lemma \[l4.6.3.1\] to Corollary \[c4.6.1.1\], we obtain the following theorem:

Let $S\subseteq G\setminus \{e_G\}$ be a symmetric set of generators of a finite group $G$ and assume that the group $G$ continuously acts on a $k$-dimensional Hadamard manifold $N$. Then, for any $x\in N$, we have $$\begin{aligned}
       {\mathop{\mathit{d}} \nolimits}_N(c(\nu_{G,x}),g c(\nu_{G,x})) \leq \omega_x(1)
      \Big(\frac{k \# S}{\lambda_1(\Gamma(G,S))}\Big)^{1/2}+ \rho \Big(+
      \omega_x (1)\Big(\frac{k \# S}{\lambda_1(\Gamma(G,S))}\Big)^{1/2}\Big)
      \end{aligned}$$for any $g\in G$. There also exists a point $z_{x}\in Gx$ such that $$\begin{aligned}
      {\mathop{\mathit{d}} \nolimits}_N (z_{x},gz_{x})\leq \ &\min \Big\{  \omega_x(1)
      \Big(\frac{k \# S}{ \lambda_1(\Gamma(G,S))}\Big)^{1/2}    + \rho
      \Big(
\in 
         G } \varphi (g)^2}\\ 
         \leq \ & \frac { \#G \#S \cdot \omega_x(1)^2 } { \#G\int_G \varphi(g)^2 
         d\mu_G(g)}\\ 
         = \ & \frac{\omega_x(1)^2\#S}{\int_{G}\varphi(g)^2 d\mu_G(g)}\\ 
         \leq \ & \frac{\omega_x(1)^2 k \#S}{\kappa r^2}\\ 
         < \ & \lambda_1(\Gamma (G, S) ), 
         \end{aligned}$$where the infimum is taken over all nontrivial functions $ f: G\to \mathbb{R}$ such that $ \sum_{g\in G}f(g)=0$. This is a contradiction. This completes the proof. 

 apply Lemma \[l4.6.3.1\ ] to Corollary \[c4.6.1.1\ ], we receive the following theorem: 

 Let $ S\subseteq G\setminus \{e_G\}$ be a symmetric bent of generators of a finite group $ G$ and assume that the group $ G$ endlessly acts on a $ k$-dimensional Hadamard manifold $ N$. Then, for any $ x\in N$, we have $ $ \begin{aligned } 
        { \mathop{\mathit{d } } \nolimits}_N(c(\nu_{G, x}),g c(\nu_{G, x }) ) \leq \omega_x(1) 
       \Big(\frac{k \ # S}{\lambda_1(\Gamma(G, S))}\Big)^{1/2}+ \rho \Big(+ 
       \omega_x (1)\Big(\frac{k \ # S}{\lambda_1(\Gamma(G, S))}\Big)^{1/2}\Big) 
       \end{aligned}$$for any $ g\in G$. There also exist a point $ z_{x}\in Gx$ such that $ $ \begin{aligned } 
       { \mathop{\mathit{d } } \nolimits}_N (z_{x},gz_{x})\leq \ & \min \Big\ {   \omega_x(1) 
       \Big(\frac{k \ # S } { \lambda_1(\Gamma(G, S))}\Big)^{1/2 }     + \rho 
       \Big (
\in
        G} \varphi (g)^2}\\
        \leq \ & \frac{ \#G \#S \cdot \okega_x(1)^2 }{\#F\int_G \vafphi(g)^2
        d\mu_G(g)}\\
        = \ & \feac{\omtya_x(1)^2\#S}{\int_{G}\varphi(g)^2 d\mu_G(e)}\\
        \peq \ & \frqc{\omtga_x(1)^2 k \#S}{\kappa r^2}\\
        < \ & \lambdz_1(\Namma (J,S)),
        \end{allgned}$$where dhe infimum is txkzn over all nontrivial functions $f:G\tj \mathbn{R}$ such that $\sum_{d\in B}s(g)=0$. Tgps is a contradiction. This compmetes tie proof.

Applyinb Lemma \[l4.6.3.1\] to Corollary \[c4.6.1.1\], wf obhain the following theorem:

Let $S\sufweteq G\setmivus \{e_G\}$ be a symmetric aet of generators of a finite gfoup $Y$ and assumg fhwj the group $J$ contpnuously acts on a $k$-dhmensiomal Hadamard msnihold $N$. Then, for any $x\in N$, we have $$\begin{aligged}
       {\mcthop{\mathit{d}} \nolimits}_B(c(\bu_{G,x}),g c(\nu_{C,x})) \ldw \ooegz_x(1)
      \Bih(\frec{k \# S}{\lambdz_1(\Gamma(G,S))}\Big)^{1/2}+ \rho \Big(+
      \omega_c (1)\Fpb(\frac{k \# S}{\lamgda_1(\Gamia(D,S))}\Big)^{1/2}\Big)
      \end{aligned}$$for any $g\in G$. Tvers also exists a point $z_{z}\in Gx$ such that $$\begij{aligned}
      {\mathop{\mathit{d}} \nolimits}_N (z_{x},gz_{x})\leq \ &\min \Big\{  \okega_x(1)
      \Nig(\ffqc{n \# S}{ \lambda_1(\Gamma(G,S))}\Big)^{1/2}    + \rho
      \Big(
\in G} \varphi (g)^2}\\ \leq \ & \#S \omega_x(1)^2 }{\#G\int_G d\mu_G(g)}\\ = \ & k \#S}{\kappa r^2}\\ \ & \lambda_1(\Gamma \end{aligned}$$where the infimum is taken over nontrivial functions $f:G\to \mathbb{R}$ such that $\sum_{g\in G}f(g)=0$. This is a contradiction. This the proof. Applying Lemma \[l4.6.3.1\] to Corollary \[c4.6.1.1\], we obtain the following theorem: $S\subseteq \{e_G\}$ a set of generators of a finite group $G$ and assume that the group $G$ continuously acts a $k$-dimensional Hadamard manifold $N$. Then, for any N$, we have $$\begin{aligned} \nolimits}_N(c(\nu_{G,x}),g c(\nu_{G,x})) \leq \omega_x(1) \Big(\frac{k S}{\lambda_1(\Gamma(G,S))}\Big)^{1/2}+ \Big(+ \omega_x \# \end{aligned}$$for $g\in G$. There exists a point $z_{x}\in Gx$ such that $$\begin{aligned} {\mathop{\mathit{d}} \nolimits}_N (z_{x},gz_{x})\leq \ &\min \Big\{ \omega_x(1) \Big(\frac{k \# \lambda_1(\Gamma(G,S))}\Big)^{1/2} +
\in
        G} \varphi (g)^2}\\
        \leq \ & \frac{ \#G \#S \cdot \omEga_x(1)^2 }{\#G\int_G \vArphi(G)^2
        d\mU_G(g)}\\
        = \ & \FrAc{\omEga_x(1)^2\#s}{\int_{G}\varphi(g)^2 d\mU_g(g)}\\
        \leQ \ & \frac{\omega_x(1)^2 k \#S}{\kappa r^2}\\
        < \ & \lamBda_1(\GaMmA (g,S)),
        \enD{AlIgned}$$Where thE InFIMum Is TaKen OvER aLl nonTriVial funCtions $f:G\to \MatHbB{R}$ such that $\suM_{G\iN G}f(g)=0$. This is A coNtradiction. THis CompleTeS thE Proof.

appLying lemma \[l4.6.3.1\] TO CorolLary \[c4.6.1.1\], we obTaIN the foLLowing tHEOrEm:

LeT $S\subseteq G\setminUS \{e_g\}$ Be a symmetric seT of genErAToRS Of a FinIte group $G$ aNd AssumE That the GRoUP $g$ ConTInuously acts oN a $k$-dimensioNAl HAdamarD mAniFOld $N$. ThEn, for AnY $X\in n$, we have $$\begiN{aliGned}
       {\mathoP{\mathiT{D}} \nolimiTS}_N(c(\nu_{G,x}),G c(\nu_{G,x})) \Leq \OmeGa_x(1)
      \BIG(\fRaC{k \# S}{\LaMBda_1(\gAmMa(G,s))}\big)^{1/2}+ \Rho \Big(+
      \omEgA_x (1)\big(\frAc{k \# S}{\LAMBDa_1(\GaMma(g,S))}\BiG)^{1/2}\Big)
      \eNd{aligned}$$for aNy $g\In G$. THEre Also eXists A poiNt $Z_{x}\in GX$ such tHat $$\beGiN{aligned}
      {\mathop{\mAthiT{d}} \nolimitS}_N (z_{X},gZ_{x})\lEq \ &\Min \BiG\{  \Omega_x(1)
      \big(\FraC{k \# S}{ \lambDa_1(\Gamma(g,s))}\BiG)^{1/2}    + \rHO
      \bIg(
\in
        G} \varphi (g) ^2}\\
       \ leq  \&\fra c{ \ #G \#S \cdot \ o mega _x(1)^2 }{\#G\int_G \v arphi (g ) ^2
     d \mu_G(g ) }\ \      =\&  \ frac{ \om ega_x(1 )^2\#S}{\i nt_ {G }\varphi(g)^ 2  d \mu_G(g)}\ \
       \leq\ &  \frac {\ ome g a_x(1 )^2  k \# S}{\ka p pa r^2 }\\
     < \ &\ lambda_ 1 ( \G amma  (G,S)),
       \ en d {aligned}$$whe re the  i n fi m u m i s t aken overal l non t rivialf un c t i ons $f:G\to \math bb{R}$ such tha t $\su m_ {g\ i n G}f( g)=0$ .T his  is a contr adic tion. Thi s comp l etes th e  proof. 

Appl yin g L emma \[ l4 .6. 3. 1 \]t oCor o lla ry \[c4. 6. 1. 1\],we o b t a i n th e f ollo wingtheorem:

Let  $S \sub s ete q G\s etmin us \ {e _G\}$  be asymme tr ic set of gener ator s of a fi nit egro up  $G$a nd ass ume  th at thegroup $ G $ c on t i n uo usly acts on a $k$ -d i m en sional H adamar d  m an i fold $N$ .The n, f o r  any$x\i n  N $, we ha ve $$\ b eg in {aligne d} 
     {\m ath op{\m a thit {d}} \ nolimits }_N(c ( \nu_{G,x}),g c ( \nu_{G,x})) \ l eq \ om e ga_x (1) 
      \Big (\fr a c{k\# S } {\ lam b da_1( \Gamm a( G ,S ) )}\Big)^{1/2}+ \rho  \ Big(+     \omega_x (1) \Big(\frac { k \# S}{\l ambd a _1 ( \Gamma(G,S))}\ Big)^ {1/2}\Big)       \e nd{al igned}$$ for any $ g \ in G$. T her e a lso  ex i s ts  a point $z_{ x } \inGx $ suchtha t $$\be gin {al ign ed} 
     {\ma thop{\ma th it {d }}  \n olimi t s}_N (z_ {x },g z_ {x} )\leq \ &\mi n \Bi g\{ \ om e ga_ x(1)
  \ Big( \f ra c{k\#S} { \la mbda _ 1(\ Gamma(G ,S))}\Big )^{ 1 /2}  +  \rho
     \Big(
\in
 _ _   _G} \varphi_(g)^2}\\
_ __  _ \leq \_& \frac{ \#G \#S_\cdot \omega_x(1)^2 }{\#G\int_G_\varphi(g)^2
_       d\mu_G(g)}\\
      __= \_&_\frac{\omega_x(1)^2\#S}{\int_{G}\varphi(g)^2_d\mu_G(g)}\\
    _   \leq \_& \frac{\omega_x(1)^2_k \#S}{\kappa r^2}\\
     __ < \_& \lambda_1(\Gamma (G,S)),
      _ \end{aligned}$$where the infimum is taken_over all nontrivial_functions_$f:G\to_\mathbb{R}$ such that $\sum_{g\in_G}f(g)=0$. This is a contradiction. This_completes the proof.

Applying Lemma \[l4.6.3.1\] to_Corollary \[c4.6.1.1\], we obtain the following theorem:

Let_$S\subseteq G\setminus \{e_G\}$ be a symmetric_set of generators of a_finite group_$G$ and assume that the_group $G$ continuously_acts on_a $k$-dimensional Hadamard_manifold $N$. Then, for any $x\in_N$, we have_$$\begin{aligned}
     __{\mathop{\mathit{d}} \nolimits}_N(c(\nu_{G,x}),g c(\nu_{G,x}))_\leq_\omega_x(1)
_ _  _\Big(\frac{k_\# S}{\lambda_1(\Gamma(G,S))}\Big)^{1/2}+_\rho_\Big(+
     _\omega_x_(1)\Big(\frac{k \# S}{\lambda_1(\Gamma(G,S))}\Big)^{1/2}\Big)
    _ \end{aligned}$$for any $g\in_G$._There also exists a_point $z_{x}\in Gx$ such that_$$\begin{aligned}
     _{\mathop{\mathit{d}} \nolimits}_N_(z_{x},gz_{x})\leq \_&\min \Big\{  \omega_x(1)
      \Big(\frac{k \#_S}{ \lambda_1(\Gamma(G,S))}\Big)^{1/2}    +_\rho
   _ _\Big(