pith. sign in

arxiv: 2605.20715 · v1 · pith:3I3YZHH7new · submitted 2026-05-20 · 🧮 math.AP

Threshold dynamics for the 4d mass-energy double critical NLS

Alex H. Ardila , Zuyu Ma , Jason Murphy , Jiqiang Zheng This is my paper

Pith reviewed 2026-05-21 04:12 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlinear Schrödinger equationmass-energy criticalthreshold dynamicsscatteringblowupground state4d NLSconcentration compactness
0
0 comments X

The pith

The scattering/blowup dichotomy for the 4d mass-energy double critical NLS holds at the exact energy threshold E(u0) = E^c(W).

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

The paper proves that solutions to this four-dimensional nonlinear Schrödinger equation either scatter to a free wave or blow up in finite time, and that this clean split continues to hold when the conserved energy is set exactly equal to the threshold value carried by the ground state W. Earlier results had obtained the same dichotomy only for energies strictly below that threshold. Extending the argument to the equality case shows that no new behaviors or instabilities appear precisely at the critical energy level. A reader would care because the result removes the last gap in the long-time classification for all initial data whose energy is at most the ground-state value.

Core claim

We prove that the scattering/blowup dichotomy persists even at the energy threshold E(u_0)=E^c(W) for the 4d mass-energy double critical NLS.

What carries the argument

Concentration-compactness and profile decomposition arguments adapted from the strict sub-threshold regime to the energy-equality case.

If this is right

  • Solutions with energy exactly E^c(W) must either scatter to a linear solution or blow up in finite time.
  • No additional bounded non-scattering solutions exist at the energy threshold.
  • The ground-state energy E^c(W) marks a sharp transition between the two regimes.
  • The same profile-decomposition machinery suffices at equality as it does below the threshold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The adaptation suggests that threshold results for other critical dispersive equations may be reachable by similar extensions of existing compactness arguments.
  • Numerical simulations initialized exactly at E^c(W) are predicted to show only scattering or blowup, with no stable intermediate states.
  • The work leaves open the possibility of classifying the blowup rate or scattering rate for data sitting precisely on the threshold.

Load-bearing premise

The estimates and compactness arguments developed for energies strictly below the threshold can be carried over to the equality case without new instabilities.

What would settle it

A global-in-time bounded solution with E(u_0) exactly equal to E^c(W) that fails to scatter would falsify the claimed dichotomy.

read the original abstract

We consider the 4$d$ mass-energy double critical NLS \[ (i\partial_t+\Delta)u = -|u|^2 u + |u| u. \] In Luo (2024) and Cheng--Miao--Zhao (2016), the authors established a scattering/blowup dichotomy for solutions satisfying the energy constraint $E(u_0)< E^c(W)$, where $W$ is the energy-critical NLS ground state and $E^c$ is the energy for the underlying cubic NLS. We prove that the scattering/blowup dichotomy persists even at the energy threshold $E(u_0)=E^c(W)$.

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.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that the scattering/blowup dichotomy for the 4d mass-energy double critical NLS persists at the energy threshold E(u_0)=E^c(W), extending the strict sub-threshold results of Luo (2024) and Cheng-Miao-Zhao (2016).

Significance. If the technical details hold, the result completes the threshold dynamics picture for this equation, providing a full characterization of long-time behavior exactly at the critical energy level using profile decomposition and concentration-compactness methods.

major comments (1)
  1. [profile decomposition section] In the profile decomposition (presumably §3 or §4), the energy additivity at threshold becomes E(u)=E(W)+E(v) with no remainder penalty. This permits the leading profile to be exactly a modulated ground state W with vanishing remainder, yielding a stationary solution. The manuscript requires an explicit rigidity step (e.g., localized virial identity or uniqueness lemma) to exclude this case for non-exactly-W data at threshold; reliance on the strict inequality from the sub-threshold regime leaves the argument incomplete for the full set of data with E(u_0)=E^c(W).
minor comments (1)
  1. [abstract] The abstract asserts the result but supplies no indication of the new estimates or rigidity argument needed for the equality case; a one-sentence outline of the key adaptation would improve clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying this potential gap in the threshold case of the profile decomposition. We address the concern directly below and will revise the paper to strengthen the argument.

read point-by-point responses

  1. Referee: In the profile decomposition (presumably §3 or §4), the energy additivity at threshold becomes E(u)=E(W)+E(v) with no remainder penalty. This permits the leading profile to be exactly a modulated ground state W with vanishing remainder, yielding a stationary solution. The manuscript requires an explicit rigidity step (e.g., localized virial identity or uniqueness lemma) to exclude this case for non-exactly-W data at threshold; reliance on the strict inequality from the sub-threshold regime leaves the argument incomplete for the full set of data with E(u_0)=E^c(W).

    Authors: We agree that the current presentation relies on the strict sub-threshold dichotomy from Luo (2024) and Cheng-Miao-Zhao (2016) and does not contain an explicit rigidity argument to rule out the stationary case when the remainder vanishes exactly at the energy threshold. To close this gap, we will insert a new rigidity lemma (in the profile decomposition section) that applies a localized virial identity adapted to the mass-energy double-critical setting. This lemma shows that any solution with E(u_0)=E^c(W) that remains stationary (or precompact) must coincide with a modulated ground state W; for initial data not equal to W modulo symmetries, the remainder cannot vanish and the dichotomy proceeds by reducing to the sub-threshold regime via a small perturbation. We will also clarify the section numbering and add a short remark explaining why the sub-threshold result applies once rigidity excludes the pure W case. These changes will be incorporated in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: threshold extension adapts independent prior estimates without definitional reduction

full rationale

The paper extends the scattering/blowup dichotomy from the strict sub-threshold regime E(u_0) < E^c(W) in the cited works Luo (2024) and Cheng-Miao-Zhao (2016) to the equality case E(u_0) = E^c(W). The derivation chain uses profile decomposition and adapted estimates at threshold, but these steps do not reduce the claimed dichotomy to a fitted input, self-definition, or load-bearing self-citation within this manuscript; the prior results are treated as external and the adaptation is presented as a technical verification that the same estimates hold with equality. No equation or section equates the new prediction to the input data by construction, and the result is self-contained relative to the external benchmarks in the cited literature.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper builds directly on two cited prior results for the strict inequality case and extends them to equality; no new free parameters, invented entities, or ad-hoc axioms are visible from the abstract alone.

axioms (1)
  • standard math Standard tools from functional analysis and concentration-compactness arguments apply to this equation at the energy threshold.
    Such tools are routinely invoked in scattering/blowup proofs for NLS but are not detailed in the abstract.

pith-pipeline@v0.9.0 · 5635 in / 1246 out tokens · 59051 ms · 2026-05-21T04:12:12.157441+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Akahori, S

    T. Akahori, S. Ibrahim, H. Kikuchi, and H. Nawa,Existence of a ground state and scattering for a nonlinear Schr¨ odinger equation with critical growth, Selecta Math.19(2013), 545–609

    work page 2013

  2. [2]

    A. H. Ardila and J. Murphy,Threshold solutions for the3 d cubic-quintic NLS, Comm. Partial Differential Equations48(2023), no. 5, 819–862

    work page 2023

  3. [3]

    A. H. Ardila, J. Murphy, and J. Zheng,Threshold dynamics for the3 d radial NLS with combined nonlinearity, J. Differential Equations453(2026), 113800

    work page 2026

  4. [4]

    Campos, L

    L. Campos, L. G. Farah, and S. Roudenko,Threshold solutions for the nonlinear Schr ¨ odinger equation, Rev. Mat. Iberoam.38(2022), no. 5, pp. 1637–1708

    work page 2022

  5. [5]

    Cheng, C

    X. Cheng, C. Miao, and L. Zhao,Global well-posedness and scattering for nonlinear Schr¨ odinger equations with combined nonlinearities in the radial case, J. Differential Equations 261(2016), 2881–2934

    work page 2016

  6. [6]

    Dodson,Global well-posedness and scattering for the defocusing, L2-critical nonlinear Schr¨ odinger equation whend≥3, J

    B. Dodson,Global well-posedness and scattering for the defocusing, L2-critical nonlinear Schr¨ odinger equation whend≥3, J. Amer. Math. Soc.25(2012), no. 2, 429–463

    work page 2012

  7. [7]

    B. Dodson,Global well - posedness and scattering for the focusing, energy-critical nonlinear Schr¨ odinger problem in dimensiond = 4for initial data below a ground state threshold, Ann. Scient. ´Ec. Norm. Sup.52(2019), 139–180

    work page 2019

  8. [8]

    Dodson,A determination of the blowup solutions to the focusing, quintic NLS with mass equal to the mass of the soliton.Anal

    B. Dodson,A determination of the blowup solutions to the focusing, quintic NLS with mass equal to the mass of the soliton.Anal. PDE17(2024), no. 5, 1693–1760

    work page 2024

  9. [9]

    Duyckaerts and F

    T. Duyckaerts and F. Merle,Dynamic of threshold solutions for energy-critical NLS, Geom. Funct. Anal.18(2009), 1787–1840. 4D MASS-ENERGY DOUBLE CRITICAL NLS 35

    work page 2009

  10. [10]

    Hamano, H

    M. Hamano, H. Kikuchi, and M. Watanabe,Threshold solutions for the3 D focusing cubic- quintic nonlinear Schr¨ odinger equation at low frequencies, Dyn. Partial Differ. Equ.20(2023), no. 4, 263–297

    work page 2023

  11. [11]

    C. E. Kenig and F. Merle,Global well-posedness, scattering, and blow-up for the energy- critical, focusing nonlinear Schr¨ odinger equation in the radial case, Invent. Math.166(2006), no. 3, 645–675

    work page 2006

  12. [12]

    Killip and M

    R. Killip and M. Visan,The focusing energy-critical nonlinear Schr¨ odinger equation in dimensions five and higher, Amer. J. Math.132(2010), 361–424

    work page 2010

  13. [13]

    Killip, T

    R. Killip, T. Oh, O. Pocovnicu, and M. Vi¸ san,Solitons and scattering for the cubic–quintic nonlinear Schr¨ odinger equation onR3, Arch. Rational Mech. Anal.225(2017), 69–548

    work page 2017

  14. [14]

    Killip, J

    R. Killip, J. Murphy, and M. Vi¸ san,Scattering for the cubic-quintic NLS: crossing the virial threshold, SIAM J. Math. Anal.53(2021), 5803–5812

    work page 2021

  15. [15]

    Luo,Sharp scattering for the cubic-quintic nonlinear Schr¨ odinger equation in the focusing- focusing regime, J

    Y. Luo,Sharp scattering for the cubic-quintic nonlinear Schr¨ odinger equation in the focusing- focusing regime, J. Funct. Anal.281(2022), Paper No. 109489

    work page 2022

  16. [16]

    Luo,On the sharp scattering threshold for the mass-energy double critical nonlinear Schr¨ odinger equation via double track profile decomposition, Ann

    Y. Luo,On the sharp scattering threshold for the mass-energy double critical nonlinear Schr¨ odinger equation via double track profile decomposition, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire41(2024), no. 1, 187–255

    work page 2024

  17. [17]

    A. M. Mateo and V. Delgado,Effective mean-field equations for cigar-shaped and disk-shaped Bose-Einstein condensates, Phys. Rev. A77(2008), 013617

    work page 2008

  18. [18]

    Z. Ma, C. Miao, J. Murphy and J. Zheng,Dynamics of subcritical threshold solutions for the 4denergy-critical NLS, preprint,arXiv:2508.02608

    work page arXiv

  19. [19]

    C. Miao, G. Xu, and L. Zhao,The dynamics of the3 d radial NLS with the combined terms, Comm. Math. Phys.318, no. 3, 67–808

    work page

  20. [20]

    C. Miao, G. Xu, and L. Zhao,The dynamics of the NLS with the conbined terms in five and higher dimensions, Some Topics in Harmonic Analysis and Applications, 265–298, Advanced Lectures in Mathematics, ALM34, Higher Education Press, Beijing, and International Press, USA, 2015

    work page 2015

  21. [21]

    C. Miao, T. Zhao, and J. Zheng,On the 4D nonlinear Schr¨ odinger equation with combined terms under the energy threshold, Calc. Var. and PDE56(2017), 1–39

    work page 2017

  22. [22]

    Murphy,Threshold scattering for the2 d radial cubic-quintic NLS, Comm

    J. Murphy,Threshold scattering for the2 d radial cubic-quintic NLS, Comm. Partial Differential Equations46(2021), 2213–2234

    work page 2021

  23. [23]

    Sinha and L

    S. Sinha and L. Santos,Cold dipolar gases in quasi-one-dimensional geometries, Phys. Rev. Lett.99(2007), 140406

    work page 2007

  24. [24]

    T. Tao, M. Vi¸ san, and X. Zhang,The nonlinear Schr¨ odinger equation with combined power-type nonlinearities, Comm. Partial Differential Equations32(2007), 1281–1343. Alex H. Ardila Department of Mathematics, Universidad del V alle, Colombia Email address:ardila@impa.br Zuyu Ma The Graduate School of China Academy of Engineering Physics, Beijing 100088, ...

    work page 2007