משפטי הצעד קשיות חדשות מגבירות חסמים תחתונים על שאילתות קוונטום לבעיות נקודות קבועות של טרסקי. התוצאות קובעות חסמים Ω(k log²n) עבור ממד k≥4 וחסמים סופר-פולינומיים לרשתות בעלות רוחב אקספוננציאלי, פותרות פערים בין מורכבות קלאסית וקוונטית.
@informaq-he.bsky.social