הדגמה של חישוב לוגי כמותי אוניברסלי ללא מדידות

מדוע מחשבים קוונטיים מהירים ואמינים יותר חשובים

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

הגנה על מידע קוונטי ללא בדיקות תכופות

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

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

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

בניית ארגז כלים קוונטי אוניברסלי ללא קריאה באמצע המעגל

הטלפורטציה לבדה אינה מספיקה; מחשב קוונטי מעשי גם צריך קבוצת שערים לוגיים אוניברסלית שיכולה לממש כל אלגוריתם. המחברים בונים ארגז כלים כזה על קוד זיהוי שגיאות שמורכב משמונה קיוביטים ומכיל בו זמנית שלושה קיוביטים לוגיים המסודרים כמו פינות של קובייה. קוד זה תומך באופן טבעי בשער חזק של שלושה קיוביטים, הידוע כ‑CCZ, באמצעות סיבובי קיוביט יחיד פשוטים שאינם מפיצים שגיאות. מה שהיה חסר הוא גרסה לוגית איכותית של שער הדמארד (Hadamard), שמערבבת 0 ו‑1 לוגיים והיא חיונית לרוב האלגוריתמים. הצוות מממש שער זה באמצעות טכניקה שנקראת הזרקת מצב: הם מכינים מציין משאבים מיוחד בקוד קטן שני, מקשרים אותו באופן קוהרנטי לקוד הנתונים, ומחליפים את שלב המדידה‑והתיקון הרגיל במנגנון משוב קוונטי בלבד. שער Hadamard לוגי זה ללא מדידות משתמש רק בשערים קוהרנטיים ואיפוסים, ובכל זאת נשאר עמיד לשגיאות בתכנון.

הרצת חיפוש של גרובר על קיוביטים מקודדים

עם טלפורטציה ללא מדידות וקבוצת שערים אוניברסלית ביד, החוקרים מיישמים את אלגוריתם החיפוש של גרובר על שלושה קיוביטים לוגיים המקודדים בשמונה יונים פיזיים. אלגוריתם גרובר הוא דוגמה מצטיינת לאיך מכניקת הקוונטים יכולה להאיץ חיפוש ברשימה לא ממוינת, כאן של שמונה תשובות אפשריות. הקבוצה עיצבה מחדש את המעגל הסטנדרטי של גרובר כך שישתמש רק בשערים הלוגיים הזמינים—Hadamard, controlled‑NOT ו‑CCZ—ומבצעת אותו על המעבד יונים כלואים שלהם. בניסוי שתי התשובות הנכונות הופיעו בסיכוי מצרפי של כ‑40 אחוז בהרצה בודדת. זה נמוך במעט מהאסטרטגיה הקלאסית הטובה ביותר לגודל בעיה זעיר זה, אך סימולציות מראות ששיפורים צנועים בנאמנות השערים או בקוהרנטיות הקיוביטים—כבר הוכחו בחומרה קשורה—ידחפו את סיכויי ההצלחה הקוונטיים מעל הגבול הקלאסי.

מה המשמעות של זה לעתיד המכונות הקוונטיות

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

ציטוט: Butt, F., Pogorelov, I., Freund, R. et al. Demonstration of measurement-free universal logical quantum computation. Nat Commun 17, 995 (2026). https://doi.org/10.1038/s41467-026-68533-x

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