מוכיח סיבוכיות דגימה O(1/ε²) בלתי תלויה בממד לבדיקת מצבים גאוסיים פרמיוניים, דטרמיננטים של סלייטר, מצבים גאוסיים ביזוניים ומצבים קוהרנטיים—משפר משמעותית חסמים פולינומיים קודמים באמצעות ניתוח פער ספקטרלי סימטרי.

מוכיח סיבוכיות דגימה O(1/ε²) בלתי תלויה בממד לבדיקת מצבים גאוסיים פרמיוניים, דטרמיננטים של סלייטר, מצבים גאוסיים ביזוניים ומצבים קוהרנטיים—משפר משמעותית חסמים פולינומיים קודמים באמצעות ניתוח פער ספקטרלי סימטרי.