📊 statistics

Randomstrasse101: Open Problems of 2025

تُعد هذه المخطوطة بمثابة سجل أكاديمي مستقر للمسائل المفتوحة في الرياضيات، ولا سيما في مجالات الاحتمالات، والحوسبة، والتركيبات، والإحصاء، التي نُشرت على مدونة Randomstrasse101 خلال عام 2025.

المؤلفون الأصليون: Afonso S. Bandeira, Daniil Dmitriev, Kevin Lucca, Petar Nizić-Nikolac, Almut Rödder

نُشر 2026-04-01

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Afonso S. Bandeira, Daniil Dmitriev, Kevin Lucca, Petar Nizić-Nikolac, Almut Rödder

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل مجموعة من علماء الرياضيات في جامعة سويسرية مرموقة (ETH Zurich) يديرون مدونة تسمى Randomstrasse101. فكر في هذه المدونة كأنها "مقهى لعلماء الرياضيات" حيث يجتمعون للدردشة حول أصعب الألغاز وأكثرها حيرة في مجالهم. هم لا يتحدثون فقط عن المشكلات الشهيرة التي تم حلها؛ بل يركزون على تلك التي تؤرق مضاجعهم، تلك التي تبدو بسيطة ولكنها تأبى الانكسار.

هذا المستند هو "سجل مستقر" أو قائمة مطبوعة لأكثر ستة عشر لغزاً إثارة للاهتمام ناقشوها في عام 2025. لقد كُتب بأسلوب ودي وغير رسمي، بهدف إلهام أي شخص فضولي حول كيفية عمل عالم الأرقام والأشكال.

إليك تفصيل لـ "الألغاز" الرئيسية (المشكلات المفتوحة) التي تمت مناقشتها، مشروحة بتشبيهات من الحياة اليومية:

1. "تشابك السباغيتي" (تركيز الموتر - Tensor Concentration)

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

2. "الحفلة الغامضة" (رقم لوفاز للرسوم البيانية العشوائية)

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

3. "المصور الأعمى" (استعادة الطور - Phase Retrieval)

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

4. "الشبكة المثالية" (القواعد غير المنحازة متبادلاً وتخمين زونر)

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

5. "النادي السري" (مخططات بالي - Paley Graphs)

المشكلة: هناك نوع خاص من المخططات يسمى "مخطط بالي"، مبني باستخدام قواعد نظر الأعداد. يبدو عشوائياً، لكنه في الواقع مبني بصيغة صارمة. السؤال هو: "ما هو حجم أكبر 'نادي سري' (clique) داخل هذا المخطط؟"
التشبيه: تخيل مدينة حيث يتصادق الناس بناءً على رمز رياضي سري. على الرغم من أن المدينة تبدو فوضوية، إلا أن المؤلفين يشتبهون في أن أكبر مجموعة من الأصدقاء المتبادلين هي صغيرة بشكل مفاجئ (جزء ضئيل فقط من المدينة). إنهم يختبرون عدسات مكبرة رياضية مختلفة (مثل مجموع المربعات - Sum-of-Squares) لمعرفة ما إذا كان بإمكانهم إثبات هذا الحجم الصغير، مما سيساعدنا في فهم مدى "عشوائية" هذه المخططات المهيكلة حقاً.

6. "شكل الاحتمالية" (تخمين KLS)

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

7. "المصفوفة السحرية" (الحدود الحادة لمصفوفات المخططات)

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

لماذا يهم هذا؟

قد تتساءل، "من يهتم بهذه الألغاز المجردة؟"

التشفير: بعض هذه المشكلات تتعلق بمدى أمان رموزنا الرقمية.
الذكاء الاصطناعي: فهم كيفية تحسين الأشكال المعقدة يساعد في تدريب ذكاء اصطناعي أفضل.
الفيزياء: مشكلات "المصور الأعمى" و"الشبكة المثالية" تُستخدم مباشرة في الحوسبة الكمومية والتصوير.

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

بناءً على المخطوطة بعنوان "Randomstrasse101: Open Problems of 2025" من إعداد أفونسو س. بانديرا وآخرون، إليكم ملخصاً تقنياً مفصلاً.

نظرة عامة

تعد هذه المخطوطة سجلاً مستقراً وقابلاً للاستشهاد لست عشرة مسألة مفتوحة نُشرت في عام 2025 على مدونة Randomstrasse101، والتي يشرف عليها باحثون من جامعة ETH زيورخ وجامعة بنسلفانيا. تركز المجموعة على نظرية الاحتمالات، والحوسبة، والتركيبات (Combinatorics)، والإحصاء. وبدلاً من كونها ورقة بحثية تقليدية تقدم نظرية واحدة تم حلها، فهي عبارة عن تجميع منسق للتخمينات، والأسئلة المفتوحة، والنتائج الجزئية الحديثة التي تهدف إلى توجيه الأبحاث المستقبلية. تغطي المسائل مجالات الهندسة عالية الأبعاد، ونظرية المصفوفات العشوائية، ونظرية المخططات (Graph Theory)، والتحسين (Optimization).

ملخصات المسائل التفصيلية حسب المدخلات

1. متباينات تركيز التنسور (المدخل 8)

المسألة: تحديد الحدود العليا للقيمة المتوقعة لـ "الحد الأعلى" (supremum) لعملية غاوسية معرفة بواسطة تنسورات متماثلة $T_i$ . وتحديداً، إيجاد حد لـ $E[\|\sum g_i T_i\|_{I_p}]$ ، حيث $g_i$ هي متغيرات غاوسية مستقلة ومتماثلة التوزيع (i.i.d.)، و $\|\cdot\|_{I_p}$ هو معيار $\ell_p$ الحقني المتماثل.
المنهجية والسياق: يحلل المؤلفون التداخل بين نظرية الترميز (Coding Theory)، والمعادلات التفاضلية الجزئية (PDEs)، وهندسة فضاءات باناخ. ويستخدمون تكامل دودلي للإنتروبيا (Dudley's entropy integral)، الذي يربط القيمة المتوقعة للحد الأعلى بأعداد التغطية (covering numbers) لكرات الوحدة تحت مقياس مسافة محدد.
التخمين الرئيسي (التخمين 16): بالنسبة لـ $p \ge 2$ ، يكون التوقع محدوداً بـ $\tilde{O}_{r,p}(d^{1/2 - 1/p} \sqrt{\sum \|T_i\|_{I_p}^2})$ .
الحالة: ثبتت صحة ذلك لـ $p \ge 2r$ باستخدام تقديرات عدد التغطية. أما حالة $p < 2r$ فلا تزال مفتوحة بسبب الحواجز الحجمية. وقد حسنت الأعمال الأخيرة لـ Aden-Ali و Boedihardjo الحدود لحالات محددة (مثل المدخلات المستقلة)، لكن التخمين العام لا يزال بعيد المنال.

2. عدد لوفاز للمخططات الدائرية العشوائية (المدخل 9)

المسألة: توصيف السلوك التقاربي لعدد لوفاز $\vartheta(G)$ للمخططات الدائرية الكثيفة العشوائية.
المنهجية: يستفيد المؤلفون من حقيقة أن المخططات الدائرية هي مخططات كايلي (Cayley graphs) فوق المجموعات الدورية، مما يسم يسمح بقطر مصفوفات التجاور الخاصة بها بواسطة تحويل فوريه المتقطع (DFT). وهذا يحول تعريف $\vartheta(G)$ القائم على البرمجة شبه المحددة (SDP) إلى برمجة خطية (LP) في نطاق التردد.
التخمين الرئيسي (التخمين 18): بالنسبة لمخطط دائري كثيف عشوائي $G$ ، فإن $E[\vartheta(G)] = (1+o(1))\sqrt{n}$ . وهذا يحاكي سلوك مخططات إيردوس-ريني $G(n, 1/2)$ .
النتائج: يوفر التقدم الجزئي في [BBD+25] حداً أدنى وحداً أعلى قدره $O(\sqrt{n} \log \log n)$ باستخدام خاصية القياس المتماثل المقيد (RIP) لمصفوفات DFT المأخوذة من عينات فرعية.

3. الحقن والاستقرار في استعادة الطور (المدخل 10)

المسألة: تحديد الشروط التي تسمح فيها المصفوفة $A$ بالاستعادة الحقنية (injective recovery) لمتجه $x$ من قياسات المقدار $|Ax|$ ، ومدى استقرار هذه الاستعادة.
المنهجية: تستعرض النصوص خاصية المتمم (الضرورية والكافية للحقنية فوق $\mathbb{R}$ ) وتقدم الكمية $\omega(A)$ المرتبطة برقم الشرط (condition number) للمصفوفات الفرعية.
التخمينات الرئيسية:
- التخمين 19: فوق $\mathbb{C}$ ، تعتبر $N=4M-5$ من القياسات غير كافية للحقنية باحتمالية عالية (مما ينقح تخمين $4M-4$ ).
- التخمين 20 (Balan-Wang): يربط ثابت الاستقرار $\omega(A)$ بمعيار الصف الأقصى لـ $A$ عبر قانون القوة $\|A_k\|^\beta$ .
سؤال مفتوح: تحديد القيمة الدقيقة لـ $\omega(A)$ للمصفوفات الغاوسية والأس $\beta$ .

4. القواعد غير المتعامدة المتبادلة (MUBs) وتخمين زونر (المدخل 11)

المسألة: وجود القواعد غير المتعامدة المتبادلة في البعد $d=6$ ووجود مقاييس الموجب المتعامد المكتمل متماثل المعلومات (SIC-POVMs) لجميع الأبعاد.
المنهجية: تناقش المدخلة استخدام تسلسلات مجموع المربعات (SoS) كأداة محتملة لإثبات نتائج عدم الوجود. كما تربط هذه المسائل بـ الأطر المتساوية الزوايا (ETFs).
التخمينات الرئيسية:
- التخمين 22: $MUB(6) < 7$ (أي أن 7 قواعد MUB لا توجد في $\mathbb{C}^6$ ).
- التخمين 24 (تخمين زونر): توجد SIC-POVMs (وهي ETFs مع $n=d^2$ ) لجميع الأبعاد $d$ .
الحالة: تعتمد البراهين الشرطية الأخيرة لتخمين زونر على تخمينات نظرية الأعداد (تخمينات Stark). أما البرهان غير المشروط فلا يزال مفتوحاً.

5. عدد الكليك (Clique Number) لمخطط بالي (المدخل 12)

المسألة: وضع حدود لعدد الكليك $\omega(G_p)$ لمخططات بالي، وهي مخططات حتمية تظهر خصائص شبه عشوائية.
المنهجية: يستكشف المؤلفون الاسترخاءات المحدبة (دالة لوفاز ثيتا) وتقنيات التمركز (Induced subgraphs). كما ينظرون في استرخاءات مجموع المربات (SoS) ذات الدرجة الأعلى.
التخمينات الرئيسية:
- التخمين 25: $\omega(G_p) = O(\text{polylog}(p))$ .
- التخمين 28: يمكن لاسترخاء SoS من الدرجة الرابعة تحسين الحد إلى $O(p^{1/2 - \epsilon})$ .
- التخمين 29: بناء Paley ETF يحقق خاصية القياس المتماثل المقيد (RIP) بما يتجاوز حاجز الجذر التربيعي.

6. تخمين KLS وتداعياته (المدخل 13)

المسألة: يفترض تخمين كانان-لوفاز-سيمونوفيتس (KLS) أنه لأي مقياس لوغاريتمي متقعر، يكون ثابت العزل (isoperimetric constant) محدوداً من الأسفل بثابت مستقل عن البعد (يتحقق في الفضاءات نصف الفراغية).
المنهجية: تستعرض المدخلة تطور الحدود الدنيا باستخدام التمركز العشوائي (Eldan) وحجج التعزيز (bootstrapping).
النتائج والارتباطات الرئيسية:
- أفضل حد حالي: $\psi_n \ge C (\log n)^{-1/2}$ (Klartag, 2023).
- التداعيات: يستلزم تخمين KLS تخمين القشرة الرقيقة (Thin Shell Conjecture) (الذي أثبته Klartag و Lehec في عام 2025) ومسألة بورغين للتقطيع (Bourgain's Slicing Problem) (التي أُثبتت أيضاً في 2025).
- الأهمية: الحل الإيجابي سيؤدي إلى استنتاج أوقات خلط مثالية ( $\tilde{O}(n^2)$ ) لخوارزميات MCMC (التمثيل العشوائي ماركوف) على الأجسام المحدبة.

7. الحدود الحادة لمصفوفات المخططات (المدخل 14)

المسألة: وضع حدود طيفية حادة لـ مصفوفات المخططات، والتي تنشأ من تحليل حدود مجموع المربعات (SoS) لمسائل مثل "الكلِيك المزروع" (Planted Clique).
المنهجية: يصيغ المؤلفون مصفوفات المخططات كحالات من الفوضى المصفوفية (Matrix Chaoses) (متعددات حدود لمتغيرات عشوائية). ويستخدمون متباينات خينتشين غير التبادلية المتكررة وأدوات الاحتمالية الحرة.
التخمين الرئيسي (التخمين 31): يتدرج المعيار الطيفي المتوقع لمصفوفة المخطط $M_\alpha$ كـ $\Theta(n^{f(\alpha)} (\log n)^{g(\alpha)})$ ، حيث تعتمد $f$ و $g$ فقط على الشكل $\alpha$ .
الأهمية: إن إزالة العوامل اللوغاريتمية غير الضرورية في هذه الحدود أمر بالغ الأهمية لتضييق حدود SoS وفهم حدود الخوارزميات ذات الوقت متعدد الحدود.

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

توليف الآفاق متعددة التخصصات: تجمع المخطوطة بين الفجوات بين الاحتمالية عالية الأبعاد، الهندسة المحدبة، نظرية المعلومات الكمومية، وعلوم الحاسوب النظرية. على سبيل المثال، تربط بين هندسة المقاييس اللوغاريتمية المتقعرة (KLS) وأداء خوارزميات MCMC وحل مسألة التقطيع (Slicing Problem).
توحيد المسائل المفتوحة: من خلال تجميع هذه المسائل في مخطوطة مستقرة، يوفر المؤلفون مرجعاً موحداً للمجتمع العلمي، مبتعدين عن المنشورات العابرة في المدونات إلى سجل أكاديمي قابل للاستشهاد.
تسليط الضوء على الاختراقات الحديثة: تشير النص صراحة إلى حل تخمين القشرة الرقيقة ومسألة بورغين للتقطيع في عام 2025، مما يوضح التقدم السريع في الهندسة المحدبة عالية الأبعاد والارتباط العميق بتخمين KLS.
التحولات المنهجية: تسلط المدخلات الضوء على تحول في المنهجية:
- من الطرق الطيفية الكلاسيكية إلى التمركز العشوائي ونظرية الفوضى المصفوفية.
- من استرخاءات SDP البسيطة إلى تسلسلات مجموع المربعات (SoS) ذات الدرجة الأعلى لكسر الحواجز في المسائل التركيبية (مثل مخططات بالي).
- استخدام تحليل فوريه لتحويل الـ SDP إلى LP للمخططات المهيكلة (المخططات الدائرية).

الخاتمة

تعد "Randomstrasse101: Open Problems of 2025" مورداً حيوياً للباحثين في الاحتمالات والتركيبات. فهي لا تكتفي بسرد التخمينات غير المحلولة فحسب، بل تضعها في سياق أحدث الأطر النظرية (مثل الفوضى المصفوفية والتمركز العشوائي). وتؤكد المخطوطة أنه على الرغم من إحراز تقدم كبير (على سبيل المثال، في مسألتي KLS والتقطيع)، إلا أن الأسئلة الجوهرية المتعلقة بحدود الاسترخاءات المحدبة، وهندسة الفضاءات عالية الأبعاد، ووجود هياكل تركيبية محددة (مثل MUBs و SIC-POVMs) لا تزال تمثل آفاقاً نشطة وتحديات قائمة.