مجموعة كاكييا

تمكن أبرام بيسيكوفيتش في عام 1928 من إثبات أنه لا يوجد حد أدنى أكبر من الصفر لمساحة مثل هذه المنطقة.${\displaystyle D}$، حيث يمكن قلب إبرة طولها وحدة واحدة. أي، لكل${\displaystyle \varepsilon >0}$هناك منطقة من${\displaystyle \varepsilon }$حيث يمكن للإبرة أن تتحرك بحركة مستمرة تُديرها دورة كاملة بزاوية 360 درجة. ^{[ 2 ]} أنتجت جمعية الرياضيات الأمريكية فيلمًا في عام 1962 يشرح فيه بيسيكوفيتش كيفية بناء مثل هذه المجموعة. ^{[ 6 ]}

إحدى طرق إنشاء مجموعة إبر كاكيا ذات مساحة صغيرة عشوائية (وكذلك مجموعة بيسيكوفيتش ذات قياس صفري) تُعرف باسم "شجرة بيرون"، نسبةً إلى أوسكار بيرون الذي بسّط بناء بيسيكوفيتش الأصلي. ^{[ 7 ]} يرد وصف دقيق للبناء والحدود العددية في كتاب بيسيكوفيتش الذي بسط هذه الطريقة. ^{[ 1 ]}

الملاحظة الأولى هي أن الإبرة يمكنها التحرك في خط مستقيم إلى أي مسافة دون مسح أي مساحة. والسبب في ذلك هو أن الإبرة عبارة عن قطعة مستقيمة عرضها صفر. أما الحيلة الثانية لبال ، والمعروفة باسم وصلات بال ، ^{[ 8 ]} فتصف كيفية تحريك الإبرة بين أي موقعين متوازيين مع مسح مساحة ضئيلة. ستتبع الإبرة شكل حرف "N"، حيث تتحرك من الموقع الأول مسافة معينة.${\displaystyle r}$يبدأ المسح من الجهة اليسرى للحرف "N"، ثم يمتد بزاوية إلى القطر الأوسط، ثم ينزل على طول القطر، ويمتد بزاوية ثانية، ثم يصعد على الجانب الأيمن الموازي للحرف "N" حتى يصل إلى الموقع الثاني المطلوب. المناطق الوحيدة غير الصفرية التي يتم مسحها هي قطعتي الدائرة عند زاويتي الحرف "N". تتناسب مساحة المسح مع الزاوية التي تتناسب بدورها مع${\displaystyle 1/r}$وبالتالي، يمكن تصغير المساحة الممسوحة بشكل تعسفي عن طريق اختيار قيمة كبيرة مناسبة.${\displaystyle r}$.

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

الآن، نقسم المثلث إلى 2n ^مثلثًا فرعيًا. يوضح الشكل ثمانية مثلثات. لكل زوج متتالي من المثلثات، نُجري عملية التراكب نفسها التي وصفناها سابقًا لنحصل على نصف عدد الأشكال الجديدة، كل منها يتكون من مثلثين متداخلين. بعد ذلك، نُركّب أزواجًا متتالية من هذه الأشكال الجديدة عن طريق تحريكها بحيث تتداخل قواعدها بطريقة تُقلل المساحة الكلية. نُكرر هذه العملية n مرة حتى يتبقى شكل واحد فقط. مرة أخرى، تستطيع الإبرة مسح الاتجاهات نفسها بمسحها في كل مثلث فرعي من المثلثات الـ 2n ^بترتيب اتجاهها. تستطيع الإبرة القفز فوق المثلثات المتتالية باستخدام تقنية "N" لأن الخطين اللذين قُطعت عندهما هذه المثلثات متوازيان.

يُظهر تحليلٌ مُفصّلٌ للشكل الناتج أن مساحته تتقلص إلى الصفر مع ازدياد قيمة n . ويمكن إنشاء مجموعة بيسيكوفيتش من خلال دمج ست دورات لشجرة بيرون المُنشأة من مثلث متساوي الأضلاع.

في عام 1941، أثبت إتش جيه فان ألفين ^{[ 9 ]} وجود مجموعات إبر كاكيا صغيرة الحجم داخل دائرة نصف قطرها 2 + ε (حيث ε > 0). وفي عام 1965، تم اكتشاف مجموعات إبر كاكيا بسيطة الاتصال ذات مساحة أصغر من مساحة الشكل الدلتاوي. وقدّم كلٌّ من ميلفين بلوم وإي جيه شونبيرج، بشكل مستقل، مجموعات إبر كاكيا بسيطة الاتصال ذات مساحات تقترب من${\displaystyle {\tfrac {\pi }{24}}(5-2{\sqrt {2}})}$، وهو عدد بلوم-شونبيرغ (≈0.2843). افترض شونبيرغ أن هذا العدد هو الحد الأدنى لمساحة مجموعات إبر كاكيا المتصلة ببساطة. مع ذلك، في عام 1971، أثبت ف. كانينغهام ^{[ 10 ]} أنه، إذا كانت ε > 0، توجد مجموعة إبر كاكيا متصلة ببساطة مساحتها أقل من ε، محصورة داخل دائرة نصف قطرها 1.

على الرغم من وجود مجموعات إبر كاكيا ذات قياس موجب صغير بشكل تعسفي ومجموعات بيسيكوفيتش ذات قياس 0، إلا أنه لا توجد مجموعات إبر كاكيا ذات قياس 0.

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

تخمين مجموعة كاكييا : مجموعة جزئية من الفضاء الإقليدي${\displaystyle {\mathbb {R}}^{n}}$يجب أن يكون للقطعة التي تحتوي على قطعة مستقيمة وحدة في كل اتجاه بُعد هاوسدورف${\displaystyle n}$.

من المعروف أن هذا صحيح بالنسبة لـ n = 1، 2 ولكن النتائج الجزئية فقط معروفة في الأبعاد الأعلى.

ترتبط حدسية كاكييا ارتباطًا وثيقًا بحدسية التقييد ، وحدسية بوخنر-ريز ، وحدسية التنعيم المحلي . ^{[ 11 ] [ 12 ]}

في فبراير 2025، نشر هونغ وانغ وجوشوا زال برهانًا للحالة n = 3 على موقع arXiv . ^{[ 13 ]} تُوصف حدسية كاكييا في ثلاثة أبعاد بأنها "إحدى أكثر المسائل المفتوحة رواجًا في نظرية القياس الهندسي"، وفي عام 2026، مُنح هونغ وانغ ميدالية فيلدز، ويعود الفضل في ذلك جزئيًا إلى هذا العمل. ^{[ 14 ] [ 15 ] [ 16 ]}

تتمثل إحدى الطرق الحديثة لمعالجة هذه المشكلة في النظر في نوع معين من الدوال القصوى ، والتي نقوم بإنشائها على النحو التالي: لنرمز إلى S ^{_{n -1}} ⊂ R _ⁿ بالكرة الوحدة في الفضاء ذي البعد n .${\displaystyle T_{e}^{\delta }(a)}$لنفترض أن لدينا أسطوانة طولها 1، ونصف قطرها δ > 0، ومركزها النقطة a ∈ R ⁿ ، وضلعها الأطول موازٍ لاتجاه متجه الوحدة e ∈ S n ^{−1 .} ثم، بالنسبة لدالة قابلة للتكامل محليًا f ، نُعرّف دالة كاكيا القصوى لـ f على النحو التالي: $${\displaystyle f_{*}^{\delta }(e)=\sup _{a\in \mathbf {R} ^{n}}{\frac {1}{m(T_{e}^{\delta }(a))}}\int _{T_{e}^{\delta }(a)}|f(y)|dm(y),}$$ حيث يرمز m إلى مقياس ليبيغ ذي البعد n . لاحظ أن${\displaystyle f_{*}^{\delta }}$يتم تعريفها للمتجهات e في الكرة S ^{n −1} .

ثم هناك تخمين لهذه الدوال، إذا كان صحيحًا، فسوف يستلزم تخمين مجموعة كاكييا للأبعاد الأعلى:

تخمين كاكييا للدالة القصوى : لكل ε > 0، يوجد ثابت C _ε > 0 بحيث أنه لأي دالة f ولكل δ > 0، (انظر فضاء lp للرموز)

$${\displaystyle \left\|f_{*}^{\delta }\right\|_{L^{n}(\mathbf {S} ^{n-1})}\leqslant C_{\epsilon }\delta ^{-\epsilon }\left\|f\right\|_{L^{n}(\mathbf {R} ^{n})}.}$$

بعض النتائج التي ساهمت في إثبات حدسية كاكييا هي التالية:

• إن تخمين كاكييا صحيح بالنسبة لـ n = 1 (بشكل بديهي) و n = 2 (ديفيز ^{[ 17 ]} ).
• في أي فضاء ذي أبعاد n ، أظهر وولف ^{[ 18 ]} أن بُعد مجموعة كاكيا يجب أن يكون على الأقل ( n + 2) / 2.
• في عام 2002، قام كاتز وتاو ^{[ 19 ]} بتحسين ربط وولف بـ${\displaystyle (2-{\sqrt {2}})(n-4)+3}$، وهو الأفضل عندما يكون n > 4.
• في عام 2000، أثبت كاتز، ولابا ، وتاو ^{[ 20 ]} أن بُعد مينكوفسكي لمجموعات كاكييا في 3 أبعاد أكبر من 5/2 بشكل صارم.
• في عام 2000، ربط جان بورجين مشكلة كاكييا بالتوافقية الحسابية ^{[ 21 ] [ 22 ]} والتي تتضمن التحليل التوافقي ونظرية الأعداد الجمعية .
• في عام 2017، قام كاتز وزال ^{[ 23 ]} بتحسين الحد الأدنى لبُعد هاوسدورف لمجموعات بيسيكوفيتش في 3 أبعاد إلى${\displaystyle 5/2+\epsilon }$لثابت مطلق${\displaystyle \epsilon >0}$.
• في عام 2025، نشر وانغ وزال ^{[ 13 ]} على موقع arXiv برهانًا محتملاً لتخمين كاكييا في حالة n = 3.

تشمل نظائر مشكلة كاكييا النظر في مجموعات تحتوي على أشكال أكثر عمومية من الخطوط، مثل الدوائر.

• في عامي 1997 ^{[ 25 ]} و1999 ^{[ 26 ]} أثبت وولف أن المجموعات التي تحتوي على كرة من كل نصف قطر يجب أن يكون لها بُعد كامل، أي أن البُعد يساوي بُعد الفضاء الذي تقع فيه، وأثبت ذلك من خلال إثبات حدود على دالة دائرية قصوى مماثلة لدالة كاكيا القصوى.

• كان يُعتقد بوجود مجموعات ذات قياس صفري تحتوي على كرة حول كل نقطة. وقد أثبتت نتائج إلياس شتاين ^{[ 27 ]} أن جميع هذه المجموعات يجب أن يكون لها قياس موجب عندما يكون n ≥ 3، وأثبت مارستراند ^{[ 28 ]} الشيء نفسه في حالة n = 2 .

يتمثل أحد تعميمات حدسية كاكييا في النظر إلى مجموعات تحتوي، بدلاً من أجزاء من خطوط في كل اتجاه، على سبيل المثال، أجزاء من ^فضاءات جزئية ذات بُعد k . لنُعرّف مجموعة بيسيكوفيتش ( n , k )-K بأنها مجموعة متراصة في Rⁿ تحتوي على إزاحة لكل قرص وحدة ذي بُعد k وله قياس ليبيغ يساوي صفرًا. أي، إذا رمزنا للكرة B بالكرة الوحدة التي مركزها الصفر، فلكل فضاء جزئي P ذي بُعد k ، يوجد x ∈ Rⁿ بحيث يكون ( P ∩ B ) + x ⊆ K. وبالتالي، فإن مجموعة بيسيكوفيتش ( n , 1) ^- هي مجموعة بيسيكوفيتش القياسية الموصوفة سابقًا.

في عام 1979، أثبت مارستراند ^{[ 29 ]} عدم وجود مجموعات بيسيكوفيتش من النوع (3، 2). وفي نفس الفترة تقريبًا، أثبت فالكونر ^{[ 30 ]} عدم وجود مجموعات بيسيكوفيتش من النوع ( n ، k ) عندما يكون 2k > n . وأفضل حدٍّ تم التوصل إليه حتى الآن هو ما توصل إليه بورغين ^{[ 31 ]} ، الذي أثبت عدم وجود مثل هذه المجموعات عندما يكون 2k ^{- 1} + k > n .

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

أثبت زئيف دفير هذه الفرضية عام ٢٠٠٨، موضحًا أن العبارة صحيحة عندما يكون c _n = 1/ n !. ^{[ ٣٢ ] [ ٣٣ ]} في برهانه، لاحظ أن أي متعددة حدود في n متغيرات من درجة أقل من | F | تتلاشى على مجموعة كاكيا يجب أن تكون صفرًا مطابقًا. من ناحية أخرى، تشكل متعددات الحدود في n متغيرات من درجة أقل من | F | فضاءً متجهيًا ذا بُعد $${\displaystyle {|\mathbf {F} |+n-1 \choose n}\geq {\frac {|\mathbf {F} |^{n}}{n!}}.}$$

لذا، يوجد على الأقل متعدد حدود غير تافه من الدرجة الأقل من | F | يساوي صفرًا على أي مجموعة معطاة تحتوي على عدد نقاط أقل من هذا. وبدمج هاتين الملاحظتين، يتضح أن مجموعات كاكيا يجب أن تحتوي على الأقل على | F | ⁿ / n ! نقطة.

ليس من الواضح ما إذا كانت هذه التقنيات ستُستخدم لإثبات حدسية كاكييا الأصلية، لكن هذا البرهان يُعزز صحة الحدسية الأصلية بجعل الأمثلة المضادة الجبرية غير مرجحة. وقد كتب دفير مقالًا استعراضيًا حول التقدم المُحرز في مسألة كاكييا للحقول المنتهية وعلاقتها بمستخرجات العشوائية . ^{[ 34 ]}