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

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