36. Certificate discovery, approximation, and evidence

Work in mass-first coordinates \(z=(m,x)\in\mathbb R\times\mathbb R^d\), with \(\lambda=(1,0,\ldots,0)\). For a center \(c\in\mathbb R^d\) and a symmetric positive definite matrix \(H\), define