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

הוכחת אבטחת מפתח סופי ראשונה המאומתת בעזרת מכונה ב-BB84 להפצת מפתחות קוונטיים, המשגת אבטחה ניתנת לרכיבה נגד התקפות קוהרנטיות. משפרת גבולות אנטרופיה ומשחררת ספריית Lean בקוד פתוח לקריפטוגרפיה קוונטית פורמלית.
טכניקת הנדסת רעש חדישה המנצלת שזירה דו-פוטונית להעברת פעולות אופטיות עם הפסדים מן המצבים המסופקים למצבי ההודעה, מה שמאפשר השגת מצבי בל ו-GHZ בדיוק גבוה יותר בממשקים בעלי לחיצה נמוכה באמצעות דיכוי פרמטרי של הודעות חיוביות שקריות
אנו מכינים סופרפוזיציות קוהרנטיות של מצבי הקרקע של אייזינג קוואנטיים מפאזות מגנטיות שונות באמצעות אינטראקציה קוואנטית של סיבוב מרכזי. המצבים המתקבלים מפגינים מידע קוואנטי פישר בסקלת הייזנברג ודפוסי שזירה מובחנים, המאפשרים יישומי חישה קוואנטית...
טרנספורמר קוונטי QGrAT משתמש בדרגות אלגברת קליפורד לתיוג סילונות קומפקטי. משיג AUC 0.944 עם 144 פרמטרים, תחרותי עם קו הבסיס הקלאסי. אנסילה תלת-חלקיקית משפרת את דחיית הרקע מ-19.9 ל-35.7 בעל יעילות אות של 50%.
מחקר תיאורטי המוכיח כי רכבות פעימות מחזוריות שולטות בספקטרום הפליטה הקולקטיבית וסטטיסטיקה פוטונית בפולטים מצומדי דיפול-דיפול, כאשר העיכוב בין הפעימות מספק בקרה ניסיונית נגישה של תכונות אופטיות קוונטיות.
אופטימיזציה רימנית ישירה של שערי U(2) לכל שער אינה מראה יתרון מעשי על פני Adam קלאסי בבנצימרקים של VQE. המחקר מתעד ארבעה מצבי כשל ומספק פרוטוקול אימות להשוואות אופטימיזציה עתידיות.
חישה קוונטית מבוזרת בעזרת מצבים קוהרנטיים Perelomov שזורים מסוג SU(1,1) משיגה מדידת פאזה מוגבלת על-ידי Heisenberg בשבכות אינטרפרומטר Mach-Zehnder, ביצועים עדיפים על שיטות ניתנות להפרדה עם רווח רגישות של עד N.
פותרת שאלה בת עשר שנים לגבי מדדי אחידות קוונטיים: ∥·∥Q4 הם נורמות, אך אי-שוויון המשולש נכשל לכל k≥5. מקדמת את תיאוריית החישוב הקוונטי העמיד בפני תקלות.
חוקרים מוכיחים סימולציה קוונטית של פיזור כדור דבק תהודתי בתורת קיוס הסריג SU(3) על חומרת Quantinuum H2, עם חוקיות חדשות בתחום הזמן להגדרת תכונות התהודה מנתוני התפתחות קוונטית בזמן אמת.
הדגמנו מקומיות אובריאנדרה בסריגים אופטיים דו-צבעוניים כדי לדכא טלנלינג, תוך השגת שיפור של 100 פעמים בזמני קוהרנטיות אטומית—המאפשרת שעוני סריג אופטיים דקויים ליישומים מבוססי חלל עתידיים.
חיזקנו את חסם הסימולציה הקלאסית למצבי קסם במרכז הפנים מ-0.396 ל-0.375 דרך זהויות אלגבריות מודבקות בסימטריה וטכניקת התחלפות שמונה-ענפית, מקדמים את הסימולציה הקלאסית היעילה של מעגלים קוונטיים עם משאבי מצב קסם.
מפענח סטוכסטי חדש לתיקון שגיאות קוונטי המשתמש בביטים הסתברותיים עם היקור אילוצים משיג שיעורי שגיאות לוגיות תחרותיים בקודי LDPC קוונטיים, ומאפשר יישומים ילידי חומרה לחישוב קוונטי עמיד לתקלות.
מסגרת שבונה עדים בעלי אופטימום גיאומטרי המאפשרים זיהוי אוניברסלי של סבוך דו-חלקי, רב-חלקי וסבוך בעל מימדים גבוהים עם עמידות משופרת לרעש ויעילות חישובית משופרת.
חוקרים מדגימים שאינטראקציות לא-ליניאריות בין טוען לסוללה יכולות להאיץ בצורה דרמטית את טעינת הסוללות הקוונטיות, בהפחתת הזמנים בגורמים של 3-5×. בצורה מדהימה, צימוד לא-ליניארי לבדו—ללא הנעה חיצונית—מספק נתיב חלופי לאחסון אנרגיה מהיר.
ארכיטקטורות קוונטיות חדשניות לייצור תשואות פיננסיות משיגות ביצוע תחרותי עם 1–8 פרמטרים הניתנים לאימון דרך עיצוב מובנה ושיתוף מקדמים בהשראת סימטריה, מה שמאפשר ניתוח נוף ישיר ויכולת פרשנות.
משפר את סיבוכיות המדגם הקוונטית ללמידת פונקציות בוליאניות דלילות בפורייה מ-O(k^1.5 log²k) ל-Õ(k) דרך הפרשים סימטריים ופולינומי רוב רב-לינאריים, משיג חסמים כמעט-אופטימליים וסוגר פער תיאורטי בן עשור.
מציע פרוטוקול חישול שדה חלש יעיל עבור יונים כלואים המשלב ניצול מנוון ושיתוך סיבוב-תנועה, המשיג שיפור רגישות מעריכי עם מורכבות תפעולית מופחתת למטרולוגיה קוונטית מעשית.
GWPTools מאפשרת חישוב סמלי-נומרי מדויק של מערכות קוונטיות תלויות-זמן, תוך הספקת פתרונות אנליטיים לביצוע בדיקות על שיטות נומריות וחקירה פדגוגית שקופה של התנהגות חבילת הגלים ללא צבירה של שגיאות דיסקרטיזציה.
ספקטרוסקופיית STM חושפת מצבי אפס של Majorana ניתנים לבקרה במבנים הטרוגניים סטוכיומטריים Bi₂Te₃/FeTe עם ליבות vortex מוערמות. תצורות MZM ניתנות לכיוונון מספרי דרך שדה מגנטי מאפשרות פלטפורמות מבודדות של מערבולות מעטות לחישוב קוונטי טופולוגי.
#מג'ורנה_אפס #על_מוליכות_טופולוגית #מחקר
מסגרת לאימות פורמלי של תוכניות היברידיות קוונטיות-קלאסיות ב-Lean 4, כולל הוכחות נכונות ללוגיקה קוונטית Hoare (QHL+). אלגוריתמים קוונטיים מאומתים כולל QFT, הערכת פאזה וסימולציה Hamiltoniana תוך שימוש בבניית הוכחות בעזרת LLM.