מחשוב קוונטי במשתנים רציפים
מחשוב קוונטי במשתנים רציפים (בלועזית: Continuous-Variable) הוא תחום במדעי המידע הקוונטי העושה שימוש בתצפיות פיזיקליות שערכיהן המספריים משתנים על פני רצף, כמו עוצמתו של שדה אלקטרומגנטי. במובן מסוים, נוכל לראות מחשוב קוונטי במשתנים רציפים כ"אנלוגי", בעוד שמחשוב קוונטי המבוסס על קיוביטים הוא "דיגיטלי".[דרושה הבהרה] מבחינה טכנית, מחשוב קוונטי במשתנים רציפים עושה שימוש במרחבי הילברט אינסוף־ממדיים, לעומת מרחב הילברט ממימד סופי במערכות הבנויות מאוסף של קיוביטים.[1][2][3] אחד מהמניעים המרכזיים לחקר מחשוב קוונטי רציף הוא לא רק ההבנה של אילו משאבים נדרשים כדי להתעלות על יכולות המחשוב הקלאסי, אלא גם ההבטחה ליישומים מעשיים בזכות האפשרות ליצירה דטרמיניסטית של מצבים שזורים – יתרון מהותי על פני הגישות ההסתברותיות במחשוב קוונטי בדיד.[4]
קיומוד
יחידת המידע הקטנה ביותר שבה משתמש המחשב הקלאסי היא הביט. כאשר נרצה לבנות מחשב קוונטי מבוסס משתנים רציפים, נשתמש ב-qumode, זוהי יחידת מידע קוונטית רציפה המתבססת על אופן קוונטי של השדה האלקטרומגנטי, המייצג פיזיקלית פתרון מרחבי של פונקציית הגל בתוך מערכת. (כמו מהוד אופטי) אותו אופן קוונטי מתואר קוונטית על ידי אוסצילטור הרמוני קוונטי.
כל qumode מייצג נקודה במישור פאזה, כלומר שני משתנים רציפים. אלו למשל יכולים להיות מיקום ותנע קוונטי או עוצמה ופאזה של השדה האלקטרומגנטי. ברוב המקרים משתמשים במיקום ותנע קוונטים, אשר מכונים קוואדרטורות המיקום והתנע.
מימוש המתבסס על קוואדרטורות המיקום והתנע
את המשתנים הרציפים ניתן ליצור על ידי שימוש באוסצילטור הרמוני קוונטי, שמייצג את רכיבי השדה האלקטרומגנטי של האור. (האוסילטור ההרמוני הקוונטי הוא האנלוגיה הקוונטית לאוסילטור ההרמוני הקלאסי מהמכניקה, כמו מסה על קפיץ)[4]
כאשר ההמילטוניאן של האוסילטור ההרמוני הקוונטי הבודד של חלקיק עם מסת יחידה:
נוכל להשתמש באותם ו- אשר הם המשתנים הרציפים של האוסילטור ההרמוני הקוונטי המתאר מודים של קרינה אלקטרומנגטית. ( ו- זהים מתמטית לאופרטורי המיקום והתנע הקוונטים ונוח להתייחס אליהם כ"מיקום" ו"תנע" למרות שהם בעצם מתארים רכיבים של השדה האלקטרומגנטי של האור ואין להם קשר לתנע או למיקום בפועל)
למשל, אם נרצה לקודד למשל את המספר , בהתאם לתזוזה של משתנה המיקום בהתבסס על משתנים רציפים, נוכל להתחיל ממצב ריק (מוכר כמצב הואקום), להפעיל עליו אופרטור הזחה (Displacement operator) עם ערך ממשי השווה ל, ואז נקבל מצב קוהרנטי , שהוא qumode שנמצא במשרעת פאי, וכאשר נבצע מדידה של משתנה המיקום הקוונטי, הפלט שנקבל הוא עם התפלגות גאוסית סביבו כתלות ברעש.[דרושה הבהרה]
באופן זה אנחנו מקבלים את אחד היתרונות הבולטים בקידוד רציף, כי אין אנו מוגבלים לערכים של 0 או 1, וגם לא לסופרפוזיציה ביניהם. אנחנו יכולים לקודד מספרים ממשיים שירורתיים, כאשר השדה האלקטרומגנטי מאפשר למדוד באופן רציף, עם עוצמה או פאזה של קרן לייזר.
מסגרות שונות לביצוע מחשוב קוונטי במשתנים רציפים
מערכות קוונטיות המבוססות על משתנים רציפים מהוות פלטפורמה מבטיחה למימוש מחשוב קוונטי. לאורך השנים הוצעו מספר גישות עקרוניות בתחום זה. הגישה הראשונה, שהוצעה על ידי סת' לויד וסמואל ל. בראונשטיין בשנת 1999, התבססה על מודל המעגלים- שערים לוגיים קוונטיים ממומשים באמצעות המילטוניאנים ריבועיים של קואדרטורות האוסילטור ההרמוני.[5] בהמשך, הותאם גם המודל של מחשוב קוונטי מבוסס-מדידה למרחבים אינסופיים-ממדית, כפי שמתארות מערכות רציפות. [6] שיטת המדידה הכי נפוצה במשתנים רציפים קרויה גילוי הומודיני (homodyne detection), זו שיטה למדידת קוודרטורות (כמו מיקום ותנע קוונטים או פאזה ועוצמה של שדה אלקטרומגנטי). מדובר במדידה שמבוססת על עירוב של האות הנמדד עם לייזר ייחוס (Local Oscillator) באותו תדר.
גישה שלישית מציעה לקודד מערכות סופיות-ממדית, כמו אוספים של קיוביטים, בתוך מרחבי הילברט אינסופיים — מודל זה פותח על ידי גוטסמן, קיטאייב ופרסקל, ומהווה בסיס חשוב לשיטות תיקון שגיאות ולמימוש לוגיקה קוונטית בתוך משתנים רציפים. [7]
יתרונות וחסרונות של מחשוב קוונטי רציף
בניגוד למערכות בדידות התלויות לעיתים קרובות באינטראקציות הסתברותיות בין פוטונים בודדים, מערכות רציפות מסוגלות ליצור שזירה בין קיומודים באופן דטרמיניסטי, במיוחד במערכות פוטוניות המשתמשות במקורות אור מכווצים. מערכות אלו נהנות מאפשרות של ריבוב בממדים שונים—תדר, זמן, מרחב ומסלול—מה שמאפשר בניית מצבים שזורים נרחבים (cluster states) החיוניים לחישוב קוונטי אוניברסלי. אינטגרציה של מערכות רציפות לפלטפורמות פוטוניות על שבב מאפשרת ארכיטקטורות קומפקטיות, יציבות פאזית, מותאמות CMOS, ועמידות, עם פוטנציאל גבוה למזעור והרחבה.[4]
למרות שהפעולות דטרמיניסטיות, לרוב רמת האמינות של הפעולות על קיומודים רציפים נמוכה יותר בהשוואה למערכות בדידות, בעיקר בגלל אי שלמות בכיווץ[דרושה הבהרה] ובמדידה. המודלים התאורטיים האידיאליים מניחים כיווץ אינסופי, אך בפועל ניתן להגיע רק לכיווץ סופי, מה שמגביל את הדיוק והעמידות בפני שגיאות. מערכות רציפות, ובעיקר אלו התלויות בכיווץ, רגישות לרעש עודף, במיוחד בתדרים נמוכים של תדרי צד, מה שעלול לפגוע בשזירה ובאיכות החישוב. המדידות הרגילות (למשל הומודין) עשויות שלא לקלוט את כל תכונות השזירה, במיוחד כאשר נוצרים מטריצות קו-וריאנציה הרמיטיות אך לא סימטריות בתדרים גבוהים, למשל עקב פיזור מסוג בראג. המימוש הניסויי דורש נעילת פאזה מדויקת, שליטה בשאיבה והתאמה עדינה של האוסצילטורים, מה שמעלה את מורכבות המערכת. בניגוד למערכות בדידות בהן קיימים פרוטוקולים מתקדמים לתיקון שגיאות, מערכות רציפות עדיין מתמודדות עם אתגרים בתיקון שגיאות, והתחום נמצא במחקר מתמשך.
אחד ההבדלים המרכזיים בין מחשוב קוונטי במשתנים רציפים לבין מערכות בדידות, הוא בדרישות הסביבתיות ובפרט בטמפרטורה הדרושה לתפקוד תקין של המערכת. מערכות בדידות, כמו קיוביטים מבוססי מוליכי־על, מחייבות הפעלה בטמפרטורות של כמה עשרות מילי־קלווין בלבד, באמצעות מקררי דילול יקרים ומסורבלים- כל ההתקנים הללו פועלים בקירור קריוגני, מאחר שהקיוביטים הללו רגישים מאוד לרעש תרמי וכל עלייה קטנה בטמפרטורה עלולה לגרום לשגיאות קוונטיות. לעומת זאת, במחשוב קוונטי רציף מבוסס פוטונים אין צורך בטמפרטורות קיצוניות, פוטונים אינם נושאים מטען או מסה ולכן כמעט ואינם מושפעים מחום סביבתי. מקורות האור (כמו לייזרים מכווצים) והגלאים (כגון גלאי הומודין) פועלים לרוב בטמפרטורת החדר, מה שמאפשר לבנות ולהפעיל מערכות ניסוייות ומעשיות. כתוצאה מכך, מחשוב במשתנים רציפים נהנים מהוזלה משמעותית בעלויות, פשטות הנדסית, נגישות גבוהה יותר, ואפשרות למזעור והטמעה על שבבים פוטוניים משולבים.[8]
ראו גם
עיינו גם בפורטל: | |||
---|---|---|---|
![]() |
פורטל מדעי המחשב |
קישורים חיצוניים
- מאיר אורבך, חברת Quantum Source גייסה 50 מיליון דולר לפיתוח מחשב קוונטי פוטוני, באתר כלכליסט, 10 בספטמבר 2024
- אתר הבית של PsiQuantum: https://www.psiquantum.com – חברת סטארט-אפ אמריקאית מקליפורניה, שפועלת לבניית מחשב קוונטי פוטוני בקנה מידה של מיליון קיוביטים תוך שימוש בטכנולוגיית סיליקון פוטוניקס ותיקון שגיאות קוונטיות.
- עמוד מידע של IOP על ORCA Computing: ORCA Computing ב-Institute of Physics – חברת סטארט-אפ בריטית שמפתחת מחשבים קוונטיים פוטוניים עם זיכרונות קוונטיים, תוך דגש על שילוב עם מערכות קלאסיות ויישומים בתחום הביטחוני.
הערות שוליים
- ↑ Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (2012-05-01). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535.
- ↑ Braunstein, Samuel L.; van Loock, Peter (2005-06-29). "Quantum information with continuous variables". Reviews of Modern Physics. 77 (2): 513–577. arXiv:quant-ph/0410100. Bibcode:2005RvMP...77..513B. doi:10.1103/RevModPhys.77.513. S2CID 118990906.
- ↑ Adesso, Gerardo; Ragy, Sammy; Lee, Antony R. (2014-03-12). "Continuous Variable Quantum Information: Gaussian States and Beyond". Open Systems & Information Dynamics. 21 (1n02): 1440001. arXiv:1401.4679. doi:10.1142/S1230161214400010. ISSN 1230-1612. S2CID 15318256.
- ^ 4.0 4.1 4.2 Jia, X., Zhai, C., Zhu, X. et al. Continuous-variable multipartite entanglement in an integrated microcomb. Nature 639, 329–336 (2025). https://doi.org/10.1038/s41586-025-08602-1
- ↑ Menicucci, Nicolas C.; van Loock, Peter; Gu, Mile; Weedbrook, Christian; Ralph, Timothy C.; Nielsen, Michael A. (2006-09-13). "Universal Quantum Computation with Continuous-Variable Cluster States". Physical Review Letters. 97 (11): 110501. arXiv:quant-ph/0605198. Bibcode:2006PhRvL..97k0501M. doi:10.1103/PhysRevLett.97.110501. PMID 17025869. S2CID 14715751.
- ↑ Zhang, Jing; Braunstein, Samuel L. (2006-03-16). "Continuous-variable Gaussian analog of cluster states". Physical Review A. 73 (3): 032318. arXiv:quant-ph/0501112. Bibcode:2006PhRvA..73c2318Z. doi:10.1103/PhysRevA.73.032318. S2CID 119511825.
- ↑ Gottesman, Daniel; Kitaev, Alexei; Preskill, John (2001-06-11). "Encoding a qubit in an oscillator". Physical Review A. 64 (1): 012310. arXiv:quant-ph/0008040. Bibcode:2001PhRvA..64a2310G. doi:10.1103/PhysRevA.64.012310. S2CID 18995200.
- ↑ Grumbling & Horowitz 2019, p. 126.

מחשוב קוונטי במשתנים רציפים41548166Q48996747