İki Zarf Paradoksu: Beklenen Değer Sizi Sonsuza Kadar Değiştirmeye İter mi?

Diyelim size iki kapalı zarf gösteriliyor. Birinde belirli bir miktar para var, ötekinde ise bunun tam iki katı. Hangi zarfın "büyük", hangi zarfın "küçük" olduğunu bilmiyorsunuz. Rastgele birini seçip açıyorsunuz. Diyelim içinde $X = 100$ TL var.

Sunucu size küçük bir teklif yapıyor: "İstersen şu açmadığın zarfa geçebilirsin." Bir saniye düşünüyorsunuz. Diğer zarfta ya $50$ TL var ya da $200$ TL. İki ihtimal de eşit olasılıkla görünüyor. O zaman değişimin beklenen değeri:

$\frac{1}{2}(50) + \frac{1}{2}(200) = 125 \;\text{TL}$

Yani değişerek "ortalama 25 TL daha" kazanmış gibi görünüyorsunuz. Mantıklı, değiştiriyorsunuz. Ama hemen ardından şunu fark ediyorsunuz: aynı mantık yine geçerli! Yeni elinizdeki zarftaki tutar $X'$ olsun (henüz açmadınız bile); diğeri $X'/2$ ya da $2X'$. Beklenen değer yine $1{,}25 X'$. Yine değiştirmek istiyorsunuz. Bir önceki zarfa geri dönüyorsunuz. Sonra yine, sonra yine, sonsuza dek…

Bu duruma iki zarf paradoksu denir. İlk bakışta beklenen değer hesabı bir matematiksel sihir gibi her seçimi "kazançlı" gösteriyor. Bir şeylerin yanlış olduğu açık, ama nerede?

Paradoksun anatomisi

Önce yanlış argümanı dikkatle yazalım.

"Elimde $X$ TL var. Diğer zarfta ya $X/2$ ya da $2X$ var. Eşit olasılıkla. Yani diğer zarfın beklenen değeri $0{,}5 \cdot (X/2) + 0{,}5 \cdot (2X) = 1{,}25 X$ — değiştirmek lehime."

Bu cümle iki yerden cazip:

• "Eşit olasılıkla" diyoruz çünkü hangisinin büyük zarf olduğuna dair ön bilgimiz yok.
• $X$'i sabit bir sayı olarak ele aldık ve diğerinin değerlerini onunla orantıladık.

Püf noktası tam burada saklı.

Hata 1: "Eşit olasılık" iddiası

İki zarf paradoksunda "diğer zarfta $X/2$ ya da $2X$ var, eşit olasılıkla" iddiasını dayandırmak için arka plan bir dağılım varsayımı gerekir. Yani sunucu, küçük zarfa konacak miktarı önceden ne dağılımdan seçti?

Diyelim ki sunucu küçük zarfa konacak miktarı $A$ rastgele değişkeninden seçiyor; büyük zarfa $2A$ koyuyor. Siz elinizde $X$ gördüğünüzde, gerçek soru şudur: "Bu $X$, küçük zarfın $A$ değeri midir, yoksa büyük zarfın $2A$ değeri midir?"

Bu soruya cevap, sunucunun $A$ üzerindeki dağılımına bağlıdır. Mesela:

• Eğer $A$ büyük olasılıkla küçük değerler alıyorsa, $X = 100$ gördüğünüzde bunun "büyük zarf $2A = 100$, yani $A = 50$" olma olasılığı daha yüksektir.
• Eğer $A$ büyük olasılıkla büyük değerler alıyorsa, $X = 100$ "küçük zarf $A = 100$, yani diğeri $2A = 200$" olabilir.

Önceden bilgi olmadan, eşit olasılık varsayımı haksızdır. İki zarf paradoksunun naif beklenen değer hesabı tam da bu varsayıma dayanır.

Hata 2: "X'i sabit gibi ele almak"

İkinci ve daha derin hata, $X$'i sabit bir miktar gibi formülde kullanmaktır. Aslında $X$ rastgele bir değişkendir. Hesaba katılan iki olası senaryoda $X$ farklı şeyleri temsil eder:

• $X = A$ senaryosu: küçük zarfı tutuyorsunuz, diğeri $2A$.
• $X = 2A$ senaryosu: büyük zarfı tutuyorsunuz, diğeri $A$.

Eğer iki senaryoyu eşit olasılıkla ortalarsak ve bu senaryolarda $X$'in gerçek değerinin farklı olduğunu unutursak, formül yanıltıcı olur. Doğru beklenen değer hesabı şudur:

$E[\text{diğer zarf}] = P(X = A) \cdot 2A + P(X = 2A) \cdot A$

Bu, eğer iki olasılık $1/2$ ise:

$= \frac{1}{2}(2A) + \frac{1}{2}(A) = \frac{3A}{2}$

Elinizdeki zarfın beklenen değeri ise:

$E[X] = \frac{1}{2}(A) + \frac{1}{2}(2A) = \frac{3A}{2}$

İki beklenen değer eşit. Değiştirmenin matematiksel bir avantajı yok. Paradoks çözüldü.

Niye yine de cazip geliyor?

Naif argümanın güçlü olduğu yer, "$X$ gördüm" ifadesidir. İnsan zihni, "elimde $X$ TL var, demek ki diğeri $X/2$ veya $2X$" diye düşündüğünde aslında $X$'i koşul olarak alıyor, ama $X$'i koşul alarak şartlı olasılıkları doğru hesaplamayı unutuyor.

Daha matematiksel söyleyişle: koşullu olasılık $P(\text{diğer büyük} \mid X = x)$, $X$'in dağılımına (yani sunucunun $A$ üzerindeki önsel dağılımına) bağlıdır. Bunu görmezden gelirsek hatalı bir "her zaman %25 kâr" çıkarımı yapıyoruz.

Hatta şu sezgiyi açıklamak da kolaydır: eğer "her ne görürsem değiştir" stratejisi gerçekten her seferinde lehinize olsaydı, sunucu zarar etmek için bu oyunu hiç açmazdı. Beklenen değer toplamı sıfırdır.

Bir başka bakış: "sunucu sınırlı" mı?

İlginç bir nokta var. Yukarıdaki çözüm $A$ üzerinde bir dağılım varsaydı. Peki ya $A$ hiçbir dağılım olmadan, "her olası pozitif sayı eşit olasılıkla seçilebilir" gibi tanımlanırsa? Bu durumda matematiksel olarak iyi tanımlı bir önsel dağılım yoktur; pozitif gerçek sayılar üzerinde düzgün dağılım var olamaz (toplam olasılığı sonsuz olur). Bazı modern tartışmalar, "iki zarf paradoksu"nu işte bu noktada bir uyarı olarak kullanır: "uygunsuz öncellerle" (improper priors) çalışıldığında ortaya saçma sonuçlar çıkabilir.

Modern uzantılar

İki zarf paradoksunun "görmeden değiştir" versiyonu vardır; "gördükten sonra değiştir" versiyonu vardır; "iki zarf yerine üç zarf" versiyonları vardır. Hepsinin altında aynı ana mesaj yatar:

Beklenen değer, bir önsel dağılım varsayımı gerektirir. Bu varsayım gizli kaldığında ya da yanlış yapıldığında, "ortalama olarak kazanırım" diyen mantık çürür.

Bu fikir, modern istatistik ve karar teorisinin temel taşıdır. Bir karar verirken "ortalama beklenen değerim ne?" diye sormak güzeldir, ama bunun cevabı her zaman varsayımlarınızdan beslenir.

Bir hayat dersi

İki zarf paradoksu sadece eğlenceli bir oyun değildir. Şu üç durumda gerçek hayata uzanır:

1. Yatırım kararları. Bir varlığın değerinin %50 inip %100 çıkma "eşit olasılıkla" şansı varsa, beklenen değer pozitif görünür. Ama bu olasılıkları gerçek dağılım bilgisinden değil sezgiden alıyorsanız hata yapıyor olabilirsiniz.
2. Pazarlık kararları. "Karşı taraf öneriyi kabul etmezse $X$, kabul ederse $Y$" tarzı muhakemelerde olasılıklar varsayım gerektirir.
3. Gizli ön bilgi. Bir kararı verirken farkında olmadan bir "önsel dağılım" kullanıyoruzdur. Bu öncel, çoğu zaman görünmez ve yanlış olabilir.

İki zarf paradoksu, beklenen değer kavramının kendi içinde tutarlı ama varsayım-bağımlı olduğunu sade biçimde gösterir. Önümüzdeki iki zarf bir gün gerçekten karşımıza çıkmasa da, bu uyarıyı hayatın her karar masasında hatırlamak fena olmaz.