Squarefree numbers in short intervals: explicit and formalized

تخيل خط الأعداد كطريق سريع لا متناهٍ ومتلألئ يمتد نحو الأفق. على هذا الطريق، توجد أعداد "خالية من المربعات الكاملة" (squarefree)، مما يعني أنها مبنية من لبنات بناء فريدة لا تتكرر أبداً؛ لا يمكنك بناء برج مربع مثالي بها. لقد عرف الرياضيون منذ زمن طويل أنه إذا نظرت إلى امتداد ضخم من هذا الطريق، فإن هذه الأعداد الخاصة تظهر بإيقاع يمكن التنبؤ به، بنسبة تقارب 6 من كل 10 مواضع. ولكن ماذا يحدث إذا قمت بعملية تكبير (zoom in) ونظرت إلى امتداد قصير جداً وضيق من الطريق؟ هل تحافظ الأعداد الخالية من المربعات الكاملة على إيقاعها، أم تصبح فوضوية وغير متوقعة؟ هذا هو سؤال "الأعداد الخالية من المربعات الكاملة في الفترات القصيرة". إنه لغز في مجال نظرية الأعداد، وهو فرع من الرياضيات يدرس الأنماط الخفية للأعداد الصحيحة. حل هذا اللغز يساعدنا في فهم البنية الأساسية للرياضيات، تماماً مثل فهم كيفية ملاءمة طوبة واحدة في جدار ضخم.

في هذه الورقة البحثية، يتصدى مايانك باندي لهذا اللغز عبر أخذ نتيجة رياضية معروفة وجعلها "صريحة" و"مُصاغة رسمياً". سابقاً، كانت هناك نتيجة تثبت أن هذه الأعداد تسلك سلوكاً جيداً في الفترات القصيرة، لكنها كانت تعتمد على أداة قوية ومعقدة (تتضمن "المتتاليات النيلية" (nilsequences) وأعمال جرين وتو) كانت تعمل كـ "صندوق أسود": كانت تقول إن الإجابة موجودة، لكنها لم تعطِ الأرقام المحددة اللازمة لحسابها. عمل باندي يشبه تفكيك هذا الصندوق الأسود، وقياس كل ترس ونبض بداخله، وكتابة أبعادها الدقيقة. هو يثبت أنه إذا اخترت نقطة بداية $X$ تكون على الأقل بقدر $e^{1027/\varepsilon^2}$ (وهو رقم ضخم بشكل مذهل) ونظرت إلى فترة طولها $H = X^{1/5 - 2/90935 + \varepsilon}$، فإن عدد الأعداد الخالية من المربعات الكاملة التي ستجدها سيكون قريباً جداً من المقدار المتوقع. وتحديداً، فإن الفرق بين العدد الفعلي والعدد المتوقع مضمون بألا يتجاوز $10450 \varepsilon H X^{-\varepsilon/1025}$. هذا وعد ملموس وقابل للحساب، بشرط ألا تكون الفترة قصيرة جداً وأن يكون رقم البداية ضخماً بما يكفي.

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

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