 with eigenvalue $0$. Then the vector $u$ (or equivalently $\log_x(y) = \theta u$) is an eigenvector with eigenvalue $1$. To finish, every vector which is orthogonal to these two vectors (i.e. orthogonal to the plane spanned by 0, $x$ and $y$) has eigenvalue $ f(\theta)\cos\theta = \theta \cot \theta$. This last eigenvalue is positive for $\theta \in [0,\pi/2[$, vanishes for $\theta = \pi/2$ and becomes negative for $\theta \in ]\pi/2 \pi[$. We retrieve here the results of [@buss_spherical_2001 lemma 2] expressed in a more general coordinate system.

#### Moments of a $k+1$-pointed sphere

We denote a set of $k+1$ point on the sphere and the matrix of their coordinates by $X=[x_0,\ldots x_k]$. The cut locus of $x_i$ is its antipodal point $-x_i$ so that the $(k+1)$-punctured manifold is ${\ensuremath{{\cal M}^*{(x_0, \ldots x_k)}}}= {\cal S}_n \setminus -X$. Using the invertible diagonal matrix $F(X,x) = \mbox{Diag}( f( \arccos(x_i {^{\text{\tiny T}}}x) ) )$, the first weighted moment is: $${\mathfrak M}_1(x, \lambda)  = \textstyle \sum_i \lambda_i {\ensuremath{\overrightarrow{x x_i}}} = ( {\ensuremath{\:\mathrm{Id}}}-  x x{^{\text{\tiny T}}}) X F(X,x) \lambda.
\label{eq:MomemtSphere}$$

#### Affine independence of the reference points

Because no point is antipodal nor identical to another, the plane generated by 0, $x_i$ and $x_j$ in the embedding space is also generated by 0, $x_i$ and the tangent vector $\log_{x_i}(x_j)$. This can be be seen using a stereographic projection of pole $-x_i$ from ${\cal S}_n$ to $T_{x_i} {\cal S}_n$. Thus, 0, $x_i$ and the $k$ independent vectors
with eigenvalue $ 0$. Then the vector $ u$ (or equivalently $ \log_x(y) = \theta u$) is an eigenvector with eigenvalue $ 1$. To finish, every vector which is orthogonal to these two vectors (i.e. orthogonal to the airplane cross by 0, $ x$ and $ y$) has eigenvalue $ f(\theta)\cos\theta = \theta \cot \theta$. This concluding eigenvalue is positive for $ \theta \in [ 0,\pi/2[$, vanishes for $ \theta = \pi/2 $ and becomes minus for $ \theta \in ] \pi/2 \pi[$. We retrieve here the results of [ @buss_spherical_2001 lemma 2 ] express in a more cosmopolitan coordinate system. 

 # # # # Moments of a $ k+1$-pointed sphere 

 We denote a set of $ k+1 $ point on the celestial sphere and the matrix of their coordinates by $ X=[x_0,\ldots x_k]$. The cut venue of $ x_i$ is its antipodal point $ -x_i$ so that the $ (k+1)$-punctured manifold is $ { \ensuremath{{\cal M}^*{(x_0, \ldots x_k)}}}= { \cal S}_n \setminus -X$. Using the invertible diagonal matrix $ F(X, x) = \mbox{Diag } (f (\arccos(x_i { ^{\text{\tiny T}}}x) )) $, the first weighted moment is: $ $ { \mathfrak M}_1(x, \lambda)   = \textstyle \sum_i \lambda_i { \ensuremath{\overrightarrow{x x_i } } } = ({ \ensuremath{\:\mathrm{Id}}}-   x x{^{\text{\tiny T } } }) X F(X, x) \lambda. 
 \label{eq: MomemtSphere}$$ 

 # # # # Affine independence of the mention points 

 Because no point is antipodal nor identical to another, the plane beget by 0, $ x_i$ and $ x_j$ in the embedding space is also generated by 0, $ x_i$ and the tangent vector $ \log_{x_i}(x_j)$. This can be be see using a stereographic projection of pole $ -x_i$ from $ { \cal S}_n$ to $ T_{x_i } { \cal S}_n$. Thus, 0, $ x_i$ and the $ k$ independent vector
 wihh eigenvalue $0$. Then the yector $u$ (or equirqlentlb $\log_x(y) = \theta j$) is an eigenvector with eigxnvaoue $1$. Uj finish, every vecgor which is orthigonel to these two tsctors (l.z. ortglgoncl to the plane xpanned by 0, $x$ and $y$) has aieeuvalue $ f(\theta)\cos\theta = \theta \cot \thqta$. Thix past eigenvalug is kosytivs for $\theta \in [0,\pi/2[$, vanishes for $\thefa = \pi/2$ end becomes negstive for $\theta \in ]\pi/2 \pi[$. Wf rehrieve here the redults of [@buws_sprwrical_2001 lemma 2] expressed in a more feneral coordinate system.

#### Momengs of a $k+1$-pointee wphfte

We denote e set jf $k+1$ point ok the s[here amd the matrix pf vheie coordinates by $X=[x_0,\ldmts x_k]$. The cut locos of $x_i$ iv nts antipodal point $-x_u$ wo thdt tve $(k+1)$-oyncgurtd kahifold is ${\ensurematg{{\cal M}^*{(x_0, \ldors x_k)}}}= {\cal S}_n \setminis -Q$. Using the ihvertiflq diagonal matrix $F(X,x) = \mbox{Diag}( f( \arccov(x_i {^{\text{\tiny T}}}x) ) )$, the firsr weighted moment is: $${\lathfrak I}_1(x, \lambda)  = \textstyle \sum_i \lambda_i {\ensuremath{\oversighterfow{r x_i}}} = ( {\wnduremath{\:\mathrm{Id}}}-  x x{^{\text{\tiny T}}}) X F(X,x) \lambda.
\lwgek{ea:MomemtSphere}$$

#### Cffine independemcf ps the referenze poiufs

Gecause no point id antipjdal bor identycal to another, the plane generqted by 0, $x_i$ cnd $x_j$ in the embeddiug space is clso ggneratrd by 0, $x_i$ and the tangeut vecfor $\log_{x_i}(x_j)$. This can ce be seen using a xtareographic projection of [ole $-x_i$ fcom ${\ccl S}_n$ to $T_{x_i} {\cal S}_g$. Thus, 0, $x_i$ and bve $k$ independent vfctord
with eigenvalue $0$. Then the vector $u$ $\log_x(y) \theta u$) an eigenvector with vector is orthogonal to two vectors (i.e. to the plane spanned by 0, and $y$) has eigenvalue $ f(\theta)\cos\theta = \theta \cot \theta$. This last eigenvalue positive for $\theta \in [0,\pi/2[$, vanishes for $\theta = \pi/2$ and becomes negative $\theta ]\pi/2 We here the results of [@buss_spherical_2001 lemma 2] expressed in a more general coordinate system. #### Moments a $k+1$-pointed sphere We denote a set of point on the sphere the matrix of their coordinates $X=[x_0,\ldots The cut of is antipodal point $-x_i$ that the $(k+1)$-punctured manifold is ${\ensuremath{{\cal M}^*{(x_0, \ldots x_k)}}}= {\cal S}_n \setminus -X$. Using the invertible diagonal $F(X,x) = \arccos(x_i {^{\text{\tiny ) the weighted moment is: \lambda) = \textstyle \sum_i \lambda_i {\ensuremath{\overrightarrow{x {\ensuremath{\:\mathrm{Id}}}- x x{^{\text{\tiny T}}}) X F(X,x) \lambda. \label{eq:MomemtSphere}$$ Affine independence the reference points Because no point antipodal nor identical to another, the plane generated 0, $x_i$ and $x_j$ in the embedding space is also generated by 0, $x_i$ and vector $\log_{x_i}(x_j)$. This can be seen using stereographic of $-x_i$ ${\cal S}_n$ $T_{x_i} {\cal S}_n$. Thus, 0, $x_i$ and the $k$ independent vectors
 with eigenvalue $0$. Then the vectOr $u$ (or equivAlentLy $\lOg_x(Y) = \tHeta U$) is aN eigenvector wiTH eigEnvalue $1$. To finish, every veCtor wHiCH is oRThOgonaL to thesE TwO VEctOrS (i.E. orThOGoNal to The Plane spAnned by 0, $x$ anD $y$) hAs Eigenvalue $ f(\tHEtA)\cos\theta = \tHetA \cot \theta$. ThiS laSt eigeNvAluE Is posItiVe for $\Theta \iN [0,\Pi/2[$, vaniShes for $\thEtA = \Pi/2$ and bEComes neGATiVe foR $\theta \in ]\pi/2 \pi[$. We retRIeVE here the resultS of [@busS_sPHeRICal_2001 LemMa 2] expresseD iN a morE General COoRDINatE System.

#### Moments Of a $k+1$-pointed SPheRe

We deNoTe a SEt of $k+1$ pOint oN tHE spHere and the mAtriX of their cOordinATes by $X=[x_0,\LDots x_k]$. THe cut lOcuS of $X_i$ is ITs AnTipOdAL poINt $-X_i$ sO ThaT the $(k+1)$-punCtUrEd manIfolD IS ${\ENsurEmaTh{{\caL M}^*{(x_0, \ldOts x_k)}}}= {\cal S}_n \setMinUs -X$. USIng The inVertiBle dIaGonal Matrix $f(X,x) = \mbOx{diag}( f( \arccos(x_i {^{\teXt{\tiNy T}}}x) ) )$, the fiRst WeIghTeD momeNT is: $${\matHfrAk M}_1(X, \lambda)  = \TextstyLE \suM_i \LAMBdA_i {\ensuremath{\overriGhTARrOw{x x_i}}} = ( {\ensUrematH{\:\MaThRM{Id}}}-  x x{^{\texT{\tIny t}}}) X F(X,X) \LAmbda.
\LabeL{Eq:momemtSpHere}$$

#### AfFInE iNdependEnCe of thE rEfeRenCe poiNTs

BeCause nO point is AntipODal nor identicaL To another, the pLAnE GEnERateD by 0, $X_i$ and $x_j$ in thE embEDdinG spaCE iS alSO geneRated By 0, $X_I$ aND the tangent vector $\loG_{x_I}(x_j)$. ThiS can bE be seen using a StereograpHIC ProjectiOn of POlE $-X_i$ from ${\cal S}_n$ to $T_{X_i} {\cal s}_n$. Thus, 0, $x_i$ anD The $k$ indePendeNt vectorS
 with eigenvalue $0$. Then  the vecto r $u$  (o r e qu ival entl y $\log_x(y) = \the ta u$) is an eigenvect or wi th eige n va lue $ 1$. Tof in i s h,ev er y v ec t or  whic h i s ortho gonal to t hes etwo vectors( i. e. orthogo nal  to the plan e s panned  b y 0 ,  $x$and  $y$)  has e i genval ue $ f(\t he t a)\cos \ theta = \ th eta\cot \theta$. Thi s  l a st eigenvalueis pos it i ve f or$\t heta \in [ 0, \pi/2 [ $, vani s he s f or$ \theta = \pi/ 2$ and beco m esnegati ve  fo r  $\the ta \i n] \pi /2 \pi[$. W e re trieve he re the results of [@bu ss_sph eri cal _200 1  l em ma2] exp r es sed ina more g en er al co ordi n a t e  sys tem .

# ### M oments of a $ k+1 $-po i nte d sph ere
We d en ote a  set o f $k+ 1$  point on the s pher e and the  ma tr ixof  thei r  coord ina tes  by $X= [x_0,\l d ots  x _ k ] $.  The cut locus of$x _ i $is its a ntipod a lpo i nt $-x_i $sothat t he $( k+1) $ -p unctured  manif o ld  i s ${\en su remath {{ \ca l M }^*{( x _0,\ldots  x_k)}}} = {\c a l S}_n \setmin u s -X$. Usingt he i nv e rtib lediagonal ma trix $F(X ,x)=  \ mbo x {Diag }( f(  \ a rc c os(x_i {^{\text{\ti ny  T}}}x ) ) ) $, the firstweighted m o m e nt is: $ ${\m a th f rak M}_1(x, \l ambda )  = \text s tyle \su m_i \ lambda_i  {\ensure m a th{\over rig hta rro w{x x _i }}} = ( {\ens u r emat h{ \:\math rm{ Id}}}- xx{^ {\t ext {\ tiny T}}} ) X F(X, x)  \ la mb da. 
\lab e l{eq:Mom em tSp he re} $$

# # ## Aff ine i ndep en de n ceof ther ef e r ence  p oi nts
Be ca use n o po i ntis anti podal nor  id e ntic al  t o anoth er, the plane  g enerated b y0,$x_i$a n d $x_j$in the embedding spacei s alsogen erate d by  0, $x_i$  an d thetan g ent ve ctor $ \log_ {x _i} ( x _j)$. T hi s c an  be be see n usi ng ast ereo graphic  projection of pol e  $- x_i$ from ${\ cal  S}_ n $  t o $ T _{ x _i}  { \ cal S }_n$. Thus, 0,$x_i$ andth e  $ k$ indepen d ent  v ectors
 with_eigenvalue $0$._Then the vector $u$_(or equivalently_$\log_x(y)_= \theta_u$)_is an eigenvector_with eigenvalue $1$._To finish, every vector_which is orthogonal_to_these two vectors (i.e. orthogonal to the plane spanned by 0, $x$ and $y$)_has_eigenvalue $_f(\theta)\cos\theta_=_\theta \cot \theta$. This last_eigenvalue is positive for $\theta_\in [0,\pi/2[$,_vanishes for $\theta = \pi/2$ and becomes negative_for_$\theta \in ]\pi/2_\pi[$. We retrieve here the results of [@buss_spherical_2001 lemma_2] expressed in a more general_coordinate system.

#### Moments_of_a_$k+1$-pointed sphere

We denote a_set of $k+1$ point on the_sphere and the matrix of their_coordinates by $X=[x_0,\ldots x_k]$. The cut locus_of $x_i$ is its antipodal point_$-x_i$ so that the $(k+1)$-punctured_manifold is_${\ensuremath{{\cal M}^*{(x_0, \ldots x_k)}}}= {\cal_S}_n \setminus -X$._Using the_invertible diagonal matrix_$F(X,x) = \mbox{Diag}( f( \arccos(x_i {^{\text{\tiny_T}}}x) ) )$,_the first weighted moment is: $${\mathfrak_M}_1(x,_\lambda)  =_\textstyle_\sum_i_\lambda_i {\ensuremath{\overrightarrow{x_x_i}}} = (_{\ensuremath{\:\mathrm{Id}}}-_ x_x{^{\text{\tiny_T}}}) X F(X,x) \lambda.
\label{eq:MomemtSphere}$$

#### Affine independence_of_the reference points

Because no point is antipodal_nor identical to another,_the_plane generated by 0,_$x_i$ and $x_j$ in the_embedding space is also generated by_0, $x_i$_and the_tangent vector $\log_{x_i}(x_j)$. This can be be seen using a stereographic_projection of pole $-x_i$ from ${\cal_S}_n$ to $T_{x_i} {\cal_S}_n$. Thus,_0,_$x_i$ and the_$k$_independent vectors