An efficient sum of squares nonnegativity certificate for quaternary quartic

إليك ملخص تقني مفصل للورقة البحثية بعنوان "شهادة عدم سالبية مجموع المربعات الفعالة لرباعي الأجزاء الرباعي" (An Efficient Sum of Squares Nonnegativity Certificate for Quaternary Quartic) للباحث ديميتري باسيتشنيك.

1. بيان المشكلة

تتناول الورقة البحثية المسألة الكلاسيكية المتعلقة بإثبات عدم سالبية كثيرات الحدود عالمياً. وتحديداً، تركز على رباعيات الأجزاء الرباعية (quaternary quartics) (وهي كثيرات حدود متجانسة من الدرجة 4 في 4 متغيرات، ويُرمز لها بـ $f \in \mathbb{R}[x_1, x_2, x_3, x_4]$).

• السياق: أثبت هيلبرت (1888) أن ليست كل كثيرات الحدود غير السالبة هي مجموع مربعات (s.o.s.)، باستثناء حالات معينة ذات أبعاد أو درجات منخفضة.
• الفجوة: بالنسبة لكثيرات الحدود غير السالبة التي ليست (s.o.s.)، تضمن نظرية هيلبرت (1893) أنه يمكن كتابتها كمجموع مربعات للدوال النسبية. وهذا يعني وجود "مضاعف" (multiplier) وهو كثير الحدود $q$ بحيث يكون $qf$ عبارة عن (s.o.s.).
• السؤال المحدد: بالنسبة لرباعي الأجزاء الرباعي غير السالب ($n=4, d=4$)، هل يوجد دائماً مضاعف تربيعي واحد ($q \in \Sigma_{4,2}$) بحيث يكون $qf$ عبارة عن (s.o.s.)؟
  • أشارت الأعمال السابقة إلى أنه بالنسبة لثلاثي الأجزاء السداسي (ternary sextics) ($n=3, d=3$)، يكفي مضاعف تربيعي.
  • يبحث المؤلف فيما إذا كان هذا يمتد ليشمل رباعيات الأجزاء الرباعية، وما إذا كان الحد الأقصى لدرجة المضاعف حاداً (أي، هل يمكننا دائماً إيجاد مضاعف تربيعي واحد، أم أننا نحتاج أحياناً إلى اثنين؟).

2. المنهجية

تستخدم الورقة البحثية مزيجاً من الهندسة الجبرية، وتحسين كثيرات الحدود، والجبر الحسابي (باستخدام Macaulay2).

أ. الاختزال إلى حالة الصفر الحقيقي

يؤسس المؤلف أولاً أنه بدون فقدان العمومية، يمكن افتراض أن كثير الحدود $f$ له صفر حقيقي.

• إذا كان $f > 0$، فإن تحويلاً إحداثياً يسمح بكتابة $f$ كـ $u^4 + g(u, x)$ حيث $g \geq 0$.
• إذا كان لـ $f$ صفر، فإن تحويلاً متعامداً ينقل الصفر إلى $(1:0:0:0)$، مما يسمح بالتعبير عن $f$ كدالة تربيعية في متغير واحد $u$:
  $$f = au^2 + 2bu + c$$
  حيث $a, b, c$ هي صيغ ثلاثية (ternary forms) في 3 متغيرات من الدرجات 2، 3، و4 على التوالي.

ب. نهج المميز (The Discriminant Approach)

إن عدم سالبية الصيغة التربيعية $f = au^2 + 2bu + c$ تعني أن مميزها غير سالب:
$$\Delta = ac - b^2 \geq 0$$
هنا، $\Delta$ هو سداسي ثلاثي الأجزاء (ternary sextic) (درجة 6 في 3 متغيرات).

• يستدعي المؤلف نتيجة هيلبرت لعام 1893 الخاصة بالسداسيات الثلاثية: لأي سداسي ثلاثي الأجزاء غير سالب $\Delta$، يوجد صيغة تربيعية $q' \in \Sigma_{3,2}$ بحيث يكون $q'\Delta$ عبارة عن (s.o.s.).
• من خلال "إكمال المربع"، يستنتج المؤلف المتطابقة التالية:
  $$a f = (au + b)^2 + \Delta$$
  بضرب الطرفين في مضاعف مناسب $q'$، نحصل على: $q' a f = q'(au+b)^2 + q'\Delta$. وبما أن كلا الطرفين في الجانب الأيمن هما (s.o.s.)، فإن حاصل الضرب $q' a f$ هو (s.o.s.).
• استنتاج المنهج: يثبت هذا أن مضاعفين تربيعيين ($q=a$ و $q'$) يكفيان دائماً لجعل $f$ عبارة عن (s.o.s.).

ج. الحدة وبناء المثال المضاد

لتحديد ما إذا كان مضاعف واحد يكفي (تحديداً، هل $af$دائماً (s.o.s.))، يبحث المؤلف فيما إذا كان المميز$\Delta = ac - b^2$يمكن أن يكون غير سالب ولكن **ليس** (s.o.s.) ($\Delta \in P_{3,6} \setminus \Sigma_{3,6}$).

• إذا كان $\Delta$ دائماً (s.o.s.)، فإن $af$ سيكون (s.o.s.) مباشرة.
• يبني المؤلف أمثلة صريحة لكثير حدود سداسي ثلاثي الأجزاء غير سالب ولكنه ليس (s.o.s.)، باستخدام حدود مخروط مجموع المربعات ($\partial \Sigma_{3,6}$).
• استراتيجية البناء:
  1. البدء بسداسي ثلاثي الأجزاء معروف بأنه ليس (s.o.s.) (مثل متعدد حدود روبنسون $R_1$).
  2. إجراء اضطراب (perturbation) له لإيجاد عنصر $p$ على حدود مخروط الـ (s.o.s.) يكون موجباً تماماً ولكنه ليس (s.o.s.).
  3. إظهار أن هذا الـ $p$ يمكن تمثيله في شكل $ac - b^2$ (أي $p \in D_-$, وهي مجموعة المميزات).
  4. يؤدي هذا إلى بناء $f = au^2 + 2bu + c$ محدد حيث $\Delta$ ليس (s.o.s.).

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

النظرية 2 (نتيجة الوجود الرئيسية)

لأي رباعي أجزاء رباعي غير سالب $f \in P_{4,4}$، يوجد صيغتان تربيعيتان $q, q' \in \Sigma_{4,2}$ بحيث:
$$q q' f \in \Sigma_{4,8}$$
وهذا يؤكد أن مضاعفين تربيعيين كافيان دائماً.

النظرية 3 (وجود مميزات غير (s.o.s.))

يبني المؤلف صراحةً سداسياً ثلاثي الأجزاء $\Delta = ac - b^2$ غير سالب ولكنه ليس مجموع مربعات (s.o.s.).

• المعاملات: $a = x^2 + y^2 + z^2$، و $b = x(y^2 - z^2)$، و $c$ محدد بمعامل $\tau$.
• النتيجة: لنطاق محدد من $\tau$ (تحديداً $4.6875 < \tau \leq \tau^* \approx 4.922$)، يكون $\Delta_\tau$ غير سالب ولكنه ليس (s.o.s.).
• الأهمية: يثبت هذا أن مميز رباعي الأجزاء الرباعي غير السالب ليس بالضرورة (s.o.s.)، مما يعني أن التفكيك "المباشر" عبر $af$ ليس مضمون العمل فوراً دون مضاعفات إضافية.

النظرية 4 (العلاقة بين $f$ و $\Delta$)

تؤسس الورقة رابطاً جبرياً دقيقاً بين قابلية $f$ للتحلل إلى (s.o.s.) ومميزها $\Delta$:

• إذا وجد مضاعف تربيعي $q$ بحيث يكون $qf$عبارة عن (s.o.s.)، فإن$aq\Delta$يجب أن يكون (s.o.s.) (تحديداً، مجموع مربعات الصيغ في المثالي$(a, b)$).
• وعلى العكس، إذا كان $a\Delta$ عبارة عن (s.o.s.)، فإن $f$ يكون (s.o.s.) (في حالة $j=0$).
• التخمين: يخمن المؤلف أن مضاعفاً واحداً ($q=a$) كافٍ دائماً (أي أن $af$هو دائماً (s.o.s.))، رغم أن$\Delta$نفسه قد لا يكون (s.o.s.). الأمثلة التي تم بناؤها تظهر أن$\Delta$ليس (s.o.s.)، ومع ذلك في جميع الحالات المختبرة، وُجد أن$af$ هو (s.o.s.) (تم التحقق من ذلك عددياً).

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

1. تنقيح نظرية هيلبرت: توفر الورقة حداً "شبه حاد" لدرجات المضاعفات المطلوبة لرباعيات الأجزاء الرباعية. وبينما يكون حد هيلبرت العام للدوال النسبية عبارة عن برج من الأسس، يظهر هذا العمل أن الدرجة لهذا النوع المحدد منخفضة جداً (تربيعية).
2. توضيح مسألة "المضاعف الواحد مقابل الاثنين":
   • تثبت الورقة أن مضاعفين كافيان بالتأكيد.
   • تترك مسألة ما إذا كان مضاعف واحد كافياً مفتوحة.
   • والأهم من ذلك، توضح أن فشل $\Delta$ في أن يكون (s.o.s.) لا يعني بالضرورة فشل $af$في أن يكون (s.o.s.). فالعائق الموجود في المميز يتم حله بواسطة العامل$a$.
3. الجبر الحسابي: توفر الورقة كوداً صريحاً (Macaulay2) وأمثلة عددية للتحقق من هذه الحدود النظرية، مما يسد الفجوة بين الهندسة الجبرية المجردة والتحقق الحسابي.
4. الرؤية الهندسية: يعتمد بناء الـ (non-s.o.s. discriminant) على هندسة مجموعة $D_-$ (مميزات الصيغ غير السالبة) وتقاطعها مع حدود مخروط الـ (s.o.s.)، مما يقدم رؤى جديدة حول بنية مخاريط هذه كثيرات الحدود.

خلاصة الاستنتاج

يثبت ديميتري باسيتشنيك أن أي رباعي أجزاء رباعي غير سالب يمكن جعله مجموع مربعات بضربه في صيغتين تربيعيتين. وبينما يظل التساؤل حول ما إذا كان مضاعف تربيعي واحد ($q=a$) كافياً دائماً مسأًلة مفتوحة، فإن الورقة تبني أمثلة صريحة حيث لا يكون المميز مجموع مربعات، ومع ذلك يبدو أن $af$ هو (s.o.s.). يشير هذا إلى أن التفكيك القياسي عبر المميز ليس هو المسار الأمثل، وأن العلاقة بين كثير الحدود ومميزه أكثر دقة وتعقيداً مما كان يُفترض سابقاً.