Pith. sign in

REVIEW 2 major objections 3 minor 29 references

On the extremal functions of second order uncertainty principles: symmetry and symmetry breaking

T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read For N=2,3 the sharp second-order Hydrogen uncertainty constant is strictly below the conjectured (N+1)^2/4, and a sharp weighted family has explicit radial extremals.

desk verdict Solid negative answer to the CFL conjecture for N=2,3 and a sharp weighted inequality worth publishing, but the N=1 equality characterization in Theorem 1.3(1a) is false as stated. read the letter →

arxiv 2508.15221 v1 pith:TXKFVAQH submitted 2025-08-21 math.AP

Xiao-Ping Chen , Chun-Lei Tang This is my paper · ORCID
classification math.AP MSC 26D1046E35
keywords Caffarelli-Kohn-NirenberginequalitiessecondorderuncertaintyprinciplessharpconstantsextremalfunctionssymmetrybreakingHydrogenprinciplesphericalharmonicsweighted
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 the second-order Hydrogen uncertainty principle, which bounds the product of the integrals of |Δu|^2 and |∇u|^2 below by a constant times the square of ∫|∇u|^2/|x|. For dimensions N≥5 the sharp constant was known to be (N+1)^2/4, and it was conjectured to be the same for 2≤N≤4. The authors show that in dimensions two and three the sharp constant is strictly smaller, by producing a non-radial test function whose quotient falls below (N+1)^2/4; consequently any extremal function there must be non-radial, a symmetry-breaking phenomenon. They also prove a sharp weighted family of such inequalities for N≥1, with explicit radial extremal functions u(x)=a(1+b|x|^{α+1})e^{-b|x|^{α+1}} under the condition N≥5α+5. If correct, the paper refutes the low-dimensional conjecture while extending sharp weighted forms and their extremal characterizations.

What carries the argument

Spherical harmonics decomposition: writing u(rσ)=Σ u_k(r)φ_k(σ) and u_k(r)=r^k v_k(r) turns the three weighted integrals into sums of one-dimensional integrals in the radial variable r. Sharp constants are obtained by proving that the infimum over angular modes k is attained at k=0 in the weighted case and at k=1 in the low-dimensional symmetry-breaking case. For the negative result, the load-bearing object is the test function u_*(x)=|x|e^{-|x|}φ_1(σ), the radial factor |x|e^{-|x|} times the first spherical harmonic; its Rayleigh quotient is computed explicitly with Gamma functions. The proof of sharpness in the weighted case reduces to a monotonicity lemma for the function K(N,α,k), showin

What would settle it

Take the trial function u_*(x)=|x|e^{-|x|}φ_1(σ), restrict it to a ball of radius R with a smooth cutoff, and evaluate the Rayleigh quotient for N=2 and N=3 as R→∞. If the quotient does not converge to N(N+4)(N^2-1)^2/[4(N^2-N+4)^2], the upper bound in Theorem 1.1 is not established. Separately, for N=4, minimizing the same quotient over u_a(x)=|x|^a e^{-|x|}φ_1(σ) is a one-variable calculus problem; if the minimum is below 25/4, the conjecture fails in four dimensions as well.

Watch

Extended reading notes

Core claim

The paper's central discovery is that radial symmetry of the sharp constant fails for the second-order Hydrogen uncertainty principle in low dimension: for N∈{2,3}, C(N) lies strictly below the radial value (N+1)^2/4. Because radial functions achieve exactly (N+1)^2/4, the only way the global constant can be smaller is for the extremizer to be non-radial. The proof uses the spherical-harmonic test function u_*(x)=|x|e^{-|x|}φ_1(σ) to compute an upper bound C(N) ≤ N(N+4)(N^2-1)^2/[4(N^2-N+4)^2] < (N+1)^2/4; a spherical-harmonic estimate gives the lower bound (N-1)^4(N+3)^2/[4(N^2-2N+5)^2]. The same spherical-harmonic machinery yields a family of sharp weighted inequalities with constant (N+3α

Load-bearing premise

The load-bearing premise is that the non-compactly supported function u_*(x)=|x|e^{-|x|}φ_1(σ) can be approximated by C_c^∞ functions without increasing the quotient above the computed value; the paper labels u_* as C_c^∞ in Remark 1.2(1) but gives no truncation argument.

Editorial extensions

If this is right

  • For N=2,3, the sharp constant in (1.3) is strictly less than (N+1)^2/4, so the Cazacu–Flynn–Lam conjecture fails; N=4 remains open.
  • Any extremal function in N=2,3, if it exists, cannot be radial.
  • For N≥2 and α satisfying α>-1 and N≥5α+5, inequality (1.11) holds with best constant (N+3α+1)^2/4, attained exactly by u(x)=a(1+b|x|^{α+1})e^{-b|x|^{α+1}}.
  • For N=1, the weighted inequality is sharp with two different constants depending on α, with explicit extremizers; α=0 gives the one-dimensional version of the earlier result.
  • The result extends the Duong–Nguyen second-order Caffarelli-Kohn-Nirenberg inequality by making the sharp constant and extremal functions explicit in the case β=0.

Reading between the lines

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

  • In dimension 4, symmetry breaking is likely to hold but needs a different trial function: the paper's explicit formula for the quotient of |x|e^{-|x|}φ_1 gives 225/32 > 25/4, so the same ansatz cannot refute the conjecture there.
  • The computed quotient should be the limit of quotients of compactly supported cutoffs of u_*; writing this truncation limit explicitly would close the only gap between the calculation and a valid C_c^∞ upper bound.
  • For α outside the range N≥5α+5, the infimum over angular modes k may move away from k=0 to higher modes, producing symmetry breaking in the weighted family as well.
  • The explicit sharp constants and extremal profiles provide a natural reference for stability estimates analogous to those in the second-order Caffarelli-Kohn-Nirenberg literature.
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

2 major / 3 minor

Summary. The paper studies two second-order Hydrogen uncertainty principles. Theorem 1.1 claims that for N=2,3 the sharp constant C(N) in (1.3) is strictly smaller than (N+1)^2/4, giving a negative answer to a conjecture of Cazacu-Flynn-Lam; the proof combines a spherical-harmonics lower bound with an explicit test-function upper bound. Theorem 1.3 establishes a family of weighted second-order uncertainty inequalities (1.9)--(1.11), with sharp constants and equality characterizations: for N=1 it splits according to α, and for N≥2, under N≥5α+5, the sharp constant is (N+3α+1)^2/4 with radial extremal a(1+b|x|^{α+1})e^{-b|x|^{α+1}}.

Significance. If correct, the symmetry-breaking result for N=2,3 is a meaningful advance on a recent conjecture, and the weighted N≥2 inequality generalizes the sharp results of [8] with explicit extremals. The main computations are explicit and checkable, and the sharp constant verification by direct substitution of the extremal is a strength. However, the N=1 equality case (1a) contains a false extremal characterization, and the test function used in Theorem 1.1 is not compactly supported; both points affect the rigor of the stated claims.

major comments (2)
  1. [Theorem 1.3(1a), §1.2 and §3] The claimed extremal u(x)=a∫_{|x|}^{∞} exp(-b r^{α+1})dr is not in H^2_{α,0}(R). Its derivative is -a sign(x)e^{-b|x|^{α+1}}, which has a jump at 0; hence the distributional u'' contains a point mass and the weighted integral ∫|u''|^2|x|^{-2α} diverges. Thus the 'attained if and only if' assertion in (1.9) is false as written. The proof in §3 actually derives u'(x)=C_2 exp(-c|x|^{α+1}), which is continuous, so the displayed integral formula is inconsistent with the derivation. The correct extremizer should be an antiderivative of e^{-b|s|^{α+1}}, e.g. u(x)=a∫_0^x e^{-b|s|^{α+1}}ds plus a constant, which is admissible and satisfies the equality condition. The statement and proof must be corrected.
  2. [Theorem 1.1, §2, Eq. (2.4) and Remark 1.2(1)] The test function u_*=|x|e^{-|x|}φ_1(σ) is not compactly supported, although Remark 1.2(1) calls it an element of C_c^∞(R^N). The quotient in (2.4) is computed for this non-compactly supported function. To conclude the upper bound for the C_c^∞ sharp constant, one must provide a truncation/density argument showing that compactly supported approximations have quotients converging to the displayed value. The exponential decay makes this a standard cutoff argument, but it is absent from the proof. The theorem is likely true, but the proof as written contains a gap.
minor comments (3)
  1. [Theorem 1.3(1b), §1.2] The case condition 'α > -1/2 or α < -1' contradicts the standing assumption α>-1 in Theorem 1.3; presumably it should be 'α > -1/2'.
  2. [Lemma 3.1, Step 2] The inequality line contains '(2a+1)' where it should be '(2α+1)'. The argument is otherwise correct.
  3. [Notation and references] There are minor typographical issues: 'Caffareli-Kohn-Nirenberg' in the abstract should be 'Caffarelli-Kohn-Nirenberg'; in Remark 1.2(2), the symmetry-breaking conclusion is phrased conditionally on existence, which is fine but could be stated more precisely.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the sharp constants are computed from explicit test functions and external lemmas, not fitted or self-referential.

full rationale

The derivation chain is self-contained with respect to the paper's central claims. Theorem 1.1's upper bound is obtained by an explicit test function u*(x)=|x|e^{-|x|}phi_1(sigma) followed by direct Gamma-function computations, while the lower bound is quoted from the external proof in [8, Proof of Theorem 2.3]. The weighted inequality in Theorem 1.3 is proved via spherical-harmonic decomposition using identities quoted from [17, (2.9)-(2.11)], one-dimensional Cauchy-Schwarz/integration-by-parts estimates, and the elementary minimization in Lemma 3.1; sharpness is verified by directly computing the quotient for the radial family. No parameter is fitted to the target inequality, and no predicted constant is smuggled in through an assumed extremal form. The cited prior results ([8], [10], [15], [17]) are by other authors, not the present authors, so there is no self-citation chain carrying the argument. The manuscript does contain rigor gaps: u*(x)=|x|e^{-|x|}phi_1 is not compactly supported despite Remark 1.2(1), and the claimed N=1, -1<alpha<=-1/2 extremal u(x)=a*int_{|x|}^infty exp(-b r^{alpha+1}) dr has a discontinuous derivative and is not in H^2_{alpha,0}(R). These are correctness or attainability concerns, not circularity, and they do not raise the circularity score.

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

The central claims rest on standard spherical-harmonic technology and on cited external results. No fitted parameters or invented entities appear. The most fragile inputs are the unproven extension of [8]'s lower-bound inequality to N=2,3 and the unstated compact-support approximation.

assumptions (4)
  • standard math Spherical harmonics decomposition and the per-mode identities (Lemma 3.2) are valid for all N≥2.
    Used in proofs of Theorem 1.1 and 1.3; quoted from [17, (2.9)-(2.11)].
  • domain assumption The lower bound C(N) ≥ inf_k ... from [8, Proof of Theorem 2.3] extends to all N≥2, not just N≥5.
    Invoked in the proof of Theorem 1.1 without a proof of the extension.
  • domain assumption The test function u* = |x|e^{-|x|}φ1(σ) can be approximated by C_c^∞ functions so that the quotient is approached arbitrarily closely.
    Needed to turn the computed quotient into an upper bound on the C_c^∞ infimum in Theorem 1.1; not proven.
  • domain assumption The N=1 inequalities (1.9) and (1.10) and their extremal characterizations are taken as known from [10] and [15].
    The paper provides alternative proofs but relies on the known validity of the inequalities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the extremal functions of second order uncertainty principles: symmetry and symmetry breaking." pith.science (2026). https://pith.science/paper/TXKFVAQH

@misc{pith2026250815221,
  author       = {Pith},
  title        = {Pith review of: On the extremal functions of second order uncertainty principles: symmetry and symmetry breaking},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TXKFVAQH}},
  note         = {Machine review of arXiv:2508.15221}
}
abstract

This paper focus on the symmetry and symmetry breaking about the second order Hydrogen Uncertainty Principle. \emph{Firstly}, by choosing a suitable test function, we give a negative answer to the conjecture presented by Cazacu, Flynn and Lam in [\emph{J. Funct. Anal.} \textbf{283} (2022), Paper No. 109659, 37 pp] for $N\in\{2,3\}$, and emphasizing the symmetry breaking phenomenon. \emph{Secondly}, we obtain a family of sharp weighted second order Hydrogen Uncertainty Principle, and prove the extremal functions are radial, which extends the work of Duong and Nguyen [The sharp second order Caffareli-Kohn-Nirenberg inequality and stability estimates for the sharp second order uncertainty principle, arXiv:2102.01425].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 28 canonical work pages

  1. [8]

    Cazacu, J

    C. Cazacu, J. Flynn, N. Lam, Sharp second order uncertainty principles. J. Funct. Anal. 283 (2022), no. 10, Paper No. 109659, 37 pp

    work page 2022

  2. [10]

    Cazacu, J

    C. Cazacu, J. Flynn, N. Lam, G. Lu, Caffarelli-Kohn-Nirenberg identities, inequalities and their stabilities. J. Math. Pures Appl. (9) 182 (2024), 253–284

    work page 2024

  3. [15]

    A.X. Do, J. Flynn, N. Lam, G. Lu, Lp-Caffarelli-Kohn-Nirenberg inequalities and their stabilities. arXiv:2310.07083. https://arxiv.org/abs/2310.07083

    arXiv

  4. [17]

    The sharp second order Caffareli-Kohn-Nirenberg inequality and stability estimates for the sharp second order uncertainty principle

    A.T. Duong, V.H. Nguyen, The sharp second order Caffareli-Kohn-Nirenberg inequality and stability estimates for the sharp second order uncertainty principle. arXiv:2102.01425. https://arxiv.org/abs/2102.01425

    work page Pith review arXiv

  5. [1]

    Beckner, Weighted inequalities and Stein-Weiss potentials

    W. Beckner, Weighted inequalities and Stein-Weiss potentials. Forum Math. 20 (2008), no. 4, 587–606

    work page 2008

  6. [2]

    Brezis, P

    H. Brezis, P. Mironescu, Gagliardo-Nirenberg inequalities and non-inequalities: the full story. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35 (2018), no. 5, 1355–1376

    work page 2018

  7. [3]

    Caffarelli, R

    L. Caffarelli, R. Kohn, L. Nirenberg, First order interpolation inequalities with weights. Compositio Math. 53 (1984), no. 3, 259–275

    work page 1984

  8. [4]

    Catrina, D.G

    F. Catrina, D.G. Costa, Sharp weighted-norm inequalities for functions with compact sup- port in RN \ {0}. J. Differential Equations 246 (2009), no. 1, 164–182

    work page 2009

Show all 29 references
  1. [5]

    Catrina, Z.-Q

    F. Catrina, Z.-Q. Wang, On the Caffarelli-Kohn-Nirenberg inequalities: sharp constants, existence (and nonexistence), and symmetry of extremal functions. Comm. Pure Appl. Math. 54 (2001), no. 2, 229–258

    2001

  2. [6]

    Cazacu, A new proof of the Hardy-Rellich inequality in any dimension

    C. Cazacu, A new proof of the Hardy-Rellich inequality in any dimension. Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), no. 6, 2894–2904

    2020

  3. [7]

    Cazacu, J

    C. Cazacu, J. Flynn, N. Lam, Short proofs of refined sharp Caffarelli-Kohn-Nirenberg inequalities. J. Differential Equations 302 (2021), 533–549

    2021

  4. [9]

    Cazacu, J

    C. Cazacu, J. Flynn, N. Lam, Caffarelli-Kohn-Nirenberg inequalities for curl-free vector fields and second order derivatives. Calc. Var. Partial Differential Equations 62 (2023), no. 4, Paper No. 118, 26 pp. 18

    2023

  5. [11]

    Cordero-Erausquin, B

    D. Cordero-Erausquin, B. Nazaret, C. Villani, A mass-transportation approach to sharp Sobolev and Gagliardo-Nirenberg inequalities. Adv. Math. 182 (2004), no. 2, 307–332

    2004

  6. [12]

    Costa, Some new and short proofs for a class of Caffarelli-Kohn-Nirenberg type in- equalities

    D.G. Costa, Some new and short proofs for a class of Caffarelli-Kohn-Nirenberg type in- equalities. J. Math. Anal. Appl. 337 (2008), no. 1, 311–317

    2008

  7. [13]

    Del Pino, J

    M. Del Pino, J. Dolbeault, Best constants for Gagliardo-Nirenberg inequalities and appli- cations to nonlinear diffusions. J. Math. Pures Appl. (9) 81 (2002), no. 9, 847–875

    2002

  8. [14]

    Del Pino, J

    M. Del Pino, J. Dolbeault, The optimal Euclidean Lp-Sobolev logarithmic inequality. J. Funct. Anal. 197 (2003), no. 1, 151–161

    2003

  9. [16]

    M. Dong, N. Lam, G. Lu, Sharp weighted Trudinger-Moser and Caffarelli-Kohn-Nirenberg inequalities and their extremal functions. Nonlinear Anal. 173 (2018), 75–98

    2018

  10. [18]

    Duong, V.H

    A.T. Duong, V.H. Nguyen, On the sharp second order Caffarelli-Kohn-Nirenberg inequality. Ann. Fenn. Math. 50 (2025), no. 1, 275–286

    2025

  11. [19]

    N.T. Duy, N. Lam, G. Lu, p-Bessel pairs, Hardy’s identities and inequalities and Hardy- Sobolev inequalities with monomial weights. J. Geom. Anal. 32 (2022), no. 4, Paper No. 109, 36 pp

    2022

  12. [20]

    Frank, Sobolev inequalities and uncertainty principles in mathematical physics: Part I

    R.L. Frank, Sobolev inequalities and uncertainty principles in mathematical physics: Part I. Lecture Notes. (2011) https://www.mathematik.uni-muenchen.de/~frank/sobweb1.pdf

    2011

  13. [21]

    Frank, R

    R.L. Frank, R. Seiringer, Non-linear ground state representations and sharp Hardy inequal- ities. J. Funct. Anal. 255 (2008), no. 12, 3407–3430

    2008

  14. [22]

    Fr¨ ohlich, E.H

    J. Fr¨ ohlich, E.H. Lieb, M. Loss, Stability of Coulomb systems with magnetic fields. I. The one-electron atom. Comm. Math. Phys. 104 (1986), no. 2, 251–270

    1986

  15. [23]

    N. Lam, G. Lu, L. Zhang, Geometric Hardy’s inequalities with general distance functions. J. Funct. Anal. 279 (2020), no. 8, 108673, 35 pp

    2020

  16. [24]

    Lin, Interpolation inequalities with weights

    C.-S. Lin, Interpolation inequalities with weights. Comm. Partial Differential Equations 11 (1986), no. 14, 1515–1538. 19

    1986

  17. [25]

    Nguyen, Sharp weighted Sobolev and Gagliardo-Nirenberg inequalities on half-spaces via mass transport and consequences

    V.H. Nguyen, Sharp weighted Sobolev and Gagliardo-Nirenberg inequalities on half-spaces via mass transport and consequences. Proc. Lond. Math. Soc. (3) 111 (2015), no. 1, 127– 148

    2015

  18. [26]

    Talenti, Best constant in Sobolev inequality

    G. Talenti, Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) 110 (1976), 353–372

    1976

  19. [27]

    Tertikas, N.B

    A. Tertikas, N.B. Zographopoulos, Best constants in the Hardy-Rellich inequalities and related improvements. Adv. Math. 209 (2007), no. 2, 407–459

    2007

  20. [28]

    Vazquez, E

    J.L. Vazquez, E. Zuazua, The Hardy inequality and the asymptotic behaviour of the heat equation with an inverse-square potential. J. Funct. Anal. 173 (2000), no. 1, 103–153

    2000

  21. [29]

    Xia, The Caffarelli-Kohn-Nirenberg inequalities on complete manifolds

    C. Xia, The Caffarelli-Kohn-Nirenberg inequalities on complete manifolds. Math. Res. Lett. 14 (2007), no. 5, 875–885. 20

    2007

Pith tools

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