From the perspective of data reduction, the notions of minimal sufficient and complete statistics together play an important role in determining optimal statistics (estimators). The classical notion of sufficiency and completeness are not adequate in many robust estimations that are based on different divergences. Recently, the notion of generalized sufficiency based on a generalized likelihood function was introduced in the literature. It is important to note that the concept of sufficiency alone does not necessarily produce optimal statistics (estimators). Thus, in line with the generalized sufficiency, we introduce a generalized notion of completeness with respect to a generalized likelihood function. We then characterize the family of probability distributions that possesses completeness with respect to the generalized likelihood function associated with the density power divergence (DPD). Moreover, we show that the family of distributions associated with the logarithmic density power divergence (LDPD) is not complete. Further, we extend the Lehmann-Scheffé theorem and the Basu's theorem for the generalized likelihood estimation. Subsequently, we obtain the generalized uniformly minimum variance unbiased estimator (UMVUE) for the $\mathcal{B^{(α)}}$-family. Further, we derive an formula of the asymptotic expected deficiency (AED) that is used to compare the performance between the minimum density power divergence estimator (MDPDE) and the generalized UMVUE for $\mathcal{B^{(α)}}$-family. Finally, we provide an application of the developed results in stress-strength reliability model.
معرّف البحث : 2510.13174العنوان : مفهوم معمم للاكتمال وتطبيقاتهالمؤلفون : Himanshi Singh (معهد IIT جودهبور)، Tanmay Sahoo (معهد IIT بالاكاد)، Nil Kamal Hazra (معهد IIT جودهبور)التصنيف : math.ST stat.TH (نظرية الإحصاء)تاريخ الإرسال : 15 أكتوبر 2025رابط البحث : https://arxiv.org/abs/2510.13174 من منظور تقليل البيانات، تلعب مفاهيم الإحصائيات الكافية الدنيا والإحصائيات الكاملة دوراً مهماً في تحديد الإحصائيات المثلى (المقدرات). لا تنطبق مفاهيم الكفاية والاكتمال الكلاسيكية على التقدير القوي القائم على الاختلافات المختلفة. تم تقديم مفهوم الكفاية المعممة بناءً على دالة الاحتمالية المعممة مؤخراً في الأدبيات. من الجدير بالملاحظة أن مفهوم الكفاية وحده لا يؤدي بالضرورة إلى إحصائيات مثلى. لذلك، بما يتسق مع الكفاية المعممة، يقدم هذا البحث مفهوم الاكتمال المعمم فيما يتعلق بدالة الاحتمالية المعممة، ويوصف فئات التوزيعات الاحتمالية التي تتمتع بالاكتمال تحت دالة الاحتمالية المعممة المرتبطة بتشتت كثافة الطاقة (DPD). علاوة على ذلك، يثبت أن فئات التوزيعات المرتبطة بتشتت كثافة الطاقة اللوغاريتمية (LDPD) لا تتمتع بالاكتمال، ويوسع نظرية Lehmann-Scheffé ونظرية Basu إلى تقدير الاحتمالية المعممة، ويحصل على مقدرات غير متحيزة ذات تباين أدنى موحد معمم (UMVUE) لعائلة B(α).
أهمية تقليل البيانات : في الاستدلال الإحصائي، عندما يكون حجم العينة كبيراً جداً، يصبح تفسير بيانات العينة مباشرة صعباً، مما يتطلب تقليل البيانات من خلال الإحصائيات. يجب أن يستوفي تقليل البيانات المثالي خاصيتين رئيسيتين: (i) عدم فقدان المعلومات المهمة حول المعامل؛ (ii) التخلص من المعلومات الزائدة غير المرتبطة بالمعامل.قيود النظرية الكلاسيكية : يعمل مفهوم الإحصائية الكافية الذي قدمه Fisher بناءً على دالة الاحتمالية الكلاسيكية بشكل جيد في إطار تقدير الاحتمالية العظمى. ومع ذلك، في التطبيقات العملية مثل الاستدلال القوي، يلزم تجاوز الطرق القائمة على الاحتمالية، وفي هذه الحالة لا تنطبق مفاهيم الكفاية والاكتمال الكلاسيكية.الحاجة إلى إطار معمم : تتطلب طرق التقدير المتطورة القائمة على الاختلافات (مثل MDPDE و MLDPDE) التي تستخدم دوال احتمالية معممة نظرية كفاية واكتمال معممة مقابلة.لا يمكن لمفهوم الكفاية وحده أن ينتج إحصائيات مثلى؛ يتطلب الجمع مع مفهوم الاكتمال للحصول على UMVUE التعريفات الموجودة للاكتمال لم تعد تنطبق في إطار تقدير الاحتمالية المعممة يلزم إنشاء نظرية اكتمال معممة تتطابق مع الكفاية المعممة إدخال مفاهيم الاكتمال والمساعدة المعممة : تعريف مفاهيم الإحصائية الكاملة المعممة والإحصائية المساعدة المعممة بناءً على دالة الاحتمالية المعممةتوصيف اكتمال عائلة B(α) : إثبات أن عائلة B(α) تتمتع باكتمال معمم تحت دالة الاحتمالية المعممة المرتبطة بـ DPDإثبات عدم اكتمال عائلة M(α) : إثبات من خلال مثال معاكس أن عائلة M(α) لا تتمتع باكتمال تحت دالة الاحتمالية المعممة المرتبطة بـ LDPDتوسيع النظريات الكلاسيكية : توسيع نظرية Lehmann-Scheffé ونظرية Basu إلى إطار تقدير الاحتمالية المعممةالحصول على UMVUE معمم : اشتقاق مقدرات غير متحيزة ذات تباين أدنى موحد معمم لعائلة B(α)تحليل الخسارة المتوقعة المقاربة : اشتقاق صيغة الخسارة المتوقعة المقاربة (AED) لـ MDPDE بالنسبة إلى UMVUE المعممأمثلة التطبيق : عرض تطبيق نتائج النظرية في نموذج موثوقية الإجهاد والقوةالمهمة الأساسية للبحث هي إنشاء نظرية الاكتمال في إطار تقدير الاحتمالية المعممة، والتي تشمل بشكل محدد:
الإدخال: فئة التوزيع الاحتمالي P = {fλ : λ ∈ Λ} ودالة الاحتمالية المعممة LG الإخراج: معايير الحكم وطرق بناء الإحصائية الكاملة المعممة القيود: يجب أن تستوفي دالة الاحتمالية المعممة شروط النظامية المحددة التعريف 3.2 : دع P = {fλ : λ ∈ Λ} تكون فئة توزيع احتمالي، و LG تكون دالة احتمالية معممة. تسمى الإحصائية T إحصائية كاملة معممة لـ P، إذا كانت لأي دالة h،
E ~ λ [ h ( T ) ] = ∫ h ( T ( y 1 n ) ) exp [ L G ( y 1 n ; λ ) ] ∫ exp [ L G ( r 1 n ; λ ) ] d r 1 n d y 1 n = 0 , ∀ λ ∈ Λ \tilde{E}_λ[h(T)] = \int h(T(y_1^n)) \frac{\exp[L_G(y_1^n;λ)]}{\int \exp[L_G(r_1^n;λ)]dr_1^n} dy_1^n = 0, \forall λ ∈ Λ E ~ λ [ h ( T )] = ∫ h ( T ( y 1 n )) ∫ e x p [ L G ( r 1 n ; λ )] d r 1 n e x p [ L G ( y 1 n ; λ )] d y 1 n = 0 , ∀ λ ∈ Λ
يعني
P ~ λ { h ( T ) = 0 } = 1 , ∀ λ ∈ Λ \tilde{P}_λ\{h(T) = 0\} = 1, \forall λ ∈ Λ P ~ λ { h ( T ) = 0 } = 1 , ∀ λ ∈ Λ
التعريف 2.3 : التوزيع الاحتمالي المشوه المرتبط بدالة الاحتمالية المعممة LG هو:
f ~ λ ( y 1 n ) = exp [ L G ( y 1 n ; λ ) ] ∫ exp [ L G ( r 1 n ; λ ) ] d r 1 n \tilde{f}_λ(y_1^n) = \frac{\exp[L_G(y_1^n;λ)]}{\int \exp[L_G(r_1^n;λ)]dr_1^n} f ~ λ ( y 1 n ) = ∫ e x p [ L G ( r 1 n ; λ )] d r 1 n e x p [ L G ( y 1 n ; λ )]
عائلة B(α) (التعريف 2.8):
f λ ( y ) = [ h ( y ) + Z ( λ ) + w ( λ ) T f ( y ) ] 1 α − 1 f_λ(y) = [h(y) + Z(λ) + w(λ)^T f(y)]^{\frac{1}{α-1}} f λ ( y ) = [ h ( y ) + Z ( λ ) + w ( λ ) T f ( y ) ] α − 1 1
عائلة M(α) (التعريف 2.9):
f λ ( y ) = N ( λ ) [ h ( y ) + w ( λ ) T f ( y ) ] 1 α − 1 f_λ(y) = N(λ)[h(y) + w(λ)^T f(y)]^{\frac{1}{α-1}} f λ ( y ) = N ( λ ) [ h ( y ) + w ( λ ) T f ( y ) ] α − 1 1
النظرية 3.1 : دع T تكون إحصائية كافية كاملة معممة لـ P، فإن كل دالة قابلة للتقدير المعممة τ̃(λ) لديها واحد وفقط واحد مقدر معمم غير متحيز بالشكل h(T)، و h(T) هو UMVUE المعمم الفريد لـ τ̃(λ).
النظرية 3.3 : دع T تكون إحصائية كافية كاملة معممة لـ P، فإن أي إحصائية مساعدة معممة A تكون مستقلة عن T.
النظرية 4.2 : بالنسبة لعائلة B(α)، إذا كانت قيمة w(λ) تحتوي على مستطيل d-بعدي، فإن f ˉ d = [ f ˉ 1 , . . . , f ˉ d ] T \bar{f}_d = [\bar{f}_1, ..., \bar{f}_d]^T f ˉ d = [ f ˉ 1 , ... , f ˉ d ] T هي إحصائية كافية كاملة معممة، حيث f ˉ i = 1 n ∑ j = 1 n f i ( y j ) \bar{f}_i = \frac{1}{n}\sum_{j=1}^n f_i(y_j) f ˉ i = n 1 ∑ j = 1 n f i ( y j ) .
يتحقق البحث بشكل أساسي من النتائج من خلال التحليل النظري والإثبات الرياضي، بما في ذلك:
إثبات اكتمال عائلة B(α) : من خلال بناء التوزيع الاحتمالي المشوه وتطبيق النتائج الكلاسيكية لـ Lehmannإثبات عدم اكتمال عائلة M(α) : من خلال مثال معاكس لتوزيع Bernoulliاشتقاق صيغة AED : بناءً على توسع Taylor والتحليل المقاربنموذج موثوقية الإجهاد والقوة :
القوة Y والإجهاد X يتبعان كلاهما توزيع Student معامل الموثوقية: R = P ( Y > X ) = Φ ( μ 2 σ ∗ ) R = P(Y > X) = Φ(\frac{μ}{\sqrt{2}σ^*}) R = P ( Y > X ) = Φ ( 2 σ ∗ μ ) مقارنة أداء MDPDE و UMVUE المعمم اكتمال عائلة B(α) : إثبات أنه في ظل الشروط المناسبة، f ˉ d \bar{f}_d f ˉ d هي إحصائية كافية كاملة معممة لعائلة B(α)عدم اكتمال عائلة M(α) : إثبات من خلال مثال محدد لتوزيع Bernoulli أن عائلة M(α) لا تتمتع باكتمال معممصيغة AED : بالنسبة لعائلة B(α)، الخسارة المتوقعة المقاربة لـ MDPDE بالنسبة إلى UMVUE المعمم هي:A E D [ τ ~ ( T ) , U ~ ( T ) ] = 1 d d λ w ∗ ( λ ) [ d 3 d λ 3 τ ~ ( λ ) d d λ τ ~ ( λ ) + 1 4 ( d 2 d λ 2 τ ~ ( λ ) d d λ τ ~ ( λ ) ) 2 − d 2 d λ 2 w ∗ ( λ ) ( d d λ w ∗ ( λ ) ) 2 d 2 d λ 2 τ ~ ( λ ) d d λ τ ~ ( λ ) ] AED[\tilde{τ}(T), \tilde{U}(T)] = \frac{1}{\frac{d}{dλ}w^*(λ)}\left[\frac{\frac{d^3}{dλ^3}\tilde{τ}(λ)}{\frac{d}{dλ}\tilde{τ}(λ)} + \frac{1}{4}\left(\frac{\frac{d^2}{dλ^2}\tilde{τ}(λ)}{\frac{d}{dλ}\tilde{τ}(λ)}\right)^2 - \frac{\frac{d^2}{dλ^2}w^*(λ)}{(\frac{d}{dλ}w^*(λ))^2}\frac{\frac{d^2}{dλ^2}\tilde{τ}(λ)}{\frac{d}{dλ}\tilde{τ}(λ)}\right] A E D [ τ ~ ( T ) , U ~ ( T )] = d λ d w ∗ ( λ ) 1 [ d λ d τ ~ ( λ ) d λ 3 d 3 τ ~ ( λ ) + 4 1 ( d λ d τ ~ ( λ ) d λ 2 d 2 τ ~ ( λ ) ) 2 − ( d λ d w ∗ ( λ ) ) 2 d λ 2 d 2 w ∗ ( λ ) d λ d τ ~ ( λ ) d λ 2 d 2 τ ~ ( λ ) ]
في نموذج موثوقية الإجهاد والقوة:
عندما يكون ∣ μ ∣ < 8 σ ∗ 4 + σ ∗ |μ| < \sqrt{\frac{8σ^*}{4+σ^*}} ∣ μ ∣ < 4 + σ ∗ 8 σ ∗ ، يكون MDPDE أفضل من UMVUE المعمم عندما يكون ∣ μ ∣ > 8 σ ∗ 4 + σ ∗ |μ| > \sqrt{\frac{8σ^*}{4+σ^*}} ∣ μ ∣ > 4 + σ ∗ 8 σ ∗ ، يكون UMVUE المعمم أفضل من MDPDE بالنسبة لتطبيقات الموثوقية العملية (الموثوقية القريبة من 1)، يعطي UMVUE المعمم عادة أداء أفضل الإحصائية الكافية الدنيا المعممة قد لا تكون كاملة : يوضح مثال عائلة M(α) هذه النقطة، وهذا يختلف عن الحالة الكلاسيكيةالعلاقة بين الاكتمال وهيكل فئة التوزيع : تتمتع عائلة B(α) باكتمال بينما لا تتمتع عائلة M(α)، مما يكشف الفروقات الجوهرية بين فئات التوزيع المعممة المختلفةالاعتماد على المعامل لأداء المقدر : يوضح تحليل AED أن الأداء النسبية للمقدر تعتمد بشدة على قيمة المعاملFisher (1922) : مفهوم الإحصائية الكافيةLehmann & Scheffé (1950) : نظرية الاكتمال و UMVUEBasu (1955) : استقلالية الإحصائية المساعدة والإحصائية الكافية الكاملةGayen & Kumar (2016, 2023) : مفهوم الكفاية المعممة ونظرية Fisher-Darmois-Koopman-Pitman المعممةBasu et al. (1998, 2011) : تشتت كثافة الطاقة وطرق التقدير القوي ذات الصلةKullback & Leibler (1951) : اختلاف KLTsallis (1988) : اختلاف TsallisRényi (1961) : اختلاف Rényiإنشاء نظرية الاكتمال المعممة بنجاح : توفير إطار نظري كامل لتقدير الاحتمالية المعممة، ملء الفراغ النظري في هذا المجالتوصيف اكتمال فئات التوزيع المهمة : إثبات أن عائلة B(α) تتمتع باكتمال معمم بينما عائلة M(α) لا تتمتع به، توفير إرشادات نظرية للتطبيق العمليتوسيع النظريات الكلاسيكية : توسيع نظرية Lehmann-Scheffé ونظرية Basu بنجاح إلى الإطار المعممتوفير أداة مقارنة المقدرات : توفير صيغة AED أداة كمية لمقارنة المقدرات المختلفةشروط النظامية : تتطلب النتائج النظرية استيفاء سلسلة من شروط النظامية، والتي تحتاج إلى التحقق منها في التطبيقات العمليةالتعقيد الحسابي : قد يكون حساب التوزيع الاحتمالي المشوه معقداً في بعض الحالاتالخصائص ذات العينة المحدودة : تستند النتائج الرئيسية إلى النظرية المقاربة، وتحتاج خصائص العينة المحدودة إلى مزيد من البحثنطاق التطبيق : يركز حالياً بشكل أساسي على فئات توزيع محددة، ويتطلب التوسع إلى حالات أكثر عمومية مزيد من البحثالاستدلال البايزي : توسيع نظرية الاكتمال المعممة إلى الإطار البايزينظرية العينة المحدودة : دراسة خصائص الاكتمال المعمم تحت العينات المحدودةفئات توزيع أكثر عمومية : استكشاف الاكتمال لفئات توزيع معممة أخرىالطرق الحسابية : تطوير طرق حسابية رقمية فعالةالابتكار النظري : أول نظام شامل لإنشاء نظرية الاكتمال المعممة، توفير أساس نظري صلب لتقدير الاحتمالية المعممةالصرامة الرياضية : عملية الإثبات صارمة، التعريفات واضحة، الهيكل المنطقي كاملالقيمة العملية : تنطبق النتائج النظرية مباشرة على الحصول على UMVUE المعمم، ذات قيمة عملية مهمةالاكتمال : لا تثبت فقط النتائج الإيجابية (اكتمال عائلة B(α))، بل توضح أيضاً من خلال أمثلة معاكسة النتائج السلبية (عدم اكتمال عائلة M(α))التوجه التطبيقي : عرض التطبيق العملي للنظرية من خلال نموذج موثوقية الإجهاد والقوةعتبة تقنية عالية : يتطلب فهم عميق لنظرية الإحصاء الرياضي لفهم كاملالتحقق التجريبي غير كافٍ : يركز بشكل أساسي على التحليل النظري، يفتقر إلى التحقق التجريبي على نطاق واسعحالات التطبيق محدودة : على الرغم من توفير تطبيق نموذج الإجهاد والقوة، إلا أن الحالات نسبياً قليلةتحليل التعقيد الحسابي غير كافٍ : مناقشة أقل حول مشاكل التعقيد في الحسابات العمليةالمساهمة النظرية : توفير أدوات نظرية مهمة لنظرية الإحصاء، خاصة الإحصاء القويالقيمة المنهجية : توفير دعم نظري لطرق التقدير القائمة على الاختلافاتآفاق التطبيق : قيمة تطبيقية محتملة في هندسة الموثوقية وإدارة المخاطر وغيرهاالأبحاث اللاحقة : وضع الأساس للأبحاث الإضافية في المجالات ذات الصلةالاستدلال الإحصائي القوي : عندما تحتوي البيانات على قيم شاذة، تكون الطرق القائمة على الاختلافات أكثر قوة من طرق ML التقليديةتحليل الموثوقية : مناسبة بشكل خاص لمشاكل الموثوقية من نوع الإجهاد والقوةإدارة المخاطر : قيمة تطبيقية في السيناريوهات التي تتطلب تقديراً قوياً مثل مخاطر الأسواق الماليةالتعلم الآلي : توفير أساس نظري للخوارزميات القوية للتعلم الآلييستشهد البحث بـ 42 مرجعاً مهماً، يغطي الأعمال الكلاسيكية في نظرية الإحصاء وتطور نظرية الاختلاف الحديثة، بما في ذلك بشكل أساسي:
Fisher (1922): نظرية أساسيات الإحصاء Lehmann & Scheffé (1950): نظرية الاكتمال Basu (1955, 1998): الاستقلالية الإحصائية والتقدير القوي Gayen & Kumar (2016, 2023): نظرية الكفاية المعممة Kullback & Leibler (1951): أساس نظرية المعلومات التقييم الشامل : هذا بحث إحصائي نظري عالي الجودة، يؤسس نظام نظري كامل تحت إطار تقدير الاحتمالية المعممة. على الرغم من أن العتبة التقنية عالية، إلا أن المساهمة النظرية كبيرة جداً، مما يساهم بشكل مهم في تطور نظرية الإحصاء وطرق الإحصاء القوي. تستحق الصرامة الرياضية واكتمال النظرية في البحث الثناء، وهي تمثل تقدماً مهماً في هذا المجال.