The asymptotic behavior of the rectangle partition function $p(m,n)$

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

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

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

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

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

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

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

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