Combinatoire et algorithmique des factorisations tangentes à l'identité

HAL Id: tel-01538597

https://tel.archives-ouvertes.fr/tel-01538597

Submitted on 13 Jun 2017

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Combinatoire et algorithmique des factorisations tangentes à l’identité

Ladji Kane

To cite this version:

Ladji Kane. Combinatoire et algorithmique des factorisations tangentes à l’identité. Algorithme et structure de données [cs.DS]. Université Paris-Nord - Paris XIII, 2014. Français. �NNT : 2014PA132059�. �tel-01538597�

❚❍➮❙❊

!"#❡♥&"❡ ♣♦✉! ♦❜&❡♥✐!

▲❊ ❉■ ▲0▼❊ ❉❊ ❉❖❈❚❊❯❘ ❉❊ ▲✬❯◆■❱❊❘❙■❚➱

❆❘■❙ ✶✸✱ ❙❖❘❇❖◆◆❊ ❆❘■❙ ❈■❚➱

❙♣"❝✐❛❧✐&" ✿ ■♥❢♦!♠❛&✐G✉❡

♣❛!

▲❛❞❥✐ ❑❆◆❊

❈♦♠❜✐♥❛,♦✐-❡ ❡, ❛❧❣♦-✐,❤♠✐2✉❡

❞❡5 ❢❛❝,♦-✐5❛,✐♦♥5 ,❛♥❣❡♥,❡5 8 ❧✬✐❞❡♥,✐,:

❙♦✉&❡♥✉❡ ❧❡ ✷✼ ❥✉✐♥ ✷✵✶✹ ❞❡✈❛♥& ❧❡ ❥✉!② ✿

❘❛♣♣♦$%❡✉$( ✿

❏❡❛♥✲●❛❜!✐❡❧ ▲❯◗❯❊✱ ♣!♦❢❡##❡✉! ❞❡# ✉♥✐✈❡!#✐&"# ✭❘♦✉❡♥✮

◆♦✉!✲❊❞❞✐♥❡ ❖❯❙❙❖❯❙✱ ♣!♦❢❡##❡✉! ❞❡# ✉♥✐✈❡!#✐&"# ✭▲✐❧❧❡ 1✮

❊①❛♠✐♥❛%❡✉$( ✿

❈❤!✐#&✐❛♥ ▲❆❱❆❯▲❚✱ ♣!♦❢❡##❡✉! ❞❡# ✉♥✐✈❡!#✐&"# ✭ ❛!✐# 13✮

❍❛❝Y♥❡ ❇❊▲❇❆❈❍■❘✱ ♠❛Z&!❡ ❞❡ ❝♦♥❢"!❡♥❝❡# ✲ ❍❉❘ ✭❆❧❣❡!✮

✐❡!!❡ ❙■▼❖◆◆❊❚✱ ♠❛Z&!❡ ❞❡ ❝♦♥❢"!❡♥❝❡# ✲ ❍❉❘ ✭❈♦!&❡✮

❑❛!✐♠ ❙❆▼❆❑❊✱ ♠❛Z&!❡ ❞❡ ❝♦♥❢"!❡♥❝❡# ✭❇❛♠❛❦♦✮

❉✐$❡❝%❡✉$(✴❡♥❝❛❞$❛♥%( ✿

●"!❛!❞ ❍✳❊✳ ❉❯❈❍❆▼ ✱ ♣!♦❢❡##❡✉! ❞❡# ✉♥✐✈❡!#✐&"# ✭ ❛!✐# 13✮

❱✐♥❝❡❧ ❍♦❛♥❣ ◆❣♦❝ ▼■◆❍✱ ♣!♦❢❡##❡✉! ❞❡# ✉♥✐✈❡!#✐&"# ✭▲✐❧❧❡ 2✮

❈❤!✐#&♦♣❤❡ ❚❖▲▲❯✱ ♠❛Z&!❡ ❞❡ ❝♦♥❢"!❡♥❝❡# ✭ ❛!✐# 13✮

✲ ✷✲

✲ ✸✲

❘❡♠❡#❝✐❡♠❡♥'( ✿ ❆✈❛♥& &♦✉& ❥❡ +❡♠❡+❝✐❡ ●0+❛+❞ ❍✳❊✳ ❉✉❝❤❛♠♣ 8✉✐ ♠✬❛ ❣✉✐❞0 ❞❛♥;

♠❛ &❤<;❡ ❡& 8✉✐ ♠✬❛ ♣+♦♣♦;0 ♣❧❡✐♥ ❞❡ ♣+♦❜❧<♠❡; ✐♥&0+❡;;❛♥&;✱ 8✉❡❧8✉❡; ✉♥; 8✉❡ ❥✬❛✐ ;✉

+0;♦✉❞+❡ ❡& ❞✬❛✉&+❡; ♥♦♥✳ ❏❡ ;❛✐; ❝♦♠❜✐❡♥ ✐❧ ❛✐♠❡ ❧❛ ❝♦♠❜✐♥❛&♦✐+❡ ❞❡; ❛❧❣<❜+❡; ❞❡ ▲✐❡ ❡&

❝♦♠❜✐❡♥ ✐❧ +❡✈❡♥❞✐8✉❡ ❧✬❛♣♣❛+&❡♥❛♥❝❡ B ❧✬0❝♦❧❡ ❞❡ ❙❝❤D&③❡♥❜❡+❣❡+✳ ▲❡; &+♦✐; ❛♥♥0❡; ♣❛;✲

;0❡; B &+❛✈❛✐❧❧❡+ ❛✈❡❝ ●0+❛+❞ ❍✳❊✳ ❉✉❝❤❛♠♣ ♦♥& 0&0 ❡①&+G♠❡♠❡♥& ✐♥;&+✉❝&✐✈❡; B ❜✐❡♥ ❞❡;

0❣❛+❞;✳ ❏❡ ❞♦✐; ♠❡♥&✐♦♥♥❡+ ;♦♥ ❛♣♣0&✐& ;❝✐❡♥&✐✜8✉❡ ✐♥;❛&✐❛❜❧❡✱ ❧❡; +0♣♦♥;❡; ♣❛&✐❡♥&❡; B ♠❡;

8✉❡;&✐♦♥;✱ ❡& ;♦♥ ❡♥&❤♦✉;✐❛;♠❡ ❝♦♥;&❛♥& ♣♦✉+ ♣❛+&❛❣❡+ ;❡; ❝♦♥♥❛✐;;❛♥❝❡;✳ ❙❛ +✐❣✉❡✉+ ❡&

;♦♥ +❡❢✉; ❞❡; ❝+♦②❛♥❝❡; ♥♦♥ ❢♦♥❞0❡; ;♦♥& ❛✉;;✐ ✉♥❡ ❧❡K♦♥✳

❏❡ +❡♠❡+❝✐❡ &+<; ❝❤❛❧❡✉+❡✉;❡♠❡♥& ❈❤+✐;&♦♣❤❡ ❚♦❧❧✉✳ ❈✬❡;& ✉♥❡ ❝❤❛♥❝❡ ❞✬❛✈♦✐+ ♣✉ &+❛✈❛✐❧❧❡+

❛✈❡❝ 8✉❡❧8✉✬✉♥ ❛②❛♥& ❞❡; ❝♦♥♥❛✐;;❛♥❝❡; ❛✉;;✐ ✈❛;&❡; 8✉❡ ❝❡ ;♦✐& ❡♥ ♠❛&❤0♠❛&✐8✉❡;✱ ❡♥ ✐♥✲

❢♦+♠❛&✐8✉❡ ❡& ❞❛♥; &❛♥& ❞✬❛✉&+❡; ❞♦♠❛✐♥❡;✳ ❙❡; 8✉❛❧✐&0; ♣0❞❛❣♦❣✐8✉❡; ♠✬♦♥& ❞♦♥♥0 ❧✬❡♥✈✐❡

❞❡ ♠✬✐♥&❡+❡;;❡+ B ❧❛ ❝♦♠❜✐♥❛&♦✐+❡✳

❏✬❛❞+❡;;❡ ❞❡; +❡♠❡+❝✐❡♠❡♥&; ;♣0❝✐✜8✉❡; B ❱✐♥❝❡❧ ❍♦❛♥❣ ◆❣♦❝ ▼✐♥❤ ✿ ✐❧ ❡;& &♦✉❥♦✉+; ♣+G&

B ♣❛+&❛❣❡+ ;❡; ✐❞0❡;✱ ;❡; ✐♥&✉✐&✐♦♥;✳

❏❡ +❡♠❡+❝✐❡ ❏❡❛♥✲●❛❜+✐❡❧ ▲✉8✉❡ ❡& ◆♦✉+✲❊❞❞✐♥❡ ❖✉;;♦✉; ♣♦✉+ ♠✬❛✈♦✐+ ❢❛✐& ❧✬❤♦♥♥❡✉+

❞✬G&+❡ ❧❡; +❛♣♣♦+&❡✉+; ❞❡ ♠❛ &❤<;❡✱ ❡& ♣♦✉+ ❧❡✉+ ❞✐;♣♦♥✐❜✐❧✐&0 ❡& ❧❡✉+ ❣❡♥&✐❧❧❡;;❡✳ ❏❡ +❡✲

♠❡+❝✐❡ 0❣❛❧❡♠❡♥& ❏❡❛♥✲●❛❜+✐❡❧ ▲✉8✉❡ ❞❡ ♠✬❛✈♦✐+ ✐♥✈✐&0 B ❘♦✉❡♥ ♣♦✉+ 8✉❡ ❥❡ ♣✉✐;;❡ ②

❡①♣♦;❡+ ♠❡; &+❛✈❛✉①✳ ❏❡ ❧❡ +❡♠❡+❝✐❡ 0❣❛❧❡♠❡♥& ♣♦✉+ ;♦♥ ❛❝❝✉❡✐❧ ❝❤❛❧❡✉+❡✉①✱ ♣♦✉+ ;❡; 8✉❡;✲

&✐♦♥;✱ ❧❡; ❞✐;❝✉;;✐♦♥; ❛✈❡❝ ❧✉✐ ♦♥& &♦✉❥♦✉+; 0&0 &+<; ;&✐♠✉❧❛♥&❡;✳

❏❡ +❡♠❡+❝✐❡ ❛✉;;✐ ❧❡; ♠❡♠❜+❡; ❞✉ ❥✉+② ❞❡ ♠❛ ;♦✉&❡♥❛♥❝❡ ♣♦✉+ ❧✬❤♦♥♥❡✉+ 8✉✬✐❧; ♠✬♦♥& ❢❛✐&

❞✬❛❝❝❡♣&❡+ ❞✬② ♣❛+&✐❝✐♣❡+ ✿ ♠❡+❝✐ ❞♦♥❝ B ❈❤+✐;&✐❛♥ ▲❛✈❛✉❧&✱ B ❍❛❝<♥❡ ❇❡❧❜❛❝❤✐+✱ B U✐❡++❡

❙✐♠♦♥♥❡& ❡& B ❑❛+✐♠ ❙❛♠❛❦0✳

❏❡ +❡♠❡+❝✐❡ ❧❡; ♠❡♠❜+❡; ❞❡ ❧✬08✉✐♣❡ ❞❡ ❝♦♠❜✐♥❛&♦✐+❡ ❞✉ ❧❛❜♦+❛&♦✐+❡ ✿ ❋+0❞0+✐8✉❡ ❇❛;✲

;✐♥♦✱ ❆❞+✐❛♥ ❚❛♥❛;❛✱ ❈②+✐❧ ❇❛♥❞❡+✐❡+✱ ❙✐❧✈✐❛ ●♦♦❞❡♥♦✉❣❤✳ ❆✐♥;✐ 8✉❡ ❧❡; ❞♦❝&♦+❛♥&; ✿ ◗✉♦❝

❍♦❛♥❣ ◆❣♦✱ ❱❛♥ ❈❤✐G♥ ❇✉✐✱ ◆❣✉②❡♥ ❍♦❛♥❣✱ ▼♦❤❛♠❡❞ ▼❛❤❞✐ ❇❡♥♠♦✉;;❛✳ ❏❡ +❡♠❡+❝✐❡

♣❛+&✐❝✉❧✐<+❡♠❡♥& ❱❛♥ ❈❤✐G♥ ❇✉✐✱ ◆❣✉②❡♥ ❍♦❛♥❣ ❡& ▼♦❤❛♠❡❞ ▼❛❤❞✐ ❇❡♥♠♦✉;;❛ ♣♦✉+

❧❡✉+ ❝♦♥;&❛♥&❡ ❜♦♥♥❡ ❤✉♠❡✉+ ❡& ♣♦✉+ ❧❡✉+ ;♦✉&✐❡♥✳

❏❡ +❡♠❡+❝✐❡ ♠❛ ❢❛♠✐❧❧❡ ♣♦✉+ ❧❡✉+; ❡♥❝♦✉+❛❣❡♠❡♥&; ❡& ❧❡✉+ ;♦✉&✐❡♥ ♠♦+❛❧✳ ▼❡+❝✐ B ♠❡;

♣❛+❡♥&;✱ B ♠❡; ❢+<+❡; ❡& ;♦❡✉+; ♣♦✉+ ❧❡✉+ ♣❛&✐❡♥❝❡ ❡& ❧❡✉+ ❝♦♠♣+0❤❡♥;✐♦♥✳

▼❡+❝✐ ❛✉;;✐ B ❨♦+♦ ❉✐❛❦✐&0 ♣♦✉+ ;❡; ❡♥❝♦✉+❛❣❡♠❡♥&; ❡& ;♦♥ ;♦✉&✐❡♥ 8✉✐ ❛ 0&0 ❞0❝✐;✐❢ ♣♦✉+

❧❛ ❝♦♥&✐♥✉❛&✐♦♥ ❞❡ ♠❡; 0&✉❞❡;✳

▲❡ ❞❡+♥✐❡+ ♠❛✐; ♥♦♥ ❧❡ ♠♦✐♥❞+❡✱ ❥❡ +❡♠❡+❝✐❡ ♠♦♥ 0♣♦✉;❡✱ ❋❛&❤✐♠❛&❛ ▼❛♠❛+② ❑❛♥0✱ ♣♦✉+

;♦♥ ❛♠♦✉+ ❡& ;❛ ♣❛&✐❡♥❝❡✳ ❊❧❧❡ ❛ ;✉ &❡♥✐+ ❜♦♥ ❡& ♠✬❛ ❞♦♥♥0 ✉♥ ;♦✉&✐❡♥ ✐♥❞0❢❡❝&✐❜❧❡ ❞✉+❛♥&

♠❛ &❤<;❡✳

❈❡; +❡♠❡+❝✐❡♠❡♥&; ♥❡ ♣❡✉✈❡♥& ;✬❛❝❤❡✈❡+ ;❛♥; +❡♠❡+❝✐❡+ ❉✐❡✉✱ 8✉✐ ♠✬❛ ❞♦♥♥0 ❧❛ ❢♦+❝❡ ❡& ❧❡

❜♦♥❤❡✉+ ❞❡ +0❛❧✐;❡+ ❝❡&&❡ &❤<;❡✳ ➚ ▲✉✐ ;❡✉❧ ❧❛ ❣❧♦✐+❡✳

✲ ✹✲

✳

✲ ✺✲

❚✐"#❡ ✿ ❈♦♠❜✐♥❛)♦✐*❡ ❡) ❛❧❣♦*✐)❤♠✐/✉❡ ❞❡2 ❢❛❝)♦*✐2❛)✐♦♥2 )❛♥❣❡♥)❡2 5 ❧✬✐❞❡♥)✐)7✳

❘'(✉♠' ✿ ▲❛ ❈♦♠❜✐♥❛)♦✐*❡ ❛ ♣❡*♠✐2 ❞❡ *72♦✉❞*❡ ❝❡*)❛✐♥2 ♣*♦❜❧;♠❡2 ❡♥ ▼❛)❤7♠❛)✐/✉❡2✱

❡♥ >❤②2✐/✉❡ ❡) ❡♥ ■♥❢♦*♠❛)✐/✉❡✱ ❡♥ *❡)♦✉* ❝❡❧❧❡2✲❝✐ ✐♥2♣✐*❡♥) ❞❡2 /✉❡2)✐♦♥2 ♥♦✉✈❡❧❧❡2 5 ❧❛

❈♦♠❜✐♥❛)♦✐*❡✳ ❈❡ ♠7♠♦✐*❡ ❞❡ )❤;2❡ ✐♥)✐)✉❧7 ✧❈♦♠❜✐♥❛)♦✐*❡ ❡) ❛❧❣♦*✐)❤♠✐/✉❡ ❞❡2 ❢❛❝)♦*✐✲

2❛)✐♦♥2 )❛♥❣❡♥)❡2 5 ❧✬✐❞❡♥)✐)7✧ *❡❣*♦✉♣❡ ♣❧✉2✐❡✉*2 )*❛✈❛✉① 2✉* ❧❛ ❝♦♠❜✐♥❛)♦✐*❡ ❞❡2 ❞7❢♦*✲

♠❛)✐♦♥2 ❞✉ ♣*♦❞✉✐) ❞❡ 2❤✉✤❡✳

▲✬♦❜❥❡❝)✐❢ ❞❡ ❝❡))❡ )❤;2❡ ❡2) ❞✬7❝*✐*❡ ❞❡2 ❢❛❝)♦*✐2❛)✐♦♥2 ❞♦♥) ❧❡ )❡*♠❡ ♣*✐♥❝✐♣❛❧ ❡2) ❧✬✐❞❡♥)✐)7 5 )*❛✈❡*2 ❧✬✉)✐❧✐2❛)✐♦♥ ❞✬♦✉)✐❧2 ♣♦*)❛♥) ♣*✐♥❝✐♣❛❧❡♠❡♥) 2✉* ❧❛ ❝♦♠❜✐♥❛)♦✐*❡ ❞❡2 ♠♦)2 ✭♦*❞*❡2✱

❣*❛❞✉❛)✐♦♥2✱ ❡)❝✳✮✳ ❉❛♥2 ❧❡ ❝❛2 ❝❧❛22✐/✉❡✱ 2♦✐) F ✉♥❡ ❛❧❣;❜*❡ ❧✐❜*❡✳ ❊♥ *❛✐2♦♥ ❞✉ ❢❛✐) /✉❡ F

❡2) ✉♥❡ ❛❧❣;❜*❡ ❡♥✈❡❧♦♣♣❛♥)❡✱ ♦♥ ❛ ✉♥❡ ❢❛❝)♦*✐2❛)✐♦♥ ❡①❛❝)❡ ❞❡ ❧✬✐❞❡♥)✐)7 ❞❡

End♣F! ✏ F^✍❜ˆF

❝♦♠♠❡ ✉♥ ♣*♦❞✉✐) ✐♥✜♥✐ ❞✬❡①♣♦♥❡♥)✐❡❧❧❡2 ✭End♣F! 7)❛♥) ♠✉♥✐ ❞✉ ♣*♦❞✉✐) ❞❡ 2❤✉✤❡ 2✉* ❧❛

❣❛✉❝❤❡ ❡) ❞❡ ❧❛ ❝♦♥❝❛)7♥❛)✐♦♥ 2✉* ❧❛ ❞*♦✐)❡✱ ✉♥❡ *❡♣*72❡♥)❛)✐♦♥ ✜❞;❧❡ ❞✉ ♣*♦❞✉✐) ❞❡ ❝♦♥✈♦✲

❧✉)✐♦♥✮ ❝♦♠♠❡ 2✉✐) ✿ ♣*❡♠✐7*❡♠❡♥) ♦♥ ❝♦♠♠❡♥❝❡ ❛✈❡❝ ✉♥❡ ❜❛2❡ ❞❡ >♦✐♥❝❛*7✲❇✐*❦❤♦✛✲❲✐))✱

❞❡✉①✐;♠❡♥) ♦♥ ❝❛❧❝✉❧❡ ❧❛ ❢❛♠✐❧❧❡ ❞❡2 ❢♦*♠❡2 ❝♦♦*❞♦♥♥7❡2 ❡) ❛❧♦*2 ❧❡2 ♣*♦♣*✐7)72 ✭❝♦♠❜✐♥❛✲

)♦✐*❡2✮ ♥♦♥ )*✐✈✐❛❧❡2 ❞❡ ❝❡2 ❢❛♠✐❧❧❡2 ❡♥ ❞✉❛❧✐)7 ❞♦♥♥❡ ❧❛ ❢❛❝)♦*✐2❛)✐♦♥✳ ❙✐ ♦♥ ♣❛*) ❞❡ ❧✬❛✉)*❡

❝Q)7✱ ❧✬7❝*✐)✉*❡ ♣♦✉* ❧❡ ♠R♠❡ ♣*♦❞✉✐) ♥❡ ❞♦♥♥❡ ❡①❛❝)❡♠❡♥) ❧✬✐❞❡♥)✐)7 /✉❡ 2♦✉2 ❞❡2 ❝♦♥❞✐✲

)✐♦♥2 )*;2 *❡2)*✐❝)✐✈❡2 /✉❡ ♥♦✉2 ♣*7❝✐2♦♥2 ✐❝✐✳ ❉❛♥2 ❞❡ ♥♦♠❜*❡✉① ❛✉)*❡2 ❝❛2 ✭❞7❢♦*♠72✮✱ ❧❛

❝♦♥2)*✉❝)✐♦♥ ❡①♣❧✐❝✐)❡ ❞❡2 ♣❛✐*❡2 ❞❡ ❜❛2❡2 ❡♥ ❞✉❛❧✐)7 ♥7❝❡22✐)❡ ✉♥❡ 7)✉❞❡ ❝♦♠❜✐♥❛)♦✐*❡ ❡)

❛❧❣♦*✐)❤♠✐/✉❡ /✉❡ ♥♦✉2 ❢♦✉*♥✐22♦♥2 ❞❛♥2 ❝❡ ♠7♠♦✐*❡✳

▼♦"(✲❝❧❡❢( ✿ ❈♦♠❜✐♥❛)♦✐*❡ ❛❧❣7❜*✐/✉❡✱ >*♦❞✉✐) ❞❡ 2❤✉✤❡✱ >*♦❞✉✐) ❞❡ q✁2❤✉✤❡✱ >*♦✲

❞✉✐) ❞❡ q✁2)✉✤❡✱ ➱❧7♠❡♥)2 ❞❡ ▲✐❡✱ ❆❧❣;❜*❡ ❞❡ ▲✐❡ ❧✐❜*❡✱ ❇❛2❡ ❞❡ >♦✐♥❝❛*7✲❇✐*❦❤♦✛✲❲✐))✱

❇❛2❡ ❞❡ ❚*❛♥2❝❡♥❞❛♥❝❡✱ ❇❛2❡2 ♠✉❧)✐♣❧✐❝❛)✐✈❡2✱ ❋❛❝)♦*✐2❛)✐♦♥2 )❛♥❣❡♥)❡2 5 ❧✬✐❞❡♥)✐)7✳

✲ ✻✲

❚✐"❧❡ ✿ ❈♦♠❜✐♥❛)♦*✐❝, ❛♥❞ ❛❧❣♦*✐)❤♠✐❝, ♦❢ ❢❛❝)♦*✐③❛)✐♦♥, )❛♥❣❡♥) )♦ )❤❡ ✐❞❡♥)✐)②✳

❆❜(")❛❝" ✿ ❈♦♠❜✐♥❛)♦*✐❝, ❤❛, ,♦❧✈❡❞ ♠❛♥② ♣*♦❜❧❡♠, ✐♥ ▼❛)❤❡♠❛)✐❝,✱ :❤②,✐❝, ❛♥❞ ❈♦♠✲

♣✉)❡* ❙❝✐❡♥❝❡✱ ✐♥ *❡)✉*♥ )❤❡,❡ ❞♦♠❛✐♥, ✐♥,♣✐*❡ ♥❡✇ >✉❡,)✐♦♥, )♦ ❈♦♠❜✐♥❛)♦*✐❝,✳ ❚❤✐, ♠❡✲

♠♦✐* ❡♥)✐)❧❡❞ ✧❈♦♠❜✐♥❛)♦*✐❝, ❛♥❞ ❛❧❣♦*✐)❤♠✐❝, ♦❢ ❢❛❝)♦*✐③❛)✐♦♥, )❛♥❣❡♥) )♦ ✐❞❡♥)✐)②✧ ✐♥✲

❝❧✉❞❡, ,❡✈❡*❛❧ ✇♦*❦, ♦♥ )❤❡ ❝♦♠❜✐♥❛)♦*✐❛❧ ❞❡❢♦*♠❛)✐♦♥, ♦❢ )❤❡ ,❤✉✤❡ ♣*♦❞✉❝)✳

❚❤❡ ❛✐♠ ♦❢ )❤✐, )❤❡,✐, ✐, )♦ ✇*✐)❡ ❢❛❝)♦*✐③❛)✐♦♥, ✇❤✐❝❤ ♣*✐♥❝✐♣❛❧ )❡*♠ ✐, )❤❡ ✐❞❡♥)✐)② )❤*♦✉❣❤

)❤❡ ✉,❡ ♦❢ )♦♦❧, *❡❧❛)✐♥❣ ♠❛✐♥❧② )♦ ❝♦♠❜✐♥❛)♦*✐❝, ♦♥ )❤❡ ✇♦*❞, ✭♦*❞❡*✐♥❣,✱ ❣*❛❞✐♥❣, ❡)❝✳✮✳

■♥ )❤❡ ❝❧❛,,✐❝❛❧ ❝❛,❡✱ ❧❡) F ❜❡ )❤❡ ❢*❡❡ ❛❧❣❡❜*❛✳ ❉✉❡ )♦ )❤❡ ❢❛❝) )❤❛) F ✐, ❛♥ ❡♥✈❡❧♦♣✐♥❣

❛❧❣❡❜*❛✱ ♦♥❡ ❤❛, ❛♥ ❡①❛❝) ❢❛❝)♦*✐③❛)✐♦♥ ♦❢ )❤❡ ✐❞❡♥)✐)② ♦❢

End♣F! ✏ F^✍❜ˆF

❛, ❛♥ ✐♥✜♥✐)❡ ♣*♦❞✉❝) ♦❢ ❡①♣♦♥❡♥)✐❛❧, ✭End♣F! ❜❡✐♥❣ ❡♥❞♦✇❡❞ ✇✐)❤ )❤❡ ,❤✉✤❡ ♣*♦❞✉❝)

♦♥ )❤❡ ❧❡❢) ❛♥❞ )❤❡ ❝♦♥❝❛)❡♥❛)✐♦♥ ♦♥ )❤❡ *✐❣❤)✱ ❛ ❢❛✐)❤❢✉❧ *❡♣*❡,❡♥)❛)✐♦♥ ♦❢ )❤❡ ❝♦♥✈♦❧✉)✐♦♥

♣*♦❞✉❝)✮ ❛, ❢♦❧❧♦✇, ✿ ✜*,) ♦♥❡ ❜❡❣✐♥, ✇✐)❤ ❛ :♦✐♥❝❛*J✲❇✐*❦❤♦✛✲❲✐)) ❜❛,✐,✱ ,❡❝♦♥❞ ♦♥❡ ❝♦♠✲

♣✉)❡, )❤❡ ❢❛♠✐❧② ♦❢ ❝♦♦*❞✐♥❛)❡ ❢♦*♠, ❛♥❞ )❤❡♥ ♥♦♥✲)*✐✈✐❛❧ ✭❝♦♠❜✐♥❛)♦*✐❛❧✮ ♣*♦♣❡*)✐❡, ♦❢

)❤❡,❡, ❢❛♠✐❧✐❡, ✐♥ ❞✉❛❧✐)② ❣✐✈❡, )❤❡ ❢❛❝)♦*✐③❛)✐♦♥✳ ❙)❛*)✐♥❣ ❢*♦♠ )❤❡ ♦)❤❡* ,✐❞❡ ❛♥❞ ✇*✐)✐♥❣

)❤❡ ,❛♠❡ ♣*♦❞✉❝) ❞♦❡, ❣✐✈❡ ❡①❛❝)❧② ✐❞❡♥)✐)② ♦♥❧② ✉♥❞❡* ✈❡*② *❡,)*✐❝)✐✈❡ ❝♦♥❞✐)✐♦♥, )❤❛) ✇❡

❝❧❛*✐❢② ❤❡*❡✳ ■♥ ♠❛♥② ♦)❤❡* ✭❞❡❢♦*♠❡❞✮ ❝❛,❡,✱ )❤❡ ❡①♣❧✐❝✐) ❝♦♥,)*✉❝)✐♦♥ ♦❢ ♣❛✐*, ♦❢ ❜❛,❡, ✐♥

❞✉❛❧✐)② *❡>✉✐*❡, ❝♦♠❜✐♥❛)♦*✐❛❧ ❛♥❞ ❛❧❣♦*✐)❤♠✐❝ ,)✉❞✐❡, )❤❛) ✇❡ ♣*♦✈✐❞❡ ✐♥ )❤✐, ♠❡♠♦✐*✳

❑❡②✇♦)❞( ✿ ❆❧❣❡❜*❛✐❝ ❝♦♠❜✐♥❛)♦*✐❝,✱ ❙❤✉✤❡ ♣*♦❞✉❝)✱ >✲❙❤✉✤❡ ♣*♦❞✉❝)✱ >✲❙)✉✤❡ ♣*♦✲

❞✉❝)✱ ▲✐❡ ❡❧❡♠❡♥),✱ ❋*❡❡ ▲✐❡ ❛❧❣❡❜*❛✱ :♦✐♥❝❛*J✲❇✐*❦❤♦✛✲❲✐)) ❜❛,✐,✱ ❚*❛♥,❝❡♥❞❡♥❝❡ ❜❛,✐,✱

▼✉❧)✐♣❧✐❝❛)✐✈❡ ❜❛,❡,✱ ❋❛❝)♦*✐③❛)✐♦♥, )❛♥❣❡♥) )♦ )❤❡ ✐❞❡♥)✐)②✳

❚❛❜❧❡ ❞❡& ♠❛(✐*+❡&

✶ ■♥#$♦❞✉❝#✐♦♥ ❡# ▼♦#✐✈❛#✐♦♥. ✶✶

✶✳✶ ■❧❧✉%&'❛&✐♦♥✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✹

✶✳✷ ❈♦♥&'✐❜✉&✐♦♥% ❡& ♣❧❛♥ ❞3&❛✐❧❧3 ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✻

■ ●"♥"$❛❧✐(") ✶✾

✷ ◆♦#✐♦♥. ❞❡ ❜❛.❡ ✷✶

✷✳✶ ❈♦♠❜✐♥❛&♦✐'❡ ❞❡% ♠♦&% ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✶

✷✳✶✳✶ ❉3✜♥✐&✐♦♥% ❞❡ ❜❛%❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✶

✷✳✶✳✷ ❋❛❝&❡✉'% ❡& ❝♦♥❥✉❣✉3% ❞✬✉♥ ♠♦& ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✷

✷✳✷ ▼♦&% ❞❡ ▲②♥❞♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✸

✷✳✸ ▲✐%&❡% %&❛♥❞❛'❞ ❡& &❤3♦'B♠❡ ❞❡ ▲②♥❞♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✹

✷✳✹ C♦❧②♥D♠❡% ❡& %3'✐❡% ❡♥ ✈❛'✐❛❜❧❡% ♥♦♥ ❝♦♠♠✉&❛&✐✈❡% ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✺

✷✳✺ ❆❧❣B❜'❡ ❞❡ ❍♦♣❢ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✻

✷✳✻ ❆❧❣B❜'❡ ❞❡% %3'✐❡% ❞❡ ▲✐❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✷✾

✷✳✼ ❙&'✉❝&✉'❡ ❞❡% ❛❧❣B❜'❡% ❞❡ ❍♦♣❢ ❝♦♠♠✉&❛&✐✈❡% ♦✉ ❝♦❝♦♠♠✉&❛&✐✈❡% ✳ ✳ ✳ ✳ ✳ ✸✵

✷✳✼✳✶ ❈❛% ❞❡ ❧✬❛❧❣B❜'❡ ❞❡ %❤✉✤❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✷

✷✳✼✳✷ ❈❛% ❞❡ ❧✬❛❧❣B❜'❡ ❞❡ %&✉✤❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✸

✸ 3♦✐♥❝❛$4✲❇✐$❦❤♦✛✲❲✐##✱ ❉✉❛❧✐#4✱ ❋❛❝#♦$✐.❛#✐♦♥ ❞❡ ❙❝❤@#③❡♥❜❡$❣❡$ ✸✼

✸✳✶ ■♥&'♦❞✉❝&✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✼

✸✳✷ ❘3%✉❧&❛&% ❝♦♥♥✉% ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✽

✸✳✷✳✶ ◆♦&❛&✐♦♥% ✲ ❉3✜♥✐&✐♦♥% ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✽

✸✳✷✳✷ ❚❤3♦'B♠❡ ❞❡ ❢❛❝&♦'✐%❛&✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✸✾

✸✳✸ ❘❡♠❛'T✉❡% %✉' ❧❛ ❞✉❛❧✐%❛&✐♦♥✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✹✷

✸✳✸✳✶ ❊①❡♠♣❧❡ ✿ ❝❛% ❞❡ ❧✬❛❧❣B❜'❡ ❧✐❜'❡ ❡& ❞❡ ❧✬❛❧❣B❜'❡ ❞❡ %❤✉✤❡ ✳ ✳ ✳ ✳ ✳ ✳ ✹✻

✸✳✸✳✷ ❊①❡♠♣❧❡ ✿ ❝❛% ❞❡ ❧✬❛❧❣B❜'❡ ❧✐❜'❡ ❡& ❞❡ ❧✬❛❧❣B❜'❡ ❞❡ %&✉✤❡ ✳ ✳ ✳ ✳ ✳ ✳ ✺✵

✸✳✸✳✸ ❊①❡♠♣❧❡ ✿ ❝❛% ❞❡ ❧✬❛❧❣B❜'❡ ❧✐❜'❡ ❡& ❞❡ ❧✬❛❧❣B❜'❡ ❞❡ q✁%&✉✤❡ ✳ ✳ ✳ ✳ ✳ ✺✹

✲ ✽✲

■■ ■♥"❡$♣♦❧❛"✐♦♥ ❡♥"$❡ ❧❛ ❝♦♥❝❛"+♥❛"✐♦♥ ❡" ❧❡ ,❤✉✤❡ ✿ q ✁,❤✉✤❡ ✺✾

✹ q✁!❤✉✤❡ ❡& ❣(♦✉♣❡ !②♠-&(✐/✉❡ ✻✶

✹✳✶ ❈♦♥()*✉❝)✐♦♥ ❞❡( 0❧0♠❡♥)( ❞❡ ♣S_n"m ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✶

✹✳✶✳✶ ❉0✜♥✐)✐♦♥( ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✷

✹✳✶✳✷ ▲❡ ❣*♦✉♣❡ (②♠0)*✐;✉❡✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✷

✹✳✷ ▲❡ ♣*♦❞✉✐) ❞❡ q✁(❤✉✤❡✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✺

✹✳✷✳✶ ❉0✜♥✐)✐♦♥ ❡) ♣*♦♣*✐0)0( ❞✉ ♣*♦❞✉✐) ❞❡ q✁(❤✉✤❡ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✺

✹✳✷✳✷ ❉0✜♥✐)✐♦♥ ❡) ♣*♦♣*✐0)0( ❞✉ ❝♦♣*♦❞✉✐) ❞❡ ✁q ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✻✽

✹✳✷✳✸ ❘❡❧❛)✐♦♥ ❡♥)*❡ ✁ ❡) ✁q ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✹

✹✳✸ ❈♦♥()*✉❝)✐♦♥ *0❝✉*(✐✈❡ ❞❡( Sw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✼✽

✹✳✸✳✶ ❚*✐❛♥❣✉❧❛*✐(❛)✐♦♥ ❞❡( 0❧0♠❡♥)( ℓ^✁qk ✭ ℓ# Lyn♣X" ❡) k# N_➙1✮ ✳ ✳ ✳ ✳ ✼✽

✹✳✸✳✷ ❈♦♥()*✉❝)✐♦♥ *0❝✉*(✐✈❡ ❞❡( Sw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✵

✹✳✸✳✸ ❚*✐❛♥❣✉❧❛*✐)0 ❞❡( 0❧0♠❡♥)( Sw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✸

✹✳✹ ❈♦♥()*✉❝)✐♦♥ *0❝✉*(✐✈❡ ❞❡( Pw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✺

✹✳✹✳✶ ❈♦♥()*✉❝)✐♦♥ ❞❡( 0❧0♠❡♥)( Pw^♣q!✱w# X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✺

✹✳✹✳✷ ❈❛*❛❝)0*✐(❛)✐♦♥ ❞❡( 0❧0♠❡♥)( Pw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✽✼

✹✳✹✳✸ ◆♦✉✈❡❛✉ )❤0♦*J♠❡ q✁❛♥❛❧♦❣✉❡ ❞❡ ❘❛❞❢♦*❞ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✵

✺ ➱&✉❞❡ ❞❡ ❧❛ ♠✉❧&✐♣❧✐❝❛&✐✈✐&- ❞❡! Pw^♣q!✱ w#X^✝ ✾✸

✺✳✶ ■♥)*♦❞✉❝)✐♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✸

✺✳✷ ❊①❡♠♣❧❡ 1 ✿ q✁(❤✉✤❡ ❞0❝*♦✐((❛♥)( ❞❡ ♠♦)( ❞❡ ▲②♥❞♦♥ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✽

✺✳✷✳✶ ❖❜❥❡❝)✐❢ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✽

✺✳✷✳✷ ▼✉❧)✐♣❧✐❝❛)✐✈✐)0 ❞❡( R^♣w^q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✾✽

✺✳✸ ❊①❡♠♣❧❡ 2 ✿ ▲❛ ❢❛♠✐❧❧❡ ♣Sw^♣q!"w$X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✶

✺✳✸✳✶ ❖❜❥❡❝)✐❢ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✶

✺✳✸✳✷ ▼✉❧)✐♣❧✐❝❛)✐✈✐)0 ❞❡( Pw^♣q!✱ w#X^✝ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✷

✻ ❋❛❝&♦(✐!❛&✐♦♥! ❛!!♦❝✐-❡! ✶✵✸

✻✳✶ ❋❛❝)♦*✐(❛)✐♦♥ ❞❡ ❧❛ (0*✐❡ ❞✐❛❣♦♥❛❧❡ ✿ D_X ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✸

✻✳✶✳✶ ❖❜❥❡❝)✐❢ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✸

✻✳✶✳✷ ➱❝*✐)✉*❡ ❞❡ D_X ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✹

✻✳✷ ❋❛❝)♦*✐(❛)✐♦♥( )❛♥❣❡♥)❡( W ❧✬✐❞❡♥)✐)0 ✿ D_X^♣q! ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✼

✻✳✷✳✶ ❖❜❥❡❝)✐❢ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✼

✻✳✷✳✷ ➱❝*✐)✉*❡ ❞❡ D_X^♣q! ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✵✼

■■■ ❈♦♥❝❧✉,✐♦♥,✱ 5❡$,♣❡❝"✐✈❡, ✶✵✾

✼ ❈♦♥❝❧✉!✐♦♥!✱ A❡(!♣❡❝&✐✈❡! ✶✶✶

✼✳✶ ❈♦♥❝❧✉(✐♦♥( ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶✶

❚❆❇▲❊ ❉❊❙ ▼❆❚■➮❘❊❙ ✲ ✾✲

✼✳✷ 0❡23♣❡❝6✐✈❡3 ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✳ ✶✶✷

■❱ ❆♥♥❡①❡ ✿ ❋❡✉✐❧❧❡+ ❞❡ ❝❛❧❝✉❧+ ▼❛♣❧❡ ✶✶✸

✲ ✶✵✲

✳

❈❤❛♣✐%&❡ ✶

■♥%&♦❞✉❝%✐♦♥ ❡% ▼♦%✐✈❛%✐♦♥1

✧▲❡# ❣❡♥# &✉✐ ❢♦♥+ ❞❡ ❧❛ ❝♦♠❜✐♥❛+♦✐2❡ ❡+ ❛❧❣♦2✐+❤♠✐&✉❡ 2❡##❡♥+❡♥+ ✉♥❡ ❥♦✐❡ ❞♦✉❜❧❡✳

■❧# ❡①♣92✐♠❡♥+❡♥+ ❞✬❛❜♦2❞ ❧❛ ❜❡❛✉+9 ❞✬9❧9❣❛♥+❡# #+2✉❝+✉2❡# ♠❛+❤9♠❛+✐&✉❡# &✉✐ ❡♥+♦✉2❡♥+

❞✬9❧9❣❛♥+❡# ♣2♦❝9❞✉2❡# ✐♥❢♦2♠❛+✐&✉❡#✳ ;✉✐# ✐❧# 2❡<♦✐✈❡♥+ ✉♥❡ 29❝♦♠♣❡♥#❡ ❡♥ 2❡+♦✉2 ❧♦2#&✉❡

❧❡✉2# +❤9♦2✐❡# 2❡♥❞❡♥+ ♣♦##✐❜❧❡# ❞❡ 29#♦✉❞2❡ ❞✬❛✉+2❡# ♣2♦❜❧>♠❡# ♣❧✉# 2❛♣✐❞❡♠❡♥+ ❡+ ♣❧✉#

9❝♦♥♦♠✐&✉❡♠❡♥+✧✳

❈❡++❡ +❤>#❡ ❡#+ ❝♦♥#❛❝29❡ @ ❧✬9+✉❞❡ ❞❡ ❝❡2+❛✐♥❡# ❞9❢♦2♠❛+✐♦♥# ❞❡ ❧❛ ❢❛❝+♦2✐#❛+✐♦♥ ❞❡ ❙❝❤B+✲

③❡♥❜❡2❣❡2 &✉✐ #✬♦❜+✐❡♥♥❡♥+ ❡♥ ❞9❢♦2♠❛♥+ ❧❡ ♣2♦❞✉✐+ ❞❡ #❤✉✤❡ ❞❡ ❞✐✈❡2#❡# ♠❛♥✐>2❡#✳ ❉❛♥#

✉♥ ❝❛# ✭q✁#❤✉✤❡✱ ✉♥❡ ❞9❢♦2♠❛+✐♦♥ ❞❡ ❧❛ ❝♦♥❝❛+9♥❛+✐♦♥✮ ❧❡ 29#✉❧+❛+ ✭❧❛ ❢❛❝+♦2✐#❛+✐♦♥✮ ❡#+

#✐♠♣❧❡♠❡♥+ +❛♥❣❡♥+ @ ❧✬✐❞❡♥+✐+9✳ ❉❛♥# ❧✬❛✉+2❡ ✭q✁#+✉✤❡✮ ❧❡ 29#✉❧+❛+ ✭❧❛ ❢❛❝+♦2✐#❛+✐♦♥✮ ❡#+

❡①❛❝+ ♠❛✐# ❛✉ ♣2✐① ❞✬✉♥❡ 2❡❞9✜♥✐+✐♦♥ ❞❡# ♣♦❧②♥L♠❡# ❞❡ ▲✐❡✳ ❊①♣❧✐&✉♦♥# ❡♥ &✉❡❧&✉❡# ♠♦+#

❧❡ ❝♦♥+❡①+❡ ❞❛♥# ❧❡&✉❡❧ ❧❡ ♣2♦❞✉✐+ ❞❡ q✁#❤✉✤❡ ❛ 9+9 ✐♥+2♦❞✉✐+✳ ❚②♣✐&✉❡♠❡♥+✱ ❧❡# ❞9❢♦2✲

♠❛+✐♦♥# &✉✐ ♥♦✉# ✐♥+92❡##❡♥+ ❞9♣❡♥❞❡♥+ ❞✬✉♥ ♦✉ ♣❧✉#✐❡✉2# ♣❛2❛♠>+2❡# ❡+ #♦♥+ +2✐✈✐❛❧❡#

❞❛♥# ❧❡ #❡♥# ❞❡ ❧❛ +❤9♦2✐❡ ❞❡ ❧❛ ❞9❢♦2♠❛+✐♦♥ ❞❡# ❛❧❣>❜2❡#✳ ❆✉+2❡♠❡♥+ ❞✐+✱ ♣♦✉2 ❞❡# ✈❛❧❡✉2#

❣9♥92✐&✉❡# ❞❡ ❝❡# ♣❛2❛♠>+2❡#✱ ✐❧ ❡①✐#+❡ ✉♥ ✐#♦♠♦2♣❤✐#♠❡ ❞❡ ❝♦♥❥✉❣❛✐#♦♥^✶ u✁qv ✏f f^✁1♣u#f^✁1♣v#✟

✭✶✳✶✮

❡♥+2❡ ❧❡ ♣2♦❞✉✐+ ❞9❢♦2♠9 ✁q ❡+ ❧✬♦2✐❣✐♥❛❧ ✳ ❈❡♣❡♥❞❛♥+✱ ♣♦✉2 ❞❡# ✈❛❧❡✉2# #♣9❝✐✜&✉❡# ❞❡#

♣❛2❛♠>+2❡#✱ ❧❡ ♣2♦❞✉✐+ ❞9❢♦2♠9 ❞9❣9♥>2❡ ❞❡ ❢❛<♦♥ ♥♦♥ ♥9❣❧✐❣❡❛❜❧❡✱ ✉♥❡ #✐+✉❛+✐♦♥ &✉✐ ♣❡2♠❡+

❧❛ 2❡♣29#❡♥+❛+✐♦♥ ❞❡# ❛❧❣>❜2❡# ❝♦♠♣❧❡①❡# ❝♦♠♠❡ ❡♥ ❧✐♠✐+❛♥+ ❛✉① ❝❛# ❞❡ ❝❡❧❧❡# ❞❡# ♣❧✉#

❝♦♥♥✉❡#✳

▲❛ ♠♦+✐✈❛+✐♦♥ ❞❡ ❝❡++❡ 9+✉❞❡ ❞✉ ♣2♦❞✉✐+ ❞❡ q✁#❤✉✤❡ ❛ 9+9 ❢♦✉2♥✐❡ ♣❛2 ❞❡# ❡①❡♠♣❧❡# ❞❡

✶✳ f ❡#$ ✉♥ ✐#♦♠♦*♣❤✐#♠❡ ❡♥$*❡ ❧✬❛❧❣1❜*❡ ❞❡ ❝♦♥❝❛$5♥❛$✐♦♥ ♣Z♣q!①X②, .! ❡$ ❧✬❛❧❣1❜*❡ ❞❡ q✁#❤✉✤❡

♣Z♣q!①X②,✁q! ✿ f♣f^✁1♣u!f^✁1♣v!! ✏ f♣f^✁1♣u!! ✁q f♣f^✁1♣v!! ✏ u✁q v ✭✈♦✐* ❛✉##✐ ❬❉❦$✾✼❪ u✁q v ✏ U♣q!♣U♣q!^✁1♣u!.U♣q!^✁1♣v!! ✏U♣q!♣U♣q!^✁1♣u!! ✁qU♣q!♣U♣q!^✁1♣v!!✮

✲ ✶✷✲

❞$❝♦♠♣♦)✐+✐♦♥ ❡♥ )♦♠♠❡ ❞✐.❡❝+❡ ❞❡ ❧✬❛❧❣3❜.❡ ❧✐❜.❡ ✉♥✐✈❡.)❡❧❧❡ K①X②✱ ❝♦♥)✐❞$.$❡ ❝♦♠♠❡

❧✬❛❧❣3❜.❡ ❡♥✈❡❧♦♣♣❛♥+❡ ❞❡ ❧✬❛❧❣3❜.❡ ❞❡ ▲✐❡ ❧✐❜.❡ L①X② K①X② ✏

λ

Uλ ✭✶✳✷✮

❛♥❛❧♦❣✉❡ < ❧❛ ❞$❝♦♠♣♦)✐+✐♦♥ ❞❡ =♦✐♥❝❛.$✲❇✐.❦❤♦✛✲❲✐++✱ ❝✬❡)+✲<✲❞✐.❡ λ♣❛.❝♦✉.+ ❧✬❡♥)❡♠❜❧❡

❞❡ +♦✉+❡) ❧❡) ♣❛.+✐+✐♦♥)✱ U0 ✏K ❡+U1 ✏L①X②✳

❉❛♥) ❝❡) ❡①❡♠♣❧❡)✱ ❝❤❛E✉❡ ♠♦❞✉❧❡ Uλ ❡)+ ❧✬✐♠❛❣❡ ❞❡ ❧❛ ❝♦♠♣♦)❛♥+❡ ❤♦♠♦❣3♥❡ K①X②n ❞❡

❞❡❣.$ n ❞❡ K①X② ♣❛. ❝❡.+❛✐♥) ✐❞❡♠♣♦+❡♥+) eλ ❞❡ ❧✬❛❧❣3❜.❡ ❞✉ ❣.♦✉♣❡ )②♠$+.✐E✉❡ K#S_n$ ✱

❛❣✐))❛♥+ < ❞.♦✐+❡ ♣❛. ♣a1a2☎ ☎ ☎an'σ✏aσ♣1!aσ♣2!☎ ☎ ☎aσ♣n! ✭♦G ai (X✮✳

❉❛♥) ❧❡ ❝❛) ❞❡ ❧❛ ❞$❝♦♠♣♦)✐+✐♦♥ ❞❡ =♦✐♥❝❛.$✲❇✐.❦❤♦✛✲❲✐++✱ ✈❡♥❛♥+ ❞❡ ❧✬✐❞❡♥+✐✜❝❛+✐♦♥ ❞❡

K①X② ❛✈❡❝ ❧✬❛❧❣3❜.❡ )②♠$+.✐E✉❡ S♣L①X②'✱Uλ ❡)+ ❧❡ )♦✉)✲❡)♣❛❝❡ ❡♥❣❡♥❞.$ ♣❛. ❧❡) ♣.♦❞✉✐+)

❞❡ ♣♦❧②♥I♠❡) ❞❡ ▲✐❡ )②♠$+.✐)$)

♣P1, P2,☎ ☎ ☎ , Pr' ✏ 1 r!

➳

σ"S_r

Pσ♣1!Pσ♣2!☎ ☎ ☎Pσ♣r!, ✭✶✳✸✮

❞❡ )♦.+❡ E✉❡ ❝❤❛E✉❡ Pi ❡)+ ❤♦♠♦❣3♥❡ ❞❡ ❞❡❣.$ λi✳ ▲❡) ✐❞❡♠♣♦+❡♥+) ❝♦..❡)♣♦♥❞❛♥+)✱ ✐♥+.♦✲

❞✉✐+) ♣❛. ●❛.)✐❛ ❡+ ❘❡✉+❡♥❛✉❡. #●.❡✽✾$✱ )♦♥+ ❞❡) .❛✣♥❡♠❡♥+) ❞✬✐❞❡♠♣♦+❡♥+) ❞✐+) ❞✬❊✉❧❡.

#❘❡✉✾✸$✱ E✉✐ )❡ ♣♦)❡♥+ ♣❛. ❡①❡♠♣❧❡ ❞❛♥) ❧❡ ❝❛❧❝✉❧ ❞❡ ❧❛ )$.✐❡ )$♣❛.$❡ #▼♣❧✼✵$✱ ♦✉ ❞❛♥)

❧✬$+✉❞❡ ❞❡ ❧❛ ❝♦❤♦♠♦❧♦❣✐❡ ❞❡ ❍♦❝❤)❝❤✐❧❞ ❞✬❛❧❣3❜.❡) ❝♦♠♠✉+❛+✐✈❡) #●)❝✽✼, ▲♦❞✽✾$✳

▲❛ ❢♦.♠❡ ❞❡) ✐❞❡♠♣♦+❡♥+) eλ ❞❡ ●❛.)✐❛✲❘❡✉+❡♥❛✉❡.✱ ❡♥ ♣.❡♥❛♥+ +♦✉+❡) ❧❡) ♣❛.+✐+✐♦♥) ❞✬✉♥

n ❞♦♥♥$✱ ✉♥ ❡♥)❡♠❜❧❡ ❝♦♠♣❧❡+ ❞✬✐❞❡♠♣♦+❡♥+) ♦.+❤♦❣♦♥❛✉① ❞✬✉♥❡ )♦✉)✲❛❧❣3❜.❡ Σ_n .❡♠❛.✲

E✉❛❜❧❡ ❞❡ K#S_n$✱ ❞$❝♦✉✈❡.+ ♣❛. ▲✳ ❙♦❧♦♠♦♥ #❙♦❧✼✻$ ❡)+ ❛♣♣❡❧$ ❛❧❣3❜.❡ ❞❡) ❞❡)❝❡♥+❡)✳ ■❧ ❛

$+$ ♠♦♥+.$ ❞❛♥) #❉❦+✾✼$ E✉❡ ❝❡) ❡♥)❡♠❜❧❡) ❝♦♠♣❧❡+) ♣❡✉✈❡♥+ Y+.❡ ❝♦♥)+.✉✐+) ♣♦✉. +♦✉+❡)

❧❡) ❛❧❣3❜.❡) ❞❡ ❞❡)❝❡♥+❡ ❞❡ +♦✉+❡ )$E✉❡♥❝❡ e_♣n! ❞❡) ✐❞❡♠♣♦+❡♥+) ❞❡ ▲✐❡ ❞❡ Σ_n✱ ❝✬❡)+✲<✲❞✐.❡

✐❞❡♠♣♦+❡♥+) ♣.♦❥❡+❛♥+ K①X②n )✉. L_n①X②✳ ❊♥ ♣❛.+✐❝✉❧✐❡.✱ ❡♥ ✉+✐❧✐)❛♥+ ❧❛ +❤$♦.✐❡ ❞❡ ❧❛ ❞$✲

❢♦.♠❛+✐♦♥ ❞❡) ❢♦♥❝+✐♦♥) )②♠$+.✐E✉❡) ♥♦♥ ❝♦♠♠✉+❛+✐✈❡)✱ ♦♥ ♣❡✉+ ♦❜+❡♥✐. ❞❡) )$E✉❡♥❝❡)

✐♥+$.❡))❛♥+❡) ❞✬✐❞❡♠♣♦+❡♥+) ❞❡ ▲✐❡✱ )❡❧♦♥ ✉♥ ♦✉ ♣❧✉)✐❡✉.) ♣❛.❛♠3+.❡)✱ ❡+ ❞✬✐♥+❡.♣♦❧❛+✐♦♥

❞✬✉♥❡ ♠❛♥✐3.❡ ♥❛+✉.❡❧❧❡ ❡♥+.❡ +♦✉) ❧❡) ❡①❡♠♣❧❡) ❝♦♥♥✉) #❉❦+✾✼$✳ ❈❡❧❛ ❝♦♥❞✉✐+ < ❞✐✛$.❡♥+❡)

❞$❢♦.♠❛+✐♦♥) ❞❡) ✐❞❡♠♣♦+❡♥+) ❞❡ ●❛.)✐❛✲❘❡✉+❡♥❛✉❡. ❡+ ❞❡) ✐❞❡♠♣♦+❡♥+) ❡✉❧$.✐❡♥)✱ ❡+ ❧❛

♣.❡♠✐3.❡ E✉❡)+✐♦♥ ❡)+ ❝❡.+❛✐♥❡♠❡♥+ ❞✬❡①♣❧✐❝✐+❡. ❧❡) ♠♦❞✉❧❡) Uλ )✉. ❧❡E✉❡❧ ✐❧) ♣.♦❥❡++❡♥+✳

■❧ ❡①✐)+❡ ♣♦✉. ❝❤❛E✉❡ n✱ ✉♥ ✈❡❝+❡✉. p ✏ ♣pI' ❞♦♥+ ❧❡) ❝♦♠♣♦)❛♥+❡) )♦♥+ ✐♥❞❡①$❡) ♣❛.

❧❡) ❝♦♠♣♦)✐+✐♦♥) ❞❡ n✱ )❛+✐)❢❛✐)❛♥+ ➦

Ip_I ✏ 1 ✱ +❡❧ E✉❡ U_λ ❡)+ ❡♥❣❡♥❞.$ ♣❛. ❧❡) ♣.♦❞✉✐+) )②♠$+.✐)$) ♣♦♥❞$.$)

♣P1, P2,☎ ☎ ☎, Pr'p ✏ ➳

σ"S_r

pλ.σP_σ♣1!P_σ♣2!☎ ☎ ☎P_σ♣r!, ✭✶✳✹✮

♦G λ✏ ♣λ1, λ2,☎ ☎ ☎ , λr' ❡+ Pi ( L_λi①X②✳

▲❡) ♣♦✐❞) ❞❡) pI )♦♥+ ❡①♣❧✐❝✐+$) ❞❛♥) ♣❧✉)✐❡✉.) ❡①❡♠♣❧❡) ✐♥+$.❡))❛♥+)✳

✲ ✶✸✲

▲❡ %❡✉❧ ❡①❡♠♣❧❡ ❞❡ ❞,❝♦♠♣♦%✐0✐♦♥ ✭✶✳✷✮ ♣❛❣❡ ✶✷ ❝♦♥♥✉ 8✉✐ ♥❡ ♣9♦✈✐❡♥0 ♣❛% ❞✬✉♥❡ %,✲

8✉❡♥❝❡ ❞✬✐❞❡♠♣♦0❡♥0% ❞❡ ▲✐❡ ❡♥ ❛❧❣<❜9❡% ❞❡ ❞❡%❝❡♥0❡ ❡%0 ❧❛ ❞,❝♦♠♣♦%✐0✐♦♥ ❞✐0❡ ♦90❤♦❣♦♥❛❧❡

❉❦0✾✼!✳ ■❧ ❛ ,0, ♠♦♥09, ♣❛9 ❘❡❡ ❘❡❡✺✽! 8✉❡ %✐ ❧✬♦♥ ♠✉♥✐0 K①X② ❛✈❡❝ ❧❡ ♣9♦❞✉✐0 %❝❛❧❛✐9❡

♣♦✉9 ❧❡8✉❡❧ ❧❡% ♠♦0% ❢♦9♠❡♥0 ✉♥❡ ❜❛%❡ ♦90❤♦♥♦9♠,❡✱ ❧❡ ❝♦♠♣❧,♠❡♥0 ♦90❤♦❣♦♥❛❧ ❞❡ L_n①X②

❡%0 ❧✬❡%♣❛❝❡ ❡♥❣❡♥❞9, ♣❛9 ❧❡% %❤✉✤❡% ♣9♦♣9❡% u✁v✱u, v $X ✳ ▲✬✐❞❡♠♣♦0❡♥0 ♦90❤♦❣♦♥❛❧ ❞❡

▲✐❡πn ❡%0 ❧❡ ♣9♦❥❡❝0❡✉9 ♦90❤♦❣♦♥❛❧ ❞❡ K①X②n %✉9 L_n①X②✳ ❈❡0 ✐❞❡♠♣♦0❡♥0 ♥✬❡%0 ♣❛% ❞❛♥%

❧✬❛❧❣<❜9❡ ❞❡ ❞❡%❝❡♥0❡✱ ❡0 ✐❧ %❡9❛✐0 ✐♥0,9❡%%❛♥0 ❞❡ ❝♦♠♣9❡♥❞9❡ %❛ %09✉❝0✉9❡✳ ▲❛ ❞,❝♦♠♣♦%✐0✐♦♥

♦90❤♦❣♦♥❛❧❡ ❞❡ K①X② ♣❡✉0 L09❡ ❛✣♥,❡ ❡♥ ✉♥❡ ❞,❝♦♠♣♦%✐0✐♦♥ ❞❡ 0②♣❡ ✭✶✳✷✮ ♣❛❣❡ ✶✷ ✱ ♦O Uλ ❡%0 ♠❛✐♥0❡♥❛♥0 ❡♥❣❡♥❞9, ♣❛9 ❧❡% %❤✉✤❡% ❞❡% ,❧,♠❡♥0% ❞❡ ▲✐❡ ❤♦♠♦❣<♥❡%

P1✁P2✁ ☎ ☎ ☎ ✁Pr, ✭✶✳✺✮

♦O ❝❤❛8✉❡ P_i ❡%0 ❞❡ ❞❡❣9, λ_i✳ ▲❛ 9❡❧❛0✐♦♥ ❡♥09❡ ❧❛ ♣9♦❥❡❝0✐♦♥ π_n ✏e_♣n" ❞❡ ❝❡00❡ ❞,❝♦♠♣♦✲

%✐0✐♦♥ ❡0 ❧❡% ❛✉09❡% ♣9♦❥❡❝0❡✉9% eλ ❡%0 ✉♥ ♣❡✉ ❛♥❛❧♦❣✉❡ P ❝❡❧❧❡ 9❡♥❝♦♥09,❡ ❞❛♥% ❧❡ ❝❛% ❞❡

❧✬❛❧❣<❜9❡ ❞❡ ❞❡%❝❡♥0❡✱ ♠❛✐% ❜❡❛✉❝♦✉♣ ♣❧✉% ❝♦♠♣❧❡①❡✳

Q♦✉9 ❝♦♠♣9❡♥❞9❡ ❝❡00❡ ❛♥❛❧♦❣✐❡✱ ✐❧% ❉❦0✾✼, ❩❛❣✾✷! ♦♥0 ,0, ❛♠❡♥,% P ✐♥09♦❞✉✐9❡ ✉♥q✁❛♥❛❧♦❣✉❡

❞✉ ♣9♦❞✉✐0 ❞❡ %❤✉✤❡✱ 8✉✐✱ P ♣9♦♣9❡♠❡♥0 ♣❛9❧❡9✱ ❡%0 ✉♥❡ ❞,❢♦9♠❛0✐♦♥ ❞✉ ♣9♦❞✉✐0 ❞❡ ❝♦♥❝❛✲

0,♥❛0✐♦♥ ♣♦✉9 q✏0✱ ❞,✜♥✐❡ ♣❛9 ✿

u✁q1_X✝ ✏1_X✝ ✁qu✏u et au✁qbv✏a♣u✁qbv) *q^⑤au⑤b♣au✁qv) ✭✶✳✻✮

♦O a, b $ X ❡0 u, v $ X^✝✳ ❈❡ ♣9♦❞✉✐0 ❞,❣,♥<9❡ ❛✉① 9❛❝✐♥❡% ❞❡ ❧✬✉♥✐0,✱ ❡0 ❡♥ ♣❛90✐❝✉❧✐❡9

❞♦♥♥❡ ❧❡ ♣9♦❞✉✐0 ❞❡ %❤✉✤❡ ✭♦✉ ♣9♦❞✉✐0 ❞❡ ♠,❧❛♥❣❡✮ ❝♦♠♠✉0❛0✐❢ ♣♦✉9 q ✏1 ❛✐♥%✐ 8✉❡ ❧❡

♣9♦❞✉✐0 ❞❡ ❝♦♥❝❛0,♥❛0✐♦♥ ♣♦✉9 q✏0✳

❯♥ ♣9♦❜❧<♠❡ ❞✐✣❝✐❧❡ ❡%0 ❞❡ 09♦✉✈❡9 ✉♥❡ ❜♦♥♥❡ ❞,❢♦9♠❛0✐♦♥ ❞✉ ♣9♦❞✉✐0 ❞❡ %❤✉✤❡ 9❡❞♦♥✲

♥❛♥0 ❧✬❛❧❣<❜9❡ ❞❡ ❝♦♥✈♦❧✉0✐♦♥ ♣❡90✐♥❡♥0 ❛✉ ♣9♦❜❧<♠❡ ❞❡% ✐❞❡♠♣♦0❡♥0% ♦90❤♦❣♦♥❛✉① ❝♦♠♠❡

✉♥ ❝❛% ❞,❣,♥,9,✳

■❧ %✬❛✈<9❡ 8✉❡ ❧❡ ♣9♦❞✉✐0 ❞❡ q✁%❤✉✤❡✱ ❛✐♥%✐ 8✉❡ ❧❡% ,❧,♠❡♥0% Un♣q) ✏ ➳

σ%S_n

q^Inv♣σ"σ✱8✉✐❧✉✐

%♦♥0♥❛0✉9❡❧❧❡♠ ❡♥0❛%%♦❝✐,✱%♦♥0❞,❥P ❝♦♥♥✉%❞❛♥%❧❛ ❧✐00,9❛0✉9❡✱❞❛♥%♣❧✉%✐❡✉9%❝♦♥0❡①0❡%

❛♣♣❛9❡♠♠❡♥0♥♦♥ ❛♣♣❛9❡♥0,%✳

❚♦✉0 ❞✬❛❜♦9❞✱ ❧✬❛❧❣<❜9❡ ❞❡ q✁%❤✉✤ ❡ ❡%0 ❧❡ ❝❛% ❧❡ ♣❧✉% %✐♠ ♣❧❡ ❞✬✉♥❡ ❝♦♥%09✉❝0✐♦♥ 09<%

❣,♥,9❛❧❡❞❡▼ ✳❘♦%%♦ ❉❦0✾✼!✱♦❜0❡♥✉❡❞❛♥%❧❡❝❛❞9❡❞❡❧❛ 0❤,♦9✐❡❞❡%❣9♦✉♣❡%8✉❛♥0✐8✉❡%✳

❊♥ ♦✉09❡✱❧✬❛❧❣<❜9❡ ❞❡q✁%❤✉✤ ❡ ❡%0✐%♦♠ ♦9♣❤❡ P ❧✬❛❧❣<❜9❡ ❛%%♦❝✐❛0✐✈❡ ❧✐❜9❡ %✐❡0%❡✉❧❡♠ ❡♥0

%✐Un♣q)❡%0✐♥✈❡9%✐❜❧❡ ♣♦✉90♦✉0n✳▲❡ ❝❛❧❝✉❧❞❡ %♦♥ ❞,0❡9♠ ✐♥❛♥0✭❝♦♠ ♠ ❡ ✉♥ ♦♣,9❛0❡✉9❞❡

❧❛ 9❡♣9,%❡♥0❛0✐♦♥ 9,❣✉❧✐<9❡❞❡S_n✮❞,❥P ❡✉ ❧✐❡✉ ❞❛♥%✉♥ ♣9♦❜❧<♠ ❡❞❡♣❤②%✐8✉❡ ❩❛❣✾✷!✱❡0❛

,0,9,%♦❧✉♣❛9❉✳❩❛❣✐❡9 ❩❛❣✾✷!8✉✐❛ ,❣❛❧❡♠ ❡♥0❝❛❧❝✉❧,Un♣q)^✁1 ❛✉ ♠ ♦②❡♥ ❞❡❝❡90❛✐♥❡%❢♦9✲

♠ ✉❧❡%❞❡❢❛❝0♦9✐%❛0✐♦♥✳❈✉9✐❡✉%❡♠ ❡♥0✱❧❛ ❢♦9♠ ✉❧❡❞❡❩❛❣✐❡9♣♦✉9det♣Un♣q))%✬❛✈<9❡L09❡✉♥

❝❛%♣❛90✐❝✉❧✐❡9❞✬✉♥❡❢♦9♠ ✉❧❡9,❝❡♥0❡❞❡❱❛9❝❤❡♥❦♦ ❱❛9✾✸!✱8✉✐❞♦♥♥❡❧❡❞,0❡9♠ ✐♥❛♥0❞❡❝❡

✲ ✶✹✲

#✉✬✐❧ ❛♣♣❡❧❧❡ ❧❛ ❢♦-♠❡ ❜✐❧✐♥1❛✐-❡ #✉❛♥2✐#✉❡ ❞✬✉♥ ❛--❛♥❣❡♠❡♥2 ❞✬❤②♣❡-♣❧❛♥7✳ 9♦✉- ❝♦♠♣❧12❡-

❧❡ 2❛❜❧❡❛✉✱ ✐❧7 ❉❦2✾✼, ❩❛❣✾✷! ♠❡♥2✐♦♥♥❡♥2 #✉❡ ❧❡ ♣-♦❞✉✐2 ❞❡ q✁7❤✉✤❡ ❞✐7♣♦7❡ 1❣❛❧❡♠❡♥2

❞✬✉♥❡ ✐♥2❡-♣-12❛2✐♦♥ ♥❛2✉-❡❧❧❡ ❞❛♥7 ❧❛ 2❤1♦-✐❡ ❞❡ ❧❛ -❡♣-17❡♥2❛2✐♦♥ ❞❡7 ❛❧❣C❜-❡7 0✁❍❡❝❦❡

❞❡ 2②♣❡ A ❉❦2✾✼!✳ ❈❡7 ❛7♣❡❝27 ❞✉ ♣-♦❞✉✐2 ❞❡ q✁7❤✉✤❡ 7♦♥2 ❡①❛♠✐♥17✱ ❡2 ❧❡7 ❞✐✛1-❡♥2❡7

❧✐❛✐7♦♥7 7♦♥2 ❡①♣❧♦✐21❡7 ❛✜♥ ❞❡ ❞♦♥♥❡- ❞❡7 ❣1♥1-❛❧✐7❛2✐♦♥7 ♦✉ ❞❡7 7✐♠♣❧✐✜❝❛2✐♦♥7 ❞❡ -17✉❧✲

2❛27 ❝♦♥♥✉7 ❧♦-7#✉❡ ❝❡❧❛ ❡72 ♣♦77✐❜❧❡✳ 9❛- ❡①❡♠♣❧❡✱ ♦♥ ♣❡✉2 ✈♦✐- #✉❡ ❧✬♦♥ ♣❡✉2 ❝♦♥72-✉✐-❡

✉♥ 7❤✉✤❡ #✉❛♥2✐#✉❡ ❞❡ 2♦✉2❡ 7♦❧✉2✐♦♥ ❞❡ ❧✬1#✉❛2✐♦♥ ❞❡ ❨❛♥❣✲❇❛①2❡- ✭7❛♥7 ♣❛-❛♠C2-❡7 7♣❡❝2-❛✉①✮✱ ❡2 #✉❡ ❧❡7 ❢♦♥❝2✐♦♥7 7②♠12-✐#✉❡7 ❞❡ ❍❛❧❧✲▲✐22❧❡✇♦♦❞ ♦✉ ❧❡7 ❡7♣❛❝❡7 q✁❋♦❝❦ ❞❡

❑❛7❤✐✇❛-❛✱ ▼✐✇❛ ❡2 ❙2❡-♥ ❑♠7✾✺! ♣❡✉✈❡♥2 U2-❡ ❝♦♥7✐❞1-17 ❝♦♠♠❡ ❞❡7 ❡①❡♠♣❧❡7 ❞❡ ❝❡7

❝♦♥72-✉❝2✐♦♥7✳ ❆✐♥7✐✱ ♥♦✉7 ❞♦♥♥♦♥7 #✉❡❧#✉❡7 ❛♣♣❧✐❝❛2✐♦♥7✳

✶✳✶ ■❧❧✉%&'❛&✐♦♥

✭❛✮ ✜❣✸ ✭❜✮ ✜❣✹

❋✐❣✉$❡ ✶✳✶ ✕ ❧❡" ❞❡✉① ✈❡❝(❡✉)" ✈✐(❡""❡" ❞❛♥" ❧❡ ♣❧❛♥ (❛♥❣❡♥(

❖♥ ✈❛ ✈♦✐- ❝♦♠♠❡ ✐❧❧✉72-❛2✐♦♥ ❧❡7 ❞✐-❡❝2✐♦♥7 2❛♥❣❡♥2❡7 Y ❧❛ 7♣❤C-❡✳ ❊♥ ❝❤❛#✉❡ ♣♦✐♥2 7✉- ❧❛ 7♣❤C-❡✱ ♦♥ ♣❡✉2 ❝♦♥7✐❞1-❡- ❧❡7 ❞❡✉① ✈❡❝(❡✉)" ✈✐(❡""❡" 7✉✐✈❛♥27 ✿

M~ ❛✈❛♥❝❡- Y 100km④h ❡♥ 7✉✐✈❛♥2 ❧❡ ♠1-✐❞✐❡♥ ❞✉ ♥♦-❞ ✈❡-7 ❧❡ 7✉❞✳

P~ ❛✈❛♥❝❡- Y 100km④h ❡♥ 7✉✐✈❛♥2 ❧❡ ♣❛-❛❧❧C❧❡ ✈❡-7 ❧✬❡72✳

▲❡7 ❞❡✉① ✈❡❝2❡✉-7 M~ ❡2 P~ 7♦♥2 ♣♦-217 ♣❛- ❞❡7 ❞✐-❡❝2✐♦♥7✱ ❝✬❡72✲Y✲❞✐-❡ ♣❛- ❞❡7 ❞-♦✐2❡7 2❛♥❣❡♥2❡7 Y ❧❛ 7♣❤C-❡✳ ■❧7 7♦♥2 7✐2✉17 ❡♥2✐C-❡♠❡♥2 ❞❛♥7 ❧❡ ♣❧❛♥ 2❛♥❣❡♥2 Y ❧❛ 7♣❤C-❡ ❛✉ ♣♦✐♥2

❝♦♥7✐❞1-1✳ ■❧7 ♥❡ 7♦♥2 ♣❛7 7✉- ❧❛ 7♣❤C-❡✱ ♠❛✐7 ✐❧7 7✬❡♥ ✧❞1❝♦❧❧❡♥2✧ ✭✈♦✐- ❧❛ ✜❣✉-❡ ✭✶✳✶❛ ✜❣✸✮

♣❛❣❡ ✶✹✮✳

9❛- ❝♦♥2-❡✱ ✐❧7 ✐♥❞✐#✉❡♥2 ✉♥ ♠♦✉✈❡♠❡♥( #✉✐ 7❡ ❢❛✐2 7✉- ❧❛ 7♣❤C-❡ ✿ ❝❡❧✉✐ #✉✐ ❡72 ♦❜2❡♥✉ ❡♥

✶✳✶ ■❧❧✉%&'❛&✐♦♥ ✲ ✶✺✲

❢❛✐%❛♥& ✉♥❡ ✐♥"#❣%❛"✐♦♥ ❞❡ ❧❛ ❢♦♥❝&✐♦♥ ✈✐&❡%%❡✳ ▼❛&❤5♠❛&✐7✉❡♠❡♥&✱ ❝❡❧❛ %❡ &'❛❞✉✐& ♣❛' ❞❡%

❡①♣♦♥❡♥"✐❡❧❧❡,✳

▲❡ ♠♦✉✈❡♠❡♥& ❧❡ ❧♦♥❣ ❞❡ ❧❛ %♣❤<'❡✱ %✉✐✈❛♥& ❧❡ ♠5'✐❞✐❡♥✱ ♣❡♥❞❛♥& 1 ❤❡✉'❡ %❡'❛ '❡♣'5✲

%❡♥&5 ♣❛' ❧✬❡①♣♦♥❡♥&✐❡❧❧❡ exp♣M!✳ ▲❡ ♠♦✉✈❡♠❡♥& ♣❡♥❞❛♥& 1 ❤❡✉'❡ %✉✐✈❛♥& ❧❡ ♠5'✐❞✐❡♥

%✉✐✈✐ ❞✉ ♠♦✉✈❡♠❡♥& ♣❡♥❞❛♥& 1 ❤❡✉'❡ %✉✐✈❛♥& ❧❡ ♣❛'❛❧❧<❧❡ %❡'❛ '❡♣'5%❡♥&5 ♣❛' ❧❡ ♣'♦❞✉✐& ✿ exp♣P!exp♣M!✳

❖' ❧❛ ❞✐'❡❝&✐♦♥ P M ✭❝❤❡♠✐♥ %✉✐✈❛♥& M~ ♣✉✐% %✉✐✈❛♥& P~✮ ❡& ❧❛ ❞✐'❡❝&✐♦♥ M P ✭❝❤❡♠✐♥

%✉✐✈❛♥& P~ ♣✉✐% %✉✐✈❛♥& M~✮ ♥❡ %♦♥& ♣❛% 5❣❛❧❡%✱ ❝♦♠♠❡ ♦♥ ♣❡✉& %✬❡♥ '❡♥❞'❡ ❝♦♠♣&❡ ♣❛' ✉♥

%✐♠♣❧❡ ❞❡%%✐♥ ✭ ✈♦✐' ❧❛ ✜❣✉'❡ ✭✶✳✶❜ ✜❣✹✮ ♣❛❣❡ ✶✹ ✮✳

F❛' ❝♦♥&'❡✱ ♦♥ ♣❡✉& %❡ ❝♦♥✈❛✐♥❝'❡ 7✉❡ ❧❛ ❞✐✛5'❡♥❝❡ 7✉✐ %✬♦❜&✐❡♥& ♣❛' ♣❛%%❛❣❡ H ❧❛ ❧✐♠✐&❡ ✿

"P, M# ✏P M ✁M P

'❡♣'5%❡♥&❡ ✉♥❡ ♥♦✉✈❡❧❧❡ ❞✐'❡❝&✐♦♥ ❞❡ ♠♦✉✈❡♠❡♥& ✭✉♥ ♥♦✉✈❡❛✉ ✈❡❝&❡✉' ✈✐&❡%%❡✮✳

❙✉' ❧❡% ✈5'✐&❛❜❧❡% ♠♦✉✈❡♠❡♥&% ✭❧❡% ❡①♣♦♥❡♥&✐❡❧❧❡%✮✱ ♦♥ ✈❛ &❡%&❡' ❧❛ ❝♦♠♣♦%✐&✐♦♥ ✐♥❞✐7✉5❡

♣❛' ❧❡ ❞❡%%✐♥ ✿

exp♣P!exp♣M!exp♣✁P!exp♣✁M!

✭♦♥ ❝❤❡♠✐♥❡ ✧ H ❧✬❡♥✈❡'%✧ %✉✐✈❛♥& M~✱ ♣✉✐% %✉✐✈❛♥& P~✱ ♣✉✐% ♦♥ ❝❤❡♠✐♥❡ H ❧✬❡♥❞'♦✐& %✉✐✈❛♥&

M~✱ ♣✉✐% %✉✐✈❛♥& P~✮✳

▲❡ ❝❤❡♠✐♥❡♠❡♥& ❝♦♠♣♦%5 ♦❜&❡♥✉ ❛✉'❛ ❧✐❡✉ %✉✐✈❛♥& ✉♥❡ ❞✐'❡❝&✐♦♥ ❞❡ ♠♦✉✈❡♠❡♥& 7✉✐ ♥✬❡%&

❛✉&'❡ 7✉❡ "P , ~~ M#✳ ❱5'✐✜♦♥% ❝❡ ❢❛✐& ♣♦✉' ❞❡% ❝❤❡♠✐♥❡♠❡♥&% ❞✉'❛♥& ✉♥ &❡♠♣% ε ♣❡&✐&✳

exp♣εP! ✏ 1&εP &^ε_2!²P²&O♣ε³! exp♣εM! ✏1&εM & ^ε_2!²M²&O♣ε³! exp♣✁εP! ✏1✁εP &^ε_2!²P²&O♣ε³! exp♣✁εM! ✏ 1✁εM & ^ε_2!²M²&O♣ε³!

❉❛♥% ❧❡ ♣'♦❞✉✐& exp♣εP!exp♣εM!exp♣✁εP!exp♣✁εM! ❜❡❛✉❝♦✉♣ ❞❡ &❡'♠❡% %✬❡♥ ✈♦♥&✳ ■❧

❢❛✉& ❝❛❧❝✉❧❡' %♦✐❣♥❡✉%❡♠❡♥& ❝❛' ❧❡ ♣'♦❞✉✐& ♥✬❡%& ♣❛% ❝♦♠♠✉&❛&✐❢✳ ❖♥ ♦❜&✐❡♥& ✜♥❛❧❡♠❡♥& ✿

✲ ✶✻✲

exp♣εP!exp♣εM!exp♣✁εP!exp♣✁εM! ✏1$ε²%P, M& $O♣ε³! ✏1$Θ✱ ❛✈❡❝

Θ✏ε²%P, M& $O♣ε³!

❈✬❡*+ ❞♦♥❝ ❜✐❡♥ ❧❛ ❞✐2❡❝+✐♦♥ ❞❡ ♠♦✉✈❡♠❡♥+ ♣♦2+6❡ ♣❛2 ❧❡ ✈❡❝+❡✉2 %P, M& ✏P M✁M P 7✉✐

❡*+ ❛♣♣❛2✉❡✳ ❈❡ ♥♦✉✈❡❛✉ ✈❡❝+❡✉2 ✈✐+❡**❡ ❡*+ ❡♥❝♦2❡ ✉♥ ✈❡❝+❡✉2 +❛♥❣❡♥+ : ❧❛ *♣❤<2❡✳

✶✳✷ ❈♦♥&'✐❜✉&✐♦♥+ ❡& ♣❧❛♥ ❞1&❛✐❧❧1

▲❡* ❢❛❝+♦2✐*❛+✐♦♥* ❞❡ ❙❝❤@+③❡♥❜❡2❣❡2 *✬♦❜+✐❡♥♥❡♥+ ❡♥ ❞6❢♦2♠❛♥+ ❧❡ ♣2♦❞✉✐+ ❞❡ *❤✉✤❡

❞❡ ❞✐✈❡2*❡* ♠❛♥✐<2❡*✳ ❉❛♥* %❘❡✉✾✸, ▼2❡✽✾, ▼❡❧❛✾✶&✱ ❈✳ ❘❡✉+❡♥❛✉❡2 ❡+ ●✳ ▼6❧❛♥J♦♥ ♦♥+

♠♦♥+26 7✉❡ ❧❡ 26*✉❧+❛+ ✭❧❛ ❢❛❝+♦2✐*❛+✐♦♥ ❞❡ ❙❝❤@+③❡♥❜❡2❣❡2✮ ❡*+ ❡①❛❝+ ❡♥ ✉+✐❧✐*❛♥+ ❧❡ ♣2♦❞✉✐+

❞❡ *❤✉✤❡✳ ❉❛♥* %❇❛♠✶✸, ▼✐❤✶✸, ▼✐♥✶✸&✱ ❈✳ ❇✉✐✱ ●✳❍✳❊ ❉✉❝❤❛♠♣ ❡+ ❱✳ ▼✐♥❤ ♦♥+ ♠♦♥✲

+26 7✉❡ ❧❡ 26*✉❧+❛+ ✭❧❛ ❢❛❝+♦2✐*❛+✐♦♥ ❞❡ ❙❝❤@+③❡♥❜❡2❣❡2✮ ❡*+ ❡①❛❝+ ❡♥ ✉+✐❧✐*❛♥+ ❧❡ ♣2♦❞✉✐+ ❞❡

q✁*+✉✤❡ ♠❛✐* ❛✉ ♣2✐① ❞✬✉♥❡ 2❡❞6✜♥✐+✐♦♥ ❞❡* ♣♦❧②♥T♠❡* ❞❡ ▲✐❡✳

◆♦✉* ❛✈♦♥* ❡♥+2❡♣2✐* ♥♦* +2❛✈❛✉① ❞❛♥* ❧❡ ❜✉+ ❞✬6+❡♥❞2❡ ❝❡* 26*✉❧+❛+* ✭❧❡* ❢❛❝+♦2✐*❛+✐♦♥* ❞❡

❙❝❤@+③❡♥❜❡2❣❡2✮ ❡♥ ✉+✐❧✐*❛♥+ ❧❡ ♣2♦❞✉✐+ ❞❡ q✁*❤✉✤❡ ✳

▲❡* ❝♦♥+2✐❜✉+✐♦♥* ❞❡ ❝❡++❡ +❤<*❡ *♦♥+ ❞6❝2✐+❡* ❞❛♥* ❧❡* ❝❤❛♣✐+2❡* 4✱ 5 ❡+6 ✿

❈❤❛♣✐%&❡ ✶ ✿ ▲❡ ❜✉+ ❞❡ ❝❡ ❝❤❛♣✐+2❡ ❡*+ ❞✬✐♥+2♦❞✉✐2❡ ❞❡* ❞6❢♦2♠❛+✐♦♥* ❡+ ❞❡ ❞♦♥♥❡2 ❧❡*

❞✐✛62❡♥+❡* ♠♦+✐✈❛+✐♦♥* ❞❡ ❝❡++❡ +❤<*❡✳

❈❤❛♣✐%&❡ ✷ ✿ ❈❡ ❝❤❛♣✐+2❡ *❡2+ ❞❡ ♣26❧✐♠✐♥❛✐2❡ ❛✉① ❛✉+2❡* ❝❤❛♣✐+2❡*✱ 2❛♣♣❡❧❛♥+ ♣❧✉*✐❡✉2*

❞6✜♥✐+✐♦♥* ❡+ 26*✉❧+❛+* 7✉✐ *❡2♦♥+ ✉+✐❧✐*6* ♣❧✉* ❧♦✐♥✳ ■❧ ❢♦✉2♥✐+ ❧❡* ♥♦+✐♦♥* ❞❡ ❜❛*❡ ❝♦♥❝❡2✲

♥❛♥+ ❧❡* *+2✉❝+✉2❡* ❝♦♠❜✐♥❛+♦✐2❡* ♠✐*❡* ❡♥ ❥❡✉ ❞❛♥* ❝❡++❡ +❤<*❡ ✿ ♠♦+*✱ ♣♦❧②♥T♠❡*✱ ❛❧❣<❜2❡

❞❡ ▲✐❡✱ ❛❧❣<❜2❡ ❞❡ ▲✐❡ ❧✐❜2❡✱ ❛❧❣<❜2❡ ❡♥✈❡❧♦♣♣❛♥+❡✱ ❛❧❣<❜2❡ ❞❡ ❍♦♣❢✱ ❛❧❣<❜2❡ ❞❡ *❤✉✤❡ ❡+

❛❧❣<❜2❡ ❞❡ *+✉✤❡✳

❈❤❛♣✐%&❡ ✸ ✿ ❉❛♥* ❝❡ ❝❤❛♣✐+2❡ ♥♦✉* ❡①♣❧♦2♦♥* ❞❡* ❢❛✐+* ❣6♥62❛✉① *✉2 ❧❛ ❞✉❛❧✐+6 ❞❛♥*

❧❡ ❝♦♥+❡①+❡ ❞✉ ❚❤6♦2<♠❡ ❞❡ ❢❛❝+♦2✐*❛+✐♦♥* ❞❡ [♦✐♥❝❛26✲❇✐2❦❤♦✛✲❲✐++ ✭[❇❲✮ ❡+ ❞❡ ❙❝❤@+✲

③❡♥❜❡2❣❡2✳ ◆♦✉* 2❛♣♣❡❧♦♥* ❞❡* 26*✉❧+❛+* ❝♦♥♥✉* ❞❛♥*

%❘❡✉✾✸, ▼2❡✽✾, ▼❡❧❛✾✶, ❇❛♠✶✸, ▼✐❤✶✸, ▼✐♥✶✸& ❡+ +2❛✐+♦♥* ❞❡* ❡①❡♠♣❧❡* 7✉✐ *❡2♦♥+ ✉+✐❧❡*

❞❛♥* ❧❡* ❝❤❛♣✐+2❡* 4✱ 5❡+ 6✳

❈❤❛♣✐%&❡ ✹ ✿ ▲❡ ❜✉+ ❞❡ ❝❡ ❝❤❛♣✐+2❡ ❡*+ ❞❡ ❝♦♥*+2✉✐2❡ ✉♥❡ ♣❛✐2❡ ❞❡ ❜❛*❡* ❡♥ ❞✉❛❧✐+6✳

❈❡ ❝❤❛♣✐+2❡ ❝♦♥+✐❡♥+ +2♦✐* ✈♦❧❡+* ♣2✐♥❝✐♣❛✉① ✿ ❉❛♥* ❧❡ ♣2❡♠✐❡2 ✈♦❧❡+✱ ♥♦✉* ❞♦♥♥♦♥* ✉♥❡

❝♦♥*+2✉❝+✐♦♥ ❞❡* 6❧6♠❡♥+* ❞❡ ♣S_n!m ✭❉6✜♥✐+✐♦♥ ✷✵ ♣❛❣❡ ✻✸✮✱ ❞❛♥* ✉♥ *❡❝♦♥❞ ✈♦❧❡+✱ ♥♦✉*

❝♦♥*+2✉✐*♦♥* ✉♥❡ ❜❛*❡ q✁❛♥❛❧♦❣✉❡ ❞❡ ❧❛ ❜❛*❡ ❞✉❛❧❡ ❞❡ ❧❛ ❜❛*❡ ❞❡ [♦✐♥❝❛26✲❇✐2❦❤♦✛✲❲✐++✲

▲②♥❞♦♥ ♣Sw^♣q!!w"X^✝ ✭✭✹✳✸✾✮ ♣❛❣❡✽✶✮ ❡+ ❞❛♥* ❧❡ +2♦✐*✐<♠❡ ✈♦❧❡+✱ ❧❛ ❝♦♥*+2✉❝+✐♦♥ ❞✬✉♥❡ ❜❛*❡

q✁❛♥❛❧♦❣✉❡ ❞❡ ❧❛ ❜❛*❡ ❞❡ [♦✐♥❝❛26✲❇✐2❦❤♦✛✲❲✐++✲▲②♥❞♦♥ ♣Pw^♣q!!w"X^✝ ✭✭✹✳✺✷✮ ♣❛❣❡✽✻✮ +❡❧❧❡

✶✳✷ ❈♦♥&'✐❜✉&✐♦♥+ ❡& ♣❧❛♥ ❞1&❛✐❧❧1 ✲ ✶✼✲

4✉❡ ①Su^♣q!⑤Pv^♣q!② ✏δuv✱ ❅u, v %X^✝✳

❉❛♥+ ❜✐❡♥ ❞❡+ ❝❛+✱ ❧❛ ❝♦♥+&'✉❝&✐♦♥ ❞✬✉♥❡ ♣❛✐'❡ ❞❡ ❜❛+❡+ ❡♥ ❞✉❛❧✐&1 ♣❛++❡ ♣❛' ❝❡❧❧❡ ❞✬✉♥❡

❜❛+❡ ❞✉❛❧❡ 9 ♣❛'&✐' ❞✬✉♥❡ ❜❛+❡ ❞♦♥& ♦♥ ❝♦♥♥❛:& ❝❡'&❛✐♥❡+ ♣'♦♣'✐1&1+✳ ◆♦✉+ ♥♦✉+ ♣'♦♣♦+♦♥+

❞♦♥❝ ❞✬1&✉❞✐❡' ❧❡+ ❝♦♥❞✐&✐♦♥+ 4✉❡ ❞♦✐& +❛&✐+❢❛✐'❡ ❧❛ ❜❛+❡ ❞♦♥& ♥♦✉+ ♣❛'&♦♥+ ❞❡ +♦'&❡ 4✉❡

❧❛ ❜❛+❡ ❞✉❛❧❡ ♣❡'♠❡&&❡ ❧✬1❝'✐&✉'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+✳ ◆♦✉+ ✐❧❧✉+&'❡'♦♥+ ❝❡+ ✐❞1❡+ +✉' ❞❡+

❡①❡♠♣❧❡+ ❝♦♠❜✐♥❛&♦✐'❡+ ❡♥ ✉&✐❧✐+❛♥& ❧❡ ♣'♦❞✉✐& ❞❡ q✁+❤✉✤❡✳

▲❡+ ♣'✐♥❝✐♣❛✉① '1+✉❧&❛&+ ❞❡ ❝❡ ❝❤❛♣✐&'❡ +♦♥& ✿

✶✳ ❧❡ ❚❤1♦'D♠❡✼♣❛❣❡✻✹❞♦♥♥❡ ✉♥❡ ❣1♥1'❛❧✐+❛&✐♦♥ ❞✉ ❚❤1♦'D♠❡✽♣❛❣❡✻✹ '❍✉♠, ❑❛+✵✾(✳

✷✳ ❧❡ ❚❤1♦'D♠❡ ✾♣❛❣❡ ✼✽ ❞♦♥♥❡ ✉♥❡ &'✐❛♥❣✉❧❛'✐+❛&✐♦♥ ❞❡+ 1❧1♠❡♥&+ ℓ^✁qk ✭ ℓ%Lyn♣X*

❡&k %N_➙1✮✳

✸✳ ❧❡ ❚❤1♦'D♠❡✶✵♣❛❣❡✽✶❞♦♥♥❡ ✉♥❡ ❝♦♥+&'✉❝&✐♦♥ '1❝✉'+✐✈❡ ❞❡+ 1❧1♠❡♥&+ Sw^♣q!✱w%X^✝✳

❈❤❛♣✐%&❡ ✺ ✿ ▲❡ ❜✉& ❞❡ ❝❡ ❝❤❛♣✐&'❡ ❡+& ❞✬1&✉❞✐❡' ❧❛ ♠✉❧&✐♣❧✐❝❛&✐✈✐&1 ❞❡+ ❢❛♠✐❧❧❡+ ♦❜&❡✲

♥✉❡+ ❡♥ ❞✉❛❧✐&1✳ ❈❡ ❝❤❛♣✐&'❡ ❝♦♠♣♦'&❡ ❞❡✉① ✈♦❧❡&+ ♣'✐♥❝✐♣❛✉① ✿ ❉❛♥+ ✉♥ ♣'❡♠✐❡' ✈♦❧❡&✱

♥♦✉+ '❡❞♦♥♥♦♥+ ✉♥❡ ❝♦♥+&'✉❝&✐♦♥ ❞✬✉♥❡ ♣❛✐'❡ ❞❡ ❜❛+❡+ ❡♥ ❞✉❛❧✐&1 ❞❛♥+ ❧❡ ❝❛+ ❞✉ q✁+❤✉✤❡

❞1❝'♦✐++❛♥&+ ❞❡ ♠♦&+ ❞❡ ▲②♥❞♦♥ ❡& ❞❛♥+ ❧❡ +❡❝♦♥❞ ✈♦❧❡&✱ ♥♦✉+ ❞♦♥♥♦♥+ ✉♥❡ ❛✉&'❡ ❝♦♥+&'✉❝✲

&✐♦♥ ❞❡ ♣❛✐'❡ ❞❡ ❜❛+❡+ ❡♥ ❞✉❛❧✐&1✳ ◆♦✉+ ♥♦✉+ ♣'♦♣♦+♦♥+ ❞♦♥❝ ❞✬1&✉❞✐❡' ❧❡+ ❝♦♥❞✐&✐♦♥+ 4✉❡

❞♦✐& +❛&✐+❢❛✐'❡ ❧❛ ❜❛+❡ ❞♦♥& ♥♦✉+ ♣❛'&♦♥+ ❞❡ +♦'&❡ 4✉❡ ❧❛ ❜❛+❡ ❞✉❛❧❡ ♣❡'♠❡&&❡ ❧✬1❝'✐&✉'❡ ❞❡+

❢❛❝&♦'✐+❛&✐♦♥+✳

▲❡+ ♣'✐♥❝✐♣❛✉① '1+✉❧&❛&+ ❞❡ ❝❡ ❝❤❛♣✐&'❡ +♦♥& ✿

✶✳ ❧❛ ◆♦&❡ ✶ ♣❛❣❡ ✶✵✶ ✭❚❡+& ♥✉♠1'✐4✉❡✮ ❝❛'❛❝&1'✐+❡ ❧❛ ♠✉❧&✐♣❧✐❝❛&✐✈✐&1 ❞❡ ❧❛ ❢❛♠✐❧❧❡

♣R^♣w^q!*w$X^✝ ❛✜♥ ❞✬1❝'✐'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+ ❞❡ D_X ✭◆♦&❡✷♣❛❣❡✶✵✻✱ ◆♦&❡✸♣❛❣❡✶✵✻✮

❡&D_X^♣q! ✭❈♦'♦❧❧❛✐'❡ ✼♣❛❣❡ ✶✵✽✮✳

✷✳ ❧❛ ❈♦♥❥❡❝&✉'❡✷♣❛❣❡✶✵✷✭❚❡+& ♥✉♠1'✐4✉❡✮ ❝❛'❛❝&1'✐+❡ ❧❛ ♠✉❧&✐♣❧✐❝❛&✐✈✐&1 ❞❡ ❧❛ ❢❛♠✐❧❧❡

♣Pw^♣q!*w$X^✝ ❛✜♥ ❞✬1❝'✐'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+ ❞❡ D_X ✭◆♦&❡✷♣❛❣❡✶✵✻✱ ◆♦&❡✸♣❛❣❡✶✵✻✮

❡&D_X^♣q! ✭❈♦'♦❧❧❛✐'❡ ✼♣❛❣❡ ✶✵✽✮✳

❈❤❛♣✐%&❡ ✻ ✿ ▲❡ ❜✉& ❞❡ ❝❡ ❝❤❛♣✐&'❡ ❡+& ❞✬1❝'✐'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+ ❛++♦❝✐1❡+ ❛✉① ♣❛✐'❡+

❞❡ ❜❛+❡+ ♦❜&❡♥✉❡+ ♣❛' ❞✉❛❧✐&1✳ ❈❡ ❝❤❛♣✐&'❡ ❝♦♠♣♦'&❡ ❞❡✉① ✈♦❧❡&+ ♣'✐♥❝✐♣❛✉① ✿ ❉❛♥+ ✉♥

♣'❡♠✐❡' ✈♦❧❡&✱ ♥♦✉+ ❞♦♥♥♦♥+ ✉♥❡ 1❝'✐&✉'❡ ❞❡ ❧❛ ❢❛❝&♦'✐+❛&✐♦♥ ❞❡ ❧❛ +1'✐❡ ❞✐❛❣♦♥❛❧❡✳ ❊♥✜♥✱

♥♦✉+ ❞♦♥♥♦♥+ ✉♥❡ 1❝'✐&✉'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+ &❛♥❣❡♥&❡+ 9 ❧✬✐❞❡♥&✐&1✳

▲❡+ ♣'✐♥❝✐♣❛✉① '1+✉❧&❛&+ ❞❡ ❝❡ ❝❤❛♣✐&'❡ +♦♥& ✿

➱❝'✐&✉'❡ ❞❡+ ❢❛❝&♦'✐+❛&✐♦♥+ ✿ D_X ✭◆♦&❡ ✷♣❛❣❡ ✶✵✻✱ ◆♦&❡ ✸ ♣❛❣❡ ✶✵✻✮ ❡& D_X^♣q! ✭❈♦'♦❧❧❛✐'❡✼

♣❛❣❡ ✶✵✽✮✳

❈❤❛♣✐%&❡ ✼ ✿ ▲❡ ❜✉& ❞❡ ❝❡ ❝❤❛♣✐&'❡ ❡+& ❞❡ &✐'❡' ❞❡+ ❝♦♥❝❧✉+✐♦♥+ ❡& ♣❡'+♣❡❝&✐✈❡+ ❞❡ ❝❡&&❡

✲ ✶✽✲

#❤%&❡✳

❆♥♥❡①❡ ✿ ❋❡✉✐❧❧❡& ❞❡ ❝❛❧❝✉❧& ▼❛♣❧❡ ❡# ❜✐❜❧✐♦❣5❛♣❤✐❡✳

!❡♠✐%!❡ ♣❛!(✐❡

●*♥*!❛❧✐(*-

✲ ✷✵✲

✳