Positive Definiteness Criterion for Autocovariance Functions