GAUSS'UN ÇEMBER PROBLEMİ 5/16'NIN ALTINA İNİYOR
Sonsuz bir kareli kâğıtta bir ızgara noktasını merkez alan bir çember çizin ve içine düşen kesişimleri sayın. Cevap çemberin alanına yakındır — ama hiçbir zaman ona eşit değildir, çünkü kenar ızgarayı düzensiz biçimde keser. Gauss çember problemi bu uyumsuzluğun ne kadar büyüyebileceğini sorar.
Makalenin gösteriminde disk a² + b² ≤ X’tir; burada X yarıçapın karesidir, dolayısıyla alanı πX’tir. Uyumsuzluk şudur:
E(X) = #{(a, b) ∈ ℤ² : a² + b² ≤ X} − πX
— içerideki (a, b) ızgara noktalarının sayısı eksi alan. Aşağıdaki tüm üsler, makalede olduğu gibi, X’in kuvvetleridir.
Çevreden sanıya
Gauss’un geometrik argümanı E(X) = O(X^{1/2}) verir: hata en fazla yarıçap mertebesindedir, kabaca çemberin sınırı kadar. Bu kolay sınırdır.
Öbür uçta Hardy, hatanın her iki yönde de X^{1/4} mertebesindeki değerlere salınmayı sürdürdüğünü kanıtladı — yani üssü 1/4’ün altında olan hiçbir sınır geçerli olamaz. Makalenin Hardy sanısı dediği beklenen cevap, 1/4’ün esasen doğru olduğudur: her ε > 0 için |E(X)| ≲ X^{1/4+ε}; buradaki ε, sabit herhangi bir kuvvetten daha küçük bir kaybı ifade eder.
O zamandan beri her şey 1/2 ile 1/4 arasındaki üs üzerine bir mücadele oldu. Makalenin tarihçe tablosu adımları sıralıyor: 1906’da 1/3 ile Sierpiński, van der Corput, Titchmarsh, Hua, Chen, Kolesnik, 1988’de 7/22 ile Iwaniec ve Mozzochi, 1993’te 23/73 ve 2003’te 131/416 (yaklaşık 0,3149) ile Huxley, ardından 2023 tarihli bir ön baskıda 0,3144831759… ile Li ve Yang.
5/16’daki eşik
Bu ilerlemenin büyük kısmı, Bombieri ve Iwaniec’in kurduğu ve Iwaniec ile Mozzochi’nin çembere uyarladığı bir teknikten geldi. Teknik, problemi üstel toplamlar (exponential sums) üzerindeki kestirimlere dönüştürür; bunlar da iki “aralık” (spacing) problemine indirgenir: belirli rasyonel yaklaşımların ne sıklıkla birbirine yakın düştüğünü saymak. Huxley bu yöntemi en ileriye taşıdı ve 1993’te 5/16 = 0,3125’i, o günkü hâliyle Bombieri–Iwaniec yönteminin olası bir sınırı olarak önerdi. Harmonik analizden yeni bir aracı — Guth ve Maldague’ın “small cap decoupling” teoremini — devreye sokarak elde edilen Li ve Yang rekoru hâlâ onun üzerindeydi.
Xi Cen (Çin Madencilik ve Teknoloji Üniversitesi-Pekin), Xitao Gao ve Junyong Zhang (Pekin Teknoloji Enstitüsü) ve Cheng Zhang (Yau Matematik Bilimleri Merkezi, Tsinghua Üniversitesi) şimdi şunu kanıtlıyor:
Teorem 1.1. Her ε > 0 ve her X ≥ 4 gerçel sayısı için |E(X)| ≲ X^{209/670+ε}.
Ve çizginin tam olarak ne kadar altına indiklerini açıkça yazıyorlar:
209/670 = 5/16 − 3/5360
Bu yaklaşık 0,31194 — Li ve Yang’a göre 0,0025’lik bir kazanç. Büyüklük olarak küçük, ama koca bir yaklaşım için işaret taşı görevi görmüş bir değerin öbür tarafında.
İki iyileştirme, iki aralık
Kanıt kalan parametreleri, ikisinin de 209/670 verdiği noktada tam olarak buluşan iki aralığa ayırıyor.
Orta aralıkta yazarlar bir fazı altıncı mertebeye kadar açıyor ve Vinogradov ortalama değer teoremini kullanarak her şeyi, dördüncü, beşinci ve altıncı Taylor katsayılarında uyuşan nokta çiftlerinin sayımına indirgiyor. Kilit adım bu kısıtları açıkça çözmek: doğrusal hata sadeleşiyor, geriye Fourier açılımı ve Robert ile Sargos’un aralık kestirimleriyle ele alınabilecek kadar küçük bir ikinci dereceden hata kalıyor. Çift sayısı, keyfî derecede küçük kayıplar dışında, önemsiz “köşegen” çiftler kadar küçük çıkıyor.
Daha büyük aralıkta yeni bileşen, frekansları bir koni üzerinde bulunan üstel toplamlar için, Guth ve Maldague’ın genliğe bağlı bir kestiriminden türetilen bir dağılım kestirimi. Bu, biri dördüncü, diğeri altıncı kuvvetli iki terim üretiyor. Bunları önce tek bir moment kestiriminde birleştirmek yerine çifte büyük elek (double large sieve) boyunca ayrı tutmak işe yarıyor. Makaleye göre bu, diğer ana girdi olan Watt’ın ikinci aralık sınırını güçlendirmeden çalışıyor.
1/4’e hâlâ uzun bir yol
Yeni üs 0,3119, varsayılan 0,25’ten hâlâ uzak. Makale problemin öbür yüzünü de gözden geçiriyor — hatanın ne kadar büyüyebildiğinin bilindiğini — ki burada Soundararajan, Lamzouri ve başkalarının sonuçları hatanın en büyük salınımlarını giderek daha kesin biçimde belirliyor.
Çalışma 34 sayfalık bir ön baskı. Yazarlar, kanıt stratejilerini tartışmak, argümanların bazı kısımlarının taslağını yazmaya ve denetlemeye yardım etmek ve kaynakçayı düzenlemek için ChatGPT ve Codex kullandıklarını; her önermenin ve kanıtın kendileri tarafından yazıldığını, gözden geçirildiğini ve doğrulandığını belirtiyor. Gauss’un nokta ızgarası için hatanın artık yaklaşık X^{0,312}’den hızlı büyümediği biliniyor — ilke olarak X^{0,25}’e kadar inecek yer bırakarak.