Maximal left ideals of operators acting on a Banach space s - - PowerPoint PPT Presentation

maximal left ideals of operators acting on a banach space
SMART_READER_LITE
LIVE PREVIEW

Maximal left ideals of operators acting on a Banach space s - - PowerPoint PPT Presentation

Maximal left ideals of operators acting on a Banach space s str rst tr t t r t


slide-1
SLIDE 1

Maximal left ideals of operators acting on a Banach space

❚♦♠❛s③ ❑❛♥✐❛ ▲❛♥❝❛st❡r ❯♥✐✈❡rs✐t②

  • öt❡❜♦r❣✱ ✷✾t❤ ❏✉❧② ✷✵✶✸

❏♦✐♥t ✇♦r❦ ✇✐t❤ ●❛rt❤ ❉❛❧❡s ❛♥❞ ◆✐❡❧s ▲❛✉sts❡♥ ✭❜♦t❤ ▲❛♥❝❛st❡r✮✱ ❚♦♠❛s③ ❑♦❝❤❛♥❡❦ ✭❯♥✐✈❡rs✐t② ♦❢ ❙✐❧❡s✐❛✱ P♦❧❛♥❞✮ ❛♥❞ P✐♦tr ❑♦s③♠✐❞❡r ✭■▼P❆◆✱ ❲❛rs❛✇✮ ✶

slide-2
SLIDE 2

Addressing the general question posed during the previous talk

❈♦♥❥❡❝t✉r❡ ✭❉❛❧❡s✕➏❡❧❛③❦♦ ✷✵✶✶✮✳ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ s✉❝❤ t❤❛t ❡✈❡r② ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ A ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❚❤❡♥ A ✐s ✜♥✐t❡✲ ❞✐♠❡♥s✐♦♥❛❧✳ ❙t❛t✉s✿ ❲✐❞❡ ♦♣❡♥ ✐♥ t❤❡ ♥♦♥✲❝♦♠♠✉t❛t✐✈❡ ❝❛s❡ ❛♣❛rt ❢r♦♠ ❈✯✲❛❧❣❡❜r❛s ❛♥❞✱ ♠♦r❡ ❣❡♥❡r❛❧❧②✖✐♥ ❛ s✉✐t❛❜❧❡ s❡♥s❡✖❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s ✭❇❧❡❝❤❡r✰❑✳✮ ▲❡t ✉s s♣❡❝✐❛❧✐s❡ t♦ ❊ t❤❡♥✳ ◗✉❡st✐♦♥ ■✳ ■s t❤✐s ❝♦♥❥❡❝t✉r❡ tr✉❡ ❢♦r ❊ ✱ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❛❧❧ ❜♦✉♥❞❡❞✱ ❧✐♥❡❛r ♦♣❡r❛t♦rs ❛❝t✐♥❣ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊❄

slide-3
SLIDE 3

Addressing the general question posed during the previous talk

❈♦♥❥❡❝t✉r❡ ✭❉❛❧❡s✕➏❡❧❛③❦♦ ✷✵✶✶✮✳ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ s✉❝❤ t❤❛t ❡✈❡r② ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ A ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❚❤❡♥ A ✐s ✜♥✐t❡✲ ❞✐♠❡♥s✐♦♥❛❧✳ ❙t❛t✉s✿ ❲✐❞❡ ♦♣❡♥ ✐♥ t❤❡ ♥♦♥✲❝♦♠♠✉t❛t✐✈❡ ❝❛s❡ ❛♣❛rt ❢r♦♠ ❈✯✲❛❧❣❡❜r❛s ❛♥❞✱ ♠♦r❡ ❣❡♥❡r❛❧❧②✖✐♥ ❛ s✉✐t❛❜❧❡ s❡♥s❡✖❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s ✭❇❧❡❝❤❡r✰❑✳✮ ▲❡t ✉s s♣❡❝✐❛❧✐s❡ t♦ ❊ t❤❡♥✳ ◗✉❡st✐♦♥ ■✳ ■s t❤✐s ❝♦♥❥❡❝t✉r❡ tr✉❡ ❢♦r ❊ ✱ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❛❧❧ ❜♦✉♥❞❡❞✱ ❧✐♥❡❛r ♦♣❡r❛t♦rs ❛❝t✐♥❣ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊❄

slide-4
SLIDE 4

Addressing the general question posed during the previous talk

❈♦♥❥❡❝t✉r❡ ✭❉❛❧❡s✕➏❡❧❛③❦♦ ✷✵✶✶✮✳ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ s✉❝❤ t❤❛t ❡✈❡r② ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ A ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❚❤❡♥ A ✐s ✜♥✐t❡✲ ❞✐♠❡♥s✐♦♥❛❧✳ ❙t❛t✉s✿ ❲✐❞❡ ♦♣❡♥ ✐♥ t❤❡ ♥♦♥✲❝♦♠♠✉t❛t✐✈❡ ❝❛s❡ ❛♣❛rt ❢r♦♠ ❈✯✲❛❧❣❡❜r❛s ❛♥❞✱ ♠♦r❡ ❣❡♥❡r❛❧❧②✖✐♥ ❛ s✉✐t❛❜❧❡ s❡♥s❡✖❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s ✭❇❧❡❝❤❡r✰❑✳✮ ▲❡t ✉s s♣❡❝✐❛❧✐s❡ t♦ B(❊) t❤❡♥✳ ◗✉❡st✐♦♥ ■✳ ■s t❤✐s ❝♦♥❥❡❝t✉r❡ tr✉❡ ❢♦r ❊ ✱ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❛❧❧ ❜♦✉♥❞❡❞✱ ❧✐♥❡❛r ♦♣❡r❛t♦rs ❛❝t✐♥❣ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊❄

slide-5
SLIDE 5

Addressing the general question posed during the previous talk

❈♦♥❥❡❝t✉r❡ ✭❉❛❧❡s✕➏❡❧❛③❦♦ ✷✵✶✶✮✳ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ s✉❝❤ t❤❛t ❡✈❡r② ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ A ✐s ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ❚❤❡♥ A ✐s ✜♥✐t❡✲ ❞✐♠❡♥s✐♦♥❛❧✳ ❙t❛t✉s✿ ❲✐❞❡ ♦♣❡♥ ✐♥ t❤❡ ♥♦♥✲❝♦♠♠✉t❛t✐✈❡ ❝❛s❡ ❛♣❛rt ❢r♦♠ ❈✯✲❛❧❣❡❜r❛s ❛♥❞✱ ♠♦r❡ ❣❡♥❡r❛❧❧②✖✐♥ ❛ s✉✐t❛❜❧❡ s❡♥s❡✖❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s ✭❇❧❡❝❤❡r✰❑✳✮ ▲❡t ✉s s♣❡❝✐❛❧✐s❡ t♦ B(❊) t❤❡♥✳ ◗✉❡st✐♦♥ ■✳ ■s t❤✐s ❝♦♥❥❡❝t✉r❡ tr✉❡ ❢♦r A = B(❊)✱ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❛❧❧ ❜♦✉♥❞❡❞✱ ❧✐♥❡❛r ♦♣❡r❛t♦rs ❛❝t✐♥❣ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊❄

slide-6
SLIDE 6

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ ❊ ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ ✭t❤❡r❡ ❛r❡ ✷ ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ ❊ ✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿ t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱

✶✱ ♣ ▲♣ ✵ ✶

✶ ♣ ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-7
SLIDE 7

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ ✭t❤❡r❡ ❛r❡ ✷ ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ ❊ ✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿ t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱

✶✱ ♣ ▲♣ ✵ ✶

✶ ♣ ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-8
SLIDE 8

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿ t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱

✶✱ ♣ ▲♣ ✵ ✶

✶ ♣ ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-9
SLIDE 9

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿ t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱

✶✱ ♣ ▲♣ ✵ ✶

✶ ♣ ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-10
SLIDE 10

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿ t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱

✶✱ ♣ ▲♣ ✵ ✶

✶ ♣ ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-11
SLIDE 11

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿

  • t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱ ℓ✶✱ ℓ♣, ▲♣[✵, ✶] (✶ < ♣ < ∞);

♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-12
SLIDE 12

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿

  • t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱ ℓ✶✱ ℓ♣, ▲♣[✵, ✶] (✶ < ♣ < ∞);
  • ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥

✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶ ✵ ✶ t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-13
SLIDE 13

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿

  • t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱ ℓ✶✱ ℓ♣, ▲♣[✵, ✶] (✶ < ♣ < ∞);
  • ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥

✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

◮ t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶[✵, ✶];

t❤❡ s♣❛❝❡ ❈ ❑ ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-14
SLIDE 14

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿

  • t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱ ℓ✶✱ ℓ♣, ▲♣[✵, ✶] (✶ < ♣ < ∞);
  • ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥

✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

◮ t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶[✵, ✶]; ◮ t❤❡ s♣❛❝❡ ❈(❑) ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝

s♣❛❝❡ ❑❀ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ ✶ ♣ ✳

slide-15
SLIDE 15

A partial answer to Question I

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ✭♦r ❥✉st ✇✐t❤ |❊| = c✮ ✇✐t❤ ❛ ❝♦✉♥t❛❜❧❡✱ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ✷c ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ❜✉t ♦♥❧② c ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s✱ ✇❤❡r❡ c = ✷ℵ✵✳ ❍❡♥❝❡ ♥♦t ❛❧❧ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊) ❛r❡ ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✦

■❞❡❛✳ ❲❡ ✐❞❡♥t✐❢② ♣r♦❥❡❝t✐♦♥s ♦❜t❛✐♥❡❞ ❢r♦♠ t❤❡ ✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❞❡❝♦♠♣♦s✐t✐♦♥ ✇✐t❤ t❤❡ ❡❧❡♠❡♥ts ♦❢ t❤❡ ♣♦✇❡r✲s❡t ❛❧❣❡❜r❛ P(N) ❛♥❞ t❤❡♥ ✇❡ ✜♥❞ ❛ ♦♥❡✲t♦✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ❜❡t✇❡❡♥ ✉❧tr❛✜❧t❡rs ♦❢ P(N) ✭t❤❡r❡ ❛r❡ ✷c ♦❢ t❤❡♠ ❜② P♦s♣í➨✐❧✬s t❤❡♦r❡♠✮ ❛♥❞ ❝❡rt❛✐♥ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ B(❊)✳

❙♦♠❡ ❝❛s❡s ✇❤❡r❡ t❤❡ t❤❡♦r❡♠ ❛♣♣❧✐❡s✿

  • t❤❡ ❝❧❛ss✐❝❛❧ ❇❛♥❛❝❤ s♣❛❝❡s ❝✵✱ ℓ✶✱ ℓ♣, ▲♣[✵, ✶] (✶ < ♣ < ∞);
  • ♠♦r❡ ❣❡♥❡r❛❧❧②✱ ❊ ❝♦♥t❛✐♥s ❛ ❝♦♠♣❧❡♠❡♥t❡❞ s✉❜s♣❛❝❡ ✇❤✐❝❤ ❤❛s ❛♥

✉♥❝♦♥❞✐t✐♦♥❛❧ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ❡①❛♠♣❧❡s✿

◮ t❤❡ ▲❡❜❡s❣✉❡ s♣❛❝❡ ▲✶[✵, ✶]; ◮ t❤❡ s♣❛❝❡ ❈(❑) ♦❢ ❝♦♥t✐♥✉♦✉s ❢✉♥❝t✐♦♥s ♦♥ ❛♥ ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝

s♣❛❝❡ ❑❀

◮ t❤❡ ♣t❤ q✉❛s✐✲r❡✢❡①✐✈❡ ❏❛♠❡s s♣❛❝❡ ❏♣ (✶ < ♣ < ∞)✳

slide-16
SLIDE 16

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ ①✳ ▼♦r❡♦✈❡r✱

① ②

① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ ① ② ❊ ✵ ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠

① ❢♦r s♦♠❡ ①

❊ ✵ ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

① ✵ ①

✵ ❤❡♥❝❡ ❊ ✐s s❡♠✐s✐♠♣❧❡✳ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ ❊ ❚ ❊ ❞✐♠ ❚ ❊ ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ ❊ ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-17
SLIDE 17

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱

① ②

① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ ① ② ❊ ✵ ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠

① ❢♦r s♦♠❡ ①

❊ ✵ ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

① ✵ ①

✵ ❤❡♥❝❡ ❊ ✐s s❡♠✐s✐♠♣❧❡✳ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ ❊ ❚ ❊ ❞✐♠ ❚ ❊ ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ ❊ ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-18
SLIDE 18

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱ ML ① = ML ② ⇐ ⇒ ① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ (①, ② ∈ ❊ \ {✵}). ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠

① ❢♦r s♦♠❡ ①

❊ ✵ ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

① ✵ ①

✵ ❤❡♥❝❡ ❊ ✐s s❡♠✐s✐♠♣❧❡✳ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ ❊ ❚ ❊ ❞✐♠ ❚ ❊ ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ ❊ ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-19
SLIDE 19

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱ ML ① = ML ② ⇐ ⇒ ① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ (①, ② ∈ ❊ \ {✵}). ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠ ML ① ❢♦r s♦♠❡ ① ∈ ❊ \ {✵} ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

① ✵ ①

✵ ❤❡♥❝❡ ❊ ✐s s❡♠✐s✐♠♣❧❡✳ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ ❊ ❚ ❊ ❞✐♠ ❚ ❊ ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ ❊ ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-20
SLIDE 20

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱ ML ① = ML ② ⇐ ⇒ ① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ (①, ② ∈ ❊ \ {✵}). ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠ ML ① ❢♦r s♦♠❡ ① ∈ ❊ \ {✵} ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

①=✵ M L ① = {✵} ❤❡♥❝❡ B(❊) ✐s s❡♠✐s✐♠♣❧❡✳

▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ ❊ ❚ ❊ ❞✐♠ ❚ ❊ ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ ❊ ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-21
SLIDE 21

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱ ML ① = ML ② ⇐ ⇒ ① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ (①, ② ∈ ❊ \ {✵}). ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠ ML ① ❢♦r s♦♠❡ ① ∈ ❊ \ {✵} ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

①=✵ M L ① = {✵} ❤❡♥❝❡ B(❊) ✐s s❡♠✐s✐♠♣❧❡✳

▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ F(❊) = {❚ ∈ B(❊) : ❞✐♠ ❚(❊) < ∞} ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ F(❊) ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ❖❜s❡r✈❛t✐♦♥✳ ❊

① ❢♦r ❡❛❝❤ ①

❊ ✵ ✳

slide-22
SLIDE 22

A refinement of Question I

❖❜s❡r✈❛t✐♦♥✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡✳ ❋♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✱ ML ① = {❚ ∈ B(❊) : ❚① = ✵} ✐s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ❣❡♥❡r❛t❡❞ ❜② t❤❡ s✐♥❣❧❡ ♣r♦❥❡❝t✐♦♥ ■ − P✱ ✇❤❡r❡ P ✐s ❛♥② ♣r♦❥❡❝t✐♦♥ ♦❢ ❊ ♦♥t♦ C①✳ ▼♦r❡♦✈❡r✱ ML ① = ML ② ⇐ ⇒ ① ❛♥❞ ② ❛r❡ ♣r♦♣♦rt✐♦♥❛❧ (①, ② ∈ ❊ \ {✵}). ❚❡r♠✐♥♦❧♦❣②✳ ❆ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ t❤❡ ❢♦r♠ ML ① ❢♦r s♦♠❡ ① ∈ ❊ \ {✵} ✐s ✜①❡❞✳ ❚r✐✈✐❛❧✐t②✿

①=✵ M L ① = {✵} ❤❡♥❝❡ B(❊) ✐s s❡♠✐s✐♠♣❧❡✳

▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥ F(❊) = {❚ ∈ B(❊) : ❞✐♠ ❚(❊) < ∞} ✐s ❛ ♣r♦♣❡r✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✳ ❇② ❑r✉❧❧✬s ❚❤❡♦r❡♠✱ F(❊) ✐s ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ❖❜s❡r✈❛t✐♦♥✳ F(❊) ⊆ ML ① ❢♦r ❡❛❝❤ ① ∈ ❊ \ {✵}✳

slide-23
SLIDE 23

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✐s ✜①❡❞✳ ❚❤❡♥ ❊ ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-24
SLIDE 24

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✐s ✜①❡❞✳ ❚❤❡♥ ❊ ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-25
SLIDE 25

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✐s ✜①❡❞✳ ❚❤❡♥ ❊ ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-26
SLIDE 26

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✐s ✜①❡❞✳ ❚❤❡♥ ❊ ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-27
SLIDE 27

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✐s ✜①❡❞✳ ❚❤❡♥ ❊ ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-28
SLIDE 28

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s ❊ ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-29
SLIDE 29

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s F(❊) ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-30
SLIDE 30

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s F(❊) ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-31
SLIDE 31

. . . hence Question II

◗✉❡st✐♦♥ ■■✳ ■s ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ❋❛❝t✳ ❚❤✐s ✐s tr✉❡ ❢♦r ❊ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❢♦r r❛t❤❡r tr✐✈✐❛❧ r❡❛s♦♥s✳ ❊❛s② ♦❜s❡r✈❛t✐♦♥✳ ❆ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■■ ✐♠♣❧✐❡s ❛ ♣♦s✐t✐✈❡ ❛♥s✇❡r t♦ ◗✳ ■✿ ▲❡t ❊ ❜❡ ❛♥ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❇❛♥❛❝❤ s♣❛❝❡✱ ❛♥❞ s✉♣♣♦s❡ t❤❛t ❡✈❡r② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❚❤❡♥ B(❊) ❝♦♥t❛✐♥s ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ✇❤✐❝❤ ✐s ♥♦t ✜♥✐t❡❧② ❣❡♥❡r❛t❡❞✳ ◗✉❡st✐♦♥ ■■■✳ ■s F(❊) ❡✈❡r ❝♦♥t❛✐♥❡❞ ✐♥ ❛ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)❄ ❙♣♦✐❧❡r ❛❧❡rt✿ ❨❡s✱ s✉r♣r✐s✐♥❣❧② ✐t ❝❛♥ ❤❛♣♣❡♥✦ ✭❚♦ ❜❡ r❡✈❡❛❧❡❞ ❧❛t❡r ✇❤❛t ❊ ✐s✳✮

slide-32
SLIDE 32

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t ❊ ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ❊ ❚

✶ r❛❞

❊ ❊ ❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥

♣ ✭♣

✶ ✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ ✐s ✜①❡❞❀ ♦r ✭✐✐✮ ❝♦♥t❛✐♥s ❊ ✳

slide-33
SLIDE 33

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t E (❊) ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ❊ ❚

✶ r❛❞

❊ ❊ ❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥

♣ ✭♣

✶ ✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ ✐s ✜①❡❞❀ ♦r ✭✐✐✮ ❝♦♥t❛✐♥s ❊ ✳

slide-34
SLIDE 34

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t E (❊) ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ∈ E (❊) ⇐ ⇒ ❚ ∈ π−✶ r❛❞ (B(❊)/K (❊))

  • .

❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥

♣ ✭♣

✶ ✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ ✐s ✜①❡❞❀ ♦r ✭✐✐✮ ❝♦♥t❛✐♥s ❊ ✳

slide-35
SLIDE 35

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t E (❊) ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ∈ E (❊) ⇐ ⇒ ❚ ∈ π−✶ r❛❞ (B(❊)/K (❊))

  • .

❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥ ℓ♣ ✭♣ ∈ [✶, ∞)✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ ✐s ✜①❡❞❀ ♦r ✭✐✐✮ ❝♦♥t❛✐♥s ❊ ✳

slide-36
SLIDE 36

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t E (❊) ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ∈ E (❊) ⇐ ⇒ ❚ ∈ π−✶ r❛❞ (B(❊)/K (❊))

  • .

❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥ ℓ♣ ✭♣ ∈ [✶, ∞)✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ L ♦❢ B(❊)✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ L ✐s ✜①❡❞❀ ♦r ✭✐✐✮ ❝♦♥t❛✐♥s ❊ ✳

slide-37
SLIDE 37

The Dichotomy Theorem

❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❚ ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❊ ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ■ − ❙❚ ✐s ❛ ❋r❡❞❤♦❧♠ ♦♣❡r❛t♦r✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❞✐♠ ❦❡r(■ − ❙❚) < ∞ ❛♥❞ ❞✐♠ ❊ (■ − ❙❚)(❊) < ∞, ❢♦r ❡❛❝❤ ❙ ∈ B(❊)✳ ❚❤❡ s❡t E (❊) ♦❢ ✐♥❡ss❡♥t✐❛❧ ♦♣❡r❛t♦rs ♦♥ ❊ ✐s ❛ ❝❧♦s❡❞✱ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ❛♥❞ ♣r♦♣❡r ✇❤❡♥❡✈❡r ❊ ✐s ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧✳ ❊q✉✐✈❛❧❡♥t❧②✱ ❚ ∈ E (❊) ⇐ ⇒ ❚ ∈ π−✶ r❛❞ (B(❊)/K (❊))

  • .

❊①❛♠♣❧❡✳ ❆ ❍✐❧❜❡rt✲s♣❛❝❡ ♦♣❡r❛t♦r ✐s ✐♥❡ss❡♥t✐❛❧ ✐❢ ❛♥❞ ♦♥❧② ✐❢ ✐t ✐s ❝♦♠♣❛❝t✳ ❚❤❡ s❛♠❡ ❢♦r ♦♣❡r❛t♦rs ♦♥ ℓ♣ ✭♣ ∈ [✶, ∞)✮ ❛♥❞ ❝✵✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ♥♦♥✲③❡r♦ ❇❛♥❛❝❤ s♣❛❝❡✳ ❚❤❡♥✱ ❢♦r ❡❛❝❤ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ L ♦❢ B(❊)✱ ❡①❛❝t❧② ♦♥❡ ♦❢ t❤❡ ❢♦❧❧♦✇✐♥❣ t✇♦ ❛❧t❡r♥❛t✐✈❡s ❤♦❧❞s✿ ✭✐✮ L ✐s ✜①❡❞❀ ♦r ✭✐✐✮ L ❝♦♥t❛✐♥s E (❊)✳

slide-38
SLIDE 38

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿

♣ ❛♥❞ ▲♣ ✵ ✶ ❢♦r ✶

♣ ✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ ❍ ❍ ❛♥❞ ❏♣ ❢♦r ✶ ♣ ✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-39
SLIDE 39

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿

♣ ❛♥❞ ▲♣ ✵ ✶ ❢♦r ✶

♣ ✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ ❍ ❍ ❛♥❞ ❏♣ ❢♦r ✶ ♣ ✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-40
SLIDE 40

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ ❍ ❍ ❛♥❞ ❏♣ ❢♦r ✶ ♣ ✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-41
SLIDE 41

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ ❍ ❍ ❛♥❞ ❏♣ ❢♦r ✶ ♣ ✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-42
SLIDE 42

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-43
SLIDE 43

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲ ❢♦r s♦♠❡ ♠❡❛s✉r❡ ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-44
SLIDE 44

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ ❝✵ ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-45
SLIDE 45

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ) ✱ ❊ ❍✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-46
SLIDE 46

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ)✱ ❊ = ❍ ✱ ♦r ❊ ❝✵ ❍✱ ✇❤❡r❡ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-47
SLIDE 47

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ)✱ ❊ = ❍✱ ♦r ❊ = ❝✵(Γ) ⊕ ❍✱ ✇❤❡r❡ Γ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-48
SLIDE 48

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ)✱ ❊ = ❍✱ ♦r ❊ = ❝✵(Γ) ⊕ ❍✱ ✇❤❡r❡ Γ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ✳

slide-49
SLIDE 49

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ)✱ ❊ = ❍✱ ♦r ❊ = ❝✵(Γ) ⊕ ❍✱ ✇❤❡r❡ Γ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈ ❑ ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ε > ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ε✳

slide-50
SLIDE 50

Positive answers to Question II

❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ▲❡t ❊ ❜❡ ❛ ❇❛♥❛❝❤ s♣❛❝❡ s✉❝❤ t❤❛t✿ ✭✐✮ ❊ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s ❛♥❞ ✐s ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ✐ts ❜✐❞✉❛❧ ✭❡①❛♠♣❧❡s✿ ℓ♣ ❛♥❞ ▲♣[✵, ✶] ❢♦r ✶ ♣ < ∞✮❀ ✭✐✐✮ ❊ ✐s ❛ ❞✉❛❧ ♦❢ ❛ ❇❛♥❛❝❤ s♣❛❝❡ ✇✐t❤ ❛ ❜❛s✐s ✭❡①❛♠♣❧❡s✿ B(❍) (= N (❍)∗) ❛♥❞ ❏♣ ❢♦r ✶ < ♣ < ∞✮❀ ✭✐✐✐✮ ❊ ✐s ❛♥ ✐♥❥❡❝t✐✈❡ ❇❛♥❛❝❤ s♣❛❝❡✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❊ ✐s ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♠♣❧❡♠❡♥t❡❞ ✐♥ ❛♥② s✉♣❡rs♣❛❝❡ ✭❡①❛♠♣❧❡s✿ ▲∞(µ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ µ✮❀ ✭✐✈✮ ❊ = ❝✵(Γ)✱ ❊ = ❍✱ ♦r ❊ = ❝✵(Γ) ⊕ ❍✱ ✇❤❡r❡ Γ ✐s ❛ ♥♦♥✲❡♠♣t② ✐♥❞❡① s❡t ❛♥❞ ❍ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡❀ ✭✈✮ ❊ ❤❛s ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❊ ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t② ✭❡①❛♠♣❧❡s✿ ❤❡r❡❞✐t❛r✐❧② ✐♥❞❡❝♦♠♣♦s❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡s✮❀ ✭✈✐✮ ❊ = ❈(❑)✱ ✇❤❡r❡ ❑ ✐s ❛ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ✇✐t❤♦✉t ✐s♦❧❛t❡❞ ♣♦✐♥ts✱ ❛♥❞ ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❈(❑) ✐s ❛ ✇❡❛❦ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ✐t ✐s ❛ str✐❝t❧② s✐♥❣✉❧❛r ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ♦♣❡r❛t♦r✳ ❚❤❡♥ ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✐s ✜①❡❞✳ ❉❡✜♥✐t✐♦♥✳ ❆♥ ♦♣❡r❛t♦r ❙ ♦♥ ❊ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✐❢✱ ❢♦r ❡❛❝❤ ε > ✵✱ ❡❛❝❤ ✐♥✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ s✉❜s♣❛❝❡ ♦❢ ❊ ❝♦♥t❛✐♥s ❛ ✉♥✐t ✈❡❝t♦r ① s✉❝❤ t❤❛t ❙① ε✳

slide-51
SLIDE 51

A negative answer to Question II: Argyros–Haydon’s Banach space

❚❤❡♦r❡♠ ✭❆r❣②r♦s✕❍❛②❞♦♥ ✷✵✶✶✮✳ ❚❤❡r❡ ✐s ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❳❆❍ ✇❤✐❝❤ ❤❛s t❤❡ ❢♦❧❧♦✇✐♥❣ t❤r❡❡ r❡♠❛r❦❛❜❧❡ ♣r♦♣❡rt✐❡s✿ ✭✐✮ ❳❆❍ ❤❛s ✈❡r② ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❳❆❍ ✐s ❛ ❝♦♠♣❛❝t ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t②❀ ✭✐✐✮ ❳❆❍ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ✭✐✐✐✮ t❤❡ ❞✉❛❧ s♣❛❝❡ ♦❢ ❳❆❍ ✐s ✐s♦♠♦r♣❤✐❝ t♦

✶✳

◆♦t❡ t❤❛t ❢♦r ❊ ❳❆❍ ❡✈❡r②t❤✐♥❣ ❣♦❡s ✇❡❧❧ s✐♥❝❡ ✐t ✐s ❛♥ ❍■ s♣❛❝❡ ❤❡♥❝❡ ❝♦♥❞✐t✐♦♥ ✭✈✮ ❢r♦♠ t❤❡ ♣r❡✈✐♦✉s t❤❡♦r❡♠ ❛♣♣❧✐❡s✳

slide-52
SLIDE 52

A negative answer to Question II: Argyros–Haydon’s Banach space

❚❤❡♦r❡♠ ✭❆r❣②r♦s✕❍❛②❞♦♥ ✷✵✶✶✮✳ ❚❤❡r❡ ✐s ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❳❆❍ ✇❤✐❝❤ ❤❛s t❤❡ ❢♦❧❧♦✇✐♥❣ t❤r❡❡ r❡♠❛r❦❛❜❧❡ ♣r♦♣❡rt✐❡s✿ ✭✐✮ ❳❆❍ ❤❛s ✈❡r② ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❳❆❍ ✐s ❛ ❝♦♠♣❛❝t ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t②❀ ✭✐✐✮ ❳❆❍ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ✭✐✐✐✮ t❤❡ ❞✉❛❧ s♣❛❝❡ ♦❢ ❳❆❍ ✐s ✐s♦♠♦r♣❤✐❝ t♦

✶✳

◆♦t❡ t❤❛t ❢♦r ❊ ❳❆❍ ❡✈❡r②t❤✐♥❣ ❣♦❡s ✇❡❧❧ s✐♥❝❡ ✐t ✐s ❛♥ ❍■ s♣❛❝❡ ❤❡♥❝❡ ❝♦♥❞✐t✐♦♥ ✭✈✮ ❢r♦♠ t❤❡ ♣r❡✈✐♦✉s t❤❡♦r❡♠ ❛♣♣❧✐❡s✳

slide-53
SLIDE 53

A negative answer to Question II: Argyros–Haydon’s Banach space

❚❤❡♦r❡♠ ✭❆r❣②r♦s✕❍❛②❞♦♥ ✷✵✶✶✮✳ ❚❤❡r❡ ✐s ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❳❆❍ ✇❤✐❝❤ ❤❛s t❤❡ ❢♦❧❧♦✇✐♥❣ t❤r❡❡ r❡♠❛r❦❛❜❧❡ ♣r♦♣❡rt✐❡s✿ ✭✐✮ ❳❆❍ ❤❛s ✈❡r② ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❳❆❍ ✐s ❛ ❝♦♠♣❛❝t ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t②❀ ✭✐✐✮ ❳❆❍ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ✭✐✐✐✮ t❤❡ ❞✉❛❧ s♣❛❝❡ ♦❢ ❳❆❍ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ℓ✶✳ ◆♦t❡ t❤❛t ❢♦r ❊ ❳❆❍ ❡✈❡r②t❤✐♥❣ ❣♦❡s ✇❡❧❧ s✐♥❝❡ ✐t ✐s ❛♥ ❍■ s♣❛❝❡ ❤❡♥❝❡ ❝♦♥❞✐t✐♦♥ ✭✈✮ ❢r♦♠ t❤❡ ♣r❡✈✐♦✉s t❤❡♦r❡♠ ❛♣♣❧✐❡s✳

slide-54
SLIDE 54

A negative answer to Question II: Argyros–Haydon’s Banach space

❚❤❡♦r❡♠ ✭❆r❣②r♦s✕❍❛②❞♦♥ ✷✵✶✶✮✳ ❚❤❡r❡ ✐s ❛ ❇❛♥❛❝❤ s♣❛❝❡ ❳❆❍ ✇❤✐❝❤ ❤❛s t❤❡ ❢♦❧❧♦✇✐♥❣ t❤r❡❡ r❡♠❛r❦❛❜❧❡ ♣r♦♣❡rt✐❡s✿ ✭✐✮ ❳❆❍ ❤❛s ✈❡r② ❢❡✇ ♦♣❡r❛t♦rs✱ ✐♥ t❤❡ s❡♥s❡ t❤❛t ❡❛❝❤ ♦♣❡r❛t♦r ♦♥ ❳❆❍ ✐s ❛ ❝♦♠♣❛❝t ♣❡rt✉r❜❛t✐♦♥ ♦❢ ❛ s❝❛❧❛r ♠✉❧t✐♣❧❡ ♦❢ t❤❡ ✐❞❡♥t✐t②❀ ✭✐✐✮ ❳❆❍ ❤❛s ❛ ❙❝❤❛✉❞❡r ❜❛s✐s❀ ✭✐✐✐✮ t❤❡ ❞✉❛❧ s♣❛❝❡ ♦❢ ❳❆❍ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ℓ✶✳ ◆♦t❡ t❤❛t ❢♦r ❊ = ❳❆❍ ❡✈❡r②t❤✐♥❣ ❣♦❡s ✇❡❧❧ s✐♥❝❡ ✐t ✐s ❛♥ ❍■ s♣❛❝❡ ❤❡♥❝❡ ❝♦♥❞✐t✐♦♥ ✭✈✮ ❢r♦♠ t❤❡ ♣r❡✈✐♦✉s t❤❡♦r❡♠ ❛♣♣❧✐❡s✳

slide-55
SLIDE 55

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ ✷ ✷ ✲♠❛tr✐❝❡s ❚✶ ✶ ❳❆❍ ❳❆❍ ❚✶ ✷ ❳❆❍ ❚✷ ✶ ❳❆❍ ❚✷ ✷ ❑❡② ♣♦✐♥t✿ ❚✶ ✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t

❚✶ ✶ ❚✶ ✷ ❚✷ ✶ ❚✷ ✷ ❊ ❚✶ ✶ ✐s ❝♦♠♣❛❝t ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ ❊ ✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-56
SLIDE 56

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶ ✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t

❚✶ ✶ ❚✶ ✷ ❚✷ ✶ ❚✷ ✷ ❊ ❚✶ ✶ ✐s ❝♦♠♣❛❝t ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ ❊ ✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-57
SLIDE 57

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶,✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t

❚✶ ✶ ❚✶ ✷ ❚✷ ✶ ❚✷ ✷ ❊ ❚✶ ✶ ✐s ❝♦♠♣❛❝t ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ ❊ ✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-58
SLIDE 58

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶,✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t K✶ = ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✶,✶ ✐s ❝♦♠♣❛❝t
  • ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ B(❊)

✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-59
SLIDE 59

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶,✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t K✶ = ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✶,✶ ✐s ❝♦♠♣❛❝t
  • ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ B(❊)✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛

♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-60
SLIDE 60

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶,✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t K✶ = ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✶,✶ ✐s ❝♦♠♣❛❝t
  • ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ B(❊)✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛

♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞ ✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-61
SLIDE 61

A negative answer to Question II: the example

▲❡t ❊ = ❳❆❍ ⊕ ℓ∞✳ ❲❡ ✐❞❡♥t✐❢② ♦♣❡r❛t♦rs ❚ ♦♥ ❊ ✇✐t❤ (✷ × ✷)✲♠❛tr✐❝❡s ❚✶,✶ : ❳❆❍ → ❳❆❍ ❚✶,✷ : ℓ∞ → ❳❆❍ ❚✷,✶ : ❳❆❍ → ℓ∞ ❚✷,✷ : ℓ∞ → ℓ∞

  • .

❑❡② ♣♦✐♥t✿ ❚✶,✷ ✐s ♥❡❝❡ss❛r✐❧② str✐❝t❧② s✐♥❣✉❧❛r✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ s❡t K✶ = ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✶,✶ ✐s ❝♦♠♣❛❝t
  • ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❝♦❞✐♠❡♥s✐♦♥ ♦♥❡ ✐♥ B(❊)✱ ❛♥❞ ❤❡♥❝❡ ❛❧s♦ ❛

♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧✳ ■t ✐s ♥♦t ✜①❡❞✱ ❜✉t ✐t ✐s s✐♥❣❧② ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧✳

slide-62
SLIDE 62

A negative answer to Question II: the example continued

▼♦r❡ ♣r❡❝✐s❡❧②✱

✶ ✐s ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧ ❜② t❤❡ ✭s✐♥❣❧❡✦✮ ♦♣❡r❛t♦r

▲ ✵ ✵ ❱❯ ❲ ✇❤❡r❡ ❳❆❍ ❳❆❍ ✐s t❤❡ ❝❛♥♦♥✐❝❛❧ ❡♠❜❡❞❞✐♥❣✱ ❯

❳❆❍✱ ❱

✷ ✶ ❛♥❞ ❲ ✷ ❛r❡ ✐s♦♠♦r♣❤✐s♠s✳ ❳❆❍

❱❯ ❲

✷ ✶ ✷

✶✵

slide-63
SLIDE 63

A negative answer to Question II: the example continued

▼♦r❡ ♣r❡❝✐s❡❧②✱ K✶ ✐s ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧ ❜② t❤❡ ✭s✐♥❣❧❡✦✮ ♦♣❡r❛t♦r ▲ =

✵ ❱❯∗κ ❲

  • ,

✇❤❡r❡ ❳❆❍ ❳❆❍ ✐s t❤❡ ❝❛♥♦♥✐❝❛❧ ❡♠❜❡❞❞✐♥❣✱ ❯

❳❆❍✱ ❱

✷ ✶ ❛♥❞ ❲ ✷ ❛r❡ ✐s♦♠♦r♣❤✐s♠s✳ ❳❆❍

❱❯ ❲

✷ ✶ ✷

✶✵

slide-64
SLIDE 64

A negative answer to Question II: the example continued

▼♦r❡ ♣r❡❝✐s❡❧②✱ K✶ ✐s ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧ ❜② t❤❡ ✭s✐♥❣❧❡✦✮ ♦♣❡r❛t♦r ▲ =

✵ ❱❯∗κ ❲

  • ,

✇❤❡r❡

  • κ: ❳❆❍ → ❳ ∗∗

❆❍ ✐s t❤❡ ❝❛♥♦♥✐❝❛❧ ❡♠❜❡❞❞✐♥❣✱

❳❆❍✱ ❱

✷ ✶ ❛♥❞ ❲ ✷ ❛r❡ ✐s♦♠♦r♣❤✐s♠s✳ ❳❆❍

❱❯ ❲

✷ ✶ ✷

✶✵

slide-65
SLIDE 65

A negative answer to Question II: the example continued

▼♦r❡ ♣r❡❝✐s❡❧②✱ K✶ ✐s ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧ ❜② t❤❡ ✭s✐♥❣❧❡✦✮ ♦♣❡r❛t♦r ▲ =

✵ ❱❯∗κ ❲

  • ,

✇❤❡r❡

  • κ: ❳❆❍ → ❳ ∗∗

❆❍ ✐s t❤❡ ❝❛♥♦♥✐❝❛❧ ❡♠❜❡❞❞✐♥❣✱

  • ❯ : ℓ✶ → ❳ ∗

❆❍✱ ❱ : ℓ∗ ✶ = ℓ∞ → ℓ∞(✷N − ✶) ❛♥❞ ❲ : ℓ∞ → ℓ∞(✷N) ❛r❡

✐s♦♠♦r♣❤✐s♠s✳ ❳❆❍

❱❯ ❲

✷ ✶ ✷

✶✵

slide-66
SLIDE 66

A negative answer to Question II: the example continued

▼♦r❡ ♣r❡❝✐s❡❧②✱ K✶ ✐s ❣❡♥❡r❛t❡❞ ❛s ❛ ❧❡❢t ✐❞❡❛❧ ❜② t❤❡ ✭s✐♥❣❧❡✦✮ ♦♣❡r❛t♦r ▲ =

✵ ❱❯∗κ ❲

  • ,

✇❤❡r❡

  • κ: ❳❆❍ → ❳ ∗∗

❆❍ ✐s t❤❡ ❝❛♥♦♥✐❝❛❧ ❡♠❜❡❞❞✐♥❣✱

  • ❯ : ℓ✶ → ❳ ∗

❆❍✱ ❱ : ℓ∗ ✶ = ℓ∞ → ℓ∞(✷N − ✶) ❛♥❞ ❲ : ℓ∞ → ℓ∞(✷N) ❛r❡

✐s♦♠♦r♣❤✐s♠s✳ ❳ ∗∗

❆❍ ⊕ ℓ∞ ❱❯∗

  • ℓ∞(✷N − ✶)

⊕ ℓ∞(✷N) = ℓ∞

✶✵

slide-67
SLIDE 67

How about Question I?

❘❡❝❛❧❧✿ ❊ = ❳❆❍ ⊕ ℓ∞✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ ✐❞❡❛❧ K✶ ✐s t❤❡ ✉♥✐q✉❡ ♥♦♥✲✜①❡❞✱ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ❍❡♥❝❡ ❚✶ ✶ ❚✶ ✷ ❚✷ ✶ ❚✷ ✷ ❊ ❚✷ ✷ ✐s str✐❝t❧② s✐♥❣✉❧❛r ✇❤✐❝❤ ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ ❊ ✱ ✐s ♥♦t ❝♦♥t❛✐♥❡❞ ✐♥ ❛♥② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✳ ■♥ ♣❛rt✐❝✉❧❛r✱ t❤❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■ ✐s ♣♦s✐t✐✈❡ ❢♦r ❊✳

✶✶

slide-68
SLIDE 68

How about Question I?

❘❡❝❛❧❧✿ ❊ = ❳❆❍ ⊕ ℓ∞✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ ✐❞❡❛❧ K✶ ✐s t❤❡ ✉♥✐q✉❡ ♥♦♥✲✜①❡❞✱ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ❍❡♥❝❡ ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✷,✷ ✐s str✐❝t❧② s✐♥❣✉❧❛r
  • ,

✇❤✐❝❤ ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ✐s ♥♦t ❝♦♥t❛✐♥❡❞ ✐♥ ❛♥② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ■♥ ♣❛rt✐❝✉❧❛r✱ t❤❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■ ✐s ♣♦s✐t✐✈❡ ❢♦r ❊✳

✶✶

slide-69
SLIDE 69

How about Question I?

❘❡❝❛❧❧✿ ❊ = ❳❆❍ ⊕ ℓ∞✳ ❚❤❡♦r❡♠ ✭❉❑❑❑▲✮✳ ❚❤❡ ✐❞❡❛❧ K✶ ✐s t❤❡ ✉♥✐q✉❡ ♥♦♥✲✜①❡❞✱ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ❍❡♥❝❡ ❚✶,✶ ❚✶,✷ ❚✷,✶ ❚✷,✷

  • ∈ B(❊) : ❚✷,✷ ✐s str✐❝t❧② s✐♥❣✉❧❛r
  • ,

✇❤✐❝❤ ✐s ❛ ♠❛①✐♠❛❧ t✇♦✲s✐❞❡❞ ✐❞❡❛❧ ♦❢ B(❊)✱ ✐s ♥♦t ❝♦♥t❛✐♥❡❞ ✐♥ ❛♥② ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊)✳ ■♥ ♣❛rt✐❝✉❧❛r✱ t❤❡ ❛♥s✇❡r t♦ ◗✉❡st✐♦♥ ■ ✐s ♣♦s✐t✐✈❡ ❢♦r ❊✳

✶✶

slide-70
SLIDE 70

Open problems

  • ■s t❤❡r❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ❊ s✉❝❤ t❤❛t B(❊) ❝♦♥t❛✐♥s ❛

✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♥♦♥✲✜①❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧❄ ✭❘❡❝❛❧❧✿ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡✱ ❊ ❳❆❍ ✳✮ ▲❡t ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛♥② ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ s✉❝❤ t❤❛t ❈ ❑ ❝✵✳ ■s ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✜①❡❞❄ ■s t❤❡r❡ ❛ ❝♦✉♥t❡r❡①❛♠♣❧❡ ❢♦r ◗✳ ■❄ ❚❤❡r❡ ❛r❡ ✈❡r② ❢❡✇ ✭s❡♣❛r❛❜❧❡✮ ❇❛♥❛❝❤ s♣❛❝❡s ❢♦r ✇❤✐❝❤ ✇❡ ❞♦ ♥♦t ❦♥♦✇ t❤❡ ❛♥s✇❡r t♦ t❤❛t q✉❡st✐♦♥✳ ❆♥ ❡①❛♠♣❧❡✿ P✐s✐❡r✬s s♣❛❝❡ P ✇❤✐❝❤ s❛t✐s✜❡s P P P P✳ ❘❡❢❡r❡♥❝❡s ❉✳ ❇❧❡❝❤❡r ❛♥❞ ❚✳ ❑❛♥✐❛✱ ❋✐♥✐t❡ ❣❡♥❡r❛t✐♦♥ ✐♥ ❈✯✲❛❧❣❡❜r❛s ❛♥❞ ❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s✱ ✐♥ ♣r❡♣❛r❛t✐♦♥✳ ❍✳ ●✳ ❉❛❧❡s✱ ❚✳ ❑❛♥✐❛✱ ❚✳ ❑♦❝❤❛♥❡❦✱ P✳ ❑♦s③♠✐❞❡r ❛♥❞ ◆✳ ❏✳ ▲❛✉sts❡♥✱ ▼❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦rs ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡✱ s✉❜♠✐tt❡❞❀ ♣r❡♣r✐♥t ❛✈❛✐❧❛❜❧❡ t❤r♦✉❣❤ t❤❡ ❛r❳✐✈✳ ❍✳ ●✳ ❉❛❧❡s ❛♥❞ ❲✳ ➏❡❧❛③❦♦✱ ●❡♥❡r❛t♦rs ♦❢ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ✐♥ ❇❛♥❛❝❤ ❛❧❣❡❜r❛s✱ ❙t✉❞✐❛ ▼❛t❤✳ ✷✶✷ ✭✷✵✶✷✮✱ ✶✼✸✕✶✾✸✳

✶✷

slide-71
SLIDE 71

Open problems

  • ■s t❤❡r❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ❊ s✉❝❤ t❤❛t B(❊) ❝♦♥t❛✐♥s ❛

✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♥♦♥✲✜①❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧❄ ✭❘❡❝❛❧❧✿ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡✱ ❊ = ❳❆❍ ⊕ ℓ∞✳✮ ▲❡t ❊ ❈ ❑ ✱ ✇❤❡r❡ ❑ ✐s ❛♥② ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ s✉❝❤ t❤❛t ❈ ❑ ❝✵✳ ■s ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ ❊ ✜①❡❞❄ ■s t❤❡r❡ ❛ ❝♦✉♥t❡r❡①❛♠♣❧❡ ❢♦r ◗✳ ■❄ ❚❤❡r❡ ❛r❡ ✈❡r② ❢❡✇ ✭s❡♣❛r❛❜❧❡✮ ❇❛♥❛❝❤ s♣❛❝❡s ❢♦r ✇❤✐❝❤ ✇❡ ❞♦ ♥♦t ❦♥♦✇ t❤❡ ❛♥s✇❡r t♦ t❤❛t q✉❡st✐♦♥✳ ❆♥ ❡①❛♠♣❧❡✿ P✐s✐❡r✬s s♣❛❝❡ P ✇❤✐❝❤ s❛t✐s✜❡s P P P P✳ ❘❡❢❡r❡♥❝❡s ❉✳ ❇❧❡❝❤❡r ❛♥❞ ❚✳ ❑❛♥✐❛✱ ❋✐♥✐t❡ ❣❡♥❡r❛t✐♦♥ ✐♥ ❈✯✲❛❧❣❡❜r❛s ❛♥❞ ❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s✱ ✐♥ ♣r❡♣❛r❛t✐♦♥✳ ❍✳ ●✳ ❉❛❧❡s✱ ❚✳ ❑❛♥✐❛✱ ❚✳ ❑♦❝❤❛♥❡❦✱ P✳ ❑♦s③♠✐❞❡r ❛♥❞ ◆✳ ❏✳ ▲❛✉sts❡♥✱ ▼❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦rs ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡✱ s✉❜♠✐tt❡❞❀ ♣r❡♣r✐♥t ❛✈❛✐❧❛❜❧❡ t❤r♦✉❣❤ t❤❡ ❛r❳✐✈✳ ❍✳ ●✳ ❉❛❧❡s ❛♥❞ ❲✳ ➏❡❧❛③❦♦✱ ●❡♥❡r❛t♦rs ♦❢ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ✐♥ ❇❛♥❛❝❤ ❛❧❣❡❜r❛s✱ ❙t✉❞✐❛ ▼❛t❤✳ ✷✶✷ ✭✷✵✶✷✮✱ ✶✼✸✕✶✾✸✳

✶✷

slide-72
SLIDE 72

Open problems

  • ■s t❤❡r❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ❊ s✉❝❤ t❤❛t B(❊) ❝♦♥t❛✐♥s ❛

✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♥♦♥✲✜①❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧❄ ✭❘❡❝❛❧❧✿ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡✱ ❊ = ❳❆❍ ⊕ ℓ∞✳✮

  • ▲❡t ❊ = ❈(❑)✱ ✇❤❡r❡ ❑ ✐s ❛♥② ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ s✉❝❤ t❤❛t

❈(❑) ∼ = ❝✵✳ ■s ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄ ■s t❤❡r❡ ❛ ❝♦✉♥t❡r❡①❛♠♣❧❡ ❢♦r ◗✳ ■❄ ❚❤❡r❡ ❛r❡ ✈❡r② ❢❡✇ ✭s❡♣❛r❛❜❧❡✮ ❇❛♥❛❝❤ s♣❛❝❡s ❢♦r ✇❤✐❝❤ ✇❡ ❞♦ ♥♦t ❦♥♦✇ t❤❡ ❛♥s✇❡r t♦ t❤❛t q✉❡st✐♦♥✳ ❆♥ ❡①❛♠♣❧❡✿ P✐s✐❡r✬s s♣❛❝❡ P ✇❤✐❝❤ s❛t✐s✜❡s P P P P✳ ❘❡❢❡r❡♥❝❡s ❉✳ ❇❧❡❝❤❡r ❛♥❞ ❚✳ ❑❛♥✐❛✱ ❋✐♥✐t❡ ❣❡♥❡r❛t✐♦♥ ✐♥ ❈✯✲❛❧❣❡❜r❛s ❛♥❞ ❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s✱ ✐♥ ♣r❡♣❛r❛t✐♦♥✳ ❍✳ ●✳ ❉❛❧❡s✱ ❚✳ ❑❛♥✐❛✱ ❚✳ ❑♦❝❤❛♥❡❦✱ P✳ ❑♦s③♠✐❞❡r ❛♥❞ ◆✳ ❏✳ ▲❛✉sts❡♥✱ ▼❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦rs ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡✱ s✉❜♠✐tt❡❞❀ ♣r❡♣r✐♥t ❛✈❛✐❧❛❜❧❡ t❤r♦✉❣❤ t❤❡ ❛r❳✐✈✳ ❍✳ ●✳ ❉❛❧❡s ❛♥❞ ❲✳ ➏❡❧❛③❦♦✱ ●❡♥❡r❛t♦rs ♦❢ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ✐♥ ❇❛♥❛❝❤ ❛❧❣❡❜r❛s✱ ❙t✉❞✐❛ ▼❛t❤✳ ✷✶✷ ✭✷✵✶✷✮✱ ✶✼✸✕✶✾✸✳

✶✷

slide-73
SLIDE 73

Open problems

  • ■s t❤❡r❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ❊ s✉❝❤ t❤❛t B(❊) ❝♦♥t❛✐♥s ❛

✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♥♦♥✲✜①❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧❄ ✭❘❡❝❛❧❧✿ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡✱ ❊ = ❳❆❍ ⊕ ℓ∞✳✮

  • ▲❡t ❊ = ❈(❑)✱ ✇❤❡r❡ ❑ ✐s ❛♥② ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ s✉❝❤ t❤❛t

❈(❑) ∼ = ❝✵✳ ■s ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄

  • ■s t❤❡r❡ ❛ ❝♦✉♥t❡r❡①❛♠♣❧❡ ❢♦r ◗✳ ■❄ ❚❤❡r❡ ❛r❡ ✈❡r② ❢❡✇ ✭s❡♣❛r❛❜❧❡✮ ❇❛♥❛❝❤

s♣❛❝❡s ❢♦r ✇❤✐❝❤ ✇❡ ❞♦ ♥♦t ❦♥♦✇ t❤❡ ❛♥s✇❡r t♦ t❤❛t q✉❡st✐♦♥✳ ❆♥ ❡①❛♠♣❧❡✿ P✐s✐❡r✬s s♣❛❝❡ P ✇❤✐❝❤ s❛t✐s✜❡s P ⊗π P = P ⊗ε P✳ ❘❡❢❡r❡♥❝❡s ❉✳ ❇❧❡❝❤❡r ❛♥❞ ❚✳ ❑❛♥✐❛✱ ❋✐♥✐t❡ ❣❡♥❡r❛t✐♦♥ ✐♥ ❈✯✲❛❧❣❡❜r❛s ❛♥❞ ❍✐❧❜❡rt ❈✯✲♠♦❞✉❧❡s✱ ✐♥ ♣r❡♣❛r❛t✐♦♥✳ ❍✳ ●✳ ❉❛❧❡s✱ ❚✳ ❑❛♥✐❛✱ ❚✳ ❑♦❝❤❛♥❡❦✱ P✳ ❑♦s③♠✐❞❡r ❛♥❞ ◆✳ ❏✳ ▲❛✉sts❡♥✱ ▼❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦rs ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡✱ s✉❜♠✐tt❡❞❀ ♣r❡♣r✐♥t ❛✈❛✐❧❛❜❧❡ t❤r♦✉❣❤ t❤❡ ❛r❳✐✈✳ ❍✳ ●✳ ❉❛❧❡s ❛♥❞ ❲✳ ➏❡❧❛③❦♦✱ ●❡♥❡r❛t♦rs ♦❢ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ✐♥ ❇❛♥❛❝❤ ❛❧❣❡❜r❛s✱ ❙t✉❞✐❛ ▼❛t❤✳ ✷✶✷ ✭✷✵✶✷✮✱ ✶✼✸✕✶✾✸✳

✶✷

slide-74
SLIDE 74

Open problems and references

  • ■s t❤❡r❡ ❛ s❡♣❛r❛❜❧❡ ❇❛♥❛❝❤ s♣❛❝❡ ❊ s✉❝❤ t❤❛t B(❊) ❝♦♥t❛✐♥s ❛

✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♥♦♥✲✜①❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧❄ ✭❘❡❝❛❧❧✿ ✐♥ t❤❡ ❡①❛♠♣❧❡ ❛❜♦✈❡✱ ❊ = ❳❆❍ ⊕ ℓ∞✳✮

  • ▲❡t ❊ = ❈(❑)✱ ✇❤❡r❡ ❑ ✐s ❛♥② ✐♥✜♥✐t❡✱ ❝♦♠♣❛❝t ♠❡tr✐❝ s♣❛❝❡ s✉❝❤ t❤❛t

❈(❑) ∼ = ❝✵✳ ■s ❡❛❝❤ ✜♥✐t❡❧②✲❣❡♥❡r❛t❡❞✱ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧ ♦❢ B(❊) ✜①❡❞❄

  • ■s t❤❡r❡ ❛ ❝♦✉♥t❡r❡①❛♠♣❧❡ ❢♦r ◗✳ ■❄ ❚❤❡r❡ ❛r❡ ✈❡r② ❢❡✇ ✭s❡♣❛r❛❜❧❡✮ ❇❛♥❛❝❤

s♣❛❝❡s ❢♦r ✇❤✐❝❤ ✇❡ ❞♦ ♥♦t ❦♥♦✇ t❤❡ ❛♥s✇❡r t♦ t❤❛t q✉❡st✐♦♥✳ ❆♥ ❡①❛♠♣❧❡✿ P✐s✐❡r✬s s♣❛❝❡ P ✇❤✐❝❤ s❛t✐s✜❡s P ⊗π P = P ⊗ε P✳ ❘❡❢❡r❡♥❝❡s

  • ❉✳ ❇❧❡❝❤❡r ❛♥❞ ❚✳ ❑❛♥✐❛✱ ❋✐♥✐t❡ ❣❡♥❡r❛t✐♦♥ ✐♥ ❈✯✲❛❧❣❡❜r❛s ❛♥❞ ❍✐❧❜❡rt

❈✯✲♠♦❞✉❧❡s✱ ✐♥ ♣r❡♣❛r❛t✐♦♥✳

  • ❍✳ ●✳ ❉❛❧❡s✱ ❚✳ ❑❛♥✐❛✱ ❚✳ ❑♦❝❤❛♥❡❦✱ P✳ ❑♦s③♠✐❞❡r ❛♥❞ ◆✳ ❏✳ ▲❛✉sts❡♥✱

▼❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ♦❢ t❤❡ ❇❛♥❛❝❤ ❛❧❣❡❜r❛ ♦❢ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦rs ♦♥ ❛ ❇❛♥❛❝❤ s♣❛❝❡✱ s✉❜♠✐tt❡❞❀ ♣r❡♣r✐♥t ❛✈❛✐❧❛❜❧❡ t❤r♦✉❣❤ t❤❡ ❛r❳✐✈✳

  • ❍✳ ●✳ ❉❛❧❡s ❛♥❞ ❲✳ ➏❡❧❛③❦♦✱ ●❡♥❡r❛t♦rs ♦❢ ♠❛①✐♠❛❧ ❧❡❢t ✐❞❡❛❧s ✐♥ ❇❛♥❛❝❤

❛❧❣❡❜r❛s✱ ❙t✉❞✐❛ ▼❛t❤✳ ✷✶✷ ✭✷✵✶✷✮✱ ✶✼✸✕✶✾✸✳

✶✷