❆♣♣❧✐❝❛t✐♦♥ ♦❢ t♦r✐❝ ✈❛r✐❡t✐❡s ✐♥ ❝♦❞✐♥❣ t❤❡♦r② P❡t❡r ❇❡❡❧❡♥ ❚❡❝❤♥✐❝❛❧ ❯♥✐✈❡rs✐t② ♦❢ ❉❡♥♠❛r❦ ▲❡✉✈❡♥✱ ❏✉♥❡ ✷✵✶✶ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
♥ ❚❤❡ ❍❛♠♠✐♥❣ ✇❡✐❣❤t ✇ ❍ ♦❢ ❛ q ✐s ❞❡✜♥❡❞ ❛s✿ ✇ ❍ ❛ ❞ ❍ ❛ ✵ ✇ ❍ ❛ ❡q✉❛❧s t❤❡ ♥✉♠❜❡r ♦❢ ♥♦♥③❡r♦ ❝♦♦r❞✐♥❛t❡s ♦❢ ❛ ✳ ❊rr♦r✲❝♦rr❡❝t✐♥❣ ❜❧♦❝❦ ❝♦❞❡s✳ ▲❡t F q ❜❡ t❤❡ ✜♥✐t❡ ✜❡❧❞ ✇✐t❤ q ❡❧❡♠❡♥ts ❆ ❧✐♥❡❛r ❡rr♦r✲❝♦rr❡❝t✐♥❣ ❜❧♦❝❦ ❝♦❞❡ ✐s ❛ ❧✐♥❡❛r s✉❜s♣❛❝❡ ❈ ⊂ F ♥ q ✳ ❚❤❡ ✈❡❝t♦r s♣❛❝❡ F ♥ q ❝❛♥ ❜❡ t✉r♥❡❞ ✐♥t♦ ❛ ♠❡tr✐❝ s♣❛❝❡ ✉s✐♥❣ t❤❡ ❍❛♠♠✐♥❣✲♠❡tr✐❝ ❞ ❍ ✿ ✐❢ ❛ = ( ❛ ✶ , . . . , ❛ ♥ ) ❛♥❞ ❜ = ( ❜ ✶ , . . . , ❜ ♥ ) ✱ t❤❡♥ ❞ ❍ ( ❛ , ❜ ) = # { ✐ | ❛ ✐ � = ❜ ✐ } . P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❊rr♦r✲❝♦rr❡❝t✐♥❣ ❜❧♦❝❦ ❝♦❞❡s✳ ▲❡t F q ❜❡ t❤❡ ✜♥✐t❡ ✜❡❧❞ ✇✐t❤ q ❡❧❡♠❡♥ts ❆ ❧✐♥❡❛r ❡rr♦r✲❝♦rr❡❝t✐♥❣ ❜❧♦❝❦ ❝♦❞❡ ✐s ❛ ❧✐♥❡❛r s✉❜s♣❛❝❡ ❈ ⊂ F ♥ q ✳ ❚❤❡ ✈❡❝t♦r s♣❛❝❡ F ♥ q ❝❛♥ ❜❡ t✉r♥❡❞ ✐♥t♦ ❛ ♠❡tr✐❝ s♣❛❝❡ ✉s✐♥❣ t❤❡ ❍❛♠♠✐♥❣✲♠❡tr✐❝ ❞ ❍ ✿ ✐❢ ❛ = ( ❛ ✶ , . . . , ❛ ♥ ) ❛♥❞ ❜ = ( ❜ ✶ , . . . , ❜ ♥ ) ✱ t❤❡♥ ❞ ❍ ( ❛ , ❜ ) = # { ✐ | ❛ ✐ � = ❜ ✐ } . ❚❤❡ ❍❛♠♠✐♥❣ ✇❡✐❣❤t ✇ ❍ ♦❢ ❛ ∈ F ♥ q ✐s ❞❡✜♥❡❞ ❛s✿ ✇ ❍ ( ❛ ) = ❞ ❍ ( ❛ , ✵ ) . ✇ ❍ ( ❛ ) ❡q✉❛❧s t❤❡ ♥✉♠❜❡r ♦❢ ♥♦♥③❡r♦ ❝♦♦r❞✐♥❛t❡s ♦❢ ❛ ✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❈ ✐s s❛✐❞ t♦ ❜❡ ❛♥ ♥ ❦ ❞ ❝♦❞❡ ♦✈❡r q ❘❡s❡❛r❝❤ q✉❡st✐♦♥✿ ❣✐✈❡♥ q ✱ ♥ ❛♥❞ ❦ ✱ ✇❤❛t ✐s t❤❡ ❧❛r❣❡st ♣♦ss✐❜❧❡ ✈❛❧✉❡ ❢♦r ❞ ❄ ♥ ❘❡❧❡✈❛♥t ❢♦r ❛♣♣❧✐❝❛t✐♦♥s✿ ●✐✈❡♥ ❛ q ❛♥❞ ❝ ❈ s✉❝❤ t❤❛t ❞ ❍ ❛ ❝ ❞ ✷✱ t❤❡♥ ❝ ✐s t❤❡ ✉♥✐q✉❡ ❝❧♦s❡st ❝♦❞❡✇♦r❞ ❢r♦♠ ❈ t♦ ❛ ✳ ❚❤❡ ❝♦❞❡ ❝❛♥ t❤❡♥ ❜❡ ✉s❡❞ t♦ ❝♦rr❡❝t ❞ ✶ ✷ ❡rr♦rs✳ ❇❛s✐❝ ♣❛r❛♠❡t❡rs ♦❢ ❈ ⊂ F ♥ q ✳ • ❧❡♥❣t❤ ♥ • ❞✐♠❡♥s✐♦♥ ❦ = ❞✐♠ F q ( ❈ ) • ♠✐♥✐♠✉♠ ❞✐st❛♥❝❡ ❞ = ♠✐♥ { ✇ ❍ ( ❝ ) | ❝ ∈ ❈ , ❝ � = ✵ } ✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❘❡s❡❛r❝❤ q✉❡st✐♦♥✿ ❣✐✈❡♥ q ✱ ♥ ❛♥❞ ❦ ✱ ✇❤❛t ✐s t❤❡ ❧❛r❣❡st ♣♦ss✐❜❧❡ ✈❛❧✉❡ ❢♦r ❞ ❄ ♥ ❘❡❧❡✈❛♥t ❢♦r ❛♣♣❧✐❝❛t✐♦♥s✿ ●✐✈❡♥ ❛ q ❛♥❞ ❝ ❈ s✉❝❤ t❤❛t ❞ ❍ ❛ ❝ ❞ ✷✱ t❤❡♥ ❝ ✐s t❤❡ ✉♥✐q✉❡ ❝❧♦s❡st ❝♦❞❡✇♦r❞ ❢r♦♠ ❈ t♦ ❛ ✳ ❚❤❡ ❝♦❞❡ ❝❛♥ t❤❡♥ ❜❡ ✉s❡❞ t♦ ❝♦rr❡❝t ❞ ✶ ✷ ❡rr♦rs✳ ❇❛s✐❝ ♣❛r❛♠❡t❡rs ♦❢ ❈ ⊂ F ♥ q ✳ • ❧❡♥❣t❤ ♥ • ❞✐♠❡♥s✐♦♥ ❦ = ❞✐♠ F q ( ❈ ) • ♠✐♥✐♠✉♠ ❞✐st❛♥❝❡ ❞ = ♠✐♥ { ✇ ❍ ( ❝ ) | ❝ ∈ ❈ , ❝ � = ✵ } ✳ ❈ ✐s s❛✐❞ t♦ ❜❡ ❛♥ [ ♥ , ❦ , ❞ ] ❝♦❞❡ ♦✈❡r F q P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
♥ ❘❡❧❡✈❛♥t ❢♦r ❛♣♣❧✐❝❛t✐♦♥s✿ ●✐✈❡♥ ❛ q ❛♥❞ ❝ ❈ s✉❝❤ t❤❛t ❞ ❍ ❛ ❝ ❞ ✷✱ t❤❡♥ ❝ ✐s t❤❡ ✉♥✐q✉❡ ❝❧♦s❡st ❝♦❞❡✇♦r❞ ❢r♦♠ ❈ t♦ ❛ ✳ ❚❤❡ ❝♦❞❡ ❝❛♥ t❤❡♥ ❜❡ ✉s❡❞ t♦ ❝♦rr❡❝t ❞ ✶ ✷ ❡rr♦rs✳ ❇❛s✐❝ ♣❛r❛♠❡t❡rs ♦❢ ❈ ⊂ F ♥ q ✳ • ❧❡♥❣t❤ ♥ • ❞✐♠❡♥s✐♦♥ ❦ = ❞✐♠ F q ( ❈ ) • ♠✐♥✐♠✉♠ ❞✐st❛♥❝❡ ❞ = ♠✐♥ { ✇ ❍ ( ❝ ) | ❝ ∈ ❈ , ❝ � = ✵ } ✳ ❈ ✐s s❛✐❞ t♦ ❜❡ ❛♥ [ ♥ , ❦ , ❞ ] ❝♦❞❡ ♦✈❡r F q ❘❡s❡❛r❝❤ q✉❡st✐♦♥✿ ❣✐✈❡♥ q ✱ ♥ ❛♥❞ ❦ ✱ ✇❤❛t ✐s t❤❡ ❧❛r❣❡st ♣♦ss✐❜❧❡ ✈❛❧✉❡ ❢♦r ❞ ❄ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❇❛s✐❝ ♣❛r❛♠❡t❡rs ♦❢ ❈ ⊂ F ♥ q ✳ • ❧❡♥❣t❤ ♥ • ❞✐♠❡♥s✐♦♥ ❦ = ❞✐♠ F q ( ❈ ) • ♠✐♥✐♠✉♠ ❞✐st❛♥❝❡ ❞ = ♠✐♥ { ✇ ❍ ( ❝ ) | ❝ ∈ ❈ , ❝ � = ✵ } ✳ ❈ ✐s s❛✐❞ t♦ ❜❡ ❛♥ [ ♥ , ❦ , ❞ ] ❝♦❞❡ ♦✈❡r F q ❘❡s❡❛r❝❤ q✉❡st✐♦♥✿ ❣✐✈❡♥ q ✱ ♥ ❛♥❞ ❦ ✱ ✇❤❛t ✐s t❤❡ ❧❛r❣❡st ♣♦ss✐❜❧❡ ✈❛❧✉❡ ❢♦r ❞ ❄ ❘❡❧❡✈❛♥t ❢♦r ❛♣♣❧✐❝❛t✐♦♥s✿ ●✐✈❡♥ ❛ ∈ F ♥ q ❛♥❞ ❝ ∈ ❈ s✉❝❤ t❤❛t ❞ ❍ ( ❛ , ❝ ) < ❞ / ✷✱ t❤❡♥ ❝ ✐s t❤❡ ✉♥✐q✉❡ ❝❧♦s❡st ❝♦❞❡✇♦r❞ ❢r♦♠ ❈ t♦ ❛ ✳ ❚❤❡ ❝♦❞❡ ❝❛♥ t❤❡♥ ❜❡ ✉s❡❞ t♦ ❝♦rr❡❝t ⌊ ( ❞ − ✶ ) / ✷ ⌋ ❡rr♦rs✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❚❤❡ r❡❝❡✐✈❡r r❡❝❡✐✈❡s ❛ ♥♦✐s② ✈❡rs✐♦♥ ♦❢ ❝ ✱ ♥❛♠❡❧② r ❝ ❡ ✳ ❚❤❡ ♣r♦❝❡ss ♦❢ r❡❝♦✈❡r✐♥❣ t❤❡ s❡♥❞ ❝♦❞❡✇♦r❞ ❝ ✭✐❢ ♣♦ss✐❜❧❡✮ ❛t t❤❡ r❡❝❡✐✈✐♥❣ ❡♥❞ ✐s t❤❡ ❞❡❝♦❞✐♥❣ st❡♣✳ ❋✐❣✉r❡✿ ❆ ♠♦❞❡❧ ❢♦r ❝♦♠♠✉♥✐❝❛t✐♦♥ ❚❤❡ tr❛♥s♠✐tt❡r s❡♥❞s ♦✉t ❛ ❝♦❞❡✇♦r❞ ❝ ✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❚❤❡ ♣r♦❝❡ss ♦❢ r❡❝♦✈❡r✐♥❣ t❤❡ s❡♥❞ ❝♦❞❡✇♦r❞ ❝ ✭✐❢ ♣♦ss✐❜❧❡✮ ❛t t❤❡ r❡❝❡✐✈✐♥❣ ❡♥❞ ✐s t❤❡ ❞❡❝♦❞✐♥❣ st❡♣✳ ❋✐❣✉r❡✿ ❆ ♠♦❞❡❧ ❢♦r ❝♦♠♠✉♥✐❝❛t✐♦♥ ❚❤❡ tr❛♥s♠✐tt❡r s❡♥❞s ♦✉t ❛ ❝♦❞❡✇♦r❞ ❝ ✳ ❚❤❡ r❡❝❡✐✈❡r r❡❝❡✐✈❡s ❛ ♥♦✐s② ✈❡rs✐♦♥ ♦❢ ❝ ✱ ♥❛♠❡❧② r = ❝ + ❡ ✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❋✐❣✉r❡✿ ❆ ♠♦❞❡❧ ❢♦r ❝♦♠♠✉♥✐❝❛t✐♦♥ ❚❤❡ tr❛♥s♠✐tt❡r s❡♥❞s ♦✉t ❛ ❝♦❞❡✇♦r❞ ❝ ✳ ❚❤❡ r❡❝❡✐✈❡r r❡❝❡✐✈❡s ❛ ♥♦✐s② ✈❡rs✐♦♥ ♦❢ ❝ ✱ ♥❛♠❡❧② r = ❝ + ❡ ✳ ❚❤❡ ♣r♦❝❡ss ♦❢ r❡❝♦✈❡r✐♥❣ t❤❡ s❡♥❞ ❝♦❞❡✇♦r❞ ❝ ✭✐❢ ♣♦ss✐❜❧❡✮ ❛t t❤❡ r❡❝❡✐✈✐♥❣ ❡♥❞ ✐s t❤❡ ❞❡❝♦❞✐♥❣ st❡♣✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
❲❡ ❞❡♥♦t❡ ❜② ❱ q t❤❡ s❡t ♦❢ r❛t✐♦♥❛❧ ♣♦✐♥ts ♦❢ ❱ ❛♥❞ ❡♥✉♠❡r❛t❡ ❛ s✉❜s❡t ♦❢ t❤❡s❡ ❛s P ✶ P ♥ ✭ ♥ ❱ q ✮✳ ▲❡t ▲ q ❳ ✶ ❳ ♠ ■ ❜❡ ❛ ❧✐♥❡❛r s✉❜s♣❛❝❡✱ t❤❡♥ ♦♥❡ ❝❛♥ ❞❡✜♥❡ ❈ ▲ ❢ P ✶ ❢ P ♥ ❢ ▲ ❆✐♠✿ ❊st✐♠❛t❡ t❤❡ ❜❛s✐❝ ♣❛r❛♠❡t❡rs ♦❢ t❤❡ ❝♦❞❡ ❈ ▲ ✳ ❆❧❣❡❜r❛✐❝ ❣❡♦♠❡tr② ❛♥❞ ❝♦❞✐♥❣ t❤❡♦r② ▲❡t ❱ / F q ❛♥ ❛✣♥❡ ❛❧❣❡❜r❛✐❝ ✈❛r✐❡t② ❞❡✜♥❡❞ ♦✈❡r F q ❊①♣❧✐❝✐t❧②✿ ❱ = ❱ ( ■ ) ✱ ✇✐t❤ ■ ❛ ♣r✐♠❡ ✐❞❡❛❧ ■ ⊂ F q [ ❳ ✶ , . . . , ❳ ♠ ] ✳ P❡t❡r ❇❡❡❧❡♥ ❚♦r✐❝ ✈❛r✐❡t✐❡s ❛♥❞ ❝♦❞❡s
Recommend
More recommend