Revisiting the $k$-theorem with the ANEC

The fundamental theorem in renormalization group flows in two dimensions is the $c$-theorem, which dictates that the number of degrees of freedom must decrease monotonically along the renormalization group flow. The $k$-theorem claims that the number of charged degrees of freedom also decreases monotonically. Here, $k$ is the current central charge defined by the two-point function of the current. A recent derivation of the c-theorem by Hartman and Mathys, which uses the three-point function sum rule and the positivity of the averaged null energy (ANE) operator, motivates us to seek a similar proof of the k-theorem. In the case of the $k$-theorem, the partial contact terms need to be taken into consideration. While ignoring the partial contact terms yields contradictory results, our careful analysis incorporating them leads to the correct sum rule and a complete proof based on the positivity of the ANE operator.