תוכן הקורס ומטרתו
מבוא לחישוב קוונטי, בראייה של מדעי-המחשב.
הקורס מיועד לתלמידי תואר שני, אך פתוח גם לתלמידי תואר ראשון.
דרישות קדם: אלגברה לינארית (בסיס אורתונורמלי, מרחב ניצב, מכפלה פנימית, נורמה, וקטורים וערכים עצמיים, העתקות הרמיטיות ואוניטריות)
מושגים בסיסיים בחבורות (יוצרים, חבורות ציקליות, חבורות אבליות, תת חבורה) ובתורת המספרים (מחלק משותף מירבי, משפט השאריות הסיני, הפיכים מודלו N)
נושאי הקורס:
מודל החישוב - קיוביטים, מעגלים קוונטים
טלפורטציה קוונטית
אי שוויון בל
התמרת פורייה
אלגוריתמים בסיסים: דויטש, דויטש-ג'וזה, ברנשטיין-וזריני, סימון
האלגוריתמים של שור לבעיית הפירוק לגורמים ראשוניים ולבעיית הלוגריתם הבדיד
האלגוריתם של גרובר והחסם של BBBV
מטריצות צפיפות ומדידות מוכללות
אנטרופיית פון-ניומן
פרוטוקולים להטלת מטבע
קודים מתקני שגיאות
QMA
לא נדרש ידע מוקדם בפיזיקה.
טרם פורסם סילבוס מפורט