المربعات الصغرى المنتظمة
يجب تلخيص هذه المقالة في المربعات الصغرى#التنظيم وتوفير رابط من هناك إلى هنا باستخدام القالب. ( نوفمبر 2020 ) {{Main}} |
| جزء من سلسلة عن |
| تحليل الانحدار |
|---|
| نماذج |
| Estimation |
|
| Background |
المربعات الصغرى المنتظمة ( RLS ) هي مجموعة من الطرق لحل مشكلة المربعات الصغرى مع استخدام التنظيم لتقييد الحل الناتج بشكل أكبر.
تُستخدم طريقة RLS لسببين رئيسيين. السبب الأول يظهر عندما يتجاوز عدد المتغيرات في النظام الخطي عدد الملاحظات. في مثل هذه الإعدادات، تكون مشكلة المربعات الصغرى العادية غير مناسبة وبالتالي من المستحيل أن تتناسب لأن مشكلة التحسين المرتبطة بها تحتوي على عدد لا نهائي من الحلول. تسمح طريقة RLS بإدخال قيود إضافية تحدد الحل بشكل فريد.
السبب الثاني لاستخدام RLS ينشأ عندما يعاني النموذج المتعلم من ضعف التعميم . يمكن استخدام RLS في مثل هذه الحالات لتحسين قابلية تعميم النموذج عن طريق تقييده في وقت التدريب. يمكن لهذا القيد إما أن يجبر الحل على أن يكون "متفرقًا" بطريقة ما أو يعكس معرفة سابقة أخرى حول المشكلة مثل المعلومات حول الارتباطات بين الميزات. يمكن الوصول إلى فهم بايزي لهذا من خلال إظهار أن طرق RLS غالبًا ما تكون معادلة للأولويات في حل مشكلة المربعات الصغرى.
الصياغة العامة
لنفترض أن إعداد التعلم معطى بواسطة مساحة احتمالية ، . لنفترض أن هذا يمثل مجموعة تدريب من أزواج iid بالنسبة للتوزيع المشترك . لنفترض أن دالة خسارة. عرفها على أنها مساحة الدوال بحيث تكون المخاطر المتوقعة: محددة جيدًا. الهدف الرئيسي هو تقليل المخاطر المتوقعة: نظرًا لأنه لا يمكن حل المشكلة بدقة، فهناك حاجة لتحديد كيفية قياس جودة الحل. يجب أن توفر خوارزمية التعلم الجيدة للمقدر مخاطرة صغيرة.
نظرًا لأن التوزيع المشترك غير معروف عادةً، يتم تحمل المخاطر التجريبية. بالنسبة للمربعات الصغرى المنتظمة، يتم تقديم دالة الخسارة التربيعية:
ومع ذلك، إذا كانت الوظائف من مساحة غير مقيدة نسبيًا، مثل مجموعة الوظائف القابلة للتكامل التربيعي على ، فقد يؤدي هذا النهج إلى الإفراط في ملاءمة بيانات التدريب، ويؤدي إلى تعميم ضعيف. وبالتالي، يجب أن يقيد أو يعاقب بطريقة ما تعقيد الوظيفة . في RLS، يتم تحقيق ذلك عن طريق اختيار وظائف من مساحة هيلبرت نواة إعادة إنتاج (RKHS) ، وإضافة مصطلح تنظيم إلى دالة الهدف، متناسبًا مع معيار الوظيفة في :
صياغة النواة
تعريف RKHS
يمكن تعريف RKHS بواسطة دالة نواة موجبة محددة متناظرة ذات خاصية إعادة الإنتاج: حيث . تتكون RKHS للنواة من استكمال مساحة الدوال الممتدة بواسطة : ، حيث جميعها أعداد حقيقية. تتضمن بعض النوى المستخدمة بشكل شائع النواة الخطية، التي تحفز مساحة الدوال الخطية: النواة متعددة الحدود، التي تحفز مساحة الدوال متعددة الحدود من الدرجة : والنواة الغوسية:
لاحظ أنه بالنسبة لدالة الخسارة التعسفية ، فإن هذا النهج يحدد فئة عامة من الخوارزميات تسمى تنظيم تيخونوف. على سبيل المثال، يؤدي استخدام خسارة المفصلة إلى خوارزمية آلة متجه الدعم ، ويؤدي استخدام الخسارة غير الحساسة للإبسيلون إلى انحدار متجه الدعم .
نواة عشوائية
تضمن نظرية الممثل أنه يمكن كتابة الحل على النحو التالي: بالنسبة لبعض .
يمكن التعبير عن مشكلة التقليل على النحو التالي: حيث، مع بعض إساءة استخدام التدوين، فإن إدخال مصفوفة النواة (على عكس دالة النواة ) هو .
لمثل هذه الوظيفة،
يمكن الحصول على مشكلة التقليل التالية:
نظرًا لأن مجموع الدوال المحدبة محدب، فإن الحل فريد ويمكن إيجاد الحد الأدنى له عن طريق ضبط التدرج بالنسبة إلى : حيث
تعقيد
إن تعقيد التدريب هو في الأساس تكلفة حساب مصفوفة النواة بالإضافة إلى تكلفة حل النظام الخطي والتي تبلغ تقريبًا . إن حساب مصفوفة النواة للنواة الخطية أو الغوسية هو . إن تعقيد الاختبار هو .
تنبؤ
التنبؤ عند نقطة الاختبار الجديدة هو:
نواة خطية
لتسهيل الأمر، تم تقديم تدوين متجه. لنفترض أن المصفوفة عبارة عن متجهات إدخال ومتجه حيث تكون المدخلات عبارة عن مخرجات مقابلة. من حيث المتجهات، يمكن كتابة مصفوفة النواة على النحو التالي . يمكن كتابة دالة التعلم على النحو التالي:
هنا نقوم بتعريف . يمكن إعادة كتابة دالة الهدف على النحو التالي:
المصطلح الأول هو دالة الهدف من انحدار المربعات الصغرى العادية (OLS)، والذي يتوافق مع مجموع المربعات المتبقية . المصطلح الثاني هو مصطلح تنظيم، غير موجود في المربعات الصغرى العادية، والذي يعاقب القيم الكبيرة. نظرًا لأنه يتم النظر في مشكلة ذات أبعاد محدودة سلسة، فمن الممكن تطبيق أدوات حساب التفاضل والتكامل القياسية. لتقليل دالة الهدف، يتم حساب التدرج بالنسبة إلى وتعيينه على الصفر:
يشبه هذا الحل عن كثب حل الانحدار الخطي القياسي، مع حد إضافي . إذا كانت افتراضات الانحدار المربعات الصغرى العادية صحيحة، فإن الحل ، مع ، هو مقدر غير متحيز، وهو مقدر خطي غير متحيز ذو أدنى تباين، وفقًا لنظرية جاوس-ماركوف . وبالتالي فإن المصطلح يؤدي إلى حل متحيز؛ ومع ذلك، فإنه يميل أيضًا إلى تقليل التباين. من السهل رؤية ذلك، حيث أن مصفوفة التباين للقيم - تتناسب مع ، وبالتالي فإن القيم الكبيرة لـ ستؤدي إلى تباين أقل. لذلك، يتوافق التلاعب مع تحيز المقايضة والتباين. بالنسبة للمشاكل المتعلقة بتقديرات التباين العالي، مثل الحالات ذات الانحدارات الصغيرة نسبيًا أو ذات الانحدارات المترابطة، يمكن الحصول على دقة التنبؤ المثلى باستخدام ، وبالتالي إدخال بعض التحيز لتقليل التباين. علاوة على ذلك، ليس من غير المألوف في التعلم الآلي أن تكون هناك حالات حيث ، وفي هذه الحالة يكون هناك نقص في الرتبة ، ويكون من الضروري استخدام قيمة غير صفرية لحساب .
تعقيد
تتحكم المعلمة في قابلية عكس المصفوفة . يمكن استخدام عدة طرق لحل النظام الخطي أعلاه، وربما يكون تحلل تشوليسكي هو الطريقة المفضلة، لأن المصفوفة متماثلة ومحددة بشكل إيجابي . تكمن تعقيدات هذه الطريقة في التدريب والاختبار . التكلفة هي في الأساس تكلفة الحوسبة ، في حين أن الحساب العكسي (أو بالأحرى حل النظام الخطي) هو تقريبًا .
خرائط الميزات ونظرية ميرسر
في هذا القسم، سيتم توضيح كيفية توسيع RLS إلى أي نوع من نواة إعادة الإنتاج K. بدلاً من النواة الخطية، يتم اعتبار خريطة الميزات لبعض فضاء هيلبرت ، والتي تسمى مساحة الميزات. في هذه الحالة، يتم تعريف النواة على النحو التالي: يتم استبدال المصفوفة الآن بمصفوفة البيانات الجديدة ، حيث ، أو المكون - من . وهذا يعني أنه لمجموعة تدريب معينة . وبالتالي، يمكن كتابة دالة الهدف على النحو التالي
يُعرف هذا النهج باسم خدعة النواة . يمكن لهذه التقنية تبسيط العمليات الحسابية بشكل كبير. إذا كانت الأبعاد عالية، فقد تكون الحوسبة مكثفة إلى حد ما. إذا كان الشكل الصريح لدالة النواة معروفًا، فنحن نحتاج فقط إلى حساب وتخزين مصفوفة النواة .
في الواقع، لا يلزم أن تكون مساحة هيلبرت متماثلة مع ، ويمكن أن تكون ذات أبعاد لا نهائية. يتبع هذا من نظرية ميرسر ، والتي تنص على أنه يمكن التعبير عن دالة نواة موجبة محددة ومتماثلة ومتصلة على أنها حيث تشكل أساسًا متعامدًا عموديًا لـ ، و . إذا تم تعريف خرائط الميزات بمكونات ، يتبع ذلك أن . يوضح هذا أنه يمكن ربط أي نواة بخريطة ميزات، وأن RLS تتكون عمومًا من RLS خطية يتم إجراؤها في بعض فضاءات الميزات ذات الأبعاد الأعلى المحتملة. بينما توضح نظرية ميرسر كيف يمكن ربط خريطة ميزات واحدة بنواة، في الواقع يمكن ربط خرائط ميزات متعددة بنواة إعادة إنتاج معينة. على سبيل المثال، تلبي الخريطة الخاصية لنواة إعادة إنتاج عشوائية.
التفسير البايزي
يمكن اعتبار المربعات الصغرى تعظيمًا للاحتمالية تحت افتراض توزيع البقايا بشكل طبيعي. وذلك لأن أس التوزيع الغاوسي تربيعي في البيانات، وكذلك دالة الهدف لأقل المربعات الصغرى. في هذا الإطار، يمكن فهم مصطلحات التنظيم لـ RLS على أنها تشفر المسبقات على . [1] على سبيل المثال، يتوافق تنظيم تيخونوف مع مسبقة موزعة بشكل طبيعي على مركزها 0. لرؤية هذا، لاحظ أولاً أن هدف المربعات الصغرى يتناسب مع دالة الاحتمالية اللوغاريتمية عندما يتم توزيع كل عينة بشكل طبيعي حول . ثم لاحظ أن المسبقة الطبيعية على مركزها 0 لها احتمالية لوغاريتمية من النموذج حيث و هما ثابتان يعتمدان على تباين المسبق و مستقلان عن . وبالتالي، فإن تقليل لوغاريتم الاحتمالية مضروبًا في المسبق يعادل تقليل مجموع دالة الخسارة للمربعات الصغرى العادية ومصطلح التنظيم لانحدار التلال.
وهذا يعطي تفسيرا أكثر بديهية لسبب أن تنظيم تيخونوف يؤدي إلى حل فريد لمشكلة المربعات الصغرى: هناك عدد لا نهائي من المتجهات التي تلبي القيود التي تم الحصول عليها من البيانات، ولكن بما أننا وصلنا إلى المشكلة باعتقاد مسبق يتم توزيعه بشكل طبيعي حول الأصل، فسوف ننتهي باختيار حل مع وضع هذا القيد في الاعتبار.
تتوافق طرق التنظيم الأخرى مع الأولويات المختلفة. راجع القائمة أدناه لمزيد من التفاصيل.
أمثلة محددة
الانحدار التلالي (أو التنظيم تيخونوف)
أحد الخيارات الشائعة بشكل خاص لدالة الجزاء هو المعيار التربيعي ، أي، الأسماء الأكثر شيوعًا لهذا تسمى تنظيم تيخونوف والانحدار التلالي . إنه يسمح بحل مغلق الشكل لـ : يشير اسم الانحدار التلالي إلى حقيقة أن المصطلح يضيف إدخالات موجبة على طول "التلال" القطرية لمصفوفة تباين العينة .
عندما ، أي في حالة المربعات الصغرى العادية ، الشرط الذي يجعل مصفوفة تباين العينة لا تحتوي على رتبة كاملة وبالتالي لا يمكن عكسها لإنتاج حل فريد. هذا هو السبب في أنه يمكن أن يكون هناك عدد لا نهائي من الحلول لمشكلة المربعات الصغرى العادية عندما . ومع ذلك، عندما ، أي عند استخدام الانحدار التلالي، فإن إضافة إلى مصفوفة تباين العينة تضمن أن تكون جميع قيمها الذاتية أكبر تمامًا من 0. بعبارة أخرى، تصبح قابلة للعكس، ويصبح الحل فريدًا.
بالمقارنة مع المربعات الصغرى العادية، فإن الانحدار التلالي ليس غير متحيز. فهو يقبل التحيز لتقليل التباين وخطأ المربع المتوسط .
انحدار لاسو
تعد طريقة الاختيار والانكماش الأقل مطلقًا (LASSO) خيارًا شائعًا آخر. في انحدار لاسو ، تكون دالة عقوبة لاسو هي القاعدة ، أي
لاحظ أن دالة عقوبة اللاسو محدبة ولكنها ليست محدبة تمامًا. على عكس تنظيم تيخونوف ، لا يحتوي هذا المخطط على حل ملائم في شكل مغلق: بدلاً من ذلك، يتم العثور على الحل عادةً باستخدام البرمجة التربيعية أو طرق تحسين محدبة أكثر عمومية ، بالإضافة إلى خوارزميات محددة مثل خوارزمية الانحدار بأقل زاوية .
الفرق المهم بين الانحدار باستخدام لاسو وتنظيم تيخونوف هو أن الانحدار باستخدام لاسو يجبر عددًا أكبر من المدخلات على أن تساوي 0 بالفعل مقارنة بما كان ليكون بخلاف ذلك. وعلى النقيض من ذلك، في حين يجبر تنظيم تيخونوف مدخلات على أن تكون صغيرة، فإنه لا يجبر عددًا أكبر منها على أن تكون 0 مقارنة بما كان ليكون بخلاف ذلك. وبالتالي، فإن تنظيم لاسو أكثر ملاءمة من تنظيم تيخونوف في الحالات التي نتوقع فيها أن يكون عدد المدخلات غير الصفرية في صغيرًا، ويكون تنظيم تيخونوف أكثر ملاءمة عندما نتوقع أن تكون مدخلات في صغيرة بشكل عام ولكنها ليست بالضرورة صفرًا. ويعتمد أي من هذه الأنظمة أكثر أهمية على مجموعة البيانات المحددة بين أيدينا.
بالإضافة إلى اختيار الميزات الموصوف أعلاه، فإن LASSO لديه بعض القيود. يوفر الانحدار التلالي دقة أفضل في حالة المتغيرات ذات الارتباط الشديد. [2] في حالة أخرى، يختار LASSO معظم المتغيرات. علاوة على ذلك، يميل LASSO إلى اختيار بعض المتغيرات التعسفية من مجموعة من العينات ذات الارتباط الشديد، لذلك لا يوجد تأثير تجميعي.
ℓ0العقوبة
الطريقة الأكثر تطرفًا لفرض الندرة هي القول بأن الحجم الفعلي لمعاملات لا يهم؛ بل إن الشيء الوحيد الذي يحدد تعقيد هو عدد الإدخالات غير الصفرية. وهذا يتوافق مع الإعداد ليكون معيارًا لـ . هذه الدالة التنظيمية، على الرغم من جاذبيتها للندرة التي تضمنها، إلا أنه من الصعب جدًا حلها لأن القيام بذلك يتطلب تحسين دالة ليست حتى محدبة بشكل ضعيف . انحدار لاسو هو الحد الأدنى الممكن لتخفيف العقوبة الذي ينتج عنه مشكلة تحسين محدبة بشكل ضعيف.
شبكة مرنة
لأي غير سلبي والهدف له الشكل التالي:
ليكن ، إذن حل مسألة التقليل يوصف على النحو التالي: بالنسبة لبعض .
اعتبرها دالة عقوبة الشبكة المرنة.
عندما تصبح الشبكة المرنة انحدارًا على شكل سلسلة، في حين تصبح لاسو. لا تحتوي دالة عقوبة الشبكة المرنة على المشتقة الأولى عند 0 وهي محدبة تمامًا مع أخذ خصائص كل من انحدار لاسو وانحدار السلسلة .
من أهم خصائص الشبكة المرنة أنها تستطيع اختيار مجموعات من المتغيرات المترابطة. الفرق بين متجهات الوزن للعينات و يعطى بواسطة: حيث . [3]
إذا كانت و مترابطتين بشكل كبير ( )، فإن متجهات الوزن تكون قريبة جدًا. في حالة العينات المرتبطة سلبًا ( ) يمكن أخذ العينات . باختصار، بالنسبة للمتغيرات المرتبطة بشكل كبير، تميل متجهات الوزن إلى أن تكون متساوية حتى علامة في حالة المتغيرات المرتبطة سلبًا.
قائمة جزئية لطرق RLS
فيما يلي قائمة بالاختيارات الممكنة لوظيفة التنظيم ، بالإضافة إلى اسم كل منها، والأسبقية المقابلة إذا كانت بسيطة، وطرق حساب الحل لمشكلة التحسين الناتجة.
| اسم | وظيفة التنظيم | المقابلة السابقة | طرق الحل |
|---|---|---|---|
| تنظيم تيخونوف | طبيعي | نموذج مغلق | |
| انحدار لاسو | لابلاس | انحدار التدرج القريب ، انحدار الزاوية الأقل | |
| عقوبة | - | الاختيار الأمامي ، الإزالة العكسية ، استخدام المسبقات مثل السنبلة والشريحة | |
| شبكات مرنة | خليط عادي ولابلاس | نزول التدرج القريب | |
| تنظيم التباين الكلي | - | طريقة سبليت-بريجمان، من بين طرق أخرى |
انظر أيضا
- المربعات الصغرى
- التنظيم في الرياضيات.
- خطأ التعميم ، أحد أسباب استخدام التنظيم.
- تنظيم تيخونوف
- انحدار لاسو
- تنظيم الشبكة المرنة
- الانحدار ذو الزاوية الأصغر
مراجع
- ^ هوانغ، يونفي؛ وآخرون (2022). "الاستدلال المتفرق والتعلم النشط للمعادلات التفاضلية العشوائية من البيانات". التقارير العلمية . 12 (1): 21691. doi : 10.1038/s41598-022-25638-9 . PMC 9755218. PMID 36522347.
- ^ Tibshirani Robert (1996). "انكماش الانحدار والاختيار عبر اللاسو" (PDF) . مجلة الجمعية الإحصائية الملكية، السلسلة ب . 58 : ص 266-288.
- ^ هوي، زو ؛ هاستي، تريفور (2003). "التنظيم واختيار المتغيرات عبر الشبكة المرنة" (PDF) . مجلة الجمعية الإحصائية الملكية، السلسلة ب . 67 (2): ص 301-320.
روابط خارجية
- http://www.stanford.edu/~hastie/TALKS/enet_talk.pdf التنظيم واختيار المتغيرات عبر الشبكة المرنة (عرض تقديمي)
- المربعات الصغرى المنتظمة وآلات المتجهات الداعمة (عرض تقديمي)
- المربعات الصغرى المنتظمة(عرض تقديمي)
