מודל לוג-ליניארי

מודל לוג ליניארי משמש בסטטיסטיקה לבחינת מבנה הקשר בין מספר משתנים איכותיים. המודל הוצג לראשונה בשנות ה-60 של המאה העשרים על ידי איבון בישופ.

מוטיבציה ומודל ללוח שכיחות דו־ממדי

יהיו $X$ ו- $Y$ שני משתנים מקריים איכותיים כאשר ללא הגבלת הכלליות המשתנה $X$ יכול לקבל את הערכים $1, 2, . . ., I$ והמשתנה $Y$ יכול לקבל את הערכים $1, 2, . . ., J$ .

נתבונן במדגם בגודל $n$ מתוך אוכלוסייה כלשהי, ונסמן ב- $n_{i j}$ את מספר הפרטים במדגם עבורם $X = i$ ו- $Y = j$ . נאמר כי $n_{i j}$ היא השכיחות של התצפיות במדגם עבורן $X = i$ ו- $Y = j$ . הטבלה שבה יש $I$ שורות ו- $J$ עמודות, ובהצטלבות השורה ה- $i$ והעמודה ה- $j$ נמצא המספר $n_{i j}$ נקראת לוח השכיחות של המשתנים $X$ ו- $Y$ . מכיוון שלטבלה יש שני ממדים (אורך ורוחב) לוח השכיחות הוא דו-ממדי. לוח השכיחות הוא למעשה הנתונים שיש לנתח.

כן נסמן ב- $n_{i .}$ את מספר הפרטים במדגם עבורם $X = i$ , וב- $n_{. j}$ נסמן את מספר הפרטים במדגם עבורם $Y = j$ .

אם אין לנו שום ידיעה על ההתפלגות המשותפת של $X$ ושל - $Y$ , אז $m_{i j}$ , תוחלת מספר הפרטים במדגם שעבורם $X = 1$ ו- $Y = 2$ היא $m_{i j} = n \cdot P (x = i, Y = j)$ .

אם לעומת זאת נניח כי $X$ ו- $Y$ הם משתנים מקריים בלתי תלויים, אז $P (X = i, Y = j) = P (X = i) \cdot P (Y = j)$ לכל $i$ ולכל $j$ , ולכן $m_{i j} = n \cdot P (X = i) \cdot P (Y = j)$ .

אמדים להסתברויות אלה הם $\hat{P} (X = i) = \frac{n_{i .}}{n}$ ו- $\hat{P} (Y = j) = \frac{n_{. j}}{n}$ , ולכן, תחת הנחת אי התלות: ${\hat{m}}_{i j} = n \cdot \hat{P} (X = i) \cdot \hat{P} (Y = j) = n \cdot \frac{n_{i .}}{n} \cdot \frac{n_{. j}}{n} = \frac{n_{i .} \cdot n_{. j}}{n}$

על ידי הפעלת פונקציית הלוגריתם נקבל כי $\log {\hat{m}}_{i j} = \log n_{i .} + \log n_{. j} - \log n$ .

באגף ימין יש שלושה מחוברים, אחד מהם תלוי ב- $X$ וב- $i$ , השני תלוי ב- $Y$ וב- $j$ , והשלישי אינו תלוי במשתנים או בערכים אלא רק בגודל המדגם.

לכן, מודל מתקבל על הדעת עבור אי התלות בין $X$ ו- $Y$ (בהנחה כי היא מתקיימת) הוא: $\log m_{i j} = λ + λ_{i}^{X} + λ_{j}^{Y}$ לכל $i$ ולכל $j$ .

אם לעומת זאת המשתנים אינם בלתי תלויים אז השוויון האחרון אינו נכון, והמודל המתאים הוא $\log m_{i j} = λ + λ_{i}^{X} + λ_{j}^{Y} + λ_{i j}^{X Y}$ כאשר $λ_{i j}^{X Y} \neq 0$ לפחות עבור זוג $i j$ אחד. מודל זה מכונה "המודל הרווי", מכיוון שהוא תמיד מתאים לנתונים התאמה מלאה. הביטוי $λ_{i j}^{X Y}$ מבטא את האינטראקציה (יחסי הגומלין) בין $X$ ו- $Y$ .

מכאן ש- $X$ ו- $Y$ הם בלתי תלויים אם ורק אם $λ_{i j}^{X Y} = 0$ לכל $i$ ולכל $j$ .

אמידת הפרמטרים וטיב ההתאמה

קל לראות כי כפי שהמודל הרווי הוגדר עבור לוח השכיחות הדו־ממדי, מספר הפרמטרים $λ$ גדול באופן משמעותי ממספר הנתונים. יתרה מזו, הערכים הנאמדים של $λ$ אינם יכולים לקבל כל ערך אפשרי מכיוון שניתן לבטא בעזרתם את ההסתברויות $P (X = i, Y = j)$ והסתברויות אלה חייבות להסתכם ל-1. גם ההסתברויות $P (X = i)$ חייבות להסתכם ל-1 וכן ההסתברויות $P (Y = j)$ .

לכן יש להשית אילוצים מתאימים על הערכים של ה- $λ$ -ות.

מערכת אילוצים אפשרית עבור מודל אי תלות ללוח שכיחות דו־ממדי היא: $\sum_{i} λ_{i}^{X} = 0$ ו- $\sum_{j} λ_{j}^{Y} = 0$ . אילוצים אלה הם אנלוגיים לאילוצים $\sum_{i} P (X = i) = 1$ ו- $\sum_{j} P (Y = j) = 1$ . בהינתן אילוצים אלו, למודל יש $(I - 1) (J - 1)$ דרגות חופש.

כדי לאמוד את הפרמטרים של המודל הרווי יש צורף באילוצים נוספים: $\sum_{i} λ_{i j}^{X Y} = 0$ לכל $j$ ו- $\sum_{j} λ_{i j}^{X Y} = 0$ לכל $i$ . בהינתן אילוצים אלה, למודל הרווי יש 0 דרגות חופש. מאילוצים אלה נובע כי השערת אי התלות בין המשתנים ניתנת לניסוח כ- $H_{0} : λ_{11}^{X Y} = 0$ .

אמידת הפרמטרים נעשית בשיטת הנראות המרבית^[1]. לאחר מכן ניתן לבחון את טיב ההתאמה של המודל לנתונים בעזרת מבחן חי בריבוע.

בתוכנת R ניתן לאמוד את הפרמטרים של המודלים הלוג ליניאריים בעזרת הפונקציה loglin הזמינה בחבילת הבסיס של התוכנה.

מודלים ללוח שכיחות תלת־ממדי

באופן דומה להגדרת לוח השכיחות הדו־ממדי, נוכל להגדיר את לוח השכיחות התלת־ממדי על ידי האוסף $n_{i j k}$ , כאשר זהו מספר התצפיות במדגם עבורן $Z = k$ $Y = j$ , $X = i$ , וכאשר $X, Y, Z$ הם משתנים מקריים המקבלים $I, J, K$ ערכים בהתאמה.

המודל הרווי ללוח שכיחות תלת־ממדי הוא:

$\begin{aligned} \log m_{i j k} & = λ + \\ λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z} + \\ λ_{i j}^{X Y} + λ_{i k}^{X Z} + λ_{j k}^{Y Z} + \\ λ_{i j k}^{X Y Z} \end{aligned}$

ניתן לגזור מודלים שונים עבור ההתפלגות המשותפת של $Y$ , $X$ ו- $Z$ על ידי איפוס גורמי אינטראקציה.

מודל אי תלות

מודל אי תלות מתקבל על ידי איפוס כל האינטראקציות:

$\log m_{i j k} = λ + λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z}$

מודל אי תלות בין Y ו-Z בהינתן X

מודל זה מתקבל על ידי איפוס האינטראקציה מסדר 3 $λ_{i j k}^{X Y Z}$ , וכן על ידי איפוס $λ_{j k}^{Y Z}$ , האינטראקציה בין $Y$ ו- $Z$ .

המודל הוא

$\begin{aligned} \log m_{i j k} & = λ + \\ λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z} + \\ λ_{i j}^{X Y} + λ_{i k}^{X Z} \end{aligned}$

מודל בו X בלתי תלוי ב-(Y,Z)

מודל זה מתקבל על ידי איפוס האינטראקציה מסדר 3 $λ_{i j k}^{X Y Z}$ , וכן על ידי איפוס האינטראקציה בין $X$ ל- $Y$ - $λ_{i j}^{X Y}$ והאינטראקציה בין $X$ ל- $Z$ - $λ_{i k}^{X Z}$ .

המודל הוא

$\begin{aligned} \log m_{i j k} & = λ + \\ λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z} + \\ λ_{j k}^{Y Z} \end{aligned}$

אי תלות בזוגות

על פי מודל זה $X$ ו- $Y$ בלתי תלויים, $X$ ו- $Z$ בלתי תלויים, וגם $Y$ ו- $Z$ בלתי תלויים, אבל $Y$ , $X$ ו- $Z$ יחדיו אינם בלתי תלויים.

מודל זה מתקבל על ידי איפוס האינטראקציות מסדר 2 אך מותיר את האינטראקציה מסדר 3. המודל הוא

$\begin{aligned} \log m_{i j k} & = λ + \\ λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z} + \\ λ_{i j k}^{X Y Z} \end{aligned}$

מודל עם כל האינטראקציות מסדר 2

מודל זה מתקבל על ידי איפוס האינטראקציה מסדר 3. למודל אין אינטרפרטציה הסתברותית ברורה. המודל הוא

$\begin{aligned} \log m_{i j k} & = λ + \\ λ_{i}^{X} + λ_{j}^{Y} + λ_{k}^{Z} + \\ λ_{i j}^{X Y} + λ_{i k}^{X Z} + λ_{j k}^{Y Z} \end{aligned}$

הקשר בין המודל הלוג ליניארי ומודל הרגרסיה הלוגיסטית

קיימת חפיפה בין המודל הלוג ליניארי ומודל הרגרסיה הלוגיסטית במובן שבמקרים מסוימים שני המודלים שקולים. נדגים זאת בעזרת לוח שכיחות דו־ממדי מסדר $2 \times J$ , כלומר המשתנה $X$ מקבל שני ערכים והמשתנה $Y$ מקבל $J$ ערכים.

בהנחה כי $X$ ו- $Y$ בלתי תלויים, מתקיים כי $P (X = i | Y = j) = P (X = i)$ לכל $i$ ולכל $j$ , ובפרט יחס הסיכויים של $X$ בהינתן $Y$ הוא קבוע, כלומר $\log \frac{P (X = 2 | Y = j)}{P (X = 1 | Y = j)} = β_{0}$ .

על פי המודל הלוג ליניארי לאי תלות:

$\begin{aligned} \log \frac{P (X = 2 | Y = j)}{P (X = 1 | Y = j)} & = \log \frac{P (X = 2, Y = j)}{P (X = 1, Y = j)} \\ = \log \frac{p_{2 j}}{p_{1 j}} \\ = \log \frac{m_{2 j}}{m_{1 j}} \\ = \log m_{2 j} - \log m_{1 j} \\ = (λ + λ_{2}^{X} + λ_{j}^{Y}) - (λ + λ_{1}^{X} + λ_{j}^{Y}) \\ = λ_{2}^{X} - λ_{1}^{X} \end{aligned}$

ואכן, קיבלנו כי לוג יחס הסיכויים אינו תלוי ב- $Y$ . יתרה מזאת, מצאנו כי ניתן לבטא את פרמטר הרגרסיה הלוגיסטית $β_{0}$ בעזרת הפרמטרים של המודל הלוג ליניארי: $β_{0} = λ_{2}^{X} - λ_{1}^{X}$ .

כאשר $X$ ו- $Y$ אינם בלתי תלויים, מודל הרגרסיה הלוגיסטית הוא $l o g \frac{P (X = 2 | Y)}{P (X = 1 | Y)} = β_{0} + β_{1} Y$ כלומר לוג יחס הסיכויים תלוי ב- $Y$ .

באופן דומה לפיתוח שנעשה עבור מודל אי התלות, נוכל למצוא כי עבור המודל הרווי:

$\log \frac{P (X = 2 | Y = j)}{P (X = 1 | Y = j)} = (λ_{2}^{X} - λ_{1}^{X}) + (λ_{2 j}^{X Y} - λ_{1 j}^{X Y})$

כלומר לוג יחס הסיכויים הוא סכום של שני מחוברים, אחד מהם אינו תלוי ב- $Y$ והשני תלוי ב- $Y$ .

לקריאה נוספת

בתהליכי בנייה "תבנית:Cite book"

בתהליכי בנייה "תבנית:Cite book"

בתהליכי בנייה "תבנית:Cite book"

הערות שוליים

^ Stephen E. Fienberg and Alessandro Rinaldo, Maximum likelihood estimation in log-linear models, Annals of Statistics, 2 40, Institute of Mathematical Statistics, 2012, עמ' 996-1023 doi: 10.1214/12-AOS986

[1] Stephen E. Fienberg and Alessandro Rinaldo, Maximum likelihood estimation in log-linear models, Annals of Statistics, 2 40, Institute of Mathematical Statistics, 2012, עמ' 996-1023 doi: 10.1214/12-AOS986

[1]