אנטרופיה דיפרנציאלית

אנטרופיה דיפרנציאלית (המכונה גם אנטרופיה רציפה) היא מושג בתורת האינפורמציה שהגה קלוד שאנון בניסיון להרחיב את מושג האנטרופיה של משתנה מקרי בדיד להתפלגויות הסתברות רציפות. שאנון הניח, בטעות, כי האנטרופיה הדיפרנציאלית כפי שהגדיר אותה מהווה הרחבה טבעית רציפה של אנטרופיה בדידה להתפלגויות רציפות.^[1] האנטרופיה הדיפרנציאלית מופיעה לעיתים קרובות בספרות, למרות שהיא אינה מקיימת חלק מהתכונות של האנטרופיה המקורית של שאנון.^[1]

הגדרה עריכה

יהי <math>X</math> משתנה מקרי עם פונקציית צפיפות הסתברות <math>f</math> שהתומך שלה היא קבוצה <math>\mathcal X</math>. האנטרופיה הדיפרנציאלית <math>h(X)</math> אוֹ <math>h(f)</math> מוגדרת כך:^[2]

<math display="block">h(X) = \operatorname{E}[-\log (f(X))] = -\int_\mathcal{X} f(x)\log f(x)\,dx</math>

עבור התפלגויות הסתברות שלא ניתן לבטא באופן מפורש את פונקציית הצפיפות שלהן, אך ניתן לבטאן באמצעות פונקציית שברונים, <math>Q(p)</math>, ניתן להגדיר את <math>h(Q)</math> במונחים של הנגזרת של <math>Q(p)</math>, כלומר <math>Q'(p)</math>, על ידי^[3]

<math>h(Q) = \int_0^1 \log Q'(p)\,dp</math>.

כמו במקרה הבדיד, היחידות של האנטרופיה הדיפרנציאלית תלויות בבסיס הלוגריתם, שהוא בדרך כלל 2 (כלומר, היחידה היא ביט). מושגים כגון אנטרופיה משותפת, אנטרופיה מותנית ואנטרופיה יחסית מוגדרים למשתנים מקרי רציף בדומה להגדרתם למשתנה מקרי בדיד.

שלא כמו במקרה הבדיד, לאנטרופיה הדיפרנציאלית יש היסט, שתלוי ביחידה המשמשת למדידת המשתנה המקרי <math>X</math>.^[4] לדוגמה, האנטרופיה הדיפרנציאלית של משתנה מקרי שנמדדת במילימטרים תהיה גדולה פי log(1000) מאשר אם ערך המשתנה נמדד במטרים.

יש להיזהר בניסיון ליישם תכונות של אנטרופיה בדידה לאנטרופיה דיפרנציאלית, שכן פונקציות צפיפות הסתברות יכולות להיות גדולות מ-1. למשל, להתפלגות האחידה הרציפה <math>\mathcal{U}(0,1/2)</math> יש אנטרופיה דיפרנציאלית שלילית:

כלומר, פחות מהאנטרופיה הדיפרנציאלית של <math>\mathcal{U}(0,1)</math> שהיא אפס.

קיימים ניסוחים אחרים של האנטרופיה למשתנים רציפים שמקיימים את התכונות הבסיסיות של האנטרופיה של שאנון.^[1]

תכונות של אנטרופיה דיפרנציאלית עריכה

לצפיפות הסתברות <math>f</math> ו־<math>g</math>, דיברגנץ קולבק-לייבלר <math>D_{KL}(f \parallel g)</math> גדול או שווה ל-0 עם שוויון רק אם <math>f=g</math> כמעט בכל מקום. באותו אופן, עבור שני משתנים אקראיים <math>X</math> ו־<math>Y</math>, <math>h(X\mid Y) \le h(X)</math> עם שוויון אם ורק אם <math>X</math> ו־<math>Y</math> הם בלתי תלויים.
כלל השרשרת לאנטרופיה דיפרנציאלית מתקיים כמו במקרה הבדיד:^[2]

<math>h(X_1, \ldots, X_n) = \sum_{i=1}^n h(X_i\mid X_1, \ldots, X_{i-1}) \leq \sum_{i=1}^{n} h(X_i)</math>.

אנטרופיה דיפרנציאלית אינווריאנטית להוספה של ערך קבוע למשתנה המקרי, כלומר לכל קבוע ממשי <math>c</math>:^[2]

אנטרופיה דיפרנציאלית אינה אינווריאנטית לכפל של המשתנה המקרי בקבוע. בפרט, עבור קבוע ממשי <math>a</math> מתקיים:

בפרט עבור משתנה אקראי ווקטורי <math>\mathbf{X}</math> ומטריצה הפיכה <math>\mathbf{A}</math>^[2]:

<math>h(\mathbf{A}\mathbf{X})=h(\mathbf{X})+\log \left( |\det \mathbf{A}| \right)</math>

באופן כללי, עבור העתקה מווקטור מקרי לווקטור מקרי אחר בעלי אותו ממד <math>\mathbf{Y}=m \left(\mathbf{X}\right)</math>, האנטרופיות של <math>\mathbf{X}</math> ושל <math>\mathbf{Y}</math> קשורות זו לזו על ידי:

<math>h(\mathbf{Y}) \leq h(\mathbf{X}) + \int f(x) \log \left\vert \frac{\partial m}{\partial x} \right\vert \, dx</math>

כאשר <math>\left\vert \frac{\partial m}{\partial x} \right\vert</math> הוא היעקוביאן של ההעתקה <math>m</math>.^[5] אי-השוויון הנ"ל הופך לשוויון אם ההעתקה היא חד-חד ערכית ועל. יתר על כן, כאשר <math>m</math> היא העתקה של סיבוב קשיח, העתקה או הרכבה של השניים, הדטרמיננטה של היעקוביאן היא תמיד 1, ואז <math>h(Y)=h(X)</math>.

אם לווקטור מקרי <math>X \in \mathbb{R}^n</math> יש תוחלת אפס ומטריצת שונות משותפת <math>K</math> אזי:

<math>h(\mathbf{X}) \leq \frac{1}{2} \log(\det{2 \pi e K}) = \frac{1}{2} \log[(2\pi e)^n \det{K}]</math>

כאשר השוויון מתקיים אם ורק אם <math>X</math> הוא משתנה מקרי גאוסיאני רב ממדי.^[2]

עם זאת, לאנטרופיה דיפרנציאלית חסרות כמה תכונות רצויות:

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

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

מקסימום בהתפלגות הנורמלית עריכה

משפט עריכה

עבור שונות נתונה, האנטרופיה הדיפרנציאלית של ההתפלגות נורמלית היא מקסימלית. כלומר, למשתנה מקרי המתפלג נורמלית יש את האנטרופיה הגדולה ביותר מבין כל המשתנים האקראיים בעלי אותה שונות.^[2]

הוכחה עריכה

תהי <math>g(x)</math> פונקציית צפיפות של התפלגות נורמלית עם ממוצע μ ושונות <math>\sigma^2</math>, ותהי <math>f(x)</math>פונקציית צפיפות כלשהי עם אותה שונות. מכיוון שהאנטרופיה הדיפרנציאלית אינווריאנטית להוספה של קבוע למשתנה המקרי, ניתן להניח כי ל- <math>f(x)</math> ול- <math>g(x)</math> אותה תוחלת <math>\mu</math>.

דיברגנץ קולבק-לייבלר בין שתי התפלגויות מקיים:

<math> 0 \leq D_{KL}(f \parallel g) = \int_{-\infty}^\infty f(x) \log \left( \frac{f(x)}{g(x)} \right) \, dx = -h(f) - \int_{-\infty}^\infty f(x)\log(g(x)) \, dx</math>.

נשתמש בביטוי המפורש של <math>g(x)</math>:

<math>\begin{align}

\int_{-\infty}^\infty f(x)\log(g(x)) \, dx &= \int_{-\infty}^\infty f(x)\log\left( \frac{1}{\sqrt{2\pi\sigma^2}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}\right) \, dx \\
&= \int_{-\infty}^\infty f(x) \log\frac{1}{\sqrt{2\pi\sigma^2}} dx \,+\, \log(e)\int_{-\infty}^\infty f(x)\left( -\frac{(x-\mu)^2}{2\sigma^2}\right) \, dx \\
&= -\tfrac{1}{2}\log(2\pi\sigma^2) - \log(e)\frac{\sigma^2}{2\sigma^2} \\
&= -\tfrac{1}{2}\left(\log(2\pi\sigma^2) + \log(e)\right) \\
&= -\tfrac{1}{2}\log(2\pi e \sigma^2) \\
&= -h(g)

\end{align}</math>

מכיוון שהתוצאה תלויה אך ורק בשונות של <math>f(x)</math>. משילוב שתי התוצאות ניתן להסיק:

ועל סמך התכונות של דיברגנץ קולבק-לייבלר שיויון יתקיים רק כאשר <math>f(x)=g(x)</math>.

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

יהי <math>X</math> משתנה מקרי המתפלג מעריכית עם פרמטר <math>\lambda</math>, כלומר, עם פונקציית צפיפות הסתברות:

<math>f(x) = \left\{\begin{matrix} \lambda e^{-\lambda x} &\; x \ge 0 \\ 0 &\; x < 0 \end{matrix}\right.</math>

היות שהתומך של ההתפלגות כולל ערכים אי שליליים בלבד, האנטרופיה הדיפרנציאלית היא:

<math>\begin{align}

h_e(X) & = -\int_0^\infty \lambda e^{-\lambda x} \log (\lambda e^{-\lambda x})\,dx \\ & = -\left(\int_0^\infty (\log \lambda)\lambda e^{-\lambda x}\,dx + \int_0^\infty (-\lambda x) \lambda e^{-\lambda x}\,dx\right)\\ & = -\log \lambda \int_0^\infty f(x)\,dx + \lambda E[X] \\ & = -\log\lambda + 1 \\ \end{align}</math>

כדי לפשט את החישוב נעשה שימוש בלוגריתם טבעי (בסיס <math>e</math>), ובהתאמה סומנה האנטרופיה הדיפרנציאלית כ-<math>h_e(X)</math>.

קישורים חיצוניים עריכה

אנטרופיה דיפרנציאלית, באתר MathWorld (באנגלית)

הערות שוליים עריכה

^ ¹ ² ³ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).
^ ¹ ² ³ ⁴ ⁵ ⁶ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).
^ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).
^ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).
^ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[:0-1] ¹ ² ³ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[cover_thomas-2] ¹ ² ³ ⁴ ⁵ ⁶ שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[3] שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[gibbs-4] שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[5] שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).

[1]

[2]

[3]

[4]

[5]