Gibbons conjecture on transverse dependence of Ginzburg–Landau solutions
Gibbons conjecture. Such a solution must necessarily be a function of z~\tilde zz~ alone, and hence be independent of ttt.