YALNIZ KOŞUCU SONUNDA BİRAZ NEFES ALACAK YER BULUYOR

Bir tur uzunluğunda dairesel bir pist hayal edin. Birkaç koşucu aynı noktadan aynı anda, her biri kendi sabit hızında ve hızların hepsi farklı olacak şekilde yola çıkıyor. Yalnız koşucu sanısı, her koşucunun bir noktada kendini yalnız bulacağını söyler: toplamda n + 1 koşucu varken, diğerlerinin hepsinden en az 1/(n + 1) tur uzakta.

Problem adından daha eski. Xiyu Hu (Çin Bilimler Akademisi Üniversitesi) ve Yifan Jing’e (Ohio State Üniversitesi) göre kökeni, Jörg Wills’in 1965’te sayıların kesirlerle yaklaşıklanması üzerine yazdığı doktora tezine dayanıyor. Cusick, engellerle kapanan görüş hatları cinsinden eşdeğer bir versiyon verdi; koşucular daha sonra, Goddyn’in bir yeniden ifadesiyle geldi. Problem o zamandan beri bilardo yörüngelerine, çizgelerin boyanmasına ve matroid denen soyut yapılardaki akışlara bağlandı.

Yalnızlığı ölçmek

Matematikçiler genellikle bir koşucuyu sabitleyip diğerlerinin ona göre hızlarına bakar: n farklı pozitif tam sayıdan oluşan bir V kümesi. t anında v hızındaki bir koşucu pistte vt konumundadır ve başlangıca uzaklığı ∥vt∥ diye yazılır — vt’den en yakın tam sayıya olan uzaklık. V’nin maksimum yalnızlığı şudur:

ML(V) = V’deki v üzerinden ∥vt∥ minimumunun, t üzerinden maksimumu

En iyi an, en yakın koşucuya göre değerlendirilir. Sanı ML(V) ≥ 1/(n + 1) olduğunu iddia eder ve bu sınır keskin olurdu: 1, 2, …, n hızları için maksimum yalnızlık tam olarak 1/(n + 1)’dir. Örneğin 1 ve 2 hızlarında hareket eden iki koşucuyla, sabit koşucu her ikisinden de en fazla bir turun üçte biri kadar uzakta olabilir — 1/3 anında.

Kolay yarı

Yanıtın yarısı ucuza gelir. Belirli bir koşucunun başlangıca δ’dan daha yakın olduğu anlar, zamanın 2δ’lık bir kesrini doldurur. n koşucuyla, 2nδ 1’den küçükse bu zaman pencereleri her şeyi kaplayamaz; dolayısıyla hepsinden uzak bir an vardır. δ’yı sınırına kadar büyütmek şunu verir:

ML(V) ≥ 1/(2n)

Bu, sanının öngördüğünün kabaca yarısıdır. Bunun ötesine geçmek inatçı bir sorun olduğunu kanıtladı. Yazarlar tarihçeyi sıralıyor: onlarca yıl boyunca yalnızca 1/n² mertebesinde kazanımlar; sonra Perarnau ve Serra’nın, 2018’de Terence Tao’nun, 2025’te Benjamin Bedert’in iyileştirmeleri. Ama hepsinin ortak bir zayıflığı var: koşucu sayısı arttıkça 1/(2n)’ye göre iyileşme sıfıra gider.

Sönmeyen bir kazanım

Yeni teorem bunu değiştiriyor:

ML(V) > (1 + c)/(2n)

sabit bir c > 0 için ve n ≥ 2 hızdan oluşan her küme için. Ek pay artık, kaç koşucu olursa olsun, kolay sınırın sabit bir kesri. Sabit açıkça tanımlı ama makalede hesaplanmamış ve yazarlar onu optimize etmeye çalışmıyor. Sanıdaki 1/(n + 1)’e ulaşmıyor; erimeyen ilk kazanım bu.

Kanıt, farklı koşucuların “tehlike pencerelerinin” nasıl örtüştüğüne bakıyor. Bazıları ortak bir merkezleri olduğu için örtüşür — hızlarının ortak bölenleri olan koşucular başlangıca birlikte varır. Diğerleri farklı merkezlerde örtüşür. Birinci tür için yazarlar, Green ve Walker’a ait büyük ortak bölenler üzerine bir argümanı inceltiyor. İkinci tür için yeni bir geometrik eşitsizlik kanıtlıyorlar: pencereler merkezleri etrafında genişletildiğinde, örtüşmeleri orantılı olandan daha hızlı büyümek zorunda. Her iki durumda da kaplanmayan zaman sıfıra küçülemez.

Bonus olarak sonuç, “pijama problemi” için bir alt sınırı iyileştiriyor: düzlemi kaplamak için çizgili bir desenin döndürülmüş ve gerilmiş kaç kopyası gerekir.

Kim ne yaptı

Makale, yapay zekâ kullanımı hakkında açık bir beyan içeriyor. Strateji ve çerçeve yazarların kendisine ait. ChatGPT 6 Pro ve ChatGPT 6 Astra esas olarak argümanları kontrol etmek, gayriresmî kanıtları titiz kanıtlara dönüştürmek ve inceltmeleri keşfetmek için kullanıldı. Pro, ortak bölenler üzerindeki toplamların işe katılmasını önerdi ve daha sonra kilit eşitsizliğin kanıtının ilk versiyonundaki “bazı küçük boşlukları” düzeltti. Nihai kanıtlar yazarlar tarafından yazıldı. Araçlar hakkındaki hükümleri net: “modeller yalnız koşucu sınırını kendi başlarına iyileştiremedi.”

Wills’ten altmış yıl sonra, her koşucuya garanti edilen yalnızlık ilk kez yerinde duran bir paya sahip.