HAL Id: inria-00186037
https://hal.inria.fr/inria-00186037v2
Submitted on 8 Nov 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
An automatic mesh coarsening technique for three dimensional anisotropic meshes
Youssef Mesri, Hervé Guillard
To cite this version:
Youssef Mesri, Hervé Guillard. An automatic mesh coarsening technique for three dimensional anisotropic meshes. [Research Report] RR-6344, INRIA. 2007, pp.52. �inria-00186037v2�
a p p o r t
d e r e c h e r c h e
Thème NUM
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
An automatic mesh coarsening technique for three dimensional anisotropic meshes
Youssef Mesri — Hervé Guillard
N° 6344
November 7, 2007
) * !+,! -.!
/02134365879:5;34<6=
∗>@? 5;<*ACBEDF1=HGIGIJ2<4K
†
LNMPO*Q#RSUTWVYX[Z]\_^a`bO*Q#R6^c]dPQ#e6fhgji;dPR6^
klfbmonaR`UZ]Qqp8^rM
stpvuPu2mvfh`wPRfhR4xyMPR*fyxyMPRzc2{|8}o~8~EXStm&vR6Q2R*fU]2o v ]WXvupvvR4^
(6*&Pvv LNMPgj^m8fhEg^#w_R6vmv`hR6w`hm`hMPR.w_R4^rgvcmoWpQ#R6^hMvR6cPR*fyp&`bgm8c`hR4xyMPcPgji8dRpvPR!`hm
ufhm_w_dx*Rp!^rR4i;dPR*cx*Rmv}& ¢¡£xm;pofy^rR6cPR6w¤dc^a`bfhd¥x¦`hdfhR4wFQ#R6^hMPR6^U§fbmvQ¨pocgcg©`bgpvlpocPgj^rmv`hfbmvuPgjxm8cPRvª
LNMRxm8pvfb^hR*cgcPpovm8fhg`hMPQ'd^rR4^pocgcg©`bgpv«Q#R6^hM.pvcwp#QR*`hfbgxW¬R6wm8_`bpvgcPR4w!§fhm8Q'poc.pocpv\_^hg^
mv`hMPRcp&`bdPfbpvUQ#R`bfhgjx¤mv`hMPgj^(gcPg`hgjpoQ#R6^hM«ª¯®gfy^a`4Upoc°gcPg`hgjpocp&`bdPfypoUQ#R*`hfbgx±²gHªRpQR*`hfbgx
gc;`hm.MPgjxyMR4pvxyM^rgQ#uPgx*gpv@R*R*Q#R*c;`mo`hMPRqQ#R4^rMEg^R4i;dPgjp&`bR*fypo´³Wg^uPfbm_w_dx*R6wµ§fhm8Q¶`hMPRqgcPg`hgjpo
pvcPgj^rmv`hfbmvuPgjxQR4^rMªLNMPR6c.`hMPRR*gvR*c]&podPR4^Nmo`hMPgj^tQ#R*`hfbgxpvfhRQ#m_w_g¬R6w¤pvcwd^rR4w`hm8vR`bMPR*fg`hM
`bMPRgcPg©`bgpvQ#R6^hM`hmquPfbm_w_dx*Rpx*m8pvfb^hR*cPR4w(Q#R4^rM«ª·¢c`hMPgj^Np¸\v_`bMPRw_gfhR4x¦`hgmvc¥^mo@pocPgj^hmo`hfbmvugR4^mv
`bMPRgcPg`hgjpo¹Q#R4^rMpofbRUfbR6^hu¥R4x¦`hR4wMPgRU`bMPRQR4^rM^ru¥pvxgcPx*poc!¥RgcxfbR6p8^rR4w¹ªLNMg^uPfbm_xR6wPdPfhRx*pvc
2RfhR6u¥R4p&`bR6w!gcmvfyw_R*f`bmufhm_w_dx*Rp^hR6i;dPR6cxRmo^rR6Q#g© ¢xm;pofy^rR6cPR6wqQ#R4^rMPR4^^rdg©`ypoPR§mvfNQdP`hgvfbgjw
p8x*x*R*R*fyp&`hgmvcªLNMPR#Rºx*gR6cx\Fmv`bMPgj^uPfhm_x*R6w_dPfbRg^^hMPm&cEmvcER»PpoQ#uPR6^mopocg^hmo`bfhm8uPgxQ#R6^hMPR6^
gc]vm8]gcPR6R6Q#R*c;`tpv^hu¥R4x¦`tfyp&`hgm#pv^NMPgvM¤pv^
105ª
¼¤½;¾C¿bÀÁ
&Âv
Q#R4^rM.vR6cPR*fyp&`bgm8c«Ãm8pvfb^hR*cPgcP#povm8fhg`hMPQq^6_pocPgj^rmv`hfbmvu]\v]V¤dP`hgvfbgjwÄU8mvfbg©`bMPQq^*ª
∗Å¥Æ&ǵÈHÉHʸ˸ÌaÍ*ÉÎ6ÏtÐyÈHÆWѸҲÓyÔ²ÌaÕaÉ
†Ö Ç×FÎ6ÏtÐyÈHÆWÑ4ÒHÓyÔ²ÌaÕ¢É
¹! ) N ) ++ ) !
ÃR¤`bfbp¸&pogtR4^a`!x*mvc^bpvx*fhejpQ#g^hRµpod°u2mvgc;`(wdPcPRµQ#e*`hMPm_w_RµwPRFve6cPe*fyp&`bgm8c w_R
^he6i;dPR6cxR4^w_R(Q#pvgjpovR4^}8¡ cPm8c^a`bfhd¥x¦`hdfhe4^w_e*fyp&ºqcPe4^¤u¥pofh`hgfwdPcQqpogpvvRgcPg`hgjpol¬¥c,`hfbO6^
pvcPgj^rmv`hfbmvu2RvªR6^ Q#pvgjpovR4^fhe4^rd©`ypoc;`b^l^hmvc;` dP`hggj^re4^ x*mvQ#Q#RtvfbgR6^lwdPc^hmvvR6dPflQd©`bg8fhgRu2mvdPf
R6^te6i;dp&`bgm8c^tw_RSWp¸]gR6fr aZ;`hm8vR4^*ªRQqpogjpo8Rw_e*fyp&ºqcPeR4^a`t8e*cPe6fhe#upvfr`bgftwPd¤Q#pvgjpovRgcPg`hgjpo
R*`NwdPcRQ#e*`hfbgi;dPRxgPRWm8_`hR6c;dRUR*c.w_e6fbpoº#c¥poc;`jpQ#e`bfhgji;dPRcp&`bdPfhR6Rx*pojxde6RW^hdPfNRQqpogjpo8R
¬¥c«ªWc x6pojxdPR.dPcPRFQ#e`bfhgji;dPR¤cpo`hdPfbR*RF^hdPfRFQqpogpvvR,w_e*fyp&ºqcPR6fF±§gcPg`hgjpo´³q^ru2e6x*g©¬2poc;`p
`ypogRUw_RUQ#pvgR6^lR*` e*`hgfhR6QR6c;`6;R*c^hdPg`hRUm8cxm8c^a`bfhdg©`ldPcRUQ#e`bfhgji;dPRUxgPRtp8^re6RU^rdflpQe*`hfbgi;dPR
c¥p&`hdfhR6RR`dPcpv8mvfbg©`bMPQ#Rw_R!wPe*fyp&ºqcPR*Q#R6c8`4ªWc8e*cPO6fhRFupofh`hgfw_dQ#pvgjpovR(gcPg`hgjpoR`p
Q#e*`hfbgi;dPRUx*gR8;dcQqpogjpo8Rtw_e*fyp&ºqcPe8ª@ÃR*`r`hRWuPfbm]x*R6w_dfhRtR4^a`fhe6u¥e*`he*RWR*cq§m8cx¦`bgm8cw_dcPm8QPfbRUw_R
QqpvgpvvR4^w_e6fbpoºqcPe6^ ve*ce*fbR*f4ªR*ºqx6pvx*g©`bewPRpovmvfbg`hMPQ#RWwPRwPe*fyp&ºqcPR*Q#R6c8`tpvd_`hm8Q#po`hgji;dPRwPd
QqpvgpvvRSUp¸]gR6^r ¢Z;`bmv8R6^R6^r`Uw_e*Q#mvc;`bfhe6R^hdPftw_R4^Nve6mvQ#e`bfhgR6^Nxm8Q#uPR*»_R6^6ª
! Á 4 ¿ #" %$ e*cPe6fbpo`hgmvc#w_RNQqpogjpo8R6^6vpovm8fhg`hMPQ#R4^wPRtw_e*fyp&ºqcPR6QR6c;`6vpvcPg^hmo`bfhm8uPgRv&Q#e`bMPm_w_R6^
QdP`hgvfbgR4^*ª
$ %
) !
VFdP©`bg8fhgjwpovm8fhg`hMPQq^pvfhRqpoQ#m8cP`hMPRQ#m;^a`R*ºqx*gR6c;`Q#R`hMm]w^`hmF^hmvvRqgcR6pofpvcwEcPmvcP IgcR6pof
pv8R*Pfypogjx#uPfbmvPR*Qq^gcx*mvQ#uPd_`yp&`bgm8cpo^hx*gR6cxR4^*ª&Um&R6vR6f6MPR*ccPmvc_ ¢^r`hfbdx¦`bdPfhR4wEQR4^rMR6^pofbR
d¥^rR4w¹;`hMPR4^rRpovm8fhg`hMQ#^^hd('2R6f§fhm8Q£`hMPRcPR4xR6^b^hg©`a\#moxm8c^a`bfhd¥x¦`hgcPp^hR6i;dPR6cxRmoQ#R4^rMPR4^mowPg©´
§R6fhR6c;`fbR6^hmvd_`hgmvcmoP`bMPR^bpoQ#RvR6mvQ#R`bfh\8ªLmQ#pvgc^a`bfbpo`hR6vgR6^Mp¸vR¥R6R*cufhm8u¥m;^rR4w`hmm&vR6fbx*mvQ#R
`bMPgj^uPfhm8PR*Q.ªLNMPR¬fy^a`²pvQg\¤moQ#R*`hMPm_wd^rR4^pocpovR*fbpvgxgc;`hR6fhufhR*`bp&`bgm8cFmo`hMPR#uPfbmvR6Q#^
pvcwqfbR*gR4^lm8cP\#m8cq`hMPRvfypouMqmo¹`hMRUQqp&`bfhgjxgjpo2uPfbmvPR*Q£xm8fhfbR6^hu¥m8cw_gcP`bm`hMRUk ¡) ^`hMpo`Mp¸8R
`bm2R^rm88R6w¹ªNLNMPR4^rRQ#R*`hMPm_wP^t`hMpo`WuPfbR6^hR*c;`U^hR*vR6fbpv¹&pofbgpo`hgmvc^*+P¥}v ,pofbRR»]`bfhR6QR6\Rºx*gR6c8`
§m8fqgcPR4pof#uPfbmvPR*Qq^6MPm&R*8R*f§mvfqcPm8c_ gcPR6pvf#mvcPR4^*mvcPR.Qqp¸\,uPfbR§R6f#`hMPRF^hmo ¢x*pvR6wvR*m8Q#R`hfbgjx
QdP`hgvfbgwEQ#R`bMPm_wP^MPR6fhR!p¤^rR4i8dR*cx*RqmofhR4polQ#R4^rMPR4^motw_g-'CR*fbR*c;`Q#R6^hM^rg/.*R4^pofbRqvR6cPR*fyp&`bR6w¹ª
LNMR6^hR8R*m8QR*`hfbgx6poCQ#R`bMPm_wP^tx*pvc!2Rxjpv^b^hg©¬R4w(gc;`hmq^hR*vR6fbpv2²poQ#ggR6^0
1
)lQ2R6ww_R6w vfbgjwP^0LNMPR.^rgQ#uPR4^a`qQqpoccPR*f`hmEPdPgjwpE^a`ypocwpofywMPgR*fypofyxyM]\mvWR*Q¥R4wPw_R4w
vfbgw^xm8c^hg^r`b^gc,¬fy^r`xyMPm]m8^hgcFpFxm;pofy^rR#vfbgjw,pocwE`bMPR*c,`bmFvR6cPR*fyp&`bRq`hMRq¬cPR6fR*vR6 ]\
R*R*Q#R*c;`W^hdPCw_g;gj^hgm8c«ªTtc_§m8fr`bdPcp&`bR*\v`hMPgj^UpvuPuPfbm8pvxyMMp8^t^rR6fhgmvd¥^gQ#g©`yp&`bgm8c^*ª·¢cw_R6R6w¹Cpv^
¬cPR6fWpoc¥w(¬¥cPR*ft8fhgjwP^tpvfhRdPg`6`hMPR6\!2R6x*mvQ#R`hm!^rm8QRR*»]`hR*c;`UR6^b^tpvcwR4^h^dc^a`bfhd¥x¦`hdfhR4w
^rgcx*RWpofh`hg´x*gpv#2rQ#p8xfbmo R*R*Q#R*c;`3Nxm8fhfbR6^hu2mvcw_gcP`hm`hMPRxm;pofy^rRQ#R6^hMqR*R*Q#R6c8`y^pvfhRUuPfhR4^rR6c;`
gcE`bMPR#¬cPR`hfbgjpocP8dPpo`hgmvc«ª#LNMPR4^rR#Qqpvx*fhmv IR6R6QR6c;`b^WQ#p¸\µgc(4¥dPR*cx*R#`hMPRqx*mvQ#uPd_`yp&`hgmvcpoc¥w
^rMm&z`hMPR6Qq^rR68R6^pv^pofh`hg¬¥xgjpogc;`hR*fbcpv2mvdPc¥wPpofbgR4^gcµ`hMPR#fbR6^hdP©`y^5*}8}6,IªV¤mvfbR*m&8R*f4¥gcpvc
gc¥w_d^r`hfbgpv¹R*c]]gfbmvcPQ#R6c8`4v`bMPRR*cw!d^hR*fNMp8^gQg`hR4w.xmvc;`bfhm8¥m8c(`bMPR¬cpoCQ#R6^hM!`hMpo`x*mvQ#R6^
vR6cPR*fypo\#§fbmvQ pocPmv`hMPR6fw_R*upvfr`bQ#R*c;`6ª
17
mvdPQ#RUpo8vmvQ#R*fyp&`bgm8c80«Ätcmo`hMR*flgjw_R6pxm8^hR*\fhR6po`hR4w`bmpovR6Pfypogjx Q#R`bMPm_wP^lgj^@`bmd^hR`hMPR
vm8dPQ#RpvvvmvQ#R6fbpo`hgmvcq`bR6xyMPcPgji;dPRvª·¢c`hMPgj^UpvuPuPfbm8pvxyM8`bMPRw_gj^bxfbR`hg/.6po`hgmvcmvc`hMR¬cPR8fhgjw
g^Wpv^b^rm_x*gpo`hR6wg`hMFx*mvc;`hfbmv«8mvdPQ#Rw_R¬¥cPR6w.m8cFpqw_dpoQ#R6^hM«ªUÃm8pofy^hR*fN¬cPg`hRvmvdPQ#R8fhgjw
x*pvc`bMPR*cq2RPdPg` ]\po8vmvQ#R*fyp&`bgm8cmv¥`bMPRtxR6j^9]w_g-'2R6fhR6c;` povmvfbg`hMPQq^`hmfbR6pvg/.*R`bMPg^l`bp8^r
pofbRp¸&pvgjpoPR8±H^rR6RR8ª¥ª:* ] }_ ~,§³¦ªÄ R6po]cPR4^h^Wmo`hMPgj^pouPufhm;pvxyMFgR4^gc`hMPRqw_gºxdP`a\
`hm.PdPgjw^hR6x*mvcw¤m8fbwPR*fpouPufhm¸»_gQ#po`hgmvc^Umvcµ`hMPRqxm;pofy^rRw_dpo@8fhgjwP^6ªZ]mvQ#Rq^hmvd_`hgmvc^WMp¸8R
MPm&R*vR6f@¥R6R*cufhm8u¥m;^rR4w;*} 8}86,2poc¥w`hMPRt8mvdPQ#RUpo8vmvQ#R*fyp&`bgm8cQ#R`bMPm_w#g^xR6fr`ypogcP\mvcPR
mo`hMPR^hgQuR6ftpocw!Q#m8^r`tRºxgR*c;`mvcPR4^`hmw_R4po¹g`hM.cPm8c_ ^r`hfbdx`hdPfbR6w!Q#R6^hMPR6^6ª
1
Stm_w_R* IcPR4^a`bR6w#Q#R`bMPm_w<0@Ätcpv©`bR*fbcp&`bg8RN`hm`bMPRUpo8vmvQ#R*fyp&`bgm8c`bR6xyMPcPgji;dPRUx*mvc^hg^r`b^lgcdPgjw]
gcWpodP`hmvQqpo`hgjx*po\pMgR6fbpvfbxyM]\UmvPxm8pvfb^hR@vfbgjwP^«MPm;^rR R*R*Q#R*c;`b^pofbRlcPmv`R6Q2R6wPw_R4w¹ª·¢c¸ ¢¡
`hMPRt¬fb^r` povm8fhg`hMQ¯uPfbmvu2m8^hR6w§mvf`hMg^l`bpv^hNpv^gc=* ,¥pocwd^hR6^ ¡UR6pvdPcp¸\fbR I`hfbgpvcPvdpo`hgmvc
pv^b^rm_x*gpo`hR6wg`hMpFV¤·rZ,pv8mvfbg©`bMPQY`bmµw_R6R*`hR(cm]wPR6^mv`hMPR(¬cPR(`hfbgpvcPvdPjp&`bgm8c«ªFLNMPgj^pv©
vm8fhg`hMPQMp8^U2R*R6cF§m8m&R4w.]\.}o ¡ R»]`bR*c^hgm8c^WmvcFcPm8c_ ¢^a`bfhdx`hdPfbR6w.gj^hmo`hfbmvugx`bR`bfbpvMPR6w_fypo
Q#R6^hMPR6^N`bMp&`uPfbm&vR4wq`bmq¥R8R*fb\qR'CR6x¦`bg8R§mvfgc];gj^bxgjw!^r`hR4pvw_\(x*mvQ#uPd_`yp&`bgm8c^>*}8}6,ª
LNMPR¤8m8pvmvU`bMPR.uPfhR4^rR6c;`#mvfb,gj^`hmR»]`hR6cw`hMPR4^rR¤pv8mvfbg©`bMPQq^`bmE`hMPR¤MPgvM\pvcPgj^rmv`hfbmvuPgjx
Q#R4^rMPR4^td^hR6w§m8fWSWp¸;gR*fh aZ;`hm8vR6^x*mvQ#uPd_`yp&`bgm8c^tg`hM m& stR*\]cPmvjwP^WLdPfbPdPR*c¥xRQ#m_w_R*gcP(poc¥w
gcupvfr`bgx*dPjpof@`bmR»]`bR*cw`bMPRWmvfb_^lw_m8cPRtgc?*6,Cpvcw=*~,Iª@®mvfl`bMPRQR4^rMR6^lRtgCxm8c^hgw_R6f gcq`hMg^
mvfbCo`bMPRUQqp&»_gQdPQ£pv^hu2R6x¦`fbpo`hgmmoC`bMPRWR6R6Q#R*c;`b^x*poc(¥RWvR*fb\jpofbvR±´`a\]uPgjx*po\v;Qm8fhRt`hMpvc
104
§m8f2mvdPc¥wPpofb\jp¸\vR6fb^uPfhm8PR*Qq^b³pocw`bMPR(QdP`hgvfbgw,^hQ#m;mv`hMPR6fb^pofbR(i;dPg`hR(gcPR*ºqx*gR6c;`§mvf`hMPR4^rR
x6pv^hR6^6ªLNMPRWfhR6Q#R6w_\`hMpo`gj^l]cPm&c^hgc¥xRUpmvc`hgQ#RUgj^@`hmd^hRU^rR6Q#g© ¢xm;pofy^rR6cPgcgcq`bMPRUw_gfhR4x¦`bgm8c
u2R*fbu2R*cw_gjxdpvfN`hm`hMPRQqpo»]gQqpo«^r`hfbR`yxyMPgcª
®mvflcPm8c_ ¢^a`bfhdx`hdPfbR6wvfbgw^*&`bMPgj^@g^lcPmo` pvcR4pv^h\`bp8^rpv^mvcRNp8^`hmw_R6]g^hRtpoc#pod_`bmvQqp&`bgxNp¸\`hm
wPR¬cPRt`hMPgj^wPgfbR6x`hgmvcpoc¥w`hMPR6cq`hmx*m8pvfb^hR*c`hMRUQ#R6^hMqgc`hMPgj^wPgfbR6x`hgmvcqmvc\8ªERUg¥fhR4pog-.6R`hMg^
`ypv^hF]\µd^hgcP`hMPR(x*mvcx*R*u_`mvQ#R6^hMvR6cPR*fyp&`bgm8cxm8c;`hfbmvR4wµ]\pQ#R`bfhgjx#Qqpou«ª!VFpoc]\µpvd_`hMPm8fb^
±§§mvfNR»PpvQuR5*},I<*+6,§³^hMPm&R6w#`bMp&`N`bMPRwPR¬cPg`hgmvcmopQ#R`bfhgjxU¬R*jw(^hgQ#uPg¬R6^`bMPRW8R*cPR6fbpo`hgmvcmv
p8wPpouP`hR6w¤pvcwFpvcPg^hmo`bfhm8uPgjxQR4^rMR6^ 0LNMPRQ#R`hfbgjx*^Up8^h^hm_xgjp&`bR6w`hm`hMPRsgR6QqpocPcPgjpoc^rup8xR^hu2R6xg§\
`bMPRU^hg-.6Rtmo2`hMRUQ#R6^hMqpocw`bMPRUw_gfhR4x¦`bgm8cqmoC`hMPRW^a`bfhR*`bxyMPgcPpoc¥w`hMPR6cpocqpvwPpvu_`hR4wqpocwqpvcPgj^rmv`hfbmvuPgjx
Q#R4^rMgc,`bMPR )ld¥xgw_R4poc^hup8xR(x6poc2R(fbR*uPfbR6^hR*c;`bR6wpv^poc,gj^rmv`hfbmvuPgjxpvcwdPcPg`bpvfh\Q#R6^hM,gc`hMPR
stgR6Q#pvcPcPgjpoc.^ru¥pvxR8ª
®mvfl^hR*Q#g© ¢xm;pofy^rR6cPgcPtmo2cPmvcP ^r`hfbdx¦`bdPfbR6wQ#R4^rMPR4^*o`hMPRpovm8fhg`hMQ `hMpo`RuPfhm8u¥m;^rRgj^`hMPR6fhR*§mvfbR
wPg]gjw_R6wgc8`bm`amq^r`hR*u¥^>0
LNMPRU¬fy^a` m8cPRtgj^ pvc(pocpv\_^hg^ ^a`bR*uqMPR6fhR`bMPRWx*dPfbfhR6c8`±´¬cPR¸³@Q#R6^hMqgj^pvcpo\ .*R6w`bmgjw_R*c;`hg§\`hMPR
wPgfbR6x`hgmvc^pocwE^hg-.6R6^Wmo^r`hfbR`yxyMPgcPªLNMPgj^gj^wPmvcPR]\FxmvQ#uPdP`hgcP!m8cµR4pvxyMµR6R6Q#R*c;`6C`bMPR#QR*`hfbgx
`bR*c^hmvfMPR*fbRq`hMg^R*R*Q#R*c;`g^R6i;dPgpo`hR*fypoIªFLNMPR6c«`hMPR4^rR`hR*c¥^rm8fb^pofbRp¸vR*fypo8R6wgc^rdxyMpFp¸\
`bMp&`tm8c.R6pvxyM.cPm_w_Rmv`bMPR`bfhgjpocP8dPjp&`hgmvcPpQ#R*`hfbgx`bR*c^hmvffbR*ufhR4^rR6c8`bgc`bMPRp¸vR6fbpvvR4w(^hg-.6R6^poc¥w
^r`hfbR`yxyMPgcP(w_gfhR4x¦`bgm8c^tmv`bMPRR6R6Q#R*c;`b^U`hMpo`x*mvc;`bpvgc.`bMPg^WcPm_w_Rg^Ww_R¬cR6w¹ªLNMPR*c«¥`hMRR*gvR6c]¸pv©
dR6^mo`hMPgj^NQ#R`hfbgjxt`bR*c^hmvfpofbRQm_w_g¬R4w(gc!^hdxyM.pNp¸\`hMpo``bMPRR6w_8RWR*co`hM¥^Nmo«`bMPRR6i;dPgpo`hR*fypo
R6R6Q#R*c;`§m8f`bMPg^`bR*c^hmvfg^`agjxR`hMPRmvfbg8gcpvvR4w_vRR6cPo`bMgc`hMRw_gfbR6x¦`bgm8cmoPQ#gcPgQ#pv_^a`bfhR*`bxyMPgcPª
LNMPRq^hR6x*mvcw^a`bR*uEg^p!Q#R6^hM8R*cPR6fbpo`hgmvcµ^r`hR6u«ªER#d^hR`bMPR#¬cPR#Q#R6^hMpvcwF`bMPR#Q#R`hfbgjx¬¥R*jw
wPR¬cPR4w(m8c!g`b^Ncm]wPRp8^`hMPRp8xy]vfbmvdPcw#Q#R4^rM.pocw(`hMR^rg/.*R^ru2R6x*g©¬2x*p&`bgm8c(¬¥R*jw!p8^gcPuPdP`b^mvpoc]\
R*»_g^r`hgcPQR4^rM!vR6cPR*fyp&`bgm8c^rmv´`apvfhRWd^rgcP`hMPRxm8cxR6u_`NmoQ#R6^hMvR*cR*fyp&`hgmvcq8m&vR6fhcPR4w#]\qQR*`hfbgx
^hu2R6xg¬¥x6p&`hgmvc¥^*ªN·¢c¤`bMPg^Um8fhC¥RMp¸8Rd^hR6w`bMPRVFLUà ^hmo´`aNpofbR *},Pd_`gcµuPfhgcx*guPRpvc;\mo`bMPR*f
Q#R4^rM.vR6cPR*fyp&`bgm8cE±H¡UR6pvdPcp¸\8P§fbmvc;`bpvHPR*`bx4³`hm]mvx*poc¤2Rd^hR6w!§m8f`hMPgj^tudPfhu2m8^hRuPfbm&]gw_R4w!`hMpo`Ug©`
x6pocMpoc¥w_RpvcPg^hmo`bfhm8uPgjxUR6R6QR6c;`b^6ª
LNMPRfhR6Qqpogcw_R*fUmo@`hMg^Uupou2R*fWg^Wmvfb8pvcPg-.6R6wpv^t§mvm&t^0tZ]R4x¦`bgm8cµqfbR6x*pv«`hMPRQ#pvgcFx*mvcx*R*u_`
mv pQ#R`bfhgjxQ#pvuµpoc¥wFw_R6pvg`hMµ`hMPRuPfbmvPR*QmvlQR*`hfbgxgc8`bR*fbu¥m8po`hgmvc«ªLNMPR*cgcE^rR4x¦`bgm8cµ}P2R
wPR6^bxfbg2Rlmvdfw_gfhR4x¦`bgm8cpo;^rR6Qg ¢xm8pvfb^hR*cgcPpv8mvfbg©`bMPQ MgR^hR6x`hgmvc~U8g8R6^«pWi;dPgxyw_R4^hx*fhgu_`hgmvcmv
`bMPRNQ#R6^hMvR6cPR*fyp&`bmvf`hMpo`RMp¸vRd^rR4w¹ª®gcpv\v&gc^hR6x`hgmvc#_&Rw_R6Q#mvc^r`hfyp&`bR `bMPRNR'CR6x¦`bg8R*cPR4^h^
mv¹mvdPfpouPuPfbm8p8xyMm8c^rR6vR6fbpvPpocPgj^rmv`hfbmvuPgjxNQ#R6^hMPR6^w_gj^ruPjp¸\]gcM;dvRUp8^ru2R6x` fbpo`hgm±²p8^ljpofbvRtpv^
105³¦ª
)
LNMRxm8cxR6u_`Wmv Q#R6^hMFvR6cPR*fyp&`bgm8c¤vm&8R*fbcPR6w]\.QR*`hfbgx^ru2R6x*g©¬2x*p&`bgm8c^Wg^WcPm&zmo x*dPfbfhR6c8`d^hRgc
`bMPgj^@¬R6w=*+P] ]v]_&~;v_]v|_;;;]6, ª·¢c#`bMPgj^^hR6x`hgmvc«8RtfbR*]gR* `hMRt§dPcwpoQ#R*c;`bpvuPfbmvu2R*fh`hgR6^
pvcww_R¬cg©`bgm8c^mopQR*`hfbgx¬¥R*jw(`bMp&`tg¹¥Rd^hR§d¹§mvfm8dPftpouPugjx*po`hgmvc^6ª
®gfb^r`6_RfhR4x*pvC`bMPRw_R¬¥cPg©`bgm8c.mop#Q#R*`hfbgx#±*+,§³¦ª
½ ²Á
Ä V¤R*`hfbgxE±²pv^hmLR*c^hmvf¦³
M gc Rd g^#pµ^h\]Q#QR*`hfbgxw_R*¬cPg`hRu¥m;^rg`hgvRfhR4poQqp&`hfbg»g`hM
d `hMPR
wPgQ#R*c¥^rgmvcqmv^rup8xR8ª·`Ng^l`hMPR6c!p
d×dgc]vR6fr`bgRtQqpo`hfbg©»¹;g©`y^ R6g8R*c]&podPR6^lpvfhRUfhR4po¥pvcw#u2m8^hg©`bg8Rv
pvcw!g©`y^R*gvR6c;8R6x`hmvfy^ §mvfbQ'poc.mvfh`hMmvvm8cpo2p8^rgj^Nmo
Rdªl^hdxyM!`hMpo`
M=V(M)tΛ(M)V(M)
MR*fbR
V(M)w_R*cmo`hR4^@`bMPRWm8fr`bMPmvcmvfbQ#pv_Qqp&`hfbg»qx*mvfbfhR4^ru2mvc¥w_gcW`bm`bMPRUR6g8R*c]vR4x¦`hm8fb^mv
MMPgR Λ(M)gj^N`hMPRwPgpvvmvc¥poCQqp&`hfbg»(mog©`y^R*gvR6c;&pvdPR4^
LNMPRqm8fr`bMPmv8mvcpvg/.6po`hgmvc¤uPfbmvu2R*fh`a\Fmv `hMRqQR*`hfbgxvpvm&t^W`hm¤w_R¬¥cPRp.^hx6pojpofuPfbm]wPdx¦`mo`am
8R6x`hmvfy^gc
Rd
g`hM.fbR6^hu¥R4x¦`N`hmpQ#R`bfhgjx
M 0
(u, v)M= (u,Mv) =utMv ∈ R ± ³
RcPm& wPR¬cPR8_`hMRpv^b^rm_xgjp&`bR6w(cPmvfbQ mop#vR4x¦`hm8fNgc
Rd g`hM.fbR6^hu¥R4x¦`N`hm#`bMPRQ#R`hfbgjx
M0
kukM= ((u, u)M)1/2 ±Hv³
Ä d^hR§dPC8fbpvuPMPgjx*po¥fhR6uPfbR6^hR*c;`bpo`hgmvcqmopQ#R`bfhgjx
Mpv^b^rm_x*gpo`hR6^l`hmg©``hMRWR6gu¥^rm8gw`hMpo`fbR*uPfbR
^hR*c;`y^`hMPRdPcg©`tpvC§m8fN`hMPR^bx*pvpvfNuPfhm_w_d¥x¦`
(., .)M
0
EM={u/(u, u)1/2M = 1} ±H}8³
LNMPRR6i;dpo`hgmvc ±²}v³WfbR*uPfbR6^hR*c;`b^Wp(8R*cPR6fbpvR6gu¥^rm8gwF§mvfbQCMPR6fhR`hMRQqpogcpo»_g^pofbR8g8R*cF]\
`bMPRR*gvR6c;8R6x`hmvfy^mo
Mpocw(`hMRfypvwPgd^NmvR4pvxyM!po»_g^gj^NvgvR*c]\#`hMPRgc]vR6fb^hRUmv`bMPR^hi;dpvfhRfhm]mv`
mv`bMPRpv^b^rm_x*gpo`hR6w(R*gvR6c;&pvdPR4^*ª
VFmvfbRw_R*`bpvgj^tpoc¥w!w_R*¬cPg`hgmvc^Ux*poc2R§mvdPcwgc *+6,ª
ERg«d¥^rR`hMR§mvm&gcPcPmo`yp&`hgmvc¥^0
1 V(M)pvc!m8fr`bMPmvcmvfbQ#pvCQ#po`hfbg©»xmvfbfbR6^hu¥m8cw_gcP`bmqR*gvR*c]8R6x¦`bmvfy^ mvpqV¤R*`hfbgx
M
1 λ1(M), λ2(M), .., λd(M)`hMPRR6g8R*c]&podPR6^Nx*mvfbfhR4^ru2mvcwPgcP`hmqp#Q#R`bfhgjx
Mª
1 h1(M), h2(M), .., hd(M) `bMPRm_x*pv^hg-.6Rgc:R4pvxyM:wPgfbR6x`hgmvc:mv`hMRQ#R`bfhgjxEw_R¬cR6w ]\0
hi(M) =p
1/λi(M)§mvf i= 1, ..., dª
1
®Pm8ftpoc]\q§dPcx`hgmvc
f wPR¬cPR4wmvc
RPRpv^hmwPR¬cPR`bMPRQqp&`bfhg»
f(M)p8^ `bMPRQqp&`bfhg»
f(M) =V(M)tf(Λ(M))V(M)
MPR*fbR
f(Λ(M))gj^N`hMRw_gpvvm8cpoCQqp&`bfhg»MPm8^hRR*c;`hfbgR6^pofbR
f(λi(M))
ERg^hdPuPufhR4^h^`hMRcPmo`yp&`hgmvc
(M)MPR6c.cPmqpoQg8dPg©`a\(g¹u¥m;^h^hgPR
R` Th
2Rp!`hR`bfbpvMPR6wPfhg/.6po`hgmvcµmvNpu2mv\]vmvc¥po@w_mvQqpvgc
Ω w_R*¬cPR4w]\µp.^hR`mvcPm_w_R4^
N pvcwp
^hR`tmv^hgQugjxgjpo«R6R6Q#R*c;`b^±`bfhgjpocvR6^Ngc¤& ¡_`bR`hfypoMR6w_fbmvcgc¤}o ¡³
T MPR*fbR`hMPRcPm_w_R6^N2R*mvcP
`bm Nªt·`g^i;dPg©`bRm8;]gmvd^±²poc¥w`hMPgj^t²p8x¦`g^t`hMPRpv^hg^Umo@`bMPRxm8cxR6u_`Wmv@vR*cR*fyp&`hgmvc.mv pqQ#R6^hM
8m&vR6fhcPR4w]\!p#Q#R*`hfbgx¬¥R*jw¹¥^hR*R *+6,³N`hMpo``hMPR^hR`Wmo@^rgQ#uPgjxgjpoR*R*Q#R*c;`b^Ww_R¬¥cPR6w¤p
P0 ¬R6w.mv
Q#R*`hfbgx6^m8c
Ω^rdxyM!`hM¥p&`N§mvf`hMg^NQ#R`bfhgjxU¬R*jw(R4pvxyM^rgQ#uPR*»(gj^NR6i;dPgpo`hR*fypo 0§mvfpvgvR6c(R*R*Q#R6c8`
T]wPR¬cPR`bMPR^rR*`
E(T)mopv¹R4w_vR4^ mv
T E(T) ={(k, l) :k6=l, k, l∈ N, k, l∈T}ª@LNMPR6c(`bMPR R6R6Q#R*c;`QR*`hfbgx
MT
m8c T ^hMPmvdPjw^hpo`hgj^a§\
~xTklM~xkl = 1 ±²~;³
§m8fpoR4w_vR4^
(k, l)∈ E(T) pocw ~xkl =~xl−~xk
MPR6fhR
~xk
pofbR`bMPRqxm]mvfyw_gcp&`bR6^Wmo`hMPR#cPm_w_R
kª
LNMg^xmvc¥w_g©`bgm8cvgvR6^pF^r\_^r`hR6QYmo
1,3 mvf 6 gcPR6pvfpovR6PfypogjxR4i;dp&`bgm8c^±´§m8f ¡o¡'pvcw,}v¡
fbR6^hu«ª³§m8flxmvQ#u2mvcPR6c;`b^
(MT)ij, i≤jmo2`hMPRQ#R`bfhgjxNQqp&`bfhg»¹ªLNMPRt^hmvd_`bgm8cmv¥`bMPgj^@gcPR4pofl^h\]^r`hR6Q gj^NvgvR6c!gc`hMPR§m8m&gcPfbR6^hdP`0
½ 5 - D D!
MT
#" $ ( :% -'& (
MT =CM·
d+1
X
i,j=1 i<j
~xij~xTij
−1
, ±Hv³
& !
CM = (d+ 1)/2)
* Á«Á,+ -/. ! 10 - $&
MT
32! "5476'8 79 D:4<;=8
)>
'0?%5 ( %
476$8@& > $26A% (B6 DB" - "
(i, j)0 i < j <%> D7 -C D(
~xTijMT~xij = 1. ±H|8³
E 5B'2 % /'& !#" ! C GF$H ( 72! JI B ! 72 ! 1I -(
~xij =−~xji
~xik=~xij+~xjk.
. $ - 4 8 & B'2A%
j6=k6=i0
1 = ~xTijMT~xij = (~xik+~xkj)TMT(~xik+~xkj)
= ~xTikMT~xik+~xTkjMT~xkj+ 2~xTikMT~xkj = 2−2~xTkiMT~xkj.
0"I F ! C !#"
~xTijMT~xik = 1/2.
>
? $ & 'I & B'2% ( B !I B
(i, j, k, m)0
~xTijMT~xkm=~xTijMT(~xkj+~xjm) = 1/2−1/2 = 0.
'& 0 B %
~xij
"
Rd
% B6 DB" - "#D
(i, j)% F "#
D7 -C 0 <% BD !? $& !#"
d+1
X
i,j=1 i<j
~xij~xTij
·MT ·~xkm =CM ·~xkm, ±Io³
%>
~xkm∈Rd)A>
% B0 ! $& 4<8A% !I BD /
(k, m) 5 !B
"I I #"#5% ! D
)
6
k= 10 m= 2) E " B0
d+1
X
i,j=1 i<j
~xij~xTij
·MT·~x12 =
d+1
X
i,j=1 i<j
~xij·(~xTijMT~x12)
= ~x12·(~xT12MT~x12) +
d+1
X
i,j=3 i<j
~xij·(~xijMT~x12)
+
d+1
X
j=3
~x1j·(~xT1jMT~x12) +~x2j·(~xT2jMT~x12)
= ~x12·1 +
d+1
X
j=3
[~x1j·1/2−~xj2·(−1/2)] =~x12
1 + d−1 2
= d+ 1 2 ~x12.
0
CM = (d+ 1)/2 546'8 7 4; 8 )
> !5 !B & 'I % -$& ,% $ !B " -D! 1IH4- ! 72 ! 1I=8 % A D!
P
ij~xij~xTij
:" -D! 1I % 476'8 % ?I ?F " 7 /
)
Ä Q#R6^hM.vR6cPR*fyp&`bgm8c(povm8fhg`hMPQ 8m&vR6fhcPR4wq]\Q#R`bfhgjx^ru2R6x*g©¬¥x6p&`bgm8c^Nd^hR6^NpQR*`hfbgxW¬R6w!`bm#wPR¬cPR
po`pvc;\u2mvgc;`mvt`hMPR.w_m8Q#pvgc
Ω `hMPR.w_R6^hgfhR4w,Q#R6^hM^hg-.6R!poc¥w^r`hfbR`bxyMgcPEw_gfhR4x¦`hgmvc¥^*ª &tm&R*8R*f4
`bMPgj^WQ#R*`hfbgx¬R*jwFMp8^t`bm!2R#w_R¬cR6wFgc^hmvQ#Rp¸\8ªW·¢cE^rm8QRx*p8^rR4^*2g©`gj^Wu2m8^b^hgPR`bmwPR¬cPR`hMg^
Q#R*`hfbgxt¬R*jwq]\q^ruPg`r`hgcP
Ωgc;`hm^rR6vR*fypo2^rd2w_m8Qqpogc^ pvcww_R*¬cPgcPpvcpo\;`hgjx*po\`bMPRUQ#R`bfhgjx¬¥R*jw m&8R*f`bMPR^hdPCw_mvQqpvgc^6ª &Um&R6vR*f4PgcFuPfypvx`hgjxRv¥g©`g^WQ#mvfbRxm8c]vR*cgR6c8``bm!w_R*¬cPR`hMPgj^t¬¥R*jw¤mvcFpvc
gcPg`hgjpoQ#R6^hM«2^hmvQ#R*`hgQR4^Wx6poR4w`hMPRp8xy;8fhm8dPcwQ#R6^hM«ªWLNMg^Upvxy]vfbmvdcwQR4^rMµg^WmvcP\.d^hR§dP
§m8f(w_R*¬cPgcPp&`poc]\u2mvgc;`(mo`hMRµw_mvQqpvgc `bMPRFQ#R`bfhgjxF^hu¥R4xg¬¥x*po`hgmvc poc¥w wPmcPmo`!Mp¸vR.`bm¥R
x*mvc_§d¥^rR4wqg©`bM(`bMPRpvx¦`bdpo2Q#R6^hM`bMp&`RUNpoc;` `bm8R*cPR6fbpo`hRvª·¢c(m8dPfNxm8pvfb^hR*cgcPpouPuPgjx*p&`bgm8c«;`hMPR
¥pvxy]vfbmvdPc¥wQ#R6^hMg¥mv]]gm8d^h\¥Rw_R¬cR6wq]\`hMPRU¬cPRUQ#R4^rM«ª@TW^rgcP`bMPRUfbR6^hdP` mo^hR6x`hgmvc(_ª]
g`gj^xR6pvf«`hM¥p&`Rx6pocwPR¬cPRNp
P0 ±²x*mvc^r`bpvc8`]\R6R6Q#R*c;`y³«QR*`hfbgx ¬R6wm8c`hMRp8xy]vfbmvdPcwQ#R6^hM«ª
&Um&R6vR6f6Pm8dPfxm8pvfb^hR*cgcPpv8mvfbg©`bMPQ'gfbR*Q#m&8RcPm_w_R6^Wmo@`bMPR¬cR`hfbgjpocP8dPpo`hgmvcFpvcwF^hmq`hM]d^
gwPR*R`hR`hMPRR*R*Q#R6c8`y^mo@`hMRp8xy]vfbmvdPcw`bfhgjpocvdPjp&`bgm8c«ªU· `g^U`hM]d^QdxyMFQ#mvfbRx*mvc]vR6cPgR6c;`
`bmw_R´cPRUp
P1Q#R`bfhgjx¬R6w#m8c`bMPRtp8xy]vfbmvdPcwQ#R6^hMqpocw`hM]d^l`hmw_R*¬cPR`bMPRtQ#R`bfhgjx¬R6wqpo`l`hMPR cm]wPR6^Wmo@`hMRp8xy]vfbmvdPcw,±§¬cPR¸³`bfhgjpocP8dPjp&`hgmvcªWV¤m8fhR6m&vR*f4P`bm`bMPR2R6^r`molmvdfW]cPm&R6w_8Rv¥`hMPR
pvcPgj^rmv`hfbmvuPgjxQR4^rMq8R*cPR6fbpo`hgmvc#^rmv´`apvfhR4^xdPfbfhR6c;`h\gcqd^rRUmvf@gcw_R*8R*mvuPQ#R*c;` *+P;}6,`ypovRtp8^@gcPuPd_`
p.Q#R*`hfbgx#QqpouwPR¬cPR4wmvcP\µm&8R*f`bMPRcPm_w_R4^moN`hMRpvxy]8fhm8dPcwFQ#R4^rM,2R6x6pod^hRqg©`g^R6pv^hgR*f`hm
`bfbpvc^hu¥m8fr`
P1¬¥R*jwP^@w_dPfbgcWQ#R6^hMvR*cR*fyp&`hgmvcuPfhm_x*R6^b^«`bMpoc
P0¬R*jwP^6ª ER`bM]d^Mp¸vR `hmxm8c^hgw_R6f6
`bMPRufhm8PR6Q mvlw_R¬cgcP(§fhm8Q p
P0 `hR6c^hmvft´R*jwFp
P1 `bR*c^hmvfU¬R*jw.`bMp&`4¥gcµ^hmvQ#R^hR*c^hRMp8^`hm fbR*ufhR4^rR6c8`N`bMPR^hpvQ#R¬R*jw 0 $ g8R*c§mvfR4pvxyM.R*R*Q#R6c8`4p#Q#R`bfhgjx`hMpo`Uw_R¬¥cPR6^N`bMPRR*cPv`hM.moR6wPvR6^
pvcwq`bMPR^r`hfbR`bxyMgcP#w_gfhR4x¦`bgm8c^*]RMp¸vRU`hmqw_R¬¥cPRp^hR`mvQ#R`hfbgjx*^w_R*¬cPR6w!mvc!`hMRcm]wPR6^Nmo`hMPR
`bfhgjpocvdPjp&`bgm8c#`hMpo`NgCwPR¬cPRW§mvfNpoc]\#u2mvgc8`Nmo`hMPRw_m8Q#pvgc!pouPuPfbm¸»_gQqpo`hgvR*\`hMPR^hpvQ#RUR*cPv`hM^
pvcw,^r`hfbR`bxyMgcPFwPgfbR6x`hgmvc^6ª¤®Pmvf`hMPgj^6RMp¸8Rxm8c^rgjw_R6fhR4wµ`bMPfbR*R(w_g-'CR*fbR*c;`^r`hfyp&`hR6vgR6^`bMp&`pofbR
wPR6^bxfbg2R6wpocwxm8Q#upofbR6w!gc`bMPR§mvm&gcP#^rR4x¦`bgm8c^*ª
½ Á "²_ ²Á °Á +½ "½ ½ ½ * 8 Á Á  ½
Ä ¬fy^r`Np¸\#g^`bmx*mvc^hgwPR*fNp^hgQuRgc;`bR*fbu¥m8po`hgmvc(mv«`hMRQ#R*`hfbgx6^wPR¬cPR4w(m8c`bMPRR*R*Q#R*c;`b^`bMp&`
^hdPfbfhm8dPcwqpxmvQ#Q#mvc(cPm_w_R R`Nd^wPR*cPmv`hR
T(i)`bMPR^hR`mopv2R*R*Q#R*c;`y^
T MgxyM(x*mvc;`bpvgc!pcPm_w_R
i i∈Tª@LNMPRcPm_wPpv¹Q#R`hfbgjxWQqpo`hfbg©»(mvcm]wPR
i g^^hgQu\!mv_`ypogcPR6w!]\ 0
Mi= ( 1 card(T(i))
X
T∈T(i)
M−1/2T )−2 ±8³
MR*fbR
M−1/2 gj^#pF§dcx¦`bgm8cmoU`hMPR.Qqp&`bfhg»,pv^hR6wmvc`bMPR.w_gpvvm8cpog-.4p&`bgm8c,mo
M = V.D.VT
x6pojxdPjp&`bR6w!]\`bpv]gcP
M−1/2=V.D−1/2.VT g©`bMFpq^rgQ#gjpoftwPR¬cPg`hgmvc.§m8f
M−2ªLNMPRu2m&R6fb^
−1/2pocw −2M¥p¸vR2R*R6cµxyMPm8^hR*c.`bm(8g8R`hmq`bMPRR*»_uPfhR4^h^hgmvc±8³`hMPRQ#R6pocgcP(mo p¸vR6fbpvvgcP`hMPR xyM¥pofypvx¦`bR*fbg^r`hgjxtQ#R4^rM¤^hg-.6Rm&8R*f`hMRR*R*Q#R*c;`b^
T ∈ T(i)pvw&nrpvxR6c;``bm
iª
- Á
¸
½
v
½ Â ½
Á
"H_
HÁ Á,+t½
"½ ½ ½
6
v
Á Á
 ½
LNMRcm]wpolQ#R`bfhgjx§fhm8QY^hR6x¦`bgm8cPª}ª Mp8^¥R6R*c,xm8c^r`hfbdx¦`bR6wmvc`hMPRqR6R6QR6c;`QR*`hfbgx6^*pocwpv^
^hdxyM^hMPmvdw`ypovRUgc;`hmpvx6xmvdc8`@`bMPRUm_x*pv¥^hMpou2RWpvcwqw_gfhR4x¦`hgmvcqmvpocPgj^hmo`hfbmvugR4^mopvw&nrpvxR6c;` Q#R6^hM
R6R6Q#R*c;`b^6ª &Um&R6vR6f6_c]dPQ#R*fbgjx*poR»_u¥R6fhgQ#R*c;`b^U^rMPm& `hM¥p&`Ug`Ww_m]R6^tcPmo`U8g8RvPgcF^hmvQ#Rx*p8^rR4^*i;dPg`hR
R*»Ppvx¦`Ngc_§mvfbQqp&`hgmvc(mvc`bMPRp¸vR6fbpvvRtpv^hu2R6x¦`Nfyp&`hgmmv`bMPRp8w¸nrpvx*R*c;`NR*R*Q#R*c;`b^Npvcwq`bMp&`g`m&8R*fy^rg/.*R4^
`bMPRF^hQ#pvR6^r`xyMpofypvx`hR6fhgj^a`bgx(Q#R6^hM ^hg-.6R,±§R*¥ª `hMPR.2mvdPc¥wPpofb\jp¸\vR*f`bMPgxy]cPR4^h^y³¦ª°LNMPgj^q^hg©`bdp&`bgm8c
M¥pouPu2R*c^6¹§m8fR*»PpoQ#uPRv«m8cEpxdPfbvR4wµ2mvdcwPpofb\¤jp¸\vR*fg`hM,p(Mg8MEp8^ru2R6x`m8fbwPR*fq±§m8fbw_R6f
104 mvf
Q#m8fhR¸³¦ª
®mvf^rd¥xyMµp(x6pv^hRv2RuPfhm8u¥m;^rRp(x*mvfbfhR4x¦`hgmvc.mvl`hMPRR*gvR6c]¸pvdR6^tmv@`hMPRcPm_wPpvQ#R`bfhgjxQ#po`hfbg©»
Mi
x*mvQ#uPd_`bR6wµgc ±;³¦ª®mvfR6p8xyMµQ#R`bfhgjxQqpo`hfbg©»
M¹R`d^w_R6cPmo`bRg`b^w_gjpo8mvcpvQqpo`hfbg©»F]\
D g`hM
R6g8R*c]&podPR6^mvfyw_R*fbR6wEgcpocp8^hx*R*cw_gcPFm8fbwPR*fm8c`hMPRw_gpvvm8cpo pvcw,pocmvfh`hMPm8cPmvfbQqpo@Qqp&`bfhg»Emv
x*mvfbfhR4^ru2mvc¥w_gcR*gvR6c]vR6x`hm8fb^]\
V
M =V.D.VT
°g`hM.fbR§R6fhR6cxR`hm#R*»]ufhR4^h^hgm8c±8³R`td^x*mvQ#uPd_`bRpQ#m_w_g¬R6w.w_gjpo8mvcpvCQ#po`hfbg©»
D¯i
p8^§mvm&t^
D¯i= ( 1 card(T(i))
X
T∈T(i)
D−T1/2)−2 ±+8³
LNMPR¬¥cpo¹cPm_wPpv«Q#R`bfhgjxg^N`bM]d^NvgvR6c!]\
Mi=Vi.D¯i.ViT ± 8³
MPR6fhR
Vi
gj^C`bMPRlmvfh`hMmvvm8cpo¸Qqp&`bfhg»Umv]R6g8R*c]vR4x¦`bmvfy^¥mv8`bMPRlm8fhgvgcpo&Qqpo`hfbg©»
Mi
d^hR6wgc§m8fhQdPjp
±8³ªLNMPgj^uPfbm_xR6wPdPfhR`bM;d¥^tfbR*uPjpvx*R6^`hMRR*gvR*c]&podPR4^Nmo
Mi
]\`hMRxm8fhfbR6x`hR6w!R*gvR6c]¸pvdR6^NvgvR6c
]\µ±+8³`bMp&``bfhgR6^`bmM¥p¸vRp¥R*`r`hR6ftR6^r`hgQqp&`bRmv`bMPRpv^hu2R6x¦`fyp&`bgm#mo`hMPRR6R6Q#R*c;`b^po`tcPm_w_R
iª
½ Á "²_ ²Á Pq Á
½]Á Â ½ 8
LNMR¤uPfhm8PR*Q mvgc;`hR6fhu2mvjp&`bgcPE`bR*c^hmvfq¬¥R*jwP^qMp8^qfhR4xR6c8`b\fhR4xR*gvR4wpo`r`bR*c;`hgmvc gc `hMPRFpvfhR4pmv
gQqpo8RuPfbm]x*R6^b^rgcP* ,Iª R.w_R6^bxfbg¥Rgc`bMPR§m8m&gcP¤`am^hR6x¦`bgm8c^6`amµw_g-'CR*fbR*c;`^r`hfyp&`bR*vgR6^
`bmFw_R¬¥cPRp.cPm_wPpo@Q#R*`hfbgx¬R6w,x*mvQ#gcP§fhm8Q¨`hMg^fbR6^hR6pvfbxyMEpofbR6pª R`d¥^po;pogcxm8c^hgw_R6f
T(i)
`bMPR¤^rR*`qmoWpvR6R6QR6c;`b^
T MPgjxyM xmvc;`ypogcpcPm_w_R
i i ∈ Tª WcR6pvxyMR*R*Q#R*c;`
T gj^qw_R*¬cPR6w
]\`hMPRfbR6^hdP©`y^mvU^rR4x¦`hgmvc _ª¤p¤dPcPgji;dPR!^h\]Q#QR*`hfbgx(u¥m;^rg`hgvR!w_R¬cg©`bR(`bR*c^hmvf±HZ]k ¡³
MT
ª R
pvfhRm]mv]gc#§mvfUpqdcPgi;dPRQR*`hfbgx
Mi
`hMpo`UfbR*uPfbR6^hR*c;`b^Ngc.`hMR2R6^r`Uu¥m;^h^hgPRNp¸\q`bMPg^W^rR*`Umo`bR*c_
^hmvfy^6ªLNMPgj^NuPfbmvPR*Q x*poc!¥R^hmvvR4w(p8^pQ#gcPgQ#g/.6po`hgmvcuPfhm8PR*Q uPfbm&]gw_R4wRpofbRpvPR`bm#wPR¬cPR
pWxm8cxR6u_`mvw_gj^a`ypocx*R2R`aR*R6c`hR6c^hmvfy^*ª®mvf`hMPgj^RMp¸8R@`hmfhR4x*pv]^rm8Q#Rw_R*¬cPg`hgmvc^poc¥wfhR4^rd©`y^*ª
®gfb^r`6WR*`!d^xm8c^rgjw_R6f(`bMPRw_R*¬cPg`hgmvc mo`hMR8R*m_w_R6^hgjxFw_gj^a`ypocx*Rµ2R`aR*R*c `am^h\]Q#QR*`hfbgx
u2m8^hg`hgvRw_R*¬cPg`hR`bR*c^hmvfy^6ª·¢c`bMPR!^hR6i;dPR6HRgwPR*cPmv`hR
Sym(n) `bMPR!^hR`mvt^r\]Q#Q#R`hfbgjxqfhR4po
n Qqp&`bfhgjxR4^pvcw
Sym+∗(n)_`hMR^rR*`Nmv@Z_k ¡¯fbR6pv
n Qqp&`bfhgjxR4^0
½ ²Á
LNMRgc]&pofbgpvc8`tw_gj^r`bpoc¥xR¥R*`aR6R*c
M, N ∈Sym+∗(n)gj^tw_R*¬cPR4w(]\0
d(M, N) =dist(Id, M−1/2N M−1/2) =N(M−1/2N M−1/2)
pvcw
N(M)) =tr(log(D)2).
MR*fbR¡¯g^`bMPRR*gvR6c;&pvdPRQqp&`bfhg»!p8^h^hm_xgjp&`hR4wq`bm
Mª
ÄUcPmo`bMPR*fNp¸\(`bmw_R*`hR6fhQ#gcPR`bMPRgc]&pofbgpvc8`w_gj^a`ypocx*Rgj^U`bMPfbmvdP8M.`hMPR#sgR*QqpocPcgpvcµQ#R`bfhgjxm8c
`bMPR^hupvx*RmvZ]k¡z`hR6c^hmvfy^*ª
½ ²Á
g W1
pvcw
W2
pvfhRW`am`ypocP8R*c;`vR6x`hm8fb^Np&`
M_Rw_R¬¥cPR`hMPR^bx*pvpvfNuPfhm_w_d¥x¦`tp&`
M ]\0 (W1, W2)M = (M−1/2W1M−1/2, M−1/2W2M−1/2) =T r(M−1/2W1M−1W2M−1/2)
½ ²Á
LNMRstgR6Q#pvcPcPgjpoc.R»_u2mvcPR6c;`hgjpo¹Qqpou.pv^b^rm_x*gpo`hR6w`hmpvc!gc]¸pvfhgjpoc;`NQ#R`hfbgjxg^w_R*¬cPR4w!]\0
expM(W) =M1/2exp(M−1/2W M−1/2)M1/2
`bMPgj^tw_g-'2R6mvQ#mvfbuPMPgj^rQ'g^N8m8poIPpocw!Rx6pocdPcPgji;dPR*\!w_R*¬cPR`bMPRgc]8R*fy^rRQqpouPuPgcP#]\0
logM(W) =M1/2log(M−1/2W M−1/2)M1/2
!½ _@ gc(pouPu2R*c¥w_g©»;RUwPR6^bxfbg2RUgc(w_R*`bpogj^@`hMRUuPfbmvu2R*fh`hgR6^ mosgR*QqpoccPgpvc(^hupvx*Rtmo«^h\;Q
Q#R*`hfbgxu2m8^hg©`bg8RwPR¬cPg`hR`bR*c^hmvfy^pv^NR*«pv^`bMPRw_R*¬cPg`hgmvc^mv`bMPg^U^rR4x¦`hgmvcª
* ½ Á ¸ ½ P _ HÁ " Á °
°g`hMµ`hMPRuPfhR6]gm8d^r\.w_R¬cR6wFx*mvcx*R*u_`mo@vR6m]wPR6^hgxwPg^r`bpvcxR¥R*`aR6R*cZ]k¡ `bR*c^hmvfy^6Rx*pvc
wPR¬cPR`bMPRcPm_wPpo¹Q#R`bfhgjx
Mi
pv^`hMRgc;`hfbgc¥^rgjxUQ#R4pocmo`bMPR^rR*`moQ#R`bfhgjx*^
{MT;T∈ T(i)} * |,Iª
ERNfhR4x*pv;`hM¥p&``hMPRgc;`hfbgc¥^rgjx Q#R4pocmo2pWfypocw_m8Qz&pofbgpvPRgcpvcpvfhPg`hfypofb\Q#R`hfbgjx^hup8xRg^@w_R*¬cPR4w
gc#`hMRU^rR6c^hRtmo«®Pfbe6xyMR` pv^l`hMPRUu¥m8gc;`l`bMp&` Q#gcPgQg/.*R4^@`bMPRUR*»]u2R6x`hR4w#¸pvdRtmoC`hMRU^rdQ mo´ ¢^bi8d¥pofbR6w
wPg^r`bpvcxR(§dPcx¦`bgm8c 0!Ãm8c^rgjw_R6fp^rR*`moWu¥m8gc;`
A = {x1,· · ·, xn} mvcpµsgR*QqpoccPgpvc^hupvx*R
Eª
LNMR*c`bMPRgc;`bfhgc^hgxWQ#R6poc(mou2mvgc;`b^gc
Ag^Nw_R*¬cPR4w(pv^NpQ#gcPgQdQ mo«`bMPRW§dPcx¦`bgm8c
jA
]`hM¥p&`Ng^6
µ=pofbvQ#gc
x∈EjA(x) ± ³
MR*fbR
jA(x) = 1 2n
n
X
i=1
d(µ, xi)2
pvcw
dg^`hMPRvR6m_w_R6^hgxw_gj^r`bpoc¥xRmvc
Eª
LNMPRuPfbmvu2R*fh`hgR6^mv`hMRgc;`hfbgc¥^rgjxUQ#R4pocMp¸vRW¥R6R*c.^a`bdw_gR6w!;\ pofyxyMPR*f* ,Iª Z_gcx*R`hMPRQ#R6pvc
gj^NvgvR6c(]\q`bMPRQ#gcPgQ#g-.4p&`bgm8c!uPfbmvR6QY± ³¦PRQd^r`vR6fhg§\q`hM¥p&`U^hdxyM!pQ#gcgQdPQ'R*»]gj^r`b^poc¥w
gj^dPcPgji;dPRvªpvfbxyMPR6f^hMPm&t^`bMp&`@§m8flpWQqpvcPg©§m8wg`hM#cPm8c_ Iu2m8^hg`hgvR^rR4x¦`bgm8cpo_xdfh&p&`bdPfbR`bMPRQ#R6pvc
gj^dPcPgji;dPR*\qw_R¬cR6w¹ª@·¢c(²pvx¦`4;`hMPRZ]k ¡z^hup8xRWwPm;R4^ M¥p¸vRUcmvc_ u¥m;^rg`hgvR^rR4x¦`bgm8cpoCxdPfb&p&`bdPfhR8;pvcw¹
`bM]d^*`hMRQ#R6poc,gj^dPcgi;dPR6\w_R¬¥cPR6w¹ª.·¢c * 6,Np.vfypvw_gR*c;`w_R4^hx*R*c;`povm8fhg`hMQ¶`hmµx*mvQ#uPd_`bRq`hMg^
Q#R4pocg^8g8R*cǻ@LNMPR8fbp8w_gR6c;`Nmv
jA
gj^NvgvR6c!]\
∇jA(x) =−1 n
X
i=1,n
Logx(xi)
pvcw.`bM;d¥^U`bMPR#gc;`bfhgc^hgxQR4pocmop!^rR*`mvl`hR6c^rm8fb^x*pvcF2Rx*mvQ#uPd_`bR6w;\`bMPR§m8m&gcP(8fbp8w_gR6c;`
wPR6^bxR*c;`tpovm8fhg`hMQ 0
"
Á « 6 ! ½ Á,+½ Á &
·¢cPuPd_` 0
M1,· · ·, Mn∈SP D ^hupvx*R
Wd_`huPdP`0
R∈SP D ^hupvx*Ro_`bMPRgc;`bfhgc^hgxQ#R6pvc
R0=M1
¡Wm
Xi=n1P
k=1,nLogRi(Mk) Ri+1=ExpRi(Xi)
°MgR
(Xi, Xi)Ri>
½ Á "²_ ²Á Á
¿ #"Â ½ P ½
WcRWmv«`hMPRw_gºxdP`hgR6^Ngc!w_R4pogcg`hM!QR*`hfbgx6^g^`hM¥p&``hMPgj^^ru¥pvxRWg^cPmv`NpvR4x¦`bmvfN^rup8xRU§mvf`hMPR
d¥^rdpv_Qqp&`hfbg»pocw#^bx*pvpvfQdP`hguPgjx*po`hgmvc#mvu2R*fyp&`bgm8c^6ªLNMPRuPdfhu2m8^hRNmo2`hMPgj^l^hR6x¦`bgm8cgj^`bMPRd^hRmo2p
cR*°²pvQg\moQqpo`hfbg©»m8u¥R6fbpo`hgmvc^mvc(`hMPR^hupvx*R
Sym+∗(n)`hMpo`Ng28g8RU`bm`bMPgj^^rup8xRp8R6x¦`bmvf
^hup8xR ^r`hfbdx¦`bdPfbR * 6, ªLNMPR4^rRmvu2R*fyp&`bgm8c^¹`bMp&`vR*cR*fypog-.6R@`hMPRd^hdpo;Qqp&`hfbg»pvcw^bx*pvpvf«QdP`hguPgx6p&
`bgm8c^@pofbRNgc;`bR*fbR6^r`hgcPgc`hR6fhQ mo2`hMPR6gf@Qqpo`hMPR6Q#po`hgjx*^@ufhm8u¥R6fr`bgR4^@^rdxyM#pv^`bMPRU^hgQ#gpvfhg`a\; Igc]&pofbgpvc8`4
gc]&pofbgpvc8`N]\Qd©`bguPgjx*p&`bgm8c«Pgc]vR*fy^hgm8c!poc¥w(]\!^bx*pvgcPgc`bMPRw_mvQqpvgcmoQqp&`hfbg»(m88pvfhg`hMPQq^6ª
½ ²Á «R*`
M1, M2∈Sym+∗(n)pocw λ∈ RªpUmv;pofbg©`bMPQ#gxuPfbm]wPdx¦`mo
M1, M2
g^@w_R*¬cPR4w
p8^§mvm&0
M1M2:=exp(log(M1) +log(M2)) ± v³
pvcwpmv;pofbg©`bMPQ#gx^bx*pvpvfQdP©`bgugjx*po`hgmvc
⊗gj^tw_R*¬cPR6w]\0
λ⊗M1:=exp(λ.log(M1)) =M1λ ± }8³
* Á Á ²Á
(Sym+∗,)g^pvfbmvdu«ªLNMPRcPR*d_`bfbpvvR6R6QR6c;`gj^¹`hMR d^hdpo8gwPR*c;`hg`a\Q#po`hfbg©»¹¸pocw
`bMPR8fhm8dPu.gc]vR6fb^hRmolpvcµZ]k ¡ Q#po`hfbg©»g^Ug©`y^Ugc]vR6fb^hRgc.`bMPRQqp&`bfhg»^hR*c¥^rR8ªNVFmvfbR*m&vR6f6_MR*cPR6vR*f
`amZ]k ¡:Q#po`hfbgx*R6^lx*mvQ#QdP`hRNgc#`bMPRQqp&`bfhg»^hR*c^hRvo`hMPR6c#`hMPRtmv;pofbg©`bMPQ#gxQd©`bguPgjx*p&`bgm8c#g^@R4i;dpo
`bm`hMPR6gftQqpo`hfbg©»(ufhm_w_dx`6ª@V¤m8fhR6m&vR*f48`hMPRQdP©`bgugjx*po`hgmvc.g^x*mvQ#QdP`bp&`bg8Rvª