मापदंडों की अनुमानितता पर एक समस्या


13

बता दें कि और चार यादृच्छिक चर हैं, जैसे , जहां अज्ञात पैरामीटर हैं। यह भी मान लें कि ,फिर कौन सा सच है?Y1,Y2,Y3Y4θ 1 , θ 2 , θ 3 वी एक आर ( Y मैं ) = σ 2 मैं = 1 , 2 , 3 , 4।E(Y1)=θ1−θ3;  E(Y2)=θ1+θ2−θ3;  E(Y3)=θ1−θ3;  E(Y4)=θ1−θ2−θ3θ1,θ2,θ3Var(Yi)=σ2i=1,2,3,4.

A. हैं।θ1,θ2,θ3

B. अनुमान योग्य है।θ1+θ3

C. अनुमान योग्य है और का सबसे अच्छा रैखिक निष्पक्ष अनुमान है ।1θ1−θ3θ1-θ312(Y1+Y3)θ1−θ3

डी। का अनुमान है।θ2

जवाब दिया गया है C जो मुझे अजीब लगता है (क्योंकि मुझे D मिला)।

मुझे डी क्यों मिला? चूंकि, ।E(Y2−Y4)=2θ2

मुझे समझ में क्यों नहीं आता कि सी एक जवाब हो सकता है? ठीक है, मैं देख सकता हूँ, का एक निष्पक्ष आकलनकर्ता है , और इसका 'विचरण ।Y1+Y2+Y3+Y44θ1−θ3Y1+Y32

कृपया बताएं कि मैं कहां गलत कर रहा हूं।

यहाँ भी पोस्ट किया गया: /math/2568894/a-problem-on-estimability-of-parameters


1
में डाल self-studyटैग या किसी के साथ आते हैं और अपने प्रश्न बंद हो जाएगा।
— कार्ल

@ कार्ल यह हो गया है लेकिन क्यों?
— Stat_prob_001 12

उन्हें है नियम साइट के लिए, नहीं मेरे नियमों, साइट नियम।
— कार्ल

क्या ? Y1≠Y3
— कार्ल

1
@ इस तरह से आप सोच सकते हैं: जहां मतलब और विचरण साथ एक आरवी है । और, जहाँ मतलब और विचरणε 1 0 σ 2 Y 3 = θ 1 - θ 3 + ε 3 ε 3 0 σ 2Y1=θ1−θ3+ϵ1ϵ10σ2Y3=θ1−θ3+ϵ3ϵ30σ2
— rigma

जवाबों:


8

यह उत्तर अनुमानितता के सत्यापन पर जोर देता है। न्यूनतम विचरण संपत्ति मेरे द्वितीयक विचार की है।

आरंभ करने के लिए, एक रेखीय मॉडल के मैट्रिक्स रूप के संदर्भ में जानकारी को निम्नानुसार संक्षेपित करें: जहां (अनुमान पर चर्चा करने के लिए, गोलाकार धारणा आवश्यक नहीं है। लेकिन गॉस-मार्कोव संपत्ति पर चर्चा करने के लिए। हमें _ को मानने की आवश्यकता है )। ई(

(1)Y:=[Y1Y2Y3Y4]=[10−111−110−11−1−1][θ1θ2θ3]+[ε1ε2ε3ε4]:=Xβ+ε,
εE(ε)=0,Var(ε)=σ2Iε

यदि डिज़ाइन मैट्रिक्स पूर्ण रैंक का है, तो मूल पैरामीटर एक अद्वितीय न्यूनतम-वर्ग अनुमान । नतीजतन, किसी भी पैरामीटर , रैखिक कार्य के रूप में परिभाषित के भावना है कि यह स्पष्ट रूप से कम से कम वर्गों के माध्यम से डेटा से अनुमान लगाया जा सकता में बहुमूल्य है का अनुमान है के रूप में ।बीटा बीटा = ( एक्स ' एक्स ) - 1 एक्स ' Y φ φ ( बीटा ) बीटा बीटा φ = पी ' बीटाXββ^=(X′X)−1X′Yϕϕ(β)ββ^ϕ^=p′β^

सूक्ष्मता तब उत्पन्न होती है जब पूर्ण रैंक का नहीं होता है। पूरी तरह से चर्चा करने के लिए, हम पहले कुछ नोटिफिकेशन और शर्तों को ठीक करते हैं (मैं कोऑर्डिनेट-फ्री एप्रोच टू लिनियर मॉडल्स , सेक्शन 4.8 के कन्वेंशन का पालन करता हूं । कुछ शर्तें अनावश्यक रूप से तकनीकी लगती हैं)। इसके अलावा, चर्चा सामान्य रेखीय मॉडल पर साथ और ।वाई = एक्स बीटा + ε एक्स ∈ आर एन × कश्मीर बीटा ∈ आर कश्मीरXY=Xβ+εX∈Rn×kβ∈Rk

  1. एक प्रतिगमन कई गुना मतलब वैक्टर के संग्रह के रूप है भिन्न होता है से अधिक : आर कश्मीर एम = { एक्स बीटा : बीटा ∈ आर कश्मीर } ।βRk
    M={Xβ:β∈Rk}.
  2. एक पैरामीट्रिक फंक्शनल एक फंक्शनल कार्यात्मक है , बीटा φ ( बीटा ) = पी ' बीटा = पी 1 बीटा 1 + ⋯ + पी कश्मीर बीटा कश्मीर ।ϕ=ϕ(β)β
    ϕ(β)=p′β=p1β1+⋯+pkβk.

जैसा कि ऊपर उल्लेख किया गया है, जब , हर पैरामीट्रिक फंक्शनल अनुमानित नहीं है। लेकिन, रुकिए, तकनीकी रूप से अनुमानित शब्द की परिभाषा क्या है ? थोड़ा रैखिक बीजगणित को परेशान किए बिना एक स्पष्ट परिभाषा देना मुश्किल लगता है। एक परिभाषा, जो मुझे लगता है कि सबसे अधिक सहज है, इस प्रकार है (उसी उपर्युक्त संदर्भ से):ϕ ( β )rank(X)<kϕ(β)

परिभाषा 1. एक पैरामीट्रिक फंक्शनलअनुमान लगाने योग्य है अगर यह विशिष्ट रूप सेद्वारा इस अर्थ मेंनिर्धारित किया जाताहै किजब भीसंतुष्ट।एक्स बीटा φ ( बीटा 1 ) = φ ( बीटा 2 ) बीटा 1 , बीटा 2 ∈ आर कश्मीर एक्स बीटा 1 = एक्स बीटा 2ϕ(β)Xβϕ(β1)=ϕ(β2)β1,β2∈RkXβ1=Xβ2

व्याख्या। उपरोक्त परिभाषा बताती है कि प्रतिगमन से मैपिंग से के पैरामीटर स्पेस में कई गुना वन-टू-वन होना चाहिए, जिसकी गारंटी तब होती है जब (यानी, जब ही एक है- एक को)। जब , हम जानते हैं कि वहाँ मौजूद है जैसे कि । प्रभाव में उपरोक्त अनुमानित परिभाषा उन संरचनात्मक-कमी वाले पैरामीट्रिक क्रियाओं को नियमबद्ध करती है जो पर समान मूल्य के साथ भी अलग-अलग मूल्यों का परिणाम देते हैं , जो स्वाभाविक रूप से समझ में नहीं आते हैं। दूसरी ओर, एक अनुमानित पैरामीट्रिक कार्यात्मकφ रैंक ( एक्स ) = कश्मीर एक्स रैंक ( एक्स ) < कश्मीर बीटा 1 ≠ बीटा 2 एक्स बीटा 1 = एक्स बीटा 2 एम φ ( ⋅ ) φ ( बीटा 1 ) = φ ( बीटा 2 ) बीटा 1 ≠ बीटा 2 एक्स बीटा 1 = एक्स β 2Mϕrank(X)=kXrank(X)<kβ1≠β2Xβ1=Xβ2Mϕ(⋅)अनुमति नहीं है मामले के साथ , जब तक शर्त के रूप में पूरी हो जाती है।ϕ(β1)=ϕ(β2)β1≠β2Xβ1=Xβ2

एक ही संदर्भ में दिए गए पैरामीट्रिक कार्यात्मक की अनुमानितता की जांच करने के लिए अन्य समकक्ष स्थितियां हैं, प्रस्ताव 8.4।

इस तरह के एक क्रिया पृष्ठभूमि परिचय के बाद, चलो अपने सवाल पर वापस आते हैं।

ए ही इस कारण से गैर-अनुमान्य है कि , जो कि साथ को । यद्यपि उपरोक्त परिभाषा स्केलर फ़ंक्शंस के लिए दी गई है, यह वेक्टर-मूल्यवान फ़ंक्शंस के लिए आसानी से सामान्यीकृत है।βrank(X)<3Xβ1=Xβ2β1≠β2

B. गैर-अनुमानित है। विचार करने के लिए, और , जो लेकिन ।ϕ1(β)=θ1+θ3=(1,0,1)′ββ1=(0,1,0)′β2=(1,1,1)′Xβ1=Xβ2ϕ1(β1)=0+0=0≠ϕ1(β2)=1+1=2

C. अनुमान है। क्योंकि तुच्छता से , अर्थात, ।ϕ2(β)=θ1−θ3=(1,0,−1)′βXβ1=Xβ2θ1(1)−θ3(1)=θ1(2)−θ3(2)ϕ2(β1)=ϕ2(β2)

डी है भी बहुमूल्य । से व्युत्पत्ति को भी तुच्छ है।ϕ3(β)=θ2=(0,1,0)′βXβ1=Xβ2ϕ3(β1)=ϕ3(β2)

अनुमान सत्यापित होने के बाद, एक प्रमेय है (प्रस्ताव 8.16, उसी संदर्भ) में दावा है कि गॉस-मार्कोव की संपत्ति । उस प्रमेय के आधार पर, विकल्प C का दूसरा भाग गलत है। सबसे अच्छा रैखिक निष्पक्ष अनुमान नीचे दिए गए प्रमेय द्वारा ।ϕ(β)Y¯=(Y1+Y2+Y3+Y4)/4

प्रमेय। Letएक अनुमानी पैरामीट्रिक क्रियाशील होना चाहिए, फिर इसका सबसे अच्छा रैखिक निष्पक्ष अनुमान (उर्फ, गॉस-मार्कोव अनुमान)किसी भीलिएसामान्य समीकरणों।ϕ(β)=p′βϕ(β^)β^X′Xβ^=X′Y

प्रमाण इस प्रकार है:

प्रमाण। सीधी गणना से पता चलता है कि सामान्य समीकरण जो, सरलीकरण के बाद, is अर्थात, ।

[40−4020−404]β^=[1111010−1−1−1−1−1]Y,
[ϕ(β^)θ^2/2−ϕ(β^)]=[Y¯(Y2−Y4)/4−Y¯],
ϕ(β^)=Y¯

इसलिए, विकल्प D एकमात्र सही उत्तर है।


परिशिष्ट: अनुमान और पहचान की क्षमता

जब मैं स्कूल में था, एक प्रोफेसर ने संक्षेप में उल्लेख किया कि पैरामीट्रिक फंक्शनल का अनुमान मॉडल की पहचान से मेल खाता है। मैंने इसके लिए यह दावा किया। हालांकि, समतुल्यता को अधिक स्पष्ट रूप से वर्तनी की आवश्यकता है।ϕ

एसी डेविसन के मोनोग्राफ सांख्यिकीय मॉडल p.144 के अनुसार,

परिभाषा 2. एक पैरामीट्रिक मॉडल जिसमें प्रत्येक पैरामीटरएक अलग वितरण उत्पन्न करता है जिसे पहचान योग्य कहा जाता है ।θ

रैखिक मॉडल , गोलाकार स्थिति ध्यान दिए बिना , इसे रूप में सुधार किया जा सकता है। (1)Var(ε)=σ2I

(2)E[Y]=Xβ,β∈Rk.

यह इतना सरल मॉडल है कि हमने केवल प्रतिक्रिया वेक्टर के पहले क्षण के रूप को निर्दिष्ट किया है । जब , मॉडल से पहचाने जाने योग्य है, जब से तात्पर्य (मूल वितरण में शब्द "वितरण" से स्वाभाविक रूप से "मतलब" तक कम हो जाता है) "अंडर मॉडल ।)।Yrank(X)=k(2)β1≠β2Xβ1≠Xβ2(2)

अब मान लें कि और एक दिया पैरामीट्रिक फंक्शनल , हम परिभाषा 1 और परिभाषा 2 को कैसे सामंजस्य करते हैं ?rank(X)<kϕ(β)=p′β

खैर, नोटेशन और शब्दों में हेरफेर करके, हम यह दिखा सकते हैं कि ("सबूत" बल्कि तुच्छ है) की अनुमान्यता उस मॉडल के बराबर है पहचान योग्य है जब यह पैरामीटर के साथ (डिज़ाइन मैट्रिक्स तदनुसार परिवर्तित होने की संभावना है)। साबित करने के लिए, मान लें कि अनुमान योग्य है ताकि तात्पर्य , परिभाषा के अनुसार, यह , इसलिए मॉडल की पहचान की जा सकती है जब साथ अनुक्रमण करता है । इसके विपरीत, मान लीजिए कि मॉडल पहचान योग्य है ताकिϕ(β)(2)ϕ=ϕ(β)=p′βXϕ(β)Xβ1=Xβ2p′β1=p′β2ϕ1=ϕ2(3)ϕ(3)Xβ1=Xβ2 अर्थ है , जो तुच्छ ।ϕ1=ϕ2ϕ1(β)=ϕ2(β)

सहज रूप से, जब को कम-रैंक किया जाता है, तो वाला मॉडल अतिरेक (बहुत अधिक पैरामीटर) पैरामीटर होता है, इसलिए एक गैर-निरर्थक निचला-आयामी पुनर्संरचना (जिसमें रैखिक कार्यों का संग्रह शामिल हो सकता है) संभव है। ऐसा नया प्रतिनिधित्व कब संभव है? कुंजी अनुमान है।Xβ

उपरोक्त कथनों को स्पष्ट करने के लिए, आइए अपने उदाहरण पर पुनर्विचार करें। हमने पैरामीट्रिक फ़ंक्शंस को सत्यापित किया है और हैं। इसलिए, हम reparametrized पैरामीटर के संदर्भ में मॉडल को फिर से लिख सकते हैं रूप में इस प्रकार ϕ2(β)=θ1−θ3ϕ3(β)=θ2(1)(ϕ2,ϕ3)′

E[Y]=[1011101−1][ϕ2ϕ3]=X~γ.

स्पष्ट रूप से, चूंकि पूर्ण-रैंक है, इसलिए नए पैरामीटर साथ मॉडल पहचान योग्य है।X~γ


यदि आपको विकल्प सी के दूसरे भाग के लिए एक प्रमाण की आवश्यकता है, तो मैं अपने उत्तर को पूरक करूंगा।
— झांकोसिओंग

2
धन्यवाद! इस तरह के एक विस्तृत जवाब के लिए। अब, सी के दूसरे भाग के बारे में: मुझे पता है कि "सर्वश्रेष्ठ" न्यूनतम विचरण से संबंधित है। तो, क्यों नहीं नहीं है "सर्वश्रेष्ठ" ? 14(Y1+Y2+Y3+Y4)
— Stat_prob_001

2
ओह, मुझे नहीं पता कि मैंने सोचा था कि यह सी में अनुमानक है। वास्तव में सबसे अच्छा अनुमानक है। मेरे उत्तर को संपादित करेगा(Y1+Y2+Y3+Y4)/4
— Zhanxiong

6

परिभाषाएँ लागू करें।

मैं यह प्रदर्शित करने के लिए विवरण प्रदान करूंगा कि आप प्राथमिक तकनीकों का उपयोग कैसे कर सकते हैं: आपको अनुमान के बारे में किसी विशेष प्रमेय को जानने की आवश्यकता नहीं है, न ही के (सीमान्त) वितरण के बारे में कुछ भी मान लेना आवश्यक होगा । हमें उनके संयुक्त वितरण के क्षणों के बारे में एक लापता धारणा की आपूर्ति करने की आवश्यकता होगी ।Yi

परिभाषाएं

सभी रेखीय अनुमान के रूप में हैं के लिए स्थिरांक ।

tλ(Y)=∑i=14λiYi
λ=(λi)

का एक अनुमानकर्ता निष्पक्ष है यदि और केवल इसकी अपेक्षा । अपेक्षा की रैखिकता द्वारा,θ1−θ3θ1−θ3

θ1−θ3=E[tλ(Y)]=∑i=14λiE[Yi]=λ1(θ1−θ3)+λ2(θ1+θ2−θ3)+λ3(θ1−θ3)+λ4(θ1−θ2−θ3)=(λ1+λ2+λ3+λ4)(θ1−θ3)+(λ2−λ4)θ2.

अज्ञात मात्राओं के गुणांक की तुलना में पता चलता है किθi

(1)λ2−λ4=0 and λ1+λ2+λ3+λ4=1.

रैखिक निष्पक्ष अनुमान के संदर्भ में, "सबसे अच्छा" हमेशा कम से कम विचरण के साथ होता है। का विचरण हैtλ

Var⁡(tλ)=∑i=14λi2Var⁡(Yi)+∑i≠j4λiλjCov⁡(Yi,Yj).

प्रगति करने का एकमात्र तरीका सहवास के बारे में एक धारणा जोड़ना है: सबसे अधिक संभावना है, सवाल यह है कि वे सभी शून्य हैं। (इसका मतलब यह नहीं है कि स्वतंत्र हैं। इसके अलावा, समस्या को उन धारणाओं को हल करके हल किया जा सकता है जो उन सहसंसाधनों को एक सामान्य गुणक स्थिरांक तक निर्धारित करती हैं। समाधान सहसंयोजक संरचना पर निर्भर करता है।)Yi

चूंकि हम प्राप्त करते हैंVar⁡(Yi)=σ2,

(2)Var⁡(tλ)=σ2(λ12+λ22+λ32+λ42).

इसलिए समस्या की कमी अधीन है ।(2)(1)

समाधान

बाधाओं हमें से सिर्फ दो रैखिक संयोजनों के संदर्भ में सभी व्यक्त करने की अनुमति देते हैं। चलो और (जो रैखिक स्वतंत्र हैं)। इनसे तय होता है और जबकि बाधाओं का निर्धारण और । हमें केवल न्यूनतम , जिसे लिखा जा सकता है(1)λiu=λ1−λ3v=λ1+λ3λ1λ3λ2λ4(2)

σ2(λ12+λ22+λ32+λ42)=σ24(2u2+(2v−1)2+1).

कोई अड़चन लागू नहीं होती है । मान लें कि (ताकि चर सिर्फ स्थिरांक न हों)। चूंकि और केवल सबसे छोटे हैं, जब , यह अब स्पष्ट है कि अद्वितीय समाधान है(u,v)σ2≠0u2(2v−1)2u=2v−1=0

λ=(λ1,λ2,λ3,λ4)=(1/4,1/4,1/4,1/4).

विकल्प (C) गलत है क्योंकि यह सर्वश्रेष्ठ निष्पक्ष रैखिक अनुमानक नहीं देता है। विकल्प (डी), हालांकि यह पूरी जानकारी नहीं देता है, फिर भी सही है, क्योंकि

θ2=E[t(0,1/2,0,−1/2)(Y)]

एक रैखिक अनुमानक की उम्मीद है।

यह देखना आसान है कि न तो (ए) और न ही (बी) सही हो सकते हैं, क्योंकि रैखिक अनुमानकर्ताओं की अपेक्षाओं का स्थान और कोई भी नहीं है या उस स्थान में हैं।θ 1 , θ 3 , θ 1 + θ 3{θ2,θ1−θ3}θ1,θ3,θ1+θ3

नतीजतन (डी) अद्वितीय सही उत्तर है।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.