תאוריות משתנים חבויים

תאוריות משתנים חבויים או תאוריות משתנים נסתרים הוא ניסיון לישב תופעות קוונטיות אקראיות עם השקפת עולם דטרמיניסטית וקלאסית. איינשטיין ביטא את ביקורתו על האופי ההסתברותי של מכניקת הקוונטים באימרה: "אלוהים אינו משחק בקוביות". המונח "משתנים חבויים" ובמקור hidden variables, הופיע לראשונה במאמר של דייוויד בוהם ב-1952.

מכניקה קוונטית, אינה תורה דטרמיניסטית ואינה קלאסית. מכניקה קוונטית אינה מאפשרת ליחס מסלול במרחב לחלקיק נקודתי, ומניחה שפוקנצית הגל נותנת מידע מלא על מערכת קוונטית. תוצאת מדידה של חלקיק קווונטי היא, בדרך כלל, אקראית<ref name=":0"></ref>. בתיאוריות של משתנים חבויים, האקראיות בתופעות קוונטיות נובעת מהעדר מידע החבוי במשתנים נסתרים. בתיאוריות אלה, האקראיות בתופעות קוונטיות היא תוצאה של מידע חסר ולכן מתיישבת עם דטרמיניזם.

תיאוריה של משתנים חבויים הופיעה לראשונה במאמר של דייוויד בוהם ב-1952<ref name=":4" /> והתבססה על מאמר של הפרדוקס של איינשטיין-פודולסקי-רוזן משנת 1935 הידוע תחת ראשי התיבות EPR<ref name=":1"></ref>, בו נטען כי תחת הגדרה סבירה של המונח "מציאות פיזיקאלית" התיאור בעזרת פונקציית גל אינו תיאור מלא של המציאות.

בשנת 1964 הראה ג'ון בל כי משתנים נסתרים המקיימים תנאי לוקאלית מצייתים לאי שוויונות מסוימים (אי שוויונות בל ). אי שוויונות אלו ומופרים במערכות קוונטיות שזורות. תוצאה זו אפשרה להכריע את שאלת קיומם של משתנים נסתרים לוקאלים על ידי מדידות במעבדה.

בשנת 2022 הוענק פרס נובל לפיזיקה לג'ון קלאוזר , אלן אספה , ואנטון זילינגר על מדידות שזירות שהראו הפרה של אי שיויון בל<ref name=":2"></ref> ושללו קיום של משתנים חבויים לוקאלים.

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

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

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

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

הדינמיקה של טיפות המרחפות על נוזל<ref></ref> מובילה לסימולציה פיזיאלית של משוואות התנועה הקוונטיות בתיאוריה של בוהם.

משתנים חבויים לוקאלים, ומשתנים חבויים שאינם תלויים בקונטקסט<ref name=":0" /> של המדידה הם בסתירה למכניקה קוונטית<ref name=":2" />..

== היסטוריה ==
בשנת 1935 פרסמו הפרדוקס של איינשטיין-פודולסקי-רוזן מאמר שידוע כמאמר EPR שכותרתו היא: "האם התיאור של המציאות במכניקה קוונטית הוא תיאור שלם?"<ref name=":1" /> כאשר "מציאות" הוגדרה כתכונה שניתן לחזותה מראש בדיוק. הם בחנו את השאלה בניסיון מחשבתי על מערכת של שני חלקיקים קוונטים שזורים (מקסימלית). במערכת שזורה (מקסימלית) מדידה של מקום או תנע של חלקיק אחד מאפשרת לחזות בדיוק את המקום או התנע של החלקיק השני. כיוון שניתן למדוד את המקום או את התנע של החלקיק הראשון, הן המקום והן התנע מבטאים מציאות פיזיקאלית של החלקיק השני. בניגוד לעקרון אי הודאות.

בשנת 1952 פרסם דייוויד בוהם מאמר שכותרתו: "הצעה לפירוש של מכניקה קוונטית באמצעות משתנים נסתרים"<ref name=":4"></ref> ובו הראה כיצד ניתן לישב תכונות גליות, כמו התאבכות, עם תכונות של חלקיקים, כמו מסלולים מוגדרים, במסגרת תאורטית הכוללת משתנים נסתרים שאינם לוקאלים. מאוחר יותר בוהם התנער מהמינוח משתנים נסתרים והעדיף על פניו את המינוח "תורה אונטולוגית"<ref></ref>, (כיוון שפונקציית הגל היא המשתנה הנסתר והמקום והתנע המשתנים הגלוים).

בשנת 1964 פרסם ג'והן בל מאמר שכותרתו "On the Einstein–Podolsky–Rosen paradox"<ref></ref>. במאמר זה הראה בל שקורלציות במדידות בתורות עם משתנים נסתרים לוקאלים מקיימים אי-שוויונות שנקראים אי-שוויונות בל. דוגמה לאי שוויון פשוט הוא אי-השוויון של CHSH<ref name=":3" />.

בשנת 2022 הוענק פרס נובל לפיזיקה לג'ון קלאוזר , אלן אספה , ואנטון זילינגר על מדידות שזירות שהראו הפרה של אי שיויון בל<ref name=":2" />.

== תוצאות קשורות ==
תוצאה בסיסית נוספת לגבי חוסר האפשרות של השלמת משתנים נסתרים במכניקה קוונטית היא משפט קוכן-ספקר<ref></ref>. במחקר של קוכן-ספקר הנחת המקומיות מוחלפת ברעיון הכללי יותר של אי-קונטקסטואליות, כלומר עצמאות של הקשר המדידה. כדי להגדיר בדיוק מושג כזה, צריכים קודם כל את הרעיון של מדידות תואמות. שתי מדידות או יותר אמורות להיות תואמות אם ניתן לבצע אותן במשותף על אותה מערכת מבלי להפריע זו לזו. הם יכולים להתבצע ביחד או ברצף, בכל סדר, וחייבים תמיד לשחזר את אותה תוצאה. באופן אנלוגי לאי-השוויון של בל, ניתן להגדיר אי-השוויון של אי-קונטקסטואליות כאילוצים על הטווחים האפשריים להסתברויות קלאסיות תחת הנחת אי-קונטקסטואליות. עבור תרחיש מדידה נתון, הוכח<ref></ref><ref></ref> שקיימת קבוצה סופית של אילוצים כאלה המעניקים תנאים הכרחיים ומספקים לקיום תאוריית משתנה מוסתרת לא-קונטקסטואלית.

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

מלבד הבעיות הבסיסיות, ידוע היטב שניתן לנצל את התכונות הלא-קלאסיות של מערכות קוונטיות לביצוע משימות עיבוד מידע בצורה יעילה יותר<ref name=":3"></ref>. שתי דוגמאות בולטות ניתנות על ידי אלגוריתם הפירוק של שור<ref></ref> ואלגוריתם לויד<ref></ref>.

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

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:מכניקת הקוונטים
קטגוריה:פרשנויות של מכניקת הקוונטים