Matematiğin elinde artık demokrasinin en inatçı özelliklerinden birini tarif eden yeni bir nesne var: içi ve dışı olmayan bir şişe.
Üç araştırmacı, Condorcet paradoksunun — bir çoğunluğun kendisini mantıksal bir döngüye sokabildiğine dair 240 yıllık gözlemin — bir Klein şişesi biçimine sahip olduğunu gösterdi. Sonucu Quanta Magazine duyurdu. Çalışma, Sydney Üniversitesi'nde doktora öğrencisi olan Ori Livson, danışmanı Mikhail Prokopenko ve Chennai Matematik Enstitüsü'nden Siddharth Pritam'a ait. Livson, Nisan 2025'te Yuliy Baryshnikov'un 1993'te önerdiği ve bilinçli olarak açık bıraktığı modelin iki ucuna bakarak başladı.
Sorunun kendisi eski. 1785'te Nicolas de Condorcet, üç veya daha fazla aday olduğunda her bir oyun tamamen tutarlı olabileceğini, ama toplamın daire çizdiğini fark etti. Seçmenlerin üçte biri Ali'yi Bora'nın, Bora'yı Can'ın önüne koyuyor; üçte biri Bora > Can > Ali; üçte biri Can > Ali > Bora. İkili karşılaştırmalarda Ali Bora'yı, Bora Can'ı, Can Ali'yi yeniyor. Kimse herkesi yenemiyor.
Kenneth Arrow 1951'de bunun ne kadar derine indiğini gösterdi. Bireysel sıralamaları kolektif bir düzene çeviren her yöntem, en az bir makul demokratik koşulu feda etmek zorunda: diktatör olmaması, ilgisiz alternatiflerden bağımsızlık, oybirliği. Hiçbir seçim sistemi bundan kaçamıyor; seçim yalnızca hangi koşulun çiğneneceği. 1980'de matematikçi Graciela Chichilnisky bir dipnotta Condorcet'in özel durumunun topolojik bir problem olabileceğini yazmıştı. Haklıymış.
Kurulum görselleştirilebiliyor. Üç adaylı bir seçimde tek bir oy, altı sıralamadan biridir. Her biri, oyun ima ettiği üç ikili karşılaştırmayı köşe kabul eden bir üçgen olarak çizilebilir. İki karşılaştırmada anlaşan iki sıralama, kenar paylaşan üçgenler üretir; birleştirilirler. Altısını birden yapıştırınca bir şerit çıkar; şeridin iki ucu da birbirine uyar, yani büküp iki ucu açık bir tüp elde edersiniz.
Baryshnikov bu tüpü Arrow teoreminin yeni bir topolojik kanıtı için kullandı. Tüpün ağızlarını görmezden geldi. Oysa ağızlar tam olarak Condorcet döngüleridir: birinde Ali > Bora, Bora > Can, Can > Ali okunur; diğerinde döngü ters yönde döner. Livson, bu tür döngülerin taş-kağıt-makas oyunundaki gibi serbest olduğu durumlarla, seçimlerdeki gibi yasak olduğu durumları ayırt eden bir model istedi.
İki ağız da aynı imkânsız şeyi söylüyor: her aday herkesin üstünde. Topolojide aynı şeyi söyleyen iki nesneyi yapıştırmak serbesttir. Ama bariz hamle — tüpü büküp ağızları buluşturarak bir simit elde etmek — işe yaramaz, çünkü uyumsuz iddialar taşıyan kenarları eşler: "Bora > Ali > Can" anlamına gelen bir kenar, "Bora > Can > Ali" anlamına gelen bir kenara yapışır. Bu dikiş, modelin kaçınmak için var olduğu çelişkiyi kendi elleriyle üretir.
Çözüm bir burulma. Ağızları aynı sırayla nokta nokta eşlemek yerine, araştırmacılar tercih sırasını ağızlardan birinde tersine çevirdi ve iki döngüyü eşdeğer kıldı. "Burulmayla yapıştırmak tek geçerli seçenek," dedi Livson. Bir şeridi burup uçlarını birleştirirseniz Möbius şeridi elde edersiniz. Bir tüpü burarsanız daha tuhaf bir şey çıkar: tek yüzlü, kenarsız, belirgin bir içi olmayan bir Klein şişesi. Üç boyutta kendini keser; matematikçiler onu dört boyutta kurar ve düzgünce kapanır.
Asıl mesele benzetmenin kendisi. Her seçmen tutarlı bir sıralama sunar, ama seçmenin tercihleri tek bir düzene sığmaz. Bir Klein şişesinin her küçük parçası iki yüzlü görünür, ama o yüzler tüm yüzey boyunca tutarlı biçimde ayırt edilemez. Parça parça anlamlı olan bir şey, parçalar birleştirilince çöker.
Bu da ekibin peşinde olduğu daha büyük soruyu doğuruyor: matematikteki diğer temel sınırlar da bir biçime kavuşturulduğunda ortak, daha derin bir geometrik açıklamayı paylaşır mı?
Seçim tasarlayanlar için pratikte hiçbir şey değişmiyor. Bir oylama sistemi seçmek hâlâ hangi makul koşulun feda edileceğini seçmek demek; topoloji bu dengeyi somutlaştırıyor ama çözmüyor. Oxford Üniversitesi'nden Iain McLean, "Bu gerçekte matematiksel bir tartışma değil," dedi. "Değerler üzerine bir tartışma." Şişe, döngünün tanımla ortadan kaldırılamayacağını gösteriyor.
