Witten invariant may refer to: