Arrow'un imkânsızlık teoremi

Arrow’un İmkansızlık Teoremi veya Arrow’un Paradoksu, oylama sistemlerinde, dereceli tercihlere dayanan ve üç ya da daha fazla seçenek sunan hiçbir oylama sisteminin belli bir takım mantıklı kıstasları aynı anda sağlayamayacağını gösterir. Bu kıstaslar, kısıtlanmamış alan, dayatmama, diktatörsüzlük, tekdüzelik ve ilgisiz alternatiflerin bağımsızlığı kıstaslarıdır ve aşağıda açıklanacaklardır.

Teorem, ismini aldığı ekonomici Kenneth Arrow tarafından doktora tezi olarak sunulmuş ve 1951 yılında yayımlanan Toplumsal Tercih ve Bireysel Değerler adlı kitabı ile popülerlik kazanmıştır. Arrow, 1972'de ekonomi alanında Nobel Ödülü'nü kazananlardan biridir.

Seçenek dökümleri çıkarılması pek çok alanda karşılaşılan bir uygulamadır. Refah ekonomisinde kabul edilebilir ve dengeli bir ekonomik çözüm bulunması, çeşitli kıstaslara dayanarak akılcı bir karara ulaşılan karar verme süreçleri, çok sayıda seçmenin oylarının değerlendirilmesi ile bir karara ulaşılan seçim sistemleri gibi örneklerde seçenek dökümleri yapılması gereksinimi oluşur.

Diktatörsüzlük: Toplumsal refah işlevi, sadece tek bir bireyin tercih sırasını dikkate alıp, diğer bireyleri görmezden gelemez. Bir başka deyişle toplumsal refah işlevi birden fazla seçmenin isteklerine duyarlıdır.

Kısıtlanmamış Alan veya Evrensellik: Toplumsal refah işlevi, mümkün olan bütün bireysel tercih sıralamalarını değerlendirerek deterministik ve eksiksiz bir toplumsal tercih sıralaması oluşturmalıdır. Bir başka deyişle, oylar bütün seçenekleri birbirine göre kıyaslayan bir sıralama şeklinde üretilmeli, oy işleme düzeneği de bütün seçmenlerin sıralamalarını (oylarını) işleyebilmeli ve bu oy dağılımı üzerinde her çalıştırılışında aynı sonucu vermelidir; sürecin hiçbir noktasında keyfiyet yoktur.

İlgisiz Alternatiflerin Bağımsızlığı (İAB): Eğer dikkatimizi sonuç kümesinin bir alt kümesine odaklarsak ve toplumsal refah işlevini sadece o alt kümeye uygularsak, elde ettiğimiz sonuç tüm kümeye uyguladığımızda elde ettiğimiz sonuçla bağdaşmalıdır. Bireylerin ilgisiz alternatiflerdeki (alt kümenin dışında kalan elemanlardaki) tercih sırasını değiştirmeleri, ilgilendiğimiz alt kümedeki toplumsal tercih sıralamasına etki etmemelidir. Bu özellik toplumsal refah işlevinin bireysel tercih profiline yanayına olan duyarlılığını azaltmak için getirilen bir kısıtlamadır.

Tekdüzelik veya Toplumsal ve Bireysel Değerlerin Azaltmayıcı İşbirliği: Eğr bir birey kendi tercih sıralamasındaki bir elemanı daha üst sıraya çıkartırsa bu eleman toplumsal tercih sırasında da ya daha üste çıkmalı ya da konumunu korumalıdır; aşağı düşemez. Bir başka deyişle bir birey, bir seçeneği daha üste çıkarmak suretiyle aşağı çekemez.

Dayatmama veya Bireyin Egemenliği: Bireysel tercih sıralamalarının sonucunda mümkün olan bütün toplumsal tercih sıralamaları oluşabilmelidir. Bu da toplumsal refah işlevinin üzerine olduğunu gösterir, sonuç kümesinde herhangi bir kısıtlama yoktur.

Arrow'un kuramına göre karar verici kurumda en az iki üye ve seçenek grubunda da en az üç seçenek bulunduğu durumda bu yukarıda anılan kıstasları aynı anda sağlayan bir toplumsal tercih işlevi tasarlamak mümkün değildir.

Pareto Verimliliği: Eğer tüm bireyler belli bir seçeneği bir başkasına yeğlerse, bu yeğleme toplumsal tercih sıralamasına da yansımak zorundadır. Bu kıstas, yine, toplumsal refah işlevinin tercih yanayına gösterdiği hassasiyeti en aza indirmek için arzu edilir.

Kuramın bu sürümü daha güçlüdür (daha zayıf koşulları vardır) zira tekdüzelik, dayatmama ve ilgisiz alternatiflerin bağımsızlığı koşulları beraberce Pareto verimliliği koşulunu sağlatır. Bununla beraber Pareto verimliliği, dayatmama ve ilgisiz alterntiflerin bağımsızlığı bereberce tekdüzelik koşulunu sağlatmayabilir.

bir sonuçlar kümesi olsun, de seçmenlerin veya karar kıstaslarının bulunduğu küme olsun. 'nın bütün tam doğrusal sıralamalarını ile gösterelim (bu küme kümesinin elemanlarının permütasyonlarını gösteren kümesine denktir).

Pareto Verimliliği, veya Oybirliği Eğer a seçeneği tüm sıralamalarında b'den önce seçilmişse a'nın derecesi tarafından da b'den önce seçilir. (Bu maddenin dayatmama özelliğini de kendiliğinden sağladığına dikkat ediniz).

İlgisiz Alternatiflerin Bağımsızlığı ve şeklindeki iki tercih yanayında, tüm i bireyleri için eğer a ve b tercih sırası 'de ve 'de aynı ise, a ve b seçeneklerinin sırası 'de ve 'de de aynıdır.

Arrow'un kuramı matematiksel bir sonuçtur, ancak sıkça "Adil bir oylama yöntemi yoktur", "Bütün dereceleme yöntemleri kusurludur" veya "Kusursuz olan yegâne oylama yöntemi diktatörlüktür" gibi matematik dışı ifadelerle dile getirilir. Bu söylemler Arrow'un sonucunu basite indirgemekte ve genelgeçer gerçekler olarak kabul görmemektedirler. Arrow'un kuramının bize söylediği şey, bir oylama düzeneğinin yukarıda sayılan koşulların hepsini aynı anda sağlamasının mümkün olmadığıdır.

Arrow, öne sürdüğü kıstaslar için "adil" sıfatını kullanmıştı. Gerçekten de, Pareto verimliliği ve dayatmama koşulları önemsiz ayrıntılar gibi görünüyor. Ancak ilgisiz alternatiflerin bağımsızlığı (İAB) kıstasını göz önüne alırsak; diyelim ki Ahmet, Kemal ve Osman liderlik için yarışmaktadırlar, ve Osman gözde adaydır. Arrow'un kuramına göre, İAB koşulunun sağlanması için örneğin Kemal'in yarış dışı kalması durumunun Osman'ı ve Ahmet'i etkilememesi gerekir. Ancak Kemal'in alacağı oyların Ahmet'e kayması sonucu seçimi Ahmet kazanmaktadır. Bu durum pek çok kişi tarafından "haksızlık" olarak yorumlanır. Ancak olmaktadır, ve Arrow'un kuramı da bu "haksız" durumların, başka bir kıstası gevşetmedikçe tümüyle önlenemeyeceğini ortaya koymaktadır. Kusursuz sistem olamamaktadır. Dolayısıyla Arrow'un kuramının ışığı doğrultusunda sorulması gereken ana soru şudur: hangi kıstası gevşetmeli?

Çeşitli kuramcılar ve meraklılar bu paradokstan çıkmak için İAB kıstasını gevşetmeyi önermişlerdir. Dereceli seçim sistemlerinin destekçileri İAB'nin gereğinden kuvvetli bir kıstas olduğunu ve gerçek hayattaki durumlarda pek tutmadığını öne sürmektedirler. Gerçekte de en kullanışlı seçim sistemlerinin çoğunda delinen kıstas İAB olmaktadır.

Dolayısıyla, Arrow'un kuramının gerçekte bize gösterdiği şey seçim düzeneğinin öyle önemsiz bir ayrıntı olmadığı, ve çoğu oylama düzeneğinin sonucunu tahmin etmekte oyun kuramının kullanılması gerektiğidir. Bu hayalkırıcı bir sonuç gibi gözükebilir, zira oyunlarda verimli bir dengelenim oluşmak zorunda değildir, örneğin bir oylama sonucunda aslında kimsenin ilk sıraya koymadığı ama yine de oy verdiği bir alternatif seçimi kazanabilir.

Aşağıdaki tartışma Arrow'un paradoksuyla başetmenin "doğru" yolununun kıstaslardan birini ortadan kaldırmakla (veya gevşetmekle) çözüleceği düşüncesi üzerine kuruludur. Bu doğrultuda İAB kriteri en doğal adaydır. Ancak başka "çıkar yol"lar da vardır.

Duncan Black, seçeneklerin değerlendirilmesinde tek bir dünya görüşünün temel alınması halinde Arrow'un bütün belitlerinin çoğunluk kuralı aracılığıyla sağlanacağını göstermiştir. Matematiksel açıdan söylersek, toplumsal refah işlevinin etki alanını uygun biçimde kısıtlarsak sorun yaşamayacağımız anlamına gelir. Örneğin, bir kurumun sorunlarını çözmek için iki ana dünya görüşü varsa ve kurumun başkan adayları kendi aralarında küçük farklar gösterdikleri halde görüş açısından bu iki ana yaklaşımdan birinin yakınında (odağında) bulunuyorsa, bu dünya görüşlerinden birini devre dışı bırakmak, Arrow'un kıstaslarının sağlanmasını sağlayabilecektir. Black'in getirdiği kısıt, yani "tek odaklı seçenek" ilkesi, alternatif kümede önceden belirlenmiş bir P doğrusal sıralaması olduğunu söyler. Her seçmenin gözde adayı bu sıralamada belli bir yerdedir ve bu gözde seçenekten uzaklaştıkça seçmen alternatiflerden soğur.

Gerçekten de pek çok toplumsal refah işlevi, etki alanlarındaki böyle bir kısıtlama sonucunda Arrow'un kıstaslarını sağlamaktadır. Ancak bu şekilde herhangi bir kısıtlama söz konusu olduğunda, eğer Arrow'un kıstaslarını sağlayan herhangi bir toplumsal refah işlevi varsa, "çoğunluğun oyu"nun da Arrow'un kıstaslarını sağlayacağı ispat edilmiştir. Dolayısıyla tek odaklı seçimlerde çeşitli açılardan en uygun seçim düzeneği "dereceli seçenekler" değil de "çoğunluğun oyu" olmaktadır.

Paradoksun "çıkar yol"larından biri de alternatifler kümesinin elemanlarını ikiye düşürmektir. Böylece ikiden fazla seçenek arasında seçim yapmak gerektiğinde, seçenekleri çiftleştiren ve çiftler halinde oy verdiren bir düzenek kurmak çok cazip bir seçenek olarak görülebilir. Bu seçenek ilk bakışta ne kadar cazip görünürse görünsün, genellikle İAB kıstasını bırakın Pareto verimliliği ilkesini dahi sağlamaktan uzaktır. Çiftlerin belirlenme sırası, sonuç üzerinde çok etkili olmaktadır. Bu aslında illâ ki kötü bir özellik sayılmaz. Pek çok spor dalında turnuva düzeneği (temel olarak bir çiftleştirme düzeneğidir) kullanılmaktadır. Bu durum zayıf takımlara önemli avantaj sağlamakta, dolayısıyla turnuvaya heyecan ve gerilim katmaktadır.

Arrow'un özgün çalışmasının ardından başka olanaksızlıklar ve olanaklılıklar tespit eden topyekûn bir kültür gelişmiştir. Örneğin toplumun tercihinin yarattığı toplumsal tercih sıralama düzeneğini, geçişlilik koşulunu değil de sadece döngüsel olmama koşulunu (eğer a, b'den büyükse ve b, c'den büyükse c, a'dan büyük değildir) sağlayacak şekilde zayıflatırsak Arrow'un kıstaslarını sağlayan toplumsal tercih kuralları oluşturmak mümkündür.

Ekonomici ve Nobel ödülü sahibi Amartya Sen başka iki alternatif daha sunmuştur. Hem geçişliliği zayıflatmayı hem de Pareto ilkesini devre dışı bırakmayı önermiştir. Arrow'un tüm kıstaslarıyla uyuşan ancak sadece yarı-geçişken sonuçlar üreten oylama sistemlerinin varlığını ortaya koymuştur.

Kendisi ayrıca "Pareto Liberali'nin İmkansızlığı" adında başka bir ilginç imkânsızlığı ortaya çıkarmıştır. (Ayrıntılar için Liberal Paradoksu maddesini inceleyiniz). Sen bu sonucun ayrıca Pareto optimumluğunun oylama sistemleri açısından gereksiz olduğunu gösterdiğini öne sürmüştür.

Yeni bir seçenek, dikkatleri farklı bir özniteliğe veya öznitelik topluluğuna odaklayabilir; bu durum örtülü ağırlıklandırmayı ve dolayısıyla önceki seçeneklerin nihai sayıl derecelerini değiştirebilir. Örneğin Hilmi'ye Ankara'da ve Trabzon'da iş teklif edilmiş olsun ve Hilmi (işlerin aynı olduğunu göz önüne alarak) gece hayatının daha canlı olması nedeniyle Ankara'yı seçmiş olsun. Bu esnada bir iş teklifi de Bursa'dan gelsin. Hilmi Bursa'nın kışlarının soğuk olacağını düşünür, ancak bu anda Ankara'nın kışlarının Trabzon'dan çok daha soğuk olacağını aklına getirir, dolayısıyla ılıman iklimi nedeniyle Trabzon'da karar kılar.

Herbert Simon, politik propagandaların halka yeni fikirlerin aşılanmasında pek etkili olmadığını ortaya koyan araştırmaların "esas olay"ı kaçırdığından bahseder; politik propagandalar seçmenlerin dikkatini zaten bildikleri belli bir takım konulara çekmekte çok etkili olabilmektedir, dolayısıyla seçmenin kararlarında dikkate alması gereken ana noktaların bunlar olduğunu düşünmelerini sağlayabilmektedir.