Universal multivariate error-function edge kernel conjecture

From papers

Let d1d\geq 1, let Q:CdR\mathscr Q:\mathbb C^d\to\mathbb R be C2C^2 and strictly plurisubharmonic, and suppose that its droplet SQS_{\mathscr Q} has smooth boundary. For each z0SQz_0\in\partial S_{\mathscr Q}, let U(z0)\mathscr U(z_0) be a unitary matrix. Universal multivariate edge-kernel conjecture. There is a choice of U(z0)\mathscr U(z_0) such that

limn1detnˉQ(z0)Kn(z0+U(z0)ξndetˉQ(z0),z0+U(z0)ηndetˉQ(z0))\lim_{n\to\infty} \frac1{\det n \partial\bar\partial\mathscr Q(z_0)} \mathscr K_n\left(z_0+\frac{\mathscr U(z_0)\xi}{\sqrt{n \det\partial\bar\partial\mathscr Q(z_0)}},z_0+\frac{\mathscr U(z_0) \eta}{\sqrt{n \det\partial\bar\partial\mathscr Q(z_0)}}\right) 12exp(ξηξ2+η22)erfc(k=1dξk+ηk2d),\equiv \frac12 \exp\left(\xi\cdot\eta-\frac{|\xi|^2+|\eta|^2}2\right) \operatorname{erfc}\left(\sum_{k=1}^d \frac{\xi_k+\overline{\eta_k}}{\sqrt {2d}}\right),

locally uniformly for ξ,ηCd\xi,\eta\in\mathbb C^d. This is the paper's proposed second universal edge behavior, obtained after a unitary rotation to remove the geometric dependence on the boundary normal; the paper gives strong evidence in specific models and general rotational results, while the conjecture remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

L. D. Molag, “A pluricomplex error-function kernel at the edge of polynomial Bergman kernels”, arXiv:2604.04661 (2026).

Solutions 0

No solutions have been posted yet.