Symmetry and symmetry breaking in interpolation inequalities for two-dimensional spinors -- Preliminary results

Jean Dolbeault; Jonte Weixler; Rupert L. Frank

REVIEW 3 major objections 5 minor 16 references

Symmetry and symmetry breaking in interpolation inequalities for two-dimensional spinors -- Preliminary results

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For a two-dimensional spinorial Caffarelli–Kohn–Nirenberg inequality, the paper reduces linear instability of the radial optimizer to the failure of a single $2\times 2$ differential operator to be positive semi-definite, and uses that…

desk verdict A clean equivalence theorem and an intriguing numerical phase diagram, but the central linear-stability reduction is only sketched and the numerics are not reproducible; worth a serious referee. read the letter →

arxiv 2506.08318 v1 pith:ZKEPJ53I submitted 2025-06-10 math.AP

Jean Dolbeault , Rupert L. Frank , Jonte Weixler This is my paper

classification math.AP MSC 35B0626D1081Q10

keywords Caffarelli-Kohn-NirenberginequalitiesspinorsAharonov-BohmmagneticfieldsinterpolationsymmetrybreakinglinearinstabilityoptimalconstantsGegenbauerpolynomials

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

This paper studies a spinorial version of the Caffarelli–Kohn–Nirenberg inequality on the plane, in which unknown functions take values in $\mathbb{C}^2$ and the gradient is coupled through Pauli matrices. The authors show that the inequality is equivalent, through an Emden–Fowler change of variables, to a scalar interpolation inequality with an Aharonov–Bohm magnetic field, and that this equivalence carries optimizers to optimizers. Their main target is the phase transition between radially symmetric and non-symmetric optimizers: they establish that linear stability around the known radial optimizer is equivalent to positive semi-definiteness of one explicit $2\times 2$ differential operator, and they use a Gegenbauer-polynomial representation of that operator to compute its lowest eigenvalue numerically. The numerics place the linear-instability threshold strictly between the previously established symmetry and symmetry-breaking regions and extend the symmetry-breaking region beyond what was known earlier. The decisive analytical reduction is presented as a proof sketch, so the numerical phase boundary rests on the assumption that only two perturbation modes can destabilize the radial optimizer.

What carries the argument

The load-bearing object is the $2\times 2$ matrix-valued differential operator $A$ defined by equation (1), whose entries are second-order derivatives plus the radial optimizer $\varphi_*(s) = (p\alpha^2/2)^{1/(p-2)}(\cosh((p-2)\alpha s/2))^{-2/(p-2)}$ as a potential. Positive semi-definiteness of $A$ is the claimed criterion for linear stability of the radial optimizer. To compute that criterion, Section 4 rewrites $A$ as an infinite block matrix $M$ in a Gegenbauer polynomial basis with parameter $\lambda = (2p/(p-2)-3)/2$; the finite-section eigenvalues of $M$ are the numerical quantities that decide the phase boundary. The two explicit test directions used in the paper reduce to one-dimensional Pöschl–Teller operators (solvable Schrödinger operators with $\cosh^{-2}$ potentials), whose known lowest eigenvalues give closed-form instability curves.

What would settle it

Compute the full linearized quadratic form without the $\pm 1$ reduction: expand the test spinors in all angular momentum channels $k\in\mathbb{Z}$ and both spinor components, and search the parameter region where $A$ is positive semi-definite for any negative mode. Finding such a pair $(\alpha,p)$ would falsify Theorem 5; running the same search on a fine grid over $(0,1/2)\times(2,\infty)$ and finding none would strengthen the reduction.

Watch

Extended reading notes

Core claim

On the authors' terms, the central discovery is that symmetry in the two-dimensional spinorial Caffarelli–Kohn–Nirenberg inequality is governed by one $2\times 2$ operator. Theorem 1 states that (SCKN) has exactly the same optimal constant as the Aharonov–Bohm interpolation inequality, with optimizers factoring as $\varphi^\# = \psi^\# \chi_0$ for a constant spinor $\chi_0$. Around the explicit radial optimizer $\varphi_*(s)$, the quadratic form of the linearized problem is positive if and only if the operator $A$ of equation (1) is positive semi-definite, and Theorem 5 asserts that the full region of linear instability in the parameter plane $(\alpha,p)$ is exactly where $A$ is not positive semi-definite. The reduction claims that only the upper spinor component with angular momentum $1$ and the same component with angular momentum $-1$ can ever be destabilizing. When $A$ is written as an infinite matrix in a Gegenbauer basis and truncated, its lowest eigenvalue changes sign strictly inside the previously undecided band, giving a symmetry-breaking region larger than the earlier bound and leaving the known symmetry region linearly stable.

Load-bearing premise

The proof that $A$ completely decides linear instability assumes that the only perturbation directions that can ever become unstable are the upper spinor component with angular momentum $1$ and the upper spinor component with angular momentum $-1$; if any other angular momentum or the other spinor component could destabilize first, the computed phase boundary would be wrong.

Editorial extensions

If this is right

Where the lowest eigenvalue of $A$ is negative, the global optimizer of (SCKN) cannot be radially symmetric, because Lemma 4 and Theorem 5 turn linear instability into symmetry breaking.
The known radial-symmetry region of the earlier Aharonov–Bohm study lies in the linearly stable zone, so the numerical threshold does not contradict the analytic symmetry result.
Because (SCKN) and the Aharonov–Bohm interpolation inequality have the same optimal constant and related optimizers, the phase diagram computed here transfers directly to the scalar magnetic inequality.
The linear-stability/instability threshold lies strictly between the previously established symmetry and symmetry-breaking regions, so the undecided band shrinks to a thin interval.
The computed eigenvalue data indicate a second-order phase transition at the boundary, meaning the lowest eigenvalue crosses zero continuously.

Reading between the lines

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

If the angular-momentum reduction in Theorem 5 is correct, the same operator $A$ should also control quantitative stability rates; a natural check is to compare its lowest eigenvalue with the full linearized spectrum computed at higher truncation order.
The paper's conjecture that its two-mode Ansatz is equivalent to the earlier study's instability criterion suggests that the true boundary is the envelope of the one-parameter family $t\in[0,1]$; making that envelope analytic would turn the numerical curve into a closed-form threshold.
Because the numerical lowest eigenfunction is concentrated on the first few even Gegenbauer polynomials, a rigorous finite-section error bound for the matrix $M$ could convert the numerical phase boundary into a theorem.
The contrast with the three-dimensional spinor problem indicates that the reduction to angular-momentum modes $\pm 1$ is specific to two dimensions; an analogous instability criterion in dimension three would need a different, likely larger, family of modes.

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.

Desk Editor's Note

read the letter

Short version: Theorem 1 is a real, clean equivalence between the 2D spinor inequality and the Aharonov-Bohm inequality, and its proof is elementary and convincing. The numerical phase diagram is a useful extension of the Bonheure-Dolbeault-Esteban-Laptev-Loss results, and the N-dependence check (20, 40, 171) gives some credibility. But the paper's central analytical claim, Corollary 2(5) (linear instability is equivalent to non-positivity of the 2x2 operator A), rests on a one-sentence proof sketch. That is a load-bearing gap. The stress-test note is fair: a complete proof needs to show that all sectors with |m|>=2, the upper m=0 sector, and all spin-down modes cannot destabilize before the m=±1 upper modes. The paper does not provide those estimates. To its credit, the paper is honest about being preliminary: the title says so, and it admits the test functions are not optimal and that the Birman-Schwinger route is still being implemented. Still, the refined phase boundary in Figure 1 is computed from the unproven reduction.

The numerics are a second soft spot. The infinite matrix is truncated without a convergence theorem or error bounds. The comparison of N=40 and N=171 and the observation that the eigenfunction sits on the first ten even Gegenbauer polynomials are reassuring but not rigorous. Code and data would help; they are not supplied.

On the positive side, Theorem 1 is self-contained and its proof is complete, and the reduction of the parameter space is handled cleanly. The paper tells you exactly where its gaps are, which is a real virtue.

For a reader in nonlinear functional inequalities or magnetic-field interpolation problems, this is worth a careful look, but treat the numerical boundary as a conjecture, not a theorem. I would send it to a serious referee and ask for a full proof of Theorem 5, or at least a detailed decomposition with the missing sector estimates, and for code and data deposition. With those in hand it would be a solid paper.

Referee Report

3 major / 5 minor

Summary. This paper studies a two-dimensional spinorial analogue of the Caffarelli-Kohn-Nirenberg inequality, establishes an equivalence with a scalar Aharonov-Bohm interpolation inequality (Theorem 1), identifies the optimizer among radially symmetric spinors (Lemma 3), and claims that linear stability of the full problem around that optimizer is equivalent to positive semi-definiteness of a 2x2 operator A (Theorem 5, Corollary 2(5)). The paper then rewrites A as an infinite matrix in a Gegenbauer basis and uses finite truncations to compute approximate lowest eigenvalues, obtaining numerical evidence for a refined symmetry/symmetry-breaking phase boundary beyond the region established in [2].

Significance. If Theorem 5 and the numerical computations are correct, the paper provides a striking reduction: a single 2x2 differential operator determines the linear instability region for a spinorial interpolation inequality, and the refined phase boundary would significantly improve the previously known results. The paper is honest about its preliminary nature and gives credit to prior work. Its main strengths are the clean equivalence in Theorem 1, the explicit radial optimizer, and the transparent numerical formulation. The main weaknesses are the sketch-level proof of the load-bearing Theorem 5 and the absence of convergence or error bounds for the truncated-matrix computations, so the numerical phase boundary remains evidence rather than a rigorous result.

major comments (3)

[Section 3, Theorem 5 and Corollary 2(5)] The proof of Theorem 5 is only a one-sentence sketch: 'the only relevant directions for linear instability is the contribution of the spin-up component with angular momentum equal to 1 and the contribution of the spin-up component with angular momentum equal to -1.' This reduction is load-bearing because Corollary 2(5) and the entire numerical phase boundary rest on the equivalence between full linear instability and non-positivity of the 2x2 operator A. A complete proof must show that no other angular momentum sector and no spin-down component can produce a negative direction before A does. For instance, for upper components with |m| >= 2 one would need to compare the sector quadratic form with A plus positive diagonal shifts, the upper m=0 sector must be controlled by radial optimality, and the spin-down sectors require a positivity estimate using the Euler-Lagrange equation for phi*. None of these estimates appear in the paper. This is the central gap and must be addressed before the claimed refined phase boundary can be accepted as proven.
[Section 1, parameter range definition] The displayed parameter condition states 'beta < alpha <= beta+1 and p = 2/(beta-alpha)', but together with p > 2 this is impossible: if beta < alpha then beta-alpha < 0, so p = 2/(beta-alpha) is negative. The Emden-Fowler computation in Section 2 implicitly requires beta-alpha = 2/p > 0, hence the correct condition should be alpha < beta <= alpha+1 (equivalently beta = alpha + 2/p). This sign error affects the definition of the problem and should be corrected in the final version.
[Section 5, numerical truncation] The numerical phase boundary is obtained by truncating the infinite matrix M to its upper N x N block and computing the lowest eigenvalue for N = 20, 40, and 171. A negative eigenvalue of a finite principal submatrix gives a valid negative direction for the full quadratic form only if an exact eigenvector of that submatrix is used; the paper provides no verified error bounds for the computed eigenvalues. Conversely, the apparent threshold where the truncated eigenvalue changes sign is not certified: a true instability could be missed if the minimizing direction has significant support on high Gegenbauer modes. The statement that the approximation 'is not significantly losing essential features' is based on the observed mass concentration of one computed eigenvector and is heuristic. Since the refined phase transition is the main new contribution, the authors should provide convergence diagnostics, rigorous enclosures, or clearly state that only numerical evidence is claimed.

minor comments (5)

[Section 5, summary bullet] The bullet 'The threshold between linear instability and linear instability lies strictly between the established regions of symmetry and symmetry breaking' contains a typo: the second 'linear instability' should read 'linear stability'.
[Section 3, test functions] The two test functions phi_1 and phi_2 are described as 'informed guesses' and are used to derive explicit Pöschl-Teller conditions that color the red and blue regions in Figure 1. The relation between these trial-function regions and the supposedly complete Theorem 5 should be clarified: if A in Theorem 5 is complete, the trial functions give sufficient conditions only, and the paper should state clearly which regions are rigorous and which are only heuristic.
[Section 4] The name 'Birman-Schwinger' is misspelled as 'Birmann-Schwinger' in the text.
[Section 3, Lemma 3 proof] The proof of Lemma 3 is deferred to [6, Appendix A]; for a standalone paper, at least the essential normalization and the derivation of the Pöschl-Teller-type equation should be sketched, since the explicit form of phi* is used throughout the later analysis.
[Section 5, reproducibility] No code or numerical parameter settings are supplied. Providing the code or a short data table for the computed thresholds would substantially improve reproducibility of the numerical phase boundary.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main equivalences are proved, radial optimizer comes from an external classical result, and numerical boundaries come from an optimized variational ansatz rather than a fit.

full rationale

The derivation chain is not circular. Theorem 1 establishes the equivalence between (SCKN), (SCKNlog), and the Aharonov-Bohm inequality (AB) by explicit norm computations in Section 2, and the AB inequality and its symmetry regions are taken from [2], an independent published result rather than an input tailored to this paper's conclusion. Lemma 3's radial optimizer formula is attributed to Nagy [15], with [6, Appendix A] cited only as an accessible derivation; the formula itself is verified by the displayed Euler-Lagrange equation, so the self-citation is not load-bearing. Theorem 5 asserts that full linear instability is captured by the 2x2 operator A; although the sector reduction is only sketched, which is a rigor/correctness concern rather than circularity, the operator A is not defined as the full linearized form, and the claimed equivalence is a nontrivial statement. The numerical boundary is obtained by optimizing the trial parameter t in an explicit ansatz and computing the lowest eigenvalue of a truncated matrix, not by fitting a constant to the target phase boundary; comparisons with [2] are external checks. No equation is equivalent to its input by construction, and no fitted parameter is renamed as a prediction.

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

No new physical entities are introduced. The 2x2 operator A is a derived object, not a postulated entity. The main implicit inputs are the unproved angular-momentum reduction and the external results cited above.

free parameters (1)

Ansatz parameter t = optimized in [0,1]
Introduced in Section 3 for the trial spinor φ2. The blue symmetry-breaking region is the envelope over t, so the boundary depends on this ad hoc variational parameter rather than on a derivation from the full problem.

assumptions (5)

standard math Nagy's explicit optimizer formula for the one-dimensional interpolation problem (Lemma 3)
Invoked as a known result [15], with exposition in [6, Appendix A]; not reproved.
standard math Gegenbauer polynomial identities from [16, equations (15),(16),(19)]
Used in Section 4 to derive the infinite matrix M; taken from an external reference.
standard math Pöschl-Teller eigenvalue formulas for the trial operators
Used in Section 3 to convert trial quadratic forms into explicit boundary formulas; cited to [13,14].
domain assumption Background results of [2] for the Aharonov-Bohm inequality: existence, symmetry region S, symmetry-breaking region B, and separating function α(p)
Corollary 2(1)-(4) is stated as a direct consequence of Theorem 1 plus [2]; these prior theorems are not reproved.
ad hoc to paper Angular momentum reduction in Theorem 5: only spin-up modes with k=±1 can destabilize
Stated in the sketch of Theorem 5 with a 'variational argument' but no detailed proof; the entire A-criterion and all numerics depend on it.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Symmetry and symmetry breaking in interpolation inequalities for two-dimensional spinors -- Preliminary results." pith.science (2026). https://pith.science/paper/ZKEPJ53I

@misc{pith2026250608318,
  author       = {Pith},
  title        = {Pith review of: Symmetry and symmetry breaking in interpolation inequalities for two-dimensional spinors -- Preliminary results},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZKEPJ53I}},
  note         = {Machine review of arXiv:2506.08318}
}

abstract

On the two-dimensional Euclidean space, we study a spinorial analogue of the Caffarelli-Kohn-Nirenberg inequality involving weighted gradient norms. This (SCKN) inequality is equivalent to a spinorial Gagliardo-Nirenberg type interpolation inequality on a cylinder as well as to an interpolation inequality involving Aharonov-Bohm magnetic fields, which was analyzed in a paper of 2020. We examine the symmetry properties of optimal functions by linearizing the associated functional around radial minimizers. We prove that the stability of the linearized problem is equivalent to the positivity of a $2\times2$ matrix-valued differential operator. We study the positivity issue via a combination of analytical arguments and numerical computations. In particular, our results provide numerical evidence that the region of symmetry breaking extends beyond what was previously known, while the threshold of the known symmetry region is linearly stable. Altogether, we obtain refined estimates of the phase transition between symmetry and symmetry breaking. Our results also put in evidence striking differences with the three-dimensional (SCKN) inequality that was recently investigated.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 15 canonical work pages

[2]

B ONHEURE , J

D. B ONHEURE , J. D OLBEAULT , M. J. E STEBAN , A. L APTEV , AND M. L OSS , Symmetry Results in Two- Dimensional Inequalities for Aharonov–Bohm Magnetic Fields , Communications in Mathematical Physics, 375 (2020), pp. 2071–2087

work page 2020
[1]

J. E. A VRON , I. W. H ERBST , AND B. S IMON , Schrödinger operators with magnetic fields: III. Atoms in homogeneous magnetic field, Communications in Mathematical Physics, 79 (1981), pp. 529–572

work page 1981
[3]

B ONHEURE , M

D. B ONHEURE , M. N YS, AND J. VAN SCHAFTINGEN , Properties of ground states of nonlinear Schrödinger equations under a weak constant magnetic field, J. Math. Pures Appl. (9), 124 (2019), pp. 123–168

work page 2019
[4]

C AFFARELLI , R

L. C AFFARELLI , R. K OHN , AND L. N IRENBERG , First order interpolation inequalities with weights, Com- positio Math., 53 (1984), pp. 259–275

work page 1984
[5]

C ATRINA AND Z.-Q

F . C ATRINA AND Z.-Q. W ANG , On the Caffarelli-Kohn-Nirenberg inequalities: sharp constants, exis- tence (and nonexistence), and symmetry of extremal functions , Comm. Pure Appl. Math., 54 (2001), pp. 229–258

work page 2001
[6]

D OLBEAULT , M

J. D OLBEAULT , M. J. E STEBAN , R. L. F RANK , AND M. L OSS , The CKN inequality for spinors: symmetry and symmetry breaking, Apr. 2025. arXiv:2504.16909 [math]

arXiv 2025
[7]

D OLBEAULT , M

J. D OLBEAULT , M. J. E STEBAN , AND M. L OSS , Rigidity versus symmetry breaking via nonlinear flows on cylinders and Euclidean spaces, Inventiones mathematicae, 206 (2016), pp. 397–440

work page 2016
[8]

D OLBEAULT , D

J. D OLBEAULT , D. G ONTIER , F . PIZZICHILLO , AND H. V. D. B OSCH , Keller and Lieb-Thirring estimates of the eigenvalues in the gap of Dirac operators, 2023

work page 2023

Show all 16 references

[9]

E RD ˝OS, Rayleigh-type isoperimetric inequality with a homogeneous magnetic field, Calculus of Vari- ations and Partial Differential Equations, 4 (1996), pp

L. E RD ˝OS, Rayleigh-type isoperimetric inequality with a homogeneous magnetic field, Calculus of Vari- ations and Partial Differential Equations, 4 (1996), pp. 283–292

1996
[10]

F ELLI AND M

V. F ELLI AND M. S CHNEIDER , Perturbation results of critical elliptic equations of Caffarelli-Kohn- Nirenberg type, J. Differential Equations, 191 (2003), pp. 121–142

2003
[11]

R. L. F RANK AND M. L OSS , A sharp criterion for zero modes of the dirac equation, Journal of the Euro- pean Mathematical Society, (2024)

2024
[12]

V. P . IL’IN, Some integral inequalities and their applications in the theory of differentiable functions of several variables, Mat. Sb. (N.S.), 54 (96) (1961), pp. 331–380

1961
[13]

L. D. L ANDAU AND E. L IFSCHITZ , Quantum Mechanics. Non-relativistic theory., Third edition. Trans- lated from the russian by J.B. Sykes and J.S. Bell. Pergamon, New York, 1977

1977
[14]

P ÖSCHL AND E

G. P ÖSCHL AND E. T ELLER , Bemerkungen zur Quantenmechanik des anharmonischen Oszillators , Zeitschrift für Physik A Hadrons and Nuclei, 83 (1933), pp. 143–151

1933
[15]

B. V. S Z. N AGY , Über Integralungleichungen zwischen einer Funktion und ihrer Ableitung , Acta Univ. Szeged. Sect. Sci. Math., 10 (1941), pp. 64–74

1941
[16]

E. W. W EISSTEIN , Gegenbauer polynomial, From MathWorld–A Wolfram Web Resource. https://mathworld.wolfram.com/GegenbauerPolynomial.html, 2025. 18 J. DOLBEAULT, R.L. FRANK, AND J. WEIXLER (Jean Dolbeault) CEREMADE (CNRS UMR N◦ 7534), PSL UNIVERSITY , U NIVERSITÉ PARIS -D AUPHI...

2025

Pith tools

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

[1] [2]

B ONHEURE , J

D. B ONHEURE , J. D OLBEAULT , M. J. E STEBAN , A. L APTEV , AND M. L OSS , Symmetry Results in Two- Dimensional Inequalities for Aharonov–Bohm Magnetic Fields , Communications in Mathematical Physics, 375 (2020), pp. 2071–2087

work page 2020

[2] [1]

J. E. A VRON , I. W. H ERBST , AND B. S IMON , Schrödinger operators with magnetic fields: III. Atoms in homogeneous magnetic field, Communications in Mathematical Physics, 79 (1981), pp. 529–572

work page 1981

[3] [3]

B ONHEURE , M

D. B ONHEURE , M. N YS, AND J. VAN SCHAFTINGEN , Properties of ground states of nonlinear Schrödinger equations under a weak constant magnetic field, J. Math. Pures Appl. (9), 124 (2019), pp. 123–168

work page 2019

[4] [4]

C AFFARELLI , R

L. C AFFARELLI , R. K OHN , AND L. N IRENBERG , First order interpolation inequalities with weights, Com- positio Math., 53 (1984), pp. 259–275

work page 1984

[5] [5]

C ATRINA AND Z.-Q

F . C ATRINA AND Z.-Q. W ANG , On the Caffarelli-Kohn-Nirenberg inequalities: sharp constants, exis- tence (and nonexistence), and symmetry of extremal functions , Comm. Pure Appl. Math., 54 (2001), pp. 229–258

work page 2001

[6] [6]

D OLBEAULT , M

J. D OLBEAULT , M. J. E STEBAN , R. L. F RANK , AND M. L OSS , The CKN inequality for spinors: symmetry and symmetry breaking, Apr. 2025. arXiv:2504.16909 [math]

arXiv 2025

[7] [7]

D OLBEAULT , M

J. D OLBEAULT , M. J. E STEBAN , AND M. L OSS , Rigidity versus symmetry breaking via nonlinear flows on cylinders and Euclidean spaces, Inventiones mathematicae, 206 (2016), pp. 397–440

work page 2016

[8] [8]

D OLBEAULT , D

J. D OLBEAULT , D. G ONTIER , F . PIZZICHILLO , AND H. V. D. B OSCH , Keller and Lieb-Thirring estimates of the eigenvalues in the gap of Dirac operators, 2023

work page 2023