Pith. sign in

REVIEW 2 major objections 3 minor 27 references

Sharp non-uniqueness of singular solutions to the one-dimensional periodic cubic nonlinear Schr\"odinger equation

T0 review · 2 major / 3 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 Zero initial data admits a nonzero singular solution of the cubic NLS below the $H^{1/6}$ threshold.

desk verdict A promising two-carrier convex integration scheme for cubic NLS, but the central polarization identity is miscomputed and the singular product definition is missing a conjugate; both are load-bearing. read the letter →

arxiv 2608.07866 v1 pith:FI4LL3BD submitted 2026-08-08 math.AP

Qirui Peng This is my paper · ORCID
classification math.AP MSC 35Q5535A0235D3035B30
keywords cubicnonlinearSchrödingerequationnon-uniquenessconvexintegrationintermittentslabsingularsolutionsignedabsolute-Fourierproductsharpthreshold
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 establishes that the one-dimensional periodic cubic nonlinear Schrödinger equation loses uniqueness below the Sobolev exponent $1/6$, within a carefully defined class of singular weak solutions. It constructs, for either sign of the cubic term, a nonzero solution that is compactly supported in time, starts from zero initial data, and belongs to every $C_t^0 H_x^\alpha$ with $\alpha<1/6$ and every $C_t^0 L_x^p$ with $p<3$. The construction uses convex integration with an intermittent slab profile, and the sharpness comes from an existing unconditional uniqueness theorem at $H^{1/6}$: any singular solution of this class with zero initial datum at that higher regularity is forced to vanish. The cost of the construction is that the cubic nonlinearity is defined by a signed absolute-Fourier sum rather than the pointwise product $|u|^2u$, and the two agree only when the solution is regular enough to belong to $C_t^0 L_x^3$.

What carries the argument

The engine is an intermittent slab $\Theta_{\lambda,\varepsilon}$: a finitely band-limited, mean-zero, even periodic profile with nonnegative Fourier coefficients on the sparse lattice $\mu\mathbb{Z}$, exact cubic moment $\int_\mathbb{T}\Theta^3\,dx=1$, small $L^1$ and $L^2$ norms, and $L^p$ norms that scale like $\lambda^{(1-\varepsilon)(1/3-1/p)}$. The paper places this slab on two carrier waves, writing the perturbation as $w=h\Theta(a e^{2\pi i K x}+b e^{4\pi i K x})$. The key algebraic identity is $|az+bz^2|^2(az+bz^2)=a^2b+a(a^2+2|b|^2)z+b(2a^2+|b|^2)z^2+ab^2z^3$; choosing $b=-\sigma a^{-2}E$ makes the constant term $a^2b$ reproduce the old error $E$, including its zero Fourier mode, through the resonance $K-2K+K=0$. The residual is measured in a negative Wiener norm $A^{-s}_{x,t}$, the $\ell^1$ norm of time-continuous Fourier coefficients with weight $\langle n\rangle^{-s}$, whose negative weight absorbs the two derivatives in the Schrödinger operator and turns high-frequency output into gains. A complete placement-by-placement analysis of the eight terms in the cubic expansion keeps every low-output interaction under control.

What would settle it

Evaluate the series defining $C_s(u)$ on the limit function produced by the induction; divergence for some $s>3$ would invalidate the existence claim. Alternatively, any nonzero singular weak solution with zero initial datum belonging to $C_t^0 H_x^{1/6}$ would directly contradict the sharpness statement.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.1: for either $\sigma\in\{-1,1\}$ and any $s>3$, there is a nonzero function $u$ with $u(0,\cdot)=0$, compact time support, membership in $\bigcap_{\alpha<1/6} C_t^0 H_x^\alpha \cap \bigcap_{1\le p<3} C_t^0 L_x^p$, and finite $C_s(u)$, solving the equation in the singular weak sense of Definition 2.6. Consequently, zero initial data has both the zero solution and this nonzero singular solution. Conversely, every singular weak solution with zero initial data that belongs to $C_t^0 H_x^{1/6}$ is identically zero, by the embedding $H^{1/6}(\mathbb{T})\hookrightarrow L^3(\mathbb{T})$ and the existing unconditional uniqueness statement. The theorem therefore makes $1/6$ the sharp threshold inside this solution class. The nonlinear term $N(u)$ is defined as the signed absolute-Fourier cubic, is independent of the admissible Fourier cutoff, and coincides with the ordinary product exactly when the solution lies in $C_t^0 L_x^3$.

Load-bearing premise

The construction depends on accepting the singular weak formulation in which the cubic term is the signed absolute-Fourier product $N(u)$; if one insists on the ordinary pointwise cubic $|u|^2u$ at the constructed regularity, the nonzero solution is not known to satisfy the equation, so the non-uniqueness conclusion does not follow.

Editorial extensions

If this is right

  • Zero initial data admits both the zero solution and a nonzero singular weak solution at every regularity below $H^{1/6}$, for either sign of the nonlinearity.
  • The endpoint $1/6$ is sharp within the singular weak solution class: every such solution with zero initial datum in $C_t^0 H_x^{1/6}$ is identically zero.
  • The constructed solution lies simultaneously in all $C_t^0 H_x^\alpha$ with $\alpha<1/6$ and all $C_t^0 L_x^p$ with $p<3$, not merely in one fixed space.
  • The singular cubic $N(u)$ is robust under Fourier cutoffs: any admissible Fourier-cutoff sequence yields the same limit, so the nonlinearity is intrinsic to the solution rather than an artifact of one approximation.
  • In the overlapping regime $u\in C_t^0 L_x^3$, the singular product agrees with the pointwise product $|u|^2u$, so the two interpretations of the equation become identical there.

Reading between the lines

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

  • The two-carrier cancellation is likely to transfer to other dispersive equations whose cubic-type nonlinearity produces a low-frequency or constant component that a one-amplitude convex integration scheme cannot discard.
  • The use of a negative Wiener norm for the residual suggests a general recipe: measure errors in a norm whose negative weight absorbs derivatives, and handle the necessarily low-output terms by exact algebraic identities rather than by smallness.
  • If the construction can be varied over amplitudes and frequencies, the method may imply a continuum of nonzero singular solutions with zero initial data below $H^{1/6}$, although the paper itself does not state such a statement.
  • The mismatch between singular and ordinary cubic products below $L^3$ means the non-uniqueness can be interpreted as a consequence of the extended solution concept; a natural testable extension is whether the same iteration can produce an ordinary-product weak solution at this regularity.
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 develops a convex-integration construction of nonzero compactly supported singular weak solutions of the one-dimensional periodic cubic nonlinear Schrödinger equation with zero initial datum. The constructed function lies in C_t^0 H_x^\alpha for every \alpha<1/6 and in C_t^0 L_x^p for every 1\le p<3, and the cubic nonlinearity is interpreted through a signed absolute-Fourier product N(u). The proof adapts the intermittent slab of Gismondi--Ma--Pathak--Radu and introduces a two-carrier perturbation whose zero-output interaction is intended to reproduce the full old error, including the zero Fourier mode. The paper also proves a compatibility lemma between N(u) and the ordinary product |u|^2u at C_t^0 L_x^3, and uses the Guo--Kwon--Oh unconditional uniqueness theorem at H^{1/6} to claim sharpness of the threshold 1/6 within the singular solution class.

Significance. If the technical issues identified below are repaired, this would be a substantial contribution to the convex-integration approach to dispersive equations. The construction is nontrivial: the spatially constant output of the cubic nonlinearity is a genuine obstruction, and the proposed two-carrier mechanism is an original way to address it. The manuscript is unusually detailed and self-contained, with explicit Fourier bookkeeping, a complete placement-by-placement analysis of the signed Fourier sums, and a transparent statement of the parameter recursion. The authors also honestly disclose that the constructed solution solves the equation with the modified singular product rather than with the ordinary product unless it lies in C_t^0 L_x^3. The main concern is that the central algebraic identity and the definition of the cubic product contain a complex-conjugation error that breaks the induction as written.

major comments (2)
  1. [§6.1, Lemma 6.1 and Eq. (6.4)] The displayed identity (1.4)/(6.11) is false for complex b. Direct computation gives |az+bz^2|^2(az+bz^2) = a^2\bar b + a(a^2+2|b|^2)z + b(2a^2+|b|^2)z^2 + ab^2z^3, with the constant term a^2\bar b, not a^2 b. With the choice b_{q+1}=-\sigma a_{q+1}^{-2}E_q in (6.4), the zero carrier output is therefore -\sigma\bar E_q rather than -\sigma E_q. Consequently (6.25), (6.29), the residual decomposition (6.31), and the pure-new estimate in Lemma 6.11 do not close as written, and an unabsorbed term proportional to 2i\operatorname{Im}E_q remains. The induction is invalid in its printed form. A repair is plausible: if b_{q+1}=-\sigma a_{q+1}^{-2}\bar E_q and the constant term in the polarization identity is corrected to a^2\bar b, then the zero-output cancellation is restored; however, this change must be propagated through (6.4), (6.5), (6.63)--(6.66), and all estimates involving b_{q+1}.
  2. [Definitions 2.4--2.5 and Lemma 2.7] The signed cubic product in Definition 2.5 is defined by summing \hat u(t,n_1)\hat u(t,n_2)\hat u(t,n_3) with no complex conjugate on the middle Fourier factor. For complex-valued u this is not the Fourier coefficient of the ordinary product |u|^2u. As a result, the proof of Lemma 2.7 compares the wrong multiplier factor, and the conclusion N(u)=|u|^2u for u\in C_t^0 L_x^3 does not follow. The subsequent sharpness argument using the Guo--Kwon--Oh uniqueness theorem at H^{1/6} therefore is not established as written. If a conjugate on the middle factor was intended, it must be inserted consistently in Definitions 2.4--2.5, in the expansions in Section 6.4, and in all applicable lemmas. Without such a correction, the compatibility lemma is false for complex solutions.
minor comments (3)
  1. [§1.4 and §6.1] The sentence ``The complex conjugate in (1.5) is essential'' is inconsistent with the displayed equation (1.5) and with (6.4), which contain no conjugate on E_q. Please clarify the intended formula and ensure the surrounding text and equations agree.
  2. [Abstract and Theorem 3.1] The statement ``non-uniqueness ... to the ... cubic NLS'' should be qualified, as is already done later, by saying that the equation is satisfied in the singular weak sense of Definition 2.6 with nonlinearity N(u), not necessarily with the ordinary product |u|^2u for the constructed solution. The current wording in the abstract is potentially misleading, even though Remark 3.2 and the discussion after Lemma 2.7 are transparent about this point.
  3. [§4, Eq. (4.2)] The notation \alpha_{q+1}=1/6-\varepsilon_{q+1} is used before the reader knows that \varepsilon_{q+1} tends to zero; consider stating explicitly that \varepsilon_{q+1}=2^{-(q+1)} immediately after (4.2) rather than later.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is self-contained and the sharpness endpoint relies on an external uniqueness theorem, not on the paper's own definitions.

full rationale

The paper's argument is not circular. The main inductive proposition builds u_{q+1}=u_q+w_{q+1} with w_{q+1} prescribed from the old error E_q through b_{q+1}=-\sigma a_{q+1}^{-2}E_q (eq. 6.4); the cancellation is then verified by the algebraic expansion (6.25)-(6.29) and the new residual E_{q+1} is estimated by independent frequency-power bounds (Lemmas 6.5-6.7, 6.9-6.11, Proposition 6.8). No parameter is fitted to the theorem's conclusion, and the limiting nonlinear term is defined before the construction via the signed absolute-Fourier condition (Definitions 2.4-2.6). The endpoint sharpness at H^{1/6} is imported from the external uniqueness theorem of Guo-Kwon-Oh [12], with the compatibility Lemma 2.7 providing the link to the ordinary cubic product; neither is replaced by an assumption of the present paper. The intermittent slab is taken from [9] as an external ingredient, with no author overlap. The limitation in Remark 3.2 that mass conservation is unavailable, and any algebraic or conjugation errors in the two-carrier expansion (6.11), would be correctness gaps rather than equivalence-by-construction; they do not make the derivation circular.

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

No free parameters are fitted to data; the listed parameters are construction schedules. The only substantive external input is the Guo-Kwon-Oh uniqueness theorem. The singular-product definition is explicit. No new physical entities are proposed.

free parameters (4)
  • s (negative Wiener exponent) = >3, fixed
    Defines the residual space A^{-s}; the proof needs s>3 for Lemma 2.2(iii). The theorem holds for any such s, so s is not fitted to data.
  • beta (temporal cutoff exponent) = 0<beta<1/3
    Controls the time cutoff derivative in (6.10); required for exponent negativity in Proposition 6.8.
  • epsilon_{q+1} = 2^{-(q+1)}
    Intermittency schedule tending to zero; only needed to reach all alpha<1/6 simultaneously (Remark 3.3).
  • delta_q, gamma_{q+1} = 2^{-q-200}, 2^{-q-30}
    Geometric budgets for residual and absolute-Fourier increments; engineered for summability, not empirical fits.
assumptions (3)
  • domain assumption Guo-Kwon-Oh unconditional uniqueness in C_t^0 H_x^{1/6}
    External theorem [12] used for the sharpness endpoint; cited, no author overlap.
  • domain assumption The singular weak solution concept via signed absolute-Fourier product N(u)
    Definition 2.6; the central result is stated in this class, not for the ordinary product at low regularity.
  • standard math Standard Fourier, Plancherel, Sobolev, and convex integration framework
    Used throughout, for example in Lemma 2.2 and Proposition 5.3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp non-uniqueness of singular solutions to the one-dimensional periodic cubic nonlinear Schr\"odinger equation." pith.science (2026). https://pith.science/paper/FI4LL3BD

@misc{pith2026260807866,
  author       = {Pith},
  title        = {Pith review of: Sharp non-uniqueness of singular solutions to the one-dimensional periodic cubic nonlinear Schr\"odinger equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FI4LL3BD}},
  note         = {Machine review of arXiv:2608.07866}
}
abstract

We construct, via convex integration, a nonzero singular weak solution of the one-dimensional periodic cubic nonlinear Schr\"odinger equation that is compactly supported in time, has zero initial datum, and satisfies $u\in\bigcap_{\alpha<1/6} C_t^0 H_x^\alpha \cap \bigcap_{1\leq p<3} C_t^0 L_x^p$. The construction adapts the intermittent slab building block of Gismondi, Ma, Pathak, and Radu. For the full cubic NLS, the spatially constant component generated by the nonlinearity cannot be discarded. We overcome this zero-output obstruction with a two-carrier perturbation: its unique zero-carrier, zero-slab-output interaction reproduces the full old error, including its zero Fourier mode, while the remaining interactions are perturbative in a negative Wiener norm. The nonlinear term is defined through a signed absolute-Fourier summability condition and is the common limit generated by every admissible Fourier cutoff. Whenever a singular solution belongs to $C_t^0 L_x^3$, this nonlinear term agrees with the ordinary product $|u|^2u$. Since $H^{1/6}(\mathbb T)\hookrightarrow L^3(\mathbb T)$ and unconditional uniqueness holds in $C_t^0 H_x^{1/6}$ by a result of Guo, Kwon, and Oh, the threshold $1/6$ is sharp within the singular solution class considered here.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 23 canonical work pages

  1. [1]

    Ashkarian, A

    E. Ashkarian, A. Bhargava, N. Gismondi, and M. Novack,Intermittent singular solutions of the stationary 2D Navier–Stokes equations in sharp Sobolev spaces, arXiv:2506.00841, 2025

    arXiv 2025

  2. [2]

    Bourgain,Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations

    J. Bourgain,Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schr¨ odinger equations, Geom. Funct. Anal.3(1993), no. 2, 107–156

    work page 1993

  3. [3]

    Buckmaster and V

    T. Buckmaster and V. Vicol,Nonuniqueness of weak solutions to the Navier–Stokes equation, Ann. of Math. (2) 189(2019), no. 1, 101–144

    work page 2019

  4. [4]

    Cheskidov and H

    A. Cheskidov and H. Hou,On non-uniqueness of mild solutions and stationary singular solutions to the Navier–Stokes equations, arXiv:2603.03666, 2026

    arXiv 2026

  5. [5]

    Cheskidov and X

    A. Cheskidov and X. Luo,Sharp nonuniqueness for the Navier–Stokes equations, Invent. Math.229(2022), no. 3, 987–1054

    work page 2022

  6. [6]

    Christ,Nonuniqueness of weak solutions of the nonlinear Schr¨ odinger equation, arXiv:math/0503366, 2005

    M. Christ,Nonuniqueness of weak solutions of the nonlinear Schr¨ odinger equation, arXiv:math/0503366, 2005

    arXiv 2005

  7. [7]

    Colliander and T

    J. Colliander and T. Oh,Almost sure well-posedness of the cubic nonlinear Schr¨ odinger equation below L2(T), Duke Math. J.161(2012), no. 3, 367–414

    work page 2012

  8. [8]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr.,The Euler equations as a differential inclusion, Ann. of Math. (2)170 (2009), no. 3, 1417–1436

    work page 2009

Show all 27 references
  1. [9]

    Gismondi, K

    N. Gismondi, K. Ma, M. Pathak, and A. F. Radu,Non-unique solutions to the periodic gKdV equation, arXiv:2606.06916, 2026. NON-UNIQUENESS FOR CUBIC NLS 29

    2026 arXiv

  2. [10]

    Gromov,Partial differential relations, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol

    M. Gromov,Partial differential relations, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 9, Springer-Verlag, Berlin, 1986

    1986

  3. [11]

    E. P. Gross,Structure of a quantized vortex in boson systems, Nuovo Cimento (10)20(1961), 454–477

    1961

  4. [12]

    Z. Guo, S. Kwon, and T. Oh,Poincar´ e–Dulac normal form reduction for unconditional well-posedness of the periodic cubic NLS, Comm. Math. Phys.322(2013), no. 1, 19–48

    2013

  5. [13]

    Guo and T

    Z. Guo and T. Oh,Non-existence of solutions for the periodic cubic NLS below L2, Int. Math. Res. Not. IMRN 2018(2018), no. 6, 1656–1729

    2018

  6. [14]

    Hasegawa and F

    A. Hasegawa and F. Tappert,Transmission of stationary nonlinear optical pulses in dispersive dielectric fibers. I. Anomalous dispersion, Appl. Phys. Lett.23(1973), no. 3, 142–144

    1973

  7. [15]

    Hasegawa and F

    A. Hasegawa and F. Tappert,Transmission of stationary nonlinear optical pulses in dispersive dielectric fibers. II. Normal dispersion, Appl. Phys. Lett.23(1973), no. 4, 171–172

    1973

  8. [16]

    Isett,A proof of Onsager’s conjecture, Ann

    P. Isett,A proof of Onsager’s conjecture, Ann. of Math. (2)188(2018), no. 3, 871–963

    2018

  9. [17]

    Katznelson,An introduction to harmonic analysis, third ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2004

    Y. Katznelson,An introduction to harmonic analysis, third ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2004

    2004

  10. [18]

    N. H. Kuiper,On C 1-isometric imbeddings. I, II, Nederl. Akad. Wetensch. Proc. Ser. A58= Indag. Math.17 (1955), 545–556 and 683–689

    1955

  11. [19]

    Molinet,On ill-posedness for the one-dimensional periodic cubic Schr¨ odinger equation, Math

    L. Molinet,On ill-posedness for the one-dimensional periodic cubic Schr¨ odinger equation, Math. Res. Lett.16 (2009), no. 1, 111–120

    2009

  12. [20]

    Nash,C 1 isometric imbeddings, Ann

    J. Nash,C 1 isometric imbeddings, Ann. of Math. (2)60(1954), no. 3, 383–396

    1954

  13. [21]

    Oh and Y

    T. Oh and Y. Wang,Global well-posedness of the one-dimensional cubic nonlinear Schr¨ odinger equation in almost critical spaces, J. Differential Equations269(2020), no. 1, 612–640

    2020

  14. [22]

    Oh and Y

    T. Oh and Y. Wang,Normal form approach to the one-dimensional periodic cubic nonlinear Schr¨ odinger equation in almost critical Fourier–Lebesgue spaces, J. Anal. Math.143(2021), no. 2, 723–762

    2021

  15. [23]

    L. P. Pitaevskii,Vortex lines in an imperfect Bose gas, Sov. Phys. JETP13(1961), no. 2, 451–454

    1961

  16. [24]

    Tsutsumi, L2-solutions for nonlinear Schr¨ odinger equations and nonlinear groups, Funkcial

    Y. Tsutsumi, L2-solutions for nonlinear Schr¨ odinger equations and nonlinear groups, Funkcial. Ekvac.30 (1987), 115–125

    1987

  17. [25]

    V. E. Zakharov,Stability of periodic waves of finite amplitude on the surface of a deep fluid, J. Appl. Mech. Tech. Phys.9(1968), no. 2, 190–194

    1968

  18. [26]

    V. E. Zakharov and A. B. Shabat,Exact theory of two-dimensional self-focusing and one-dimensional self- modulation of waves in nonlinear media, Sov. Phys. JETP34(1972), no. 1, 62–69

    1972

  19. [27]

    V. E. Zakharov and A. B. Shabat,Interaction between solitons in a stable medium, Sov. Phys. JETP37(1973), no. 5, 823–828. Department of Mathematics, University of California, Santa Barbara, Santa Barbara, CA 93106, USA Email address:qpeng9@ucsb.edu

    1973

Pith tools

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