עדות ובדיקה יעילה של "קסם" בקומות קוונטיות מעורבות

מדוע "קסם" קוונטי חשוב

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

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

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

"עדות" חדשה לקסם קוונטי

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

בדיקת עוצמה קוונטית וספירת שערי T רועשים

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

חקירת מערכות רבים-גופים וקריפטוגרפיה קוונטית

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

מה משמעות הדבר לעתיד הטכנולוגיה הקוונטית

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

ציטוט: Haug, T., Tarabunga, P.S. Efficient witnessing and testing of magic in mixed quantum states. npj Quantum Inf 12, 40 (2026). https://doi.org/10.1038/s41534-026-01189-z

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