Counting degrees of vertices in near Goldbach graphs

تخيل أنك محقق يحاول حل اللغز الأعظم في عالم الأرقام: حدسية غولدباخ. يطرح هذا اللغز الشهير سؤالاً بسيطاً: هل يمكن بناء كل عدد زوجي أكبر من 2 عن طريق جمع عددين أوليين معاً؟ الأعداد الأولية هي "ذرات" الحساب—وهي أعداد مثل 2، 3، 5، 7، و11 التي لا تقبل القسمة إلا على 1 وعلى نفسها فقط. لقرون، تحقق الرياضيون من هذه القاعدة لترليونات الأرقام، وكانت صحيحة دائماً، لكن لم يتمكن أحد من كتابة برهان مثالي يثبت أنها تعمل لكل عدد زوجي موجود في الوجود. لفك رموز هذه القضية، بدأ بعض المحققين في بناء خرائط. إنهم يرسمون "رسوم غولدباخ البيانية"، حيث يمثل كل عدد زوجي مدينة، وتصل الطرق بين مدينتين إذا كان الجمع بينهما يعطي رقماً مستهدفاً معيناً. إذا كانت الخريطة متصلة بالكامل، يُحل اللغز. لكن هذه الخرائط فوضوية وصعبة القراءة. لذا، قرر فريق من الباحثين بناء نسخة أنظف ومعدلة قليلاً من هذه الخرائط تسمى "رسوم غولدباخ القريبة" لرؤية ما إذا كان بإمكانهم رصد النمط بشكل أكثر وضوحاً.

في هذه الورقة البحثية، يتعمق عالما الرياضيات شاميك غوش وسوراديب دي في دراسة "رسوم غولدباخ القريبة" هذه لحساب عدد الطرق (الوصلات) التي تؤدي إلى كل مدينة (عدد زوجي). فكر في العدد الزوجي كأنه مضيف حفلة ضخم. "درجة" المضيف هي ببساطة عدد الضيوف الذين يمكنه دعوتهم بحيث يشكل الضيف والمضيف معاً زوجاً محدداً من الأعداد الأولية. اكتشف المؤلفان أولاً العدد الدقيق لهؤلاء الضيوف للحفلات الصغيرة باستخدام حيل عد ذكية، تشبه إلى حد كبير حل لغز "سودوكو" معقد. واكتشفا أنه إذا كان للمضيف أكثر من ضيف واحد، فيمكن بالتأكيد تكوين ذلك المضيف عن طريق جمع عددين أوليين فرديين.

ومع ذلك، يصبح عد الضيوف واحداً تلو الآخر مستحيلاً للحفلات الضخمة (الأرقام الهائلة). لذا، انتقل المؤلفان إلى استراتيجية مختلفة: استخدام الاحتمالات والإحصاء لتقدير حجم الحشد. لقد عاملا قواعد القابلية للقسمة (مثل ما إذا كان الرقم يقبل القسمة على 3، أو 5، أو 7) كما لو كانت أحداثاً مستقلة، تماماً مثل رمي العملات المعدنية. ومن خلال القيام بذلك، أنشآ صيغة سلسة ومدمجة تتنبأ بعدد الوصلات للأعداد الزوجية الكبيرة جداً. ويبدو تنبؤهما مشابهاً بشكل مذهل لتخمين شهير وضعه هاردي وليتلود في عام 1923، مع اختلاف طفيف ومتوقع فقط.

الجزء الأكثر إثارة في عملهما يأتي في النهاية. فقد قدما مفهوماً يسمى "الأحداث شبه المستقلة". تخيل مجموعة من الأشخاص في حفلة حيث يكون قرار كل شخص بالحضور عشوائياً في الغالب، ولكن مع وجود تأثير ضئيل من الآخرين. يوضح المؤلفان أنه إذا كانت القواعد التي تحكم أي الأعداد تقسم عددنا الزوجي تتصرف مثل هذه المجموعة "شبه المستقلة"، فإنه يمكننا التأكد رياضياً من أن الحفلة ستضم ضيفين على الأقل. بعبارة أخرى، يمكن كتابة العدد الزوجي كمجموع لعددين أوليين فرديين. وبينما لم يثبتا أن هذا الشرط يتحقق دائماً لكل رقم في الكون، فقد أظهرا من خلال عمليات محاكاة حاسوبية ضخمة أنه يعمل للأرقام التي تصل إلى 20 مليون وما بعدها. إن عملهما لا يحل حدسية غولدباخ بعد، لكنه يبني جسراً قوياً للغاية، مما يشير إلى أنه إذا تمكنا فقط من إثبات أن قواعد القسمة هذه "شبه مستقلة"، فسيُحل اللغز أخيراً.