الإلغاء الصغير للأغطية المتفرعة العشوائية للمجموعات

المعلومات الأساسية

• معرّف الورقة: 2511.00364
• العنوان: الإلغاء الصغير للأغطية المتفرعة العشوائية للمجموعات
• المؤلفون: Hyeran Cho, Jean-François Lafont, Rachel Skipper
• التصنيف: math.GR (نظرية المجموعات)، math.GT (الطوبولوجيا الهندسية)
• تاريخ النشر: 4 نوفمبر 2025
• رابط الورقة: https://arxiv.org/abs/2511.00364

الملخص

تقدم هذه الورقة بناء نموذج عشوائي لأغطية متفرعة من الدرجة $n$ لمركب 2-متعدد أضلاع محدود قابل للقبول $X$، بما في ذلك مركبات تقديم المجموعات المنتهية المعروضة التي تحقق شروطاً معتدلة. بالنسبة لأي $\lambda > 0$، يثبت المؤلفون أنه عندما يميل $n$ إلى اللانهاية، فإن الغطاء المتفرع العشوائي يكافئ بشكل متقارب وتقريباً مؤكداً مركب 2 يحقق شرط الإلغاء الصغير الهندسي $C'(\lambda)$. كنتيجة طبيعية، فإن المجموعة الأساسية للغطاء المتفرع العشوائي تكون بشكل متقارب وتقريباً مؤكداً ثنائية الزمرة من Gromov وذات بُعد تعاون صغير.

السياق البحثي والدافع

خلفية المشكلة

1. تطبيق الطرق الاحتمالية: لقد أصبحت الطرق الاحتمالية، التي أسسها Erdös، أداة قوية في التوافقيات ونظرية الرسوم البيانية. تطورت النماذج العشوائية لتشمل دراسة المركبات البسيطة عالية الأبعاد (Kahle)، والأسطح المغلقة العشوائية (Brooks-Makover)، و3-متشعبات عشوائية (Dunfield-Thurston). بدأ Gromov دراسة المجموعات العشوائية في أواخر الثمانينيات، مركزاً على نموذج الكثافة ونموذج العلاقات القليلة.
2. أهمية الأغطية المتفرعة: تعتبر الأغطية المتفرعة بناءً شائعاً في الطوبولوجيا منخفضة الأبعاد. يمكن تحقيق جميع الأسطح المغلقة الموجهة كأغطية متفرعة للكرة، وينطبق الشيء نفسه على 3-متشعبات (Hilden, Montesinos). توفر الأغطية المتفرعة أمثلة مثيرة للاهتمام في هندسة المتشعبات ذات الانحناء السالب (Gromov-Thurston وآخرون).

الدافع البحثي

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

حدود الطرق الموجودة

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

المساهمات الأساسية

1. بناء نموذج الأغطية المتفرعة العشوائية: بناء نموذج منهجي لأغطية متفرعة عشوائية من الدرجة $n$ للمركبات 2-متعددة الأضلاع المحدودة (خاصة مركبات التقديم).
2. النظرية الرئيسية: إثبات أنه بالنسبة لمركب 2-متعدد أضلاع محدود قابل للقبول $X$، فإن غطاءه المتفرع العشوائي من الدرجة $n$ يكافئ بشكل متقارب وتقريباً مؤكداً مركب 2 يحقق شرط الإلغاء الصغير الهندسي $C'(\lambda)$ (لأي $\lambda > 0$ ثابت).
3. النتائج الهندسية: كتطبيق لحالة $\lambda = 1/6$، يثبت أن الغطاء المتفرع العشوائي يحقق بشكل متقارب وتقريباً مؤكداً:
   • $X(\sigma)$ غير كروي، وبالتالي هو فراغ Eilenberg-MacLane $K(\pi_1(X(\sigma)), 1)$
   • $\pi_1(X(\sigma))$ ثنائي الزمرة من Gromov وقابل للتكعيب
   • $\pi_1(X(\sigma))$ خالٍ من الالتواء، ببُعد تعاون $\leq 2$
4. الابتكار التقني: إنشاء ارتباط بين نظرية الفراغات المغطاة والترتيبات في المجموعات المتماثلة، واستخدام الخصائص الاحتمالية للمجموعات المتماثلة لتحليل الخصائص الهندسية للأغطية المتفرعة.

شرح الطريقة

تعريف المهمة

الإدخال: مركب 2-متعدد أضلاع محدود قابل للقبول $X$ (خاصة مركب تقديم مجموعة منتهية المعروضة)

الإخراج: غطاء متفرع عشوائي من الدرجة $n$ يُرمز له $X(\sigma)$، يحقق شرط الإلغاء الصغير الهندسي

تعريف مركب 2-متعدد الأضلاع القابل للقبول:

1. البُعد الأساسي $X^{(1)}$ له مجموعة أساسية برتبة لا تقل عن 2
2. خرائط الإرفاق للخلايا 2 ليست قوى حقيقية في $\pi_1(X^{(1)})$، وليست متساوية الشكل بشكل ثنائي

معمارية النموذج

1. تعريف مركب 2-متعدد الأضلاع

• مركب CW ثنائي الأبعاد، كل حافة بطول 1 واتجاه محدد
• الخلايا 2 محددة كأقراص، مع تقسيم الحدود إلى فترات متتالية بطول 1
• تخريط الإرفاق يرسل كل فترة بشكل متساوٍ إلى حافة واحدة في البُعد الأساسي

2. بناء الغطاء المتفرع

بالنسبة لمركب التقديم $X$ (المقابل لتقديم المجموعة $\Gamma = \langle u_1, \ldots, u_t | r_1, \ldots, r_s \rangle$):

الخطوة 1: غطاء البُعد الأساسي

• اختيار $t$ ترتيبات عشوائية $\sigma = (\sigma_1, \ldots, \sigma_t)$، حيث $\sigma_i \in \text{Sym}(n)$
• كل ترتيب $\sigma_i$ يرمز للصور الأولية للحلقة $x_i$ المقابلة للمولد $u_i$
• إذا كان $\sigma_i$ يرسل العدد الصحيح $a$ إلى $b$، فهناك حافة موجهة من الرأس $v_a$ إلى $v_b$ (صورة أولية من $x_i$)

الخطوة 2: إرفاق الخلايا 2

• لكل علاقة $r_i$، ابدأ من كل رأس وارفع المسار على طول أحرف $r_i$
• عندما يُغلق المسار، أرفق قرص 2 على طول الحلقة المُغلقة
• يُرمز للأقراص المرفوعة بـ $D_{ij}$، مع مؤشر $\text{ind}(D_{ij})$ وهو درجة خريطة الحد

الخطوة 3: نقاط التفرع

• مسار التفرع $B$ هو مجموعة مراكز جميع الأقراص 2 في المركب الأصلي $X$
• مؤشر التفرع لمركز كل قرص مرفوع $D_{ij}$ يساوي $\text{ind}(D_{ij})$

3. تعريف المعاملات الرئيسية

دع $R_L$ و $R_S$ يكونان طول أطول وأقصر علاقة على التوالي. نعرّف:

• حد التداخل الأعلى: $O := R_L^2 + R_L$ (حد طول التداخل المضمون بالمقترح 2.7)
• المؤشر الحرج: $I := \frac{O}{\lambda R_S}$
• قرص $\lambda$-جيد: قرص بمؤشر $\geq I$ (يحقق تلقائياً $C'(\lambda)$)
• قرص $\lambda$-مثير للقلق: قرص بمؤشر $< I$

نقاط الابتكار التقني

1. الارتباط بين نظرية الغطاء والمجموعات المتماثلة

• إنشاء تطابق ثنائي الاتجاه بين الأغطية المتفرعة المحددة من الدرجة $n$ والعناصر في $\text{Sym}(n)^t$
• استخدام الخصائص الاحتمالية للمجموعات المتماثلة (مثل نظرية Dixon) لتحليل اتصال الغطاء

2. التحليل الدقيق لنظرية التداخل

المقترح 3.13: خصائص الرفع والإسقاط للتداخل تحت خريطة الغطاء

• التداخل $(p, p')$ في المركب الأصلي $X$ يرتفع إلى تداخل في الغطاء المتفرع $X(\sigma)$
• التداخل في $X(\sigma)$ ينخفض إلى تداخل في $X$

النتيجة 3.14: إذا كان $\bar{D}$ غطاء متفرع من $D$ بمؤشر $k$، فإن $o(\bar{D}) = o(D)/k$

3. أدوات التحليل الاحتمالي

المقترح 3.18 (Hanany-Puder): بالنسبة لترتيب غير قوة حقيقية $r_i$، العدد المتوقع للدورات بطول $k$ في $r_i(\sigma)$ هو $\frac{1}{k} + O(n^{-\pi(r_i)})$

النتيجة 3.20: بالنسبة لعدد صحيح $k$ و $\epsilon > 0$، بالنسبة لـ $n$ كبيرة بما يكفي، باحتمالية لا تقل عن $1-\epsilon/2$، يحتوي الغطاء المتفرع العشوائي من الدرجة $n$ على أقل من أو يساوي $M(k,\epsilon)$ قرص بمؤشر $\leq k$.

4. خصائص تضمين الأقراص

المقترح 3.21: بشكل متقارب وتقريباً مؤكداً، جميع الأقراص بمؤشر $m$ مضمنة بشكل حقني.

المقترح 3.22: بشكل متقارب وتقريباً مؤكداً، جميع الأقراص بمؤشر لا يزيد عن $I$ لا تتقاطع بشكل ثنائي.

إعداد التجربة

إطار الإثبات النظري

هذه ورقة رياضيات نظرية بحتة لا تتضمن تجارب حسابية. يستخدم الإثبات طرق نظرية الاحتمالات والطوبولوجيا.

استراتيجية الإثبات

ينقسم إثبات النظرية الرئيسية إلى الخطوات التالية:

1. اختيار المعاملات: بالنسبة لـ $\epsilon > 0$، اختر:
   • $M := M(I, \epsilon)$ بحيث يكون عدد الأقراص عالية المؤشر محدوداً
   • $K := R_S^{-1}(1 + \lambda^{-1})O(M^2I(R_LO)^2) + R_S^{-1}\lambda^{-1}O$
2. تصنيف الأقراص:
   • أقراص صغيرة: مؤشر $\leq I$ (أي أقراص مثيرة للقلق)
   • أقراص متوسطة: مؤشر $> I$ لكن $\leq K$
   • أقراص كبيرة: مؤشر $> K$
3. بناء التكافؤ الهوموتوبي:
   • بناء فراغ حاصل $Y(\sigma)$: طي جميع الأقراص الصغيرة في $X(\sigma)$ إلى نقطة
   • إثبات أن خريطة الحاصل $q: X(\sigma) \to Y(\sigma)$ هي تكافؤ هوموتوبي (الحقيقة 1)
4. التحقق من شرط الإلغاء الصغير:
   • أقراص متوسطة: تحقق مباشرة $o(\hat{D}) < \lambda$ (الحقيقة 2)
   • أقراص كبيرة: إثبات من خلال تقدير دقيق (الحقائق 3-4)

نتائج التجربة

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

النظرية الرئيسية: دع $X$ يكون مركب 2-متعدد أضلاع محدود قابل للقبول، و $X(\sigma)$ غطاؤه المتفرع العشوائي من الدرجة $n$. بالنسبة لأي $\lambda > 0$ ثابت، يكافئ $X(\sigma)$ بشكل متقارب وتقريباً مؤكداً مركب 2 يحقق شرط الإلغاء الصغير الهندسي $C'(\lambda)$.

النتيجة 1.1 (حالة $\lambda = 1/6$): يحقق الغطاء المتفرع العشوائي بشكل متقارب وتقريباً مؤكداً:

• عدم الكروية وخاصية Eilenberg-MacLane
• ثنائية الزمرة من Gromov وقابلية التكعيب للمجموعة الأساسية
• الخلو من الالتواء وبُعد التعاون $\leq 2$

التحقق من المقترحات الرئيسية

الاتصال (النتيجة 3.11): عندما $t \geq 2$، يكون $X(\sigma)$ متصلاً بشكل متقارب وتقريباً مؤكداً.

• بناءً على نظرية Dixon: نسبة الأزواج المرتبة التي تولد مجموعة فرعية متعدية هي $1 - \frac{1}{n} + O(\frac{1}{n^2})$

التحكم في عدد الأقراص (النتيجة 3.20): عدد الأقراص منخفضة المؤشر محدود

• استخدام نتائج خريطة الكلمات من Hanany-Puder
• تقارب القيمة المتوقعة إلى الثابت $s(1 + \frac{1}{2} + \cdots + \frac{1}{k})$

التضمين (المقترح 3.21): جميع الأقراص بمؤشر ثابت $m$ مضمنة بشكل حقني بشكل متقارب وتقريباً مؤكداً

• من خلال حجة العد: نسبة الصور الأولية غير الحقنية تميل إلى 0

عدم التقاطع (المقترح 3.22): الأقراص بمؤشر لا يزيد عن $I$ لا تتقاطع بشكل ثنائي بشكل متقارب وتقريباً مؤكداً

• من خلال تقدير نسبة الأغطية التي تحتوي على أقراص متقاطعة

التقديرات الرئيسية للإثبات

الحقيقة 3: بالنسبة لقرص كبير $D$، عدد التداخلات مع الأقراص الصغيرة $\leq M^2I(R_LO)^2$

الحقيقة 4: في فراغ الحاصل $Y(\sigma)$، أي طول تداخل $\leq (M^2I(R_LO)^2 + 1)O$

تقدير نسبة التداخل: بالنسبة لقرص كبير $\hat{D}$ في $Y(\sigma)$: $o(\hat{D}) \leq \frac{(M^2I(R_LO)^2 + 1)O}{\lambda^{-1}OM^2I(R_LO)^2 + \lambda^{-1}O} = \lambda$

الأعمال ذات الصلة

تطور النماذج العشوائية

1. الرسوم البيانية العشوائية (Erdös-Spencer): التطبيق الكلاسيكي للطرق الاحتمالية
2. المركبات البسيطة العشوائية (Kahle): التعميم على الأبعاد العالية
3. الأسطح العشوائية (Brooks-Makover): عشوائية الكائنات الطوبولوجية
4. المتشعبات ثلاثية الأبعاد العشوائية (Dunfield-Thurston): الحالة ثلاثية الأبعاد
5. المجموعات العشوائية (Gromov): نموذج الكثافة ونموذج العلاقات القليلة

نظرية الإلغاء الصغير

1. الإلغاء الصغير الكلاسيكي (Lyndon): أداة مهمة في نظرية المجموعات التوافقية
2. الإلغاء الصغير الهندسي (Gromov, Wise): شرط $C'(1/6)$ يعني ثنائية الزمرة من Gromov
3. خصائص مجموعات الإلغاء الصغير: الثنائية الكلمية، القابلية للتكعيب، بُعد التعاون

تطبيقات الأغطية المتفرعة

1. الأسطح والمتشعبات ثلاثية الأبعاد (Hilden, Montesinos): يمكن تحقيق جميع الأسطح المغلقة الموجهة والمتشعبات ثلاثية الأبعاد كأغطية متفرعة
2. الهندسة ذات الانحناء السالب (Gromov-Thurston, Fine-Premoselli وآخرون): توفر الأغطية المتفرعة أمثلة مثيرة للاهتمام

الابتكار في هذه الورقة

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

الخلاصة والنقاش

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

1. بناء ناجح لنموذج الأغطية المتفرعة العشوائية للمركبات 2-متعددة الأضلاع المحدودة القابلة للقبول
2. إثبات أن الأغطية المتفرعة العشوائية تحقق بشكل متقارب وتقريباً مؤكداً شرط الإلغاء الصغير الهندسي
3. استنتاج الخصائص الهندسية المهمة للمجموعة الأساسية (ثنائية الزمرة من Gromov، القابلية للتكعيب، إلخ)

القيود

1. تقييد الرتبة: يتطلب أن تكون رتبة المجموعة الأساسية للبُعد الأساسي لا تقل عن 2 (تحتاج حالة المولد الواحد معالجة خاصة)
2. افتراض القابلية: يتطلب أن لا تكون العلاقات قوى حقيقية وأن تكون غير متساوية الشكل بشكل ثنائي
3. المقياس المنتظم: يستخدم النموذج الحالي التوزيع المنتظم على المجموعة المتماثلة، والمقاييس الأخرى لم تُستكشف بعد

الاتجاهات المستقبلية

النقاش في القسم 5.2:

• خصائص المجموعات الفرعية ذات الفهرس المحدود للمجموعة الأساسية
• مسائل وراثة الخصائص الهندسية والطوبولوجية

التوقعات في القسم 5.3:

• المقاييس غير المنتظمة: هل يمكن التحكم في خصائص الأغطية المتفرعة من خلال مقاييس منحازة؟
• إذا لم يحقق المركب الأصلي الإلغاء الصغير، هل يمكن ضمان أن الغطاء المتفرع العشوائي أيضاً لا يحققه؟
• الحاجة إلى فهم أعمق للتفاعل بين خرائط الكلمات والمقاييس على المجموعات المتماثلة

التطبيقات المحتملة:

• بناء أمثلة على مجموعات ثنائية الزمرة بخصائص محددة
• دراسة بنية المجموعات الفرعية للمجموعات المنتهية المعروضة
• استكشاف تطبيقات الأغطية المتفرعة في نظرية المجموعات الهندسية

التقييم المتعمق

المزايا

1. ابتكار قوي:
   • تطبيق أول منهجي للنماذج العشوائية على دراسة الأغطية المتفرعة
   • دمج ماهر لنظرية الفراغات المغطاة، نظرية الاحتمالات للمجموعات المتماثلة، ونظرية المجموعات الهندسية
   • إنشاء نموذج بحثي جديد وثمري
2. عمق نظري:
   • الإثبات صارم وكامل، مع معالجة دقيقة للتفاصيل التقنية
   • المقترح 2.7 (حد طول التداخل) والمقترح 3.13 (الرفع والإسقاط للتداخل) هما مساهمات تقنية رئيسية
   • تصنيف الأقراص (صغيرة، متوسطة، كبيرة) يعكس رؤية هندسية عميقة
3. أهمية النتائج:
   • النظرية الرئيسية تنطبق على أي $\lambda > 0$، مما يعطيها عمومية
   • النتائج في حالة $\lambda = 1/6$ لها محتوى هندسي غني
   • توفر طريقة جديدة لبناء مجموعات ثنائية الزمرة من Gromov
4. الكتابة الواضحة:
   • البنية منطقية، من الحالات الخاصة إلى العامة (معالجة مركبات التقديم أولاً، ثم التعميم)
   • توفير أمثلة تفصيلية (3.4, 3.5, 3.6) لتعزيز الفهم
   • تعريفات المفاهيم التقنية (التداخل، التداخل الفرعي، الأقراص الجيدة، إلخ) واضحة

أوجه القصور

1. التعقيد الحسابي:
   • تعريف المؤشر الحرج $I$ والمعامل $K$ معقد نسبياً (المعادلة 4.1)
   • قد يكون من الصعب حسابها بفعالية في التطبيقات العملية
2. شرط القابلية:
   • استبعاد القوى الحقيقية والعلاقات المتساوية الشكل، بينما ضروري، يحد من نطاق التطبيق
   • المثال 3.6 يوضح أن النموذج قد يفشل في الحالات غير القابلة للقبول
3. التقديرات الكمية:
   • النتائج المقاربة لا توفر تقديرات دقيقة لسرعة التقارب
   • القيمة المحددة لـ $M(k, \epsilon)$ تعتمد على إثبات المقترح 3.19، لكن لم يتم إعطاء تعبير صريح
4. قابلية التعميم:
   • حالة الرؤوس المتعددة تتطلب معالجة إضافية (القسم 5.1)
   • حالة المقاييس غير المنتظمة مفتوحة تماماً (القسم 5.3)

التأثير

1. المساهمة النظرية:
   • فتح اتجاه جديد لنظرية المجموعات العشوائية
   • إثراء تطبيقات الأغطية المتفرعة
   • ربط نظرية الاحتمالات والطوبولوجيا ونظرية المجموعات الهندسية
2. قيمة المنهجية:
   • نموذج استخدام الخصائص الاحتمالية للمجموعات المتماثلة لدراسة المسائل الطوبولوجية
   • تقنيات التحليل الدقيق لنظرية التداخل قد تنطبق على مسائل أخرى
3. التطبيقات المحتملة:
   • أداة جديدة لبناء مجموعات ثنائية الزمرة ومتشعبات ذات انحناء سالب
   • قد تلهم تصميم الخوارزميات في نظرية المجموعات الحسابية
4. قابلية التكرار:
   • الإثبات النظري كامل وقابل للتحقق
   • تعريف النموذج العشوائي واضح، يمكن تنفيذه من حيث المبدأ

السيناريوهات المناسبة

1. البحث النظري:
   • دراسة المجموعات الفرعية والمجموعات الحاصلة للمجموعات المنتهية المعروضة
   • بناء أمثلة على مجموعات بخصائص محددة
   • استكشاف الطرق الاحتمالية في نظرية المجموعات الهندسية
2. الطوبولوجيا الهندسية:
   • دراسة المتشعبات ثنائية الزمرة والفراغات ذات الانحناء السالب
   • تحليل الخصائص الهندسية للفراغات المغطاة
3. القيود:
   • يتطلب تحقيق شرط القابلية
   • ينطبق بشكل أساسي على المركبات 2-الأبعاد ودراسة المجموعات الأساسية
   • التعميم على الأبعاد العالية لم يتم إنشاؤه بعد

المراجع

الاستشهادات الرئيسية

1. AS16 Alon, Spencer: الطريقة الاحتمالية - الكتاب المرجعي الكلاسيكي للطرق الاحتمالية
2. Gro93 Gromov: الثوابت المقاربة للمجموعات اللانهائية - العمل الرائد في المجموعات العشوائية
3. Gro87 Gromov: المجموعات الثنائية الزمرة - أساس نظرية المجموعات ثنائية الزمرة
4. Wis04 Wise: تكعيب مجموعات الإلغاء الصغير - قابلية التكعيب لمجموعات الإلغاء الصغير
5. HP23 Hanany, Puder: مقاييس الكلمات على المجموعات المتماثلة - النتيجة الرئيسية لخرائط الكلمات على المجموعات المتماثلة
6. Dix69 Dixon: احتمالية توليد المجموعة المتماثلة - النتيجة الكلاسيكية لاحتمالية المجموعات الفرعية المتعدية
7. Hil74, Mon74 Hilden, Montesinos: تمثيل المتشعبات ثلاثية الأبعاد كأغطية متفرعة

الأدبيات ذات الصلة

• الأسطح العشوائية: Brooks-Makover BM04
• المتشعبات ثلاثية الأبعاد العشوائية: Dunfield-Thurston DT06
• المركبات البسيطة العشوائية: Kahle Kah14
• نظرية الإلغاء الصغير: Lyndon Lyn77, Guirardel Gui12

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