Drift Variation Autoencoder: Unifying Generation and Representation Learning through Conditional Posterior Flow Matching
تقدم هذه الورقة البحثية "المشفر التلقائي لتباين الانجراف" (Drift Variation Autoencoder)، وهو إطار عمل يوحد بين التوليد الشرطي وتعلم التمثيل من خلال تدريب مشفر مقنع ومفكك تدفق شرطي لتقليل خسارة مطابقة التدفق للتنبؤ النظيف، مما يحقق تمثيلاً كافياً للمسافة البعدية حيث يلتقط المشفر جميع المعلومات الضرورية لإعادة بناء توزيع البيانات الكامل من الملاحظات الجزئية.
في عالم الذكاء الاصطناعي، يُطلب من الآلات بشكل متزايد ملء الفراغات. فعندما يتم قص صورة، يجب على الكمبيوتر أن يخمن ما يقع خارج الإطار. وعندما تُقطع جملة في منتصفها، يجب عليه تخيل الكلمات التالية. وعندما يفشل مستشعر ما، يجب على النظام استنتاج البيانات المفقودة. لسنوات، تعامل الباحثون مع هذه المهام كمسألتين منفصلتين؛ حيث تتعلم مجموعة من الأدوات فهم العالم عبر ضغط المعلومات في ملخص موجز، بينما تتعلم مجموعة أخرى توليد تفاصيل جديدة وواقعية من الصفر. وغالباً ما يتم تدريب هذين النظامين بشكل مستقل ثم دمجهما معاً، وهي عملية قد تترك الآلة في حالة ارتباك بشأن ما تعرفه بالفعل وما تخمنه فحسب. التحدي الجوهري هو أنه عندما تُفقد المعلومات، نادراً ما توجد إجابة واحدة صحيحة؛ فصورة واحدة مقصوصة قد تنتمي إلى غابة، أو مدينة، أو صحراء، ويحتاج الجهاز إلى فهم النطاق الكامل للاحتمالات، وليس مجرد اختيار واحد منها.
اقترح باحث من الجامعة الصينية في هونغ كونغ طريقة جديدة لحل ذلك عبر توحيد هاتين المهمتين في عملية واحدة سلسة. فقد طور نظاماً يسمى "المشفّر التلقائي لتباين الانجراف" (Drift Variation autoencoder)، والذي يعلّم الآلة تعلم تمثيل للعالم وتوليد تفاصيل جديدة من هذا التمثيل نفسه في آن واحد. وبدلاً من إجبار الآلة على الاختيار بين الفهم والابتكار، تعاملت طريقتهم مع فعل ملء المعلومات المفقودة كمسألة إحصائية للاحتمالات. الفكرة الجوهرية هي أنه لأي ملاحظة غير مكتملة، هناك سحابة محددة من الحقائق النقية الممكنة التي كان من الممكن أن تنتجها. والهدف ليس العثัง على إعادة بناء مثالية واحدة، بل تعلم الشكل الكامل لتلك السحابة. ومن خلال تدريب النظام على التنبؤ بالبيانات النقية من نسخة مشوشة وغير مكتملة، وجد الباحث أن الآلة تتعلم بطبيعتها تنظيم معرفتها الداخلية بطريقة تتطابق تماماً مع عدم اليقين الموجود في العالم الحقيقي.
اختبر الباحث هذه الفكرة في بيئة محكومة بناها تسمى "CrossGeom-4". تخيل نظاماً يراقب مشهداً من خلال ثلاث عدسات مختلفة، كل منها يظهر مجموعة مختلفة قليلاً من الحقائق حول نفس الواقع الأساسي. أحياناً يرى النظام عدسة واحدة فقط، وأحياناً عدستين، وأحياناً الثلاث جميعها. التحدي يكمن في أنه عندما يرى النظام عدسة واحدة فقط، يجب عليه تخمين التفاصيل المخفية عن العدستين الأخريين، ولكن يجب أن يفعل ذلك بطريقة متسقة عبر جميع المخرجات. فإذا ولد النظام قطعة مفقودة من المعلومات لعرض واحد، يجب أن تبدو تلك القطعة نفسها منطقية عند النظر إليها من الزوايا الأخرى. وفي تجاربهم، قارن الباحث نظامهم الموحد الجديد بالأساليب القديمة التي استخدمت وحدات فك تشفير منفصلة لكل عرض. كانت النتائج مذهلة؛ فعندما طُلب من النظام توليد الأجزاء المفقودة من المشهد، قللت الطريقة الجديدة من التباين بين العروض المختلفة بنسبة تزيد عن تسعين بالمائة مقارنة بالنهج القديم. وهذا يعني أن الآلة لم تعد تكتفي بمجرد التخمين، بل أصبحت تنسق تخميناتها بحيث تكون الصورة النهائية متماسكة ومتسقة رياضياً.
كما كشفت الدراسة كيف يستخدم الجهاز المعلومات المقدمة له. فعندما قام الباحث بخلط بيانات المدخلات، أي إعطاء الآلة سياق خاطئ للضجيج الذي تحاول تنقيته، قفز معدل الخطأ بأكثر من ثلاثة عشر ضعفاً. أثبت هذا أن النظام كان يعتمد حقاً على التفاصيل المحددة للمدخلات لتوجيه عملية التوليد، بدلاً من مجرد حفظ الأنماط أو الاعتماد على الضجيج نفسه للقيام بالعمل. علاوة على ذلك، كان النظام قادراً على إعادة بناء الأجزاء المرئية من الصورة بنفس جودة ملء الأجزاء غير المرئية، مما أظهر أنه لم يضحِّ بالدقة في المناطق المعروفة لتحسين المناطق المجهولة. ووجد الباحث أن التمثيل الداخلي الذي تعلمته الآلة كان دقيقاً للغاية لدرجة أنه استطاع التمييز بين الحقائق المختلفة المحتملة بدرجة عالية من الثقة، محققاً مستوى من الدقة في التنبؤ بالعوامل المعروفة يكاد يكون مثالياً.
ومع ذلك، يحرص الباحث على الإشارة إلى حدود نتائجهم. فقد تم اختبار النظام في عالم رياضي اصطناعي صُمم خصيصاً ليكون ذا قواعد واضحة ومعروفة. وبينما كانت النتائج ناجحة في هذا الإطار المحكوم، لا يدعي الباحث أن هذه الطريقة قد حلت المشكلة بالنسبة للبيانات المعقدة في العالم الحقيقي مثل الصور الطبيعية أو اللغة البشرية. ويشير إلى أنه في العالم الحقيقي، لا يزال التوازن بين النتائج المختلفة الممكنة غير مثالي، ولا يزال النظام يعاني قليلاً مع وتيرة الأحداث النادرة. يعمل هذا العمل كإثبات للمفهوم، موضحاً أنه من الممكن تدريب نظام واحد ليفهم هيكل البيانات غير المكتملة ويولد الواقع الكامل والنقي منها في آن واحد. ومن خلال إظهار قدرة الآلة على تعلم مزامنة فهمها وإبداعها، يفتح هذا البحث مساراً جديداً لبناء ذكاء اصطناعي يمكنه التفكير في عدم اليقين بنفس الوضوح الذي يستخدمه للإبداع.
بيان المشكلة غالبًا ما تتعامل مسارات التوليد الحالية مع تعلم التمثيل والتوليد الشرطي كمهام منفصلة ذات أهداف متباٍنة. فالمشفرات ذاتية الإشراف تحسن عادةً الاتفاق بين الرؤى أو إعادة البناء المقنع، بينما تعمل نماذج الانتشار (Diffusion) ونماذج التدفق (Flow models) على تحسين درجات إزالة الضجيج أو حقول النقل. هذا الفصل يخلق انفصالاً: قد يقلل المولد الخسارة من خلال حالته الصاخبة دون الكشف عن تمثيل صحيح وقابل لإعادة الاستخدام، وقد يتعلم المشفر سمات لا تضمن قدرة المولد على نمذجة التوزيع اللاحق الحقيقي.
عندما يكون الملاحظ C عبارة عن تعزيز عشوائي للبيانات النظيفة X (مثل القناع، أو القص، أو إزالة النمط)، فإن هدف إعادة البناء ليس نقطة حتمية واحدة بل هو التوزيع اللاحق P(X∣C). تجادل الورقة بأن الكائن الإحصائي الصحيح لكلتا المهمتين هو هذا التوزيع اللاحق. يجب أن يعين المولد عينات من P(X∣C)، ويجب أن يحافظ تمثيل المشفر Z بالضبط على المعلومات الموجودة في C المطلوبة لتحديد P(X∣C). التحدي يكمن في توحيد هذه الأهداف تحت هدف واحد يميز ويدرب التمثيل الذي يستهلكه.
المنهجية: المشفر التلقائي لتباين الانجراف (Drift-Variation Autoencoder) يوحد المشفر التلقائي لتباين الانجراف المقترح بين التوليد وتعلم التمثيل من خلال مطابقة التدفق الشرطي (CFM). يعمل الإطار كما يلي:
الهدف الإحصائي: الهدف المثالي هو تقليل تباعد KL الشرطي K(E,Q)=EC[KL(P(X∣C)∥Q(X∣E(C)))]. ينقسم هذا الخطر إلى حدين: نقص التمثيل I(X;C∣Z) وخطأ تقريب المولد. يكون المشفر "كافياً من حيث التوزيع اللاحق" (posterior-sufficient) إذا كان P(X∣Z)=P(X∣C)، وهو ما يقابل كون نقص التمثيل صفراً.
الصياغة القائمة على العينات: بما أن P(X∣C) غير قابلة للحل حسابياً، تستخدم الطريقة CFM. تقوم ببناء مسار غاوسي أفيني Xt=αtX+σtX0، حيث X0 هو مصدر غاوسي مستقل.
البنية المعمارية:
المشفر: معالج قناع حتمي Z=Eθ(C) يعالج الملاحظة العشوائية C.
المفكك (Decoder): يستقبل مفكك التدفق الشرطي (Xt,t) والتمثيل Z. ومن المهم أنه لا يستقبل الملاحظة النظيفة الخام C مباشرة، بل يستقبل فقط Z المشفر.
التدريب: يتم تدريب النموذج باستخدام خسارة تنبؤ نظيف واحدة: E[w(t)∥Dϕ(Xt,t,Z)−X∥2]. لا تتطلب العملية نماذج معلمة، أو أهدافاً تباينية، أو مجموعات مرجعية مولدة.
التكافؤ النظري: تشتق الورقة تفكيك مخاطر متعامد لخسارة التنبؤ النظيف. بالنسبة لمسار غاوسي أفيني، يتلاشى الحد المعتمد على المشفر (فجوة التمثيل) (Δrep=0) إذا وفقط إذا كانP(X∣Z)=P(X∣C). هذا يثبت أن مجموعة الصفر لخسرة مطابقة التدفق هي نفسها مجموعة الصفر لـ KL الشرطي المثالي، على الرغم من اختلاف القيم العددية للأهداف.
التوسع متعدد الوسائط: يمتد الإطار إلى المجموعات المتصلة متعددة الوسائط X=(X(1),…,X(M)). وبغض النظر عن الوسائط الملحوظة (القناع)، يظل هدف التدفق هو المجموعة المشتركة الكاملة. يضمن هذا أن النموذج يتعلم التوزيع اللاحق المشترك الكامل، بما في ذلك التبعيات المتبقية بين الوسائط المولدة في آن واحد، بدلاً من مجرد الهوامش المستقلة.
المساهمات الرئيسية
مبدأ التوزيع اللاحق: يحدد صحة التمثيل التوليدي عبر الشرط P(X∣Z)=P(X∣C) ويفكك تباعد KL الشرطي المثالي إلى نقص التمثيل وتقريب المولد.
خطر التدفق والكفاية: تثبت الورقة أنه بالنسبة لـ CFM الغاوسي الأفيني، فإن خطر التنبؤ النظيف المعتمد على المشفر يمتلك نفس مجموعة الصفر الكافية للتوزيع اللاحق لـ KL الشرطي الموصوف. هذا يربط هدف التدريب العملي مباشرة بمتطلب كفاية التوزيع اللاحق دون الحاجة إلى تساوي عددي للأهداف.
ضمانات الطرف النهائي ومتعدد الوسائط: توضح أن مجالاً شرطياً دقيقاً يولد P(X∣Z)، ومع وجود مشفر كافٍ، فإن هذا يساوي P(X∣C). تمتد هذه النتيجة إلى الفضاءات المستمرة متعددة الوسائط حيث تظل المجموعة الكاملة هي الهدف لأي مجموعة فرعية من الملاحظات.
التحقق المنضبط: تقدم CrossGeom-4، وهي معيار اختبار يحتوي على عوامل مشتركة معروفة ورؤى إقليدية، كروية، وهندسة زائديّة، لاختبار استخدام التمثيل وأخذ عينات التوزيع اللاحق المشترك.
النتائج (CrossGeom-4) تم التقييم على معيار CrossGeom-4 (18 جولة عبر ثلاثة مستويات هندسية):
جودة التمثيل: تم فحص العوامل الملحوظة خطياً بنتائج R2 تتراوح بين 0.9990–0.9992، مما يؤكد أن المشفر يكشف العوامل الملحوظة.
الاعتماد على الشرط: أدى خلط شرط المشفر (مع إبقاء ضجيج مصدر ODE ثابتاً) إلى زيادة الخطأ الشرطي بمقدار 13.5×–15.7×، مما يثبت أن المفكك يعتمد على تمثيل المشفر المحدد بدلاً من حل المهمة من الضجيج وحده.
الاقتران المشترك: بينما حققت المفكات المستقلة والمفككة المشتركة دقة شرطية حتمية متشابهة، قلل المفكك المشترك بشكل كبير من عدم الاتفاق على العوامل غير الملحوظة المشتركة بين مخرجين. قلل انتباه الهدف المشترك من عدم الاتفاق هذا بنسبة 90.1%–92.8% مقارنة بالمفككات المستقلة.
إعادة البناء: تم توليد وإعادة بناء الوسائط المرئية بنجاح، مما يؤكد صحة هدف المجموعة الكاملة.
القيود: لا يزال توازن النمط غير المشروط غير مثالي (مسافة TV إلى التوزيع الموحد ~0.086–0.108 مقابل المرجع ~0.034)، مما يشير إلى أن الادعاء التجريبي هو حالياً إثبات مفهوم محكوم وليس حلاً قابلاً للتوسع بالكامل للبيانات الطبيعية.
الأهمية والادعاءات تدعي الورقة أنها تقدم برهاناً نظرياً وتجريبياً على أن هدفاً توليدياً قياسياً (مطابقة تدفق التنبؤ النظيف) يمكنه بطبيعته تدريب تمثيل كافٍ للتوزيع اللاحق.
التزامن: تُظهر الورقة أن التوليد وتعلم التمثيل متزامنان لأن فشل أي منهما يظهر كحد متميز في نفس خطر المجتمع.
لا محاذاة خارجية: على عكس الطرق التي تتطلب أهداف محاذاة مساعدة أو مشفرات مدربة مسبقاً، يشتق هذا النهج معيار التمثيل مباشرة من خسارة التوليد.
نطاق متواضع: يذكر المؤلف صراحة أن التكافؤ هو نتيجة على مستوى المجتمع ولا يضمن التحسين العالمي عبر التدرج الاشتقائي العشوائي أو حدود العينة النهائية. يقتصر الادعاء على بيئة CrossGeom-4 المحكومة؛ ولا تدعي الورقة الانتقال الفوري إلى الصور الطبيعية أو النصوص أو الصوت دون تطويرات معمارية وتوسعية. يعمل هذا العمل كإثبات مفهوم لإمكانية تعلم اختناقات (bottlenecks) كافية للتوزيع اللاحق من خلال هدف توليدي موحد.