DOI: https://doi.org/10.14445/22315373/ijmtt-v72i3p106
تاريخ النشر: 2026-03-31
المؤلف: Duncan Ndegwa وآخرون
الموضوع الرئيسي: أبحاث نظرية الأعداد التحليلية
نظرة عامة
تطرح فرضية ليموين أن كل عدد فردي أكبر من 5 يمكن التعبير عنه كمجموع عدد أولي فردي ومضاعف عدد أولي آخر. وقد أكدت الجهود الحسابية الأخيرة هذه الفرضية لمجالات عددية كبيرة من خلال اختبارات أولية حتمية واحتمالية. يقدم هذا البحث خوارزمية جديدة لتفكيك الرياضيات مصممة للتحقق بكفاءة من فرضية ليموين للأعداد الفردية العشوائية حتى 1500 رقم. تقوم الخوارزمية ببناء تقسيمات مرشحة من الشكل \( O = p + 2q \) من خلال التكرار على مجموعة فرعية من الأعداد الأولية الفردية \( p < O \) والتحقق من أولية \( q = (O - p)/2 \) باستخدام طريقة ميلر-رابين الاحتمالية، مما يضيق مساحة البحث للأعداد الكبيرة. توسع نتائج هذه الدراسة بشكل كبير نطاق التحقق من فرضية ليموين وتوفر إطارًا قويًا للتحقيقات النظرية والحسابية المستقبلية. من خلال اعتماد نهج منظم لتفكيك ليموين، تحدد الخوارزمية بكفاءة أزواج الأعداد الأولية \( (p, q) \) بحيث \( O = p + 2q \)، وتنتهي عند أول تفكيك ناجح. لا تعزز هذه الطريقة الكفاءة الحسابية فحسب، بل تضع أيضًا الأساس لاستكشاف المزيد من تمثيلات الأعداد الأولية في الأعداد الفردية الكبيرة.
مقدمة
في هذا القسم، يقدم المؤلفون فرضية ليموين، المعروفة أيضًا بفرضية ليفي، التي تفترض أن كل عدد فردي أكبر من 5 يمكن التعبير عنه في الشكل \( O = p + 2q \)، حيث \( p \) و \( q \) هما أعداد أولية. تشترك الفرضية في أوجه التشابه مع فرضية غولدباخ الضعيفة وقد كانت محور العديد من التحقيقات الحسابية، التي تركز بشكل أساسي على التحقق من الأعداد الفردية حتى \( 10^9 \) ومؤخراً حتى \( 10^{10} \) باستخدام طرق غربلة متقدمة واختبارات أولية حتمية. على الرغم من هذه الجهود، لا يزال التحقق من الأعداد الفردية الأكبر غير مُعالج إلى حد كبير بسبب القيود الحسابية.
يقترح المؤلفون خوارزمية تفكيك جديدة تمكن من التحقق من فرضية ليموين للأعداد الفردية العشوائية المولدة حتى 1500 رقم. يركز نهجهم على استراتيجية رياضية تقلل من المتطلبات الحسابية من خلال التكرار الانتقائي للأعداد الأولية واختبار الأولية الاحتمالية. لضمان قوة نتائجهم، يتم التحقق من جميع النتائج من خلال تجارب عشوائية، مما يعزز التنوع والثقة الإحصائية في النتائج.
طرق
في هذا القسم، يحدد المؤلفون المنهجية المستخدمة للتحقق من فرضية ليموين، التي تفترض أن كل عدد فردي \( O > 5 \) يمكن التعبير عنه كـ \( O = p + s \)، حيث \( p \) هو عدد أولي و \( s \) هو عدد شبه أولي. يدمج النهج إطارًا رياضيًا صارمًا للتقسيم مع تنفيذ حسابي قابل للتوسع. يركز المؤلفون بشكل خاص على الحالة المقيدة حيث \( s = 2q \)، مع كون \( q \) عددًا أوليًا، ويقدمون خوارزمية تفكيك مصممة لهذا السيناريو.
للتحقق من الفرضية للأعداد الفردية حتى \( 10^6 \)، يستخدم المؤلفون مزيجًا من اختبارات أولية احتمالية واستراتيجيات بحث منهجية. لا يسهل هذا النهج المزدوج التحقق التجريبي فحسب، بل يؤسس أيضًا إطار تقسيم تكراري مفاهيمي يمكن تطبيقه على تحليلات أوسع في نظرية الأعداد. يبرز دمج المبادئ النظرية مع التقنيات الحسابية قوة نتائجهم ويساهم في النقاش المستمر حول فرضية ليموين.
نقاش
يستعرض قسم النقاش في الورقة خوارزمية جديدة لبناء تفكيكات ليموين للأعداد الفردية \( O \geq 7 \)، مع التركيز بشكل خاص على أزواج الأعداد الأولية \( (p, q) \) بحيث \( O = p + 2q \). تستخدم الخوارزمية بحثًا تكراريًا يبدأ من أصغر عدد أولي فردي، وتحسب بشكل منهجي \( q = \frac{O – p}{2} \) لكل عدد أولي \( p \) وتختبر كلاهما من حيث الأولية. تختلف هذه الطريقة عن الطرق التقليدية للغربلة من خلال التركيز على الأعداد الفردية العشوائية ذات أطوال الأرقام الثابتة، مما يعزز التغطية ويقلل من التحيز في الاختيار. يتم تخفيف التعقيد الخطي للخوارزمية من خلال إنهاء مبكر عند العثور على زوج صالح، مما يجعلها فعالة حتى للقيم الكبيرة لـ \( O \).
تظهر النتائج التجريبية جدوى الخوارزمية العملية، حيث تم تحليل أداء وقت التشغيل عبر الأعداد الفردية التي تتراوح من 600 إلى 1500 رقم. من الجدير بالذكر أن أوقات التنفيذ تظهر تباينًا، مما يعكس الطبيعة الاحتمالية لاكتشاف الأعداد الأولية، حيث يتم حل بعض الحالات بشكل أسرع بكثير من غيرها. تحدد الخوارزمية بنجاح تفكيكات صالحة للأعداد التي تتجاوز \( 10^{1000} \)، مما يعزز صحة الفرضية. بالإضافة إلى ذلك، يتم توفير روتين مستقل لاختبار أولية احتمالية عالية الدقة يعتمد على خوارزمية ميلر-رابين من أجل إمكانية التكرار، مما يسمح بالتحقق من أولية المكونات في التفكيكات. بشكل عام، تعزز هذه الدراسة التحقق الحسابي من فرضية ليموين، مما يظهر التفاعل بين النظرية الرياضية والكفاءة الحسابية.
DOI: https://doi.org/10.14445/22315373/ijmtt-v72i3p106
Publication Date: 2026-03-31
Author(s): Duncan Ndegwa et al.
Primary Topic: Analytic Number Theory Research
Overview
Lemoine’s conjecture posits that every odd integer greater than 5 can be expressed as the sum of an odd prime and twice another prime. Recent computational efforts have confirmed this conjecture for large numerical ranges through both deterministic and probabilistic primality testing. This paper presents a novel mathematical decomposition algorithm designed to efficiently verify Lemoine’s conjecture for random odd integers up to 1500 digits. The algorithm constructs candidate partitions of the form \( O = p + 2q \) by iterating over a subset of odd primes \( p < O \) and checking the primality of \( q = (O - p)/2 \) using the Miller-Rabin probabilistic method, thus narrowing the search space for large integers. The findings of this study significantly extend the verification range of Lemoine's conjecture and provide a robust framework for future theoretical and computational investigations. By employing a structured approach to Lemoine decomposition, the algorithm efficiently identifies pairs of primes \( (p, q) \) such that \( O = p + 2q \), terminating upon the first successful decomposition. This method not only enhances computational efficiency but also lays the groundwork for further exploration of prime representations in large odd integers.
Introduction
In this section, the authors introduce Lemoine’s conjecture, also known as Levy’s Conjecture, which posits that every odd integer greater than 5 can be expressed in the form \( O = p + 2q \), where \( p \) and \( q \) are prime numbers. The conjecture shares similarities with Goldbach’s weak conjecture and has been the focus of various computational investigations, primarily verifying odd integers up to \( 10^9 \) and, more recently, up to \( 10^{10} \) using advanced sieve methods and deterministic primality tests. Despite these efforts, the verification of larger odd integers remains largely unaddressed due to computational limitations.
The authors propose a novel decomposition algorithm that enables the verification of Lemoine’s Conjecture for randomly generated odd integers with up to 1500 digits. Their approach emphasizes a mathematical strategy that minimizes computational demands through selective prime iteration and probabilistic primality testing. To ensure the robustness of their findings, all results are validated through randomized trials, enhancing both diversity and statistical confidence in the outcomes.
Methods
In this section, the authors outline the methodology employed to verify Lemoine’s Conjecture, which posits that every odd integer \( O > 5 \) can be expressed as \( O = p + s \), where \( p \) is a prime number and \( s \) is a semiprime. The approach integrates a rigorous mathematical framework for partitioning with a scalable computational implementation. Specifically, the authors focus on the restricted case where \( s = 2q \), with \( q \) being prime, and present a decomposition algorithm tailored for this scenario.
To validate the conjecture for odd integers up to \( 10^6 \), the authors utilize a combination of probabilistic primality testing and systematic search strategies. This dual approach not only facilitates empirical verification but also establishes a conceptual recursive partitioning framework that can be applied to broader analyses in number theory. The integration of theoretical principles with computational techniques underscores the robustness of their findings and contributes to the ongoing discourse surrounding Lemoine’s Conjecture.
Discussion
The discussion section of the paper outlines a novel algorithm for constructing Lemoine decompositions of odd integers \( O \geq 7 \), specifically targeting pairs of primes \( (p, q) \) such that \( O = p + 2q \). The algorithm employs an iterative search starting from the smallest odd prime, systematically computing \( q = \frac{O – p}{2} \) for each prime \( p \) and testing both for primality. This method diverges from traditional sieve approaches by focusing on randomly generated odd integers with fixed digit lengths, thereby enhancing coverage and reducing selection bias. The algorithm’s linear complexity is mitigated by early termination upon finding a valid pair, making it efficient even for large values of \( O \).
Empirical results demonstrate the algorithm’s practical feasibility, with runtime performance analyzed across odd integers ranging from 600 to 1500 digits. Notably, execution times exhibit variability, reflecting the probabilistic nature of prime detection, with some cases resolving significantly faster than others. The algorithm successfully identifies valid decompositions for integers exceeding \( 10^{1000} \), reinforcing the conjecture’s validity. Additionally, an independent high-precision probabilistic primality testing routine based on the Miller-Rabin algorithm is provided for reproducibility, allowing verification of the primality of components in the decompositions. Overall, this study advances the computational verification of Lemoine’s Conjecture, demonstrating the interplay between mathematical theory and computational efficiency.