Two-sided infinite self-avoiding walk in high dimensions

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

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

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

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

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

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

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

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