High density effective theory of QCD

We discuss the salient features of the high density effective theory (HDET) of QCD, elaborating more on the matching for vector-vector correlators and axial-vector-vector correlators, which are related to screening mass and axial anomaly, respectively. We then apply HDET to discuss various color-superconducting phases of dense QCD. We also review a recent proposal to solve the sign problem in dense fermionic matter, using the positivity property of HDET. Positivity of HDET allows us to establish rigorous inequalities in QCD at asymptotic density and to show vector symmetry except the fermion number is not spontaneously broken at asymptotic density. (author)