שער קוונטי

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

הפעלת שער קוונטי  על אוגר המכיל קיוביטים במצב הקוונטי  תשנה את מצב האוגר ל־ (מצב האוגר בכניסה יכול להיות כל מצב שהוא (מצב בסיס או סופרפוזיציה קוונטית כלשהי של מצבי בסיס). מעקרון הליניאריות יתקבל כי הפעלת השער על הסופרפוזיציה  תתן במוצא השער את המצב .

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

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

שער מבוקר 
לכל שער קוונטי  ניתן להגדיר שער מבוקר (מסומן לרוב ב־). לשער המבוקר מתווספת כניסה נוספת (כניסת הבקרה, control) אשר מהווה כניסה מאפשרת (enable) לאותו שער. כלומר, אם הבקרה במצב  השער אינו מאופשר והמוצא יהיה זהה אל הכניסה. אם הבקרה במצב  השער פועל באופן רגיל.
שמאל|ממוזער|200px|שער קוונטי מבוקר. הכניסה העליונה היא כניסת הבקרה, והתחתונה היא המטרה (target).

בניסוח מתמטי,  ואילו . השער המבוקר מממש את האופרטור האוניטרי (בממד )

כאשר  היא מטריצת היחידה מממד n.

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

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

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

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

שער אדמר מוגדר בתור האופרטור

שער פאזה הוא למעשה משפחה של שערים המוגדרים על ידי האופרטור

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

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

 שערים של 2 קיוביטים 
במקרה הכללי, כל מטריצה אוניטרית בממד 4x4 מהווה שער קוונטי של שני קיוביטים. כמו כן, ניתן להפוך כל שער של קיוביט יחיד לשער-מבוקר של 2 קיוביטים. דוגמה מפורסמת היא שער NOT מבוקר, CNOT, אשר ניתן לתיאור על ידי האופרטור
.

פעולת השער על קיוביט המטרה (target) היא היפוך המצב של קיוביט המטרה, כאשר קיוביט הבקרה (control) "דולק", כאשר הביטים מיוצגים בבסיס החישוב.
 כניסה  יציאה Control  Target  Control  Target 0  0  0  0 0  1  0  1 1  0  1  1 1  1  1  0
שימוש בשער זה מאפשר יצירת מצב שזור כגון מצב בל על ידי הפעלת השער על כניסת בקרה אשר נמצאת בסופרפוזיציה של אברי בסיס החישוב. למשל, הפעלת השער על המצב  כאשר קיוביט הבקרה הוא , ייצר את המצב .
באופן דומה, ניתן לקבל את ארבעת מצבי בל על ידי אתחול קיוביט הבקרה ל  או , ואתחול קיוביט המטרה לאחד ממצבי בסיס החישוב  או .

 שערים של 3 קיוביטים 
 שער טופולי 
שער טופולי הוא שער הפועל על אוגר של 3 קיוביטים, אשר הומצא על ידי תומאסו טופולי.
שמאל|ממוזער|185px|שער טופולי. מיוצג על ידי שער NOT-מבוקר-מבוקר
פעולת השער על מצבי בסיס החישוב מתוארת בטבלה הבאה
 כניסה יציאה c1  c2  t  c1  c2  t 0   0   0   0   0   0 0  0  1  0  0  1 0  1  0  0  1  0 0  1  1  0  1  1 1  0  0  1  0  0 1  0  1  1  0  1 1  1  0  1  1  1 1  1  1  1  1  0
ניתן להתייחס אל שער טופולי כאל שער NOT מבוקר פעמיים, או לחלופין, בתור שער CNOT מבוקר. בשל כך, השער ידוע גם בשם controlled-controlled-NOT או CCNOT. לשער שתי כניסות בקרה (c1, c2 בטבלה) וכניסת מטרה יחידה (t). רק כאשר שתי כניסות הבקרה "דולקות", השער הופך את סיבית המטרה. מדרך פעולתו של השער קל לראות כי שער טופולי הוא ההפכי של עצמו.
שער טופולי מהווה מערכת שערים אוניברסלית לחישוב הפיך (כלומר, ניתן בעזרתו ליצור מעגל הפיך עבור כל פונקציה בוליאנית).

 שער פרדקין 
שער פרדקין הוא שער הפועל על אוגר של 3 קיוביטים, אשר הומצא על ידי אד פרדקין.
לשער כניסת בקרה (c) ושתי כניסות מטרה (I1, I2). כאשר כניסת הבקרה "כבויה" השער ממפה את כניסות המטרה אל היציאות (O1, O2 בהתאמה). כאשר כניסת הבקרה דולקת, השער מבצע החלפה בין שני קיוביטי המטרה, כלומר ממפה את הכניסה I1 אל היציאה O2 ואת הכניסה I2 אל היציאה O1. למעשה, זהו שער החלפה-מבוקר (controlled-SWAP). טבלת האמת של השער (על אברי בסיס החישוב) ניתנת לסיכום באופן הבא
 כניסה יציאה C  I1  I2 C  O1  O2 0   0   0 0   0   0 0  0  1  0  0  1 0  1  0  0  1  0 0  1  1  0  1  1 1  0  0  1  0  0 1  0  1  1  1  0 1  1  0  1  0  1 1  1  1  1  1  1
שער פרדקין הוא ההפכי של עצמו, ומהווה מערכת שערים אוניברסלית לחישוב הפיך.

קישורים חיצוניים


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