A Parametric Version of the Hilbert Nullstellensatz and Its Complexity Implications

This paper presents a novel proof that the problem of determining the existence of a common zero for a system of multivariate polynomials with coefficients in a function field (HNP) is in the complexity class AM, assuming the Generalized Riemann Hypothesis (GRH).