Hamilton decompositions of all directed tori at odd modulus

ملخص تقني: نظرية إغلاق عدّ البادئات لتفكيكات هاميلتون في التوريات الموجهة عند المعاملات الفردية

بيان المشكلة
تتناول الورقة مشكلة تفكيك هاميلتون لمنتجات الدورات الموجهة، وتحديداً التوريات الموجهة متساوية الجوانب ذات البعد $d$، $D_d(m) = \text{Cay}((\mathbb{Z}/m\mathbb{Z})^d, \{e_0, \dots, e_{d-1}\})$. يتطلب تفكيك هاميلتون تقسيم $d|V|$ من الأقواس (arcs) في الرسم البياني إلى بالضبط $d$ من دورات هاميلتون الموجهة والمنفصلة. وبينما تعد مسألة الهاميلتونية (وجود دورة واحدة شاملة) في هذه الرسوم البيانية مدروسة جيداً، فإن مسألة التقسيم القوسي الأقوى لجميع الأبعاد $d \ge 2$ والمعاملات الفردية $m \ge 3$ ظلت دون حل. تهدف الورقة إلى إثبات أن $D_d(m)$ يقبل تفكيك هاميلتون موجه لكل عدد صحيح $d \ge 2$ وكل عدد فردي $m \ge 3$.

المنهجية
تعتمد استراتيجية الإثبات على آليتين للإغلاق تسمحان ببناء التفكيكات للأبعاد التعسفية بناءً على مجموعة من "الأبعاد الأساسية المحلولة". تنقسم المنهجية إلى فرعين بناءً على العلاقة بين المعامل $m$ والبعد $d$:

1. فرع العدد المرتفع للمعامل ($m \ge d$):

   • شهادات الجذر-المسطح (Root-Flat Certificates): يقدم المؤلفون "شهادة جذر-مسطحة"، وهي بنية معرفة على مجموع الطبقات $S(x) = \sum x_i = 0$. يقلل هذا من مشكلة التفكيك العالمية إلى بناء خرائط محلية على شريحة جذر-مسطحة $A_{d,m}$.
   • إحداثيات البادئة وتفكيك الطبقة الواحدة: يتم رسم خريطة لمساحة الجذر-المسطح إلى إحداثيات البادئة عبر تقابل مثلثي. يتم بناء التفكيك طبقة تلو الأخرى باستخدام خرائط $M^\sigma_c$ التي تبدل إحداثيات البادئة بناءً على مجموعات الرموز $\{0, \Delta, 2, \dots, d-1\}$.
   • بدائية عدّ البادئة (Prefix-Count Primitivity): يضمن معيار رئيسي (المبرهنة 4.4) أن تركيب خرائط الطبقات هذه يشكل دورة واحدة. يتطلب هذا شروط عدّ محددة للرموز المستخدمة في المتتالية: $\gcd(N_0, m) = 1$ و $\gcd(N_k - N_\Delta, m) = 1$ لـ $k \ge 2$.
   • طبقات ثنائية الإشارة (Signed Binary Layers): لتلبية شروط العدّ هذه عندما يكون $m \ge d$ (حيث $d$ فردي)، يقوم المؤلفون ببناء "مصفوفات عدّ بادئة مقبولة". بالنسبة لـ $q \ge 2$ (حيث $m = (d-1)q + r$)، يستخدمون طبقات ثنائية الإشارة (مصفوفات مدخلاتها من $\{-2, -1, 1, 2\}$) لموازنة مجموع الصفوف والأعمدة مع الحفاظ على الوحدات القياسية المطلوبة. وتتعامل عملية تصحيح مطابقة منفصلة مع الحالة المقيدة $q=1$.

2. فرع التبادل الموديولي للقاعدة-الذيل ($m < d$):

   • رفع القاعدة-الذيل (Base-Tail Lift): عندما يكون المعامل صغيراً بالنسبة للبعد، تستخدم الورقة بناء "القاعدة-الذيل". يتم دمج بعد قاعدة محلول $b$ (حيث $D_b(m)$ قابل للتفكيك) مع ذيل من البعد $T = d-b$.
   • تفكيك الأسطوانة: يتم تفكيك الرسم البيالي متعدد الأقواس للقاعدة إلى أسطوانات. تُخصص الأقواس النشطة في القاعدة رموزاً من أبجدية الذيل لجدولة "مقايضات الرموز المحلية".
   • جدولة البواقي النشطة: باستخدام "خزان تبادل الأسطوانة"، يحجز المؤلفون رؤوساً محددة لإجراء عمليات تبديل محلية للرموز بين الألوان. يسمح هذا بتعديل بقايا عدّ اللون-الرمز لتلبية شروط بدائية عدّ البادئة المطلوبة لبعد الذيل، مما يؤدي فعلياً إلى رفع تفكيك القاعدة إلى البعد الكامل $d$.

المساهمات الرئيسية

• آليتان للإغلاق: تثبت الورقة قاعدتين مختلفتين للإغلاق لمجموعة $S$ من الأبعاد المحلولة:
  • إغلاق الضرب: إذا كان $a, b \in S$، فإن $ab \in S$.
  • إغلاق التابع (Successor Closure): إذا كان $b \in S$ و $b \ge 5$، فإن $2b + 1 \in S$.
• بناء المعامل المرتفع: بناء موحد لـ $d \ge 5$ فردي و $m \ge d$ باستخدام الطبقات الثنائية الإشارة ومصفوفات عدّ البادئة، بشكل مستقل عن أي أبعاد أساسية محلولة مسبقاً.
• مبرهنة التبادل الموديولي للقاعدة-الذيل: مبرهنة عامة (المبرهنة 1.3) تحل $D_d(m)$ لـ $m < d$ بشرط أن يكون $d$ قابلاً للتفكيك إلى مجموع وحدات موديولو $m$ وأن تتحقق عدميات حجم محددة ($T > b$ و $mb > m \cdot d \cdot T$).
• الصياغة الرسمية: ترافق النتائج صياغة رسمية (Lean 4) تتحقق من مبرهنة جميع الأبعاد وهيكل الاعتماد المحدد للبرهان.

النتائج
تثبت الورقة المبرهنة 1.5: لكل عدد صحيح $d \ge 2$ وكل عدد فردي $m \ge 3$، يقبل توري كايلي الموجه ذو الأساس $D_d(m)$ تفكيك هاميلتون موجه.

يسير البرهان من خلال تحديد مجموعة دنيا من الأبعاد الأساسية:

• الأبعاد 2 و 3: تم إثباتهما في الملحق B (البعد 2 هو حالة كلاسيكية؛ والبعد 3 مُثبت لـ $m$ الفردي).
• الأبعاد 5 و 7: مستمدة من مبرهنات خارجية مستشهد بها ([22], [23]).

باستخدام قواعد الإغلاق:

• يولد إغلاق الضرب الأبعاد $4, 6, 8, 9, 10, \dots$.
• يولد إغلاق التابع (بدءاً من $b=5$) البعد $11$، ومن ثم الأبعاد الفردية الأعلى.
• يظهر حجة "ضرب الفترات الثنائية-الثلاثية" (التمهيدية 10.3) أنه لأي $d \ge 29$ فردي، يوجد قاعدة $b \in \langle 2, 3 \rangle$ محلولة بحيث تتحقق شروط القاعدة-الذيل.
• يؤكد الاستقراء القوي أن كل $d \ge 2$ مغطى.

الأهمية والادعاءات
تدعي الورقة حل مسألة تفكيك هاميلتون لفئة كاملة من التوريات الموجهة متساوية الجوانب. وهي تضع هذا العمل كحل لمسألة التقسيم القوسي، وهي مسألة أقوى من مسألة الهاميلتونية التي تناولتها الأدبيات السابقة (مثل Trotter–Erdős, Curran–Witte).

يؤكد المؤلفون على الطبيعة الهيكلية للبرهان:

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

لا تدعي الورقة حل المسألة للمعاملات الزوجية أو التوريات غير متساوية الجوانب، ولا تقترح تطبيقات جديدة خارج الحل النظري لهذه المسألة المحددة من التفكيك. تكمن الأهمية في اكتمال النتيجة للفئة المحددة من الرسوم البيانية وفي التحقق الرسمي الدقيق المقدم.