Pith. sign in

REVIEW 5 minor 10 references

Impossibility of a nontrivial Brunn--Minkowski inequality for higher Dirichlet eigenvalue

T0 review · 0 major / 5 minor · reviewed 2026-07-11 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Higher Dirichlet eigenvalues admit no nontrivial Brunn–Minkowski concavity: any reparametrization that works must be constant.

desk verdict Clean impossibility result: no non-constant f makes f∘λ_j concave for j≥2, via explicit rectangular constructions that work in every dimension. read the letter →

arxiv 2607.04418 v1 pith:4YQEVXSY submitted 2026-07-05 math.MG

Trí Minh Lê , Khai-Hoan Nguyen-Dang This is my paper · ORCID
classification math.MG MSC 52A2047A1035J1539B62
keywords convexbodyBrunn–MinkowskiinequalityDirichleteigenvaluesconcavityhigherrectangularboxes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The first Dirichlet eigenvalue of a convex body satisfies a classical Brunn–Minkowski inequality: the map that sends a body to the reciprocal square root of that eigenvalue is concave under Minkowski combinations. The same scaling suggests that higher eigenvalues might obey an analogous inequality after a suitable reparametrization. This paper proves they cannot. For every index j at least 2 and every dimension at least 2, if a scalar function of the j-th eigenvalue is concave on the family of all convex bodies, then that function is forced to be constant. The argument constructs pairs of rectangular boxes that share the same j-th eigenvalue while the j-th eigenvalue of their average can be made either larger or smaller, then scales the construction so that every ratio near 1 is realized. The same technique yields a clean characterization of precisely which reparametrizations of the first eigenvalue remain concave.

What carries the argument

A rectangular construction (Lemmas 5–6 and Proposition 7) that produces pairs of boxes K, L with λ_j(K) = λ_j(L) while λ_j((K + L)/2) = σ λ_j(K) for every ratio σ in a neighborhood of 1; continuity of the j-th eigenvalue on side lengths then forces any concave reparametrization to be constant.

What would settle it

Exhibit a non-constant continuous f and a pair of convex bodies in dimension ≥ 2 for which f(λ_j) fails the midpoint inequality for some j ≥ 2, or prove that no such rectangles exist that realize every ratio σ near 1.

Watch

Extended reading notes

Core claim

For any j ≥ 2 and N ≥ 2, if K ↦ (f ∘ λ_j)(K) is concave on the family of convex bodies in R^N for some function f : (0, ∞) → R, then f must be constant. In other words, no nontrivial scalar reparametrization restores Brunn–Minkowski concavity for higher Dirichlet eigenvalues.

Load-bearing premise

The explicit rectangles used in the construction really do keep the first j modes ordered so that the j-th eigenvalue can be prescribed independently of the two endpoints while their midpoint ratio sweeps a full interval around 1.

Editorial extensions

If this is right

  • Any search for Brunn–Minkowski-type inequalities for λ_j with j ≥ 2 on convex bodies is necessarily empty once an arbitrary reparametrization is allowed.
  • The only concave reparametrizations of λ_1 are those of the form f(r) = g(r^{-1/2}) where g is concave and non-decreasing.
  • The obstruction already appears for planar rectangles and therefore persists after product extension to higher dimensions.
  • Results that treat higher eigenvalues must either restrict the class of domains or abandon pure concavity under Minkowski combination.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same rectangular technique may obstruct concavity statements for other spectral quantities that share the same scaling, such as higher Robin or Neumann eigenvalues on convex bodies.
  • Once rectangles alone force constancy, any larger class containing rectangles inherits the same impossibility, so the result is robust under domain enlargement.
  • The characterization for λ_1 suggests that monotonicity of the reparametrization, not merely concavity, is the feature that distinguishes the first eigenvalue from the rest.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper proves that for every j ≥ 2 and N ≥ 2, the only functions f : (0, ∞) o ℝ for which K ↦ (f ∘ λ_j)(K) is concave on the class of convex bodies in ℝ^N are the constant functions (Theorem 3). The argument proceeds by constructing, for every ratio σ in a neighborhood of 1, pairs of rectangular boxes with equal j-th eigenvalues whose Minkowski average has j-th eigenvalue exactly σ times larger (or smaller); scaling and iteration then force f(σx) = f(x) for all x > 0, hence constancy. As a byproduct, Proposition 9 characterises the functions f for which f ∘ λ_1 is concave: they are precisely those of the form f(r) = g(r^{-1/2}) with g concave and non-decreasing.

Significance. The result cleanly closes a natural question left open by the negative example of Bucur–Fragalà–Lamboley for the specific map λ_2^{-1/2} in dimension 2: no scalar reparametrisation can restore Brunn–Minkowski concavity for any higher Dirichlet eigenvalue. The proof is elementary, fully explicit, and relies only on the classical spectrum of rectangles together with a product construction that lifts the planar case to every dimension N ≥ 2. The same technique yields a sharp characterisation of the admissible reparametrisations for the first eigenvalue, extending the classical Brascamp–Lieb inequality. The paper is short, self-contained, and free of hidden analytic machinery, which makes the obstruction transparent and robust.

minor comments (5)
  1. Title: “higher Dirichlet eigenvalue” should be plural (“eigenvalues”) for consistency with the abstract and the body of the paper.
  2. Lemma 4: the continuity argument is written only for planar rectangles; a one-line remark that the same isolation-of-modes argument works for rectangular boxes in any dimension would make the later product construction slightly cleaner (though it is not logically required).
  3. Proposition 7: the displayed formula for r_0 is broken across lines in a way that makes the second term ambiguous; rewriting it as r_0 = min{1+(r_+-1)/(1+r),(1+r)/(r+r_-)} would remove any possible misreading.
  4. Page 9, proof of Theorem 3: the sentence “Sets:=pλ_j(K)/x” is missing spaces and a square-root symbol in the extracted text; a quick proof-reading pass will catch similar extraction artefacts.
  5. A short remark after Proposition 7 noting that the same pairs already live inside the subclass of rectangular parallelepipeds would emphasise that the obstruction is even stronger than stated.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the impossibility result is obtained from explicit rectangular constructions that force any concave reparametrization of λ_j (j≥2) to be constant.

full rationale

The derivation of Theorem 3 never assumes its conclusion. Lemmas 5 and 6 construct planar rectangles K,L with λ_j(K)=λ_j(L) while the midpoint eigenvalue can be made any prescribed multiple σ of that common value in a neighborhood of 1 (via an explicit base rectangle where the (j,1) and (1,2) modes coincide, one-parameter families φ_v and φ_h that preserve the j-th eigenvalue, Taylor expansion of the midpoint side length, and continuity of ν_j from Lemma 4). Proposition 7 lifts the construction to every dimension N≥2 by product with a sufficiently large cube. Scaling then yields f(σx)=f(x) for all x>0 and all σ in a neighborhood of 1, which forces f constant. All spectral comparisons are direct algebraic inequalities on the explicit formula for rectangular eigenvalues (Fact 1); the only external inputs are classical (homogeneity of eigenvalues, spectrum of a box). Proposition 9 for λ_1 likewise derives the precise characterization of admissible f from the same style of rectangular comparison together with the classical Brascamp–Lieb inequality, without circular appeal. No self-definitional step, fitted prediction, or load-bearing self-citation appears.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper rests entirely on classical spectral geometry of rectangles and the known Brascamp-Lieb inequality for λ_1; no free parameters or new physical entities are introduced. The only non-standard ingredients are the explicit mode-ordering calculations performed inside the proofs.

assumptions (3)
  • standard math Dirichlet eigenvalues of a rectangular box are the non-decreasing rearrangement of π²∑ m_ℓ²/a_ℓ² (Fact 1).
    Invoked throughout Lemmas 4-6 and Claim 8; classical and cited to Borthwick.
  • standard math λ_j(tK)=t^{-2} λ_j(K) for every convex body K and t>0 (Fact 2).
    Used for scaling arguments in the proof of Theorem 3 and Proposition 9; standard homogeneity.
  • domain assumption The map K↦λ_1(K)^{-1/2} is concave on convex bodies (Brascamp-Lieb).
    Used only in the 'if' direction of Proposition 9; taken as known background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Impossibility of a nontrivial Brunn--Minkowski inequality for higher Dirichlet eigenvalue." pith.science (2026). https://pith.science/paper/4YQEVXSY

@misc{pith2026260704418,
  author       = {Pith},
  title        = {Pith review of: Impossibility of a nontrivial Brunn--Minkowski inequality for higher Dirichlet eigenvalue},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4YQEVXSY}},
  note         = {Machine review of arXiv:2607.04418}
}
abstract

Let $\lambda_j(K)$ be the $j$th Dirichlet eigenvalue of a convex body $K$. It is well known that $\lambda_1$ satisfies a Brunn--Minkowski inequality: $K \mapsto \lambda_1(K)^{-1/2}$ is concave on the family of convex bodies. We show that no analogous statement holds for higher eigenvalues. More precisely, for any $j \geq 2$ and $N \geq 2$, if $K \mapsto (f \circ \lambda_j)(K)$ is concave on the family of convex bodies in $\mathbb{R}^N$ for some function $f: (0, \infty) \to \mathbb{R}$, then $f$ must be constant.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 1 linked inside Pith

  1. [1]

    Borthwick , Spectral theory-basic concepts and applications, Grad

    D. Borthwick , Spectral theory-basic concepts and applications, Grad. Texts in Math., 284, Springer, Cham, 2020

    2020

  2. [2]

    Bucur, I

    D. Bucur, I. Fragal\`a & J. Lamboley , Optimal convex shapes for concave functionals, ESAIM Control Optim. Calc. Var. 18 (2012), 693--711

    2012

  3. [3]

    H. J. Brascamp & E. H. Lieb , On extensions of the B runn- M inkowski and P r\'ekopa- L eindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation, J. Functional Analysis 22 (1976), 366--389

    1976

  4. [4]

    Colesanti , Brunn- M inkowski inequalities for variational functionals and related problems, Adv

    A. Colesanti , Brunn- M inkowski inequalities for variational functionals and related problems, Adv. Math. 194 (2005), 105--140

    2005

  5. [5]

    Colesanti, E

    A. Colesanti, E. Francini, G. Livshyts & P. Salani , The B runn- M inkowski inequality for the first eigenvalue of the O rnstein- U hlenbeck operator and log-concavity of the relevant eigenfunction, 2024, arXiv:2407.21354

    arXiv 2024

  6. [6]

    Colesanti, L

    A. Colesanti, L. Qin & P. Salani , Geometric properties of solutions to elliptic PDE 's in G auss space and related B runn- M inkowski type inequalities, Adv. Math. 489 (2026), 26pp

    2026

  7. [7]

    Crasta & I

    G. Crasta & I. Fragal\`a , The B runn- M inkowski inequality for the principal eigenvalue of fully nonlinear homogeneous elliptic operators, Adv. Math. 359 (2020), 24pp

    2020

  8. [8]

    R. J. Gardner , The B runn- M inkowski inequality, Bull. Amer. Math. Soc. (N.S.) 39 (2002), 355--405

    2002

Show all 10 references
  1. [9]

    Henrot , Extremum problems for eigenvalues of elliptic operators, Front

    A. Henrot , Extremum problems for eigenvalues of elliptic operators, Front. Math. Birkhäuser Verlag, Basel, 2006

    2006

  2. [10]

    Salani , A B runn- M inkowski inequality for the M onge- A mp\`ere eigenvalue, Adv

    P. Salani , A B runn- M inkowski inequality for the M onge- A mp\`ere eigenvalue, Adv. Math. 194 (2005), 67--86

    2005

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.