Eigenvalue convergence for kernels under total-variation convergence

Let (X,d,μ)(X,d,\mu) be a bounded metric measure space with kernel KK and associated operator TK ⁣:L2(X,μ)L2(X,μ)T_K\colon L^2(X,\mu)\to L^2(X,\mu). Let (X,d,μn)(X,d,\mu_n) have analogous kernel KnK_n and operator TKn ⁣:L2(X,μn)L2(X,μn)T_{K_n}\colon L^2(X,\mu_n)\to L^2(X,\mu_n), and let λ(TKn)\lambda(T_{K_n}) and λ(TK)\lambda(T_K) denote their ordered spectra. Suppose that μnμ\mu_n\to\mu in total variation. Eigenvalue-convergence conjecture. The ordered spectrum of TKnT_{K_n} converges to that of TKT_K in \a0ell2\a0ell^2-distance:

2(λ(TKn),λ(TK))0.\ell^2(\lambda(T_{K_n}),\lambda(T_K))\to 0.

This conjecture removes the eigenvalue-convergence hypothesis from the preceding proposition, which concerns convergence of eigenfunctions for operators associated with measures converging in total variation. The source mentions that ideas from Koltchinskii (2000) may be relevant, but the claim remains open here.

Sources & referencesView supporting material

Primary source

Lara Kassab, “Multidimensional Scaling: Infinite Metric Measure Spaces”, arXiv:1904.07763 (2019).

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.