Counting Truchet Tile Balls

ملخص تقني: عدّ كرات بلاط تروكيت (Truchet)

بيان المشكلة
تتناول هذه المذكرة مسأية توافقية لتحديد العدد الدقيق للكرات المتميزة التي يمكن إنشاؤها عن طريق تزيين أوجه مجسم العشرين ذي الاثني عشر وجهًا (المعروف بـ "المجسم المقطوع من العشرين وجهًا"، وهو هندسة كرة القدم الكلاسيكية، ويتكون من 12 خماسيًا و20 سداسيًا) بأنماط تشبه أنماط "تروكيت" (Truchet). التصميم المحدد قيد الدراسة، الذي ابتكره جون بول ويتلي (Jon-Paul Wheatley)، يستخدم ألواحًا يتميز كل جانب منها بخط ملون سميك في المنتصف. وثمة قيد حاسم لهذا التصميم، وهو أن الألواح المتجاورة تتطابق دائمًا بغض النظر عن اتجاهها، مما يسمح لكل وجه من الوجوه السداسية العشرين العشرين بالدوران بشكل مستقل إلى ثلاث حالات متميزة. وبينما تمتلك الأوجه الخماسية تناظرًا دورانيًا يجعل اتجاهها غير مؤثر، فإن الأوجه السداسية تساهم في فضاء توافقي خام يصل إلى $3^{20}$ (حوالي 3.48 مليار) تكوين محتمل. والهدف هو حساب عدد الكرات الفريدة بناءً على الحركة الصلبة (الدوران).

المنهجية
تستخدم الورقة لمّا بيرنسايد (Burnside Lemma) (المعروفة أيضًا باسم لمّا كوشي-فروبينيوس) لحل مسألة العد هذه. تسير المنهجية كما يلي:

1. تعريف المجموعة ($G$): تم تعريف المجموعة $G$ على أنها مجموعة جميع الحركات الصلبة (الدورات) التي تطابق المجسم المقطوع من العشرين وجهًا على نفسه. حددت الورقة أن $|G| = 60$، وهي مشتقة من مجموعة التناظر للمجسم العشرين وجهًا:

   • 24 دورة بمقدار $\pm 72^\circ$ و $\pm 144^\circ$ حول المحاور التي تمر عبر مراكز الأوجه الخماسية المتقابلة (6 محاور).
   • 20 دورة بمقدار $\pm 120^\circ$ حول المحاور التي تمر عبر مراكز الأوجه السداسية المتقابلة (10 محاور).
   • 15 دورة بمقدار $180^\circ$ حول المحاور التي تمر عبر منتصفات الحواف المتقابلة المشتركة بين الأوجه السداسية (15 محورًا).
   • 1 تحويل محايد.

2. تعريف المجموعة ($X$): تمثل المجموعة $X$ إجمالي عدد تكوينات الكرة الممكنة دون اعتبار للتماثل. تعمم الورقة ذلك بتعريف $p$ كعدد الأنماط المتميزة (الاتجاهات) المتاحة للوح الخماسي، و $q$ للوح السداسي. بالنسبة لتصميم ويتلي المحدد، $p=1$ و $q=3$.

3. حساب النقاط الثابتة ($|X_g|$): لكل عنصر $g \in G$، يتم حساب عدد التكوينات التي يثبتها ذلك الدوران بناءً على بنية المدارات للأوجه:

   • الحالة 1 ($\pm 72^\circ, \pm 144^\circ$): يشكل الخماسيان الموجودان على المحور مدارات بحجم 1؛ وتُشكل بقية الخماسيات العشرة والسداسيات العشرين مدارات بحجم 5. وهذا يعطي $|X_g| = p^4 q^4$. هناك 24 دورة من هذا النوع.
   • الحالة 2 ($\pm 120^\circ$): يشكل السداسيان الموجودان على المحور مدارات بحجم 1؛ وتُشكل بقية الخماسيات الاثني عشر والسداسيات الثماني عشرة مدارات بحجم 3. وهذا يعطي $|X_g| = p^4 q^8$. هناك 20 دورة من هذا النوع.
   • الحالة 3 ($180^\circ$): تشكل جميع الأوجه مدارات بحجم 2. وهذا يعطي $|X_g| = p^6 q^{10}$. هناك 15 دورة من هذا النوع.
   • الحالة 4 (التحويل المحايد): تشكل جميع الأوجه مدارات بحجم 1. وهذا يعطي $|X_g| = p^{12} q^{20}$. هناك دورة واحدة من هذا النوع.

4. تطبيق صيغة بيرنسايد: يتم حساب عدد المدارات المتميزة (الكرات الفريدة) كالتالي:
   $$|X/G| = \frac{1}{60} \left( 24p^4q^4 + 20p^4q^8 + 15p^6q^{10} + p^{12}q^{20} \right)$$

النتائج الرئيسية

• الحالة المحددة (تصميم ويتلي): بالتعويض عن $p=1$ و $q=3$ في الصيغة المستمدة، نحصل على 58,130,055 كرة متميزة بالضبط.
• الحالة المعممة: تستكشف الورقة أيضًا نوعًا متغيرًا افتراضيًا حيث تمتلك الخماسيات 5 اتجاهات والسداسيات 5 اتجاهات ($p=5, q=5$). ينتج عن ذلك حوالي $3.88 \times 10^{20}$ كرة متميزة.

الأهمية والادعاءات
تدعي الورقة تقديم تعداد دقيق لهذه التصاميم، مصححة "التقدير الفج" البالغ $3^{20}$ من خلال مراعاة التناظر الدوراني. يضع المؤلف حجم النتيجة لتصميم ويتلي المحدد (58 مليونًا) في سياقه من خلال مقارنته بالإنتاج السنوي العالمي لكرات القدم. علاوة على ذلك، تقدم الورقة تشبيهات فيزيائية لتصور حجم الفضاء التوافقي:

• الـ 58 مليون كرة ستغطي حوالي 243 هكتارًا إذا وُضعت بكثافة (ما يعادل مساحة هايد بارك تقريبًا).
• إذا رُصت بكثافة، ستشكل مكعبًا طول ضلعه 76 مترًا أو تملأ 175 مسبحًا أولمبيًا.
• في سيناريو $p=5, q=5$ المعمم، سيغطي الحجم الناتج الكرة الأرضية بأكملها (بما في ذلك المحيطات) بعمق يصل إلى حوالي 5,700 متر.

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