מהו קיוביט? מדריך ברור לאבן הבניין של מחשבים קוונטיים

מדריך פשוט לקיוביטים: מה הם, איך פועלים סופרפוזיציה ומדידה, ולמה ביטים קוונטיים שונים מביטים קלאסיים.

עמוד זה תורגם מאנגלית. שמות החברות והמוצרים וקישורי המקור נותרו ללא שינוי. לקריאת המקור באנגלית

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

התשובה הקצרה: קיוביט הוא מערכת קוונטית דו-מצבית

במחשוב קלאסי, ביט הוא או 0 או 1. במחשוב קוונטי, קיוביט ממודל כמערכת קוונטית בעלת שני מצבים, שמצבי הבסיס שלה נכתבים בתור (|0\rangle) ו-(|1\rangle).

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

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

במה קיוביט שונה מביט קלאסי

ההבדל המרכזי הוא סופרפוזיציה.

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

[ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle ]

כאן, (\alpha) ו-(\beta) הן אמפליטודות הסתברות, ובאופן כללי הן מספרים מרוכבים. אלה אינן הסתברויות באופן ישיר. במקום זאת, כאשר מודדים את הקיוביט בבסיס הסטנדרטי, ההסתברות לקבל 0 היא (|\alpha|^2), וההסתברות לקבל 1 היא (|\beta|^2). ההסתברויות האלה חייבות להסתכם ל-1:

[ |\alpha|^2 + |\beta|^2 = 1 ]

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

למידע הפאזה הזה אין מקבילה קלאסית רגילה.

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

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

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

למשל, המצב

[ \frac{1}{\sqrt{2}}|0\rangle + \frac{1}{\sqrt{2}}|1\rangle ]

מניב 0 או 1 בהסתברות שווה כאשר מודדים אותו בבסיס הסטנדרטי.

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

למה אמפליטודות מרוכבות חשובות

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

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

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

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

השוואה פשוטה

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

מקיוביט אחד להרבה קיוביטים

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

עבור שני ביטים קלאסיים, יש ארבעה מצבים אפשריים: 00, 01, 10 ו-11. אבל בכל רגע רגיסטר קלאסי של שני ביטים נמצא רק באחד מהם. שני קיוביטים, לעומת זאת, חיים במרחב מצבים ארבע-ממדי הנפרש על ידי מצבי הבסיס (|00\rangle), (|01\rangle), (|10\rangle) ו-(|11\rangle). באופן כללי יותר, רגיסטר של (n) קיוביטים מתואר במרחב הילברט מממד (2^n).

הערך של Wikipedia על quantum computing מדגיש תוצאה מעשית: תיאור המצב המלא של (n) קיוביטים דורש (2^n) מספרים מרוכבים. הצמיחה המתפוצצת הזו היא אחת הסיבות לכך שקשה לדמות מערכות קוונטיות באופן קלאסי, וגם אחת הסיבות לכך שמחשבים קוונטיים עשויים להציע יתרונות משמעותיים בכמה בעיות.

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

האינטואיציה של כדור בלוך

מודל חזותי נפוץ לקיוביט הוא כדור בלוך. הערך של Wikipedia על qubit מציין שאפשר לפרמט את האמפליטודות של קיוביט באמצעות שתי זוויות, שלרוב נכתבות בתור (\theta) ו-(\phi). אף שהאמפליטודות הגולמיות (\alpha) ו-(\beta) הן מרוכבות, הנרמול מסיר דרגת חופש אחת, וכך מאפשר למפות מצבי קיוביט טהורים בדרך גאומטרית פשוטה יותר.

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

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

מה קיוביט אינו

קל להפריז בתיאור מה שקיוביטים עושים.

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

שנית, הערך של Wikipedia על qubit אכן אומר שקיוביט אחד יכול לשאת יותר מידע בפרוטוקולים מסוימים, ומזכיר עד 2 ביטים באמצעות superdense coding. אבל אין לפרש זאת כטענה כללית שלפיה קיוביט פשוט מאחסן “פי שניים יותר נתונים” מביט במחשוב יומיומי. ההתנהגות תלויה בפרוטוקול ובמשאבים הקוונטיים המעורבים.

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

למה קשה לבנות קיוביטים

המושג קיוביט נקי מבחינה מתמטית. החומרה לא.

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

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

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

למה קיוביטים חשובים

קיוביטים חשובים מפני שהם משנים את מודל החישוב עצמו.

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

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

נקודות מפתח

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