Weak but not strong Euclidean averaging convergence on the Sierpiński gasket

Let SG\mathrm{SG} be the Sierpiński gasket with Laplacian L\mathcal{L}, and suppose Lf\mathcal{L}f is Hölder continuous on SG\mathrm{SG}. Let Lϵ\mathcal{L}_\epsilon and Lϵ,n(ω)\mathcal{L}_{\epsilon,n}(\omega) be the averaging and random graph Laplacians defined using the Euclidean metric. Weak-convergence and strong-obstruction conjecture. There is a sequence ϵj0\epsilon_j\to0 such that

ϵjlog5log2Lϵj(ω)fcLf\epsilon_j^{-\frac{\log 5}{\log 2}}\mathcal{L}_{\epsilon_j}(\omega)f\to c\mathcal{L}f

as jj\to\infty in the weak-L2L^2 topology, and similarly for ELϵ,n(ω)\mathbb{E}\mathcal{L}_{\epsilon,n}(\omega), but this convergence does not hold in the strong-L2L^2 topology for any sequence ϵj\epsilon_j. This predicts a sharp distinction between weak and strong Euclidean averaging convergence on the gasket.

Sources & referencesView supporting material

Primary source

Bernard Akwei, Bobita Atkins, Rachel Bailey, Ashka Dalal, Natalie Dinin, Jonathan Kerby-White, Tess McGuinness, Tonya Patricks, Luke Rogers, Genevieve Romanelli, Yiheng Su and Alexander Teplyaev, “Convergence, optimization and stability of singular eigenmaps”, arXiv:2406.19510 (2024).

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.