Euclidean distance matrix criterion ($D\text{ is Euclidean}⟺-\frac{1}{2}H{D}^{(2)}H⪰0$)

For symmetric nonnegative $D$ with zero diagonal, a centered Euclidean realization implies $D_{ij}^2=G_{ii}+G_{jj}-2G_{ij}$ and hence the displayed double-centering identity. Conversely, if the double-centered matrix is positive semidefinite, factor it as $X{X}^T$. Its reconstructed squared distances equal the original squared distances: their difference has zero double-centering, so is of the form $1a^T+a{1}^T$; the zero diagonal forces $a=0$. The minimum exact embedding dimension is $\mathrm{rank}G$.