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

يقدم هذا البحث نسخة جديدة كليًا، فائقة النعومة، من تلك المسطرة السحرية، مصممة خصيصًا للروبوتات المكونة من أشكال مسطحة وكتلية (مثل الصناديق أو الأهرامات). أدرك المؤلفون، وهم فريق من الباحثين، أن المسطرة القديمة تتعطل لأنها تعتمد على عامل "الحد الأدنى" (minimum operator) — وهو طريقة رياضية لاختيار أصغر رقم — وهذا يعمل كزاوية حادة في الرسم البياني. عندما يتحرك الروبوت عبر هذه الزاوية، تتعثر الرياضيات. ولإصلاح ذلك، اخترعوا نوعًا جديدًا من الحد الأدنى والحد الأقصى "الناعم"، وهو ما يسمونه "الحد الأدنى لهولدر" (Hölder Minimum) و "الحد الأقصى لهولدر" (Hölder Maximum). تخيل هذه الأدوات كقفازات سحرية يمكنها تدوير أي زوايا حادة في الرياضيات بلطف، مما يجعل تعليمات المسطرة تتدفق مثل الماء بدلاً من أن تنكسر مثل الغصن. لقد اختبروا هذه المسطرة الجديدة على ذراع روبوت حقيقية، وعملت بشكل رائع، مما سمح للروبوت بالانزلاق عبر المساحات الضيقة دون الارتعاش المزعج الذي تسببه الطريقة القديمة.

المشكلة: مسطرة الروبوت المهتزة

تحتاج الروبوتات إلى معرفة مدى قربها من العوائق لتجنب الاصطدام. في الماضي، استخدم المهندسون طريقة قياسية تسمى "دالة المسافة الموقعة الإقليدية" (Euclidean Signed Distance Function - SDF). فكر في هذا كمسطرة تقيس أقصر خط بين الروبوت والعائق. إذا كان الرقم موجبًا، فالروبوت آمن. إذا كان صفرًا، فهما يتلامسان. وإذا كان سالبًا، فهذا يعني أن الروبوت موجود بالفعل داخل العائق (اصطدام!).

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

الحل: تليين الحواف الحادة

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

لحل هذه المشكلة، ابتكر الفريق أداتين رياضيتين جديدتين: الحد الأدنى لهولدر و الحد الأقصى لهولدر.

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

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

كيف يعمل الأمر: سحر متعدد الوجوه

يركز البحث على الروبوتات والعوائق التي تتخذ شكل متعدد الوجوه المحدب (convex polyhedra) — فكر فيها كأشكال مكونة من أوجه مسطحة، مثل المكعب، أو الهرم، أو اثنا عشري الأوجه. تعمل المسطرة الجديدة، التي يسميها المؤلفون "دالة المسافة الموقعة التفاضلية لهولدر" (HD-SDF)، عبر ثلاث خطوات ذكية:

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

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

الإثبات: السرعة والنعومة

لم يكتف الباحثون برسم صور جميلة؛ بل وضعوا مسطرتهم الجديدة قيد الاختبار.

اختبار السرعة:
قارنوا HD-SDF بالمسافة الإقليدية القياسية وبطريقة سلسة أخرى تسمى GDF.

• على معالج كمبيوتر قياسي (CPU)، كانت HD-SfD أبطأ من الطرق القديمة، حيث استغرقت حوالي 5 مللي ثانية للأشكال المعقدة. وذلك لأنها تتحقق من اتجاهات عديدة في وقت واحد.
• ومع ذلك، نظرًا لأن طريقتهم مصممة لتشغيل العديد من الحسابات في وقت واحد، فقد اختبروها على وحدة معالجة الرسومات (GPU). عند تشغيلها على GPU، تحسنت السرعة بشكل كبير. بالنسبة للأشكال البسيطة، كانت أسرع بمقدار 13 مرة من نسخة الـ CPU، وبالنسبة للأشكال المعقدة، أصبحت منافسة لأسرع الطرق الموجودة. هذا يعني أنه مع الأجهزة المناسبة، يمكن لهذه المسطرة السلسة أن تكون سريعة مثل المسطرات القدية المهتزة.

اختبار "الإنذار الخاطئ":
بما أن HD-SDF مصممة لتكون سلسة، فهي "محافظة" قليلاً. وهذا يعني أنها قد تقول "أنت تلمس الجسم" (المسافة ≤ 0) حتى لو كان هناك فجوة ضئيلة (المسافة > 0). أراد المؤلفون معرفة عدد المرات التي يحدث فيها ذلك.

• أجروا 500,000 اختبار عشوائي مع أشكال مختلفة.
• وجدوا أنه إذا كانت الفجوة بين الأجسام أكبر من 10 سنتيمترات، فإن المسطرة الجديدة لا تخطئ تقريبًا.
• وحتى لو كانت الفجوة صغيرة جدًا، لتصل إلى 100 ميكرومتر (أرفع من شعرة الإنسان)، فإن معدل "الإنذار الخاطئ" يبلغ حوالي 0.7% فقط.
• يشير المؤلفون إلى أن هذه ضريبة صغيرة جدًا مقابل مسطرة لا تهتز أبدًا، ويمكن تقليل الخطأ بشكل أكبر من خلال التحقق من المزيد من الاتجاهات.

تجربة الروبوت:
كان الاختبار النهائي لذراع روبوت حقيقية، وهي Franka Emika Panda، وهي تحاول المرور عبر ممر ضيق مصنوع من الصناديق.

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

لماذا هذا مهم

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