Rastgele seçilen bir sayının 1 ile başlama olasılığı nedir? Sezgisel cevap dokuzda bir, yani yaklaşık %11'dir. Ancak bu cevap yanlıştır. Gerçek dünya verilerinde, şehir nüfuslarından nehir uzunluklarına, hisse senedi fiyatlarından yıldızlar arası mesafelere kadar neredeyse tüm büyük veri kümelerinde, ilk hane dağılımı tekdüze değildir. 1 rakamı ilk hane olarak yaklaşık %30 oranında görülürken, 9 rakamı %5'ten az görülür. Bu durum, ölçü biriminden bağımsız olarak geçerlidir; nehir uzunlukları kilometre veya mil cinsinden ölçüldüğünde bile aynı eğri elde edilir.
Bu şaşırtıcı düzen, 1881'de Simon Newcomb tarafından fark edilmiş, ancak ismini 1938'de Frank Benford'dan almıştır. Newcomb, logaritma tablolarının ilk sayfalarının daha çok yıprandığını gözlemlemiş ve sayıların logaritmalarının mantislerinin eşit olasılıklı olduğunu öne sürmüştür. Benford ise 20.229 veri noktası üzerinde yaptığı sistematik çalışmayla bu yasayı doğrulamıştır. 1995'te Theodore Hill, yasanın matematiksel kanıtını sunarak, farklı dağılımlardan alınan örneklerin birleşiminin Benford Yasası'na yakınsadığını göstermiştir.
Benford Yasası'nın matematiksel formülü oldukça basittir: P(d) = log10(1 + 1/d) Bu formül, d = 1,2,...,9 için ilk hane olasılıklarını verir. Örneğin, 1 için %30,1; 2 için %17,6; 3 için %12,5; 4 için %9,7; 5 için %7,9; 6 için %6,7; 7 için %5,8; 8 için %5,1; 9 için %4,6. Bu olasılıkların toplamı %100'dür. Formülün arkasındaki temel fikir, logaritmik ölçekte sayıların ilk hanesinin, sayının logaritmasının aralığına karşılık gelmesidir. Ölçek değişmezliği, bu dağılımın neden evrensel olduğunu açıklar; birim değişikliği dağılımı etkilemez.
Sistem Güvenliği
Benford Yasası, sadece gerçek dünya verilerinde değil, Fibonacci dizisi gibi tamamen matematiksel dizilerde de geçerlidir. Bu, yasanın ampirik bir tesadüften öte, daha derin bir matematiksel gerçekliğe işaret ettiğini gösterir. Günümüzde vergi denetimlerinden veri bütünlüğü kontrollerine kadar birçok alanda kullanılan bu yasa, sayıların gizli düzenini anlamamıza yardımcı olur. Eğer bir veri kümesi Benford Yasası'na uymuyorsa, bu genellikle manipülasyon veya hata işareti olarak kabul edilir.
