PELARI KESEPIAN AKHIRNYA MENDAPAT RUANG BERNAPAS

Bayangkan sebuah lintasan melingkar sepanjang satu putaran. Beberapa pelari mulai dari titik yang sama pada saat yang sama, masing-masing dengan kecepatan konstannya sendiri, semuanya berbeda. Konjektur pelari kesepian (lonely runner conjecture) menyatakan bahwa setiap pelari, pada suatu saat, akan mendapati dirinya sendirian: berjarak setidaknya 1/(n + 1) putaran dari semua yang lain, bila jumlah seluruh pelari n + 1.

Masalah ini lebih tua dari namanya. Menurut Xiyu Hu (University of Chinese Academy of Sciences) dan Yifan Jing (Ohio State University), asalnya adalah disertasi doktoral Jörg Wills tahun 1965 tentang aproksimasi bilangan dengan pecahan. Cusick memberikan versi yang setara dalam bentuk garis pandang yang terhalang rintangan; para pelari datang belakangan, dengan perumusan ulang oleh Goddyn. Sejak itu masalah ini dikaitkan dengan lintasan biliar, pewarnaan graf, dan aliran dalam struktur abstrak yang disebut matroid.

Mengukur kesepian

Matematikawan biasanya menetapkan satu pelari dan melihat kecepatan pelari lain relatif terhadapnya: sebuah himpunan V berisi n bilangan bulat positif yang berbeda. Pada waktu t, pelari dengan kecepatan v berada di posisi vt di sepanjang lintasan, dan jaraknya dari titik start ditulis ∥vt∥ — jarak dari vt ke bilangan bulat terdekat. Kesepian maksimum dari V adalah

ML(V) = maksimum atas t dari minimum atas v di V dari ∥vt∥

Saat terbaik, dinilai dari pelari terdekat. Konjektur menyatakan ML(V) ≥ 1/(n + 1), dan batas itu tajam: untuk kecepatan 1, 2, …, n, kesepian maksimumnya tepat 1/(n + 1). Dengan dua pelari bergerak berkecepatan 1 dan 2, misalnya, pelari yang diam paling jauh bisa berjarak sepertiga putaran dari keduanya — pada waktu 1/3.

Separuh yang mudah

Separuh jawabannya didapat dengan murah. Waktu-waktu ketika seorang pelari berada dalam jarak δ dari titik start mengisi pecahan 2δ dari jam. Dengan n pelari, jika 2nδ kurang dari 1, jendela-jendela waktu ini tidak bisa menutupi semuanya, sehingga ada saat yang bebas dari semuanya. Dengan membiarkan δ tumbuh sampai batasnya, diperoleh

ML(V) ≥ 1/(2n)

Itu kira-kira separuh dari yang diramalkan konjektur. Melampauinya ternyata membandel. Para penulis merunut sejarahnya: selama puluhan tahun, hanya peningkatan berorde 1/n²; lalu perbaikan oleh Perarnau dan Serra, oleh Terence Tao pada 2018, oleh Benjamin Bedert pada 2025. Namun semuanya punya kelemahan yang sama: relatif terhadap 1/(2n), peningkatannya menuju nol seiring bertambahnya jumlah pelari.

Peningkatan yang tak memudar

Teorema baru mengubah hal itu:

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

untuk suatu konstanta tetap c > 0 dan setiap himpunan n ≥ 2 kecepatan. Margin tambahannya kini merupakan pecahan konstan dari batas mudah, berapa pun jumlah pelarinya. Konstanta itu eksplisit tetapi tidak dihitung dalam makalah, dan para penulis tidak berupaya mengoptimalkannya. Nilainya tidak mencapai 1/(n + 1) yang dikonjekturkan; ini adalah peningkatan pertama yang tidak lenyap.

Buktinya mengamati bagaimana “jendela bahaya” dari pelari-pelari yang berbeda saling tumpang-tindih. Sebagian tumpang-tindih karena berbagi pusat yang sama — pelari yang kecepatannya punya faktor persekutuan melewati titik start bersama-sama. Sebagian lain tumpang-tindih di pusat yang berbeda. Untuk jenis pertama, para penulis menyempurnakan argumen tentang faktor persekutuan besar dari Green dan Walker. Untuk jenis kedua, mereka membuktikan ketaksamaan geometris baru: ketika jendela-jendela dilebarkan di sekitar pusatnya, tumpang-tindihnya harus tumbuh lebih cepat daripada sebanding. Bagaimanapun, waktu yang tak tertutup tidak bisa menyusut menjadi nol.

Sebagai bonus, hasil ini memperbaiki batas bawah untuk “masalah piama”: berapa banyak salinan pola bergaris yang diputar dan diregangkan yang diperlukan untuk menutupi bidang.

Siapa mengerjakan apa

Makalah ini memuat pernyataan eksplisit tentang penggunaan AI. Strategi dan kerangkanya milik para penulis sendiri. ChatGPT 6 Pro dan ChatGPT 6 Astra terutama dipakai untuk memeriksa argumen, mengubah bukti informal menjadi bukti yang ketat, dan menjelajahi penyempurnaan. Pro menyarankan untuk memakai jumlah atas faktor persekutuan, dan belakangan memperbaiki “beberapa celah kecil” dalam versi pertama bukti ketaksamaan kunci. Bukti akhirnya ditulis oleh para penulis. Penilaian mereka atas alat-alat itu tegas: “model-model itu tidak mampu memperbaiki batas pelari kesepian sendiri.”

Enam puluh tahun setelah Wills, kesepian yang dijamin bagi tiap pelari untuk pertama kalinya memiliki margin yang tetap bertahan.