DOI: https://doi.org/10.37236/14972
تاريخ النشر: 2026-06-05
المؤلف: Tanupat Trakulthongchai
الموضوع الرئيسي: أبحاث نظرية الأعداد التحليلية
نظرة عامة
تخمين العداء الوحيد، الذي اقترحه ويلز وكوسيك، يفترض أنه بالنسبة لـ \( k + 1 \) عداء يبدأون بسرعات ثابتة متميزة على حلبة دائرية بطول وحدة، يوجد وقت \( t \) بحيث يكون كل عداء على بعد لا يقل عن \( \frac{1}{k + 1} \) من جميع العدائين الآخرين. قدمت التطورات الأخيرة من روزنفيلد دليلاً مدعومًا بالحاسوب لحالة 8 عدائين. بناءً على هذا العمل، تستخدم الدراسة الحالية نهج غربال مصقول لتوسيع الدليل ليشمل الحالات التي تتضمن 9 و 10 عدائين، مع الاستفادة أيضًا من المساعدة الحاسوبية.
تساهم النتائج في فهم صحة التخمين لمجموعات أكبر من العدائين، مما يعزز أهميته في مجال نظرية الأعداد التوافقية. يتم تصنيف النتائج تحت تصنيف موضوع الرياضيات 11K60، مما يدل على صلتها بالدراسات التخمنية في هذا المجال.
مقدمة
تخمين العداء الوحيد، الذي اقترحه ويلز لأول مرة في الستينيات، يفترض أنه بالنسبة لأي مجموعة من \( k + 1 \) عدائين بسرعات ثابتة متميزة على حلبة دائرية محيطها وحدة، سيكون كل عداء في النهاية على بعد لا يقل عن \( \frac{1}{k+1} \) من جميع الآخرين، وبالتالي يصبح “وحيدًا”. لقد تم دراسة التخمين بشكل موسع في التوافقيات، مع تفسيرات وطرق مختلفة لدليله. يسمح تبسيط كبير بالنظر في عداء ثابت واحد، مما يؤدي إلى الاستنتاج بأنه يكفي تحليل الحالات التي تكون فيها جميع السرعات غير الصفرية أعدادًا صحيحة موجبة.
حتى الآن، تم إثبات صحة التخمين لـ \( k \leq 7 \)، مع مساهمات ملحوظة من باحثين مثل بيتكي، ويلز، كوسيك، بوميرانس، وروزنفيلد. تمد الورقة الحالية هذا العمل من خلال إثبات التخمين لـ \( k \in \{8, 9\} \)، بناءً على طرق روزنفيلد الحاسوبية. يؤكد المؤلفون أن النظرية 2 تؤكد أن التخمين صحيح لـ 9 و 10 عدائين، ومن الجدير بالذكر أن روزنفيلد أعلن بشكل مستقل عن دليل لـ \( k = 8 \) بعد فترة وجيزة من إصدار النسخة الأولية من هذه الورقة.
نقاش
في هذا القسم، يناقش المؤلفون التقدم في النهج الحاسوبي لتخمين العداء الوحيد، بناءً على عمل روزنفيلد. يفترض التخمين أنه بالنسبة لأي عدد من العدائين، كل منهم يتحرك بسرعة ثابتة، يوجد وقت عندما يكون جميع العدائين على بعد معين على الأقل. يبرز المؤلفون أنه بينما أثبتت النتائج السابقة أن إثبات التخمين لـ \( k + 1 \) عدائين يمكن تقليله إلى التحقق من مجموعة محدودة من أزواج السرعة، كانت الثوابت المعنية كبيرة بشكل غير عملي. كانت الرؤية الرئيسية لروزنفيلد هي أن أي مثال مضاد يجب أن يتضمن حاصل ضرب للسرعات قابل للقسمة على العديد من الأعداد الأولية، مما يسمح بعملية تحقق أكثر كفاءة. يقدم المؤلفون “قضية غربال” تعزز هذا التحقق، مما يمكنهم من توسيع استراتيجية روزنفيلد إلى \( k = 8 \) و \( k = 9 \).
يحدد المؤلفون مجموعات من أزواج السرعة ويضعون معايير لتحديد ما إذا كانت هذه الأزواج تمتلك خاصية العداء الوحيد. يقدمون مفهوم الأزواج \( (k, \ell, p) \)-الصحيحة و \( (k, \ell, p) \)-غير الصحيحة، مما يساعد في تضييق نطاق الأمثلة المضادة المحتملة. من خلال استخدام نهج منهجي لحساب هذه المجموعات، يظهرون أنه بالنسبة لأعداد أولية معينة، تكون مجموعة الأزواج غير الصحيحة فارغة، مما يؤكد التخمين لـ \( k + 1 \) عدائين. نجحت الطرق الحاسوبية، المحسّنة للمعالجة المتوازية، في التحقق من التخمين لـ \( k = 8 \) و \( k = 9 \) ضمن أطر زمنية معقولة، بينما توضح أيضًا العمل المستقبلي المطلوب لـ \( k = 10 \) وما بعده.
DOI: https://doi.org/10.37236/14972
Publication Date: 2026-06-05
Author(s): Tanupat Trakulthongchai
Primary Topic: Analytic Number Theory Research
Overview
The Lonely Runner Conjecture, proposed by Wills and Cusick, posits that for \( k + 1 \) runners starting at distinct constant speeds on a unit-length circular track, there exists a time \( t \) such that each runner is at least \( \frac{1}{k + 1} \) distance away from all other runners. Recent advancements by Rosenfeld provided a computer-assisted proof for the case of 8 runners. Building on this work, the current study employs a refined sieve approach to extend the proof to cases involving 9 and 10 runners, also utilizing computer assistance.
The findings contribute to the understanding of the conjecture’s validity for larger groups of runners, reinforcing its significance in the field of combinatorial number theory. The results are categorized under the Mathematics Subject Classification 11K60, indicating their relevance to conjectural studies in this area.
Introduction
The Lonely Runner Conjecture, first proposed by Wills in the 1960s, posits that for any group of \( k + 1 \) runners with distinct constant speeds on a circular track of unit circumference, each runner will eventually be at least \( \frac{1}{k+1} \) distance away from all others, thus becoming “lonely.” The conjecture has been extensively studied in combinatorics, with various interpretations and approaches to its proof. A significant simplification allows the consideration of one stationary runner, leading to the conclusion that it suffices to analyze cases where all non-zero speeds are positive integers.
As of now, the conjecture has been proven true for \( k \leq 7 \), with notable contributions from researchers such as Betke, Wills, Cusick, Pomerance, and Rosenfeld. The current paper extends this work by proving the conjecture for \( k \in \{8, 9\} \), building on Rosenfeld’s computational methods. The authors assert that Theorem 2 confirms the conjecture holds for 9 and 10 runners, and it is noteworthy that Rosenfeld independently announced a proof for \( k = 8 \) shortly after the preprint of this paper was released.
Discussion
In this section, the authors discuss advancements in the computational approach to the Lonely Runner Conjecture, building on Rosenfeld’s work. The conjecture posits that for any number of runners, each moving at a constant speed, there exists a time when all runners are at least a certain distance apart. The authors highlight that while previous results established that proving the conjecture for \( k + 1 \) runners can be reduced to checking a finite set of speed tuples, the constants involved were impractically large. Rosenfeld’s key insight was that any counterexample must involve a product of speeds divisible by many primes, allowing for a more efficient verification process. The authors introduce a “sieve lemma” that enhances this verification, enabling them to extend Rosenfeld’s strategy to \( k = 8 \) and \( k = 9 \).
The authors define sets of speed tuples and establish criteria for determining whether these tuples possess the Lonely Runner property. They introduce the concept of \( (k, \ell, p) \)-proper and \( (k, \ell, p) \)-improper tuples, which helps in narrowing down potential counterexamples. By employing a systematic approach to compute these sets, they demonstrate that for specific primes, the set of improper tuples is empty, thus confirming the conjecture for \( k + 1 \) runners. The computational methods, optimized for parallel processing, successfully verify the conjecture for \( k = 8 \) and \( k = 9 \) within reasonable timeframes, while also outlining future work needed for \( k = 10 \) and beyond.