,1)$ such that $$\max_{x\in \ov{V}} \|f'_\bi(x)\| {\leqslant}C\gam^n,\ \ \mbox{for all}\ \bi\in \Lam^n,$$ where $f_\bi = f_{A_{i_1}}\circ \cdots f_{A_{i_n}}$ and $\|f_\bi'(x)\|$ is the operator norm of the differential at the point $x$.

From exponential separation to the Diophantine property
-------------------------------------------------------

Recall the strong exponential separation condition (Definition \[def-sep\]).

\[prop-Dioph2\] Let $\Ak$ be a finite family of $GL_{d+1}({{\mathbb R}})$ matrices, and let $\Phi_\Ak$ be the induced IFS on $\Sp^d$. If $\Phi_\Ak$ satisfies the strong exponential separation on a nonempty set, then $\Ak$ is strongly Diophantine.

Let $C_1 = \max_{i\in \Lam}\{1,\|A_i\|\}$ and $C_2 = \max_{i\in \Lam} \{1,\|A_i^{-1}\|\}$. Suppose that $\bi\ne \bj$ in $\Lam^n$. Let us write $$\bi = (\bi\wedge \bj) \bu,\ \ \bj = (\bi\wedge \bj) \bv,$$ where $\bi\wedge \bj$ is the common initial segment of $\bi$ and $\bj$, so that $\bu = u_1\ldots u_k,\ \bv = v_1\ldots v_k$ for some $k{\leqslant}n$, with $u_1 \ne v_1$. We have $$\label{tiu1}
\|A_\bi- A_\bj\| {\geqslant}\|A_{\bi\wedge\bj}^{-1}\|^{-1} \|A_\bu - A_\bv\| {\geqslant}C_2^{-n} \|A_\bu - A_\bv\|.$$

\[lem-claim\] For any $A, B \in GL_{d+1}(\mathbb{R})$ and any unit vector $x\in {{\mathbb R}}^{d+1}$, we have $$\| A \cdot x - B \cdot x \| {\leqslant}\| A^{-1} \| \bigl( 1 + \| B \| \|B^{-1}\|\bigr)\cdot \| A -
, 1)$ such that $ $ \max_{x\in \ov{V } } \|f'_\bi(x)\| { \leqslant}C\gam^n,\ \ \mbox{for all}\ \bi\in \Lam^n,$$ where $ f_\bi = f_{A_{i_1}}\circ \cdots f_{A_{i_n}}$ and $ \|f_\bi'(x)\|$ is the operator norm of the differential at the point $ x$. 

 From exponential interval to the Diophantine place 
 ------------------------------------------------------- 

 Recall the strong exponential interval circumstance (Definition   \[def - sep\ ]). 

 \[prop - Dioph2\ ] Let $ \Ak$ be a finite family of $ GL_{d+1}({{\mathbb R}})$ matrices, and permit $ \Phi_\Ak$ be the induced IFS on $ \Sp^d$. If $ \Phi_\Ak$ satisfies the strong exponential interval on a nonempty set, then $ \Ak$ is strongly Diophantine. 

 lease $ C_1 = \max_{i\in \Lam}\{1,\|A_i\|\}$ and $ C_2 = \max_{i\in \Lam } \{1,\|A_i^{-1}\|\}$. Suppose that $ \bi\ne \bj$ in $ \Lam^n$. Let us spell $ $ \bi = (\bi\wedge \bj) \bu,\ \ \bj = (\bi\wedge \bj) \bv,$$ where $ \bi\wedge \bj$ is the common initial segment of $ \bi$ and $ \bj$, so that $ \bu = u_1\ldots u_k,\ \bv = v_1\ldots v_k$ for some $ k{\leqslant}n$, with $ u_1 \ne v_1$. We have $ $ \label{tiu1 } 
 \|A_\bi- A_\bj\| { \geqslant}\|A_{\bi\wedge\bj}^{-1}\|^{-1 } \|A_\bu - A_\bv\| { \geqslant}C_2^{-n } \|A_\bu - A_\bv\|.$$ 

 \[lem - claim\ ] For any $ A, B \in GL_{d+1}(\mathbb{R})$ and any unit of measurement vector $ x\in { { \mathbb R}}^{d+1}$, we have $ $ \| A \cdot x - B \cdot x \| { \leqslant}\| A^{-1 } \| \bigl (1 + \| B \| \|B^{-1}\|\bigr)\cdot \| A -
,1)$ sufh that $$\max_{x\in \ov{V}} \|f'_\bi(x)\| {\ueqslant}C\gam^n,\ \ \mbox{for all}\ \bj\in \Lam^n,$$ where $f_\bi = f_{A_{i_1}}\circ \cdots f_{A_{m_n}}$ abd $\|f_\bu'(x)\|$ is the operator noro of the fifferenrial qt the poiif $x$.

From exponsktial weparation to jhe Diophanthne property
-------------------------------------------------------

Rewaul the strong exponential separation sonditipn (Definition \[def-fep\]).

\[pgo[-Diolh2\] Let $\Ak$ be a finite family of $GL_{s+1}({{\mathbb R}})$ matrices, amd let $\Phi_\Ak$ be the inducef IFD on $\Sp^d$. If $\Phi_\Ak$ datisfies tye seeong exponengial separation on a nknempty set, then $\Ak$ is strongly Diopkantine.

Let $X_1 = \mad_{h\in \Lam}\{1,\|A_i\|\}$ aid $C_2 = \iax_{i\in \Lam} \{1,\|A_l^{-1}\|\}$. Suppove that $\bi\ne \bj$ in $\Lak^n$. Net us write $$\bi = (\bi\wedge \bj) \bu,\ \ \bj = (\bi\wedgg \bj) \bv,$$ wharz $\bi\wedge \bj$ is the cimnon ititidl sdtmevt kf $\bj$ and $\hj$, ao that $\bu = u_1\ldots u_k,\ \bv = v_1\ldots v_k$ for xoiv $k{\leqslant}n$, sith $u_1 \nq v_1$. We have $$\label{tiu1}
\|A_\bi- A_\bj\| {\geqslant}\|A_{\bi\fedfe\bj}^{-1}\|^{-1} \|A_\bu - A_\bv\| {\geqslant}C_2^{-b} \|A_\bu - A_\bv\|.$$

\[lem-claim\] Fot any $A, B \yn GL_{d+1}(\mathbb{R})$ and any unit vector $x\in {{\mathbb R}}^{d+1}$, wa havx $$\| A \eeot x - B \cdot x \| {\leqslant}\| A^{-1} \| \bigl( 1 + \| B \| \|B^{-1}\|\bigr)\cdot \| A -
,1)$ such that $$\max_{x\in \ov{V}} \|f'_\bi(x)\| {\leqslant}C\gam^n,\ all}\ \Lam^n,$$ where = f_{A_{i_1}}\circ \cdots operator of the differential the point $x$. exponential separation to the Diophantine property Recall the strong exponential separation condition (Definition \[def-sep\]). \[prop-Dioph2\] Let $\Ak$ be a family of $GL_{d+1}({{\mathbb R}})$ matrices, and let $\Phi_\Ak$ be the induced IFS on If satisfies strong separation on a nonempty set, then $\Ak$ is strongly Diophantine. Let $C_1 = \max_{i\in \Lam}\{1,\|A_i\|\}$ and = \max_{i\in \Lam} \{1,\|A_i^{-1}\|\}$. Suppose that $\bi\ne \bj$ $\Lam^n$. Let us write = (\bi\wedge \bj) \bu,\ \ = \bj) \bv,$$ $\bi\wedge is common initial segment $\bi$ and $\bj$, so that $\bu = u_1\ldots u_k,\ \bv = v_1\ldots v_k$ for some $k{\leqslant}n$, with \ne v_1$. $$\label{tiu1} \|A_\bi- {\geqslant}\|A_{\bi\wedge\bj}^{-1}\|^{-1} - {\geqslant}C_2^{-n} \|A_\bu - For any $A, B \in GL_{d+1}(\mathbb{R})$ vector $x\in {{\mathbb R}}^{d+1}$, we have $$\| A x - \cdot x \| {\leqslant}\| A^{-1} \| 1 + \| B \| \|B^{-1}\|\bigr)\cdot \| A
,1)$ such that $$\max_{x\in \ov{V}} \|f'_\bi(x)\| {\leqsLant}C\gam^n,\ \ \mBox{foR alL}\ \bi\In \lam^n,$$ WherE $f_\bi = f_{A_{i_1}}\circ \cdoTS f_{A_{i_N}}$ and $\|f_\bi'(x)\|$ is the operator nOrm of ThE DiffEReNtial At the poINt $X$.

fRom ExPoNenTiAL sEparaTioN to the DIophantine ProPeRty
-------------------------------------------------------

Recall the STrOng exponenTiaL separation cOndItion (DEfIniTIon \[deF-seP\]).

\[prop-dioph2\] LET $\Ak$ be a Finite famIlY Of $GL_{d+1}({{\mAThbb R}})$ maTRIcEs, anD let $\Phi_\Ak$ be the indUCeD iFS on $\Sp^d$. If $\Phi_\AK$ satisFiES tHE StrOng ExponentiaL sEparaTIon on a nONeMPTY seT, Then $\Ak$ is stronGly DiophantINe.

LEt $C_1 = \max_{I\iN \LaM}\{1,\|a_i\|\}$ and $C_2 = \Max_{i\iN \LAM} \{1,\|A_i^{-1}\|\}$. suppose that $\Bi\ne \Bj$ in $\Lam^n$. LEt us wrITe $$\bi = (\bi\wEDge \bj) \bu,\ \ \Bj = (\bi\weDge \Bj) \bV,$$ wheRE $\bI\wEdgE \bJ$ Is tHE cOmmON inItial segMeNt Of $\bi$ aNd $\bj$, SO THAt $\bu = U_1\ldOts u_K,\ \bv = v_1\lDots v_k$ for some $K{\leQslaNT}n$, wIth $u_1 \nE v_1$. We hAve $$\lAbEl{tiu1}
\|a_\bi- A_\bj\| {\GeqslAnT}\|A_{\bi\wedge\bj}^{-1}\|^{-1} \|A_\bu - A_\Bv\| {\geQslant}C_2^{-n} \|A_\Bu - A_\Bv\|.$$

\[Lem-ClAim\] FoR Any $A, B \iN GL_{D+1}(\maThbb{R})$ anD any uniT VecToR $X\IN {{\mAthbb R}}^{d+1}$, we have $$\| A \cdot X - B \CDOt X \| {\leqslanT}\| A^{-1} \| \bigl( 1 + \| b \| \|b^{-1}\|\bIgR)\Cdot \| A -
,1)$ such that $$\max_{x\i n \ov{V}}\|f'_ \bi (x) \|  {\l eqsl ant}C\gam^n,\\  \mb ox{for all}\ \bi\in \L am^n, $$ wher e  $ f_\bi  = f_{A _ {i _ 1 }}\ ci rc  \c do t sf_{A_ {i_ n}}$ an d $\|f_\bi '(x )\ |$ is the op e ra tor norm o f t he different ial  at th epoi n t $x$ .
Fromexpone n tial s eparation  t o  the D i ophanti n e  p rope rty
------------- - -- - -------------- ------ -- - -- - - --- --- -----

Rec al l the stronge xp o n e nti a l separationcondition ( D efi nition  \ [de f -sep\] ).

\ [p r op- Dioph2\] Le t $\ Ak$ be afinite familyo f $GL_{ d+1}({ {\m ath bb R } }) $mat ri c es, an d l e t $ \Phi_\Ak $be  theindu c e d IFSon$\Sp ^d$.If $\Phi_\Ak$  sa tisf i esthe s trong  exp on entia l sepa ratio non a nonempty s et,then $\Ak $ i sstr on gly D i ophant ine .
Let $C_ 1 = \ma x _{i \i n \ La m}\{1,\|A_i\|\}$ a nd $ C_ 2 = \max _{i\in \L am }  \{1,\|A _i ^{- 1}\| \ } $. Su ppos e  t hat $\bi \ne \b j $in  $\Lam^ n$ . Letus  wr ite  $$\b i  = ( \bi\we dge \bj)  \bu, \  \ \bj = (\bi\ w edge \bj) \bv , $$ w he r e $\ bi\ wedge \bj$is t h e co mmon in iti a l seg mentof $\ b i$ and $\bj$, so th at  $\bu= u_1 \ldots u_k,\\bv = v_1\ l d o ts v_k$fors om e  $k{\leqslant} n$, w ith $u_1 \ n e v_1$.We ha ve $$\la bel{tiu1} \ |A_\bi-A_\ bj\ | { \ge q s la nt}\|A_{\bi\w e d ge\b j} ^{-1}\| ^{- 1} \|A_ \bu  -A_\ bv\ |{\geqslan t}C_2^{- n}  \ |A _\ bu- A_\ b v\|.$$
\[ lem -c lai m\] F o r any$A, B  \in  G L_ { d+1 }(\math b b{ R } )$ a nd  a ny u nit  v ector  $x\ i n { {\mathb b R}}^{d+ 1}$ ,  weha ve  $$\| A  \cdot x - B\c dot x \| { \l eqs lant}\ | A^{-1} \ | \bigl( 1 + \| B \| \| B ^{-1}\| \bi gr)\c dot\| A -
,1)$ such_that $$\max_{x\in_\ov{V}} \|f'_\bi(x)\| {\leqslant}C\gam^n,\ \_\mbox{for all}\_\bi\in_\Lam^n,$$ where_$f_\bi_= f_{A_{i_1}}\circ \cdots_f_{A_{i_n}}$ and $\|f_\bi'(x)\|$_is the operator norm_of the differential_at_the point $x$.

From exponential separation to the Diophantine property
-------------------------------------------------------

Recall the strong exponential separation condition_(Definition \[def-sep\]).

\[prop-Dioph2\]_Let $\Ak$_be_a_finite family of $GL_{d+1}({{\mathbb R}})$_matrices, and let $\Phi_\Ak$ be_the induced_IFS on $\Sp^d$. If $\Phi_\Ak$ satisfies the strong_exponential_separation on a_nonempty set, then $\Ak$ is strongly Diophantine.

Let $C_1 =_\max_{i\in \Lam}\{1,\|A_i\|\}$ and $C_2 = \max_{i\in_\Lam} \{1,\|A_i^{-1}\|\}$. Suppose_that_$\bi\ne_\bj$ in $\Lam^n$. Let_us write $$\bi = (\bi\wedge \bj)_\bu,\ \ \bj = (\bi\wedge \bj)_\bv,$$ where $\bi\wedge \bj$ is the common_initial segment of $\bi$ and $\bj$,_so that $\bu = u_1\ldots_u_k,\ \bv_= v_1\ldots v_k$ for some_$k{\leqslant}n$, with $u_1_\ne v_1$._We have $$\label{tiu1}
\|A_\bi-_A_\bj\| {\geqslant}\|A_{\bi\wedge\bj}^{-1}\|^{-1} \|A_\bu - A_\bv\| {\geqslant}C_2^{-n}_\|A_\bu - A_\bv\|.$$

\[lem-claim\]_For any $A, B \in GL_{d+1}(\mathbb{R})$_and_any unit vector_$x\in_{{\mathbb_R}}^{d+1}$, we_have $$\| A_\cdot_x -_B_\cdot x \| {\leqslant}\| A^{-1} \|_\bigl(_1 + \| B \| \|B^{-1}\|\bigr)\cdot \|_A -