Recently an effective Lagrangian for the interactions of photons, Nambu-Goldstone bosons and superfluid phonons in dense quark matter has been derived using anomaly matching arguments. In this paper we illuminate the nature of certain anomalous terms in this Lagrangian by an explicit microscopic calculation. We also generalize the corresponding construction to introduce the axion field. We derive an anomalous axion effective Lagrangian describing the interactions of axions with photons and superfluid phonons in the dense matter background. This effective Lagrangian, among other things, implies that an axion current will be induced in the presence of magnetic field. We speculate that this current may be responsible for the explanation of neutron star kicks.

In a recent paper by Link, it was pointed out that the standard picture of the neutron star core composed of a mixture of a neutron superfluid and a proton type-II superconductor is inconsistent with observations of a long period precession in isolated pulsars. In the following we will show that an appropriate treatment of the interacting two-component superfluid (made of neutron and proton Cooper pairs), when the structure of proton vortices is strongly modified, may dramatically change the standard picture, resulting in a type-I superconductor. In this case the magnetic field is expelled from the superconducting regions of the neutron star leading to the formation of the intermediate state when alternating domains of superconducting matter and normal matter coexist.

In a recent paper by Link, it was pointed out that the the standard picture of the neutron star core, composed of a mixture of a neutron superfluid and a proton type-II superconductor, is inconsistent with observations of long period precession in isolated pulsars. In the following we will show that intervortex force between the magnetic flux tubes may be attractive resulting in a type-I (rather than type-II) superconductor. In this case the magnetic field cannot exist in the form of magnetic flux tubes, supporting Link's observation. This behavior of the system is due to the strong interaction between the proton-neutron Cooper pairs, which was previously ignored. We also calculate the critical magnetic fields H_c and H_c2 for type-I/II superconductors. These results also support our claim of type-I superconductivity in the cores of neutron stars.

Recently it was shown that high density QCD supports of number of topological defects. In particular, there are U(1)_Y strings that arise due to K^0 condensation that occurs when the strange quark mass is relatively large. The unique feature of these strings is that they possess a nonzero K^+ condensate that is trapped on the core. In the following we will show that these strings (with nontrivial core structure) can form closed loops with conserved charge and currents trapped on the string worldsheet. The presence of conserved charges allows these topological defects, called vortons, to carry angular momentum, which makes them classically stable objects. We also give arguments demonstrating that vortons carry angular momentum very efficiently (in terms of energy per unit angular momentum) such that they might be the important degrees of freedom in the cores of neutron stars.