הצגת המקור של הדף "הקיטוב של הריק"

ב[[תורת השדות הקוונטית]], ובפרט ב[[אלקטרודינמיקה קוונטית]], ה'''קיטוב של הריק''' (vacuum polarization) היא תופעה הנוצרת מכך שהריק הקוונטי איננו ריק, אלא מכיל אוסף של [[חלקיק יסודי|חלקיקים]] ו[[אנטי-חלקיק]]ים [[חלקיק וירטואלי|וירטואליים]] בעלי מטענים הפוכים; כאשר אין שדה חיצוני שמתקשר אל החלקיקים, לקיום הזוגות האלה אין משמעות בפועל, אולם כאשר קיים שדה חיצוני אליו החלקיקים מתקשרים, הקשר של החלקיקים והאנטי-חלקיקים לשדה הזה הוא הפוך, כך שאם החלקיקים ״נמשכים״ לשדה, האנטי חלקיקים ״נדחים״ ממנו. בכך נוצר מצב שבו פיזור המטענים של הזוגות אינו אחיד, והם משפיעים על השדה שמתקשר אליהם. תופעה זו היא הקיטוב של הריק.
[[קובץ:Vacuum polarization2.png|ממוזער|הדגמה של הקיטוב של הריק על מדידת מטען האלקטרון. האלקטרון שבמרכז יוצר שדה אלקטרומגנטי שמקטב את הזוגות של החלקיקים הווירטואליים שנוצרים בריק. בגלל המיסוך שמבצעים הזוגות הווירטואליים, פוטון 1 שעובר קרוב לאלקטרון ימדוד מטען גבוה יותר מפוטון 2 שעובר רחוק מהאלקטרון.]]
הקיטוב מושפעת רק מה[[רנורמליזציה]] של שדה הכיול של נושאי הכוח, ולכן התופעה נקראת גם האנרגיה העצמית (self-energy) של בוזון הכיול, או במקרה של אלקטרודינמיקה קוונטית, האנרגיה-העצמית של ה[[פוטון]].

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

== היסטוריה ==
ב-1929 הציג [[פול דיראק|דיראק]] את ה[[משוואת דיראק|משוואה הקוונטית]] המתארת את תנועת ה[[אלקטרון]]. אחת התוצאות של משוואת דיראק היא קיומם של אינסוף רמות אנרגיה שליליות בהם יכולים להיות אלקטרונים. דיראק הסביר את קיומם של רמות אלה בכך שהן כולן מאוכלסות, אבל אי אפשר למדוד את האלקטרונים ברמות אלה. הדבר שניתן למדידה הוא חסרון של אלקטרון שמתנהג כמו חלקיק בעל מטען הפוך, חלקיק שהתגלה ניסויית ב-1932 כ[[פוזיטרון]]. ב-1934 דיראק הראה שהתיאור שלו, הנקרא [[הים של דיראק]], יכול לייצר תיאור מתמטי עקבי של אלקטרונים ופוזיטרונים. בסוף המאמר הוא העלה את האפשרות ליצירת קיטוב בריק, כתוצאה מאלקטרונים ופוזיטרונים בנוכחות של [[שדה חשמלי]]:

{{ציטוט|תוכן=עבודה נוספת שנשאר לבצע היא לבחון את התוצאות הפיזיקליות של ההנחה שנעשתה, ולראות האם היא מובילה לתופעות מסוג של קיטוב של הריק כתוצאה משדה אלקטרומגנטי.|מקור=Discussion of the infinite distribution of electrons in the theory of the positron - P.A.M. Dirac|תוכן במקור=Further work that remains to be done is to examine the physical consequences of the foregoing assumption and to see whether it leads to any phenomena of the nature of a polarization of a vacuum by an electromagnetic field.|שפה=אנגלית}}

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

בסוף שנות ה-40 של המאה ה-20, עם שיפורם של האמצעים הניסויים ודיוקם, בוצעו ניסויים למדידת הפרשי האנרגיה בין רמות שונות באטום המימן. ניסויים אלה גילו את קיומה של [[הסחת לם]], שהוסברה על ידי [[הנס בתה]] כנובעת מאינטראקציה של האלקטרון עם הריק. ההסבר מסביר את רוב ההסחה שנמדדה, כ-<math>4\mu e V</math>, אולם חלק קטן בשיעור של כ-<math>0.1\mu e V</math> מוסבר באמצעות הקיטוב של הריק. ובכך הושג אימות ניסיוני לתופעה.

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

ניסויים מדויקים בשנות ה-80 וה-90 הביאו לדיוק הולך וגובר במדידת השפעת הקיטוב של הריק, כולל מדידה של הקיטוב הנוצר מזוגות של [[מיואון]] ואנטי-מיואון ואף של [[קווארק]] ואנטי קווארק.

== תיאור מתמטי ==
הרנורמליציה של האלקטרודינמיקה הקוונטית יכולה להתקבל משינוי של השדה הפרמיוני, המסה, שדה הכיול והאינטרקאציה ביניהם. כלומר את הלאגראנג׳יאן המקורי כותבים על ידי המשתנים ה״ערומים״ (bare variables)

<math>\mathcal{L} = -\frac{1}{4} (F_{\mu\nu}^0)^2 + \bar{\psi}_0 (i\partial\!\!\!/ - m_0) \psi_0 -e_0 \bar{\psi}_0 \gamma^\mu\psi_0 A_{0\mu} </math>

כאשר <math>m_0</math> ו-<math>e_0</math> יכולים לכלול איברים מתבדרים.

אופרטורי השדה בתיאור הזה הם אופורטורים שנוצרים מאופרטורי הריסה ובנייה על הריק של התיאוריה בלי האינטראקציה. כאשר אופרטורי השדה הללו פועלים על הריק של התיאוריה המלאה הכוללת אינטראקציה, הם מייצרים ״חלקיקים״ פיזיקליים בעלי מסה <math>m
 </math> כמו גם מצבים מסובכים שכוללים יותר מחלקיק אחד. את אמפליטודת הסיכוי של אופרטור שדה לייצר חלקיק אחד בעל תנע <math>p</math> מגדירים כ-<math>\sqrt{Z_i}</math><ref>אינדקסים שונים עבור השדות השונים בתיאוריה. נהוג להשתמש ב-<math>Z_2</math> עבור השדה הפרמיוני וב<math>Z_3</math> עבור השדה הווקטורי.</ref>. בשלב זה אפשר לבצע את שינויי הסקלה לשדות <math>A_0= Z_3^{1/2} A;\ \psi_0 = Z_2^{1/2} \psi </math> ולסמן את חוזק האינטראקציה בין השדות האלה בתיאוריה החדשה ב-<math>e
 </math>. סימונים אלה מביאים את הלגראנז׳יאן לצורה:

<math>\mathcal{L} = -\frac{1}{4} (F_{\mu\nu})^2 + \bar{\psi} (i\partial\!\!\!/ - m) \psi - e \bar{\psi} \gamma^\mu\psi A_{\mu} - \frac{\delta_3}{4} (F_{\mu\nu})^2 + \bar{\psi} (i \delta_2 \partial\!\!\!/ - \delta_m m) \psi - e \bar{\psi} \delta_1 \gamma^\mu \psi A_{\mu}
 </math>

כאשר החלק השמאלי הוא בעל אותה צורה של הלגרנז׳יאן המקורי בשדות החדשים שמייצרים חלקיק אחד בסיכוי כשהם פועלים על מצב עצמי בעל תנע <math>p</math> של הלגראנז׳יאן המלא. והחלק הימני הוא איברי נגד, כשהגדרנו <math>\delta_i = Z_i -1
 </math> ו-<math>\delta_m = Z_2 m_0 -m</math>. המסה <math>m
 </math> והאינטראקציה החשמלית <math>e
 </math> הם המסה והאינטראקציה שתמדד בניסויים שמבוצעים באנרגיה נמוכה ואיברי הנגד יקבלו ערכים אינסופיים כדי לאזן את ההתבדרות האינסופית של הלגראנז׳יאן המקורי בכל אנרגיה. כלומר הערכים של <math>\delta</math> ושל <math>Z</math> נקבעים מהאופי של התיאוריה, ולא מקבלים סתם ערכים חופשיים.

קל לראות שאת איבר האינטראקציה בלגראנז׳יאן המקורי ניתן לכתוב גם כ-<math>e_0 Z_2 Z_3^{1/2} \bar{\psi} \gamma^\mu \psi A_\mu </math> וגם כ-<math>eZ_1\bar{\psi}\gamma^\mu \psi A_\mu
 </math>. שתי הכתיבות של איבר האינטראקציה חייבות להיות שקולות ולכן מתקבל:<math>e = \frac{Z_2}{Z_1} Z_3^{1/2} e_0 </math>. חישוב של איברי הנרמול, ושימוש ב[[זהות וורד]] מראה ש-<math>Z_2 = Z_1 </math><ref>זהותית, בכל סדר של תורת ההפרעות</ref>, ולכן <math>e = Z_3^{1/2} e_0 </math> ולכן רק הנרמול של הפוטון משפיע על הנרמול של המטען. 

כעת נגדיר את הפרופגטור של השדה (המנורמל <math>A</math>) שכולל את כל הדיאגרמות שאי אפשר לחלק לשתי דיאגרמות באמצעות חלוקה של קו אחד שנמצא בין צמתים להיות <math>i\Pi^{\mu\nu}(q)</math>. מההגדרה ומזהות וורד נובע ש-<math>\Pi^{\mu\nu}(q) = \Pi(q^2) (q^2 g^{\mu\nu} - q^\mu q^\nu)</math><ref>בשימוש בסימון <math>q^2 =q^\mu q_\mu = E_q^2 - \vec{q}^2 </math> בפרט <math>q^2</math> שווה לאפס עבור פוטונים על הקליפה אבל יכול להיות שלילי או חיובי עבור חלקיקים וירטואליים.</ref>. הפרופגטור הכללי שכולל גם דיאגרמות שניתנות לחלוקה הוא: <math> \frac{-i}{q^2(1-\Pi(q^2))}  \left( g^{\mu\nu} - \frac{q^\mu q^\nu}{q^2}\right) + \frac{-i}{q^2} \frac{q^\mu q^\nu}{q^2} </math>. באמצעות קביעה נכונה של הערך של איבר הנגד <math>\delta_3=\frac{\Pi(0)}{1-\Pi(0)} </math>. ניתן לקבל שבתיאוריה שכוללת את איברי הנגד מתקיים  <math>\hat\Pi(q^2 \to 0) = 0</math>. מטען האלקטרון בסקלה החדשה מקיים: <math>e_0^2 = \frac{e^2}{1-[\Pi(q^2)-\Pi(0)]}
 </math>.[[קובץ:Vacuum polarization.svg|ממוזער|[[דיאגרמת פיינמן]] של לולאה מסדר ראשון ב[[פרופגטור]] של ה[[פוטון]]. הקיטוב של הריק מופיע כתוצאה מהרנורמליזציה של האנרגיה העצמית של הפוטון.]]הסדר הראשון של התיקון לפרופוגטור מוצג בדיאגרמה משמאל וחישובה לאחר רגולזציה מרחבית ואיזון נותן:

<math>\Pi^{\mu\nu}_2(q) = (q^2 g^{\mu\nu} - q^\mu q^\nu)  \Pi_2(q^2)
 </math> כאשר <math>\Pi_2(q^2) = -\frac{8e^2}{( 4\pi )^{d/2}} \int_0^1 dx \frac{\Gamma(2/d) x (1-x) }{(m^2 - x (1-x)q^2)^{2-d/2} }
 </math>. כאשר מחשבים את האינטגרל הזה בגבול <math>d = 4-\epsilon;\epsilon\to0
 </math> מתקבל איבר שתלוי ב-<math>\epsilon</math>.  אולם כאשר קובעים את תנאי הרנורמליזציה מתקיים <math>\Pi_2(q^2)-\Pi_2(0) = -\frac{2\alpha}{\pi} \int_0^1 dx x (1-x) \log\left(\frac{m^2}{m^2 - x (1-x)q^2} \right)
 </math>. תוצאה שלא תלויה ב-<math>\epsilon</math>. בסדר זה, התיקון למטען האלקטרון הוא: <math>e_0^2 = e^2 (1+[\Pi(q^2)-\Pi(0)])
 </math>.

== השפעות ==
הקיטוב של הריק משפיע על מטען האלקטרון הנמדד, לעומת מטען האלקטרון ה״ערום״ המופיע בתיאוריה המקורית. המטען הערום הוא אין סופי, אבל המטען שנמדד באנרגיות נמוכות הוא המטען הפיזיקלי הסופי <math>e
 </math>. את המטען באנרגיות סופיות ניתן לקבל באמצעות חבורת הרנורמליזציה. בסדר מוביל מתקבל <math>e^2(M) = \frac{e^2(\Lambda)}{1+e^2(\Lambda) / 8\pi^2 \log(\Lambda/M) b}
 </math> או <math>e^2(\Lambda) = \frac{e^2(M)} {1- \frac{e^2(M) b}{8\pi^2}  \log(\Lambda / M)} 
 </math>. כאשר <math>b=\frac{4}{3} \sum q_i^2
 </math> כשהסכימה מתבצעית עבור כל [[פרמיון]] עבורו <math>M>m^2 </math>. באנרגיות נמוכות ממסת האלקטרון 511KeV מתקבל ש- <math>b = 0
 </math> והאינטראקציה של האלקטרון עם השדה היא קבועה. אולם באנרגיות גבוהות יותר <math>\Lambda = -q^2 >> m^2</math>, חוזק האינטראקציה תלוי באנרגיה. בתחום בו האנרגיה גדולה בהרבה ממסת האלקטרון אבל עדיין קטנה ממסת המיואון מתקבל <math>e^2(\Lambda) = \frac{e^2} {1- \frac{e^2}{12\pi^2} \left(\log(\Lambda / m^2) + 5/3\right) } 
 </math>.

השפעה נוספת היא תיקון לאינטראקציה החשמלית בין שני חלקיקים. את הסדר הראשון של התיקון הזה ניתן לקבל מ-<math>\Pi_2
 </math>. במרחקים גדולים (ביחס לאורך קומפטון של האלקטרון) מתקיים <math>V(r) = -\frac{\alpha}{r} \left(1 + \frac{\alpha}{4\sqrt{\pi}} \frac{e^{-2mr}}{mr^{3/2}} \right)
 </math> התיקון הזה גורם להסחה של <math>\frac{\alpha^5 m}{30\pi}
 </math> ברמת האנרגיה של אורביטלי S באטום המימן והוא מהווה חלק קטן (כ-2%) מ[[הסחת לם]].

== הערות שוליים ==
{{הערות שוליים}}

[[קטגוריה:תורת השדות הקוונטית]]