HAL Id: inria-00072049
https://hal.inria.fr/inria-00072049
Submitted on 23 May 2006
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 improved biologically plausible trajectory generator
Thierry Viéville
To cite this version:
Thierry Viéville. An improved biologically plausible trajectory generator. [Research Report] RR-4539, INRIA. 2002. �inria-00072049�
a p p o r t
d e r e c h e r c h e
Thème BIO
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
An improved biologically plausible trajectory generator
T. Viéville
N° 4539 – version 2
version initiale Septembre 2002 – version révisée Février 2006
/1032#46587&4:969:;
<-=?>@BACDFEHGJILKNMPOF>Q@RASM-TVUXWZYXWZ[ZU]\_^VAQM
`bacWedfAOgEihVKLMcMFAA
jkelVlmWZaFOhNA,acAQno=VAQacno=VAqpsr't_uZvZwyx{zZAQacMFU|W8p}
∗G~z8AaoMPUXWZp U|p?UOcUXkZY|AILAQlNOFAQ@TVacA}e88}iGzZAaoMFU|W8p aczLUXMFA.'zLacU|AQag}eZ8 vZt l ke[ZASM
'QVZZ
W8p?MPU]hNAQaFUXpV[ROF=VATVU|W8Y|W8[ZU]nkZYmW8agkeaFOFU| nUXkZYsOFaokdfAQnOFW8aFK[8ApVAQackeOFUXWZplVaFW8TVYXA@#VA,lVaFW8l W_MPA,kBTVUXWe
YXWZ[8UXnQkeYXY|KilVY]ke^?MFUXTVY|A@BWLhVAYLWeVOc=VAY|UXpV.T AOfAQApOF=VA.U*YXWNnkZYP=VAacA:OFWZ:[8WepVA LOP¡'YXWLnQkeYL@BAQno=?kZpVU]MP@
UXp{k.YXWLn^?M3@kel{kZp?h¢OF=VA¢UXU][8Y|W8T?keYVOFaokdfAQnOFW8aFK[8ApVAQackeOFUXWZpRlVacWZTVYXA@#£<-=VUXMbA NlVY]keUXp?M3=VW¤OF=VAgAQY|Y
LpVWp¥=VUXlVlmWLnQke@Bl?kZYgacAY]kOFASh¤kZaFASkZMnWZp_OckZU|pVUXpV[¦YXWLn^?MP:@kel MBUOc=§Y|WNnkZY@BAQno=?kZpVU]MP@M{kZaFA1keY]MFW
z8AacK{YXU|8AYXKkeTVYXA.OFWMFWZYXzZAiOF=?A,[ZYXWZT?kZY¨lVaFW8TVYXA@#VlVacWzLUXhNUXpV[¢OF=VApVA^VaokeY¨@kZl#k8n"OcU|zLU|OfK{UXMaFAQYXkeOFAQhOFW
= keac@RW8pVU]nglmWeOcAp_OFU]keY]M£
IL^ no= acAlVacAQMFAp_OokOFUXWZp{k8MFMF^V@BA)OF=?keOW8T?MfOokZnY|ASMbOcWRkz8WZU]h©W8a-nWZp?MPOFaokeUXp_OcMpVWeOOFWRzLU|W8YXkeOFA+nWZacaFA
MFlmWZp?h OFW@Bke NU|@kBWebkMFWeªnkZY|YXAQh l WZOFAQp8OcUXkZY6 =VUXY|A,Oc=VA[8W8keY!nWZacacAQMFl W8p?hVMOFW{U|OcMg@BU|pVUX@^?@£<-=VA
nWZacaFASMPlmWZp hNU|p?[#kZY|[8WZacUOc=V@«Oc=_^ MTmA=?kz8AQMk8M,UW8pVAOF=?aFWMk1MF=VAQAOW8p8OcW#OF=VU]MMPOckeOFAMFl?k8nAZ!OF=?UXM
=LKLlmAaFMF^VaF¬kZnA¢aFAQY|UXA-TmAUXpV[#AYXAzkOcAQhWZp¦WZT?MPOck8nYXAQMQ¨UOc=®k =?WZYXABkeO.OF=VA[8W8keYYXWNnkOcU|W8p*£'U|p?hVU|pV[
k OcackedfAQn"OcWZacK1OF=L^?MaFAShN^?nASMiOFWPaFW8Y|YbhVWpL¡BkZY|W8pV[OF=VU]M,acAYXU|Af&UXp¦OF=VA{hNUXacAQn"OcU|W8p¦WeOF=VAlmWeOcAp_OFU]keY
[8ack8hNUXAp_OQ£
<-=VAWZacU|[8U|p keYXUOfK¥We,Oc=VA¯lVacAQMFAp_OWZac¥UXMOFW¤TV^VUXYXhHkep§=?kZaF@BWZp?UXn1lmWeOcAp_OFU]keYBOc=L^?MUOc=VWZ^NO
YXWNnkZY @BUXpVU|@¢^V@{aFW8@°k¢MFl?kZacMFAgkZhVl?kOcU|z8AinWZ@T?U|p?keOFUXWZp{WZ&AYXA@BAQp8OokeacKY|WNn^?MNk8MUXp?MFlVUXaFASh{TLKBOF=VA
T?U|W8Y|W8[ZU]nkeYs@BWNhNAYXUX±QkOcU|W8p WZ&Oc=VA,=VUXlVl WNnQke@Bl?keY!MfOcaF^?nOF^VacAQMQ£
<-=VU]MYXAQk8hVMROFW²kZp¤UXp_OFAacp?kZYaFAQlVaFASMPAQp_OckOcU|W8p³WZ)Oc=VA1lVacWZTVYXA@´k8Mk¦pVWZpV6OcWZlmWZ[Zaokel?=VUXnQkeY@kel*
UXp?naFAQ@RAQp_OckeYXYXK{TV^VUXYOghV^VaFUXpV[BOc=VAMPKNMPOFAQ@°A NlVYXWZaokOcU|W8p*£3µgMMF^?no=*VU|OlVacWzLUXhNASMkRZAKAYXA@BAp_OWZak
T?U|W8Y|W8[ZU]nkeYXYXKil?YXkZ^?MPUXTVYXA-@RWNhNAQYVWe OF=VAacAY]kOcAQh¢=VUXlVl WNnQke@BlV^?M@BAQno= kepVU]MP@MUXpRnWZ=VAQaFAQp?nAU|OF=B^?MF^?keY
T?U|W8Y|W8[ZU]nkeY¨k8MFMF^V@BlNOFUXWZp MkZT W8^NOgMF^?no= TmA= kz_UXWZaS£
¶!·F¸f¹ªº»Q¼½)»¾ ¿+¿¤ÀÁQÂQà ÄbºÆÅfÇ¢È,»Q¸f··cÉZÊN·c¸fºÆÈ,·o¼ÅPËÅfºÆ»S¼?Ì8¹ª»QÈ,·-·cÉeÅf·o¼8¹ªº»Q¼_¹3»¾sÅfÇ_·È,·cÅfÇ_»eÍËQ¼_ÍRËg¾X»Q¸fÈËÎ
Í8·oÈ,»Q¼_¹Åª¸PËÅfºÆ»Q¼R»Q¾mÅfÇ_·ËSÍ8ËQÊZÅfºÏS·ËQÎÆÐS»¸fºÑÅfÇ_ÈÓÒo»S¼eÏ·F¸fÐS·o¼8Òo·SÔ
Õ1Ö_×sØcÙÚ Û'Z <!aokdfAQnOFW8aFK[8ApVAQackeOFUXWZp*NÜgkZaF@BW8pVUXnilmWeOcAp_OFU]keY:VCU|W8Y|W8[ZU]nkeYs@BWNhNAY
∗Ý&ÞSßÑà*áâfã¬à:ßÑä"å)Þæoà*çä"ã6ââªèQéeâPã¬ßÑçâfåê:æcê6ßÑä"å_ëeà:ä"çâ!âfèê6âPåSà:ßÑä"åà!äoìNê:Þâ3çâªê6Þäíiæoåíiæ+ì|ä"ã6çæoî8íâfçä"åà6ê6ã6æcê:ßÑä"å)äoì ê:ÞâbæoíæoéSê:ßáâ+æoîÑï"ä"ã¬ßê:ÞSçñðfä"åáâfã¬ï"âPåSðPâ"ò
¢,
W8p?MPU]hNQackZp8O.YXA{nWZp_Oca8Y|A¢TVU|W8Y|W8[ZU]\_^VABWZ^¦keaFOFU| nUXAY3hNAY]k[Zp?aokOFUXWZp h^VpVAROFaokdfASn"OFW8U|acAZ¨p?WZ^?M
l?aFSMPAQp8OcWZp?M)U]nU^Vp @RWNhN>QY|ABTVUXWZYXWZ[8UX\_^VAQ@BAp_O)lVY]ke^ MPUXTVYXA¢T?k8MPBMF^Va.^VpVAR@ROF=VWNhNAhNU|OFAhNABlmWeOcAp_OFUXAY
= keac@RW8pVU]\8^?AZ£
&AQM'@BOF=?WLhVAQMT?k8MPA-hNAl WZOFAQp8OcU|AQYNMP^Vl?l W_MPAQp8O\_^VAYXAQM'W8T?MfOokZnY|ASMgzLUOcAaW8^YXAQMnW8p8OcackZU|p_OcAQM
p?Agl?k8M+AQpNaFAQU|p hNaFAbnWZacaFASMPlmWZp?hVAp_OhNASM+@ke LUX@khNAinAglmWeOcAp_OFUXAYmOokep?hNU]M\8^?AgYXAgTV^NOkeOPOFAQU|p hNaFA
ASMfOR^Vp³^?pVUX\_^VA@BU|p?U|@¢^V@#£kZY|[8WZacUOc=V@BAMFA nW8@Bl W8aPOcA nW8@B@RAMPUYW8p1dfAOokeU|OR^Vp¥hNaokel³MF^VaBnAO
ASMPl kZnA8'WZac@BkZp_O¢hNAQMT W_MFMFAQM¢ke^N ¦WZT MfOokZnYXAQMAOR^Vp³nacA^V z8AaoMYXA{TV^NObOFacWZ^?zZAa¢^VpVAOFaokdfAQnOFW8U|acA
acAzLUXAp_OkeYXWZaoMRMPAY]keU]MFMFAa[ZYXU]MFMFAaBYXA)YXWZpV[BhNA,nA.hNaokel zZAaoMY|Ail W8U|p_OhNA.=?kZ^NOFAQ^Va-@RUXpVUX@keYXAZ£
AQM
@BOF=VWNhNASMlmAac@RAOPOcAp_O)hNAl kZMcMPAQahN^ YXWLnQkeY'ke^#[ZYXWZT?kZY! AQp©nAMFAp?Mg\8^^Vp?A@BU|pVUX@BUXMckOcU|W8p1Y|WNnQkeYXA
hV^lmWeOFAQp_OFUXAYml AQaF@BAO?p?kZY|AQ@BAp_OhNA)OFacWZ^?zZAa^VpVAgOFaokdfAQnOFW8U|acA[ZYXWZT keYXAZLno=VWZU]MPUXa+^?pU|OFUXpVaokeUXaFA88AOcnZ£|£
W8aFUX[ZUXp?keYXU|OF hVAY]klVaFSMPAQp_OFA@BOF=VWNhNA#AQMPOhNA1nWZp MfOcaF^VUXacA^Vp¤l WZOFAp_OcU|AQY=?keac@BWZpVU]\_^VA6hNWZp?n
Mckep M,@BU|pVUX@^?@%YXWNnkeY,nWZ@B@BA{^VpVAnWZ@¢TVU|p keU]MPW8pYXU|p?QkeUXacAB?pVUXAhNAW8p?n"OcU|W8p?M=?kZaF@BW8pVUX\_^VASM.YX
@BAQp8OokeUXaFASM£"Ap MPAQ@TVYXAihVA.nAQMYX@BAQp8OoMWZac@RAi^VpQno=?kZp_OFUXY|YXWZpVp ke[ZAihNAiYXkaFW8p_OFUX>acAihN^#hNW8@BkZU|p?A
k8hN@BUXMcMFU|TVYXAZZT W8achNl kea3YXAQMWZT MfOokZnYXAQMW8^nWZp_OcackZU|p_OFASM£ AY]k,nWZp hN^VU|O)^?pVAaFAQlVacQMFAp_OckeOFUXWZpUXp_OFAQaFpVA
hV^lVacWZTVYX>@BAiMPW8^?MYXkWZac@RA.h^VpVA.nkZaPOcA)pVW8pN:OFWZlmWZ[8ackZlV=VU]\_^VAnW8p?MfOcaF^?UOcAikZ^{^Va-AO¢@RASMP^?aFAihNAQM
QzZW8Y|^NOcU|W8p?MhN^ MFKNMfOc>@BA)AOacAYXUXA.hNA)@kZpVU|>QaFA)pVWZpV:YXU|p?QkeUXacA#¢YXk¢[ZQWZ@BOcaFUXA)hN^ lVacWZTVYX>@BAgacAQY6£$bp
Ookep_O\_^VAgOFAQY6NnAQYXkWZ^VacpVU|O^Vp @BWLhV>YXA)\_^?kep_OcUOokOFU|*TVUXWZYXWZ[8UX\_^VAQ@RAQp_O+lVY]ke^?MFU|T?Y|AihN^{W8p?n"OcU|W8pVpVA@BAQp8O
hVA+Y=VUXlVlmWNnke@BlmAAOhVAQM'nkeaFOFASM&nWZ[Zp?UOcU|z8AQM&\_^VULK,MFWZp_O!acAlVacQMFAp_OcAQMQnWZ=?acAp_O'kz8AQn3YXAQM!=LK_lmWeOc=V>QMFAQM
T?U|W8Y|W8[ZU]\8^?AQM^?MF^VAYXY|ASM£
¶!·F¸f¹ªº»Q¼#½Í&% ¿+¿³ÀÁQÂQà Ë"Ï·oÒgÊ_Î'%8¹Í)(·cÉZÊ+*c¸fºÆÈ,·o¼ÅPËÅfºÆ»Q¼ Ì-,.%_·cÎ/,.%8·o¹·cÉeÅf·o¼8¹ªºÆ»S¼_¹-Í8·gÎ|ËÈ0*cÅfÇ8»eÍ8·g·cÅ1%8¼_·
Í&*oÈ,»Q¼_¹Åª¸PËÅfºÆ»Q¼¢¾]»¸fÈ,·oÎÆÎÆ·Í8·ÎËiÒo»Q¼ZÏS·c¸fÐS·o¼8Òo·Í8·Î2(ËÎÐQ»Q¸fºÑÅfÇ_È,·gËQÍ_ËQÊZÅPËÅfºÑ¾:Ô
3 Ú S Ø 54 76 p?aokOFUXWZphNA.OFaokdfASn"OcWZUXaFA8_`WZOFAp_OcU|AQY*=?keac@BWZpVU]\_^VAZ+81WNhN>QY|A,T?U|W8Y|W8[ZU]\8^?A
- $'$'
.0/21
Q Ú Û'e43Ú 1 5
687
N. Ú 1
3¬ 4Ú &! ²:9,; <
5>=?
9 Ö 3 Ö 1
@3
1BA
C Ö e Ú × A Ö 1 Ö V@3Ú 1 6D6
E F Ú 1
&4'@3Ú 1 6DG
IH@3 1BA 1KJ N. Ú 1 3¬L9 Ú Ö 1 43¬-4 Ù 3 J 1 Ú 1 Û Ö ÛNMV)4 Ö 5!6
O P
¢$& +$!
QSRTNU$V:WYX[Z\T^]!V:_`W:acbdT^eT[WfXBVYgh_dedikjWY_`lmhT^npo
q A{nW8p?MFUXhNAQa.=VAacAROF=VABTVUXWZYXWZ[8UXnQkeYWZakZaPOcU nUXkZY[ZAp?AaokOFUXWZpWe-kOcackedfAQnOFWZacK²l?Y|ASkZMFARacAAQaiOFW#AZ£[?£
rs w t&WZa)kep#U|p_OcaFWNhN^?nOFUXWZp -kZp?h#WZ^VY]hY|UXZA.OcWlVaFW8l W_MPAkBT?U|W8Y|W8[ZU]nkeYXYXK{lVY]ke^?MFU|T?Y|A,@BWNhNAY!We3MP^ no=#k
@BASno=?kepVU]MF@£
'UXp?hNUXpV[Rk.fOFaokdfAQnOFW8aFK8¡-aFW8@ kZp{UXpVUOcUXkZY¨MfOokOFA8_OFWBk,?p?kZY¨MfOokOFA8LUXMkz8AacKR[8ApVAQackZY?lVacWZT?Y|AQ@vu'U|
Oc=VA,MfOokOcA)U]Mk¢v,w WZa}w lmW8MFUOcU|W8pUXp W8^Va1$b^?nY|U]hNAQkZpMFl?k8nAiWZaWZp#k[8AWZ[8ackZlV=VU]nkZY?@kel*NU|OU|p hNAASh
@BASkep?M- p?hNUXpV[{U|OcM-kKUXp©knYX^NOFOFAacAQh1MFl?k8nA,W8aU|p MfOokep?nAZ kz8WZU]hNUXpV[ROFWZ^ no=VU|p?[BOF=VAacW8k8hT W8achNAQaQ
no=?W_W_MPUXpV[TmAOfAAQp{OfW¢l kOF= MNkep hMFWWZp&£b<-=VA)TmWZ^?p?hVkeacKBWe!kZpW8T?MfOokZnY|A)@BkKBTmA,hNA?p?AQh{TLK{kZp
AS\_^?kOcU|W8p**MFkK
c(x) = 0¨U|OF=OF=VAnW8p?MPOFaokeUXp8O
c(x) >0WZaFkZhN@BU]MFMFUXTVY|A¡l W8U|p_OoM
x WZ^NOoMPU]hNAROF=?A W8T?MPOckZnY|A8£3<-=VA.[ZW8kZY¨@kK{MPUX@BU|Y]keacY|KT AhNA?pVASh TLKkZp UXpVAS\8^ keYXUOfKOcWT AMckOcUXMP?ASh¨£
C^NOOcackedfAQnOFWZacK{[8ApVAQackeOFUXWZp#keY]MPWB@BAQkZp?MMFWZ@BAOc=VU|p?[@RW8aFA,[8ApVAQackZY6£VWZagU|p?MPOckZp?nA8VYXAOg^?MgpVW
nWZp?MFU]hNAa'OF=?Al W_MPU|OFUXWZp
xkep?h¢zZAQY|WNnU|OfK
˙
xWemOF=VAhVAzLUXnAZ£ WZp?MPOFaokeUXp_OcM'We OF=VA-W8aF@
c(x,x)˙ >0@kK
hVA?pVA,=?W OcW{kzZWZU]hMPLU]h¨VWZaTmWZ^?p?hOF=VAU|p?MPOckZp_Ockep?AWZ^ MAQpVAac[ZKnW8p?MP^?@RlVOFUXWZp*£8©WZacAi[8ApVAQackZY|YXKZ
nWZp?MPOFaokeUXp_OcM=VU]no=1nWZacacAQMFl W8p?hBOFWl?=_KNMFUXnQkeY¨Y]kMpVWeOOcWz_UXWZY]kOcA,nkepTmA,aFU|OPOcAp#U|p1MF^?no=#kW8aF@#£
?WZaUXp?MPOckep nAZ-=VAQpñ@BkZpVA^?zZAacUXpV[¯OcW®l?keac³k®nQkea©=?UXno=§nkZpñT A©hNA?pVASh§kZMMF@BkZY|Y)MPAS\8^?Ap?nA
WZbY|WNnQkOFUXWZp MOcWkeOPOckZU|pmARnQkepVpVWZO)@BWzZAifY]kOcAaokeYXY|K8¡TV^NO.=?kzZAOFW WZYXY|WÓkaFASkeYXUXMPOFU]n,OcackedfAQn"OcWZacKu
Oc=VU]M)nQkep©keY]MFWT ARMPlmAQnU?ASh©kZM)k{nW8p?MPOFaokeUXp8O rx t£iINU|@BUXYXkZaFYXKZmhN^VacU|pV[aFW8T WZOFU]nMP^?aF[8AacK¬MFAA¢AZ£[ rs t
W8aikZp¯A NkZ@BlVY|ARacAY]kOFASh1OcWnQkeaohNU|W8Y|W8[ZKVk hNAzLU]nARUOc= k YXkZaF[8ApL^V@TmAa.WZhNA[8aFAQAQM)WebacAAShNWZ@#
= kZMgOFW[8ApVAQackeOFARk{=VUX[Z=VYXK©nW8p?MPOFaokeUXpVAQh{fOFaokdfASn"OFW8aFK8¡.aFW8@OF=VARUXpVUOcUXkZY3nWZpV?[Z^VaokOcU|W8p#OFW-keaohOF=VA
MF^Vac[ZAQaFKBYXWLnQkOcU|W8pUXp?MPU]hNA.Oc=VA.T WNhNK8£bµqMfOcAl#ke=VASkZh¨NkRlVY]kepVpVUXpV[ROck8MP{MF^?no=#kZMOF=?A,aFASkeYXU|±SkOFUXWZpWe'k
P[ZASMfOc^VacA"¡)@kK{TmAMFl ASnU|?AQh#kZMgkep{PkZT?MPOFaokZn"OP¡gOFaokdfASn"OcWZacK[ZAp?AaokOFUXWZplVacWZTVYXA@#VhNA?pVASh#T_KMPW8@BA
\_^?kZp_OFU|OckOcU|z8A l keaoke@BAOcAaoM6k¦MfOokOFA#z8AQn"OcWZa"¢UOc=¥kZp¤UXpVU|OFU]keYgMPOckeOFA1kep?h¥k [ZW_keYOFW²keOPOckZU|p¥=VUXY|A
z8AacUKLUXpV[BnWZp MfOcackZU|p_OcMQ£
IL^ no=#kRlVacWZT?Y|AQ@°=?kZMOcWT AMFWZYXzZAShyu
¬U]+PhN^?aFUXpV[{kZnOFUXWZpL¡MFU|p?nA,OF=?A,OFaokdfASn"OFW8aFK[ZAp?AaokOFUXWZp#U]MkeY]MFW{kep1A NlVYXWZaokOcU|W8p WZOF=VAMPOckeOFAMFl?k8nAZ
Oc=L^?M,U|OF=¦OF=?Al WZOFAp_OcUXkZYhNU]MFnWzZAQaFK1WZ-kZpVWeOc=VAanWZp?MPOFaokeUXp_OcM¬keO,OF=VA hNU{zsAacAp nAWek#lVacAQhNA?pVASh
P@BWeOcWZaF:lVacWZ[8ackZ@¢¡-=VU]no=#aFASkeYXU|±SkOcU|W8pU]M-Y|ASMFM-UXp#aFAQYXkeOFUXWZpUOc=A NlVY|W8ackeOFUXWZp
¬U|UPkeO-k¢[ZYXWZT keYmY|AQzZAY¡iMFU|p nA)OF=VA.[ZW_keY OFWBkOFOckeUXpU]M-kacA@BWZOFAil?keaFOWZ*OF=?A.MPOckeOFA.MPl kZnAi=VUXY|A.YXWNnkeY
@BASno=?kepVU]MF@BMkeacAgpVWZOMF^{nUXAp_OOFW¢MFWZYXzZAiMP^ no=klVacWZT?Y|AQ@6kOkhNUzsAacAp?nAgWe'k)PaFA ?A _¡WZakYXWNnkeY
fAAShNT?k8noZ¡iY|WLWZlm
¬U|UXU)nWZp?MFU]hNAacU|p?[MPOckeOFABMPl?k8nASM)U|OF=1PYXkZaF[8A"¡¢hNUX@BAp?MFU|W8p?MiT ASnkZ^?MPAROc=VAhNU|@BAQp?MPUXWZpOFW#nW8p?MFUXhNAQa.UXM
Oc=VA,pL^V@TmAaWZhVA[ZacAAiWe'acAAQhVWZ@MWe'OF=VA,lVacWZT?Y|AQ@£
µ)MknW8@Rl?^NOckeOFUXWZp?kZY¨lVaFW8TVYXA@
rs w s w t&UOU]M^?MF^?kZY|YXKz8AacK=?keaoh OFW{MFWZYXzZAiT ASnke^ MPA.Oc=VUXM \
Y#+![f UXMikeYX@BW8MPO)keYXkKNM-pVW8pNY|UXpVAQkZaQ£<-=?AWZTVdfAQn"OgOFW{ p?h1U]M)kFn^?aFz8A"¡,U6£AZ£
kZpW8TNdfAQnO=VU]no= kZp UXpN?p?UOcA{hNU|@BAQp?MPUXWZp&£Lq§=VAp®kZlVlVacW LUX@kOcAQh©TLK kMFAOWZ-MFA[8@BAp_OcMQ¨?p?hVU|pV[
Oc=VU]Mn^VaczZAiAQk8MPUXYXK{Y|ASkZhVMOcWkRnWZ@¢TVU|p kOFW8aFU]keYsA Ll?Y|W_MPUXWZp*£
l _ V l g_dmh_`bdgh]X m V:WYX[Z\T^]!V:_`WYa b`T^e T[WYX V:_`W!o
W8p_OFaokeacK,OFWOF=VU]MkZlVl?kZaFAQp8O+nWZ@BlVYXA NU|OfKZLMP@keYXY?@kZ@R@kZY|U]kepz8AacKAQk8MPUXYXKRMFWZYXzZA-OcackedfAQn"OcWZacK[8ApVAQacke
OcU|W8p{lVacWZTVYXA@MQLU|p?nY|^ hNU|p?[¢U|OF=nWZ@¢TVUXp?kOcWZacUXkZY?nW8@Rl?Y|A LU|OfK1A8£[ £'aokOoM+UXpY]keTLKLacU|p_OF= M+kZMhNU]MFn^?McMPASh
UXp
r
} } t+uU|OU]M+W8TLz_UXWZ^ MOF=?keOOc=VA)MF^VaczLU|zkeY We&k,T?U|W8Y|W8[ZU]nkeY MPKNMPOFA@#LlVaokKW8a+lVacAQhVkeOFW8aQ8UXMhNUXaFASn"OFYXK
acAY]kOcAQhOFW,U|OcM3nkZl?kZnUOfK.OcWnW8aFacAQnOFYXK,A NAQn^NOFAk)OFaokdfASn"OFW8aFK.UXpk)LpVWpRWZa^Vp?_p?Wp¢AQp_zLUXaFW8pV@BAp_O@u
p?h©U|OcM)kK OFW#k{-kOcAaiMPW8^VacnAZ WZYXY|WqkZp¯WZY|¬kZnOFW8aFK OFaokZno#kzZW8UXhNUXpV[pVAQ[8keOFUXzZAMF@BAYXYXMiWZa)WNhNWZaoM
AOcnZ£|£
<-=VA=VUXlVl WNnQke@BlV^?MU]M
s
MfO{Oc=VA¦MP^VTVnWZaFOFU]nkeY)MfOcaF^?nOF^VacA¯=?UXno= = kZM{TmAAQpHMF=VWp r} s
t.OFW¤T A
hVU|acAQnOFYXK¥UXpLzZW8Y|z8AQhñUXp MP^ no= @BAQno=?kZpVUXMF@M £ µ)MacAzLUXAAQhñUXp*gA8£[ £
r} tOc=VA¯¬k8n"O=VU|l?l WNnkZ@Bl?keY
YXAQMFUXWZp?M)hNack8MfOcUXnQkeYXY|KUX@Rl keUXaOF=?A¢keT?U|YXUOfK#WZbaFWNhNAQp8OoMOcWp?kzLUX[8kOcA,=?kZM)YXAQh#OcW{OF=?A¢kZMcMF^V@BlNOFUXWZp1Oc=?kO
=?U|lVlmWNnkZ@Rl?^?M-lVY]kKLMkepUX@RlmWZaFOckZp_OacWZYXA)UXpp?kzLU|[_kOFUXWZpT_Kl?aFWzLU]hNU|p?[RkRnW8[ZpVU|OFUXzZAi@kel MPOFW8aFASh{TLK
lmWeOcAp_OFU]keY3MFKLp?kelNOcUXnAQU|[8=_OcMiaFAQlVacAQMFAp_OFUXpV[{TmWeOc=MFl?kOcUXkZYkZp?h1OcA@BlmWZaokeYnWZacacAY]kOFUXWZp M£.µnnWZaohNU|p?[
OcW
r} t?Oc=VA¢MPOFW8aFASh#U|pNW8aF@keOFUXWZp1U]MgacAY]kOcAQhOFWY|WNnkeOFUXWZp?M)kep?h#lmW8MFU|OFUXWZp¯MF=VU|OcMinWNhNAQh#TLK#lVY]kZnAnAQY|Y
k8n"OcU|zLU|OfKOF=?keOgkeacUXMFA)aFW8@ MPKLp?kZlNOFU]nil WZOFAQp8OcUXkeOFUXWZp*£
<-=VA=?U|lVlmWNnkZ@Rl?^?Mbkep h¢acAY]kOcAQhRkeacAQk8M3keacAUXp?hNAQAQhRpVWZO3OF=VAW8pVY|K¢WZpVAMPOFac^?n"Oc^VacAUOc=,PYXWLn^?Mf¡WZa
l?YXk8nAnAYXYXM)WZaiU|pLz8WZYXzZAQhUXp¯lVY]kep?pVU|p?[?£)ÜgWAQzZAQaQ A¢aFASMfOcaFU]n"OgW8^Va)hVUXMcn^?McMFU|W8p1OFWOF=VASMPARMfOcaF^?nOF^VacAQM
TmAQnQke^?MFAA-kep_OgOcW hNU]Mcn^?McMaokOc=VAailVacAQnU]MFAlVacWZlmAaFOFUXAQMWZ+MP^ no=©@kel?MQmkZp?h1acAY]kOcAOF=?A@OFWOF=VA
l?aFW8l W_MPASh{@BWNhNAY:?kZM-l?aFASMPAQp8OcAQh pVWHkZp?hhNUXMcn^ MFMFAQh U|pOc=VAMPAS\_^VAY:£
81W8aFA¢lVacAQnU]MFAYXKZmARnWZp MPU]hNAagOF=VABkeaono=VU|OFASn"OF^?aFAWZ3OF=VAR=VUXlVlmWLnQke@Bl?kZY'MPOFac^?n"Oc^VacAQMQ @keUXpVYXK#OF=VA
AQp_OFWZac=VUXp?keY!nWZaFOFA
→ hNAp_OcackZY&[ZKLac^?M
→ µgv µ s WZaclV^?Mgµg@B@RW8pVU]MgU]MgkZpVWeOc=VAa)p?ke@BAWZ3OF=VA
=?U|lVlmWNnkZ@Rl?^?Mc+UXpOF=VAi=VUXlVlmWLnQke@BlV^?M
→lVacAacWZp_OckZYeMfOcaFU]kOc^V@ykZaFASkZMg6MPAQAW8aUXp?MPOckep nA
rs } t W8akZp
A LOFAp hNAQh hNUXMcn^ MFMFU|W8pkeTmWZ^VO+OF=?A.MFl?keOFU]keYskZMFl ASn"OcMWe&OF=VAi=VUXlVl WNnQke@BlV^?M^Vp?nOFUXWZp?kZY|U|OfK{kep h
r
}Z tmWZa
kBhNU]Mcn^?McMPUXWZp#keTmWZ^VO-WZOF=VAQal AQacnAlNOc^?keY!kep?h @BWeOFW8a-Ock8MPNM-We!OF=VA,=?U|lVlmWNnkZ@Rl?^?Mc?kZM-UXYXY|^?MPOFaokOcAQhUXp
'UX[?£
s £
"!$#&%'#)($!*!%,+
Ý*Þâ-"â/.âfèQéeâfã6ßÑçâfåêæoîVì]æoðªê3ßÑà!ê:ÞâíßÑà:ðfäFáâfã0.äoì216îÑäð,3à3ðfâfîÑîÑà4657 89?ßÑå,ê:ÞâÞßÑééeäðFæoçé 3àFò
:
3ççæoã¬ß<;PßÑåSïëà3SðÞ.ðfâfîÑîÑà!Þæfáâ+ê6Þâ+éã¬ä"éZâfãê..ê6ä>=Zâfðfä"çâfàæoðªê6ßáâ@?&Þâfåiê6Þâ+æoåßÑçæoîLßÑà!æcêæ-ï"ßáâfå.îÑäðPæcê:ßÑä"å,ßÑågê:ÞSâ
âPåáQßÑã6ä"åçâfåêæoåSíA
B
ßDCsðfä"ã6ã¬âfà:éeä"åíà!ê:äæà:éæoðfâ3îÑäðFæcê6ßÑä"å?&ÞßÑðÞ)ßÑà&æä"ã¬íâfã'äoìVçæoï"åßêE3íâ3îÆæoã¬ï"âfã&ê6Þæoåiê6ÞâbæoåßÑçæoîZà:ß<;fâ"ë
B
ßÑßDCmðfä"åê:ßÑå3âbê:äGFã6â3âªáâfå.ßìNê6Þâ3âfåáQßÑã6ä"åSçâPåê&ê:ä-"âfåà'æoã6â3ã¬âfçäFáâfí.ä"ã*ßìNê:ÞSâbæoåßÑçæoî_ßÑà¨ßÑågê:Þâ3íæoãE-eë
B
ßÑßÑßDCsæoã¬âH3à:âfí)ì|ä"ã*íßIZâfã6âfåê'îÑäðPæcê:ßÑä"åà&ßÑåiíSßI8âfã¬âfåê!âfåáQßÑã6ä"åSçâPåê6àFë
BßáJCsÞæPáâ3á"æoã¬ßÑä3à&à:ÞæoéeâfàK?!ßê6Þä3Sê'æoåL.)íSßÑã6âfðªê'îÑßÑå -'?!ßê6Þ)ê6Þâ3âfåáSßÑã¬ä"åçâfåê!çâªê:ã¬ßÑð"ë
B
áJCLÞæPáâ"ë"ì|ä"ã æ!à3J= M]à:âªêVäoìeà3ð:ÞðfâfîÑîÑàFëæoåæoðfê6ßáQßê.åSäoêmä"åî.bã¬âfîÆæcê:âfíê6ä'ê6Þâ*îÑäQðPæcê6ßÑä"åG=J3QêmæoîÑà6ä!ê6ä'ê6Þâ*îÑäQðPæoîQê6ã6æON6âfðªê6ä"ã.
íßÑã6âfðªê6ßÑä"å_ë
B
áQßDCsà3ðÞ)ðfâPîÑîÑà*à¬êæoãê:àPFã¬ßÑåïæoà&à:ää"å.æoà*ê:ÞâbæoåSßÑçæoî_âfåê6âfã6âfíiê6Þâbðfä"ã6ã¬âfà:éeä"åíßÑåSïgâfåáSßÑã¬ä"åçâfåêFò
10 Entorhinal Cortex
5
C A 3 −> C A 1105 Dental Gyrus
Prefrontal cortex
Environment loci
Shifts of the present location Present location
Goal location
Sparse locus map(s)
motor command sensori inputs
Ventral striatum 106
'UX[Z^VacA
s
u)µgacno=?UOcAQn"Oc^VacA¢WZ+OF=?AR@kZU|p¦MfOcaFASke@«kep hMPOckeOFARzkZaFU]keT?Y|ASM)WZbOF=?ARacAY]kOcAQh¯=VU|l?l WNnkZ@Bl?keY
MPOFac^?nOF^VacAQMQVMPAQAiOFA LOW8ahNAOokeUXYXMQ£
Dªp¢OF=VU]M3keaono=VU|OFASn"OF^?aFA.¬MFAAAZ£[?£
r
v8 tNWZa3k)[ZAQpVAaokeYLhNU]MFn^?MFMFUXWZp¢kZp?h¢AZ£[?£
r
}Zu tNWZa3kgacAQnAp_OaFAQz_UXAg
UXpNW8aF@kOcU|W8pkZT W8^NOY|WNnU3UXM.UXpVlV^NO,acWZ@ OF=VAAQp8OcWZac=VUXp?keY3nW8aPOcA ¯=?UXno= U|p_OcA[ZaokOcAQM.MFAzZAQackZY'MFWZ^?acnA
WZU|pNW8aF@keOFUXWZp*UXp?nYX^?hNUXpV[MFl?keOFU]keY+W8pVAQMQ£©<-=VA A Nl?kep MPUXWZp®Y]kKZAQaaFW8Y|AU]M¢Y|UXZAQY|KOFW¯hVUXMFl?kOono=®OF=?UXM
UXpNW8aF@kOcU|W8p*FkeYXY|WNnkeOFUXpV[¡Y|WNn^ M'nAYXYXM6MPAQA-AZ£[?£
rs u tNWZabk.hNAOckeUXYXAQhRhNUXMcn^ MFMFU|W8p "£'<-=VAnW8@BlVaFASMFMFUXWZp
Y]kKZAQaacWZYXA.UXM-YXUXZAYXKOcW{nWZ@¢TVUXpVA,kep?hMP^?@¢^Vl OF=VA,YXWNn^?MnAYXY&nW8@TVUXp?keOFUXWZp?MTV^VUXY]hNU|p?[BOF=VA,YXWNnkOcU|W8p
MF=VU|ObWZ^NOclV^NObUXpROF=VA µ s
MfOcaF^?nOF^VacAOFW-keaohVM!@RWZOFW8abkeacAQkZM'zLU]kgOc=VAzZAQp_OFaokeYNMfOcaFU]kOc^V@#£'<-=?AMP^VTVdfAQn"O
YXWNnkeOFUXWZpUXMkZYXMFWnWNhNAQh UXp Oc=VAQMFA.l?keaFOcM-WZ!Oc=VA,=VUXlVlmWLnQke@Bl?kZYsWZac@BkeOFUXWZp*£
DªpaFASnAp_O.TVUXWZYXWZ[ZU]nkZY&@BWNhNAY]MQsOF=VARlVacAacWZp_OckZY'MPOFac^?n"Oc^VacAU]MgOc=VWZ^?[Z=¯acAQMFlmWZp?MFU|T?Y|AWZaiAp?nWLhVU|pV[
[8W8kZY?YXWLnQkOcU|W8p*_kZYOc=VWZ^?[Z=Oc=VAacA)kZaFAikeY]MPWAQzLUXhNAQp?nASMbOc=?kO-=VUXlVlmWLnQke@Bl?kZY YXWNn^?MnAQY|Y]M+acAY]kOcAQhBOcW[8W8keY
YXWNnkeOFUXWZp?M-UXp?nacAQk8MPA.Oc=VAUXagk8n"OFUXzLUOfK8£<-=?UXMg@BkK T A¢hN^VA,OcWU|p_OFAQack8n"OcU|W8p?MTmAOfAAp#TmWeOc=1@BkZl?MQ£<-=VA
8AKlmWZUXp_O=VAacA.UXMOc=?kO@BWZacAiOF=?kZp W8pVA.@BkZl YXUXZAYXK{UXp_OFAaokZnOU|p OF=VAMFAp MPW8aFU|:@BWZOFWZaYXW_W8lUXpLzZWZYXzZASh
UXp®OcackedfAQn"OcWZacK¯[8ApVAQackeOFUXWZp*£©µ nWZ@BlV^VOckOcU|W8p?keY@BWLhVAY@^?MPOOokeZA MP^?no=®YXWNn^?MP@BkZl²nW8@TVUXp?kOcU|W8p
UXp_OFWkZnQnW8^Vp_OQ£
µgpVWeOc=VAanaF^?nUXkZY3kZMFl ASn"O,UXMiOc=VAB¬kZnO.OF=?keO.YXWNnUbkZaFABpVWZO.W8aF[_kepVUX±ASh#OFW8l W8[ZaokelV=?UXnQkeYXY|K8m=?AacAQkZM
W8ak,[8U|z8Ap{MFl?kOcUXkZYªkeacAQkiYXWNnU kZaFAfacAQnaF^VU|OFASh_¡UOc=VWZ^NO-kepLKBMPl?keOFU]keYmMPW8aPOcAacU|pV[,=?Ap{acAQ\_^VUXaFASh¨£VWZa
k¯[ZUXzZAQp²MPl?keOFU]keY|kZaFASkVkeTmWZ^NORt8«WZOF=VAnAQY|Y]M¢kZaFA aFASnac^VU|OFAQh*£<-=VU]Mz8AacKUX@Bl W8aPOokep_O¢l?aFW8l AQaPOfK
@¢^?MPOTmAglVacAQMFAp_O+UXp{knWZ@BlV^NOokOFUXWZp keY?@BWNhNAQY6£3<-=VAYXWNnkeOFUXWZpU]M+acAY]kOcAQhROFWOF=VAiMPl?keOFU]keY|kZaFASk)ackZ@RA
WZ3aFAAacAp?nAZshN^VAOcW{TmWeOF=¯A LOFAQaFp?kZY!MFAp?MFWZacK n^VAQMR@kZU|pVYXKz_U]MF^?keY'TV^NOipVWeOiWZpVYXKVkep?h©UXhNUXWeOc=VAOcUXn
6MPAQY@BWeOcU|W8p1aFAQYXkeOFAQh UXp8OcAaokZnOFUXpV[UOc=¯ASkZno=NWeOc=VAaS£<-=VA¢MF^VTNdfASn"O)YXWNnkeOFUXWZp1U]MFnkeYXUXTVackeOFASh_¡.U|OF=
acAQMFlmAQn"O-OcWBOF=VU]MMPl kOFU]keY¨@kZl*£
w)^VacU|pV[#Oc=VAOcackZp?MPU|OFUXWZp TmAOfAAp OfW1MPl?keOFU]keY|kZaFASkZMQsOF=VA{MFAOWZYXWNnU+kZaFABacAªkZnOFUXzkeOFASh¯UXp¦OF=VA
YXWNn^?M@kel*_Az8Ap_OF^ keYXY|KBacA^?MPUXpV[klVaFAQzLU|W8^?MPYXKRaFAQ[ZU]MfOcAacAQhBYXWLn^?M@BkZlkep hAz8Ap_OF^?kZY|YXKR^Vlmh?kOFUXpV[RUO
U|OF=pVA®UXp?nW8@BU|pV[)U|pVWZac@BkeOFUXWZp*£'IL^?no=YXWNn^?M!@kel,U]M*Oc=_^ M&acA@kep?Ap_O&U|OF=acAQMFlmAQn"O&OFWOc=VA-MPAQp?MPW8aFK
UXpVlV^VO¢¬MPOFW8aFAShacAlVacAQMFAp_OokOFUXWZp We'OF=VA¢MP^VacacWZ^Vp?hVU|pV[_Mc£`wg^?aFUXpV[p?kzLUX[8kOcU|W8pTmAOfAAQp^?p?nW8pVpVAQnOFASh
lmWZaFOFUXWZp M)WZMFl?kZnAZsOF=?AacA¢U]M,k MFU|Ocno=¯TmAOfAAQpYXWNn^?Mi@kel M£<-=?AR-kK1k nWZ@BlV^NOokOcU|W8p?keY@BWNhNAY
nQkep1UX@BlVY|AQ@BAp_O)MF^?no=©klVacWZlmAaFOfKU]Mgk{kZYXMFW{kBZAQK U]McMP^VA8£ÜAacAZ Y|WNn^?MgnAYXYXM)keacAkZn"OcU|z8AYXKUXpLzZWZYXzZASh
UXp#aFAQYXkeOFUXWZp pVWeOOcWRW8TNdfAQnOUXhNAQp_OFU|OfKTV^NOYXWNnkeOFUXWZp*£
µgpVWeOc=VAa#kZMFl ASn"OSgkelVlmAQkZaFUXpV[®UXp lVacAzLUXWZ^?MaFAAacAp?nAQMQUXM{OF=?keO pVAQ^VackZYiMFU|OFAQMaFAQYXkeOFASh¥OFW³YXWNnU
nWZacaFASMPlmWZp hNU|p?[¢OcWRPWZT?MPOck8nYXAQMf¡¬U6£AZ£)kOgOc=VATmWZaohNAQaWe3Oc=VA¢MFl?kOcUXkZYªkeacAQk_=?kzZAAQY|W8pV[8keOFAShMF=?kZl ASM£
IN^?no= kZp kep?UXMFWeOcaFW8lVUXngMP=?kZl Ai@BU|[8=_OTmA)acAY]kOcAQhBOcWOc=VAi¬kZnOYXWNnU¨kOOF=VAiTmWZaohNAaWe*Oc=VA,MPl kOFU]keY|ªkeacAQk
acAL AQn"OoM'OF=VATmWZaohNAQaOFWZlmWZYXWZ[8KZeUXpROF=VAMFAp MPAOF= kO+=?keO3UXM3W8pROF=VAWZOF=VAQabMPU]hNAWemOF=?AT W8achNAQa3UXMYXUXZAYXK
p?WeO-aFAQlVaFASMPAQp_OFAQh{WZp OF=VAi@kel*£E)pOF=VA,nW8p_OFaokeacK¢YXWNnU*nW8aFacAQMFlmWZp?hNUXpV[,OcW¢UXp_OFAQaF@BAQhVUXkeOFAi[ZW8kZYXM=?kz8A
kZp U]MFWeOFacWZl?UXniMP= kelmAZ£
&WLn^?MnAYXYXM,acAY]kOcAQhOFW1UXp?MFUXhVABOF=VA{MFl?kOcUXkZYªkeacAQkkeacABY|ASMFMlVaFASMPAQp_O.T?^NOU]MPWZOFacWZlVU]nu.Oc=VA{acWZYXARWZ
MF^?no=®YXWNnU@BkK¦TmAacAY]kOcAQh¦OcW©U|p_OcAac@RAShNU]kOFA WZT?MPOck8nYXAQMTV^NOkeY]MPW©UXp²acAY]kOcU|W8p®UOc=²U|p_OcAac@RAShNU]kOFA
[8W8kZY:6Mc£
W8@Rl keacU|pV[¯[ZW8kZYbWZacUXAp_OFASh OckZMFNMacAY]kOcAQh OFW¯p?kzLU|[_kOFUXWZp keYbTmA=?kzLUXWZaoM,U|OF=²acAQMFl ASn"OOcW¯-kepN
hVAacU|pV[¢Ock8MPNMU|OF=VW8^NOklVacAQnUXMFAi[ZW8kZYmOFWBkOPOokeUXp*LOF=?AacA.kZaFA)WZpVYXKMF^VTNOcY|A,hNUzmAQaFAQp?nASMU|p
µ s
?acU|p?[
no= keaokZn"OcAacUXMPOFU]nM.¬@BkZU|p?Y|KkB@BkZaF[8U|p keY¨UXp?nacAQk8MPA.We'OF=?A.?aFUXpV[aokOcA,U|pOF=?A
s
MPOgnk8MPA"£+<-=VU]MacAQMF^VY|OUXM
nWZ@Bl?keOFUXTVY|A,U|OF=Oc=VA,¬kZnOOF=?keOOF=?A[ZW_keYsY|WNnQkOFUXWZp#U]MAp nWNhNAQhAQYXMFA=VAQaFA{¬AZ£[?£bUXp#OF=?A,lVaFAaFW8p_OckeY
nWZaFOFA VkZp?h MF=VWMOF= kOTmWeOF=#LUXp?hWe!TmA= kz_UXWZaoMY|UXZAQY|K^?MPA.Oc=VAMcke@BA.@RASno=?kep?UXMF@M£
81WNhNAQaFpUXhNASkZM'keTmWZ^NO'pVA^?ackZY8T?k8MPASM&WZVp?kzLU|[_kOcU|W8pMPAQA@M*OcW)hNAAQkeO'MFWZ@BA+WZVOF=VA^?MF^?keYLnW8p?nAQlNOcM
kZT W8^NO{acAY]kOFAShñnWZ[8pVU|OFUXzZA1@kel?M kep hñUOU]MpVWZO nYXAQkZaUkZlVl?keacAp_OcY|K³hVU{zsAacAp_OTmA=?kzLUXWZaoM1[8W8keY
W8aFUXAp_OcAQhzZAaoMF^?M.kZp?hNAQaFUXpV[A NlVYXWZaokOFUXWZp&&MPl kOFU]keY+zZAaoMF^?MiT ASkZnW8p§WZa.OcWZ8Ap¦T?kZMFAQh ip?kzLU|[_kOFUXWZp&
@BAOFacUXnizZAQacMF^?MOFW8l W8Y|W8[ZU]nkZYmp kz_UX[8keOFUXWZp keacA.pVWeOghVU{zsAacAp_O-¬kZnAOcM-WZ!Oc=VAMcke@BA.@RASno=?kep?UXMF@ u
iT ASkZnWZp¦p?kzLU|[_kOcU|W8p nQkep®TmAzLU|AQASh¦kZMk#[8W8kZYbaFAQYXkeOFAShp kz_UX[8keOFUXWZp¦U|OF=²MFAzZAQackZY3U|p_OcAac@RAShNU]kOFA
MF^VTN[ZW_keY]M
BA NlVYXWZaokOcU|W8p§nkep T Az_UXAAQh kZMk³Y|UX@BUO1nk8MPA¯We[ZW_keYghVU|acAQnOFAQh p?kzLU|[_kOFUXWZp§U|OF=Hk²AQke¥WZa
AQzkepVASMFnAp_O[ZW8kZY
@BAOcaFU]n¢p?kzLU|[_kOFUXWZp1@kK1TmARknW8p?MFAQ\_^VAp nAWZbOF=?AR[8ApVAQackeOFUXWZp©WZkepWZlNOcU|@kZY'l kOF=¯OFW-keaohVMgk
[8W8kZYmT?^NO^?MFU|pV[kZp_KpVWZpN@BAOcaFU]niaFAQlVaFASMPAQp_OckOcU|W8p*LAOone£X£
K#* (%
ò S
ê:æcèQä"åä"ç.gäoìNê6Þâ3íßIZâfã6âfåê'à¬ê:ã6æcê:âfï"ßÑâfà'ã¬âfîÆæcê:âfíiê6ä-àE3ðÞiðfä"ï"åßê6ßáâbçæoéà¨ßÑà*íâªêæoßÑîÑâfí
ßÑå 5 9_ì|ã¬ä"ç¥ê:ÞSâ+à6ßÑçéîÑâ'ã¬âféJ3îÑà6ßÑä"åoæcê6ê6ã6æoðfê6ßÑä"åçâPð:ÞæoåßÑà:çà
B
â"òïò*æG=eâfâbä"ã6ßÑâfåêæcê6ßÑä"å ?&ßê:Þ)ã6âfà:éeâfðªêê6äê:ÞSâ+àE3åCsê:ä
à:ä"éÞßÑà¬ê:ßÑðPæcê6âfí¢çâªê6ã6ßÑð+çæoé,åæPáQßÑïæcê6ßÑä"å
B
â"òïòæÞ3çæoå,ßÑåæðPæoã)Còmâfã0. =ã¬ßÑâ .ëLæoðfðPä"ã¬íßÑåï)ê:äê:ÞSâ-æ 3Sê6Þä"ã¬àFëLàE3ðÞ
=ZâfÞæfáSßÑä"ã!ã6â3ßÑã¬âPà!ê:Þâ+æ 3Sê6ä"åä"çä3à'îÑäQðfä"çäoê6ßÑä"åiäoìVê:ÞSâæoï"âfåê3æoåíiê6Þâbåäoê6ßÑä"å,äoì æcê6ê6ã:æoðªê6ßÑä"åcã¬âPé 3îÑà:ßÑä"å¢æoåí,çæ$.
=Zâ3à¬ê:ã3ðªêE3ã6âfí,ßÑågê:âfã¬çà&äoì A
LL( !*!"
ë?!ÞSâPã¬âê6Þâà3J=&N6âfðªêbæcê¬ê:âfçéSê6à'ê6ä)çâfçä"ã¬ß<;Pâ3ê6Þâ+à:â&3SâPåSðPâäoìséeâfã6ðfâféSê6ßÑä"åàbã6âfðfâfßáâPí
íJ3ã¬ßÑåïê6Þâbéã6âªáQßÑä3à&åæPáQßÑïæcê:ßÑä"å.æoåí.îÑäðFæoîÑî.çäíßFâfà*ßê6àP=eâfÞæfáSßÑä"ã*ê:äã6âféã¬äQí 3ðfâê6ÞßÑà*à:â&3SâPåSðPâ"ë
#
L%%/#$% (& !*!"
ë?!ÞSâPã¬â)ê6Þâ)à3J=&N6âfðªêçâfçä"ã6ß<;fâfàì|ä"ãâPæoðÞ 16îÑäðPæcê:ßÑä"å4.æ 16åSâ,?³íßÑã¬âfðªê:ßÑä"å&4.æoåí
åæPáQßÑïæcê:âH=L.géæoà:à6ßÑåïì|ã6ä"ç³ä"åâbîÑäQðPæcê6ßÑä"å)ê6äæoåäoê6Þâfã3à6ßÑåïê6ÞâP16íßÑã¬âfðªê:ßÑä"åFâPîÑí4ªë
'
&!()*#!* +,)L%!"
ë ?&Þâfã¬â-ê:ÞSâgàE3J= N¬âfðªêÞæoà+çâfçä"ã¬ß<;fâPí¢æ)ï"ã6æoéÞBäoì¨ê6ÞâîÑäðPæcê:ßÑä"åà
B
åäQíSâPàäoì¨ê:ÞSâ
ï"ã:æoéÞ C æoåíäoìZê6Þâ*éæcê6Þà
B
áâfãê:ßÑðfâfàsäoìeê:ÞSâ&ï"ã6æoéÞCNìXã¬ä"ç ä"åSâ¨îÑäQðPæcê6ßÑä"åê:äbæoåSäoê:ÞâfãfëL?!ÞSßÑîÑâ¨ßê åæPáQßÑïæcê:âfà =L.ßÑíâfåê6ßì*.QßÑåï
ê:Þâ3à6â&3âfåðfâ+äoìVîÑäQðPæcê6ßÑä"åà*ìXã¬ä"ç¥ßê6à*îÑäQðPæcê6ßÑä"åiê:äê:Þâbï"äæoî]ë
-
'($.#/ +,)L%!"
ë?&Þâfã¬â!ê6Þâ'àE3J= N¬âfðfêmÞæoàsåä$?#æ3çâªê6ã6ßÑð"ëß]òâ"òLê:ä"éeä"ï"ã6æoéÞßÑð"ëçæoé-æoåíßÑíâfåê6ßìD.-åäoê¨ä"åSî.
ê:Þâ&à:â3âfåðfâ'äoì8îÑäQðPæcê6ßÑä"åà = 3Sê¨æoîÑà6ä3ðPä"åSà:ßÑíâfãmê6Þâ&îÑâPåSïoê:ÞäoìZê:ÞSâ&ê6ã:æN6âfðªê:ä"ã0.ëâªáâfåêE3æoîÑî.
#) %(%L(+.01(+2&03&%4
(5!).(6.(+ * %)!7
æoåíRæoîÑà:ä.ßÑåê:ã¬äíJ3ðfßÑåï
%83 ./#&%>.6.L0)&EL&
B
à:âfâ 577 9 ì|ä"ã+æiéã¬âPðfßÑà6âíßÑà:ð,3à6à:ßÑä"åä"å¢ê6ÞßÑà
à3J=&N6âfðªê/Cò
Q
å+ê:ÞßÑàVê:æcèSä"åä"ç@.ë"ê:Þâ¨ßÑíSâFæ!äoìJ1¬ðPä"ï"åSßê:ßáâ¨çæoéà04¨æoà?éã¬ä"éeä"à:âfí'=L. 57+ 9SßÑàVßÑåê6ã6äíJ3ðfâfí_ëL?&ÞßÑðÞíâ/FåâfàsæoåßÑåê6âfã6åæoî
ã6âféã¬âfà:âfåê:æcê6ßÑä"åäoìNê6ÞâbâfåáQßÑã¬ä"åçâfåêP3à6âPí=.ê6Þâ+æoåßÑçæoîeê:äGFåí.ßê6àK?¨æ$.ò
!"$#&%' )(%* +&,! %*
$b@BAQaF[8U|pV[ nWZp nAlVOcM rs x t'OFAQp?hOFWU|p_OFAQ[ZaokOcA,U|p©k{nWZ@B@BWZp#aoke@BAWZacOc=VAQMFAkel?l?keacAp_OFYXK hVU
AQaFAQp_OT AQ=?kzLU|W8acM6nW8p8OcackZaFK{OFWzZAQaFKnW8@Rl?Y|A @BAQno=?kZpVU]MP@MMF^?no=©kZMOF=VW_MPAl?aFW8l W_MPAShUXp1AZ£[?£ r}e t
UXp#WZaohNAaOcWRA NlVYXkZU|p OF=?AhNU{zsAacAp_Ogk8MPlmAQnOcM-We'OF=?AQMFAiTmA= kz_UXWZaoMo"£
?WZYXY|WUXpV[1Oc=VUXMOFaokZnosk©nW8@BlV^NOckeOFUXWZp?kZY+@BWNhNAY@^ MfORpVWeORWZpVYXK hVAQMcnacU|TmA{=VW OFWY|ASkeacp¦OF=VA
MFl?keOFU]keY¨lVacWZlmAaFOfKWe'OF=VA,AQpLz_UXacWZpV@BAp_OSNTV^NOgkeY]MFWBk8hVhNacAQMcMOF=VA,[8Y|W8T?keY¨lVacWZT?Y|AQ@°We'OFaokdfASn"OFW8aFK[8ApN
AQackeOFUXWZpñTmAQnkZ^?MFA²¬MFAA©A8£[ £ W8ak²hNAQ@RW8p?MPOFaokOFUXzZA#A NkZ@BlVY|A
r
}et tU|p_OFAQaFp keYacAlVacAQMFAp_OokOFUXWZp MkeacA
kZY|-kKNM-TV^VUXYOiU|p©hVAAl¯aFAQYXkeOFUXWZp#UOc=1OF=?AUXagacAY]kOFASh#MPAQp?MPW8aFU|@RWZOFW8a-OckZMFu+=VAQaFAOF=VAMFl?keOFU]keY&@kZl1UXM
T?^VU|Y|O)UXp1acAY]kOFUXWZp#U|OF=#Oc=VAp?kzLUX[8keOFUXWZp OckZMF¦¬MFAAZ?WZaA Vke@BlVYXA,OF=VA¢hNUXMcn^ MFMFU|W8p1U|p&
r} x
t =?AacAUO
U]MikeY]MPWMF=VWp1Oc=?kOi=VAQk8hNUXpV[ hNUXacAQn"OcU|W8p©U]MgacAQMFl W8p?MFU|TVYXAW8agOc=VAUX@BlVYXA@BAp_OckeOFUXWZpWe+kep?[Z^VY]kea)l?kOc=
UXp_OFAQ[ZaokOFUXWZpm"£
µOOc=VUXMl W8U|p_OUOgkZlVlmAQkeaoMOF=?keOgkeYXY¨=VUXlVl WNnQke@Bl?keY¨acAY]kOcAQh @BAQno=?kZpVUXMF@MVkZYOc=VWZ^?[Z=@^?no=@BWZacA
nWZ@BlVYXA Oc=?kep =?kOU]MT?aFUXAL ?KacAzLUXAAQh=?AacAZNkeacA)W8pVYXKaFAQYXkeOFAQhOFWROF=VA.YXWNnkeYNP=VAacA:OFWZ:[8WepVA LOf¡
k8MPlmAQnO¢WZOF=VA OFaokdfASn"OFW8aFK[ZAQpVAaokOcU|W8p*£µgp?h®Oc=VA \_^VASMfOcU|W8p®OFWaFAQYXkeOFA{Oc=VU]MYXWNnkeY@BAQno=?kZpVU]MP@#bkZM
Mcno=VAQ@BkeOFUX±ASh²UXp¤Oc=VA1acU|[8=8OBl?kZaPOWe.'U|[ £ } OcW OF=VA1[8Y|W8T?keYOFaokdfASn"OcWZacK [8ApVAQackeOFUXWZp¤lVaFW8TVYXA@ UXp¥k
MFAp MPW8aFK_@RWZOFW8a+YXW_W8l#aFAQ@BkZU|p MkZp U]McMP^VA8£
<-=VU]M UXMOF=VA¦kZMFlmAQn"OA¯kZp8O OFW¥kZhVhNacAQMcM=VAQaFA8gMF=VWU|p?[®OF=?keO U|OF= k²MP^?UOokeTVYXA¯YXWNn^?MnAQY|Y
acAl?aFASMPAQp8OokOcU|W8pOc=VAYXWNnkZYP=VAacA:OFWZ:[8WepVA LOP¡¢Y|WNnQkeY@RASno=?kep?UXMF@ hVU|acAQnOFYXK acAY]kOcAQMOFW©Oc=VA[8Y|W8T?keY
OcackedfAQnOFWZacKg[8ApVAQackeOFUXWZp.lVacWZTVYXA@qkZp?h,lVacWzLUXhNASM*kgMFWZYX^NOcU|W8p.OFWgU|OQ^?Y|YXKnW8@Rl kOFUXTVYXA+U|OF=,Oc=VAk8MPlmAQnOcM
acAzLUXAAQh=VAacAZ£"&AO^?MUXp_OFacWLhV^?nAiOF=?UXMU]hNASk¢p?W,£
\geb j _ V:T^e VYg X m V:_ b`T^e T[WYX V:TKV:WYX[Z\T^]!V:_`WfghTP
Dªp#nW8@BlV^NOFAQaMFnU|AQp?nA8NWZpVA)OFaokZno©6MPAQA)W8a-U|p?MPOckZp?nA
rs w t¨W8a-W8aFNM-kOOF=VA,W8aFUX[ZUXp{WZ&OF=?UXM-W8pVAS+OFW
MFWZYXzZAOF=VARp?kzLU|[_kOcU|W8p1lVaFW8TVYXA@UXM)OcW acAlVacAQMFAp_OOc=VA¢OFaokdfAQnOFW8aFK[ZAQpVAaokOcU|W8p1lVaFW8TVYXA@^?MFU|pV[#kMFWe
nQkeYXY|ASh Y%*f%'£bIL^ no=R@BAOF=VWNhVMkZMcMP^V@BAOF= kO+W8T?MfOokZnY|ASM'OFWkzZW8UXhW8a+nW8p?MPOFaokeUXp8OoMpVWeO3OcW,zLU|W8YXkeOFAS
nWZacaFASMPlmWZp h#OFW#@k NUX@Bk WeOF=VABlmWeOcAp_OFU]keY:&=VUXYXA¢Oc=VAB[ZW_keY3nW8aFacAQMFl W8p?hVMgOFW1k ^VpVU]\8^?AR@BUXpVUX@^V@#£
<-=?A{nWZacacAQMFl W8p?hNUXpV[kZY|[8WZacUOc=V@ Oc=L^?M,TmA=?kz8AQM,kZMUWZp?ABOF=VacWM,k1MP=?AAOW8p_OFW#OF=?UXM¢MfOokOFA{MFl?k8nAZ
Oc=VU]M=LKLlmAaFMF^VaF¬kZnAgaFAQY|UXA*TmAUXpV[RAYXAzkOcAQh{W8p{WZT MfOokZnYXAQMQ_UOc= k=?WZYXA)W8pOF=VAi[ZW_keY:_MFWOc=?kO?p?hVU|pV[
k¢OcackedfAQn"OcWZacKaFAShN^?nAQMOFWPaFW8Y|Y¨hNWpN¡iUXp Oc=VAhNUXaFASn"OcU|W8p WZ&OF=?A,l WZOFAp_OcUXkZY*[ZaokZhNUXAp_OS£
ÜgWAQzZAaS=VAp³TV^VUXYXhNUXpV[¦MP^ no=³k©lmWeOcAp_OFU]keYOF=VA @keUXp³lVacWZTVYXA@ U]MOc=VAWNnQn^VacaFAQp?nAWegYXWNnkeY
@BUXpVUX@BkH¬MFAAWZaU|p MfOokep?nA
r
vZ tiWZa#k³MFU|@BlVYXA¦nYXW8MFAQhL:WZac@ UXYXY|^?MPOFaokOcU|p?[®OF=VU]M#MfOokOcA@BAp_Oo£ VWZa
UXp?MPOckZp?nA8k²nW8p?nkz8A1WZT?MPOck8nYXA1@BkK®P=VUXhVA"¡1OF=VA[ZW_keYgkZp?hñ[ZAQpVAaokOcA©k®Y|WNnQkeYg@BUXpVUX@^V@#g=?AacA
Oc=VAROFaokdfASn"OFW8aFK1U]MiOFaokel?l ASh¨£{IL^?no=®k#MPU|OF^?keOFUXWZp zZAQaFK1YXU|8AYXK©WNnn^VacM rs w t£<&ASno=VpVU]\_^VAQMiOcW@kZp?ke[8A
Oc=VU]MnkzZASkORA NUXMPO@u WZaBUXp?MPOckep nAU|p rs t:l W8U|p_OoM¢=?AacAOc=VA#[ZaokZhNUXAp_OBUXMBkep¥AUX[ZAQpNzZAQnOFW8aWe)OF=VA
ÜgAQMcMPU]kep.WZ_Oc=VA+lmWeOcAp_OFU]keY_keYXY|WMmOcWghNA?pVA+kacW8k8hL@BkZl)W8p_OFW=VU]no=.OFaokdfASn"OFW8aFUXAQMs@kKiT A+[ZAp?AaokOFASh
kz8WZU]hNUXpV[gYXWNnkeYL@BUXpVU|@¢^V@#£3ÜWAzZAQaQMF^?no=@BASno=?kepVU]MF@BMkZaFA¬kea'acWZ@ÓTmAUXpV[)OFacU|zLU]keYLOFWiUX@Rl?Y|AQ@RAQp_OQ£
?^VaFOF=VAQaF@BWZacAZ_Oc=VAK =?kzZAipVWYXU|pVUOc=T?U|W8Y|W8[ZU]nkeYs@BAQno= kepVU]MP@MQ£
µgpAQY|AQ[8kep_O,MPW8Y|^VOFUXWZp¯= kZMiT AQAp U|p_OcaFWNhN^?nAQh¯T_K W8pVpVW8Y|YXK©kep?h 6 aF^?l AQp
rw x t3nWZp?MFU]hNAacU|p?[
+ D":!%Y# # f%)f%'# uU|O¢U]MAYXY+LpVWp¦OF= kO¢MF^?no=²k#^Vp n"OFUXWZp³=?kZMpVW©@BU|p?U|@¢^V@
A VnAlVOW8pOc=VAhNWZ@keUXpRT W8^Vp?hVkZaFUXAQM-¬MFAA-A8£[ £
rs v tVW8akZlVlmAp?hNU| µ WZabkiMF=VWZaFO'acAzLUXA²W8p¢= keac@RW8pVU]n
^?p?n"OcU|W8p?M-lVacWZlmAaFOFUXAQMo"£3<-=VU]MkelVlVacW8k8no=keY]MFWRkZY|YXWMbOcWBU|p_OFacWNhN^?nA)pVW8pN=VWZYXWZpVW8@BUXninW8p?MfOcackZU|p_OoM rx t
¬U6£AZ£{MFWZYXzZAROc=VABOFaokdfASn"OFW8aFK1[8ApVAQackeOFUXWZplVaFW8TVYXA@ AQzZAp¦U|Oc=VA^Vp?hVAacY|KLUXpV[#@RASno=?kep?UXnQkeYbMFKLMPOFAQ@«OFW
nWZp_OFacWZY!UXMiMFU|pV[8^VY]keagUXp1Oc=VARMFAp MPAOF=?keO)YXWLnQkeYnW8p8OcaFW8Y&YXWLWZl?M¬keUXYXMihNacU|zLUXpV[U|Oo£i<-=VA
WZp?pVWZYXY|K#kep h
6 ac^VlmApRkelVlVacW8k8no=keY]MPW)keYXY|WM&OFW)aFAQYXkeOFAMF^?no=RklmWeOFAQp_OFU]keY_OFWikepW8T?MPOckZnY|AnW8Y|YXUXMFUXWZplVacWZT keTVUXY|U|OfK r t:
[8ApVAQackeOFUXpV[BkOcackedfAQnOFWZacKBUOc=1MPW8@RA,MPOckeOFU]MfOcUXnQkeY¨WZlVOFUX@BkZY|U|OfKU|OF=#aFASMPlmAQnO-OFWWZT MfOokZnYXA.kzZWZU]hVkZp?nA8£
jAQnAQp_OFYXK ¬AZ£[?£ r t"Oc=VU]M [8aFW8^Vl =?k8M k¤hNAz8AYXWZlmAQh TVU|W8Y|W8[ZU]nkZYg@BWNhNAYiWeTmA= kz_UXWZa ^?MFU|pV[¤OF=?UXM
kZlVlVacW8k8no=kZMhNU]Mcn^?McMPAShUXpOF=VAMFAQ\_^VAQY6£
DªpBOc=VAUXa+UX@BlVY|AQ@BAp_OckeOFUXWZp*8OF=VA)ke^NOc=VWZaoMbnkZYXn^VY]kOFA-Oc=VAlmWeOcAp_OFU]keY WZpk,acA[Z^?YXkZa3@RASMP=&_Mcke@BlVYXU|p?[
Oc=VAMPOckeOFA MPl?k8nA8£y<-=VA¦hNaokT?kZno¤WeMF^?no= kep U|@BlVYXA@BAp_OokOFUXWZp UXM U|p hNAAShñOF=VA Y]keac[ZA©@BA@BW8aFK
nWZp?MF^V@BlNOcU|W8p kZp?h©Oc=VA=L^V[ZAnWZ@BlV^NOokOFUXWZpOFUX@BAZ£?WZa,UXp?MPOckep nAZ*WZaklVacWZTVYXA@ U|OF=®#hNAQ[ZacAAQM
WZ.aFAQAQhNW8@~A8£[ £qk¦aFW8T WZOFU]n1keac@UOc=§l?keaoke@BAOcAalVacAQnUXMFUXWZpñWefMckKNM-V£
s
Oc=VU]M{KLU|AQYXh?MOFW
k#acA[8^VY]kea@BAQMF=®We,£X£
s s
^?pVUOoM£©<-=?UXMUXM.Oc=L^?MUXp_OFaokZn"OokeTVYXAZ£#Dªp?hVAAQh*'MFAz8AaokeYb=VAQ^VacUXMPOFU]nM{¬AZ£[?£
=?U|AQackZacno=VU]nkZYekZhVkZlNOFUXzZA
rs t t!@kK.aFAShN^?nAOF=?UXM3nWZ@BlVYXA NUOfK8TV^NO3pVWZOU|OcMW8achVAa'We?@ke[8pVU|OF^?hNA8e=VUXY|A
kZpLK Mcke@BlVYXU|pV[ nWZ@BlVYXA NU|OfK = kZMUXp_OFacU|p?MFU]nkeYXYXKkZp1A Nl W8pVAp_OcUXkZY*[ZacW-OF=#U|OF=1Oc=VA¢MFl?kZnAhNUX@RAQp?MFU|W8p
¬AZ£[?£
rv tVWZak.aFASnAp_O+hNU]Mcn^?McMPUXWZpRacA[8kZachVU|pV[iOcaFU]kepV[8^VY]kOFUXWZpRWes=VUX[Z=NªhNUX@BAp?MFU|W8p?keYVMFl?k8nASZ=?keOFAQzZAa
Oc=VA#MPl?k8nAOcaFU]kep?[Z^VY]kOcU|W8p®WZaR@RASMP=³@RAOF=VWNh³UXMQ£ µ)M¢knW8p?MPAS\_^VAp?nAZOc=VUXM¢@BAOc=VWNh²=?k8MTmAAQp*bUXp
l?ack8n"OFU]nA8LpVWeOacAQkeYXYXK^?MPASh{W8ahNUX@RAQp?MFU|W8p?M=VU|[8=VAa-Oc=?kep
n= 2WZa n= 3 6MPAQAiWZaUXp?MfOokep?nA rs x
t"£
?^VaPOc=VAac@BWZacAZNOc=VA,pL^V@BAacUXnQkeY&nWZpLzZAQaF[8Ap?nAg@kKTmAz8AacKMPYXW,NTmAQnkZ^?MFA.OF=VAUXp ?^?Ap?nA,WeOF=VA
[8W8kZY&=VU]no=UXp8OcaFWNhN^ nAQMkMFY|W8l AUXpOc=VAlmWeOFAQp_OFU]keYmaFAQY|UXA¨UXpWZaohNAa3OcW¢keOPOFaokZnO3OF=VAgOFaokdfASn"OFW8aFKV'@¢^?MfO
TmA,lVacWZl?kZ[8keOFAQhOF=?WZ^V[8= Oc=VA=VW8Y|A,MPOckeOFAMFl?kZnA.T_KOF=VAp_^?@RAQaFU]nkZY*MFno=?A@BA,^?MFAQh OFW{nWZ@BlV^NOcA,OF=VA
= keac@RW8pVU]nglmWeOcAp_OFU]keY+6MPAQA.AZ£[?£
rt t*WZahVAOckZU|Y]MobOcWT A.Ooke8ApU|p_OFWk8nnW8^Vp_OU|p#acA@BWeOcAiYXWNnkeOFUXWZp?MQ£
Dªp WZaohNAa OFWñkzZW8UXh§OF=VA lVacAzLU|W8^?MT?kZhHMPU|OF^ kOFUXWZp&OF=?A l?aFASMPAQp8O#WZacñkZU|@MkO1TV^VUXY]hNU|p?[¥kZp
= keac@RW8pVU]n¢lmWeOcAp_OFU]keY)OF=L^?MUOc=VWZ^NOYXWNnkZYb@BU|pVUX@^?@kZM,k1MFl?keaoMPA¢?pVU|OFAY|UXpVAQkZanW8@TVUXp?kOcU|W8pWZ
AQY|AQ@BAp_OckZaFK1=?kZaF@BW8pVUXn¢^Vp n"OFUXWZp M£{DOkZlVlmAQkeaoMiOF= kOMF^?no= k#nWZp?MPOFac^?n"OcU|W8pU]M,UXp®hNU|acAQnOY|UXpV©U|OF=
= kOUXMlVaFASMPAQp_OFYXK^Vp?hNAQacMPOFWLWNhaFAQ[8keaohNUXpV[=?U|lVlmWNnkZ@Rl keY¨acAY]kOFASh MPOFac^?nOF^VacAQMQ£
DªpOF=VA)WZYXY|WUXpV[MFAQnOFUXWZp{AW8aF@kZY|YXKBaFAQz_UXAñOc=VAgl?aFW8TVY|AQ@ kep?hU|p_OFacWNhN^?nA)kMFl?kZacMFAgkZh?kelNOcU|z8A
W8aF@yWesl?keaoke@BAOFacU|±QAQh^?p_TmWZ^?p?hNAQhB= keac@RW8pVU]nlmWeOcAp_OFU]keY:8nQkeYXY|AShBkep ,2 £ qA)MP=VW³OF=?keObOF=?UXM
¬kZ@BU|YXK{WelmWeOFAQp_OFU]keY*MFWZYXzZAQMOc=VA,lVacAQMFAp_OlVaFW8TVYXA@#£
q A)kZYXMFWhNU]MFn^?MFM+=VW¤OF=VU]M+@kK¢Y|ASkZhROFW¢kepUXp8OcAacp?keY?aFAQlVaFASMPAQp_OckOcU|W8pBWesOF=VA)lVacWZTVYXA@ kZM+k.p?WZpN
OcWZlmWZ[8ackZlV=VU]n@kel¦UXp¦aFAQYXkeOFUXWZp UOc=Oc=VA{=VUXlVlmWNnke@BlV^ M,@BAQno=?kZpVUXMF@M,kep?hOc=VAaFAQYXkeOFAShnWZ[Zp?UOcU|z8A
@kZl?M£
Dªp¦Oc=VApVA LO¢MPASn"OcU|W8p A{hNASMFnaFUXT A=VWyA{nkZp®U|@BlVYXA@BAQp8ORMP^?no=²k#@BASno=?kepVU]MF@£#<!WfOFWK8¡
A Nl AQaFUX@BAp_OcM,kZaFARaFAQl W8aPOcAQh¨¨=?UXno= aFASMP^?YOoM,keYXY|WqOcW1kep?kZY|KL±A¢OF=?A{\8^ keYXUOokOFUXzZARlVacWZlmAaFOFUXAQM.WZ+OF=?UXM
@BASno=?kepVU]MF@£
% ,#
WY_`l mT^n _`Wfn X mhgyXBVYgh_de
&AO^?MnWZp?MFU]hNAa4u
¬k_-kBMPKNMPOFA@#?hVA?pVAShTLKk #+%)%) 2%)
x∈ Rn n≥2
Tmkep f%'^#%)%) NaFU|OPOcAp
x0∈ Rn
¬nS
r Y#+% f%# hNA?pVASh TLKMcnkZYXkZa-U|pVAS\_^?keYXUOcU|ASM
ci(x)>0, i∈ {1..r}
¬h k ,4 hNA?pVAQhTLK kZpnWZp?MPOFaokeUXp_OWZ!Oc=VA.WZac@
c0(x)≤0
k8M-U|YXYX^?MfOcackeOFAShUXp1!UX[?£ } £
c (x) < 0 i
c (x) < 0j
x0
(t)
goal c (x) = 0 0
'UX[Z^VacA}:ubINno=VAQ@BkeOFU]n.zLU|AQ We!OF=VA.OcackedfAQnOFWZacK[ZAQpVAaokOcU|W8plVacWZT?Y|AQ@£
<-=VAlVaFW8TVYXA@ U]M,Oc=L^?MhNA?pVASh¦^?MPUXpV[1UX@BlVY|U]nU|O¢AS\_^?kOcU|W8p?M
ci : Rn → R 6kZMcMP^?@RAShOFW©TmAkO YXAQk8MfO-OfU]nA,hNUzmAQaFAQp_OFU]keTVYXAZVW8anWZp MPU]hNAacUXpV[RhVUXMPOFacU|T?^NOFUXWZp?Mo"£
DOF=VAR[ZW_keY'UXM.MFU|@BlVYXK#OFWaFASkZno=¯k?p?kZY3MfOokOFA
x∞ ∈ Rn U:£AZ£k lV^Vp?nOF^?kZY[ZW8kZY]mOF=VABacAY]kOFASh UX@BlVYXUXnUOAS\8^ kOFUXWZpU]M?MckKZ
c0(x) =||x−x∞||£
<-=VU]MhNA?pVASMkhNWZ@keUXp[u
U ={x,∀i∈ {0..r}, ci(x)>0}
k8MFMF^V@BAQhOFWBTmA
f2%)
UOc=
x0∈ U kep?h =VU]no=acWZp_OcU|AQaUXM@u
∂U ={x,∃i∈ {0..r}, ci(x) = 0}=∪ri=0∂Ui
=?AacA
∂Ui = {x, ci(x) = 0}U]M.OF=?A{acWZp_OFUXAa,WZOc=VA
iOF=²nWZp?MPOFaokeUXp_OWZT?MPOck8nYXA¬U
i >0,WZa,Oc=VA
acWZp_OcU|AQaWZ!Oc=VA,[ZW_keY3U|
i= 0"£
q A,aFU|OFA
U¯=U ∪∂U OF=?A.MPOckeOFAMFl?kZnA.We&Oc=VU]MlVacWZTVYXA@#£
W8p?nacAOcAYXKZ
x nWZp_OckZU|p MglV=LKNMFUXnQkeYl?keaoke@BAOFAaoMQ£.<-=?AK©keacA¢OF=L^?MiT W8^Vp?hNASh\_^?kZp_OFU|OFUXAQM.kep?h¯A nQkep#kZMcMP^?@RAiOc=?kO
U UXMTmWZ^?p?hNAQh*?MPWROc=?kO
U¯UXM f%£
ÜgAacA,A.YXW_W8WZak¢OcackedfAQn"OcWZacK
γ:R+→ Rn MP^?no= OF= kO@u
bUOgMPOckZaPOoMkO-OF=VA,UXpVU|OFU]keY*lmWZUXp_O
γ(0) =x0
bzZAacU|?AQMOc=VA.lVaFW8TVYXA@ nWZp?MPOFaokeUXp_OcM
∀t∈ R+, γ(t)∈ U
baFASkZno=VASMi6kOYXAQk8MfOkZMFKL@BlNOFWZOFU]nkeYXYXKN+Oc=VA,[ZW_keY YXU|@
t→∞c0(γ(t)) = 0
Oc=VU]M-OFaokdfASn"OFW8aFKBTmAUXpV[{nW8p_OFUXp_^?WZ^?MkZp?h keOY|ASkZMPOOfUXnA.hVU{zsAacAp_OFU]keT?Y|A8£
<-=VABhNUzmAQaFAQp_OFU]keTVUXY|U|OfK©nW8p?hNU|OFUXWZp¯kZY|YXWMgOFW nWZacaFASn"OcY|K1nW8p_OFacWZY*Oc=VA¢OFaokdfAQnOFW8aFKA NAQn^NOFUXWZpTLK#k
l?=_KNMFUXnQkeY¨hNAQz_U]nA8£3Dªp¬kZn"OSNOF=?A.MFWZYX^NOcU|W8p lVacWZlmW8MFAQh UXp Oc=VAMFAQ\_^VAY¨KLUXAY]hVM-UXpN?pVU|OFAhNUzsAacAp_OFU]keTVUXYXUOfK8£
4
e V$Wf_ ]ygeb R X Wfn _de g] j _ V:T^e VYg X m
DªpWZaohNAQaOcWMPW8Y|z8AgOc=VA,lVacAQMFAp_Ol?aFW8TVY|AQ@°A)UXp_OFacWLhV^?nA,kRl WZOFAQp8OcUXkZY
V :U → R=VU]no=@RUXpVUX@BU|±Sk
OcU|W8pkZY|YXWMOFWB[8ApVAQackeOFA)OF=VA,A LlmAQnOFAShOcackedfAQnOFWZacK
γ()u
U-MPOckeaFOFUXpV[RWZa-Oc=VA,UXpVUOcUXkZY¨l W8U|p_O
UXUY|WLWZLUXpV[RWZakBMF@BkZY|YXAa-zkeYX^VA,WZ
V() kOAQk8no=MPOFAQl
UXUXU]-MPOFW8lVlVUXpV[B=VApOF=?A,@RUXpVUX@^V@ We
V()U]M-acAQkZno=?AQh 81W8aFA.lVacAQnUXMFAYXKZNA,nW8p?MPU]hNAQaOcackedfAQnOFWZacUXAQM
γ(t) MP^?no= OF= kO@u
γ0(t) =−∇V(γ(t)) s
=?UXno=UXMgkRMPOckZp?hVkZach s MPOWZaohNAa-@BU|p?U|@BUX±QkOcU|W8pMcno=VAQ@RA8?MFU|p?nAu
V0(γ(t)) =∇V(γ(t))Tγ0(t) =−||∇V(γ(t))||2<0
µ)MgMF^?no=*VOc=VU]MglmWeOcAp_OFU]keY*p?WeOgW8pVY|K#keYXYXWMOFW?p h©kROFaokdfASn"OFW8aFK{aFW8@ kB[8U|z8Ap
x0
OcWOF=VA[ZW8kZY6
T?^NO.aFW8@ kepLK
x0 ∈ U OFWOF=?AR[8W8kZY u)A¢OF=L^?M.=?kz8AAQ@TmAQhVhNASh©Oc=VABlVacAQMFAp_Oil?aFW8TVY|AQ@ UXpk@BWZacA [8ApVAQackZYsWZpVA8NU|p#WZaohNAQaOcWT AkZTVYXA)OcWMPW8Y|z8AiU|OQ£
Dªp#WZaohNAQaOc=VU]Ml?keaokZhVU|[8@ OFWTmA,zkZY|U]h¨NA.U|p_OFacWNhN^?nA.OF=VA.W8Y|YXWU|p?[RnWZp?MPOFaokeUXp_OcM@u
C0
<-=VA,[ZW_keY¨nW8aFacAQMFlmWZp?hVMOcWR@BUXpVUX@BkBWZ&Oc=VA,l WZOFAQp8OcUXkZY6£bÜgAacA.A,no=VWLW8MFAu
YXU|@
x→∂U0V(x) =−∞ :}Z
Ci
E)T?MPOck8nYXAQM-keacA.@Bke NU|@kRWe!OF=VA,lmWeOcAp_OFU]keY:£bÜAQaFA.A.no=?W_W_MPA,u
∀i,Y|UX@ x→∂UiV(x) = +∞ 6v8
Cc
<-=VAQaFA.U]M-pVWYXWLnQkeY¨@BUXpVU|@¢^V@%¬WZa' keOaFAQ[ZUXWZp?MoWe&Oc=VA,lmWeOFAQp_OFU]keY'u
∀x∈ U,||∇V(x)||>0
ÜAQaFA,A,no=VWLW8MFAikZp + ff%)2D%u
∀x∈ U,∆V(x) = 0 ¬t_
=VU]no=*?kZMhVAOckZU|YXAQh UXp#kZlVlmAp?hNU| µ ?keYXYXWM+OcWBzZAacU|K
Cc
£
=VWLW_MPUXpV[1^VpLTmWZ^Vp?hVAQh¦zkeYX^VAQMWZp OF=?AhNWZ@kZU|p®TmWZaohNAa@BkKY|WLW8¯YXU|8A{k©MfOcackZpV[ZAno=VW8UXnATV^NO
YXAQk8hVMgOFW#k MF^VaclVaFU]MFU|pV[8Y|K1MFU|@BlVYXA 2#2 + MFWZYX^NOcU|W8p¯hNAz8AYXWZlmAQh¯pVW,£µO)Oc=VABU|@BlVYXA@BAQp8OokOcU|W8p
YXAz8AY:LT W8^Vp?hNAShlmWeOcAp_OFU]keY]MkeacA)[8WZUXpV[OcWBT A.AQk8MPUXYXK{hNAacU|z8AQh{aFW8@ OF=VU]MnYXW8MFAQhN6W8aF@ MFWZYX^NOFUXWZp*£3<-=VA
OcAQno=Vp?UXnQkeYVnW8p?MFAQ\_^VAp nAQMWZmk8nnAQlNOFUXpV[,UXpN?pVU|OFAzkZY|^VASM3WZp¢OF=?AhNWZ@keUXpBT W8^Vp?hVkZaFUXAQMWZmkZpR= keac@RW8pVU]n
lmWeOcAp_OFU]keYkeacA{hNU]MFn^?MFMFAQh¦UXp²kel?l AQp?hNU| µ £1<-=VUXMaFAQlVacAQMFAp_OckeOFUXWZp¦UXM@BWeOFUXzkOcAQh¦TLK¯Oc=VA¬k8n"OOc=?kO
p?hNUXpV[kepA NlVYXUXnUOMFWZYX^NOFUXWZp WZakRT W8^Vp?hNASh= keac@RW8pVU]nglmWeOcAp_OFU]keY*MFAAQ@BMkZpUXp_OFaokZn"OokeTVYXA.lVacWZTVYXA@
rs v tb=VU|YXA{kepLK1pL^V@BAacU]nkeYbMFWZYX^NOcU|W8p?M.keacARYXUX@RU|OFASh T_K©OF=VA{n^VacMFARWehVU|@BAp MPUXWZp?kZY|U|OfK rs x
tbU|p OF=?UXM
nQkZMFAZ£
=VWLW_MPUXpV[{kep#=?kZaF@BW8pVUXn.lmWeOcAp_OFU]keY!UXM¬keaacWZ@ T AQU|p?[OF=VAWZpVYXK W8pVAMFWZYX^NOFUXWZp®A8£[ £hNA?p?U|pV[{k
nWZpLzZA glmWeOFAQp_OFU]keYZU]M&kY|ASMFM*nWZp?MPOFaokeUXpVAShikZYOcAacp?kOcU|z8ASmTV^VO&=?kZM!k-zZAQaFK)U|p_OFAQaFASMfOcU|p?[WZlNOcU|@keY8lVacWZlmAaFOfK!u