A Regularized High-Dimensional Positive Definite Covariance Estimator with High-Frequency Data - BizPub.ai