The focus conjecture for the support of the algebraic spectrum

Let b=u+ivb=u+iv with v0v\ne 0, and let Γb\Gamma_b be the real rational cubic with a node at the origin defined by

(xuyv)2=(4vy)y2v3,\left(x-\frac{uy}{v}\right)^2=\frac{(4v-y)y^2}{v^3},

where x=Rezx=\operatorname{Re}z and y=Imzy=\operatorname{Im}z. Its three foci are the origin and the two values

f1,2=227(36bb3±(12+b2)3).f_{1,2}=\frac{2}{27}\left(36b-b^3\pm\sqrt{(12+b^2)^3}\right).

Let μb\mu_b denote the measure whose support is being considered. Focus conjecture. Depending on the value of bb, the endpoints of the support of μb\mu_b are either all three foci of Γb\Gamma_b or just two of them, always including the focus at the origin. This predicts that the spectral-support endpoints are selected from the foci of the associated cubic; the source reports numerical support for the claim, but gives no resolution.

Sources & referencesView supporting material

Primary source

Boris Shapiro and Milos Tater, “Asymptotics and monodromy of the algebraic spectrum of quasi-exactly solvable sextic oscillator”, arXiv:1611.06313 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.