Back to search
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

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.