\( \def\nnz{{\mathsf{nnz}}} \def\eps{{\varepsilon}} \def\poly{{\mathrm{poly}}} \)