Temporal Locator ו־P‑CTC: מסגרת חדשה לצמצום שגיאות במחשוב קוונטי

בשורה התחתונה

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

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

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

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

כאן נכנס הרעיון שאני מציע לקרוא לו Temporal Locator, או בעברית פשוטה יותר: “המצלמה”.

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

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

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

למה הנושא הזה רלוונטי דווקא עכשיו?

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

באפריל 2026 הועלתה גרסה מעודכנת של מחקר שבו הודגם פרוטוקול P‑CTC על מעגל של ארבעה קיוביטים, גם במעבדי Quantinuum וגם במעבדי IBM Quantum. החוקרים השתמשו בפוסט־סלקציה כדי לפענח מידע קוונטי שעבר ערבול. הם הדגישו במפורש שהניסוי אינו יוצר מסע בזמן פיזי, אלא מדמה את המבנה הלוגי של מסלול עקבי מסוג P‑CTC.

במקביל, תחום בדיקות השגיאה לאורך המעגל מתקדם במהירות. במאי 2026 העלה צוות מחברת Classiq, שמרכזה בתל אביב, קדם־מאמר על בדיקת קיוביטי עזר בנקודות שונות של המעגל. השיטה בודקת האם קיוביט עזר שהשלים את תפקידו חזר כמתוכנן למצב $\lvert 0\rangle$ , ודוחה ריצות שבהן נמדדה חריגה. בסימולציות הספציפיות של החוקרים, הבדיקות האמצעיות הפחיתו בכ־10% את שיעור הריצות הפגומות שלא זוהו, תוך דחייה של כ־1% מהריצות התקינות. המחקר אף מציע לעצור מוקדם ריצות שכבר סומנו כפגומות.

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

תרשים 1 · זרימת תהליך מסלול ריצה עם בדיקות לאורך הזמן

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

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

שלושת הרכיבים של המסגרת

1. אלגוריתם שור כקו בסיס

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

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

לשור יש כמה תכונות שהופכות אותו למועמד טוב לניסוי Temporal Locator:

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

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

האם הריצה עברה את בדיקות ה־Temporal Locator?
האם היא עברה את הפוסט־סלקציה של ה־P‑CTC?
האם היא החזירה תשובה מתמטית נכונה?

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

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

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

שור מספק את עומס העבודה ואת אמת המידה; P‑CTC מוסיף את תנאי הקבלה המותנה.

2. P‑CTC כמסנן של היסטוריות עקביות

P‑CTC הוא קיצור של עקומת זמן סגורה עם פוסט־סלקציה (Post-selected Closed Timelike Curve). המודל מתבסס על טלפורטציה קוונטית שבה מכינים זוג שזור, מבצעים אינטראקציה עם המערכת ומקבלים רק תוצאת מדידה מסוימת בסוף.

באופן סכמטי, פעולת פוסט־סלקציה נראית כך:

\rho_{\mathrm{accepted}}=\frac{P U\rho U^{\dagger}P}{\operatorname{Tr}\!\left(P U\rho U^{\dagger}P\right)}

כאן $U$ הוא התהליך הקוונטי, $P$ הוא אופרטור ההטלה המייצג את תנאי הקבלה, והמכנה הוא ההסתברות שהריצה בכלל תתקבל.

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

בפרשנות של P‑CTC, הדבר מתואר כאילו רק היסטוריות שאינן יוצרות סתירה סיבתית נשארות אפשריות. במחקר מ־2026 על פענוח מידע שעבר ערבול קוונטי, זוג ה־EPR והפוסט־סלקציה הסופית שימשו בדיוק כדי לבנות סימולציה של מסלול עקבי, והסתברות ההצלחה נקשרה למדד OTOC המתאר את התפשטות המידע במערכת.

לפוסט־סלקציה יש גם משמעות עמוקה בתורת הסיבוכיות. סקוט אהרונסון הוכיח שהמחלקה $\mathrm{PostBQP}$ — מחשוב קוונטי פולינומי המקבל יכולת אידאלית לבחור תוצאות מדידה — שווה למחלקה $\mathrm{PP}$ . זה כוח חישובי גדול משמעותית מ־ $\mathrm{BQP}$ הרגילה.

אבל אין כאן מחשב־על בחינם.

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

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

תרשים 2 · פרוטוקול קוונטי P‑CTC באמצעות טלפורטציה ופוסט־סלקציה

P‑CTC מדומה במעגל רגיל: מכינים זוג EPR, מפעילים אינטראקציה ומקבלים רק ריצות שעוברות את הטלת Bell הסופית; אין כאן מסע בזמן פיזי.

אלא שתנאי סופי לבדו אינו מספר היכן נפגעה הריצה — ואת הפער הזה נועדה למלא „המצלמה”.

3. Temporal Locator — “המצלמה”

השם “מצלמה” הוא מטאפורה שימושית, אך גם מסוכנת.

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

לכן Temporal Locator אינו אמור להעתיק את וקטור המצב, לקרוא את כל האמפליטודות או לשמור “תמונה” מלאה של הקיוביטים בכל רגע.

הוא אמור לקרוא חתימות מוגבלות של עקביות.

במקום לשאול “מהו המצב הקוונטי המלא בזמן $t_i$ ?”, המצלמה שואלת שאלות צרות יותר:

האם קיוביט העזר חזר ל־ $\lvert 0\rangle$ ?
האם זוג קיוביטים עדיין מקיים זוגיות צפויה?
האם ערך של מייצב נשמר?
האם כמות שמורה השתנתה?
האם פעולת היפוך החישוב באמת ניקתה את רגיסטר העבודה?
האם זוג ה־EPR של מסלול ה־P‑CTC עדיין מתאים לתנאי העקביות שהוגדר?
האם הסינדרום שנמדד תואם להיסטוריה שנחשבת תקינה?

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

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

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

ההגדרה הפורמלית של “חוזה הזמן”

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

T=\left(\{t_i\},\{\Pi_i\},\{\tau_i\},g,A\right)

כאשר:

$t_i$ הן נקודות הזמן או שכבות המעגל שבהן מתבצעת בדיקה.
$\Pi_i$ הוא הפרדיקט או אופרטור הבדיקה בכל נקודה.
$\tau_i$ הוא סף קבלה, כאשר הבדיקה אינה בינארית.
$g$ היא פונקציה הקובעת כיצד כל תוצאות הביניים הופכות להחלטת קבלה או דחייה.
$A$ היא מדיניות ההמשך: סימון הריצה, תיקון מותנה, דילוג על בלוק או עצירה מוקדמת.

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

תרשים 3 · חוזה ניסויי חוזה זמן מוקפא מראש

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

נניח שהמעגל מחולק ליחידות:

U=U_m U_{m-1}\cdots U_1

לאחר כל יחידה מתבצעת בדיקה:

\widetilde{\rho}_i=\Pi_i U_i\rho_{i-1}U_i^{\dagger}\Pi_i

הסתברות המעבר של נקודת הבדיקה היא:

p_i=\operatorname{Tr}\!\left(\widetilde{\rho}_i\right)

והמצב המותנה, אם הריצה עברה, הוא:

\rho_i=\frac{\widetilde{\rho}_i}{p_i}

הסתברות הקבלה הכוללת היא מכפלת הסתברויות המעבר המותנות:

P_{\mathrm{acc}}=\prod_{i=1}^{m}p_i

לאחר מכן ניתן להוסיף את תנאי הפוסט־סלקציה הסופי של ה־P‑CTC.

בצורה הזאת, Temporal Locator אינו “אורקל זמן” בלתי מוגבל שמגלה את העבר או העתיד. הוא אורקל אימות מוגבל שמחזיר מידע מוגדר מראש על נקודות שונות בהיסטוריית החישוב.

לאחר שהוגדר מה נבדק בכל נקודה, אפשר להבהיר גם מה פירושו של „מיקום” השגיאה.

מה בדיוק המצלמה מאתרת?

השם Locator מוצדק רק אם מגדירים נכון את משמעות ה”מיקום”.

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

Temporal Locator אינו בהכרח מאתר שער יחיד. הוא מצמצם את טווח החשד.

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

אותו עיקרון יכול להפוך לחלק מרכזי ב־Temporal Locator:

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

כך מתקבלת מפה של היסטוריית החישוב, לא צילום שלה.

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

האם Temporal Locator באמת מצמצם שגיאות?

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

זהו הבדל מהותי.

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

לכן מדובר בראש ובראשונה בשיטת איתור ודחיית שגיאות, לא בשיטת תיקון שגיאות קוונטי מלאה.

היא יכולה:

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

לעומת זאת, היא אינה יכולה להבטיח:

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

ההבדל בין תיקון שגיאות, הפחתת שגיאות ו־Temporal Locator

גישה	מה היא עושה	האם היא מתקנת?	מתי מתקבלת אינדיקציה?	המחיר המרכזי
תיקון שגיאות קוונטי (QEC)	מקודדת קיוביט לוגי בכמה קיוביטים פיזיים, מודדת סינדרומים ומפעילה תיקון	כן, בגבולות הקוד	במהלך החישוב	קיוביטים, שערים, השהיה ו־מפענח
הפחתת שגיאות	מעריכה או מסננת את השפעת הרעש בלי קידוד מלא	בדרך כלל לא	בסוף או בין שלבים	יותר הרצות ולעיתים הטיה
פוסט־סלקציה רגילה	משאירה רק ריצות בעלות תוצאה מסוימת	לא	לרוב בסוף	ירידה בשיעור הקבלה
P‑CTC	מחילה תנאי גבול מותנה המדמה מסלול עצמי עקבי	לא בהכרח	בגבול הפוסט־סלקציה	אי־ליניאריות מותנית ונדירות האירוע
Temporal Locator	מפעיל רשת בדיקות לאורך הזמן ומפיק רשומת עקביות	בעיקר מזהה ודוחה	בכמה נקודות לאורך המעגל	מדידות נוספות, קיוביטי עזר ואובדן דגימות

Temporal Locator נמצא למעשה בין הפחתת שגיאות לבין איתור שגיאות. ניתן לחבר אותו ל־QEC, אך הוא אינו QEC בפני עצמו.

תרשים 4 · מפת תפקידים כיצד כל גישה מטפלת בשגיאות

מפת תפקידים: QEC מתקן בגבולות הקוד; הפחתת שגיאות מעריכה את השפעת הרעש; Temporal Locator מזהה ודוחה לאורך המעגל; ופוסט־סלקציה עם P‑CTC מסננת לפי תנאי גבול.

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

למה לא להסתפק בפוסט־סלקציה בסוף?

נניח שיש לנו מעגל עמוק בן אלפי שערים. שגיאה חמורה מופיעה לאחר 10% מהמעגל, אך תנאי הקבלה נבדק רק בסיום.

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

בדיקות ביניים יכולות ליצור שלושה יתרונות.

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

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

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

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

מחקר מ־2026 על פוסט־סלקציה של שגיאות מחיקה הראה שהערך של השיטה תלוי באופן ישיר באמינות הבדיקות עצמן. בדוגמת QFT מסוימת הושגה הפחתה מלאה של ערוץ המחיקה כאשר שיעור השגיאה בבדיקת המחיקה היה נמוך מ־3%, אך זהו סף התלוי במודל ובחומרה, ולא חוק אוניברסלי.

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

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

נניח שכל בדיקה עוברת בהסתברות של 99%, ויש 100 בדיקות עצמאיות בקירוב.

שיעור הקבלה הכולל יהיה:

0.99^{100}\approx36.6\%

אם כל בדיקה עוברת בהסתברות של 95%, נקבל:

0.95^{100}\approx0.59\%

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

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

המדדים החשובים הם:

P_{\mathrm{acc}}

הסתברות הקבלה;

P(\mathrm{correct}\mid\mathrm{acc})

הסתברות התשובה הנכונה בתנאי שהריצה התקבלה;

ו־

Y=P_{\mathrm{acc}}\cdot P(\mathrm{correct}\mid\mathrm{acc})

שהוא שיעור התשובות הנכונות מכלל הריצות שבוצעו.

אם הנאמנות המותנית עולה מ־60% ל־99%, אך רק אחת מכל אלף ריצות מתקבלת, ייתכן שהמערכת החדשה גרועה יותר מבחינת זמן QPU לכל תשובה נכונה.

זו נקודה מרכזית במיוחד ב־P‑CTC: נרמול מותנה יכול לגרום לתוצאה להיראות מושלמת בתוך האוסף שנבחר, בזמן שהסתברות הכניסה לאוסף הזה הולכת ונעלמת.

תרשים 5 · גרף נתונים דעיכה מעריכית של שיעור הקבלה

כאשר לכל בדיקה הסתברות מעבר קבועה, הקבלה המצטברת דועכת מעריכית: אחרי 100 בדיקות נשארים 36.6% ב־99% לכל בדיקה ורק 0.59% ב־95%.

מה כבר קיים בספרות — ומה יכול להיות החידוש האמיתי?

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

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

ב־2025 הוצעה שיטה המבוססת על קודי מרחב־זמן לאיתור שגיאות במעגלי Clifford על טופולוגיות שונות. החוקרים הדגימו בדיקות על מעגלים שכללו עד 50 קיוביטים לוגיים ו־2,450 שערי CZ, ודיווחו על שיפורי נאמנות גדולים בתרחישים מסוימים. הם גם מצאו שמספר הבדיקות התקפות יורד במהירות ככל שהמעגל כולל יותר רכיבים שאינם Clifford.

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

מכאן שהחידוש של Temporal Locator לא יכול להיות רק “נמדוד קיוביט עזר באמצע”.

התרומה המקורית החזקה יותר יכולה להיות השילוב של חמישה עקרונות:

ראשית, חיבור מפורש בין בדיקות רב־זמניות לבין תנאי הגבול של P‑CTC.

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

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

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

חמישית, הערכה על פי תפוקה כוללת וזמן לפתרון נכון, ולא רק על פי איכות האוסף המסונן.

בגרסה הזאת אפשר לקרוא למסגרת המלאה:

TL‑PCTC — Temporal Locator בשילוב עקומת זמן סגורה עם פוסט־סלקציה

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

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

כיצד ייראה ניסוי אמיתי?

ניסוי ראשוני לא צריך לנסות לשבור הצפנה אמיתית. הוא צריך להפריד בין ההשפעות השונות באופן שאפשר לשחזר.

זרוע 1: שור ללא P‑CTC וללא Temporal Locator

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

זרוע 2: שור עם פוסט־סלקציה סופית בלבד

מוסיפים את רכיב הטלפורטציה וההטלה הסופית המייצגים את ה־P‑CTC, אך ללא בדיקות אמצע.

זרוע 3: שור עם Temporal Locator, ללא P‑CTC

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

זרוע 4: שור עם TL‑PCTC

משלבים את הבדיקות הזמניות ואת תנאי הפוסט־סלקציה הסופי.

זרוע 5: בקרת דמה

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

בלי הזרוע השלישית, לא ניתן לטעון ש־P‑CTC תרם משהו מעבר לאימות קיוביטי עזר רגיל. בלי זרוע הבקרה, לא ניתן לדעת האם עצם שינוי המעגל יצר את ההבדל.

תרשים 6 · תכנון ניסוי ניסוי מבוקר בחמש זרועות השוואה

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

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

אילו בדיקות אפשר להציב בתוך אלגוריתם שור?

במימוש נכון ניתן לבחון כמה משפחות של נקודות בדיקה.

לאחר כל בלוק חשבון מודולרי אפשר לבדוק האם קיוביטי העבודה שאמורים לעבור היפוך החישוב אכן חזרו ל־ $\lvert 0\rangle$ .

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

בגבולות בין יחידות חישוב ניתן לבדוק כמויות שמורות או תתי־מרחבים חוקיים.

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

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

כל בדיקה צריכה לענות על ארבע שאלות:

אילו שגיאות היא מסוגלת לזהות?
אילו שגיאות עוברות דרכה בלי להיחשף?
כמה רעש היא מוסיפה בעצמה?
מהו חרוט האור לאחור שלה?

מדידת דה־קוהרנטיות אינה קסם

חשוב לא לכתוב שהמצלמה “רואה דה־קוהרנטיות” כאילו מדובר באובייקט בעל סימון ברור.

דה־קוהרנטיות היא תהליך פיזיקלי. Temporal Locator רואה רק את ההשפעה שלה על גודל נצפה שנבחר מראש.

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

לכן כל טענה על “איתור שגיאות” חייבת לכלול מודל רעש מוגדר:

רעש דה־פולריזציה;
דעיכת משרעת;
דעיכת מופע;
שגיאת קריאה;
זליגה;
שגיאות קוהרנטיות;
הפרעה צולבת;
שגיאות מתואמות בזמן.

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

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

כללי הראיות של הניסוי

כדי למנוע אישור שגוי, כל ריצה צריכה לייצר שרשרת ראיות מלאה:

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

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

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

שרשרת הראיות היא התשתית; השלב הבא הוא להגדיר מראש מה ייחשב הצלחה.

מתי אפשר יהיה לומר שהרעיון הצליח?

לא מספיק להראות שגרף הנאמנות של הריצות שהתקבלו עלה.

TL‑PCTC ייחשב הצלחה רק אם יעמוד בכמה תנאים מצטברים.

ראשית, עליו להעלות את ההסתברות לתשובה נכונה בתוך האוסף שהתקבל.

שנית, עליו לשמור על שיעור קבלה שאינו מוחק את היתרון.

שלישית, עליו לשפר את מספר התשובות הנכונות לכל אלף הרצות או את זמן ה־QPU הנדרש לתשובה נכונה.

רביעית, עליו להציג יתרון מעבר ל־Temporal Locator ללא P‑CTC. זהו המבחן שמבודד את התרומה של תנאי העקביות הסיבתי.

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

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

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

אלה אינם חסרונות של הניסוי. אלה תנאי ההפרכה שהופכים אותו למדע.

תנאי הצלחה מחמירים אינם הופכים תוצאה שלילית לחסרת ערך; הם מגדירים מה עדיין אפשר ללמוד ממנה.

מה Temporal Locator יכול לתרום גם אם P‑CTC לא יספק יתרון?

גם תוצאה שלילית יכולה להיות חשובה.

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

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

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

אם יתברר שהגישה מועילה במעגלי Clifford אך קורסת באזורי non-Clifford של שור, נקבל מפת גבולות ברורה להיתכנות.

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

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

המצלמה אינה מצלמת את העבר — היא בודקת אם הסיפור עדיין עקבי

הניסוח החזק ביותר של Temporal Locator אינו “מצאתי דרך לראות אחורה בזמן”.

הניסוח החזק הוא:

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

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

המסגרת אינה עוקפת את משפט אי־השכפול. היא אינה מתחמקת מקריסת פונקציית הגל. היא אינה מעניקה לחומרה גישה חינמית למחלקת PP. היא אינה מבטלת את מחיר הפוסט־סלקציה ואינה מחליפה תיקון שגיאות קוונטי.

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

במקום לשאול רק “האם התוצאה נכונה?”, Temporal Locator מוסיף שאלות:

האם רגיסטרי העבודה נוקו בזמן?
האם השזירה נשמרה במקום שבו הייתה אמורה להישמר?
באיזה חלון הופיעה החריגה הראשונה?
האם המסלול שהתקבל עומד גם בתנאי המקומיים וגם בתנאי הגבול של P‑CTC?
וכמה עלה לנו למצוא אותו?

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

סיכום

Temporal Locator הוא הצעה למסגרת אימות זמנית, לא טענה שכבר הוכחה.

הוא משלב שלושה רכיבים:

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

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

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

אם זה יקרה, Temporal Locator לא יהיה מצלמה שמצלמת זמן.

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

שאלות ותשובות נפוצות

מהו Temporal Locator?

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

מה הקשר בין Temporal Locator לבין P‑CTC?

P‑CTC מספק תנאי פוסט־סלקציה סופי המדמה מסלול בעל עקביות עצמית. Temporal Locator מוסיף בדיקות ביניים ורשומה זמנית של תוצאותיהן. השילוב אינו יוצר מסע בזמן פיזי, אלא בוחן עקביות בתוך מודל מעגל קוונטי.

מדוע אלגוריתם שור מתאים לניסוי כזה?

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

האם Temporal Locator הוא תיקון שגיאות קוונטי?

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

מה אפשר למדוד בלי לקרוא את כל המצב הקוונטי?

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

האם המצלמה יכולה לזהות את השער המדויק שבו נוצרה השגיאה?

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

מדוע לא לבצע רק פוסט־סלקציה אחת בסוף המעגל?

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

מהי מלכודת שיעור הקבלה?

כאשר כל נקודת בדיקה דוחה חלק קטן מהריצות, המכפלה המצטברת עלולה להיות נמוכה מאוד. לדוגמה, מאה בדיקות בעלות הסתברות מעבר של 99% משאירות כ־36.6% מהריצות, ואילו הסתברות של 95% משאירה כ־0.59% בלבד. לכן נאמנות גבוהה באוסף המסונן אינה מספיקה להוכחת יתרון.

כיצד מודדים אם TL‑PCTC באמת הצליח?

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

האם החידוש כבר הוכח בניסוי?

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

מקורות מחקריים מרכזיים

Peter Shor, Algorithms for Quantum Computation: Discrete Logarithms and Factoring.
Seth Lloyd ושותפיו, Closed Timelike Curves via Post-selection.
Scott Aaronson, Quantum Computing, Postselection, and Probabilistic Polynomial-Time.
Huang ושותפיו, סימולציית P‑CTC על מעבדי IBM ו־Quantinuum, גרסת אפריל 2026.
Kishony, Elazari, Cohen ו־Gazit מ־Classiq, אימות חזרת קיוביטי עזר, מאי 2026.
Martiel ו־Javadi-Abhari, בדיקות שגיאה באמצעות קודי מרחב־זמן.
Griffiths, Friel ו־Vlastakis, מגבלות פוסט־סלקציה מבוססת מחיקה, יוני 2026.
IBM Quantum, מעגלים דינמיים וקודי חזרה.