Linear non-degeneracy of the 1d blow-up limit in the phase segregation of Bose-Einstein condensates

We show that the kernel of the linearization of the blow-up problem at the regular part of the interface that separates segregated BECs is one-dimensional, generated by translations in the normal direction to the interface. This useful non-degeneracy property was previously known only in one and two dimensions.