$ and $U$ be a contractible open subset of $\Sigma_g$. Then, there exists a bi-Lipschitz injective homomorphism $$I\colon(\mathbb{Z}^{2g-2},\|\cdot\|_{\mathrm{word}})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$

Here $\|\cdot\|_{\mathrm{word}}$ is the word metric on $\mathbb{Z}^{2g-2}$. We point out that Burago, Ivanov, and Polterovich [@BIP] already proved the existence of a bi-Lipschitz injective homomorphism $I\colon(\mathbb{Z},\lvert\cdot\rvert)\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U)$, where $g$ is positive and $U$ is displaceable. Relating to Theorem \[Brandenbursky\], Brandenbursky asked whether one can construct a bi-Lipschitz injective homomorphism $\mathbb{Z}^N\to{\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g)$ for any $N$ and any $g\geq 2$ [@Br Remark 1.5]. As a corollary of Theorem \[theorem:main\], we solve his problem and generalize Theorem \[Brandenbursky\].

\[surface main theorem\] Let $g$ be a positive integer. Let $U$ be a contractible open subset of $\Sigma_g$ and $N$ a positive integer. Then, there exists a bi-Lipschitz injective homomorphism $$I\colon(\mathbb{R}^N,{\mathop{\mathrm{osc}}\nolimits})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$

Since all norms on a finite-dimensional vector space are equivalent, the restriction of ${\mathop{\mathrm{osc}}\nolimits}$ to $\mathbb{Z}^{2g-2}\subset\mathbb{R}^{2g-2}$ is equivalent to the word metric on $\mathbb{Z}^{2g-2}$.

Moreover, as a corollary of Theorem \[theorem:main3\], we prove the following result.

\[annulus frag\] Let $g$ be a positive integer and $C$ be a non-contractible simple closed curve in $\Sigma_g$. Let $\mathcal{U}=\{U_\lambda\}_{\lambda}$ be an open covering such that each $U_\lambda$ is displaceable from $C
$ and $ U$ be a contractible open subset of $ \Sigma_g$. Then, there exists a bi - Lipschitz injective homomorphism $ $ I\colon(\mathbb{Z}^{2g-2},\|\cdot\|_{\mathrm{word}})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$ 

 Here $ \|\cdot\|_{\mathrm{word}}$ is the word metric on $ \mathbb{Z}^{2g-2}$. We charge out that Burago, Ivanov, and Polterovich [ @BIP ] already prove the existence of a bi - Lipschitz injective homomorphism $ I\colon(\mathbb{Z},\lvert\cdot\rvert)\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U)$, where $ g$ is incontrovertible and $ U$ is displaceable. refer to Theorem \[Brandenbursky\ ], Brandenbursky asked whether one can construct a bi - Lipschitz injective homomorphism $ \mathbb{Z}^N\to{\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g)$ for any $ N$ and any $ g\geq 2 $ [ @Br Remark 1.5 ]. As a corollary of Theorem \[theorem: main\ ], we clear his trouble and generalize Theorem \[Brandenbursky\ ]. 

 \[surface main theorem\ ] Let $ g$ be a positive integer. Let $ U$ be a contractible receptive subset of $ \Sigma_g$ and $ N$ a positive integer. Then, there exists a bi - Lipschitz injective homomorphism $ $ I\colon(\mathbb{R}^N,{\mathop{\mathrm{osc}}\nolimits})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$ 

 Since all average on a finite - dimensional vector quad are equivalent, the restriction of $ { \mathop{\mathrm{osc}}\nolimits}$ to $ \mathbb{Z}^{2g-2}\subset\mathbb{R}^{2g-2}$ is equivalent to the word metric on $ \mathbb{Z}^{2g-2}$. 

 Moreover, as a corollary of Theorem \[theorem: main3\ ], we prove the following consequence. 

 \[annulus frag\ ] Let $ g$ be a positive integer and $ C$ be a non - contractible simple shut curve in $ \Sigma_g$. Let $ \mathcal{U}=\{U_\lambda\}_{\lambda}$ be an overt covering such that each $ U_\lambda$ is displaceable from $ degree centigrade
$ anf $U$ be a contractible optn subset of $\Sigmc_t$. Then, there exists x bi-Lipschitz injective homoloephisn $$I\colon(\mathbb{Z}^{2g-2},\|\cdot\|_{\maghrm{word}})\tl({\mathop{\mqthrn{Yam}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$

Hedc $\|\cdoc\|_{\methrm{word}}$ is thg word metriw on $\mathbb{Z}^{2g-2}$. Fe plint out that Burago, Ivanov, and Poleerovicn [@HIP] already prjved ehe sqiwtence of a bi-Lipschitz injecfive hokomorphism $I\cplon(\mathbb{Z},\lvert\cdot\rvert)\tl({\matjop{\mathrm{Ham}}\nolimihs}(\Sigma_g),\|\cdoj\|_H)$, wrwre $g$ is posktive and $L$ is displadeable. Relating to Theorem \[Branaenbuxsky\], Brandebbyrsni asked whetier onv can construgn a bi-Lhpschita injective hokommrpyism $\mathbb{Z}^N\to{\mathop{\kathrm{Ham}}\nolimits}(\Sygma_g)$ for auy $N$ and any $g\geq 2$ [@Br Rwmark 1.5]. As a cueoluarg pf Theorfm \[vheorem:main\], we solve hus problem and genetajpae Theorem \[Bdandenfuwsky\].

\[surface main theorem\] Let $g$ be a posptivs integer. Let $U$ be a cobtractible open subsej of $\Sigma_d$ and $N$ a positive integer. Then, there exists a bi-Nipsciigz nkmectkce homomorphism $$I\colon(\mathbb{R}^N,{\mathop{\mathrm{osc}}\nojjmotx})\to({\mathop{\mathri{Ham}}\nolimitx}(\Slgkw_g),\|\cdot\|_U).$$

Since xll noxjs on a finite-dimenslonal vgctor wpace are equovalent, the restriction of ${\nathop{\mathrm{jwc}}\nolimits}$ to $\mathyb{Z}^{2g-2}\subset\machbb{R}^{2g-2}$ is eauivalent to the word mztric kn $\mathbb{Z}^{2g-2}$.

Loreover, zr a corollary of Thvorek \[theorem:main3\], we prove the followinj resblt.

\[annuljs ftag\] Let $g$ be a poditivc integer and $C$ be w non-eontrdctible silple closed curve in $\Sigma_g$. Let $\mathcal{U}=\{U_\lambca\}_{\namtda}$ be au open covering sucr that each $U_\lcmbda$ is dispuaceable fgom $C
$ and $U$ be a contractible open $\Sigma_g$. there exists bi-Lipschitz injective homomorphism word on $\mathbb{Z}^{2g-2}$. We out that Burago, and Polterovich [@BIP] already proved the of a bi-Lipschitz injective homomorphism $I\colon(\mathbb{Z},\lvert\cdot\rvert)\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U)$, where $g$ is positive and $U$ is Relating to Theorem \[Brandenbursky\], Brandenbursky asked whether one can construct a bi-Lipschitz injective $\mathbb{Z}^N\to{\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g)$ any and $g\geq 2$ [@Br Remark 1.5]. As a corollary of Theorem \[theorem:main\], we solve his problem and Theorem \[Brandenbursky\]. \[surface main theorem\] Let $g$ be positive integer. Let $U$ a contractible open subset of and a positive Then, exists bi-Lipschitz injective homomorphism Since all norms on a finite-dimensional vector space are equivalent, the restriction of ${\mathop{\mathrm{osc}}\nolimits}$ to $\mathbb{Z}^{2g-2}\subset\mathbb{R}^{2g-2}$ is to the on $\mathbb{Z}^{2g-2}$. as corollary Theorem \[theorem:main3\], we following result. \[annulus frag\] Let $g$ integer and $C$ be a non-contractible simple closed in $\Sigma_g$. $\mathcal{U}=\{U_\lambda\}_{\lambda}$ be an open covering such each $U_\lambda$ is displaceable from $C
$ and $U$ be a contractible open suBset of $\SigmA_g$. TheN, thEre ExIsts A bi-LIpschitz injectIVe hoMomorphism $$I\colon(\mathbb{z}^{2g-2},\|\cdoT\|_{\mAThrm{WOrD}})\to({\maThop{\matHRm{hAM}}\noLiMiTs}(\SIgMA_g),\|\Cdot\|_U).$$

herE $\|\cdot\|_{\maThrm{word}}$ is The WoRd metric on $\maTHbB{Z}^{2g-2}$. We point Out That Burago, IvAnoV, and PoLtEroVIch [@BIp] alReady Proved THe exisTence of a bI-LIPschitZ InjectiVE HoMomoRphism $I\colon(\mathbB{z},\lVErt\cdot\rvert)\to({\Mathop{\MaTHrM{hAm}}\nOliMits}(\Sigma_g),\|\CdOt\|_U)$, whERe $g$ is poSItIVE And $u$ Is displaceablE. Relating to tHeoRem \[BraNdEnbURsky\], BrAndenBuRSky Asked whetheR one Can constrUct a bi-lIpschitZ InjectiVe homoMorPhiSm $\maTHbB{Z}^n\to{\MaTHop{\MAtHrm{hAm}}\nOlimits}(\SIgMa_G)$ for aNy $N$ aND ANY $g\geQ 2$ [@Br remaRk 1.5]. As a Corollary of ThEorEm \[thEOreM:main\], We solVe hiS pRobleM and geNeralIzE Theorem \[BrandenBursKy\].

\[surface MaiN tHeoReM\] Let $g$ BE a posiTivE inTeger. LeT $U$ be a coNTraCtIBLE oPen subset of $\Sigma_g$ aNd $n$ A PoSitive inTeger. THEn, ThERe exists A bI-LiPschITZ injeCtivE HoMomorphiSm $$I\colON(\mAtHbb{R}^N,{\maThOp{\mathRm{Osc}}\NolImits})\TO({\matHop{\matHrm{Ham}}\noLimitS}(\sigma_g),\|\cdot\|_U).$$

SinCE all norms on a fINiTE-DiMEnsiOnaL vector spacE are EQuivAlenT, ThE reSTrictIon of ${\MaTHoP{\Mathrm{osc}}\nolimits}$ to $\MaThbb{Z}^{2g-2}\SubseT\mathbb{R}^{2g-2}$ is eqUivalent to THE Word metrIc on $\MAtHBb{Z}^{2g-2}$.

Moreover, as A coroLlary of TheORem \[theorEm:maiN3\], we prove The followING result.

\[aNnuLus FraG\] LeT $G$ Be A positive inteGER and $c$ bE a non-coNtrActible SimPle CloSed CuRve in $\SigmA_g$. Let $\matHcAl{u}=\{U_\LaMbdA\}_{\lambDA}$ be an opeN cOveRiNg sUch thAT each $U_\LambdA$ is dIsPlACeaBle from $c
$ and $U$ be a contractibl e open sub set o f $ \Si gm a_g$ . Th en, there exis t s abi-Lipschitz injective  homo mo r phis m  $ $I\co lon(\ma t hb b { Z}^ {2 g- 2}, \| \ cd ot\|_ {\m athrm{w ord}})\to( {\m at hop{\mathrm{ H am }}\nolimit s}( \Sigma_g),\| \cd ot\|_U ). $$Here$\| \cdot \|_{\m a thrm{w ord}}$ is  t h e word metrico n  $ \mat hbb{Z}^{2g-2}$. W e  p o int out that B urago,  I v an o v , a ndPolterovic h[@BIP ]  alread y  p r o v edt he existenceof a bi-Lip s chi tz inj ec tiv e  homom orphi sm $I\ colon(\math bb{Z },\lvert\ cdot\r v ert)\to ( {\matho p{\mat hrm {Ha m}}\ n ol im its }( \ Sig m a_ g), \ |\c dot\|_U) $,  w here$g$i s p osit ive  and  $U$is displaceab le.  Rel a tin g toTheor em \ [B rande nbursk y\],Br andenbursky ask ed w hether on e c an  co ns truct a bi-L ips chi tz inje ctive h o mom or p h i sm  $\mathbb{Z}^N\to{ \m a t ho p{\mathr m{Ham} } \n ol i mits}(\S ig ma_ g)$f o r any  $N$ an d any $g \geq 2 $  [ @B r Remar k1.5].As  acor ollar y  ofTheore m \[theo rem:m a in\], we solve his problem a n dg e ne r aliz e T heorem \[Br ande n burs ky\] . 
\[s u rface  main  t h eo r em\] Let $g$ be a p os itiveinteg er. Let $U$ b e a contra c t i ble open  sub s et of $\Sigma_g$and $ N$ a posit i ve integ er. T hen, the re exists a  bi-Lips chi tzinj ect i v ehomomorphism$ $ I\co lo n(\math bb{ R}^N,{\ mat hop {\m ath rm {osc}}\no limits}) \t o( {\ ma tho p{\ma t hrm{Ham} }\ nol im its }(\Si g ma_g), \|\cd ot\| _U ). $ $
Since a l ln o rmson  a  fin ite -d imens iona l  ve ctor sp ace are e qui v alen t,  t he rest riction of ${ \m athop{\mat hr m{o sc}}\n o l imits}$to $\mathbb{Z}^{2g-2}\s u bset\ma thb b{R}^ {2g- 2}$ is eq uiv alenttot he wor d metr ic on  $ \ma t h bb{Z} ^ { 2g -2} $. 

Moreover , asa cor ol lary  of The orem \[theorem:mai n 3\] , we prove th e f ollo w i ng  re s ul t .
\[ a nnu l u s frag\] Let $g $ be a pos it i ve  integer a n d $ C$  be a n on-cont racti b le simp le closed  curve in  $ \Sig m a _g$ . Let $\ma thcal{U} =\{U_\lam b da\}_ { \l ambda }$be anop encover ing su c h t hat e ach $U _\ lambda $ isdi splaceab le from $C
$ and_$U$ be_a contractible open subset_of $\Sigma_g$._Then,_there exists_a_bi-Lipschitz injective homomorphism_$$I\colon(\mathbb{Z}^{2g-2},\|\cdot\|_{\mathrm{word}})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$

Here $\|\cdot\|_{\mathrm{word}}$ is_the word metric on_$\mathbb{Z}^{2g-2}$. We point_out_that Burago, Ivanov, and Polterovich [@BIP] already proved the existence of a bi-Lipschitz injective_homomorphism_$I\colon(\mathbb{Z},\lvert\cdot\rvert)\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U)$, where_$g$_is_positive and $U$ is displaceable._Relating to Theorem \[Brandenbursky\], Brandenbursky_asked whether_one can construct a bi-Lipschitz injective homomorphism $\mathbb{Z}^N\to{\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g)$_for_any $N$ and_any $g\geq 2$ [@Br Remark 1.5]. As a corollary_of Theorem \[theorem:main\], we solve his_problem and generalize_Theorem_\[Brandenbursky\].

\[surface_main theorem\] Let $g$_be a positive integer. Let $U$_be a contractible open subset of_$\Sigma_g$ and $N$ a positive integer. Then,_there exists a bi-Lipschitz injective homomorphism_$$I\colon(\mathbb{R}^N,{\mathop{\mathrm{osc}}\nolimits})\to({\mathop{\mathrm{Ham}}\nolimits}(\Sigma_g),\|\cdot\|_U).$$

Since all norms on a_finite-dimensional vector_space are equivalent, the restriction_of ${\mathop{\mathrm{osc}}\nolimits}$ to_$\mathbb{Z}^{2g-2}\subset\mathbb{R}^{2g-2}$ is_equivalent to the_word metric on $\mathbb{Z}^{2g-2}$.

Moreover, as a_corollary of Theorem_\[theorem:main3\], we prove the following result.

\[annulus_frag\]_Let $g$ be_a_positive_integer and_$C$ be a_non-contractible_simple closed_curve_in $\Sigma_g$. Let $\mathcal{U}=\{U_\lambda\}_{\lambda}$ be an_open_covering such that each $U_\lambda$ is displaceable_from $C