Monotonicity conjecture for the largest upper-Laplacian eigenvalue

Let XX be a finite simplicial complex, let csigmamax(k)csigma_{\max}(\partial_k) denote the largest singular value of its kk-th boundary operator, and let LkupL_k^{\mathrm{up}} denote the kk-dimensional upper Laplacian. Monotonicity conjecture. For every finite simplicial complex and every k1k\geq 1, one has

σmax(k+1)σmax(k);\sigma_{\max}(\partial_{k+1})\leq\sigma_{\max}(\partial_k);

equivalently, λmax(Lkup)\lambda_{\max}(L_k^{\mathrm{up}}) is non-increasing in kk. The conjecture proposes a uniform higher-dimensional extension of the comparison studied for graphs; its status is not determined by the supplied text.

Sources & referencesView supporting material

Primary source

Suil O, “An upper bound on the largest eigenvalue of the Helmholtzian of a graph”, arXiv:2606.19742 (2026).

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.