arxiv: 2604.18262 · v1 · submitted 2026-04-20 · 🧮 math.SP · math-ph· math.MP

Recognition: unknown

An asymptotic shape optimization problem for Riesz means of Laplacian eigenvalues

Rupert L. Frank, Simon Larson

Pith reviewed 2026-05-10 03:17 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.MP

keywords Riesz meansLaplacian eigenvaluesshape optimizationasymptotic analysisconvex setsball

0 comments

The pith

For certain Riesz exponents, shapes minimizing Riesz means of Laplacian eigenvalues converge to a ball as the cutoff tends to infinity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper reviews results on minimizing Riesz means of Laplacian eigenvalues over convex sets of fixed measure when the cutoff parameter tends to infinity. It establishes that the optimizing sets converge to the ball for a certain range of the Riesz exponent. The authors also present new results on optimization over disjoint unions of convex sets. A reader would care because this describes the high-frequency limit of a classical spectral shape optimization problem and indicates when the ball is asymptotically optimal.

Core claim

We show that for a certain range of Riesz exponents, the optimizing sets converge to a ball. We also present some new results where we optimize over disjoint unions of convex sets.

What carries the argument

Asymptotic analysis of Riesz means of Laplacian eigenvalues in the limit of large cutoff parameter, minimized over convex domains of fixed volume.

Load-bearing premise

The sets are assumed convex and the analysis is performed as the cutoff parameter tends to infinity.

What would settle it

A sequence of convex sets of fixed volume for which the Riesz mean remains strictly smaller than that of the ball for arbitrarily large cutoffs, inside the claimed range of exponents.

read the original abstract

We review our recent results on the problem of optimizing Riesz means of Laplace eigenvalues among convex sets of given measure in the regime where the cut-off parameter in the definition of the Riesz means tends to infinity. We show that for a certain range of Riesz exponents, the optimizing sets converge to a ball. We also present some new results where we optimize over disjoint unions of convex sets.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper reviews prior convergence-to-ball results for Riesz-mean optimizers among convex sets and adds a modest extension to disjoint unions, with the exponent range resting on remainder bounds.

read the letter

The main takeaway is that for a range of Riesz exponents s, the convex sets minimizing the Riesz mean of Laplacian eigenvalues converge to a ball as the cutoff tends to infinity, with fixed volume. The authors also treat the same problem when the admissible sets are allowed to be finite disjoint unions of convex pieces. This consolidates their earlier work on the asymptotic regime and gives a small new case. The argument follows the usual route: the leading Weyl term dominates, and control on the next-order remainder forces any minimizing sequence of convex sets to approach the ball in the limit. The extension to unions is direct and keeps the same asymptotic tools. The claims stay within standard eigenvalue asymptotics and make the convexity assumption explicit, so there is no circularity or invented quantities. The softer point is the precise interval for s. It is delimited by the decay rate of the remainder in the Riesz-mean expansion, and the paper obtains the interval from existing bounds rather than sharp constants. If those bounds can be tightened, the range could widen; the current statement is therefore safe but possibly not optimal. This is specialized reading for people already working on shape optimization or high-frequency spectral geometry. A reader who knows the authors' previous papers will see the review value and the small addition without much extra effort. The work is grounded enough to merit referee time, even if the new material is incremental.

Referee Report

1 major / 0 minor

Summary. The manuscript reviews results on the asymptotic optimization of Riesz means R_s(Ω) = ∑ (Λ - λ_j(Ω))_+^s of Laplacian eigenvalues among convex sets Ω of fixed measure |Ω|=1, in the regime Λ → ∞. It establishes that, for a certain range of the Riesz exponent s, any minimizing sequence of convex sets converges to the ball. New results are also presented for optimization over disjoint unions of convex sets.

Significance. If the stated convergence holds, the work supplies rigorous asymptotic information on optimal shapes for a family of spectral functionals that interpolate between the Dirichlet integral and the eigenvalue counting function, complementing classical results such as the Faber–Krahn inequality. The extension to disconnected convex components addresses questions arising in spectral partition problems.

major comments (1)

[Section deriving the admissible range of s (main theorem on convergence)] The interval of Riesz exponents s for which convex minimizers converge to the ball is delimited by the decay rate of remainder terms in the asymptotic expansion of R_s(Ω). The paper obtains this interval by bounding those remainders, yet the explicit constants entering the bounds are not shown to be sharp and may depend on unstated choices of test functions or covering arguments; this directly affects the precise range claimed in the main convergence statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive feedback. We address the single major comment below.

read point-by-point responses

Referee: [Section deriving the admissible range of s (main theorem on convergence)] The interval of Riesz exponents s for which convex minimizers converge to the ball is delimited by the decay rate of remainder terms in the asymptotic expansion of R_s(Ω). The paper obtains this interval by bounding those remainders, yet the explicit constants entering the bounds are not shown to be sharp and may depend on unstated choices of test functions or covering arguments; this directly affects the precise range claimed in the main convergence statement.

Authors: We agree that the constants appearing in the remainder estimates are not claimed to be optimal and arise from concrete but specific choices of test functions and covering arguments in the proofs. The main convergence theorem is stated precisely for the interval of s on which these estimates suffice to control the asymptotic behavior; the manuscript makes no assertion that the resulting interval is the largest possible. To improve transparency, we will revise the relevant section to explicitly record the test functions and covering arguments used, so that the dependence of the constants is fully visible to the reader. This clarification does not modify the stated range of s but directly responds to the concern about unstated choices. revision: yes

Circularity Check

0 steps flagged

No circularity; asymptotic convergence derived from standard Weyl remainders and convexity constraints

full rationale

The paper establishes convergence of convex minimizers to the ball for Riesz means in a range of exponents by comparing the asymptotic expansion of the Riesz functional (Weyl leading term plus perimeter-controlled remainder) against the ball's value, using standard spectral estimates and geometric inequalities that are independent of the target conclusion. No step reduces a prediction to a fitted input by construction, nor does any load-bearing premise collapse to a self-citation or self-defined ansatz; the exponent interval arises from explicit decay rates in the remainder bounds rather than from re-labeling the result itself. The analysis is self-contained against external benchmarks in eigenvalue asymptotics and shape optimization.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of the Dirichlet Laplacian on convex domains and asymptotic analysis of eigenvalue sums; no new free parameters or invented entities are introduced.

axioms (2)

standard math The Dirichlet Laplacian on a bounded convex domain in R^d has a discrete spectrum of positive eigenvalues.
Invoked throughout the definition of Riesz means.
standard math Weyl's law and related asymptotic expansions for eigenvalue sums hold for convex domains.
Used to analyze the high-cutoff regime.

pith-pipeline@v0.9.0 · 5349 in / 1203 out tokens · 43624 ms · 2026-05-10T03:17:04.152201+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 2 canonical work pages

[1]

P. R. S. Antunes and P. Freitas,Optimal spectral rectangles and lattice ellipses. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.469(2013), no. 2150

2013
[2]

Baur and S

M. Baur and S. Larson,Optimizing Riesz means of Robin Laplace operators on cuboids in a semiclassical limit, preprint (2026)

2026
[3]

van den Berg,On the minimization of Dirichlet eigenvalues

M. van den Berg,On the minimization of Dirichlet eigenvalues. Bull. Lond. Math. Soc.47(2015), no. 1, 143–155

2015
[4]

van den Berg, D

M. van den Berg, D. Bucur, and K. Gittins,Maximising Neumann eigenvalues on rectangles. Bull. Lond. Math. Soc.48(2016), no. 5, 877–894

2016
[5]

van den Berg and K

M. van den Berg and K. Gittins,Minimising Dirichlet eigenvalues on cuboids of unit measure. Mathematika63(2017), 468–482

2017
[6]

Bucur and P

D. Bucur and P. Freitas,Asymptotic behaviour of optimal spectral planar domains with fixed perimeter. J. Math. Phys.54(2013), no. 5, 053504

2013
[7]

Buoso and P

D. Buoso and P. Freitas,Extremal eigenvalues of the Dirichlet biharmonic operator on rectangles. Proc. Amer. Math. Soc.148(2020), no. 3, 1109–1120

2020
[8]

E. A. Carlen, R. L. Frank, and S. Larson,A Jensen inequality for partial traces and applications to partially semiclassical limits. Lett. Math. Phys.115(2025), no. 3, paper no. 52

2025
[9]

Colbois and A

B. Colbois and A. El Soufi,Extremal eigenvalues of the Laplacian on Euclidean domains and closed surfaces. Math. Z.278(2014), no. 1-2, 529–546

2014
[10]

Filonov, M

N. Filonov, M. Levitin, I. Polterovich, and D. Sher,P´ olya’s conjecture for Eu- clidean balls. Invent. Math.234(2023), 129–169

2023
[11]

R. L. Frank, A. Laptev, and T. Weidl,Schr¨ odinger Operators: Eigenvalues and Lieb–Thirring Inequalities. Cambridge Studies in Advanced Mathematics, Cam- bridge University Press, Cambridge, 2023

2023
[12]

R. L. Frank and S. Larson,Two-term spectral asymptotics for the Dirichlet Lapla- cian in a Lipschitz domain. J. Reine Angew. Math.766(2020), 195–228

2020
[13]

R. L. Frank and S. Larson,Riesz means asymptotics for Dirichlet and Neumann Laplacians on Lipschitz domains. Invent. Math.241(2025), 999–1079

2025
[14]

R. L. Frank and S. Larson,Semiclassical inequalities for Dirichlet and Neumann Laplacians on convex domains, Comm. Pure Appl. Math.79(2026), 762–822

2026
[15]

R. L. Frank and S. Larson,Uniform bounds for Neumann heat kernels and their traces in convex sets. Preprint (2026), arXiv:2601.07341

work page arXiv 2026
[16]

R. L. Frank, S. Larson, and P. Pfeiffer,Improved semiclassical eigenvalue es- timates for the Laplacian and the Landau Hamiltonian. J. Spectr. Theory, to appear. Preprint (2025), arXiv:2502.02388

work page arXiv 2025
[17]

Freitas,Asymptotic behaviour of extremal averages of Laplacian eigenvalues

P. Freitas,Asymptotic behaviour of extremal averages of Laplacian eigenvalues. J. Stat. Phys.167(2017), no. 6, 1511–1518

2017
[18]

Freitas, J

P. Freitas, J. Lagac´ e, and J. Payette,Optimal unions of scaled copies of domains and P´ olya’s conjecture. Ark. Mat.59(2021), no. 1, 11–51. 18 RUPERT L. FRANK AND SIMON LARSON

2021
[19]

Gittins and S

K. Gittins and S. Larson,Asymptotic behaviour of cuboids optimising Laplacian eigenvalues. Integral equations and operator theory89(2017), no. 5, 607–629

2017
[20]

Henrot (ed.),Shape optimization and spectral theory

A. Henrot (ed.),Shape optimization and spectral theory. De Gruyter Open, War- saw, 2017

2017
[21]

Henrot and M

A. Henrot and M. Pierre,Shape Variation and Optimization. EMS Tracts Math., 28, European Mathematical Society (EMS), Z¨ urich, 2018

2018
[22]

Lagac´ e,Eigenvalue optimisation on flat tori and lattice points in anisotropically expanding domains

J. Lagac´ e,Eigenvalue optimisation on flat tori and lattice points in anisotropically expanding domains. Canad. J. Math.72(2020), no. 4, 967–987

2020
[23]

Larson,Asymptotic shape optimization for Riesz means of the Dirichlet Lapla- cian over convex domains

S. Larson,Asymptotic shape optimization for Riesz means of the Dirichlet Lapla- cian over convex domains. J. Spectr. Theory9(2019), no. 3, 857–895. Erratum in J. Spectr. Theory11(2021), no. 4

2019
[24]

Larson,Maximizing Riesz means of anisotropic harmonic oscillators

S. Larson,Maximizing Riesz means of anisotropic harmonic oscillators. Ark. Mat. 57(2019), no. 1, 129–155. (Rupert L. Frank)Mathematisches Institut, Ludwig-Maximilians Universit ¨at M¨unchen, Theresienstr. 39, 80333 M ¨unchen, Germany, and Munich Center for Quantum Science and Technology, Schellingstr. 4, 80799 M ¨unchen, Germany, and Mathematics 253-37, C...

2019