Color-flavor locked phase of high density QCD at nonzero strange quark mass

We compute free energy of quark matter at asymptotically high baryon number density in the presence of nonzero 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²/4μΔ. We demonstrate that the CFLK⁰ state has lower free energy than the symmetric CFL state for 0<m_s²/4μΔ<2/3. We also calculate the spectrum of the fermionic quasiparticle excitations about the kaon condensed ground state in the regime m_s²/4μΔ∼1 and find that (m_s²/4μΔ)_crit=2/3 for the CFL-gCFL phase transition, the leading order result reported in 20, is not modified.