The Mercer-Young Theorem for Matrix-Valued Kernels on Separable Metric Spaces

We generalize the characterization theorem going back to Mercer and Young, which states that a symmetric and continuous kernel is positive definite if and only if it is integrally positive definite, to matrix-valued kernels on separable metric spaces. We also demonstrate the applications of the generalized theorem to the field of convex optimization and other areas.