No exact on average additive complements of squares

إليك ملخص تقني مفصل للورقة البحثية بعنوان "التمثيلات المتقاطعة للمتممات الجمعية للقوى من الرتبة r" (Cross representations of additive complements of r-th powers) للباحثين يوتشن دينغ، تشاسا ساندور، وزيهان تشانغ.

1. بيان المشكلة والسياق

تتناول الورقة أسئلة جوهرية في نظرية الأعداد الجمعية فيما يتعلق بـ المتممات الجمعية (additive complements).

• التعريفات:

  • لتكن $S_r = \{1^r, 2^r, 3^r, \dots\}$ هي مجموعة القوى من الرتبة $r$ ($r \ge 2$).
  • تكون المجموعة الجزئية $W \subset \mathbb{N}$ متمماً جمعياً لـ $S_r$ إذا كان كل عدد صحيح كافٍ كبير $n$ يمكن كتابته على الصورة $n = w + s$ حيث $w \in W$ و $s \in S_r$.
  • لتكن $f_r(n)$ تمثل عدد هذه التمثيلات: $f_r(n) = \#\{(w, m^r) \in W \times S_r : n = w + m^r\}$.
  • ولتكن $W(N) = |W \cap [1, N]|$.

• الخلفية التاريخية:

  • إيردوس (الخمسينيات): أثبت أنه بالنسبة للمربعات ($r=2$)، فإن $\liminf_{N\to\infty} W(N)/\sqrt{N} \ge 1$. وتساءل عما إذا كان هذا الحد الأدنى أكبر من 1 بشكل صارخ.
  • موزر وآخرون: حسنوا الحد الأدنى إلى $1.06$، وفي النهاية إلى$4/\pi$ (بواسطة سيليرويلو، هابسجيير، وبالاسوبرامانيان-رامانا).
  • مسألة بن جرين (2017): هل يوجد متمم جمعي $W$ للمربات بحيث يكون $W(N) \sim \frac{4}{\pi}\sqrt{N}$ (أي يحقق الحد الأدنى النظري تقاربياً)؟
  • مسألة روسا (2001) / حدسية سيليرويلو (1993): هل يوجد متمم جمعي دقيق في المتوسط؟ وهذا يعني وجود مجموعة $W$ يكون فيها متوسط عدد التمثيلات يساوي 1 تماماً:
    $$\sum_{n \le N} f_r(n) \sim N \quad \text{عندما } N \to \infty.$$
  • النتائج السابقة: بالنسبة لـ $r=2$، أثبت تشن وفانغ (2017) ودينغ وآخرون (2023) أن $\sum_{n \le N} f_2(n) - N \gg N^{1/4}\log N$ ولاحقاً $\gg N^{1/2}$. ومع ذلك، بالنسبة لـ $r \ge 3$، فشلت الطرق السابقة حتى في إثبات أن المجموع يتباعد إلى ما لا نهاية.

• السؤال الجوهري: هل يمكن أن يكون مجموع التمثيلات $\sum_{n \le N} f_r(n)$ قريباً جداً من $N$ (أي أن "الفائض" في المجموع صغير)، أم أن هناك حداً أدنى كبيراً للفرق $\sum f_r(n) - N$؟

2. المنهجية

يستخدم المؤلفون مزيجاً من العد التوليفي (combinatorial counting)، وجمع أبيل (Abel summation)، وتقنيات النظرية التحليلية للأعداد.

أ. إثبات النظرية 1 (القوى العامة من الرتبة r)

يعتمد الإثبات للقوى العامة $r$ على حجة التقسيم وصيغة جمع أبيل.

1. التقسيم: يتم تقسيم الفترة $[1, N]$ إلى $K$ من الفترات الفرعية بطول $N/2K$. لتكن $W_k$ و $S_k$ هي تقاطعات $W$ و $S_r$ مع الفترة رقم $k$.
2. مجموعات الفرق: يحلل المؤلفون عدد الفروق $w - s$ حيث $w \in W_k$ و $s \in S_k$. ويظهرون أن العدد الإجمالي لهذه الأزواج كبير.
3. حجة التصادم: إذا كان مجموع التمثيلات قريباً من $N$، فإن عدد "التصادمات" (الأزواج $(w, s)$ و $(w', s')$ بحيث $w+s = w'+s'$ مع أزواج متميزة) سيكون صغيراً.
4. جمع أبيل: من خلال تطبيق جمع أبيل على أعداد العناصر في الفترات، يستنتجون حداً أدنى لعدد الأزواج ذات الفرق نفسه.
5. التناقض: يظهرون أنه إذا كان المجموع $\sum f_r(n)$ قريباً جداً من $N$، فإن عدد هذه التصادمات لن يكون كافياً لتفسير كثافة المجموعات، مما يؤدي إلى تناقض. وهذا يجبر المجموع على الانحراف عن $N$ بمقدار $N^{1-1/r}$ على الأقل.

ب. إثبات النظرية 2 (المربات، $r=2$)

بالنسبة لحالة المربات تحديداً، يحقق المؤلفون نتيجة أقوى من خلال استغلال البنية الضربية للمربات.

1. مبرهنة الجدول الضربي لفورد: يستخدمون نتيجة عميقة لفورد تتعلق بعدد الأعداد الصحيحة المتميزة $n \le x$ التي يمكن تمثيلها كـ $n = m_1 m_2$ حيث $m_i \le \sqrt{x}$. يتضمن هذا العد قوة محددة من $\log N$ و $\log \log N$.
2. تحليل الحالات:
   • الحالة الأولى: إذا كانت كثافة $W$ في الفترة الأولى عالية، فإن النتيجة تتبع مباشرة.
   • الحالة الثانية: إذا كانت الكثافة منخفضة في الفترة الأولى، فيجب توزيع الكتلة في مكان آخر.
3. السمات الحسابية: في الحالة الفرعية الثانية، يبنون مجموعة من الفروق بناءً على البنية $w_i = n^* - m_i^2$. تتضمن الفروق بين هذه المربات حدوداً مثل $(m_i - m)(m_i + m)$.
4. تطبيق اللمة 1: من خلال ربط هذه الفروق بمسألة الجدول الضربي، يظهرون أن عدد القيم المتميزة المتولدة محدود بحد فورد. هذا القيد يجبر مجموع التمثيلات على أن يكون أكبر بكثير من $N$، مما يدخل عاملاً لوغاريتمياً إضافياً مقارنة بحالة $r$ العامة.

ج. إثبات النظرية 3 (تكافؤ المسائل)

يثبت المؤلفون أن مسألة بن جرين (وجود متمم لـ $W(N) \sim \frac{4}{\pi}\sqrt{N}$) ومسألة روسا (وجود متمم دقيق في المتوسط) متكافئتان بالنسبة للمربات.

• يظهرون أنه إذا وجد متمم دقيق في المتوسط، فإن معدل نمو $W(N)$ يجب أن يكون بالضبط $\frac{4}{\pi}\sqrt{N}$.
• وعلى العكس، إذا كان معدل النمو هو $\frac{4}{\pi}\sqrt{N}$ تماماً، فإن متوسط مجموع التمثيلات لا يمكن أن يكون $N$ (يجب أن يكون أكبر)، مما يعني عدم وجود متمم دقيق في المتوسط.

3. المساهمات والنتائج الرئيسية

النظرية 1: الحد الأدنى العام للقوى من الرتبة r

لأي متمم جمعي $W$ للقوى من الرتبة $r$ ($r \ge 2$):
$$\sum_{n \le N} f_r(n) - N \gg_r N^{1 - 1/r}$$

• الأهمية: يوسع هذا النتيجة المعروفة لـ $r=2$ لتشمل جميع $r \ge 2$. وهو يثبت أنه بالنسبة لـ $r \ge 3$، يجب أن يتباعد مجموع التمثيلات إلى ما لا نهاية، مما يحل القصور في الطرق السابقة. الثابت الضمني يعتمد على $r$.

النظرية 2: حد محسن للمربات ($r=2$)

بالنسبة للمربات، الحد الأدنى أقوى بكثير:
$$\sum_{n \le N} f_2(n) - N \gg N^{1/2} (\log N)^{\delta} (\log \log N)^{3/2}$$
حيث $\delta = 1 - \frac{1 + \log \log 2}{\log 2} \approx 0.086$.

• الأهمية: يحسن هذا النتيجة الأخيرة لـ دينغ وسون ووانغ وشيا (التي كانت تعطي حداً قدره $N^{1/2}$) بإضافة عامل لوغاريتمي متعدد. وهذا يوضح أن البنية الحسابية للمربات تفرض قيوداً أكثر صرامة على المتممات الجمعية من القوى العامة $r$.

النظرية 3: تكافؤ المسائل

تثبت الورقة أن وجود متمم جمعي $W$ للمربات يحقق $W(N) \sim \frac{4}{\pi}\sqrt{N}$ يكافئ وجود متمم جمعي دقيق في المتوسط.

• الأهمية: توحد هذه الورقة مسألتين مفتوحتين رئيسيتين في هذا المجال. وبما أن المؤلفين يثبتون (عبر النظرية 1 و 2) أن مجموع التمثيلات يتجاوز $N$ بفارق كبير، فإن هذا يعني عدم وجود متمم جمعي دقيق في المتوسط للمربات. وبالتالي، تمت الإجابة على سؤال بن جرين بسلب: لا يمكن الحصول على متمم ذي كثافة تقاربية "مثالية" $\frac{4}{\pi}\sqrt{N}$ يعطي أيضاً متوسط تمثيل يساوي 1 تماماً.

4. الأهمية والأثر

1. حل (جزئي) لـ حدسية سيليرويلو: تقدم الورقة دليلاً قوياً يدعم حدسية سيليرويلو بأن $\sum f_r(n) - N$ ينمو بشكل كبير. وتحديداً، تثبت ذلك لـ $r=2$ بحد محسن، ولجميع $r \ge 3$ بحد أدنى غير بديهي.
2. إجابة سلبية على أسئلة الوجود: من خلال إثبات أن مجموع التمثيلات أكبر تماماً من $N$ (بمعامل $N^{1-1/r}$)، تشير الورقة إلى أن المتممات الجمعية الدقيقة في المتوسط لا توجد للمربات (ومن المرجح للقوى الأعلى أيضاً). وهذا يجيب على مسألة روسا (2001) ومسألة بن جرين (2017) بالإجابة السلبية.
3. تقدم منهجي: إن التطبيق الناجح لنتائج جدول فورد الضربي على مسائل المتممات الجمعية يفتح آفاقاً جديدة للبحث، ويربط نظرية الأعداد الجمعية والضربية بشكل أعمق.
4. المثالية: تشير النتائج إلى أن "أفضل" المتممات الجمعية (ذات الكثافة الدنيا) لا تزال تعاني من "هدر" كبير في عدد التمثيلات، مما يمنعها من أن تكون "دقيقة" في المتوسط.

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