Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

On the magnetic Dirichlet to Neumann operator on the disk -- strong diamagnetism and strong magnetic field limit--

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the magnetic Dirichlet-to-Neumann ground state energy on the unit disk satisfies $\lambda_{DN}(b)=\alpha\sqrt{b}-(\alpha^2+2)/6+O(b^{-1/2})$ as $b\to\infty$, with $\alpha\approx 0.76495$.

desk verdict A genuine new result on magnetic Steklov eigenvalues in the disk, proven by mostly clean analysis; the half-plane proposition and an imported radial solution formula need fixing, but the main theorem holds up. read the letter →

arxiv 2411.15522 v3 pith:K7VOCNHL submitted 2024-11-23 math.AP math-phmath.MPmath.SP

Helffer Bernard , Nicoleau François This is my paper · ORCID
classification math.APmath-phmath.MPmath.SP MSC 35P1535Q4081Q10
keywords magneticDirichlet-to-NeumannoperatorStekloveigenvaluesstrongdiamagnetismparaboliccylinderfunctionsconfluenthypergeometricunitdisklargefieldasymptoticsgroundstateenergy
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 paper settles a recent conjecture: on the unit disk, the lowest eigenvalue of the magnetic Dirichlet-to-Neumann operator tends to infinity with the magnetic field, and the growth law is now explicit. The main theorem gives $\lambda_{DN}(b)=\alpha b^{1/2}-(\alpha^2+2)/6+O(b^{-1/2})$ as $b\to+\infty$, where $\alpha\approx 0.76495$ is fixed by the unique negative zero of the parabolic cylinder function $D_{1/2}$. The paper also proves that $b\mapsto\lambda_{DN}(b)$ is increasing on $(0,+\infty)$, a strong form of diamagnetism. If the same constant is universal for smooth planar domains, the disk computation becomes the local model for a boundary-curvature correction.

What carries the argument

The load-bearing object is the exact special-function description of the magnetic Steklov spectrum. For the disk, bounded radial solutions of the magnetic Schrodinger equation $H_A v=0$ are expressed as $v_n(r)=e^{-br^2/2}r^n L_{-1/2}^n(br^2)$, leading to $\lambda_n(b)=n-b+2b\,M'(\tfrac12,n+1,b)/M(\tfrac12,n+1,b)$. The argument then reduces the ground state to the intersections $z_n$ between consecutive curves, characterized by a zero of the Kummer function, $M(-\tfrac12,n+1,z_n)=0$, with the auxiliary formula $\lambda_n(z_n)=z_n-n-1$. A half-plane computation isolates the universal constant: as a Fourier multiplier it is the minimum of $f_1(\xi)$, and that minimum occurs exactly at the unique negative zero of the parabolic cylinder function $D_{1/2}$, the same $\alpha$.

What would settle it

Directly integrate the radial ODE $-v_n''-v_n'/r+(br-n/r)^2v_n=0$ on $(0,1)$ with a high-order numerical method for several values of $n$ and large $b$, compute the quotient $v_n'(1)/v_n(1)$ as the Steklov eigenvalue, and take the minimum over $n$; compare with $\alpha\sqrt b-(\alpha^2+2)/6$. A persistent order-one discrepancy would show the Laguerre-based formula is wrong, while agreement would confirm the main expansion independently of the special-function ansatz.

Watch

Extended reading notes

Core claim

For the unit disk with constant magnetic field of strength $2b$, the paper proves the sharp large-field expansion of the magnetic Dirichlet-to-Neumann ground state: $\lambda_{DN}(b)=\alpha b^{1/2}-(\alpha^2+2)/6+O(b^{-1/2})$, where $-\alpha$ is the unique negative zero of the parabolic cylinder function $D_{1/2}$, so $\alpha\approx 0.7649508673$. It further proves that $b\mapsto\lambda_{DN}(b)$ is increasing on $(0,+\infty)$. The proof shows that the ground state is attained by the sequence $\lambda_n(b)$ of magnetic Steklov eigenvalues and is controlled by the intersections $z_n$ of $\lambda_n$ and $\lambda_{n+1}$; those intersections satisfy the simple identity $\lambda_n(z_n)=z_n-n-1$, and their asymptotic expansion feeds directly into the two-term law for $\lambda_{DN}$.

Load-bearing premise

The calculation depends on an imported formula, quoted from earlier work rather than proved here, for the bounded radial solutions of the magnetic Schrodinger equation in the disk; if that formula contains a sign, gauge, or parameter error, every later eigenvalue formula and the final asymptotic would be invalid.

Editorial extensions

If this is right

  • The conjecture that the magnetic D-to-N ground state diverges as $b\to+\infty$ is true, with the precise leading order $\alpha\sqrt b$.
  • The second-order term $-(\alpha^2+2)/6$ carries the curvature-scale correction: for a disk of radius $R$, $\lambda_{DN}(b,B_R)=R^{-1}\lambda_{DN}(R^2b,B_1)$, so the leading term is scale-independent and curvature enters at order $b^{-1/2}$.
  • Strong diamagnetism holds on the disk in its strongest form: the ground state increases strictly for all $b>0$.
  • The nonmagnetic comparison $|\mu_k-\sqrt{\lambda_k}|\le C$ between boundary Laplacian and D-to-N eigenvalues fails once the magnetic field is large.
  • The same constant $\alpha$ is conjectured to be the universal prefactor for arbitrary smooth planar domains, making the disk the model case for boundary-curvature asymptotics.

Reading between the lines

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

  • A direct numerical test of the conjectured universality would compute $\lambda_{DN}(b,\Omega)/\sqrt b$ for a non-circular smooth domain such as an ellipse at large $b$; a limit different from $\alpha$ would rule out universality, while agreement would support the disk as the correct local model.
  • The intersection-point method should extend to other rotationally symmetric geometries whose radial equation is solvable by special functions, giving candidate curvature corrections to compare with the disk's $-\tfrac{\alpha^2+2}{6}$.
  • The Laplace-method expansions of $\sigma_n$ and $\tau_n$ appear capable of producing the full $n^{-j/2}$ expansion of $z_n$ recursively, which would yield higher-order terms in the ground-state expansion beyond $O(b^{-1/2})$.
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

3 major / 4 minor

Summary. The paper studies the ground state energy λ_DN(b) of the magnetic Dirichlet-to-Neumann operator on the unit disk under a constant magnetic field of strength 2b. Using the explicit Fourier-mode formula for the magnetic Steklov eigenvalues (2.18), the authors characterize the intersection points z_n of consecutive eigenvalue curves by the condition M(-1/2,n+1,z)=0, analyze the sequence z_n by Laplace-type integral asymptotics and the implicit function theorem, and obtain Theorem 1.1: λ_DN(b)=α b^{1/2}-(α^2+2)/6+O(b^{-1/2}), where -α is the unique negative zero of the parabolic cylinder function D_{1/2}. They also prove Theorem 1.3 that b↦λ_DN(b) is increasing on (0,∞), and they formulate conjectures for general domains, comparing the constant α with the De Gennes constant Θ_0.

Significance. If valid, the paper resolves the conjecture in [2, Example 2.8] and provides the first quantitative strong-field law for a magnetic D-to-N ground state, with an explicit universal constant α≈0.765 and a curvature-dependent second term. The main derivation is largely coherent after the mode formula (2.18): the Kummer-function identities, the zero characterization in Proposition 4.1, and the Laplace-method asymptotics in Section 5 are sound. The paper also gives a clean comparison with the De Gennes model and states interesting conjectures for general domains. However, the half-plane minimization in Proposition 3.1 is not proved rigorously, and the proof of strong diamagnetism in Section 4 has a gap; these are local defects that do not appear to affect the central asymptotic Theorem 1.1, but they must be repaired before the paper can be accepted as written.

major comments (3)
  1. [§3, Proposition 3.1] The proof of Proposition 3.1 does not establish the claimed unique global minimum. It asserts from a graph that f1 has a unique minimum in [0.6,0.8], checks signs numerically only on that interval, and then identifies the critical point with α via D_{1/2}(-α)=0. No argument excludes critical points of f1 outside [0.6,0.8], nor compares f1(α) with values at other local extrema or at infinity. Consequently the statement m(1)=α and the uniqueness of the half-plane bottom are not proved as written. I note that Theorem 1.1 itself does not rely on this global statement—Lemma 5.3 only needs the local sign change of D_{1/2} at -α—so this gap is not fatal to the main asymptotic, but the half-plane result needs a rigorous proof or a precise reference.
  2. [§4.3, Corollaries 4.6, 4.7 and Theorem 4.9] The proof that λ_DN is increasing on (0,∞) is incomplete. Corollary 4.6 is stated for n≥1 and uses (4.16), which has a factor -2n and gives no information for n=0; the interval (0,z_0) is therefore not covered. In addition, Corollary 4.7 asserts z_{n-1}<z_n without proof, although this ordering is needed to make the intervals [z_{n-1},z_n] cover (0,∞) in Proposition 4.8 and Theorem 4.9. A separate monotonicity proof for λ_0 and a proof or reference for the order of the zeros of M(-1/2,n+1,z) in n are required.
  3. [§2.1, Eqs. (2.1) and (2.6)] There is a sign inconsistency in the definition of the magnetic potential. With A(x,y)=b(-y dx+xdy), the vector field is b(-y,x)=br e_θ in polar coordinates and the radial equation in (2.6) should contain (br+n/r)^2, not (br-n/r)^2; the displayed formula (2.18) and all subsequent analysis correspond to the opposite sign of A, equivalently to A=b(y dx-xdy). Since the spectrum of the D-to-N map is invariant under A→-A, the final results are not affected, but the derivation as written cannot be reproduced from the stated (2.1).
minor comments (4)
  1. [§2.1, Eq. (2.7)] The notation L_n^{-1/2} is ambiguous: together with the definition (2.9) it would mean a generalized Laguerre function of order n, whereas formula (2.18) shows that the intended function is L_{-1/2}^{(n)}. Please adjust the notation.
  2. [Theorem 1.1 and Lemma 5.3] The uniqueness of the negative zero of D_{1/2} used to define α is stated without proof or reference; please add a citation to DLMF or a short argument.
  3. [§3, proof of Proposition 3.1] There is a typo 'miminumm' in the first sentence of the proof; also 'immediateley' appears later in the same proof.
  4. [References] Reference [19] is incomplete: it lists only 'ArXiv and to appear in Asymptotic analysis' without full publication data.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the asymptotic constant α is an external special-function zero, and the main theorem is derived from an independent radial ansatz and Laplace asymptotics.

full rationale

The central claim is not built from its own target. The constant α is defined as the unique negative zero of the parabolic cylinder function D_{1/2}(z) (Section 1 and Section 3), and it is not fitted to the magnetic Steklov eigenvalues. The proof chain is: formula (2.7) for the radial solution is taken explicitly from the external reference [4], not from the authors' prior work; it yields the explicit eigenvalue formula (2.18). Intersection points z_n are characterized by the independent condition M(−1/2,n+1,z)=0 (Proposition 4.1, using DLMF [8]). Section 5 then derives the asymptotics of β_n=(z_n−n−1/2)/√n by Laplace integrals; Lemma 5.3 shows β_n→α by the sign change of D_{1/2}(−β) at its simple zero, and the formal implicit-function expansion yields Proposition 5.1 and Corollary 5.9. The target asymptotic (1.6) is the output of this calculation, not an input. Self-citations [16] and [17] are used only for remarks and structural analogy, not to import the disk theorem; the main derivation is self-contained. Two rigor gaps exist but are not circularity: the radial formula (2.7) is imported without derivation, and Proposition 3.1's proof of the half-plane minimum rests on 'the graph suggests' plus numerical sign checks on [0.6,0.8] rather than a complete global proof. That half-plane proposition is not used in the proof of Theorem 1.1, which needs only the local zero and simple-crossing property of D_{1/2}. Accordingly the circularity score is 0.

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

No free parameters are fitted to data. The constant α is defined as the unique negative zero of the parabolic cylinder function D_{1/2}, which is an external benchmark special function. The paper relies on standard special-function and spectral facts but introduces no new physical entities.

assumptions (5)
  • standard math The D-to-N boundary value problem (1.2) has a unique solution and the operator Λ_A has discrete nonnegative spectrum.
    Used from the introduction onward; standard elliptic spectral theory for magnetic Schrödinger operators on bounded domains.
  • standard math Formula (2.7) gives the bounded solution of the radial ODE (2.6): v_n(r)=e^{-br²/2} r^n times a generalized Laguerre function, as stated in [4], Appendix B.
    Imported from prior work; it is the foundation of the explicit eigenvalue formula (2.18).
  • standard math Kummer function identities in Lemma 2.1, the integral representation (2.14), the differentiation rule (2.15), and DLMF properties 13.9.1 and 13.9.2 on zeros and signs.
    These supply the uniqueness of intersection points and the monotonicity of λ_n used in Corollaries 4.6 and 4.7.
  • standard math Parabolic cylinder function facts: D_{1/2} has a unique negative simple zero -α, D_{-1/2} has no real zeros, and the asymptotic expansion (2.30) holds.
    Used to identify α as the limiting shift of the intersection points and to compute the half-plane multiplier.
  • standard math The variational characterization (6.1) of λ_DN(A,Ω) from [3].
    Used for the diamagnetic comparison and for the estimates in Section 6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the magnetic Dirichlet to Neumann operator on the disk -- strong diamagnetism and strong magnetic field limit--." pith.science (2026). https://pith.science/paper/K7VOCNHL

@misc{pith2026241115522,
  author       = {Pith},
  title        = {Pith review of: On the magnetic Dirichlet to Neumann operator on the disk -- strong diamagnetism and strong magnetic field limit--},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/K7VOCNHL}},
  note         = {Machine review of arXiv:2411.15522}
}
abstract

Inspired by a paper by T. Chakradhar, K. Gittins, G. Habib and N. Peyerimhoff, we analyze their conjecture that the ground state energy of the magnetic Dirichlet-to-Neumann operator on the disk tends to $+\infty$ as the magnetic field tends to $+\infty$. This is an important step towards the analysis of the curvature effect in the case of general domains in $\mathbb R^2$.

Figures

Figures reproduced from arXiv: 2411.15522 by the authors.

Figure 1
Figure 1. The magnetic Steklov eigenvalues λn(b) (left) and the ground state energy λ DN (b) (right). Now, let us return to the study of the eigenvalues of the D-to-N map Λ(b). They are usually called magnetic Steklov eigenvalues. Obviously, they are given by λn = v ′ n (1) vn(1) for n ∈ Z . (2.16) Thus, using (2.7) and (2.9), we see that the magnetic Steklov spectrum is the set : σ(ΛDN(b)) = {λ0(b)} ∪ {λn(b), λn(−b) }n∈N∗ , … view at source ↗
Figure 2
Figure 2. Graph of f(ξ). 2.2 Analogies with the magnetic Neumann realization on the disk. The analysis as b → 0 (the weak field limit) is easy since λ DN(b) = λ0(b), and we can then use a regular perturbation argument as it was done in ([16], Section 1.5) in the case of arbitray regular domains. The analysis for b large will be parallel with what has been done in [17] where the authors analyze the large b behavior of the grou… view at source ↗
Figure 3
Figure 3. Graph proposed by Saint-James. In (2.26), Dν(t) is the parabolic cylinder function satisfying the differential equation, (see [20], p. 324) : w ′′ + (ν + 1 2 − 1 4 t 2 )w = 0 . (2.27) We recall that, for any ν < 0, one has the following integral representation ([20], p. 328) : Dν(z) = e − z 2 4 Γ(−ν) Z +∞ 0 t −ν−1 e −( t 2 2 +zt) dt . (2.28) The parabolic cylinder functions Dν(z) satisfy the recurrence relations ([2… view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Graph of the function D1 2 (x). we first remark that u(t) := D−1/2(2t) is a solution of −u ′′(t) + 4t 2u(t) = 0 which tends to 0 at +∞. Notice that this function can be also written as D− 1 2 (z) = r z 2π K1 4 ( z 2 4 ), (3.13) where Kν(z) is the usual modified Bessel …
Figure 5
Figure 5. Figure 5: Graph of the function f1(ξ). we see that f ′ (ξ) = 0 if and only if 1 4 ξ 2 (D− 1 2 (−ξ))2 = (D′ − 1 2 (−ξ))2 . (3.18) Numerically, we see that for ξ ∈ [0.6 , 0.8], D− 1 2 (−ξ) > 0 and D′ − 1 2 (−ξ) < 0. It follows that 1 2 ξ D− 1 2 (−ξ) = −D′ − 1 2 (−ξ). (3.19) So, us…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Asymptotics for the magnetic Dirichlet-to-Neumann eigenvalues in general domains

    math-ph 2025-01 conditional novelty 7.0 of 10

    The magnetic D-to-N ground state energy obeys λ = α̂ b^{1/2} − α̂² + (1/3) max κ + o(1) in 2D, with a 3D limit given by the boundary infimum of λ^DN(ϑ(x)) |B(x)|^{1/2}.

Reference graph

Works this paper leans on

24 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [16]

    Helffer, A

    B. Helffer, A. Kachmar, F. Nicoleau. Lower and upper bounds for the magnetic lowest Dirichlet-to- Neumann eigenvalue for general domains. arXiv:2501.00947, (2025)

    arXiv 2025

  2. [17]

    Helffer and C

    B. Helffer and C. Léna. Eigenvalues of the Neumann magnetic Laplacian in the unit disk. arXiv:2411.11721, (2024)

    arXiv 2024

  3. [1]

    Bolley, B

    C. Bolley, B. Helffer. An application of semi-classical analysis to the asymptotic study of the su- percooling field of a superconducting material. Annales de l’I.H.P. Physique théorique, Vol.: 58 (2), 189-233, (1993)

    work page 1993

  4. [2]

    Chakradhar, K

    T. Chakradhar, K. Gittins, G. Habib, and N. Peyerimhoff. A note on the magnetic Steklov operator on functions. arXiv:2410.07462, (2024)

    arXiv 2024

  5. [3]

    Colbois, L

    B. Colbois, L. Provenzano, and A. Savo. Isoperimetric inequalities for the magnetic Neumann and Steklov problems with Aharonov-Bohm magnetic potential. Journal of Geometric Analysis 32 (11): Paper 285, 38, (2022)

    work page 2022

  6. [4]

    Colbois, C

    B. Colbois, C. Léna, L. Provenzano, and A. Savo. Geometric bounds for the magnetic Neumann eigenvalues in the plane. Journal de Mathématiques Pures et Appliquées 179, 454-497, (2023). 1To be rigourous, we should consider a sequencefn = f χn where χn has support in[0, n] 23

    work page 2023

  7. [5]

    A reverse Faber-Krahn inequality for the magnetic Laplacian

    B. Colbois, C. Léna, L. Provenzano, and A. Savo. A reverse Faber-Krahn inequality for the magnetic Laplacian. arXiv:2403.11336, (2024)

    work page Pith review arXiv 2024

  8. [6]

    Dauge, B

    M. Dauge, B. Helffer. Eigenvalues Variation. I. Neumann Problem for Sturm-Liouville Operators. Journal of Differential Equations 104 (2), 243-262, (1993)

    work page 1993

Show all 24 references
  1. [7]

    de Gennes

    P.G. de Gennes. Boundary effects in superconductors. Rev. Mod. Phys. January 1964

    1964

  2. [8]

    https://dlmf.nist.gov/, Release 1.2.0 of 2024-03-15

    NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.2.0 of 2024-03-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    2024

  3. [9]

    A. F. M. ter Elst and El Maati Ouhabaz. The diamagnetic inequality for the Dirichlet-to-Neumann operator. Bull. Lond. Math. Soc. 54 (2022), no. 5, 1978–1997

    2022

  4. [10]

    Fournais and B

    S. Fournais and B. Helffer. On the third critical field in Ginzburg-Landau theory. Comm. Math. Phys. 266 (2006), no. 1, 153–196

    2006

  5. [11]

    Fournais and B

    S. Fournais and B. Helffer. Strong diamagnetism for general domains and applications. Annales de l’Institut Fourier, Tome 57 (2007) no. 7, 2389-2400

    2007

  6. [12]

    Fournais and B

    S. Fournais and B. Helffer. Inequalities for the lowest magnetic Neumann eigenvalue. Letters in Mathematical Physics, Volume 109, pages 1683–1700, (2019)

    2019

  7. [13]

    Fournais and B

    S. Fournais and B. Helffer.Spectral Methods in Surface Superconductivity.Progress in Nonlinear Differential Equations and Their Applications, Vol. 77, Birkhäuser, (2010)

    2010

  8. [14]

    B. Helffer. Effet d’Aharonov-Bohm sur un état borné de l’équation de Schrödinger. Commun. Math. Phys. 119: 315–329, (1988)

    1988

  9. [15]

    B. Helffer. Semi-classical analysis for the Schrödinger operator and applications.Lecture Notes in Mathematics 1336, Springer Verlag 1988

    1988

  10. [18]

    Helffer and A

    B. Helffer and A. Morame. Magnetic bottles in connection with superconductivity. J. Funct. Anal. 185 (2), 604-680, (2001)

    2001

  11. [19]

    Helffer and F

    B. Helffer and F. Nicoleau. Trace formulas for the magnetic Dirichlet to Neumann operator. ArXiv and to appear in Asymptotic analysis

  12. [20]

    Magnus, F

    W. Magnus, F. Oberhettinger and R.P. Soni. Formulas and theorems for the special functions of mathematical physics, 3rd enlarged ed, Grundlehren der Mathematischen Wissenschaften, Volume 52, Springer, (1965)

    1965

  13. [21]

    Persson Sundqvist

    M. Persson Sundqvist. Magnetic model operators. A short review and something new. Lecture at conference in honor of the 70th birthday of Bernard Helffer. April 2019

    2019

  14. [22]

    Saint-James

    D. Saint-James. Etude du champ critique HC 3 dans une géométrie cylindrique. Physics Letters, (15)(1), 13-15, (1965). 24

    1965

  15. [23]

    EigenvalueproblemsfortheSchrödingeroperatorwiththemagneticfieldonacompactc Riemannian manifold

    I.Shigekawa. EigenvalueproblemsfortheSchrödingeroperatorwiththemagneticfieldonacompactc Riemannian manifold. J. Funct. Anal. 75, N° 1, 92-127, (1987)

    1987

  16. [24]

    N. Temme. Asymptotic method for integrals. Series in Analysis, Vol. 6, World Scientific Publishing, (2015). Laboratoire de Mathématiques Jean Leray, UMR CNRS 6629. Nantes Université F-44000 Nantes Email adress: Bernard.Helffer@univ-nantes.fr Laboratoire de Mathématiques Jean L...

    2015

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.