Rewriting Systems on Arbitrary Monoids

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

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

يقدم المؤلف، إدواردو ماغاليهايس، طريقة جديدة للعب هذه اللعبة تسمى "أنظمة إعادة الكتابة المونودية" (Monoidal Rewriting Systems - MRS). فكر في الأمر كترقية للعبة من لوحة مسطحة ثنائية الأبعاد إلى عالم ثلاثي الأبعاد حيث يمكن للقواعد أن تنحني وتلتوي لتناسب شكل الكائن الذي تدرسه. بدلاً من مجرد تبديل الحروف، أنت تقوم بتبديل كتل كاملة من بنية رياضية. تثبت هذه الورقة أن هذه الطريقة الجديدة للعب ليست مجرد فكرة ممتعة، بل هي إطار منطقي متين. فهي توضح أنه بغض النظر عن كيفية إعداد قواعدك على هذه اللوحة الجديدة، يمكنك دائماً إيجاد طريقة "معيارية" (canonical) لوصف النظام، ويمكنك الترجمة بين الأوصاف المختلفة لنفس النظام باستخدام مجموعة من الحركات تسمى "تحويلات تيتز العناصرية المعممة" (Generalized Elementary Tietze Transformations). هذه التحويلات تشبه التعاويذ السحرية التي تسمح لك بإضافة أو إزالة أو تغيير القواعد دون تغيير النتيجة النهائية التي يعطيها النظام.

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

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