מבוא

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

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

וידאו השיעור

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