Cellular-semimetric averaging conjecture on the Sierpiński gasket

Let SG\mathrm{SG} be the Sierpiński gasket with its standard Laplacian L\mathcal{L}, and define the cellular semimetric by

dcell(x,y):=min{2m:x and y are in intersecting m-cells}.d_{\mathrm{cell}}(x,y):=\min\{2^{-m}:x\text{ and }y\text{ are in intersecting }m\text{-cells}\}.

Let Lϵ\mathcal{L}_\epsilon be the averaging operator over cellular-semimetric balls. Cellular-semimetric convergence conjecture. There is a constant cc such that

ϵlog5log2Lϵfϵ0cLf\epsilon^{-\frac{\log 5}{\log 2}}\mathcal{L}_\epsilon f\xrightarrow[\epsilon\to0]{}c\mathcal{L}f

uniformly for every function ff in the Hölder domain of the Laplacian. Moreover, the eigenvalues and eigenfunctions of Lϵ\mathcal{L}_\epsilon converge to those of L\mathcal{L} as ϵ0\epsilon\to0. This conjecture is motivated by existing results on obtaining the Sierpiński-gasket Laplacian by rescaled cell averages and may be approachable using Dirichlet-form methods.

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.