2507.04035
Divergence-Kernel Method for Scores of Random Systems
Angxiu Ni
incompletemedium confidence
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s discrete-time divergence–kernel identity (Theorem 4.6) is rigorously derived and clearly stated, but the continuous-time SDE version (Theorem 1.1) is explicitly presented as a formal limit, relying on heuristic expansions and ‘ignoring cross terms’ during the passage to the limit, with the notion of integrating a backward-adapted αt defined only via a limiting prescription (Equation (10)), rather than as a standard Itô/Skorokhod integral. Hence, the SDE-level result is not fully rigorous in the paper . The candidate solution aims to supply a rigorous continuous-time proof via Euler–Maruyama plus Gaussian integration by parts, but it silently treats the dB-integral with backward-adapted α as an Itô integral (anticipating integrand) and differentiates αk with respect to Xk+1 during Stein’s identity without imposing any smoothness of α, both of which are nontrivial and unaddressed. Therefore, the model’s proof also leaves critical gaps. In short: the paper is rigorous in discrete time but only formal in continuous time; the model attempts a rigorous SDE proof but misses necessary assumptions and definitions for anticipating terms and the differentiability of α.
Referee report (LaTeX)
\textbf{Recommendation:} major revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The work offers a rigorous and practically valuable discrete-time divergence–kernel identity and a compelling idea for handling multiplicative noise via a backward schedule. However, its flagship continuous-time SDE result is explicitly formal, lacking a rigorous definition of backward integration and error control in the limit. Given the importance of SDEs, the paper should either provide a full proof under clear assumptions (e.g., via Skorokhod integrals or a controlled discrete-to-continuum limit) or more prominently present the SDE result as formal and delineate a roadmap to rigor.