DOI: https://doi.org/10.56147/aaiet.2.1.116
تاريخ النشر: 2026-01-01
المؤلف: Bouchaib Bahbouhi
الموضوع الرئيسي: أبحاث نظرية الأعداد التحليلية
نظرة عامة
تقدم هذه المقالة البحثية إطار عمل خوارزمي جديد لتوليد تمثيلات جولدباخ الصريحة للأعداد الزوجية الكبيرة جداً. تستخدم الطريقة المقترحة استراتيجية نافذة مركزية مركزة عند \( E/2 \)، إلى جانب منخل يُطبق على معلمة الانحراف، وفحص احتمالي للبدائية، وشهادة حتمية من خلال إثبات بدائية المنحنيات البيانية. تشمل النتائج تمثيلات جولدباخ المعتمدة بالكامل للأعداد الزوجية المختارة حتى \( 10^{700} \)، بينما تقدم أيضاً أمثلة على أعداد أولية محتملة ذات ثقة عالية تتجاوز هذا النطاق.
تكمن مساهمة هذا العمل في التقدم المنهجي، حيث تعرض نهجاً قابلاً للتوسع وإعادة الإنتاج لبناء تمثيلات جولدباخ على مقاييس عددية متطرفة. يؤكد المؤلفون على أهمية التمييز بين الأدلة المعتمدة والأدلة الاحتمالية، مما يضمن الصرامة الرياضية في نتائجهم. بشكل عام، تجمع خوارزمية النافذة المركزية بشكل فعال بين الصياغة المتماثلة، والتنقيب القائم على الانحراف، وطرق الاختبار الدقيقة لتحقيق تقدم كبير في مجال نظرية الأعداد.
مقدمة
تفترض فرضية جولدباخ أن كل عدد زوجي أكبر من أو يساوي أربعة يمكن التعبير عنه كمجموع عددين أوليين. على الرغم من التحقق الحسابي الواسع الذي يؤكد هذه الفرضية للأعداد الزوجية حتى حدود كبيرة جداً، إلا أن إثباتاً عاماً لا يزال بعيد المنال. تتضمن الطرق التقليدية بشكل أساسي تعداد الأعداد الأولية واختبار التركيبات، والتي، على الرغم من فعاليتها للأعداد الصغيرة، تصبح غير عملية للأعداد الزوجية التي تحتوي على مئات أو آلاف الأرقام بسبب الانفجار التوافقي للإمكانيات.
تقترح هذه الدراسة نهجاً جديداً ينقل التركيز من التحقق الشامل إلى البناء الصريح لتمثيلات جولدباخ للأعداد الزوجية الكبيرة جداً. الهدف هو تقديم أمثلة محددة بدلاً من تحقق كامل عبر نطاق. تستعرض الورقة أيضاً الطرق الحسابية الحالية، وخاصة تلك التي قدمها أوليفيرا وسيلفا والمتعاونون، والتي، على الرغم من شموليتها في التحقق من كل عدد زوجي ضمن نطاق محدد، تواجه تحديات كبيرة في قابلية التوسع مع زيادة حجم الأعداد.
النتائج
تقدم الدراسة نتائج حسابية كبيرة تُظهر فعالية طريقة جديدة لبناء تمثيلات جولدباخ الصريحة للأعداد الزوجية الكبيرة. على وجه التحديد، تم توليد تمثيلات أولية-أولية معتمدة بالكامل بنجاح للأعداد الزوجية من الشكل \(10^n\) حيث \(100 \leq n \leq 700\). تؤكد هذه النتائج، المفصلة في الجداول 1 و 2 والملف التكميلي، قدرة الطريقة على التعامل مع مقاييس عددية متطرفة، مما يثبت قابليتها العملية.
يكشف تحليل مقارن بين خوارزميات أوليفيرا الشاملة وطريقة النافذة المركزية عن اختلاف حاسم في الكفاءة الحسابية. بينما تظهر الطرق الشاملة نمواً خطياً في عدد المرشحين بالنسبة للعدد الزوجي \(E\)، مما يؤدي إلى تكاليف حسابية باهظة، تُظهر طريقة النافذة المركزية نمواً متعدد اللوغاريتمات. يسهل هذا التحول في معدل النمو بناء تمثيلات صريحة بأحجام لم تكن قابلة للتحقيق سابقاً من خلال التحقق الشامل، مما يمثل تحولاً في النمو من التحقق العالمي إلى نهج أكثر انتقائية وتوجيهاً هيكلياً في توليد أمثلة معتمدة.
المناقشة
تستعرض قسم المناقشة في الورقة التقدم الكبير في معالجة فرضية جولدباخ من خلال تقديم طريقة النافذة المركزية. تعيد هذه الطريقة صياغة المشكلة من خلال التركيز على تمثيل متماثل للأعداد الزوجية، حيث يتم تعريف أي تمثيل جولدباخ على أنه \( p = H – k \) و \( q = H + k \)، حيث \( H = \frac{E}{2} \) و \( k \) هو عدد صحيح غير سالب. من خلال تقييد \( k \) ليكون أقل من أو يساوي \( C \log^2(E) \)، يتم تقليل مساحة البحث من حجم يتناسب مع \( E \) إلى حجم متعدد اللوغاريتمات، مما يعزز الجدوى الحسابية للأعداد الكبيرة جداً.
تشدد الورقة على أنه بينما تضمن الطرق التقليدية الشاملة، مثل تلك التي تستخدم المناخل المجزأة وتوليد الأعداد الأولية المدركة، تغطية على نطاقات محدودة، تصبح غير عملية للأعداد الكبيرة جداً بسبب تكاليفها الحسابية. بالمقابل، تستخدم طريقة النافذة المركزية تقنية منخل جديدة مباشرة على معلمة الانحراف \( k \)، مما يسمح بتصفية المرشحين قبل اختبار البدائية. لا تسمح هذه الطريقة فقط ببناء تمثيلات جولدباخ الصريحة للأعداد الزوجية حتى \( 10^{700} \) ولكنها تحافظ أيضاً على الشهادة الدقيقة من خلال طرق حتمية مثل إثبات بدائية المنحنيات البيانية. بشكل عام، تشير النتائج إلى تركيز هيكلي قوي لتمثيلات جولدباخ حول \( E/2 \)، مما يدل على أن الظواهر الأولية المضافة يمكن دراستها بفعالية من خلال متغيرات انحراف مقيدة بدلاً من التعداد الشامل.
القيود
تعترف الدراسة بحدودها، مشيرة بوضوح إلى أنها لا تهدف إلى إثبات فرضية جولدباخ بشكل عام أو إجراء تحقق شامل عبر أي فترة. بدلاً من ذلك، يركز البحث على تقديم منهجية بناءة وتقديم أمثلة معتمدة محددة. تم تحديد قيد كبير وهو التكلفة الحسابية المرتبطة بشهادة البدائية الحتمية؛ مع زيادة المعلمة \( E \)، تنخفض كفاءة طريقة إثبات بدائية المنحنيات البيانية (ECPP)، مما يحد من عدد الأمثلة المعتمدة بالكامل. على الرغم من هذا التحدي، تحتفظ المنهجية بقابلية التطبيق على مقاييس كبيرة بشكل تعسفي، مما يشير إلى إمكانياتها للاستكشاف المستقبلي ضمن القيود الموضحة.
DOI: https://doi.org/10.56147/aaiet.2.1.116
Publication Date: 2026-01-01
Author(s): Bouchaib Bahbouhi
Primary Topic: Analytic Number Theory Research
Overview
This research article introduces a novel algorithmic framework for generating explicit Goldbach representations of very large even integers. The proposed method employs a central window strategy centered at \( E/2 \), alongside a sieve applied to a deviation parameter, probabilistic primality screening, and deterministic certification through elliptic curve primality proving. The findings include fully certified prime-prime Goldbach representations for selected even integers up to \( 10^{700} \), while also providing high-confidence probable prime examples beyond this range.
The contribution of this work lies in its methodological advancements, showcasing a scalable and reproducible approach to constructing Goldbach representations at extreme numerical scales. The authors emphasize the importance of distinguishing between certified proofs and probabilistic evidence, thereby ensuring mathematical rigor in their results. Overall, the central window algorithm effectively combines symmetric formulation, deviation-based sieving, and rigorous testing methods to achieve significant advancements in the field of number theory.
Introduction
The Goldbach conjecture posits that every even integer greater than or equal to four can be expressed as the sum of two prime numbers. Despite extensive computational verification confirming this conjecture for even integers up to very large bounds, a general proof remains elusive. Traditional methods primarily involve enumerating primes and testing combinations, which, while effective for smaller integers, become impractical for even integers with hundreds or thousands of digits due to the combinatorial explosion of possibilities.
This research proposes a novel approach that shifts focus from exhaustive verification to the explicit construction of Goldbach representations for extremely large even integers. The aim is to provide specific examples rather than a complete verification across a range. The paper also reviews existing computational methods, particularly those by Oliveira e Silva and collaborators, which, despite their completeness in verifying every even integer within a specified range, face significant scalability challenges as the size of the integers increases.
Results
The research presents significant computational results demonstrating the effectiveness of a novel method for constructing explicit Goldbach representations for large even integers. Specifically, fully certified prime-prime representations were successfully generated for even integers of the form \(10^n\) where \(100 \leq n \leq 700\). These findings, detailed in tables 1 and 2 and the supplementary file, affirm the method’s capability to handle extreme numerical scales, thereby validating its practical applicability.
A comparative analysis between exhaustive Oliveira-type algorithms and the central-window method reveals a critical difference in computational efficiency. While exhaustive methods exhibit a linear growth in the number of candidates with respect to the even integer \(E\), resulting in prohibitive computational costs, the central-window method demonstrates a polylogarithmic growth. This shift in growth rate facilitates the construction of explicit representations at sizes previously unattainable through exhaustive verification, marking a paradigm shift from global verification to a more selective and structurally guided approach in generating certified examples.
Discussion
The discussion section of the paper outlines significant advancements in addressing the Goldbach conjecture through the introduction of the central window method. This method reformulates the problem by focusing on a symmetric representation of even integers, specifically defining any Goldbach representation as \( p = H – k \) and \( q = H + k \), where \( H = \frac{E}{2} \) and \( k \) is a non-negative integer. By constraining \( k \) to be less than or equal to \( C \log^2(E) \), the search space is reduced from a size proportional to \( E \) to a polylogarithmic size, enhancing computational feasibility for very large integers.
The paper emphasizes that while traditional exhaustive methods, such as those employing segmented sieves and cache-aware prime generation, guarantee coverage over finite ranges, they become impractical for extremely large integers due to their computational costs. In contrast, the central window method employs a novel sieving technique directly on the deviation parameter \( k \), effectively filtering out candidates before primality testing. This approach not only allows for the construction of explicit Goldbach representations for even integers up to \( 10^{700} \) but also maintains rigorous certification through deterministic methods like elliptic curve primality proving. Overall, the findings suggest a strong structural concentration of Goldbach representations around \( E/2 \), indicating that additive prime phenomena can be effectively studied through constrained deviation variables rather than exhaustive enumeration.
Limitations
The research acknowledges its limitations, explicitly stating that it does not aim to prove the Goldbach conjecture universally or conduct exhaustive verification across any interval. Instead, the focus is on presenting a constructive methodology and providing specific certified examples. A significant limitation identified is the computational cost associated with deterministic primality certification; as the parameter \( E \) increases, the efficiency of the Elliptic Curve Primality Proving (ECPP) method diminishes, restricting the number of fully certified examples. Despite this challenge, the methodology retains applicability at arbitrarily large scales, indicating its potential for future exploration within the constraints outlined.