פותר פער יסודי בתורת המורכבות קוונטית: קביעת הומולוגיה של קומפלקסים קליק משוקללים היא QMA₁-קשה עם פערים ספקטרליים פולינומיים הפוכים. משתמש בקידודי גדג'ט טופולוגיים ובתורת Hodge-מסוננת להוכחת קשיות שלמה.

פותר פער יסודי בתורת המורכבות קוונטית: קביעת הומולוגיה של קומפלקסים קליק משוקללים היא QMA₁-קשה עם פערים ספקטרליים פולינומיים הפוכים. משתמש בקידודי גדג'ט טופולוגיים ובתורת Hodge-מסוננת להוכחת קשיות שלמה.
מבססת כי אופטימליות מקומית מדויקת אינה מתחברת תחת אילוצים זמניים בדינמיקה קוונטית/קלאסית משותפת. מוכיחה קושי PromiseNP של ההשגה הכרונולוגית, כימוי עלויות המצב הפנימיות בדחיסת המצב הסדרתית.