מבוא

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

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

וידאו השיעור

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