🤖 AI Summary
This work addresses policy evaluation in continuous time over a finite horizon using discrete trajectories, where conventional Bellman-based methods suffer from only first-order accuracy. The authors propose a high-order generator regression framework that eliminates low-order truncation errors by matching moments of multi-step transitions and integrates backward parabolic equation regression to construct a high-order policy evaluator. This approach provides the first systematic elimination of truncation errors in continuous-time policy evaluation and establishes a theoretical characterization of error decomposition and gain identifiability. Empirical results demonstrate that the proposed second-order estimator significantly outperforms Bellman baselines across multiple benchmark tasks, with notably improved evaluation accuracy within the theoretically predicted effective regime.
📝 Abstract
We study finite-horizon continuous-time policy evaluation from discrete closed-loop trajectories under time-inhomogeneous dynamics. The target value surface solves a backward parabolic equation, but the Bellman baseline obtained from one-step recursion is only first-order in the grid width. We estimate the time-dependent generator from multi-step transitions using moment-matching coefficients that cancel lower-order truncation terms, and combine the resulting surrogate with backward regression. The main theory gives an end-to-end decomposition into generator misspecification, projection error, pooling bias, finite-sample error, and start-up error, together with a decision-frequency regime map explaining when higher-order gains should be visible. Across calibration studies, four-scale benchmarks, feature and start-up ablations, and gain-mismatch stress tests, the second-order estimator consistently improves on the Bellman baseline and remains stable in the regime where the theory predicts visible gains. These results position high-order generator regression as an interpretable continuous-time policy-evaluation method with a clear operating region.