CFL Phase of High Density QCD at Non Zero Strange Quark Mass

We compute free energy of quark matter at asymptotically high baryon number density in the presence of non zero strange quark mass including dynamics of pseudo Nambu-Goldstone bosons due to chiral symmetry breaking, extending previously existing analysis based on perturbative expansion in $m_s^2/4\mu\Delta.$ We demonstrate that the CFL$K^0$ state has lower free energy than the symmetric CFL state for $0<m_s^2/4\mu\Delta<2/3$. We also calculate the spectrum of the fermionic quasiparticle excitations about the kaon condensed ground state in the regime $m_s^2/4\mu\Delta \sim 1$ and find that $(m_s^2/4\mu\Delta)_{crit}=2/3$ for the CFL-gCFL phase transition, the leading order result reported in [1], is not modified.