 have $$\overline{G}^j(\overline{F}^i(x)) =
G^j(F^i(x) + i\ell) =
G^j(F^i(x)) + i\ell.$$ This gives (b) for $i=0,1,\dots,q-1$. The fact that $\overline{P}_q(x) = P_q(x) + q\ell$ follows from (b) for $i=0$ and from the definition of these two sets.

Suppose that $\ell$ satisfies the assumption of (c). From (b) and the choice of $\ell$, we have $$\min \Re(\overline{P}_{i+1}(x)) - \max \Re(\overline{P}_i(x)) =
\min \Re(P_{i+1}(x)) - \max \Re(P_i(x)) + \ell > 0$$ for every $i \in \{0,1,\dots,q-1\}.$ Hence (c) holds.

It is not difficult to show that, for every $\ell \in \Z$, $\operatorname{Per}(p/q,F) = \operatorname{Per}((p+q\ell)/q,F+\ell).$ Consequently, by changing the lifting and the number $p$, if necessary, we may assume that $P$ has an increasing block structure by Lemma \[sepblocks\]. Moreover, by replacing the point $x$ by $x-m$, we may also assume that the branching point of $\chull{P_0(x)}$ is 0 (that is, $m=0$). To simplify the notation, we shall omit the dependence from $x$ of the blocks $P_i(x)$ in what follows.

Let $I_1,I_2,I_3$ denote the three $P_0 \cup \{0\}$-basic intervals in $\chull{P_0}$ that have an endpoint equal to $0$ and let ${\mathcal{G}}$ be the directed graph with vertices $I_1,I_2,I_3$ such that there is an arrow $I_i {\nolinebreak[4]\longrightarrow\nolinebreak[4]}I_j$ if and only if $\chull{G(\partial
I_i)}\supset I_j$ (notice that arrows in
have $ $ \overline{G}^j(\overline{F}^i(x) ) = 
 G^j(F^i(x) + i\ell) = 
 G^j(F^i(x) ) + i\ell.$$ This gives (b) for $ i=0,1,\dots, q-1$. The fact that $ \overline{P}_q(x) = P_q(x) + q\ell$ follows from (boron) for $ i=0 $ and from the definition of these two set. 

 Suppose that $ \ell$ satisfies the assumption of (speed of light). From (b) and the choice of $ \ell$, we hold $ $ \min \Re(\overline{P}_{i+1}(x) ) - \max \Re(\overline{P}_i(x) ) = 
 \min \Re(P_{i+1}(x) ) - \max \Re(P_i(x) ) + \ell > 0$$ for every $ i \in \{0,1,\dots, q-1\}.$ Hence (c) cargo area. 

 It is not difficult to show that, for every $ \ell \in \Z$, $ \operatorname{Per}(p / q, F) = \operatorname{Per}((p+q\ell)/q, F+\ell).$ Consequently, by change the lifting and the number $ p$, if necessary, we may assume that $ P$ has an increasing block structure by Lemma   \[sepblocks\ ]. furthermore, by replacing the point $ x$ by $ x - m$, we may besides assume that the branching point of $ \chull{P_0(x)}$ is 0 (that is, $ m=0 $). To simplify the notation, we shall omit the addiction from $ x$ of the blocks $ P_i(x)$ in what follow. 

 Let $ I_1,I_2,I_3 $ denote the three $ P_0 \cup \{0\}$-basic intervals in $ \chull{P_0}$ that own an endpoint equal to $ 0 $ and let $ { \mathcal{G}}$ be the directed graph with vertices $ I_1,I_2,I_3 $ such that there is an arrow $ I_i { \nolinebreak[4]\longrightarrow\nolinebreak[4]}I_j$ if and merely if $ \chull{G(\partial 
 I_i)}\supset I_j$ (notice that arrows in
 hage $$\overline{G}^j(\overline{F}^i(x)) =
G^j(F^i(x) + i\ell) =
G^j(Y^u(x)) + i\enl.$$ Thia gives (c) for $i=0,1,\dots,q-1$. The fact that $\oterlune{P}_q(z) = P_q(x) + q\ell$ follows ffom (b) for $i=0$ and feom uhe definition of these two seta.

Duppmwe that $\ell$ sajisfies the dssumption of (w). Wrlm (b) and the choice of $\ell$, we have $$\iin \Re(\ofegline{P}_{i+1}(x)) - \max \Te(\oveglyne{P}_j(q)) =
\nin \Re(P_{i+1}(x)) - \max \Re(P_i(x)) + \ell > 0$$ fkr everj $i \in \{0,1,\dots,q-1\}.$ Hencr (c) holds.

It is not difficupt tl show that, for evfry $\ell \in \E$, $\opqeatorname{Per}(o/q,F) = \operauoxname{Per}((p+q\eml)/q,F+\ell).$ Consequently, by changine the lifting abd thf number $p$, ih necefsary, we may assume dhat $P$ nas an increaslng bnocj structure by Lemma \[sxpblocks\]. Moreover, by replacinc che point $x$ by $x-m$, we nat alsm asvume rhag tge bdanchijg 'oint of $\chhll{P_0(x)}$ is 0 (tyat is, $m=0$). To simplifu eye notation, ws shalj jmit the dependence from $x$ of the blockv $P_j(x)$ in what follows.

Let $I_1,U_2,I_3$ denote the three $P_0 \cup \{0\}$-basis intervals in $\chull{P_0}$ that have an endpoint equal to $0$ ena ltt ${\mathzql{H}}$ be the directed graph with vertices $I_1,I_2,I_3$ sucr tnan there is an arrjw $I_i {\nolinrbgesh[4]\longrightarruw\noliusbdeak[4]}I_j$ if and only if $\chujl{G(\paetial
I_i)}\sukset O_j$ (notice that arrows in
have $$\overline{G}^j(\overline{F}^i(x)) = G^j(F^i(x) + i\ell) = i\ell.$$ gives (b) $i=0,1,\dots,q-1$. The fact q\ell$ from (b) for and from the of these two sets. Suppose that satisfies the assumption of (c). From (b) and the choice of $\ell$, we $$\min \Re(\overline{P}_{i+1}(x)) - \max \Re(\overline{P}_i(x)) = \min \Re(P_{i+1}(x)) - \max \Re(P_i(x)) + \ell 0$$ every \in Hence (c) holds. It is not difficult to show that, for every $\ell \in \Z$, $\operatorname{Per}(p/q,F) \operatorname{Per}((p+q\ell)/q,F+\ell).$ Consequently, by changing the lifting and the $p$, if necessary, we assume that $P$ has an block by Lemma Moreover, replacing point $x$ by we may also assume that the branching point of $\chull{P_0(x)}$ is 0 (that is, $m=0$). To simplify notation, we the dependence $x$ the $P_i(x)$ in what $I_1,I_2,I_3$ denote the three $P_0 \cup $\chull{P_0}$ that have an endpoint equal to $0$ let ${\mathcal{G}}$ the directed graph with vertices $I_1,I_2,I_3$ that there is an arrow $I_i {\nolinebreak[4]\longrightarrow\nolinebreak[4]}I_j$ if only if $\chull{G(\partial I_i)}\supset I_j$ (notice that arrows in
 have $$\overline{G}^j(\overline{F}^i(x)) =
g^j(F^i(x) + i\ell) =
G^J(F^i(x)) + i\Ell.$$ thiS gIves (B) for $I=0,1,\dots,q-1$. The fact tHAt $\ovErline{P}_q(x) = P_q(x) + q\ell$ followS from (B) fOR $i=0$ anD FrOm the DefinitIOn OF TheSe TwO seTs.

sUpPose tHat $\Ell$ satiSfies the asSumPtIon of (c). From (b) aND tHe choice of $\Ell$, We have $$\min \Re(\oVerLine{P}_{i+1}(X)) - \mAx \RE(\OverlIne{p}_i(x)) =
\miN \Re(P_{i+1}(x)) - \MAx \Re(P_i(X)) + \ell > 0$$ for evErY $I \in \{0,1,\dotS,Q-1\}.$ Hence (c) HOLdS.

It iS not difficult to shOW tHAt, for every $\ell \iN \Z$, $\operAtORnAME{PeR}(p/q,f) = \operatornAmE{Per}((p+Q\Ell)/q,F+\elL).$ coNSEQueNTly, by changing The lifting aND thE numbeR $p$, If nECessarY, we maY aSSumE that $P$ has an IncrEasing bloCk struCTure by LEMma \[sepbLocks\]. MOreOveR, by rEPlAcIng ThE PoiNT $x$ By $x-M$, We mAy also asSuMe That tHe brANCHIng pOinT of $\cHull{P_0(X)}$ is 0 (that is, $m=0$). To sImpLify THe nOtatiOn, we sHall OmIt the DependEnce fRoM $x$ of the blocks $P_i(X)$ in wHat followS.

LeT $I_1,i_2,I_3$ dEnOte thE Three $P_0 \Cup \{0\}$-BasIc interVals in $\cHUll{p_0}$ tHAT HaVe an endpoint equal tO $0$ aND LeT ${\mathcal{g}}$ be the DIrEcTEd graph wItH veRticES $i_1,I_2,I_3$ suCh thAT tHere is an Arrow $I_I {\NoLiNebreak[4]\LoNgrighTaRroW\noLinebREak[4]}I_J$ if and Only if $\chUll{G(\pARtial
I_i)}\supset I_J$ (Notice that arrOWs IN
 have $$\overline{G}^j(\ov erline{F}^ i(x))  =G^j (F ^i(x ) +i\ell) =
G^j(F ^ i(x) ) + i\ell.$$ This give s (b)  f o r $i = 0, 1,\do ts,q-1$ .  T h e  fa ct  t hat  $ \ ov erlin e{P }_q(x)= P_q(x) +  q\ el l$ follows f r om  (b) for $ i=0 $ and from t hedefini ti ono f the setwo s ets.
S uppose  that $\e ll $  satis f ies the a ss umpt ion of (c). From( b) and the choice  of $\ el l $, w e h ave  $$\min \R e( \over l ine{P}_ { i+ 1 } ( x)) - \max \Re(\o verline{P}_ i (x) ) =
\m in  \R e (P_{i+ 1}(x) )-  \m ax \Re(P_i( x))+ \ell >0$$ fo r  every$ i \in \ {0,1,\ dot s,q -1\} . $He nce  ( c ) h o ld s.Itis not d if fi cultto s h o w that , f or e very$\ell \in \Z$ , $ \ope r ato rname {Per} (p/q ,F ) = \ operat ornam e{ Per}((p+q\ell)/ q,F+ \ell).$ C ons eq uen tl y, by changi ngthe  liftin g and t h e n um b e r  $ p$, if necessary,we m ay  assumethat $ P $ha s  an incr ea sin g bl o c k str uctu r eby Lemma  \[sep b lo ck s\]. Mo re over,by  re pla cingt he p oint $ x$ by $x -m$,w e may also ass u me that the b r an c h in g  poi ntof $\chull{ P_0( x )}$is 0 (t hat is, $ m=0$) .T os implify the notatio n,  we sh all o mit the depen dence from $ x $ of the  blo c ks $P_i(x)$ in wh at fo llows.

Le t  $I_1,I_ 2,I_3 $ denote  the thre e $P_0 \cu p \ {0\ }$- bas i c  i ntervals in $ \ c hull {P _0}$ th athave an  en dpo int  eq ua l to $0$and let${ \m at hc al{ G}}$b e the di re cte dgra ph wi t h vert ices$I_1 ,I _2 , I_3 $ sucht ha t ther eis  anarr ow  $I_i  {\n o lin ebreak[ 4]\longri ght a rrow \n ol inebrea k[4]}I_j$ ifan d only if$\ chu ll{G(\ p a rtial
I_ i)}\supset I_j$ (notice that ar row s in
 have_$$\overline{G}^j(\overline{F}^i(x)) =
G^j(F^i(x)_+ i\ell) =
G^j(F^i(x)) +_i\ell.$$ This_gives_(b) for_$i=0,1,\dots,q-1$._The fact that_$\overline{P}_q(x) = P_q(x)_+ q\ell$ follows from_(b) for $i=0$_and_from the definition of these two sets.

Suppose that $\ell$ satisfies the assumption of (c)._From_(b) and_the_choice_of $\ell$, we have $$\min_\Re(\overline{P}_{i+1}(x)) - \max \Re(\overline{P}_i(x)) =
\min_\Re(P_{i+1}(x)) -_\max \Re(P_i(x)) + \ell > 0$$ for every_$i_\in \{0,1,\dots,q-1\}.$ Hence_(c) holds.

It is not difficult to show that, for_every $\ell \in \Z$, $\operatorname{Per}(p/q,F) =_\operatorname{Per}((p+q\ell)/q,F+\ell).$ Consequently, by_changing_the_lifting and the number_$p$, if necessary, we may assume_that $P$ has an increasing block_structure by Lemma \[sepblocks\]. Moreover, by replacing the_point $x$ by $x-m$, we may_also assume that the branching_point of_$\chull{P_0(x)}$ is 0 (that is,_$m=0$). To simplify_the notation,_we shall omit_the dependence from $x$ of the_blocks $P_i(x)$ in_what follows.

Let $I_1,I_2,I_3$ denote the three_$P_0_\cup \{0\}$-basic intervals_in_$\chull{P_0}$_that have_an endpoint equal_to_$0$ and_let_${\mathcal{G}}$ be the directed graph with_vertices_$I_1,I_2,I_3$ such that there is an arrow_$I_i {\nolinebreak[4]\longrightarrow\nolinebreak[4]}I_j$ if and_only_if $\chull{G(\partial
I_i)}\supset I_j$ (notice_that arrows in