Approximate Polynomial Satisfiability and Integral Closure Membership in the Counting Hierarchy

Sanyam Agarwal, Archit Hari, Anurag Pandey +1

Andrews, Garg, and Schost (FOCS~2026) recently, in a breakthrough result, placed Hilbert's Nullstellensatz (HN) in the Counting Hierarchy ($\CH$) using constant-depth circuits for…