differential-equations / Dispersive PDE; nonlinear Schrodinger equation; random data; blowup

Almost-sure global well-posedness for high-regularity random data in energy-supercritical defocusing NLS (Deng-Nahmod-Yue Open Problem 3), refuted on the twelve-torus

Claims: there are an odd pp (which can be taken arbitrarily large), an integer k>8k>8 and a nonempty open set U⊂Hk(T12)\mathcal U\subset H^k(\mathbb T^{12}) such that every solution of the defocusing NLS with data in U\mathcal U blows up in finite time TT with (T−t)1/(p−1)∣u(t,x∗)∣→c0>0(T-t)^{1/(p-1)}|u(t,x_*)|\to c_0>0, a type-I self-similar singularity with logarithmic phase. Since Gaussian measures charge open sets, for every α>k+6\alpha>k+6 the Gaussian Fourier datum blows up with positive probability, so almost-sure global existence for high-regularity random data fails for this (d,p)(d,p). It does NOT give probability-one blowup, a bound uniform in α\alpha, an explicit pp, or anything for low dimensions such as d≤11d\le 11; the question for other pairs (d,p)(d,p) stays open.

33Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsSep 24, 2026Significance 33/100Registry: lean checked

Almost-sure global well-posedness for high-regularity random data in energy-supercritical defocusing NLS (Deng-Nahmod-Yue Open Problem 3), refuted on the twelve-torus

Prior state unknown→disproved

Claims: there are an odd pp (which can be taken arbitrarily large), an integer k>8k>8 and a nonempty open set U⊂Hk(T12)\mathcal U\subset H^k(\mathbb T^{12}) such that every solution of the defocusing NLS with data in U\mathcal U blows up in finite time TT with (T−t)1/(p−1)∣u(t,x∗)∣→c0>0(T-t)^{1/(p-1)}|u(t,x_*)|\to c_0>0, a type-I self-similar singularity with logarithmic phase. Since Gaussian measures charge open sets, for every α>k+6\alpha>k+6 th…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims: there are an odd pp (which can be taken arbitrarily large), an integer k>8k>8 and a nonempty open set U⊂Hk(T12)\mathcal U\subset H^k(\mathbb T^{12}) such that every solution of the defocusing NLS with data in U\mathcal U blows up in finite time TT with (T−t)1/(p−1)∣u(t,x∗)∣→c0>0(T-t)^{1/(p-1)}|u(t,x_*)|\to c_0>0, a type-I self-similar singularity with logarithmic phase. Since Gaussian measures charge open sets, for every α>k+6\alpha>k+6 the Gaussian Fourier datum blows up with positive probability, so almost-sure global existence for high-regularity random data fails for this (d,p)(d,p). It does NOT give probability-one blowup, a bound uniform in α\alpha, an explicit pp, or anything for low dimensions such as d≤11d\le 11; the question for other pairs (d,p)(d,p) stays open.

Claims: there are an odd pp (which can be taken arbitrarily large), an integer k>8k>8 and a nonempty open set U⊂Hk(T12)\mathcal U\subset H^k(\mathbb T^{12}) such that every solution of the defocusing NLS with data in U\mathcal U blows up in finite time TT with (T−t)1/(p−1)∣u(t,x∗)∣→c0>0(T-t)^{1/(p-1)}|u(t,x_*)|\to c_0>0, a type-I self-similar singularity with logarithmic phase. Since Gaussian measures charge open sets, for every α>k+6\alpha>k+6 the Gaussian Fourier datum blows up with positive probability, so almost-sure global existence for high-regularity random data fails for this (d,p)(d,p). It does NOT give probability-one blowup, a bound uniform in α\alpha, an explicit pp, or anything for low dimensions such as d≤11d\le 11; the question for other pairs (d,p)(d,p) stays open.

Recorded attempts

Evidence graph

Connected research record

Almost-sure global well-posedness for high-regularity random data in energy-supercritical defocusing NLS (Deng-Nahmod-Yue Open Problem 3), refuted on the twelve-torus — Mathematical Frontier Network