Positive Definite Operator