1.3.16 · D1 · AI-ML › Probability & Statistics › Maximum likelihood estimation (MLE)
Maximum Likelihood Estimation ek aisi machine hai jo data jo tumne pehle dekha leta hai aur wapas karta hai dial settings (parameters) — jo settings uss data ko dekhna sabse kam surprising banate. Parent page par jo bhi hai — products, logs, derivatives zero karna — sab kuch uss ek sentence ko number mein badalne ka toolbox hai.
Maximum likelihood estimation (MLE) ko aaram se padhne se pehle, tumhe page ke har squiggle ko dekh kar ek seedha sentence sunna aana chahiye. Yeh note har squiggle ko zero se banata hai, uss order mein jis order mein woh ek doosre par depend karte hain. Kisi bhi symbol ko bina samjhe mat maano — agar neeche koi symbol mile jo abhi tak define nahi hua, toh yeh ek bug hai; mujhe batao.
Definition Ek akela observation
x i ek number hai jo tumne measure kiya . Neeche ka chota i sirf ek name tag hai — x 1 pehla measurement hai, x 2 doosra, aur aage aise hi. Letter x kuch "karta" nahi; yeh number line par ek labelled dot hai.
Picture: ek horizontal number line par baithe dots; har dot ek tag x 1 , x 2 , … liye hue hai aur sab ke aas-paas kheechi ek dashed box poora dataset hai.
Figure 1 — Ek horizontal value-axis par chhe orange dots, tagged x 1 se lekar x 6 tak; ek plum dashed rectangle unhe gherta hai aur labelled hai X = { x 1 , … , x n } , n = 6 . Agar image nahi dikhi: socho ek ruler jis par chhe beads hain, ek loop se "X " mark karke bandhe hue.
Yeh topic ko kyun chahiye: MLE data explain karne ka method hai. Data sirf inhi dots ka bag hai, toh yeh woh atom hai jis se sab kuch banta hai.
Definition Sabhi observations ka bag
X (capital) har measurement ka collection hai ek saath. Curly braces { } ka matlab hai "ek set — cheezein rakhne ka bag". … ka matlab hai "obvious pattern mein aage badhte raho". n kitne measurements hain (count).
Toh agar tumne 10 baar coin flip kiya, n = 10 aur X mein sab 10 results hain.
Picture: Figure 1 ki dashed box — box X hai, andar dots ki ginti n hai.
Yeh topic ko kyun chahiye: MLE kisi guess ko score karta hai is baat se ki woh poore bag X ko kitna achha explain karta hai, sirf ek dot ko nahi. Count n baad mein un factors ki ginti ban jaata hai jinhein hum multiply karte hain aur un terms ki bhi jo hum add karte hain.
Definition Independent and Identically Distributed
Identically distributed = har dot ek hi random machine se aaya (same distribution). Independent = ek dot ki value doosre ke baare mein kuch nahi batati.
Intuition "Independent" magic word kyun hai
Agar do events ek doosre par asar nahi dalte, toh dono hone ki chance ek ki chance times doosre ki chance hai. Ek die roll karo aur coin flip karo: "6 aur heads" ki chance = 6 1 × 2 1 . Yeh ek fact — independent matlab multiply — woh wajah hai jis se likelihood ek product hoti hai.
Picture: do dials jo touch nahi karte, dono dots nikaalte hain — unke beech koi wire nahi.
Yeh topic ko kyun chahiye: i.i.d. ke bina poore dataset ki joint probability ek ulajha hua mess hoti. i.i.d. humein ise ek saaf product ke roop mein likhne deta hai (Section 8).
Yahan do bilkul naye symbols rehte hain: p ( ⋅ ) aur θ . Inhe ek ek karke lo.
∣
p ( x ∣ θ ) ko padho "probability (ya density) of x given that setting θ hai." Bar ∣ ka matlab hai "given" ya "assuming" — iske daayein jo bhi hai use abhi ke liye jaana hua aur fixed maana jaata hai.
θ (theta) — dial
θ Greek letter "theta" hai. Yahan yeh parameter(s) ke liye hai — tumhari random machine ki dial settings . Ek coin ke liye yeh p = heads ki chance hai. Bell curve ke liye (dekho Gaussian Distribution ) yeh pair (center μ , spread σ 2 ) hai — toh θ ek akela number ya kaafi numbers ek saath ho sakta hai. Woh "kaafi numbers" wala case hum Section 9 mein dhyan se dekhenge.
p ( ⋅ ) — probability machine
p ( x ∣ θ ) ka jawab hai: "dial θ par set karne ke baad, value x kitni likely hai?" Bada output = yeh value expected hai; tiny output = yeh value ek surprise hai.
Picture: ek bell curve jiska shape/position dial θ control karta hai; point x ke upar curve ki height p ( x ∣ θ ) hai — machine uss value ke liye kitni strongly "vote" karta hai.
Figure 2 — Ek teal bell curve labelled p ( x ∣ θ ) . Ek vertical orange dashed line axis ke ek point x se upar curve tak jaati hai; jahan woh curve se milti hai woh dot annotated hai "height = is dial ki is x ke liye kitni strongly vote". Ek plum note summit ke paas kehta hai "θ sets the shape/position". Agar image nahi dikhi: ek pahaad socho; data point ke bilkul upar pahaad jitna ooncha hoga, woh dial uss point ke liye utna khush hoga.
Yeh topic ko kyun chahiye: Yeh height MLE ki currency hai. Ek achha dial setting curve ko ek dum tall banata hai jahaan tumhare data dots gire.
p ( x ∣ θ ) , p ( θ ∣ x ) NAHI hai
Bar ke aas-paas order bahut zyada matter karta hai. p ( x ∣ θ ) = "dial diya hua ho toh yeh data kitna likely hai." p ( θ ∣ x ) = "data diya hua ho toh yeh dial kitna likely hai" — woh flip Bayesian Estimation hai, ek alag (aur jaayaz) philosophy. MLE jaanboojh kar pehla use karta hai.
Intuition MLE define karne wala mental flip
Bilkul same formula p ( x ∣ θ ) ko do tarah se padha ja sakta hai:
Data-eyes: dial θ fix karo, pucho "kaun se x values likely hain?" → yeh ek probability hai.
Detective-eyes: data x fix karo (tumne ise dekh liya hai!), aur dial θ ko hilaao , pucho "kaun sa dial mere dekhe hue data ko likely dikhata hai?" → yeh likelihood hai.
Algebra mein kuch nahi badalta. Jo badalta hai woh hai kaun sa letter tumhara variable hai. Likelihood mein, θ woh knob hai jo tum ghumaate ho aur x pakka hua hai.
Yeh topic ko kyun chahiye: Yeh the conceptual heart hai. MLE = dial tab tak ghoomao jab tak dekha hua data sabse zyada score na kare.
∏ (capital Pi) = "sab ko multiply karo"
∏ i = 1 n a i ka matlab hai: i = 1 se shuru karo, i = n tak jao, aur har a i ko ek saath multiply karo.
∏ i = 1 n a i = a 1 × a 2 × ⋯ × a n
Yeh zyada jaane-maane sum sign ∑ ka multiply-cousin hai (jo add karta hai multiply karne ki jagah).
Picture: boxes ki ek chain × signs se judi hui.
Yeh topic ko kyun chahiye: Section 3 ne kaha independent ⇒ multiply. n independent dots ke saath, joint probability n heights multiply karna hai — exactly ek ∏ .
log ka matlab hai natural logarithm ln (base e )
Statistics aur ML mein, ek simple "log " ka matlab almost hamesha natural logarithm hota hai — base e ≈ 2.718 , often ln likha jaata hai. Yeh note log = ln har jagah use karta hai. Base e kyun aur base 10 kyun nahi? Kyunki uss ek derivative identity ki wajah se jis par MLE jeeta hai:
d x d log x = x 1 ( clean, koi extra constant nahi — sirf base e ke liye sach ) .
Base 10 ke saath har derivative par ek ugly factor l n 10 1 aa jaata. Toh hum e choose karte hain calculus saaf rakhne ke liye. Logarithm khud jawaab deta hai: "base ko kis power tak raise karna hoga is number ko paane ke liye?" Uske do algebra superpowers:
log ( a × b ) = log a + log b log ( a k ) = k log a
Pehla ek product ko sum mein badal deta hai — yahi poori wajah hai log aane ki: yeh messy ∏ ko friendly ∑ mein convert karta hai.
Intuition Products ko sums mein badalna worth it kyun hai
Do faayde, dono parent page par use hote hain:
Calculus aasaan hai. Ek bade product ko differentiate karne mein n baar product rule chahiye; ek sum ko differentiate karna term-by-term hota hai.
Computers underflow nahi karte. 0. 5 1000 ≈ 1 0 − 301 computer par 0 ho jaata hai (underflow ). Uska log, 1000 log 0.5 ≈ − 693 , ek perfectly ordinary number hai.
log lene se best dial shift ho jaata hai?
Nahi — aur yahi key licence hai. log monotonically increasing hai (hamesha chadhta hai): agar curve A curve B se har jagah oonchi hai, toh unke logs bhi aise hi hain. Toh jo θ likelihood ko biggest banata hai wahi log-likelihood ko bhi biggest banata hai. Peak ki location kabhi nahi hilti; sirf height numbers friendlier ho jaate hain.
Figure 3 — Same dial-axis θ par do curves: ek teal "likelihood (scaled)" aur ek plum "log-likelihood (scaled)". Dono same orange dashed vertical line par peak karte hain marked θ = 0.7 . Agar image nahi dikhi: do alag-alag shaped pahaadiyan jinki summits zameen par bilkul same spot par khadi hain.
Ab har piece define ho chuka hai, toh parent formula sirf Lego hai:
ℓ se miliye — "script ell" (log-likelihood)
Agla symbol ℓ hai, ek curly handwritten lowercase "L" jise "script ell" kehte hain. ⚠️ Yeh digit 1 nahi hai aur plain letter l bhi nahi — iske ek chhota loop hai, jaise cursive L. Jab bhi ℓ ( θ ∣ X ) dikhe, padho "log-likelihood of θ ." log L jaisa hi object hai, sirf ek chhota nickname.
ℓ ( θ ∣ X ) = log L ( θ ∣ X ) = ∑ i = 1 n log p ( x i ∣ θ )
arg max — "woh input jo use max karta hai"
arg θ max f ( θ ) f ki sabse badi value nahi deta. Yeh woh θ deta hai jahaan f sabse badi hai — top ki location , height nahi. MLE mein woh location hi woh answer hai jo humein chahiye: best dial.
d θ d ℓ — slope (ek dial)
Jab θ ek single number ho, derivative ek point par log-likelihood curve ki steepness hai. Yeh jawaab deta hai "agar main dial ko thoda sa hilaoon, toh score upar jaayega ya neeche, aur kitni tezi se?"
Intuition "Slope zero karo" kyun
Curve par chalo. Upar jaate waqt slope positive hai; neeche jaate waqt negative. Bilkul top par slope exactly flat — zero hota hai. Toh peak wahaan chhupa hai jahaan d θ d ℓ = 0 . Yahi ek equation parent page ka baar baar kiya jaane wala move hai.
Figure 4 — Ek teal log-likelihood hill ℓ ( θ ) . Ek orange flat bar summit par baiTha hai (slope = 0); baayein ek plum uphill tangent marked "slope > 0" aur daayein ek plum downhill tangent "slope < 0". Agar image nahi dikhi: ek pahaad jahan tangent stick upar jaate waqt upar jhukti hai, neeche jaate waqt neeche, aur bilkul top par perfectly flat leti hai.
θ kaafi numbers ho: gradient aur Hessian
Real MLE problems (jaise Gaussian ka μ aur σ 2 , ya logistic regression ke saare weights) mein ek vector θ = ( θ 1 , … , θ k ) hota hai. Tab:
Single slope gradient ∇ ℓ ban jaata hai — partial slopes ki list , har dial ke liye ek: ∇ ℓ = ( ∂ θ 1 ∂ ℓ , … , ∂ θ k ∂ ℓ ) . Peak condition ab hai "har partial slope zero hai," yaani ∇ ℓ = 0 .
"Kya yeh neeche curve karta hai?" check Hessian H ban jaata hai — sab second partials ki table. Ek genuine peak ke liye H ko negative definite hona chahiye (har direction mein neeche curve karta ho, sirf axes ke saath nahi). Yeh second-derivative machinery exactly wahi hai jis par Fisher Information aur Cramér-Rao Bound bane hain.
Common mistake Flat slope ≠ pakka top
Zero slope valley ke bottom par aur flat shelves par bhi hota hai. Isliye parent page second derivative d θ 2 d 2 ℓ < 0 check karta hai (neeche curve karna ⇒ sach mein peak). Vector case mein, uski jagah "H negative definite" rakhein.
boundary par ho sakti hai, jahaan "slope = 0" kabhi fire nahi karta
Setting d θ d ℓ = 0 sirf allowed range ke interior mein peaks dhundti hai. Lekin parameters ke edges hote hain: ek Bernoulli p , [ 0 , 1 ] mein rehta hai, ek variance σ 2 , ( 0 , ∞ ) mein.
Concrete failure: coin 3 baar flip karo aur 3 heads pao. Tab ℓ ( p ) = 3 log p , jiska slope p 3 kabhi bhi zero nahi hota — sirf chadhta rehta hai. Sach mein maximum edge p = 1 par hai, jo koi "derivative = 0" step kabhi nahi deta. Hamesha boundaries p = 0 aur p = 1 bhi check karo.
Definition Regularity conditions — woh fine print jo recipe ko kaam karne deta hai
"Differentiate karo, zero karo, solve karo, unique answer" ki saaf story ko kuch background promises chahiye, jinhe regularity conditions kehte hain:
log p ( x ∣ θ ) , θ mein smooth hai (differentiable), toh slope exist karta hai aur hum "log " aur "d θ d " ka order swap kar sakte hain.
Sach mein peak interior mein hai, boundary par nahi (upar wali warning dekho).
ℓ concave hai (ek hill, pahaadi range nahi) — yahi guarantee karta hai ki interior critical point unique global maximum hai. Bernoulli aur Gaussian dono yeh satisfy karte hain; wilder models mein kaafi bumps ho sakte hain aur extra care chahiye.
Distribution p of x given theta
Likelihood viewpoint flip
Natural log turns product into sum
Slope or gradient equals zero
Interior peak check plus boundaries
Upar se neeche padho: dots ek dataset bante hain, i.i.d. humein heights ko likelihood mein multiply karne deta hai, natural log use sum mein tidy karta hai, flat-slope (ya zero-gradient) condition aur boundary check uski peak dhundti hai, aur arg max θ ^ MLE wapas deta hai.
θ hat kyun pehnata hai
Plain θ ka matlab hai duniya ki sach mein, unknown dial setting. Hatted θ ^ ka matlab hai ek estimate — data se compute ki gayi humari best guess . Chhotaa "MLE" subscript kehta hai kaun si recipe ne guess produce ki. Hat ek humility badge hai: "yeh mera estimate hai, sach nahi."
Yeh topic ko kyun chahiye: Truth (θ ) aur guess (θ ^ ) ko visually alag rakhna exactly wahi cheez hai jo baad mein honest sawaal poochne deta hai jaise "kya hamara guess biased hai?" (Bias-Variance Tradeoff ) ya "kitna jumpy hai?" (Fisher Information , Cramér-Rao Bound ).
Jab yeh atoms solid ho jaayein, parent page aur uske neighbours inhe reuse karte hain: Method of Moments same "dial dhundho" goal ke liye ek alternative recipe hai; EM Algorithm MLE tab chalaata hai jab kuch data hidden ho; Loss Functions in ML dikhata hai ki loss minimize karna often likelihood maximize karna hi hai chhupe roop mein; aur Likelihood Ratio Test do dial-settings ko wahi L ( θ ∣ X ) use karke compare karta hai jo §8 mein bana. Hindi prefer karte ho? Dekho the Hinglish version .
Cover the right-hand side and see if you can say each aloud.
x i kya represent karta hai, aur subscript i kya karta hai?Ek measured number; i sirf uska name tag hai (1st, 2nd, …).
X = { x 1 , … , x n } mein curly braces ka kya matlab hai, aur n kya hai?Ek set/bag sabhi measurements ka; n count karta hai kitne hain.
"i.i.d." ke andar DO promises kya hain? Independent (values ek doosre par asar nahi dalti) aur identically distributed (same source machine).
Independence humein probabilities multiply kyun karne deta hai? Independent events ke liye, P(dono) = P(ek) × P(doosra).
p ( x ∣ θ ) ko zyaaz se kaise padho?"Probability/density of x , given dial setting θ ."
θ physically kya hai, aur kya yeh ek se zyada number ho sakta hai?Parameter(s) — dial settings; haan, yeh ek vector ho sakta hai (jaise μ aur σ 2 ).
p ( x ∣ θ ) aur p ( θ ∣ x ) mein kya fark hai?Pehla = dial diya ho toh data ki likelihood (MLE); doosra = data diya ho toh dial ki probability (Bayesian).
Probability ko likelihood mein badalne wala "flip" kya hai? Dekhe hue data ko fix karo, θ ko woh variable maano jise tum hilaate ho.
∏ i = 1 n tumhe kya karne kehta hai?i = 1 se n tak sabhi terms multiply karo.
∑ i = 1 n tumhe kya karne kehta hai?i = 1 se n tak sabhi terms add karo.
MLE mein "log " ka matlab kaun sa base hai, aur kyun? Natural log (base e ), kyunki d x d log x = x 1 bina kisi extra constant ke.
Kaun si log identity likelihood product ko sum mein badal deti hai? log ( ab ) = log a + log b .
Log lena allowed kyun hai bina answer badlaaye? log monotonically increasing hai, toh peak ki location (best θ ) unchanged rehti hai.
Symbol ℓ kya hai aur ise kisse confuse nahi karna chahiye? Script-ell = log-likelihood; digit 1 ya plain letter l se nahi.
arg max θ f ( θ ) kya return karta hai — ek value ya ek location?Location (woh θ jo f ko maximize karta hai), max value nahi.
Jab θ ek vector ho toh single slope ki jagah kya aata hai? Gradient ∇ ℓ (sab partial slopes); peak ke liye ∇ ℓ = 0 chahiye.
Vector case mein "second derivative negative" ki jagah kya aata hai? Hessian negative definite hona (har direction mein neeche curve karta ho).
Zero slope akele maximum hone ke liye enough kyun nahi hai? Valleys/shelves bhi flat hote hain; saath hi sach mein peak boundary par bhi ho sakti hai.
Ek example do jahaan "slope = 0" MLE dhundhne mein fail ho jaata hai. 3 flips mein 3 heads → ℓ = 3 log p edge p = 1 tak chadhta hai; koi zero-slope point nahi.
Do regularity conditions batao jo clean recipe assume karti hai. θ mein log p ka smooth hona, aur ek interior (boundary nahi) concave peak.
θ ^ MLE mein hat kya signify karta hai?Yeh data se ek estimate hai, sach wala unknown θ nahi.