חזון המאגד

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

תיאור הצורך

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

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

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

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

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

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

יישומים אפשריים לטכנולוגיה שתפותח

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

• יישומי קוונטום ברמת FTQC: פיתוח ואופטימיזציה של יישומים עבור מחשוב קוונטי סביל לשגיאות, כולל צמצום דרישות משאבים תחת אילוצים מציאותיים של תיקון שגיאות.
• פיזיקה קוונטית וכימיה קוונטית: פיתוח יישומים ואומדני משאבים לתחומי פיזיקה קוונטית וכימיה קוונטית, שבהם עומק החישוב והדיוק הנדרשים חורגים מיכולות NISQ.
• למידת מכונה קוונטית ואופטימיזציה: בחינה והדגמה של אבני בניין ויישומים בתחומי QML, אופטימיזציה ואלגברה ליניארית, בסימולציה ובמקומות המתאימים גם על חומרה.
• הדגמות חישוב לוגי מוגן: הדגמות של קיוביטים לוגיים, שערים לוגיים, זרימות פענוח, מעגלים מוגני שגיאות וביצוע end-to-end של תוכניות קוונטיות מתוקנות-שגיאות.

הוראת סף ושיקול דעת

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

להצעת הצטרפות ויצירת קשר

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

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

לקבלת מידע נוסף אודות המאגד המוצע ניתן לפנות לחברת קוונטום ארט, בדוא”ל: [email protected].

לקבלת פרטים נוספים על מסלול המאגדים ניתן לפנות למשה אברהמי מרשות החדשנות, בדוא”ל:
[email protected].