קובע את מורכבות T-gate האופטימלית לקידודים בבלוקים של המילטוניאנים מובנים: Θ(n²√log(n⁴/ε)) למערכות קוואנטיזציה שנייה ו-Θ(n + log(1/ε)) לדגמי הדבש של Kitaev. מוכיח חסמים עליונים ותחתונים תואמים באמצעות דחיסת ancilla ושיטות טכניות חדישות.

קובע את מורכבות T-gate האופטימלית לקידודים בבלוקים של המילטוניאנים מובנים: Θ(n²√log(n⁴/ε)) למערכות קוואנטיזציה שנייה ו-Θ(n + log(1/ε)) לדגמי הדבש של Kitaev. מוכיח חסמים עליונים ותחתונים תואמים באמצעות דחיסת ancilla ושיטות טכניות חדישות.