חישוב קוונטי בגישה מתמטית, חלק ב'

מה קורה כשיש לנו שני קיוביטים ביחד?

הפוסט הקודם שלי על חישוב קוונטי הציג מתמטית את המושג של קיוביט: מערכת פיזיקלית כלשהי שאפשר לתאר את המצב הכללי שלה בתור סופרפוזיציה, שהיא וקטור ב-\( \mathbb{C}^{2} \) מנורמה 1 שאהבתי לסמן ב-\( \alpha\left|0\right\rangle +\beta\left|1\right\rangle \). הראיתי איך מבצעים חישובים עם קיוביט בודד שכזה, והאמת היא שזה לא היה מרשים בכלל כי את הכל אפשר לסמלץ בנוחות במחשב רגיל; לא צריך מחשב קוונטי בשביל חישוב עם קיוביט יחיד ולא משנה עד כמה סופרפוזיציה היא תופעה מופלאה.

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

נשמע לא ברור? בהחלט! זו הבעיה עם חישוב קוונטי, שדברים נהיים ברורים, ואפילו קלים ממש להבנה, רק כשמערבים מתמטיקה. למרבה המזל זו המטרה שלנו פה, לערב מתמטיקה. אז בואו נעבור לשאלה מתמטית כללית לרגע: נניח שיש לנו שני מרחבים וקטוריים, \( U,W \) (אצלנו המרחבים יהיו קיוביטים, אבל נחזור לזה בהמשך) - איך אני יכול לבנות משני המרחבים הללו מרחב וקטורי חדש?

התשובה הנפוצה, שרואים מהר מאוד בכל קורס אלגברה לינארית, היא באמצעות פעולה שנקראת סכום ישר (או סכום ישר חיצוני עבור מה שאציג כאן, או מכפלה ישרה, שהיא מושג שונה אבל עם משמעות זהה כשיש רק שני מרחבים): אני בונה מרחב וקטורי \( V=U\oplus W \) שכל איבר בו הוא מהצורה \( \left(u,w\right) \) כך ש-\( u\in U,w\in W \), ופעולות החיבור והכפל בסקלר הן “נקודתיות”, כלומר \( \left(u_{1},w_{1}\right)+\left(u_{2},w_{2}\right)=\left(u_{1}+u_{2},w_{1}+w_{2}\right) \) ו-\( \lambda\left(u,w\right)=\left(\lambda u,\lambda w\right) \). בגישה הזו, אפשר לחשוב על כל איבר ב-\( V \) כאילו הוא מיוצג על ידי זוג איברים, אחד מ-\( u \) ואחד מ-\( w \). למשל, כשאני מסתכל על \( \mathbb{R}^{2} \) האיברים שלו הם קווים במישור, אבל אפשר גם לחשוב עליו בתור \( \mathbb{R}\oplus\mathbb{R} \): מרחב שבו כל איבר מיוצג על ידי קו בציר \( x \) וקו בציר \( y \) - ההיטלים של הקו ב-\( \mathbb{R}^{2} \). אם יש לנו בסיס \( e_{1},\ldots,e_{n} \) ל-\( U \) ובסיס \( f_{1},\ldots,f_{m} \) ל-\( W \), אז בסיס ל-\( V=U\oplus W \) יהיה \( \left(e_{1},0\right),\ldots,\left(e_{n},0\right),\left(0,f_{1}\right),\ldots,\left(0,f_{m}\right) \), כלומר \( V \) יהיה ממימד \( n+m \) ואפשר יהיה לחשוב על כל איבר בו כאילו הוא נוצר מתוך איברי הבסיסים של \( U,W \). זו כאמור בניה סטנדרטית ומועילה ביותר והיא לחלוטין לא מה שאנחנו הולכים לעשות הפעם. הקסם של חישוב קוונטי - הקסם של שזירה קוונטית, הוא בכך שהמרחב \( V \) שמתקבל משילוב של שתי מערכות קוונטיות \( U,W \) הוא לא סכום ישר אלא מה שנקרא מכפלה טנזורית, \( V=U\otimes W \).

יש לי פוסט על מכפלות טנזוריות אבל אני לא הולך להסתמך עליו כאן. בכללי, מכפלות טנזוריות זה תחום מורכב ועשיר עם שלל דרכים להציג אותו; אני אנסה להציג אותו בדרך הכי קונקרטית ובסיסית שאני יכול, כדי שיהיה קל להבין איך זה עובד במקרה של קיוביטים. הדרך הפשוטה ביותר לתאר את \( V=U\otimes W \) היא זו: כבר ראינו בסיס \( e_{1},\ldots,e_{n} \) של \( U \) ובסיס \( f_{1},\ldots,f_{m} \) של \( W \), אז עכשיו ניצור מרחב חדש לגמרי “מלמטה למעלה”. ראשית, נגדיר איברים חדשים שאסמן \( e_{i}\otimes f_{j} \) לכל \( 1\le i\le n \) ו-\( 1\le j\le m \). כלומר, קיבלתי \( n\times m \) איברים חדשים שכאלו, שכל אחד מהם בנוי מאיבר בסיס של \( U \), איבר בסיס של \( W \) ואיזה סימן \( \otimes \) מוזר בין שניהם שלא אומר לנו כלום כרגע. עכשיו אני מגדיר את \( V \) בתור

\( V=\text{span}\left\{ e_{i}\otimes f_{j}\ |\ 1\le i\le n,1\le j\le m\right\} \)

מה זה אומר? בעיקרון, זה אומר שאיבר כללי של \( V \) הוא מהצורה \( \sum\lambda_{ij}\left(e_{i}\otimes f_{j}\right) \) - קיבלנו מרחב שמתקבל מ”סכום פורמלי” של כל האיברים \( e_{i}\otimes f_{j} \). זה קצת מזכיר את האופן שבו אפשר לחשוב על המרחב הוקטורי של הפולינומים בתור המרחב הוקטורי שמורכב מכל הסכומים הסופיים של האיברים מהצורה \( x^{0},x^{1},x^{2},\ldots \). במרחב כזה, פעולות החיבור והכפל בסקלר מוגדרות בצורה הטבעית שאפשר לצפות לה:

\( \sum\lambda_{ij}\left(e_{i}\otimes f_{j}\right)+\sum\mu_{ij}\left(e_{i}\otimes f_{j}\right)=\sum\left(\lambda_{ij}+\mu_{ij}\right)\left(e_{i}\otimes f_{j}\right) \)

\( \mu\cdot\sum\lambda_{ij}\left(e_{i}\otimes f_{j}\right)=\sum\left(\mu\lambda_{ij}\right)\left(e_{i}\otimes f_{j}\right) \)

זה אבסטרקטי מאוד, אז בואו נראה מה קורה עם קיוביטים. אצלנו \( U=W=\mathbb{C}^{2} \) וכזכור, סימנתי ב-\( \left|0\right\rangle ,\left|1\right\rangle \) את אברי הבסיס הסטנדרטי. אז עבור שני קיוביטים אני הולך לקבל את המרחב \( \mathbb{C}^{2}\otimes\mathbb{C}^{2} \) שנפרש על ידי ארבעת האיברים הבאים:

\( \left|0\right\rangle \otimes\left|0\right\rangle \)

\( \left|0\right\rangle \otimes\left|1\right\rangle \)

\( \left|1\right\rangle \otimes\left|0\right\rangle \)

\( \left|1\right\rangle \otimes\left|1\right\rangle \)

מכיוון שמעייף מאוד לכתוב את ה-\( \otimes \) הזה בכל פעם, לרוב משמיטים אותו; במקום לכתוב \( \left|0\right\rangle \otimes\left|0\right\rangle \) כותבים \( \left|0\right\rangle \left|0\right\rangle \) או אפילו עוד יותר בקיצור, \( \left|00\right\rangle \). אם כן, איבר כללי שמתאר את המצב של שני קיוביטים הוא

\( \alpha\left|00\right\rangle +\beta\left|01\right\rangle +\gamma\left|10\right\rangle +\delta\left|11\right\rangle \)

יש בעיה עקרונית עם מרחב של שני קיוביטים: הוא ממימד 4, בדיוק כמו הסכום הישר \( \mathbb{C}^{2}\oplus\mathbb{C}^{2} \), כך שלא ברור מה ההבדל. לכן אני אקפוץ לרגע אל מרחב בן שלושה קיוביטים. מרחב כזה נפרש על ידי האיברים

\( \left|000\right\rangle ,\left|001\right\rangle ,\left|010\right\rangle ,\left|011\right\rangle ,\left|100\right\rangle ,\left|101\right\rangle ,\left|110\right\rangle ,\left|111\right\rangle \)

זה כבר שונה מסכום ישר של שלושה מרחבים \( \mathbb{C}^{2}\oplus\mathbb{C}^{2}\oplus\mathbb{C}^{2} \), שנפרש על ידי שישה איברים:

\( \left(\left|0\right\rangle ,0,0\right),\left(\left|1\right\rangle ,0,0\right),\left(0,\left|0\right\rangle ,0\right),\left(0,\left|1\right\rangle ,0\right),\left(0,0,\left|0\right\rangle \right),\left(0,0,\left|1\right\rangle \right) \)

הסימון הזה די מבלבל: \( \left|0\right\rangle \) הוא הסימון שלי לוקטור \( \left(\begin{array}{c} 1\\ 0 \end{array}\right) \) בזמן ש-0 הוא הסימון שלי לוקטור האפס, \( \left(\begin{array}{c} 0\\ 0 \end{array}\right) \); זכרו ש-\( \left|0\right\rangle \) זה סימון שרירותי והייתי יכול גם להשתמש ב-\( \left|42\right\rangle \) אם היה מתחשק לי (להבדיל מ-0 שמתאים לתפיסה הרגילה שלנו של מה זה “אפס”). למרבה המזל, אני לא אדרש כמעט לשימוש ב-0 או בסכומים ישרים, אז עכשיו שראינו שזה משהו שונה ממכפלה טנזורית, אפשר לשכוח מהם.

ראינו קיוביט אחד, שני קיוביטים ושלושה קיוביטים, אז באינדוקציה אפשר להראות עכשיו \( n \) קיוביטים. מרחב של \( n \) קיוביטים נפרש על ידי \( 2^{n} \) איברים בסיס: לכל מחרוזת בינארית \( x\in\left\{ 0,1\right\} ^{n} \) יש לנו איבר בסיס \( \left|x\right\rangle \), ואפשר לסמן איבר כללי בתור

\( \sum_{x\in\left\{ 0,1\right\} ^{n}}\alpha_{x}\left|x\right\rangle \)

כלומר, ה”אינפורמציה” שיש במצב כללי של מערכת של \( n \) קיוביטים מקודדת על ידי \( 2^{n} \) מספרים מרוכבים. זה הבדל עצום מהאינפורמציה שמקודדת במצב כללי של מערכת של \( n \) ביטים קלאסיים, שהיא… \( n \) ספרות של 0 ו-1. שימו לב - אני מדבר כאן על כמות המידע שנדרש כדי לייצג את המצב, לא על מספר המצבים הפוטנציאליים שבו הוא יכול להיות (שהוא \( 2^{n} \) למצב קלאסי, אבל גם אם נצמצמם את המקדמים של המצב הקוונטי להיות 0 ו-1 אחרי נרמול, מספר המצבים הפוטנציאליים של המצב הקוונטי יהיה \( 2^{2^{n}} \)).

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

מה זו בעצם מכפלה טנזורית?

עבורי ההגדרה שנתנו למעלה נראית סבבה ומוצלחת ואני מרוצה ממנה - עד שפתאום צריך לעשות איתה דברים, ואז צצות השאלות המוזרות. הנה משהו שאפשר לעשות איתה: ראינו את האיבר \( \left|00\right\rangle \) בלי להסביר יותר מדי מה הוא; קונספטואלית, הוא בא לייצג מצב של מערכת של שני קיוביטים שבהם הקיוביט הראשון במצב \( \left|0\right\rangle \) וגם הקיוביט השני במצב \( \left|0\right\rangle \). כזכור, זה היה קיצור של \( \left|0\right\rangle \otimes\left|0\right\rangle \). עכשיו, ראינו בפוסט הקודם מצב שקראתי לו \( \left|+\right\rangle \triangleq\frac{\left|0\right\rangle +\left|1\right\rangle }{\sqrt{2}} \) - זה מצב שמייצג במובן כלשהו סופרפוזיציה “אחידה” של \( \left|0\right\rangle ,\left|1\right\rangle \). בואו נניח שיש לנו מערכת קוונטית של שני קיוביטים שכל אחד מהם נמצא במצב \( \left|+\right\rangle \) הזה, אז מה התיאור המתמטי של המערכת הקוונטית הזו?

האינטואיציה שלי אומרת שמצב המערכת יהיה \( \left|+\right\rangle \otimes\left|+\right\rangle \) (או בקיצור, \( \left|++\right\rangle \)) ותכף נראה שזו אינטואיציה נכונה ופורמלית לגמרי, אבל כרגע ההגדרה המתמטית שנתתי פשוט לא תומכת באינטואיציה הזו: לא הגדרתי בשום צורה ביטוי כמו \( \left|+\right\rangle \otimes\left|+\right\rangle \); הדבר היחיד שהגדרתי הוא את \( \left|0\right\rangle \otimes\left|0\right\rangle ,\left|1\right\rangle \otimes\left|0\right\rangle ,\left|0\right\rangle \otimes\left|1\right\rangle ,\left|1\right\rangle \otimes\left|1\right\rangle \): ארבעה איברים ספציפיים שמתקבלים ממכפלה טנזורית של שני איברי בסיס. כך זה היה גם בהגדרה הכללית שלי:

\( V=\text{span}\left\{ e_{i}\otimes f_{j}\ |\ 1\le i\le n,1\le j\le m\right\} \)

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

כשלומדים על מספרים מרוכבים, אפשר להתחיל מ”להמציא” מספר \( i \) שמקיים \( i^{2}=-1 \), ואז לקחת שני איברים כלליים, \( a+bi \) ו-\( c+di \), לכפול אותם, לפתוח על פי כללי החשבון הרגילים ולקבל \( \left(a+bi\right)\left(c+di\right)=\left(ac-bd\right)+\left(ad+bc\right)i \). זו משוואה שהגענו אליה בצורה מאוד אינטואיטיבית אבל יש לה בעיה פורמלית כי “המצאנו” את \( i^{2}=-1 \). אז אפשר להפוך את הקערה על פיה: להגדיר מספרים מרוכבים בתור זוגות \( \left(a,b\right) \) של מספרים ממשיים - זה אובייקט מתמטי שאין לנו ספק לגבי קיומו - ואז לתת לזוגות הללו מבנה אלגברי חדש על ידי חיבור “איבר-איבר” וכפל שמוגדר בתור \( \left(a,b\right)\times\left(c,d\right)=\left(ac-bd,ad+bc\right) \). אחר כך אפשר לבדוק את תכונות הכפל והחיבור ולראות שקיבלנו שדה ולשמוח, אבל אם היינו מתחילים מההגדרה הזו, היא הייתה נראית שרירותית לגמרי כי לא היה ברור מה אנחנו מנסים להשיג. זה בדיוק מה שאעשה כאן - בנוגע למכפלה טנזורית וההגדרה הכללית שלה: אעשה חשבון לפי מה שנראה לי אינטואיטיבי, ואז אגיע מתוכו אל ההגדרה הכללית.

מה שאני רוצה להבין זה מה \( \left|+\right\rangle \otimes\left|+\right\rangle \) אמור להיות במונחים של המכפלה הטנזורית שכבר הגדרתי, זו שכל איבר בה נפרש על ידי \( \left|00\right\rangle ,\left|01\right\rangle ,\left|10\right\rangle ,\left|11\right\rangle \). אז אני ארשה לעצמי לדמיין ש-\( \otimes \) מתנהג כמו כפל נחמד ו”אפתח” את הביטוי:

\( \left|+\right\rangle \otimes\left|+\right\rangle =\left(\frac{\left|0\right\rangle +\left|1\right\rangle }{\sqrt{2}}\right)\otimes\left(\frac{\left|0\right\rangle +\left|1\right\rangle }{\sqrt{2}}\right)=\frac{\left(\left|0\right\rangle +\left|1\right\rangle \right)\otimes\left(\left|0\right\rangle +\left|1\right\rangle \right)}{\sqrt{2}\cdot\sqrt{2}}= \)

\( =\frac{\left|0\right\rangle \otimes\left|0\right\rangle +\left|0\right\rangle \otimes\left|1\right\rangle +\left|1\right\rangle \otimes\left|0\right\rangle +\left|1\right\rangle \otimes\left|1\right\rangle }{2}=\frac{1}{2}\left|00\right\rangle +\frac{1}{2}\left|01\right\rangle +\frac{1}{2}\left|10\right\rangle +\frac{1}{2}\left|11\right\rangle \)

קיבלתי ייצוג של \( \left|+\right\rangle \otimes\left|+\right\rangle \) שנראה הגיוני: הוא באמת איבר של \( \mathbb{C}^{2}\otimes\mathbb{C}^{2} \) על פי ההגדרה שכבר הראיתי, הנורמה שלו שווה 1 (\( 4\cdot\left(\frac{1}{2}\right)^{2}=1 \)) והוא סימטרי בצורה שאנחנו מצפים לה בהתחשב בסימטריה של \( \left|+\right\rangle \). השאלה היחידה היא אילו פעולות ביצעתי כדי להגיע לייצוג הזה. אם נסתכל על החשבון שעשיתי, אפשר לראות שני דברים שקרו: ראשית, ה-\( \sqrt{2} \) שבמכנה הוכפלו בצורה “רגילה”, כלומר מכפלה טנזורית של סקלרים מתפרשת איכשהו בתור מכפלה רגילה. שנית, “פתחתי” את הביטוי \( \left(\left|0\right\rangle +\left|1\right\rangle \right)\otimes\left(\left|0\right\rangle +\left|1\right\rangle \right) \) בעזרת חוק הפילוג הרגיל, כלומר מכפלה טנזורית מכבדת את חוק הפילוג. מתברר ששני אלו מספיקים בשביל ההגדרה הכללית של מכפלה טנזורית. בואו נכתוב את הכללים הללו רגע בצורה פורמלית:

  • \( \left(\lambda u\right)\otimes w=\lambda\left(u\otimes w\right) \)
  • \( u\otimes\left(\lambda w\right)=\lambda\left(u\otimes w\right) \)
  • \( \left(u_{1}+u_{2}\right)\otimes w=u_{1}\otimes w+u_{2}\otimes w \)
  • \( u\otimes\left(w_{1}+w_{2}\right)=u\otimes w_{1}+u\otimes w_{2} \)

כל אחד משני הכללים הופיע כאן בעצם פעמיים - פעם אחת כשהוא עובד עבור הרכיב השמאלי, ופעם אחת עבור הרכיב הימני, אבל בשני המקרים זה אותו הכלל. אם אתם רוצים, קחו לעצמכם רגע כדי להשתכנע שבחישוב שלי עבור \( \left|+\right\rangle \otimes\left|+\right\rangle \) אכן השתמשתי בכללים הללו.

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

הבניה שלנו של המכפלה \( U\otimes W \) מתחילה עם הקבוצה \( U\times W \), קבוצת כל הזוגות \( \left(u,w\right) \). הזכרתי אותה בתחילת הפוסט: זו הקבוצה שממנה אנחנו מקבלים את \( U\oplus W \), כשאנחנו מגדירים חיבור וכפל בסקלר “איבר-איבר”. אלא שעכשיו אני עושה עם הקבוצה הזו משהו שונה לחלוטין - במקום להסתכל רק על האיברים \( \left(u,w\right) \), אני מסתכל על קבוצת הסכומים הפורמליים שלהם. כלומר על כל הביטויים שאפשר לכתוב בתור \( \sum\lambda_{u,w}\left(u,w\right) \) כאשר \( \lambda_{u,w} \) הם סקלרים, כשהמגבלה היחידה שלי היא שכל סכום פורמלי כזה חייב להכיל מספר סופי של מחוברים. האנלוג המיידי הוא פולינומים, שהם בסך הכל סכומים פורמליים שנבנים מאינסוף האיברים \( \left\{ x^{0},x^{1},x^{2},\ldots\right\} \). למרות שזה מושג פורמלי ותקין לגמרי, אם הוא מפריע לכם אפשר לתת לו בניה יותר פורמלית: מסתכלים על מרחב הפונקציות \( f:U\times W\to\mathbb{C} \) עם תומך סופי (כלומר, שמחזירות משהו שונה מאפס על מספר סופי של קלטים) וזה מרחב שאין לנו ספק שקיים; הסכום הפורמלי \( \sum\lambda_{u,w}\left(u,w\right) \) מיוצג על ידי הפונקציה \( f\left(u,w\right)=\lambda_{u,w} \).

קבוצת הסכומים הפורמליים היא מרחב וקטורי עם החיבור והכפל בסקלר הרגילים, כלומר \( \sum\lambda_{u,w}\left(u,w\right)+\sum\rho_{u,w}\left(u,w\right)=\sum\left(\lambda_{u,w}+\rho_{u,w}\right)\left(u,w\right) \) ו-\( \rho\sum\lambda_{u,w}\left(u,w\right)=\sum\left(\rho\lambda_{u,w}\right)\left(u,w\right) \) - רק צריך לוודא שהסכום והכפל הזה משמרים את תכונת ה”יש רק מספר סופי של מחוברים”, מה שכמובן קורה. זה מרחב וקטורי גדול מאוד - הרבה יותר גדול מ-\( U\times W \), וגם יותר גדול ממה שאנחנו רוצים שיהיה \( U\otimes W \), אז מה שנעשה יהיה להקטין את הקבוצה הזו על ידי זיהוי איברים. למשל, אנחנו יודעים ש-\( \left|++\right\rangle \) ו-\( \frac{1}{2}\left|00\right\rangle +\frac{1}{2}\left|01\right\rangle +\frac{1}{2}\left|10\right\rangle +\frac{1}{2}\left|11\right\rangle \) “אמורים” להיות שווים, אז נגדיר שהם שווים.

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

  • \( \left(\lambda u\right)\otimes w=\lambda\left(u\otimes w\right) \)
  • \( u\otimes\left(\lambda w\right)=\lambda\left(u\otimes w\right) \)
  • \( \left(u_{1}+u_{2}\right)\otimes w=u_{1}\otimes w+u_{2}\otimes w \)
  • \( u\otimes\left(w_{1}+w_{2}\right)=u\otimes w_{1}+u\otimes w_{2} \)

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

כדי לתת את ההגדרה הפורמלית ממש, הנה בזריזות האופן שבו מרחב מנה מוגדר עבור מרחבים וקטוריים, בהינתן שכבר מכירים יחסי שקילות (הנה פוסט שלי עליהם): אם \( V \) הוא מרחב וקטורי ו-\( N \) הוא תת-מרחב שלו, מגדירים על \( V \) יחס שקילות על ידי \( v\sim u \) אם ורק אם \( v-u\in N \) (תרגיל: להראות שזה יחס שקילות). עכשיו מסתכלים על קבוצת המנה \( V/N=\left\{ \left[v\right]\ |\ v\in V\right\} \) שמתקבלת מיחס השקילות הזה ומגדירים עליה חיבור וכפל בסקלר באמצעות נציגים: \( \left[v\right]+\left[w\right]=\left[v+w\right] \) ו-\( \lambda\left[v\right]=\left[\lambda v\right] \) (צריך להוכיח שזה מוגדר היטב; זה נובע מכך ש-\( N \) הוא מרחב וקטורי ולא סתם קבוצה). לבסוף צריך לבדוק ש-\( V/N \) עם הפעולות הללו הוא מרחב וקטורי.

במקרה הפרטי שלנו, \( V=U\times W \). יותר מעניין מהי הקבוצה \( N \), שאיכשהו אמורה לייצג את ארבעת השוויונות שלמעלה. נסתכל למשל על השוויון \( \left(\lambda u\right)\otimes w=\lambda\left(u\otimes w\right) \): אם אנחנו רוצים שהוא יתקיים במנה אז צריך ששני האגפים יהיו שקולים על פי יחס השקילות, כלומר שיתקיים \( \left(\lambda u\right)\otimes w\sim\lambda\left(u\otimes w\right) \), או במילים אחרות - \( \left(\lambda u\right)\otimes w-\lambda\left(u\otimes w\right)\in N \). גיליתי איבר שחייב להיות ב-\( N \); עכשיו אני פשוט אקח את כל האיברים מהצורה הזו, ומשלוש הצורות האחרות, ואסתכל על המרחב שנפרש על ידי כולם. זה מה שנחמד במרחבים וקטוריים - כדי לקבל מרחב וקטורי אני לוקח קבוצה שרירותית של איברים, “פורש” אותה והופס, קיבלתי מרחב וקטורי חדש שמתנהג נחמד גם הוא.

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

מה זה מצבים שזורים?

השוויון \( \left|++\right\rangle =\frac{1}{2}\left|00\right\rangle +\frac{1}{2}\left|01\right\rangle +\frac{1}{2}\left|10\right\rangle +\frac{1}{2}\left|11\right\rangle \) מלמד אותנו דבר חשוב: בהחלט ייתכן שלאיבר כלשהו של המכפלה הטנזורית יהיו כמה ייצוגים שונים, כלומר זה שיש לי איבר \( u\otimes w \) לא אומר שאי אפשר לכתוב אותו גם בדרכים שונות, למשל כסכום של איברים אחרים. כדי לקבל ייצוג יחיד צריך לעשות את מה שעשיתי בהתחלה - לקחת בסיסים לשני המרחבים שכופלים, ולהסתכל על הקבוצה \( \left\{ e_{i}\otimes f_{j}\ |\ 1\le i\le n,1\le j\le m\right\} \) - הקבוצה הזו תהיה בסיס (כלומר, כל איבר של המכפלה הטנזורית יהיה ניתן לכתיבה כצירוף לינארי יחיד של איברי הבסיס). זה פותח פתח לשאלה הבאה: נניח שנתון לי איבר של \( U\otimes W \) בתור סכום כלשהו; האם בהכרח קיים לו ייצוג בתור \( u\otimes w \)? התשובה היא לחלוטין לא. ב-\( U\otimes W \) קיימים הרבה איברים שאינם מהצורה \( u\otimes w \), וזו חלק מהסיבה שבגללה \( U\otimes W \) הוא כזה מרחב עשיר.

בואו נראה דוגמא קוונטית לזה, במקרה של מרחב של שני קיוביטים: המצב \( \frac{\left|00\right\rangle +\left|11\right\rangle }{\sqrt{2}} \). זה מצב תקין - הוא צירוף לינארי של אברי הבסיס \( \left|00\right\rangle ,\left|11\right\rangle \) והוא מנורמה 1. בפוסט הבא אני גם אראה איך אפשר לייצר אותו בפועל במהלך חישוב קוונטי וזה די פשוט. אבל אי אפשר לכתוב את המצב הזה בתור מכפלה טנזורית של שני מצבים בודדים של קיוביט יחיד. כדי לראות את זה נלכלך טיפה ידיים. נכתוב שני מצבים כלליים:

\( \alpha_{1}\left|0\right\rangle +\beta_{1}\left|1\right\rangle \)

\( \alpha_{2}\left|0\right\rangle +\beta_{2}\left|1\right\rangle \)

נכפול את שניהם טנזורית, נפתח בעזרת הכללים שראינו, ונקבל:

\( \left(\alpha_{1}\left|0\right\rangle +\beta_{1}\left|1\right\rangle \right)\left(\alpha_{2}\left|0\right\rangle +\beta_{2}\left|1\right\rangle \right)=\alpha_{1}\alpha_{2}\left|00\right\rangle +\alpha_{1}\beta_{2}\left|01\right\rangle +\beta_{1}\alpha_{2}\left|10\right\rangle +\beta_{1}\beta_{2}\left|11\right\rangle \)

זה ייצוג עם אברי הבסיס הסטנדרטי, אז אם אני משווה אותו אל \( \frac{\left|00\right\rangle +\left|11\right\rangle }{\sqrt{2}} \) אני חייב לקבל שוויון במקדמים עצמם, כלומר

\( \alpha_{1}\alpha_{2}=\frac{1}{\sqrt{2}} \)

\( \alpha_{1}\beta_{2}=0 \)

\( \beta_{1}\alpha_{2}=0 \)

\( \beta_{1}\beta_{2}=\frac{1}{\sqrt{2}} \)

מהמשוואה הראשונה אנחנו לומדים ש-\( \alpha_{1}\ne0 \) וגם \( \alpha_{2}\ne0 \), אז מהמשוואה השניה אנחנו מסיקים ש-\( \beta_{1}=0 \), וזה סותר לנו את המשוואה הרביעית, \( \beta_{1}\beta_{2}=\frac{1}{\sqrt{2}} \), מה שמסיים את העניין: לא ניתן לכתוב את \( \frac{\left|00\right\rangle +\left|11\right\rangle }{\sqrt{2}} \) בתור \( u\otimes w \), ולא משנה איזה \( u,w \) נבחר.

במתמטיקה קוראים לאיבר כמו \( u\otimes w \) “טנזור טהור” וזאת להבדיל מטנזור שתמיד נכתב בתור סכום, שנקרא “טנזור מעורב”. חייבים להודות שהשמות הללו הם לא להיט גדול… יותר מעניין לחשוב על זה מבחינה פיזיקלית. על \( u\otimes w \) אפשר לחשוב בתור “שני קיוביטים שיושבים זה לצד זה וכל אחד מתעסק בעניינו”: האחד נמצא במצב \( u \), השני נמצא במצב \( w \), וחישוב שאני מפעיל על אחד מהם לא ישפיע על השני, אלא אם זה חישוב שמערב במפורש את שני הקיוביטים.

עם המצב \( \frac{\left|00\right\rangle +\left|11\right\rangle }{\sqrt{2}} \) זה לא קורה. זה מצב שמתאר את המערכת של שני הקיוביטים בצורה כזו שאני לא יכול לפרק אותו קונספטואלית למה שקורה אצל כל קיוביט בנפרד. וזו לא שאלה של הבסיס שבו אני עובד. ראינו ש-\( \left|++\right\rangle \) הוא מצב שכשכותבים אותו בבסיס הסטנדרטי הוא סכום, אבל אפשר לכתוב אותו בתור מכפלה טנזורית של שני איברים. עם המצב \( \frac{\left|00\right\rangle +\left|11\right\rangle }{\sqrt{2}} \) לא משנה איזה בסיס נבחר לשני הקיוביטים, אפילו אם זה בסיס “מעורבב” שהאיברים בו הם מהצורה \( \left|+0\right\rangle \) וכאלה, עדיין לא יהיה לנו כתיב של המצב בתור מכפלה של שני קיוביטים נפרדים; זה משהו אינהרטי למצב. השם שיש לדבר הזה בפיזיקה הוא מצב שזור.

מצבים שזורים הם הסיבה שבגללה חישוב קוונטי עם \( n \) קיוביטים דורש וקטור עם \( 2^{n} \) כניסות כדי לתאר אותו במקום שנוכל להסתפק בייצוג קומפקטי יותר. למעשה, יש טכניקות לסימולציה קלאסית של מחשבים קוונטיים שגודל האתגר שהן מתמודדות איתו הוא פרופורציוני לכמה המצב שמסמלצים הוא שזור (ככל שהשזירה גבוהה יותר - ככל ש”קשה יותר”, במובן טכני מסוים, לייצג את המצב עם כמות מחוברים קטנה - כך החישוב קשה יותר לסימולציה). אם הצלחנו להבין את הפורמליזם של מכפלה טנזורית ואת הרעיון של מצבים שזורים, שום דבר לא עוצר אותנו מלהבין עד הסוף איך חישובים קוונטיים עובדים. אל הפרטים הטכניים נגיע בפוסט הבא.


נהניתם? התעניינתם? אם תרצו, אתם מוזמנים לתת טיפ:

Buy Me a Coffee at ko-fi.com