משפט גוטסמן-ניל

משפט גוטסמן-ניל הוא משפט יסודי במחשוב קוונטי הקובע כי מעגל קוונטי הממומש על ידי שערי קליפורד יכול להיות מסומלץ בזמן פולינומי על מחשב קלאסי, וכך אין יתרון חישוב למעגל קוונטי שכזה. המשפט פורסם לראשונה במאמר מאת דניאל גוטסמן , פיזיקאי וחוקר מחשוב קוונטי, בסוף שנות ה־90 של המאה ה־20 ונושא גם את שמו של עמנואל ניל (Emanuel Knill) שתרם ליישום המשפט.

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

שערי פאולי על קיוביט בודד מוגדרים כך:

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

. גודל חבורת קליפורד המוגדרת על קיוביט n-ממדי הוא .

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

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

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

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

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

דוגמאות נוספות לשערי קליפורד הן שערי SWAP, iSWAP וטופולי.

 המשפט 
המשפט אומר כי כל מחשב קוונטי המערב:

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

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

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

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

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

מצבים אלו, הנקראים מצבים גאוסיים הם סט מצבים המוגדרים כך שפונקציית ויגנר  (פונקציית קוואזי הסתברות) המוגדרת כך:

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

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

 קישורים חיצוניים 
 Gross, D. “Hudson’s Theorem for Finite-Dimensional Quantum Systems.” Journal of Mathematical Physics, vol. 47, no. 12, 1 Dec. 2006
 Van den Nest, Maarten. “Classical Simulation of Quantum Computation, the Gottesman-Knill Theorem, and Slightly Beyond.” ArXiv.org, 6 Nov. 2008, arxiv.org/abs/0811.0898. Accessed 14 Oct. 2009.
 Nielsen, Michael A, and Isaac L Chuang. Quantum Computation and Quantum Information. Cambridge Cambridge University Press, 2019, p. 464.
 Gottesman, Daniel. “The Heisenberg Representation of Quantum Computers.” ArXiv (Cornell University), 1 Jan. 1998
הערות שוליים

קטגוריה:חישוב קוונטי