מבוא

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

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

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

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

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

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

סרטון השיעור

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