REVIEW 3 major objections 5 minor 40 references
Statistical solutions to the Schr\"odinger map equation in 1D, via the randomly forced Landau-Lifschitz-Gilbert equation
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read For every $h\in W^{1,\infty}(D;\mathbb{R})$, there is a stationary stochastic process whose trajectories are strong global solutions of the deterministic 1D Schrödinger map equation; it is genuinely random and non-trivial in space and…
desk verdict Genuinely new Kuksin-type construction for a geometric PDE with a repairable regularity gap and a minor numerical typo; worth serious refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The construction follows Kuksin's fluctuation–dissipation scheme. One starts from the stochastic Landau–Lifschitz–Gilbert equation $\mathrm{u}^\nu_t = \mathrm{u}^\nu_0 + \int_0^t (\mathrm{u}^\nu\times\partial_x^2\mathrm{u}^\nu - \nu\,\mathrm{u}^\nu\times(\mathrm{u}^\nu\times\partial_x^2\mathrm{u}^\nu))\,dr + \sqrt{\nu}\int_0^t h\,\mathrm{u}^\nu\times\circ dW_r$, which preserves the sphere and has an invariant measure for each $\nu\in(0,1]$. The load-bearing identity, imported from earlier work, is that every stationary solution $\mathrm{z}^\nu$ satisfies $\mathbb{E}\|\mathrm{z}^\nu\times\partial_x^2\mathrm{z}^\nu\|_{L^2}^2=\|\partial_x h\|_{L^2}^2$; combined with the geometric identity $\|\partial_x^2\mathrm{z}\|_{L^2}^2=\|\mathrm{z}\times\partial_x^2\mathrm{z}\|_{L^2}^2+\|\partial_x\mathrm{z}\|_{L^4}^4$, this yields uniform-in-$\nu$ bounds in $H^1\cap H^2$ and Hölder time regularity. Tightness in $L^2_{\mathrm{loc}}([0,\infty);H^1)\cap C_w([0,\infty);H^1)$ and the Skorokhod–Jakubowski theorem produce a limit $Z$ on a new probability space; the $\nu$-scaled noise and dissipative terms vanish in the limit, leaving the deterministic SME. The extra conservation law $\langle Z_t\rangle=\langle Z_0\rangle$, which is not conserved by the stochastic LLG, is what lets the authors prove genuine randomness and non-trivial space–time dynamics, with Lemma 3.10 supplying the limiting identity used to rule out spatially trivial solutions.
What would settle it
Run a structure-preserving discretization of the stochastic LLG with $h(x)=0.1\cos(x)$ on $D=[0,2\pi]$, wait until the law is stationary, and estimate both $\mathbb{E}\|\mathrm{z}^{\nu}\times\partial_x^2\mathrm{z}^{\nu}\|_{L^2}^2$ and $\mathbb{P}(\|\partial_x \mathrm{z}^{\nu}_t\|_{L^2}>0\ \forall t\ge 0)$; Corollary 1.4 and Proposition 3.3 predict the probability is $1$ and the identity equals $0.01\pi\approx0.0314$, so a reproducible violation of either prediction would settle the central claim.
Extended reading notes
Core claim
The central discovery is Theorem 1.1: for every $h\in W^{1,\infty}(D;\mathbb{R})$, there exists a probability space and a stationary stochastic process $Z$ such that $\hat{\mathbb{P}}$-a.s. each trajectory $Z(\hat\omega)$ is a strong global solution to the deterministic SME $z_t=z_0+\int_0^t z_r\times\partial_x^2 z_r\,dr$ with $|z_t|=1$ and null Neumann boundary conditions, lying in $L^\infty([0,\infty);H^1)\cap L^2_{\mathrm{loc}}([0,\infty);H^2)\cap C([0,\infty);H^1)$. The stationary law satisfies $\hat{\mathbb{E}}\|Z_t\times\partial_x^2Z_t\|_{L^2}^2\le \|\partial_x h\|_{L^2}^2$ and $\hat{\mathbb{E}}\|\partial_x^2Z_t\|_{L^2}^2+\hat{\mathbb{E}}\|\partial_x Z_t\|_{L^4}^4+\hat{\mathbb{E}}\|\partial_x Z_t\|_{L^2}^p\lesssim \|\partial_x h\|_{L^2}^2+1$, and the quantities $\|\partial_x Z_t\|_{L^2}^2$ and $\|Z_t-Q\|_{L^2}^2$ are conserved along every trajectory. Theorem 1.2 sharpens this: for $h\neq 0$, $\partial_x Z$ and $\partial_x^2 Z$ are non-zero on a set of positive probability exactly when $\partial_x h\neq 0$; then $t\mapsto Z_t$ is not constant, and $Z$ cannot be written as a countable mixture of deterministic solutions or as a spatially piecewise-constant random field. The paper presents this as the first existence result for non-trivial statistically stationary solutions to the 1D SME.
Load-bearing premise
The construction depends on an imported balance law for the stochastic Landau–Lifschitz–Gilbert equation—every stationary solution satisfies $\mathbb{E}\|\mathrm{z}^{\nu}\times\partial_x^2\mathrm{z}^{\nu}\|_{L^2}^2=\|\partial_x h\|_{L^2}^2$—and on being allowed to read stationary solutions on the whole time line and to condition on the event that they stay flat in space; if either step requires smoother functions than $h\in W^{1,\infty}$, the non-triviality theorems weaken, although a stationary limit may still exist.
Editorial extensions
If this is right
- For every $h\in W^{1,\infty}(D;\mathbb{R})$, the deterministic SME admits a stationary stochastic process of strong global solutions whose law is time-invariant, with the explicit second-derivative bounds of Theorem 1.1(b).
- If $\partial_x h\neq 0$, the stationary solution is genuinely random: it is not constant in $\hat\omega$, it is non-constant in space on a set of positive probability, and it moves non-trivially in time on a set of positive probability, as stated in Theorem 1.2.
- A concrete choice $h(x)=0.1\cos(x)$ on $D=[0,2\pi]$ yields the quantitative statement that more than $22.98\%$ of the trajectories exhibit non-trivial space–time dynamics, from the lower bound in Section 6.
- The stochastic SME admits stationary martingale solutions, and besides the space-independent stationary spherical Brownian motion, there are stationary solutions with non-zero gradient, as stated in Theorem 1.5.
- Integration in space maps each trajectory to a solution of the binormal curvature flow, so the existence transfers: the vortex filament equation also has non-trivial statistically stationary solutions, as stated in Theorem 1.6.
Reading between the lines
- Editorial extension: the identity $\mathbb{E}\|\mathrm{z}^{\nu}\times\partial_x^2\mathrm{z}^{\nu}\|_{L^2}^2=\|\partial_x h\|_{L^2}^2$ suggests a general principle—the spatial gradient of the noise coefficient fixes the mean curvature energy of any stationary state—that one could test on other sphere-valued geometric flows where the same algebraic identity may fail.
- Editorial extension: the spatial-mean conservation law $\langle Z_t\rangle=\langle Z_0\rangle$, used here to prove genuine randomness, may be the right diagnostic for stationarity in other geometric evolution equations whose stochastic approximations share the pointwise sphere constraint.
- Editorial extension: the paper leaves the Hashimoto transform and the cubic NLS link unresolved; a promising follow-up is to design the stochastic approximation directly in curvature–torsion variables, so that the time shift needed for the non-local equation is built into the noise and stationarity is preserved.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs statistically stationary solutions to the one-dimensional deterministic Schrödinger map equation with null Neumann boundary conditions. The method is Kuksin's fluctuation-dissipation limit: for each viscosity ν one takes a stationary solution z^ν of the stochastic Landau-Lifshitz-Gilbert equation forced by multiplicative noise of amplitude √ν h, proves ν-uniform bounds using the identity E‖z^ν×∂²_xz^ν‖²_{L²}=‖∂_xh‖²_{L²}, and then passes to the limit via Skorokhod-Jakubowski compactness. The limit Z is shown to be a stationary process whose trajectories solve the SME and satisfy several conservation laws; the paper further claims non-triviality of Z in space, time, and randomness when ∂_xh≠0, a quantitative lower bound on the set of non-trivially evolving trajectories, existence of stationary martingale solutions to the stochastic SME, and existence of statistically stationary solutions to the binormal curvature flow obtained by integrating Z in space.
Significance. If the proof can be completed, these are novel results: they appear to provide the first construction of non-trivial statistically stationary solutions for the one-dimensional SME, without recourse to the Hasimoto transform and directly in the real-valued formulation. The paper also contains a number of genuinely useful ideas: the geometric multiplicative noise that preserves S², the use of the space-average conservation law to prove genuine randomness, and the transfer to the binormal curvature flow. The main limitation is that several load-bearing steps, in particular the imported identity (3.2) and the all-time nondegeneracy argument, are not stated with sufficient hypotheses or are not fully justified. The central compactness strategy is coherent and likely repairable, but the claims as written outrun the evidence provided.
major comments (3)
- [Section 3, Proposition 3.3; Theorems 1.1, 1.2, 1.5] The central estimate (3.2) is imported from [21] without stating the regularity assumptions under which it is proved. The only well-posedness results stated in the paper, Proposition 3.1 and Proposition 3.2, require h∈W^{2,∞} and h∈W^{k+1,∞} respectively, whereas Theorems 1.1, 1.2 and 1.5 assume only h∈W^{1,∞}. Since the existence of the stationary LLG solutions, the uniform bounds in Lemmas 3.5, 3.7 and 3.8, and the non-triviality arguments in Sections 5 and 6 all feed on identity (3.2), the paper must either state a precise W^{1,∞} version of Proposition 3.3 with a reference or proof, or restrict the main theorems to h∈W^{2,∞}; alternatively, a smoothing/approximation argument would have to be supplied that preserves the exact value ‖∂_xh‖²_{L²}.
- [Section 3.2, Corollary 3.11 and Corollary 1.4] The proof of Corollary 3.11 is not valid as written. The event Γ is defined using all times t≥0, so the indicator 1_Γ is not adapted to the filtration at time t and cannot be inserted as a fixed factor inside the Itô computation performed 'following Lemma 3.10'. Additionally, the conclusion P(Γ)=0 only implies that almost surely there exists some (possibly random) time at which ‖∂_xz_t‖>0; it does not imply the stated event {ω : ‖∂_xz_t(ω)‖²>0 for every t≥0} has probability one. Corollary 1.4 and the corresponding all-time nondegeneracy statements in the introduction are therefore unsupported and need either a corrected argument or a weakened formulation.
- [Section 5.2, proof of Theorem 1.2(b)] The proof assumes that if t↦Z_t is constant in time, then the identity (5.1) can be treated exactly as in Theorem 1.2(a). However, the argument in Theorem 1.2(a) uses ∂_xZ=0 to conclude Z_t=⟨Z_t⟩; here the hypothesis only gives Z_t×∂²_xZ_t=0. To make the reduction, the paper needs the (true but unproved) fact that every null-Neumann steady state of the SME is constant in space. This classification should be stated and proved explicitly, since it is the bridge from time-constancy of the trajectory to ∂_xh=0.
minor comments (5)
- [Section 6] The numerical example h(x)=0.1 cos(x) on D=[0,2π] is inconsistent: for this function one has ⟨h²⟩=0.005, ⟨|h|⟩²≈0.00405 and ‖∂_xh‖²_{L²}=0.005, not the values 1/2, 4/π² and 1/2 used in the displayed inequality. The claimed bound P(Γ^C)>0.2298 must be recomputed or the example changed to h=cos x.
- [Section 8, Theorem 1.6(c)(i)] The statement '∂_xX, ∂²_xX≠0 if and only if ∂_xh≠0' is not accurate because ∂_xX=Z is never zero, as Z is S²-valued; the intended assertion is about ∂²_xX (or about ∂_xZ and ∂²_xZ at the level of Z).
- [Section 8, definition of the transform f] The transform f(v)=∫_0^x v(y)dy presumes that 0 belongs to the interval D; for a general bounded interval D one should fix a base point x_0∈D and use f(v)(x)=∫_{x_0}^x v(y)dy.
- [Section 1, Remark 1.3 and Section 5.2] The claim that steady states of the SME with null Neumann boundary conditions coincide with constant maps is used in the proof of Theorem 1.2(b) but not proved; a short proof or a precise citation should be added.
- [Section 6] The passage from the LLG-level identity (3.4) to the corresponding bound for the limit Z needs the same uniform-integrability justification as in Section 5; the text states the bound but does not display the required estimates for E‖∂_xZ_t‖⁴.
Circularity Check
No significant circularity: the core Kuksin-type limit is self-contained and the key LLG balance is re-derived in Lemma 3.5; the cited invariant-measure result is prior independent support.
full rationale
No circular step found. The paper's main theorem is a Kuksin-type compactness limit from stationary solutions of the stochastic Landau-Lifshitz-Gilbert equation to the deterministic Schrodinger map equation; this limiting argument is new and is not an input of the construction. The only imported ingredient is the existence of invariant measures and stationary solutions for stochastic LLG, cited to [21] (E. Gussetti), a prior standalone result by one of the authors. That citation is real external support, not a restatement of the target theorem. Moreover, the crucial balance E||z^nu x d2_x z^nu||^2 = ||d_x h||^2, although also quoted from [21] as Proposition 3.3, is re-derived inside the paper in Lemma 3.5 from the Ito formula and stationarity (equation (3.4) with p=2), so the uniform bounds, tightness, and nontriviality arguments do not reduce to the citation. The regularity gap (main theorems assume h in W^{1,infinity}, while the stated LLG well-posedness Proposition 3.1 assumes h in W^{2,infinity}) is a correctness/technical risk, not a circularity. No equation is equivalent by construction to its own input, and no fitted parameter is renamed as a prediction.
Assumptions & free parameters
assumptions (3)
- domain assumption Existence of an invariant measure for the stochastic LLG equation and the identities E||z^ν×∂²_xz^ν||² = ||∂_xh||² (Prop 3.3, from [21]).
- standard math Standard probabilistic and analytic tools: Itô's formula in the Itô-Stratonovich conversion, Burkholder-Davis-Gundy, Skorokhod-Jakubowski, Poincaré, Ladyzhenskaya, and Agmon inequalities.
- ad hoc to paper Stationary LLG solutions can be extended to a two-sided stationary process and the all-time event Γ may be used as a fixed factor inside Itô computations (Cor 3.11, Section 6).
Cite this review
Pith. "Pith review of Statistical solutions to the Schr\"odinger map equation in 1D, via the randomly forced Landau-Lifschitz-Gilbert equation." pith.science (2026). https://pith.science/paper/ZKMRUYV2
@misc{pith2026250116499,
author = {Pith},
title = {Pith review of: Statistical solutions to the Schr\"odinger map equation in 1D, via the randomly forced Landau-Lifschitz-Gilbert equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZKMRUYV2}},
note = {Machine review of arXiv:2501.16499}
}
read the original abstract
We prove the existence of statistically stationary solutions to the Schr\"odinger map equation on a one-dimensional domain, with null Neumann boundary conditions. We deal directly with the equation in its real-valued formulation, without using any transform. To approximate the Schr\"odinger map equation, we employ the stochastic Landau-Lifschitz-Gilbert equation. By a limiting procedure \`a la Kuksin, we establish existence of a random initial datum, whose distribution is preserved under the dynamics of the deterministic equation. Among other properties, the corresponding statistically stationary solution is proved to exhibit non-trivial dynamics in space and time and to be genuinely random. With an analogous argument, we prove the existence of stationary solutions to a stochastic Schr\"odinger map equation. We discuss the relationship between the statistically stationary solutions to the Schr\"odinger map equation, the binormal curvature flow and the cubic non-linear Schr\"odinger equation. Additionally, we prove the existence of statistically stationary solutions to the binormal curvature flow.
Reference graph
Works this paper leans on
- [21]
-
[1]
R. A. Adams, J. J. F. Fournier. Sobolev spaces. Second edition, 2003
work page 2003
-
[2]
H. Attouch, G. Buttazzo, G. Michaille. V ariational analysis in Sobolev and BV spaces. MOS-SIAM Series on Opti- mization. Second Edition, 2014
work page 2014
-
[3]
P . Baldi. Stochastic Calculus. An introduction through theory and exercises. Springer, Universitex, 2017
work page 2017
-
[4]
V . Banica and L. V ega. Stability of the self similar dynam ics of a vortex filament, Arch. Ration. Mech. Anal. 210, 673–712, 2013
work page 2013
-
[5]
V . Banica and L. V ega. Evolution of polygonal lines by the binormal flow, Ann. PDE, 6, Paper No. 6, 53 pp., 2020
work page 2020
-
[6]
V . Banica and L. V ega, On the energy of critical solutions of the binormal flow, Comm. PDE, 45, 820–845, 2020
work page 2020
-
[7]
Riemann’s Non-differentiable Func tion and the Binormal Curvature Flow
Banica, V ., V ega, L. Riemann’s Non-differentiable Func tion and the Binormal Curvature Flow. Arch. Ration. Mech. Anal. 244, 501–540, 2022
work page 2022
Show all 40 references
-
[8]
Invariant measures for passive scalars in the small noise inviscid limit
Jacob Bedrossian, Michele Coti Zelati, and Nathan Glatt -Holtz. Invariant measures for passive scalars in the small noise inviscid limit. Communications in Mathematical Phys ics, 348:101–127, 2016
2016
-
[9]
Bourgain
J. Bourgain. Invariant measures for the 2D-defocusing n onlinear Schr¨ odinger equation. Comm. Math. Phys. 176: 421-455, 1996
1996
-
[10]
Bourgain
J. Bourgain. Periodic nonlinear Schr¨ odinger equatio n and invariant measures. Comm. Math. Phys., 166(1):1–26, 1994
1994
-
[11]
Breit, E
D. Breit, E. Feireisl, M. Hofmanov´ a, B. Maslowski. Sta tionary solutions to the compressible Navier–Stokes syste m driven by stochastic forces. Probab. Theory Relat. Fields 1 74, 981–1032, 2019
2019
-
[12]
Breit, E
D. Breit, E. Fereisl, M. Hofmanov´ a. Stochastically forced compressible fluid flows. Series in Applied and Numerica l Mathematics, De Gruyter, 2018
2018
-
[13]
Brze´ zniak, B
Z. Brze´ zniak, B. Goldys, T. Jegaraj. Large deviations and transitions between equilibria for stochastic Landau- Lifshitz-Gilbert equation. Archive for Rational Mechanics and Analysis. 1–62, 2017
2017
-
[14]
L. S. Da Rios, On the motion of an unbounded fluid with a vor tex filament of any shape, Rend. Circ. Mat. Palermo 22, 117–135, 1906
1906
-
[15]
Fahim, E
K. Fahim, E. Hausenblas, D. Mukherjee. Wong–Zakai Appr oximation for Landau–Lifshitz–Gilbert Equation Driven by Geometric Rough Path. Applied mathematics and optimizat ion, 46, 1685-1730, 2021
2021
-
[16]
Ferrario, M
B. Ferrario, M. Zanella. Stationary solutions for the n onlinear Schr¨ odinger equation. arXiv:2305.10393, 2023
2023 arXiv
-
[17]
Flandoli, D
F. Flandoli, D. Gatarek. Martingale and stationary sol utions for stochastic Navier-Stokes equations. Probab. Th. Rel. Fields 102, 367–391, 1995
1995
-
[18]
F¨ odes and M
J. F¨ odes and M. Sy. Invariant measures and global well p osedness for SQG equation. arXiv:2002.09555, 2020
2002 arXiv
-
[19]
P . Friz, M. Hairer. A course on rough paths: with an introduction to regularity s tructures. Universitext, Springer, 2014
2014
-
[20]
B. Guo, X. Pu. Stochastic Landau-Lifschitz equation. D ifferential Integral Equations 22 (3/4), 251 - 274, 2009
2009
-
[22]
Gussetti
E. Gussetti. Pathwise central limit theorem and modera te deviations via rough paths for SPDEs with multiplicative noise. arXiv preprint arXiv:2307.10965, 2023
2023 arXiv
-
[23]
Gussetti, A
E. Gussetti, A. Hocquet. A pathwise stochastic Landau- Lifshitz-Gilbert equation with application to large deviations. Journal of Functional Analysis, 285 (9), 110094, 2023
2023
-
[24]
Hashimoto
H. Hashimoto. A soliton on a vortex filament, J. Fluid Mec h., 51, no. 3, pp. 477–485, 1972
1972
-
[25]
Glatt-Holtz, V
N. Glatt-Holtz, V . ˇSver´ ak, and V . Vicol. On inviscid limits for the stochastic Navier–Stokes equations and related models. Arch. Ration. Mech. Anal., 217:619–649, 2015
2015
-
[26]
R. L. Jerrard and C. Seis. On the vortex filament conjectu re for Euler flows, Arch. Ration. Mech. Anal. 224, 135–172, 2017
2017
-
[27]
R. L. Jerrard, D. Smets. On Schr¨ odinger maps from T1 to S 2. Ann. Sci. ENS, vol. 45, no. 4, 635-678, 2012
2012
-
[28]
S. Kuksin. The Eulerian Limit for 2D Statistical Hydrod ynamics. Journal of Statistical Physics, V ol. 115, Nos. 1/2 , 2004
2004
-
[29]
S. Kuksin. On Distribution of Energy and V orticity for Solutions of 2D Navier-Stokes Equation with Small Viscosity. Commun. Math. Phys. 284, 407, 2008
2008
-
[30]
Kuksin, A
S. Kuksin, A. Piatnitski. Khasminskii–Whitham averag ing for randomly perturbed KdV equation. J. Math. Pures Appl. 89, 400-428, 2008
2008
-
[31]
S. Kuksin. Damped-driven KdV and effective equations f or long-time behaviour of its solutions. Geom. Funct. Anal. 20, 1431-1463, 2010
2010
-
[32]
Kuksin, A
S. Kuksin, A. Shirikyan. Randomly forced CGL equation: stationary measures and the inviscid limit. J. Phys. A: Math. Gen. 37 3805, 2004
2004
-
[33]
M. Latocca. Construction of high regularity invariant measures for the 2D Euler equations and remarks on the growth of the solutions. Communications in Partial Differential E quations, 48 (1), 22-53, 2023
2023
-
[34]
J. L. Lebowitz, H. A. Rose, and E. R. Speer. Statistical m echanics of the nonlinear Schr¨ odinger equation. J. Statist. Phys., 50(3-4):657–687, 1988. 28 E. GUSSETTI, M. HOFMANOV ´A
1988
-
[35]
P . E. Protter. Stochastic integration and differentia l equations, 2005
2005
-
[36]
Shirikyan
A. Shirikyan. Local times for solutions of the complex G inzburg–Landau equation and the inviscid limit. Journal of Mathematical Analysis and Applications
-
[37]
M. Sy, X. Y u. Almost sure global well-posedness for the e nergy supercritical NLS on the unit ball of R3. Preprint arXiv:2007.00766, 2020
2007 arXiv
-
[38]
M. Sy. Almost sure global well-posedness for the energy supercritical Schr¨ odinger equations. J. Math. Pures. Appl. (154) 108–145, 2019
2019
-
[39]
M. Sy, X. Y u. Global well-posedness for the cubic fracti onal NLS on the unit disk. Nonlinearity (35), 2020, 2022
2020
-
[40]
M. Sy, X. Y u. Global well-posedness and long-time behav ior of the fractional NLS. Stochastics and Partial Differ- ential Equations: Analysis and Computations (10), 1261–13 17, 2021
2021
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.