 any positive integer $n$ with $n>\sqrt d n'$ and any $1\leq i\leq d$, the vector $(n, \cdots, n)+u_i$ is contained in the open ball $B_{(n, \cdots, n), n/\sqrt d}$ in ${\ensuremath{\mathbb{R}}}^d$ with center at the point $(n,\cdots, n)$ with radius $n/\sqrt d$, and it is also contained in ${\ensuremath{\mathcal{D}}}$. Hence the vectors $u_1, \cdots, u_d$ are scalar multiples of $(1, \cdots, 1)$, which is absurd. So ${\ensuremath{\mathcal{D}}}$ is not eventually periodic.

For any element $(x_1, \cdots, x_d)$ of ${\ensuremath{\mathbb{Z}}}^d$, $(x_i, \cdots, x_i)$ belongs to ${\ensuremath{\mathcal{D}}}$ and ${\ensuremath{\mathcal{H}}}_i$ contains $(x_1, \cdots, x_d) - (x_i, \cdots, x_i)$ and hence ${\ensuremath{\mathcal{H}}}_i$ is a complement of ${\ensuremath{\mathcal{D}}}$.

Suppose $M_i$ is a subset of ${\ensuremath{\mathcal{H}}}_i$ such that $M_i + {\ensuremath{\mathcal{D}}}= {\ensuremath{\mathbb{Z}}}^d$. Note that the $i$-th coordinate of any element of $M_i + {\ensuremath{\mathcal{D}}}\setminus\{(0,\cdots,0)\}$ is nonzero. So it contains no element of ${\ensuremath{\mathcal{H}}}_i$. Thus ${\ensuremath{\mathcal{H}}}_i$ is contained in $(0,\cdots, 0) + M_i$. So $M_i$ is equal to ${\ensuremath{\mathcal{H}}}_i$. Hence ${\ensuremath{\mathcal{H}}}_i$ is a minimal complement to ${\ensuremath{\mathcal{D}}}$.

\[prop6.2\] Let $d\geq 2$ be a positive integer. Let $f_1, \cdots, f_d$ be elements of ${\ensuremath{\mathbb{Z}}}[X_1, \cdots, X_m]$. Define the subset ${\ensuremath{\mathcal{S}}}$ of ${\ensuremath{\mathbb{Z}}}^d$ by $${\ensuremath{\mathcal{S}}}:= \{( f_1(n_1, \cdots,
any positive integer $ n$ with $ n>\sqrt d n'$ and any $ 1\leq i\leq d$, the vector $ (n, \cdots, n)+u_i$ is contained in the open ball $ B_{(n, \cdots, n), n/\sqrt d}$ in $ { \ensuremath{\mathbb{R}}}^d$ with plaza at the item $ (n,\cdots, n)$ with radius $ n/\sqrt d$, and it is also contained in $ { \ensuremath{\mathcal{D}}}$. therefore the vectors $ u_1, \cdots, u_d$ are scalar multiples of $ (1, \cdots, 1)$, which is absurd. So $ { \ensuremath{\mathcal{D}}}$ is not finally periodic. 

 For any component $ (x_1, \cdots, x_d)$ of $ { \ensuremath{\mathbb{Z}}}^d$, $ (x_i, \cdots, x_i)$ belongs to $ { \ensuremath{\mathcal{D}}}$ and $ { \ensuremath{\mathcal{H}}}_i$ contains $ (x_1, \cdots, x_d) - (x_i, \cdots, x_i)$ and hence $ { \ensuremath{\mathcal{H}}}_i$ is a complement of $ { \ensuremath{\mathcal{D}}}$. 

 Suppose $ M_i$ is a subset of $ { \ensuremath{\mathcal{H}}}_i$ such that $ M_i + { \ensuremath{\mathcal{D}}}= { \ensuremath{\mathbb{Z}}}^d$. notice that the $ i$-th coordinate of any element of $ M_i + { \ensuremath{\mathcal{D}}}\setminus\{(0,\cdots,0)\}$ is nonzero. So it contains no element of $ { \ensuremath{\mathcal{H}}}_i$. therefore $ { \ensuremath{\mathcal{H}}}_i$ is contained in $ (0,\cdots, 0) + M_i$. So $ M_i$ is adequate to $ { \ensuremath{\mathcal{H}}}_i$. Hence $ { \ensuremath{\mathcal{H}}}_i$ is a minimal complement to $ { \ensuremath{\mathcal{D}}}$. 

 \[prop6.2\ ] lease $ d\geq 2 $ be a convinced integer. Let $ f_1, \cdots, f_d$ be elements of $ { \ensuremath{\mathbb{Z}}}[X_1, \cdots, X_m]$. Define the subset $ { \ensuremath{\mathcal{S}}}$ of $ { \ensuremath{\mathbb{Z}}}^d$ by $ $ { \ensuremath{\mathcal{S}}}:= \ { (f_1(n_1, \cdots,
 anj positive integer $n$ witm $n>\sqrt d n'$ and cby $1\leq i\leq s$, the veztor $(n, \cdots, n)+u_i$ is containev in the ipen ball $B_{(n, \cdots, n), n/\rqrt d}$ in ${\ensuremqth{\methbb{R}}}^d$ with cenvsr at tmz poihb $(n,\cdmvs, n)$ with radiux $n/\sqrt d$, dnd it is also cuncained in ${\ensuremath{\mathcal{D}}}$. Hence tre vectprd $u_1, \cdots, u_d$ ate scsjar jlluiples of $(1, \cdots, 1)$, which is absurd. So ${\enslremath{\mathcal{D}}}$ ix not eventually periodic.

Flr ajy element $(x_1, \cdots, x_d)$ of ${\ensutsmaey{\mathbb{Z}}}^d$, $(x_i, \cdots, x_i)$ belongs to ${\ehsuremath{\mathcal{D}}}$ and ${\ensurematf{\matheal{H}}}_i$ contaunw $(x_1, \wdots, x_d) - (x_m, \cdotf, x_i)$ and hengv ${\ensuramath{\mayhcal{H}}}_i$ is a cpmpnemwnt of ${\ensuremath{\mathral{D}}}$.

Suppose $M_i$ is a fubset of ${\eusuremath{\mathcal{H}}}_i$ suxh that $M_i + {\ensjeemxth{\javhczl{D}}}= {\endurxmath{\mathbb{A}}}^d$. Note thar the $i$-th coordinatt os any element kf $M_i + {\egsuremath{\mathcal{D}}}\setminus\{(0,\cdots,0)\}$ is nonzego. Sk it contains no elemenr of ${\ensuremath{\mathcap{H}}}_i$. Thus ${\qnsuremath{\mathcal{H}}}_i$ is contained in $(0,\cdots, 0) + M_i$. So $M_i$ ia eqbql to ${\wnduremath{\mathcal{H}}}_i$. Hence ${\ensuremath{\mathcal{H}}}_i$ if a mpnimal complement to ${\ensuremstj{\msjhcal{D}}}$.

\[prop6.2\] Let $d\geq 2$ be a positive integeg. Let $f_1, \cdotw, f_d$ be ejememts of ${\ensuremath{\mathbb{Z}}}[X_1, \ceots, X_m]$. Defiue rhe subset ${\ensuremcth{\mathcal{S}}}$ uf ${\emsurekath{\mathbb{Z}}}^d$ by $${\ensuremcth{\matgcal{S}}}:= \{( f_1(n_1, \cfots,
any positive integer $n$ with $n>\sqrt d any i\leq d$, vector $(n, \cdots, open $B_{(n, \cdots, n), d}$ in ${\ensuremath{\mathbb{R}}}^d$ center at the point $(n,\cdots, n)$ radius $n/\sqrt d$, and it is also contained in ${\ensuremath{\mathcal{D}}}$. Hence the vectors \cdots, u_d$ are scalar multiples of $(1, \cdots, 1)$, which is absurd. So is eventually For element $(x_1, \cdots, x_d)$ of ${\ensuremath{\mathbb{Z}}}^d$, $(x_i, \cdots, x_i)$ belongs to ${\ensuremath{\mathcal{D}}}$ and ${\ensuremath{\mathcal{H}}}_i$ contains $(x_1, x_d) - (x_i, \cdots, x_i)$ and hence ${\ensuremath{\mathcal{H}}}_i$ a complement of ${\ensuremath{\mathcal{D}}}$. $M_i$ is a subset of such $M_i + {\ensuremath{\mathbb{Z}}}^d$. that $i$-th coordinate of element of $M_i + {\ensuremath{\mathcal{D}}}\setminus\{(0,\cdots,0)\}$ is nonzero. So it contains no element of ${\ensuremath{\mathcal{H}}}_i$. Thus ${\ensuremath{\mathcal{H}}}_i$ is in $(0,\cdots, M_i$. So is to Hence ${\ensuremath{\mathcal{H}}}_i$ is complement to ${\ensuremath{\mathcal{D}}}$. \[prop6.2\] Let $d\geq positive integer. Let $f_1, \cdots, f_d$ be elements ${\ensuremath{\mathbb{Z}}}[X_1, \cdots, Define the subset ${\ensuremath{\mathcal{S}}}$ of ${\ensuremath{\mathbb{Z}}}^d$ $${\ensuremath{\mathcal{S}}}:= \{( f_1(n_1, \cdots,
 any positive integer $n$ with $n>\sQrt d n'$ and anY $1\leq i\Leq D$, thE vEctoR $(n, \cdOts, n)+u_i$ is contaiNEd in The open ball $B_{(n, \cdots, n), n/\sqRt d}$ in ${\EnSUremATh{\MathbB{R}}}^d$ with CEnTER at ThE pOinT $(n,\CDoTs, n)$ wiTh rAdius $n/\sQrt d$, and it iS alSo Contained in ${\eNSuRemath{\mathCal{d}}}$. Hence the vecTorS $u_1, \cdotS, u_D$ arE ScalaR muLtiplEs of $(1, \cdOTs, 1)$, whicH is absurd. so ${\ENsuremATh{\mathcAL{d}}}$ iS not Eventually periodiC.

foR Any element $(x_1, \cdoTs, x_d)$ of ${\EnSUrEMAth{\MatHbb{Z}}}^d$, $(x_i, \cdoTs, X_i)$ belONgs to ${\enSUrEMATh{\mAThcal{D}}}$ and ${\ensuRemath{\mathcAL{H}}}_i$ ContaiNs $(X_1, \cdOTs, x_d) - (x_i, \Cdots, X_i)$ ANd hEnce ${\ensuremAth{\mAthcal{H}}}_i$ iS a compLEment of ${\ENsuremaTh{\mathCal{d}}}$.

SuPposE $m_i$ Is A suBsET of ${\ENsUreMAth{\Mathcal{H}}}_I$ sUcH that $m_i + {\enSUREMath{\MatHcal{d}}}= {\ensuRemath{\mathbb{Z}}}^D$. NoTe thAT thE $i$-th cOordiNate Of Any elEment oF $M_i + {\enSuRemath{\mathcal{D}}}\sEtmiNus\{(0,\cdots,0)\}$ iS noNzEro. so It conTAins no EleMenT of ${\ensuRemath{\mAThcAl{h}}}_I$. tHuS ${\ensuremath{\mathcal{h}}}_i$ IS CoNtained iN $(0,\cdots, 0) + m_I$. SO $M_I$ Is equal tO ${\eNsuRemaTH{\MathcAl{H}}}_i$. hEnCe ${\ensureMath{\maTHcAl{h}}}_i$ is a miNiMal comPlEmeNt tO ${\ensuREmatH{\mathcAl{D}}}$.

\[prop6.2\] LEt $d\geQ 2$ Be a positive intEGer. Let $f_1, \cdots, f_D$ Be ELEmENts oF ${\enSuremath{\matHbb{Z}}}[x_1, \CdotS, X_m]$. DEFiNe tHE subsEt ${\ensUrEMaTH{\mathcal{S}}}$ of ${\ensuremaTh{\Mathbb{z}}}^d$ by $${\eNsuremath{\mathCal{S}}}:= \{( f_1(n_1, \cdotS,
 any positive integer $n$with $n>\s qrt d  n' $ a nd  any  $1\ leq i\leq d$,t he v ector $(n, \cdots, n)+ u_i$is cont a in ed in  the op e nb a ll$B _{ (n,  \ c do ts, n ),n/\sqrt  d}$ in ${ \en su remath{\math b b{ R}}}^d$ wi thcenter at th e p oint $ (n ,\c d ots,n)$  with  radiu s  $n/\s qrt d$, a nd it isa lso con t a in ed i n ${\ensuremath{\ m at h cal{D}}}$. Hen ce the  v e ct o r s $ u_1 , \cdots,u_ d$ ar e  scalar mu l t i ple s  of $(1, \cdo ts, 1)$, wh i chis abs ur d.S o ${\e nsure ma t h{\ mathcal{D}} }$ i s not eve ntuall y  period i c.

For  any e lem ent  $(x _ 1,  \ cdo ts ,  x_ d )$  of ${\ ensurema th {\ mathb b{Z} } } ^ d $, $ (x_ i, \ cdots , x_i)$ belon gsto $ { \en surem ath{\ math ca l{D}} }$ and  ${\e ns uremath{\mathca l{H} }}_i$ con tai ns  $( x_ 1, \c d ots, x _d)  -(x_i, \ cdots,x _i) $a n d  h ence ${\ensuremath {\ m a th cal{H}}} _i$ is aco m plementof  ${ \ens u r emath {\ma t hc al{D}}}$ .

Sup p os e$M_i$ i sa subs et  of  ${ \ensu r emat h{\mat hcal{H}} }_i$s uch that $M_i+  {\ensuremath { \m a t hc a l{D} }}=  {\ensurema th{\ m athb b{Z} } }^ d$. Notethatth e  $ i $-th coordinate ofan y elem ent o f $M_i + {\en suremath{\ m a t hcal{D}} }\se t mi n us\{(0,\cdots, 0)\}$  is nonzer o . So itconta ins no e lement of $ {\ensure mat h{\ mat hca l { H} }}_i$. Thus $ { \ ensu re math{\m ath cal{H}} }_i $ i s c ont ai ned in $( 0,\cdots ,0)  +  M _i$ . So$ M_i$ iseq ual  t o $ {\ens u remath {\mat hcal {H }} } _i$ . Hence ${ \ e nsur em at h{\m ath ca l{H}} }_i$ isa minim al comple men t  to${ \e nsurema th{\mathcal{D }} }$.

\[pro p6 .2\ ] Let$ d \geq 2$be a positive integer.L et $f_1 , \ cdots , f_ d$ be ele men ts of${\ e nsurem ath{\m athbb {Z }}} [ X _1, \ c d ot s,X_ m]$. Defin e the  subs et  ${\ ensurem ath{\mathcal{S}}}$ of${\ensuremath {\m athb b { Z} }}^ d $b y $ ${ \ ens u r emath{\mathcal{ S}}}:= \{(  f _ 1( n_1, \cdot s ,
 any_positive integer_$n$ with $n>\sqrt d_n'$ and_any_$1\leq i\leq_d$,_the vector $(n,_\cdots, n)+u_i$ is_contained in the open_ball $B_{(n, \cdots,_n),_n/\sqrt d}$ in ${\ensuremath{\mathbb{R}}}^d$ with center at the point $(n,\cdots, n)$ with radius $n/\sqrt_d$,_and it_is_also_contained in ${\ensuremath{\mathcal{D}}}$. Hence the_vectors $u_1, \cdots, u_d$ are_scalar multiples_of $(1, \cdots, 1)$, which is absurd. So_${\ensuremath{\mathcal{D}}}$_is not eventually_periodic.

For any element $(x_1, \cdots, x_d)$ of ${\ensuremath{\mathbb{Z}}}^d$, $(x_i,_\cdots, x_i)$ belongs to ${\ensuremath{\mathcal{D}}}$ and_${\ensuremath{\mathcal{H}}}_i$ contains $(x_1,_\cdots,_x_d)_- (x_i, \cdots, x_i)$_and hence ${\ensuremath{\mathcal{H}}}_i$ is a complement_of ${\ensuremath{\mathcal{D}}}$.

Suppose $M_i$ is a subset_of ${\ensuremath{\mathcal{H}}}_i$ such that $M_i + {\ensuremath{\mathcal{D}}}=_{\ensuremath{\mathbb{Z}}}^d$. Note that the $i$-th coordinate_of any element of $M_i_+ {\ensuremath{\mathcal{D}}}\setminus\{(0,\cdots,0)\}$_is nonzero. So it contains_no element of_${\ensuremath{\mathcal{H}}}_i$. Thus_${\ensuremath{\mathcal{H}}}_i$ is contained_in $(0,\cdots, 0) + M_i$. So_$M_i$ is equal_to ${\ensuremath{\mathcal{H}}}_i$. Hence ${\ensuremath{\mathcal{H}}}_i$ is a_minimal_complement to ${\ensuremath{\mathcal{D}}}$.

\[prop6.2\]_Let_$d\geq_2$ be_a positive integer._Let_$f_1, \cdots,_f_d$_be elements of ${\ensuremath{\mathbb{Z}}}[X_1, \cdots, X_m]$._Define_the subset ${\ensuremath{\mathcal{S}}}$ of ${\ensuremath{\mathbb{Z}}}^d$ by $${\ensuremath{\mathcal{S}}}:=_\{( f_1(n_1, \cdots,