  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.
