Aaud Hyllad Normatv aksomatkk avedt på spørsmålet om rettferdg valgordg Forum for matematske perler (og kurosteter) Isttutt for matematske fag, NTNU 8. jauar 2008
Iledg Hva er e rettferdg valgordg? Hva er e god ordg for å fordele rettgheter og plkter? Hva er, mer geerelt, e god ordg for å treffe beslutger. Dette er ormatve spørsmål som kke har objektvt rktge svar. Systematsk aalyse, ofte formulert matematsk, ka være e støtte for take og bdra tl avklarg. NTNU, 8. jauar 2008 2
Normatv aksomatkk Itutve oppfatger om prspper for rettferdghet ka ofte formuleres presst, som «ormatve aksomer». Ma utleder kosekveser av dsse og fer ut hvorda de formulerte prsppee ka realseres, evetuelt at prsppee er uforeelge. I sste tlfelle må de tutve oppfatgee revderes. Resultatee må også kofroteres med tutve oppfatger om hva som er rktg eller rettferdg kokrete saker. Ideelt år ma fram tl «refleksv lkevekt», der oppfatger om prspper og ekelttlfeller er kosstete. NTNU, 8. jauar 2008 3
Tradsjoell teor for kollektve beslutger Igetg Bbele om valg og voterger; ge teor gresk atkk Romersk atkk: Plus d.y. (63 ca.3), beslutger Seatet Mddelaldere: Ncolaus Casaus (40-464) om valg av tysk-romersk keser, Ramo Llull (232 35) Set 700-tall: Etablerge av USA, de fraske revolusjo. Borda (733 799), Codorcet (743 794); syklsk flertall Charles Lutwdge Dodgso (832 898), alas Lews Carroll NTNU, 8. jauar 2008 4
Modere «socal choce theory» Mage egatve resultater, «umulghetsteoremer» «Demokrat er umulg», Arrow (950, 963) «Ærlghet ka kke vare legst», Gbbard (973), Satterthwate (975) E god overskt Se (970) NTNU, 8. jauar 2008 5
Forholdstallsvalg Flertallsvalg mot forholdstallsvalg Argumeter for avvk fra proporsjoaltet; sperregrese Madatfordelg på flere våer; utjevgsmadater Poltsk fordelg / geografsk fordelg Norge (folketall og areal), USA (Represetathuset) NTNU, 8. jauar 2008 6
Notasjo Et stemmetall er et elemet megde V, der V eller V. Atall parter og madater blr beteget k og, der k og er heltall med k 2 og. k Mulge madatfordelger: Tk, r r, r2,..., rk r, j rj E madatfordelgsmetode (eller bare metode) er e fuksjo F defert på vektorer k av forme kx, ; der x x, x2,..., x k V, slk at F k, ; x T F kx, ; r betyr r F k, ; x, F kx, ; r betyr F kx, ; r. k, NTNU, 8. jauar 2008 7
Største brøks metode k x La X j x j og y for alle. Vektore y y, y2,..., yk represeterer X "øyaktg proporsjoaltet". Tallet y ka deles e heltallsdel z y y, der 0 z. G første omgag y og e brøkdel y madater tl part. Da er det alt delt ut k k m y madater, slk at det gjestår h m z madater, 0 h k. F h parter der brøkdele z er størst. G ytterlgere ett madat tl hvert av dsse. Dette deferer metode F SB. Dersom z z j for j, er #FSB kx, ; mulg. NTNU, 8. jauar 2008 8
Mmerg av avstad Det ka syes rmelg å velge de r T k, som mmerer avstade mellom r og y. Største brøks metode realserer dee take. Mage ulke avstadsmål gr samme madatfordelg. Resultatet blr F SB både dersom avstade mellom y og r blr målt ved absoluttverdorme y r, og om ma bruker eukldsk avstad. Mer geerelt blr resultatet det samme om p er et reelt tall og avstade mellom y og r er gtt ved k p p y r. k NTNU, 8. jauar 2008 9
«Alabama-paradokset» Brudd på moototet madattall: F 3,3; 32,29,39,, ; X 300; y,32; y2,29; y3 0,39; h SB F 3,4; 32,29,39 2,2,0 ; X 300; y,76; y2,72; y3 0,52; h 2 SB Et beslektet feome, brudd på kosstes: F 3,2; 38,42,20,,0 ; X 200; y,38; y2 0,42; y3 0,2; h SB F 2,2; 38,42 2,0 ; X 80; y,53; y2 0,47; h SB NTNU, 8. jauar 2008 0
Aksomer Del I: Lte kotroverselle aksomer, relevate for alle k 2 Aksom SU: Skalauavhegghet For alle V og alle kx, ; : F k, ; x F k, ; x La være e permutasjo på,2,...,k og a a, a2,..., ak e vektor av legde k. Sett a a, a,..., a. 2 k Aksom A: Aoymtet For alle permutasjoer F på,2,...,k, alle k x V og alle T k, k, ; x r F k, ; x r r : NTNU, 8. jauar 2008
Aksomer Del 2: Lte kotroverselle aksomer, bare avedt for k 2 Ved SU ka otasjoe forekles. For x V og 0 x, G, x F 2, ; x, x Aksom MS: Moototet stemmetall For alle og alle xx, ' V med 0 x x ' : G, x r, r & G, x' s, s r s Aksom EP: Eksakt proporsjoaltet For alle og alle : G,, NTNU, 8. jauar 2008 2
Tlfellet k 2, fast () For alle og alle 0 : A x V 0 x & G, x, (2) For alle og alle 0 : x A x A ved aksom A. (3) A for ved aksom EP. Ved (2), A0 A. (4) For 0 gjelder sup A f A. Dette gjelder også for 0, år A. 0 (5) Aksom MS gr '& x A & x' A ' x x', slk at megdee 0,,..., A A A lgger pet etter hveradre. Vdere eholder A pukt, og 0 A x V 0 x. (6) For alle og alle 0, defer a slk: a 0 0, a f A for, a sup A, a (7) For alle og alle 0, a a ved (2) og (6). A høyst ett NTNU, 8. jauar 2008 3
(8) A 0 a 0, A 0 a 0. (9) For alle, 0 a0 a... a a. (0) For alle og alle 0 : a a, ved aksom EP for. () For alle og alle 0 : a a a a. Dette følger av (6) for 0,. For gjelder a a A, og resultatet følger. (2) For alle og alle 0 : a x a G, x,. Det ebærer at #G, 0,,...,, x x a a a a. (3) La x V. F 2, ; x, x G,,,, for odde 2 2 2 2 2 ; F 2, ; x, x G,, for lke. 2 2 2 NTNU, 8. jauar 2008 4
Aksomer Del 3: Et sterkt og kaskje kotroverselt aksom Aksom K: Kosstes k For alle k 2 og, alle x x, x2,..., x k V og alle r= r, r2,..., r k T k, : F k, ; x r F 2, r r ; x, x r, r 2 2 2 Aksomet kytter samme madatfordelge for forskjellge verder av k. Dersom det kke gjelder, er F på e måte ulke metoder for forskjellg k. Ved aksom A ka koklusjoe geeralseres tl F 2, r rj; x, x j r, r j for alle og j med j k. Største brøks metode oppfyller kke betgelse; se eksempel ovefor. NTNU, 8. jauar 2008 5
Moototet madattall Lemma For alle og alle 0 : a a a Dette ebærer at «Alabama-paradokset» kke ka forekomme for k 2. Dgresjo: 2 For største brøks metode er a 2 og. Dsse tallee oppfyller koklusjoe lemma. NTNU, 8. jauar 2008 6
Bevssksse m Ata a a og velg x med a x a og x a j for m, og alle aktuelle j. Av (9) og (2) følger (4) G, x F 2, ; x, x r, r, der r. (5) G, x F 2, ; x, x s, s, der s. F t, t2, t3, t4 T 4,2 slk at F 4,2 ; x, x, x, x t, t2, t3, t 4. Av aksom K følger F 2, t t2; x, x t, t 2. Da gr (3) at t t 2, og ma ka ute tap av geeraltet ata t t 2. Tlsvarede er t 3 t 4, mes t 3 t 4 ka atas. Av dette følger t t 3 og t 2 t 4. Kosstes sammeholdt med (4) og (5) medfører t r; t s; t r ; t s. Det strder mot t 3 t 4, og da 2 3 4 bevset for a a er fullført. Av (7) følger a a a a ; sste ulkhet følger av (6) for 0 og ellers av det som ettopp er bevst. Geeralserg: j j a j a a for alle heltall, j og der størrelsee er defert. NTNU, 8. jauar 2008 7
Represetasjo av svært små eheter Det følger av (7) at a 0, me er a 0 for 2? 2 Lemma 2 For 2, a 0 a 0 2 Bevssksse 2 2 Lemma gr a 0 a 0 for 2. Ata 0 a og a 0 for 2, og velg x slk 2 at 0 x a og x. Velg t, t2, t 3 slk at F 3, ; x, x, x t, t2, t 3. 2 Gjetatt avedelse av aksom K gr e selvmotsgelse. NTNU, 8. jauar 2008 8
Svært små eheter blr kke represetert (6) Ata a 0 for alle 2. a (7) Defer, for, d a. Det følger av (7) og (6) at d er veldefert for alle. Lemma og (7) gr d d d... 2 3 NTNU, 8. jauar 2008 9
Lemma 3 a La, og j 0. Da er a d dj. Bevssksse a Ata a d d j. (Bevset for det motsatte tlfellet er tlsvarede.) Velg x og x' slk a x at x d, x' d j og a x '. Velg t, t2, t 3 slk at F 3, ;, x, x' t, t2, t 3. Gjetatt avedelse av aksom K gr e selvmotsgelse. Når metode F oppfyller de fem aksomee og (6), vl altså a for bestemme alle tallee a for og 0 og dermed bestemme metode for k 2. NTNU, 8. jauar 2008 20
Teorem La metode F oppfylle de fem aksomee og (6), og la d for være gtt ved (7). Da gjelder, for alle kx, ; og alle, j k : x x j F k, ; x r d d Dette følger okså drekte av aksom K og tdlgere resultater. Dee klasse av madatfordelgsmetoder blr kalt delgstallsmetoder. Mage metoder som er bruk prakss, er av dee type. x Ma bereger tlstrekkelg mage kvoteter av type, order dem etter størrelse d r og deler ut madatee ett etter ett hehold tl ordge av dsse kvotetee. r r j NTNU, 8. jauar 2008 2
Speselle delgstallsmetoder Sate-Laguës metode: d 2 for. Dee faller samme med største brøks metode for k 2, og er ellers de kosstete metode som lgger ærmest F SB. De speselle skadavske varate, med d,4 og d 2 for 2, har kapt oe prspell begruelse, me skulle gjøre det oe vaskelgere for små parter å bl represetert. NTNU, 8. jauar 2008 22
d'hodts metode: d for. Dee oppfyller følgede betgelse, og er de eeste delgstallsmetode som gjør det: F k, ; x, x, x,..., x r, r, r,..., r & F k, ; x x, x,..., x s, s,..., s 2 3 k 2 3 k 2 3 k 3 k r r s r r 2 2 To parter som slår seg samme, taper aldr madat og ver høyst ett. NTNU, 8. jauar 2008 23
Selv svært små eheter blr alltd represetert (8) Ata a 0 for alle 2. På samme måte som fora ka ma defere d for 2. Tlsvarede resultater ka bevses. Så lege k får hver av de største ehetee ett madat hver; deretter går ma fram som tdlgere beskrevet. Represetathuset USA: For 2, d Her er altså d det geometrske gjeomsttet av og. Sate-Laguës metode ka ekvvalet beskrves med d, slk at d er det artmetske gjeomsttet 2 av og. NTNU, 8. jauar 2008 24
Referaser Arrow, Keeth.J. (950): "A Dffculty the Cocept of Socal Welfare", Joural of Poltcal Ecoomy 58(4) (August, 950), 328-346 Arrow, Keeth J. (95): Socal Choce ad Idvdual Values. Wley, New York. 2. utgave 963 Gbbard, Alla (973): "Mapulato of votg schemes: a geeral result", Ecoometrca, 4(4), 587 60 Hyllad, Aaud: "Voterge om hovedflyplass: Beslutgsteoretsk aalyse av stortgsbehadlge 8. oktober 992", Stortgsforhadlgee (2000-200), Dokumet r. 8, vedlegg 8 (sde 37 34) http://www.stortget.o/global/pdf/dokumetsere/2000-200/dok8-20000.pdf Hyllad, Aaud: "The Codorcet paradox theory ad practce", Elster, Jo et al. (red.): Uderstadg Choce, Explag Behavour: Essays Hoour of Ole-Jørge Skog Satterthwate, Mark A. (975): "Strategy-proofess ad Arrow's Codtos: Exstece ad Correspodece Theorems for Votg Procedures ad Socal Welfare Fuctos", Joural of Ecoomc Theory 0, 87-27 Se, Amartya (970): Collectve Choce ad Socal Welfare, Holde-Day, Sa Fracsco. Ny utgave: North Hollad/Elsever, Amsterdam, 979 NTNU, 8. jauar 2008 25