בנינו פרוטוקול סינון מדויק עם הבטחות של זמן סופי לצלקות מצבי צברים תחת ניטור רציף. אימות פורמלי של Lean 4 וליכסון לעד 11 קיוביטים מספקים ראיות לצלקות משובצות הנמשכות במערכות קוונטיות כאוטיות אחרת.
@informaq-he.bsky.social@informaq-he.bsky.social
@informaq-he.bsky.socialבנינו פרוטוקול סינון מדויק עם הבטחות של זמן סופי לצלקות מצבי צברים תחת ניטור רציף. אימות פורמלי של Lean 4 וליכסון לעד 11 קיוביטים מספקים ראיות לצלקות משובצות הנמשכות במערכות קוונטיות כאוטיות אחרת.