🔢 mathematics

A note on the partition function of a rectangle

تتقصى هذه الورقة السلوك التقاربي لدوال تجزئة المستطيلات، حيث تثبت أن عدد طرق تجزئة مربع $n \times n$ ينمو بمعدل $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ بينما تنمو تجزئات مستطيل $3 \times n$ بمعدل $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ .

المؤلفون الأصليون: Krystian Gajdzica, Maciej Zakarczemny

نُشر 2026-08-11

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

CC BY 4.0

المؤلفون الأصليون: Krystian Gajdzica, Maciej Zakarczemny

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

تخيل أنك باني ماهر تمتلك إمداداً غير محدود من قطع الليغو، ولكن مع لمسة مختلفة: لا يمكنك استخدام سوى القطع المستطيلة، ويجب عليك بناء جدار صلب ومثالي دون أي فجوات أو تداخلات. الآن، تخيل أن لديك مخططاً معيناً لجدار هو عبارة عن مربع مثالي، لنقل بعرض $n$ من الكتل وارتفاع $n$ من الكتل. السؤال الذي يحب الرياضيون طرحه هو: "كم عدد الطرق المختلفة لترتيب هذه الكتل لملء ذلك المربع؟" هذا ليس مجرد رصّ للقطع في خط واحد؛ بل يتعلق بالخلط والمزاوجة بين أحجام مختلفة — مربعات صغيرة $1\times1$ ، أو شرائط طويلة $1\times5$ ، أو كتل ضخمة $2\times3$ . في عالم الرياضيات، يسمى هذا "التقسيم" (partition)، وعدّ هذه الترتيبات يشبه محاولة عد كل الطرق الممكنة لحل لغز ضخم ومعقد.

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

إذاً، ماذا اكتشف مؤلفو هذا البحث حقاً؟ هم لم يكتفوا بالتخمين؛ بل بنوا جسراً رياضياً صارماً للعبور من المعلوم إلى المجهول. أولاً، تناولوا المربع ( $n \times n$ ). لقد أثبتوا أنه كلما أصبح المربع ضخماً، ينمو عدد طرق رصفه بمعدل محدد ومجنون. إنه ليس مجرد انفجار بسيط؛ بل هو نمو "فائق الأسي" (super-exponential) يعتمد على حجم المربع مضروباً في الجذر التربيعي للوغاريتم الخاص به. بلغة بسيطة، وجدوا أن عدد طرق رصف المربع هي تقريباً العدد $e$ مرفوعاً للقوة $(\pi/\sqrt{sqrt{3}}) \times n \times \sqrt{\log n}$ . كما قدموا حدوداً عليا وسفلى أبسط، "جيدة بما يكفي"، لإظهار أن إجابتهم الرئيسية متينة، حتى لو كانت الصيغة الدقيقة معقدة بعض الشيء.

بعد ذلك، التفتوا انتباههم إلى المستطيل الطويل والنحيف ( $3 \times n$ ). هذا وحش من نوع آخر لأن أحد جانبيه ثابت عند الرقم 3 بينما ينمو الجانب الآخر إلى ما لا نهاية. هنا، وجد المؤلفون إجابة أكثر دقة. لقد أثبتوا أن عدد طرق رصف هذا المستطيل هو تقريباً $e$ مرفوعاً للقوة $\pi \times \sqrt{11n/3}$ . هذا ليس مجرد تخمين أو محاكاة؛ بل هو حقيقة مثبتة رياضياً بهامش خطأ ضيق للغاية. كما أظهروا أن تخميناً سابقاً أضعف حول هذه المشكلة كان فضفاضاً للغاية، واستبدلوه بصيغة أكثر حدة ودقة.

للحصول على هذه الإجابات، اضطر المؤلفون إلى التفكير بإبداع. بالنسبة للمربع، لم يستطيعوا عد كل رصف ممكن (فهناك الكثير منها!). بدلاً من ذلك، استخدموا حيلة ذكية: قاموا بعدّ كل المجموعات الممكنة من المستطيلات التي يمكن أن تناسب المساحة، حتى لو لم يكن من الممكن ترتيبها فعلياً في مربع دون فجوات. منحهم هذا "سقفاً" (حداً علوياً). ثم بنوا "أرضية" محددة (حداً سفلياً) من خلال إظهار أنه يمكنهم بالتأكيد إنشاء عدد هائل من المربعات الصالحة باستخدام استراتيجية تعبئة معينة. ومن خلال حصر الإجابة الحقيقية بين هذه الأرضية والسقف، أثبتوا معدل النمو الدقيق. أما بالنسبة للمستطيل ( $3 \times n$ )، فقد استخدموا استراتيجية مماثلة ولكن توجب عليهم تقسيم المستطيل إلى شرائط أصغر يمكن التعامل معها واستخدام أدوات متقدمة من نظرية "الدوال المولدة" (generating functions) — وهي مثل الصيغ السحرية التي تحول مشاكل العد إلى مسائل جبرية — للحصول على الأرقام الدقيقة.

يتطرق البحث أيضاً إلى لغز أكبر وغير محلول. يقترح المؤلفون أنه بالنسبة لمستطيل بحجم $m \times n$ (حيث $m$ رقم ثابت مثل 4 أو 5 و $n$ ينمو ليصبح ضخماً)، قد يكون هناك نمط عالمي لكيفية نمو هذه الأعداد. لديهم أدلة قوية لـ $m=1, 2, 3$ ، ولكن بالنسبة لـ $m=4$ وما فوق، تظل الإجابة سؤالاً مفتوحاً ومثيراً للاهتمام. حتى أنهم حاولوا بناء "درج" من المستطيلات لحل حالة $4 \times n$ ونجح الأمر، ولكن بالنسبة لـ $5 \times n$ ، فشلت تلك الحيلة نفسها، مما يشير إلى أن القواعد تتغير مع زيادة عرض المستطيل.

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

ملخص تقني: ملاحظة حول دالة التجزئة للمستطيل

بيان المشكلة
تبحث هذه الورقة في السلوك التقاربي لدالة تجزئة المستطيل $p(m, n)$ ، التي تحصي عدد الطرق لتجزئة مستطيل بحجم $m \times n$ إلى مجموعة متعددة من الكتل المستطيلة ذات الأضلاع الصحيحة. تُعتبر التجزئات متطابقة إذا كانت تتكون من نفس المجموعة متعددة الأنواع من الكتل، حيث تُعامل الكتلة $a \times b$ كأنها غير متمايزة عن $b \times a$ . الترتيب الهندسي للكتل غير ذي صلة بالعد؛ إذ يهم فقط النوع في المجموعة متعددة الأشكال، بشرط أن تكون هذه الكتل قادرة نظرياً على تبليط المساحة $m \times n$ .

يركز المؤلفون على حالتين محددتين:

تجزئات المربع: $p(n, n)$ ، حيث يؤول كلا البعدين إلى اللانهاية.
المستطيلات ثابتة الارتفاع: $p(3, n)$ ، حيث يكون الارتفاع ثابتاً عند 3 والعرض $n$ يؤول إلى اللانهاية.

هذه المشكلات تعمم دالة تجزئة الأعداد الصحيحة الكلاسيكية $p(n)$ ، والتي تمثل الحالة $p(1, n)$ . وبينما كان يُعتقد من قبل المؤلفين وروبن فيسر أن السلوك التقاربي لـ $p(m, n)$ بالنسبة لـ $m$ ثابت و $n$ كبير يتبع شكلاً معيناً يتضمن الأعداد التوافقية، فإن السلوك الدقيق لحالة المربع ( $m=n$ ) يمثل تحدياً تقاربياً متميزاً.

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

الحدود العليا عبر الدوال المولدة: يستنتج المؤلفون حدوداً عليا عبر تخفيف الشرط الهندسي للتبليط (الشرط 3 في التعريف 1.1). فهم ينظرون في عدد المجموعات متعددة الأشكال من المستطيلات ذات المساحة الإجمالية $mn $بغض النظر عما إذا كان يمكنها تبليط المستطيل فيزيائياً. يتم نمذجة ذلك باستخدام دوال مولدة من الشكل$ \prod (1-x^{ab})^{-r(ab)} $، حيث$ r(ab) $يحصي عدد أنواع المستطيلات ذات المساحة$ ab$.
- بالنسبة لـ $p(n, n)$ ، يقارنون الدالة المولدة بدالة لتجزئات الأجزاء من مجموعة متعددة الأشكال مرتبطة بدالة القاسم $d(s)$ ، مستفيدين من نتائج بيرندت، روبليس، زاهاريسكو، وزيندلر.
- بالنسبة لـ $p(3, n)$ ، يقومون بتفكيك المشكلة إلى تجزئات تتضمن كتل بارتفاع 3 وتلك التي لا تتضمنها، باستخدام تلافيف الدوال المولدة ونظرية تاوبريان لإنغهام (التي تم تنقيحها بواسطة برينغمان جينينغز-شافر وماهلبرغ) لاستخراج المعاملات التقاربية.
الحدود الدنيا عبر بناءات التعبئة: لتثبيت الحدود الدنيا، يقوم المؤلفون ببناء تبليطات محددة.
- بالنسبة لـ $p(n, n)$ ، يستخدمون نهج "التجزئة الملونة" مقترناً بخوارزمية تعبئة جشعة. يقومون بتجزئة المربع إلى شرائط أفقية ذات ارتفاعات متفاوتة ويملؤونها بمستطيلات مشتقة من تجزئات صحيحة مقيدة.
- بالنسبة لـ $p(3, n)$ ، يستخدمون بناء "درجي" (staircase)، حيث يقسمون المستطيل $3 \times n$ إلى شرائط أفقية بارتفاعات 3، 2، و1، ويملؤونها بمستطيلات ذات ارتفاعات مقابلة مشتقة من تجزئات الأعداد ذات الأجزاء المقيدة.
التحليل التقاربي: تعتمد البراهين بشكل كبير على صيغة هاردي-رامانوجان التقاربية لـ $p(n)$ ، وخصائص دالة إيتا لديديكيند، والتقديرات الدقيقة لمجموعات هارمونيك ودوال القاسم.

المساهمات والنتائج الرئيسية

الصيغة التقاربية لتجزئات المربع ( $p(n, n)$ ):
يحدد المؤلفون الحد التقاربي الرئيسي لدالة تجزئة المربع:
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
هذه النتيجة مهمة لأنها تختلف عن الشكل المتوقع لـ $m$ الثابت (الذي يتناسب مع $\sqrt{n}$ ). حالة المربع تتناسب مع $n\sqrt{\log n}$ . كما تقدم الورقة حدين علويين بدائيين أضعف وحد أدنى بسيط لتوضيح صعوبة المشكلة قبل تقديم البرهان الرئيسي.
الصيغة التقاربية لـ $p(3, n)$ :
تثبت الورقة السلوك التقاربي الدقيق للمستطيل $3 \times n$ :
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
هذا يؤكد التخمين لـ $m=3$ مع حد خطأ أقوى ( $O(\log n)$ في الأس) مما كان معروفاً سابقاً. الثابت $\pi\sqrt{11/3}$ مشتق من التفاعل بين التجزئات لأجزاء بحجم $\ge 3$ وأنواع الكتل المحددة المسموح بها في هندسة $3 \times n$ .
الحدود العليا المستقلة:
يقدم المؤلفون حداً علياً مستقلاً لـ $p(3, n)$ وهو أضعف من النتيجة الرئيسية ولكنه مشتق عبر نهج تحليلي مختلف، مما يوفر منظوراً بديلاً للمشكلة.
تخمينات لـ $m$ العام:
بينما يثبتون حالة $m=4$ ، يكرر المؤلفون تخمينهم لـ $m \ge 4$ ثابت:
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
حيث $H_m$ هو العدد التوافقي رقم $m$ . ويشيرون إلى أن حالة المربع ( $m=n$ ) تظل مشكلة متميزة حيث ينمو كلا البعدين.

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

بالنسبة لحالة $3 \times n$ ، تقدم الورقة أول إثبات للصيغة التقاربية مع حد خطأ صارم، مما يؤكد الحجج الاستدلالية والأدلة العددية التي جُمعت سابقاً. يشير المؤلفون بتواضع إلى أنه بينما يتوافق بناؤهم لـ $p(4, n)$ مع التخمين، فإن بناء "الدرج" المستخدم لـ $m=3$ و $m=4$ يفشل في إنتاج الحد الأسي المتوقع لـ $m=5$ ، مما يشير إلى أن ترتيبات هندسية مختلفة قد تكون مطلوبة للارتفاعات الثابتة الأعلى.

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

أبحاث مشابهة