arXiv:2606.01122cs.LGq-fin.CP2026-06

提出一套诊断神经HJB-PIDE求解器的五步协议,发现并修复了非局部积分项的缩放错误。

A Per-Component Diagnostic Protocol for Neural HJB-PIDE Solvers under Control-Dependent Lévy Jumps

  • 通过分解哈密顿量各分量,逐项比对神经求解与独立参考解的差异。
  • 发现神经方法中非局部积分项被低估一半,导致最优控制误差显著。
  • 适用于高维和非齐次场景,适合依赖神经网络求解器的研究者使用。

本文针对具有控制相关Lévy跳跃的神经HJB-PIDE求解器,提出一个五步诊断协议,旨在解决神经偏微分方程方法的一个普遍失败模式:学习到的解虽在整体指标上表现良好,但其训练损失中的算子计算存在系统性错误。该协议将每次神经求解与至少一个从头开始的独立参考解配对,将哈密顿量分解为漂移、扩散、补偿项和非局部积分项,并在(t,x)网格上比较值函数及其低阶导数,而非直接进行argmax对比。应用于标准的CRRA-Merton-Variance-Gamma基准测试中,发现神经方法中重要性提议密度缺少1/2混合因子,导致非局部积分项被精确低估一半——这是常数提议尺度错误的经典特征,对长期训练、网格细化和截断扫描均不敏感。修正后,四个独立参考解(两个不同离散化的有限差分法、神经求解器、基于CRRA齐次性的半解析标量基准)对最优控制的预测一致,误差小于~2%。由于常系数CRRA基准可通过齐次性退化为标量最大化问题,此时标量基准即为高效方法;因此本文贡献在于诊断协议本身,原则上可推广至非齐次和高维场景,此时神经HJB-PIDE求解器才是必要工具。该案例揭示了神经PDE验证的深层风险:点态的值或控制近似可能掩盖非局部算子的根本错误,故必须进行分量级和表层检查,方可信任argmax策略。

原文摘要 · Abstract (English)

We propose a five-step diagnostic protocol for residual-trained neural HJB-PIDE solvers with control-dependent Lévy jumps, targeting a general failure mode of neural PDE methods: a learned solution can match headline scalar diagnostics while miscomputing an operator inside its training loss. The protocol pairs each neural solve with at least one from-scratch independent reference, decomposes the Hamiltonian into drift, diffusion, compensator, and nonlocal-integral components across a u-grid, and compares the value function and its low-order derivatives over a (t,x) grid before any argmax comparison. Applied to a standard CRRA-Merton-Variance-Gamma benchmark, it isolates a missing 1/2-mixture factor in the neural method's importance-proposal density that scaled the nonlocal integral by exactly half - a textbook signature of a constant proposal scale error, invisible to longer training, grid refinement, and truncation sweeps. With the bug corrected, four references - two finite-difference solvers with disjoint discretizations, the neural solver, and a semi-analytic scalar baseline obtained from CRRA homogeneity - agree on the optimal control to within ~2%. The constant-coefficient CRRA benchmark collapses by homogeneity to a scalar maximization, so the scalar baseline is the efficient method here; the contribution is the protocol, applicable in principle to non-homogeneous and higher-dimensional settings where neural HJB-PIDE solvers are genuinely needed. The episode is a concrete instance of a broader neural-PDE verification failure: pointwise agreement of a learned value or control can coexist with a systematically wrong nonlocal operator, so per-component and surface-level checks are needed before trusting the argmax policy.

神经偏微分方程金融数学数值验证模型诊断

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。