ملخص تقني: مطابقة مولد العمليات الكامنة (Latent Process Generator Matching)

بيان المشكلة

تعتمد التطورات الأخيرة في النمذجة التوليدية، لا سيما ضمن أطر مطابقة التدفق (flow matching) والانتشار (diffusion)، بشكل متكرر على ديناميكيات عشوائية مساعدة أثناء التدريب. في هذه النهج، يتم بناء عملية ماركوف (Markov process) على فضاء حالة ممتد $\mathcal{X} \times \mathcal{Z}$ لتحديد الأهداف الشرطية. ومع ذلك، عند وقت التوليد، يكون الهدف هو محاكاة عملية على الفضاء الملحوظ $\mathcal{X}$ فقط، حيث يجب أن تتطابق الهوامش أحادية الزمن مع إسقاط العملية المشتركة.

تعالج الأدبيات الحالية مشكلة "الإسقاط" هذه لكل حالة على حدة. إذ تستنتج أعمال مثل Edit Flows [Havasi et al., 2025]، وOneFlow [Nguyen et al., 2025]، وBranching Flows [Billera et al., 2025b] نتائج إسقاط محددة ودوال خسارة مرتبطة بالمتغيرات الكامنة المنفصلة أو إنشاءات فضاء الحالة الموسعة المحددة. ويتمثل القصور الكبير في هذه الأعمال السابقة في أن ضماناتها النظرية غالبًا ما تقتصر على الهامشية فوق المكونات المنفصلة لفضاء الحالة الموسع. هناك نقص في وجود إطار عام يسمح بالاشتراط على عمليات كامنة غنية ومعتمدة على الزمن (سواء كانت مستمرة، أو منفصلة، أو ذات قيم مانيفولد/متعدد طيات) مع ضمان أن المولد المتعلم على الفضاء الملحوظ يعيد إنتاج الهوامش المسقطة بشكل صحيح.

المنهجية

يقدم المؤلفون مطابقة مولد العمليات الكامنة، وهو إطار عام يصيغ الحالة التوليدية الملحوظة $X_t$ كصورة حتمية $\Phi(Y_t)$ لعملية ماركوف قابلة للتحكم $Y_t$ معرفة على فضاء حالة تعسفي $\mathcal{Y}$.

الأساس النظري

المساهمة النظرية الجوهرية هي معادلة كولموغوروف الأمامية للدفع للأمام (Pushforward Kolmogorov Forward Equation - KFE). لتكن $(Y_t)_{0 \le t \le 1}$ عملية فeller (Feller process) غير متجانسة زمنياً على فضاء بوليش (Polish space) $\mathcal{Y}$ مع مولد تفاضلي $W_t$. وبفرض وجود دالة قابلة للقياس $\Phi: \mathcal{Y} \to \mathcal{X}$، تحدد الورقة العملية المدفوعة للأمام $X_t = \Phi(Y_t)$.

يثبت المؤلفون أنه بموجب شروط انتظام وتكامل محددة (الافتراضات A.15–A.18)، يمكن تعلم معلمة خطية للمولد $L_t$ لعملية فeller على $\mathcal{X}$ بحيث تتطابق الهوامش أحادية الزمن للعملية المتعلمة مع هوامش العملية المسقطة $(\Phi(Y_t))_{0 \le t \le 1}$. يُعرف المولد الهامشي بأنه التوقع الشرطي للمولد المرفوع:
$$L_t f(x_t) := \mathbb{E}[W_t(f \circ \Phi)(Y_t) \mid \Phi(Y_t) = x_t]$$
هذه الصيغة تعمم إطار "مطابقة المولد" (Generator Matching) القياسي، الذي يشترط على متغيرات كامنة ثابتة، ليشمل الاشتراط على عملية عشوائية كامنة معتمدة على الزمن.

هدف التدريب

لتدريب شبكة عصبية $F^\theta_t$ لتقريب المولد الهامشي، تقترح الورقة خسارة مطابقة المولد الشرطية للعمليات الكامنة ($\mathcal{L}_{cgm}$). بدلاً من اشتراط الهدف الهامشي غير القابل للحل $F_t(x_t)$، يتم تدريب النموذج مقابل أهداف شرطية $F^{y_t}_t(\Phi(y_t))$ مشتقة من عينات من العملية المشتركة $Y_t$.

تثبت النتيجة النظرية الرئيسية (النظرية 3.12) وجود تساوي في التدرج:
$$\nabla_\theta \mathcal{L}_{cgm}(\theta) = \nabla_\theta \mathcal{L}_{gm}(\theta)$$
حيث $\mathcal{L}_{gm}$ هي خسارة الهامش التي تعتمد على الهدف غير القابل للحل. يتحقق هذا التساوي بشرط أن يقبل المولد الشرطي معلمة خطية وأن تتحقق شروط التكامل. وبناءً على ذلك، فإن التدريب على عينات من العملية المشتركة $Y_t$ (والتي تتضمن الديناميكيات الكامنة) يستعيد نفس النقطة الثابتة كما في التدريب على العملية الهامشية، مما يؤدي فعلياً إلى استبعاد الديناميكيات الكامنة أثناء عملية التعلم.

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

المساهمات الرئيسية

1. تعميم مطابقة المولد: توسع الورقة نطاق "مطابقة المولد" من المتغيرات الكامنة الثابتة إلى عائلة غنية من العمليات الشرطية المعتمدة على الزمن. وهذا يدمج نتائج العمليات المنفصلة السابقة (مثل Edit Flows وBranching Flows) كحالات خاصة حيث $\mathcal{Y} = \mathcal{X} \times \mathcal{Z}$ و$\Phi$ هي عملية إسقاط.
2. نظرية المولد المدفوع للأمام: توفر الورقة اشتقاقاً دقيقاً لمولد العملية المسقطة $\Phi(Y_t)$، مبينة أن المولد الهامشي هو التوقع الشرطي للمولد المرفوع. يسمح هذا ببناء نماذج توليدية على $\mathcal{X}$ دون الحاجة لنمذجة الديناميكيات المعقدة للعملية الكامنة $Z_t$ صراحةً عند وقت التوليد.
3. دوال خسارة صالحة: يثبت المؤلفون وجود شروط كافية تجعل التدريب مقابل الأهداف الشرطية (باستخدام عينات من الفضاء الموسع) يؤدي إلى المولد الهامشي الصحيح. وهذا يثبت صحة استخدام العمليات المساعدة للتدريب حتى عندما يتم التخلص منها عند الاستنتاج.
4. الدفع للأمام غير القائم على الإسقاط: لا يقتصر الإطار على عمليات الإسقاط القياسية. توضح الورقة تطبيقاً غير متعلق بالإسقاط في توليد بنية البروتين، حيث يتضمن الفضاء الكامن حركات الجسم الصلب على مستوى السلسلة والمرونات الداخلية، والتي تُسقط على إحداثات عالم الواقع المرصودة.

النتائج والأمثلة

تتحقق الورقة من النظرية من خلال عدة أمثلة:

• الانتشار مع تغيير النظام (Regime-Switching Diffusion): مثال أحادي البعد حيث تتطور عملية مستمرة $X_t$ بشكل مشترك مع عملية كامنة منفصلة $Z_t \in \{-1, +1\}$. تظهر المسارات الشرطية تغيرات غير مستمرة في الانجراف بناءً على $Z_t$، ومع ذلك فإن المولد الهامشي هو انتشار قياسي. نجحت شبكة تم تدريبها فقط على $X_t$ باستخدام الخسارة الشرطية في تعلم الديناميكيات الهامشية، مما أدى فعلياً إلى دمج سلوك تغيير النظام.
• استعادة العمل السابق: تظهر الورقة قدرتها على استعادة نظريات ودوال خسارة محددة من Edit Flows وBranching Flows كاستنتاجات، مما يثبت أن هذه الحالات المنفصلة المحددة هي حالات من نظرية العمليات الكامنة الأوسع.
• انتهاك الانتظام: تتضمن الورقة مثالاً مضاداً (المثال 3.15) يوضح أن نعومة $\Phi$ وانتظام $Y_t$ لا يكفيان دائماً لضمان تفرد حل KFE (الافتراض A.19). يسلط هذا الضوء على ضرورة الشروط التنظيمية المذكورة.

الأهمية والادعاءات

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

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