A mean value formula and a Liouville theorem for the complex Monge-Amp\`ere equation

In this paper, we prove a mean value formula for bounded subharmonic Hermitian matrix valued function on a complete Riemannian manifold with nonnegative Ricci curvature. As its application, we obtain a Liouville type theorem for the complex Monge-Amp`ere equation on product manifolds.