Source-linked AI summary

Conditional Flow Models for Offline Maximum Entropy Reinforcement Learning

Hao Cheng, Yuling Jiao, Lican Kang, Jerry Zhijian Yang, Chen Zhong

arXiv:2610.32125v1stat.MLcs.LG

TL;DR

Offline maximum-entropy RL must estimate the optimal soft action value from fixed data even though the reward and transition laws needed for its Bellman operator are unknown. The paper learns those conditional laws with probability-flow models, then fits the value function by empirical Bellman-residual minimization. It establishes nonasymptotic guarantees, including a value-learning rate without Bellman completeness, and reports supportive experiments.

  • Problem

    Offline maximum-entropy RL seeks the optimal soft action value from fixed data, but unknown reward and transition laws prevent direct evaluation of its Bellman operator.

    Source: §1 · p. 3, §2.1 · p. 11
  • Method

    Conditional probability-flow ODEs estimate reward and transition laws, whose samples define an approximate soft Bellman operator for empirical-residual fitting of Q*.

    Source: §1 · p. 4, §3 · p. 16
  • Results

    The value-learning stage achieves excess Bellman residual risk of order eO(n^-2β/(d+2β)) and the analysis does not require Bellman completeness.

    Source: §1 · p. 5, §6 · p. 29
  • Takeaways & Limitations

    Separating environment-law estimation from value fitting distinguishes the operator-estimation error from the statistical and approximation errors in residual learning.

    Source: §6 · p. 29

    The analysis assumes bounded support for the conditional target distribution and integrated L2 approximation of the conditional score.

    Source: §4 · p. 21

Abstract

from arXiv · show

Offline maximum entropy reinforcement learning seeks to estimate the optimal soft action-value function \(Q^*\) from a fixed dataset without further interaction with the environment. Although \(Q^*\) is characterized by the soft optimal Bellman equation, the corresponding Bellman operator cannot be evaluated directly because both the reward distribution and the transition kernel are unknown. Consequently, estimating \(Q^*\) requires the joint treatment of environment modeling and value function learning. We propose a framework that addresses these tasks separately. Conditional diffusion models based on probability flow ODEs estimate the conditional reward distribution and transition kernel. The resulting distributional estimators define a data driven approximation of the soft optimal Bellman operator, whose empirical Bellman residual is minimized over a class of deep neural networks to estimate \(Q^*\). We establish nonasymptotic guarantees for the proposed method. For operator learning, we derive total variation error bounds for the conditional flow estimators that account explicitly for score estimation, numerical discretization, and terminal smoothing. For soft value learning, we first use the soft Bellman equation to show that $Q^*$ inherits H\"older regularity from the conditional reward and transition densities. For any H\"older index $\beta$, the value learning stage achieves an excess Bellman residual risk bound of order $\widetilde{\mathcal O}\big(n^{-\frac{2\beta}{d+2\beta}}\big),$ where $d$ is the total dimension of the state and action spaces. In contrast to many existing theoretical analyses of deep reinforcement learning, our results do not require Bellman completeness. Numerical experiments support the theoretical findings and demonstrate the effectiveness of the proposed method.

1 Introduction

The paper addresses how to estimate soft action values offline when reward and transition laws are unknown, separating environment modeling from value learning. It places this approach among work on entropy-regularized RL, environment models, and flow-based methods.

1 Introduction

  • Offline learning fixes the dataset and rules out additional environment interaction, making Bellman-operator estimation and error propagation to learned values central questions..Source: §1 · p. 3

1.1 Contributions

  • The framework is evaluated on a simulated MDP, classical control tasks, and D4RL HalfCheetah, with comparisons to SAC, CQL, and MOPO; the reported experiments support its effectiveness.The paper also reports competitive performance across the considered offline control tasks.Source: §1 · p. 5, §1.1 · p. 5
  • Conditional probability flow ODEs learn reward and transition laws; their samples define an approximate soft Bellman operator for empirical-residual estimation of Q* with ReLU networks.The separation permits environment-model and value-learning errors to be analyzed separately.Source: §1.1 · p. 5
  • The analysis gives nonasymptotic operator and residual-risk bounds, derives Q* regularity from conditional-density regularity, and does not require Bellman completeness.The value-learning terms have order eO(n^-2β/(d+2β)), where n is the value-learning sample size and d is the state-action dimension.Source: §1.1 · pp. 5–6, §1 · p. 5

1.2 Related Work

  • Existing flow-based RL methods mainly model policies or generate actions, whereas this framework uses flows to estimate reward and transition distributions for Bellman evaluation.The soft Bellman target includes both an action-side log-partition operation and an expectation over next states.Source: §1 · p. 4, §1.2 · p. 10

2 Preliminaries

The preliminaries define the MDP and entropy-regularized value-learning setting, introduce probability-flow constructions, and specify the network and notation conventions used later.

2.1 Markov Decision Process

  • An MDP is specified by state and action spaces, a transition kernel, a reward distribution, and a discount factor; its optimal action value satisfies the optimal Bellman equation.The reward is bounded, and the optimal policy is assumed to exist.Source: §2.1 · pp. 10–11

2.2 Entropy-Regularized Markov Decision Processes

  • Entropy regularization augments expected return with policy entropy, and the soft Bellman formulation uses a Gibbs policy and log-partition operation.The paper assumes uniformly bounded policy entropy and uses independent datasets for reward, transition, and value estimation.Source: §2.2 · pp. 11–13

2.3 Probability Flow ODEs for Score-Based Generative Models

  • Probability-flow ODEs provide a deterministic evolution whose marginal densities match those of the associated stochastic path under the stated well-posedness conditions.Conditioning replaces the marginal density and velocity with their conditional counterparts.Source: §2.3 · pp. 13–14

2.4 ReLU deep neural networks

  • The neural-network class uses ReLU activations, with bounded parameters and outputs and complexity described through nonzero parameters.The input and output dimensions are specified by the network layer dimensions.Source: §2.4 · pp. 14–15

2.5 Notations

  • The notation section defines asymptotic comparison symbols, suppresses logarithmic factors with eO, and uses standard vector and matrix norms and covering numbers..Source: §2.5 · p. 16

3 Flow-Based Soft Value Learning

The method estimates conditional reward and transition laws with probability-flow models, uses their samples to construct a soft Bellman operator, and fits the value function by minimizing its empirical residual.

3 Flow-Based Soft Value Learning

  • Conditional probability-flow ODEs estimate reward and transition distributions from separate offline datasets, while an independent dataset is used for value learning.The learned reward and next-state samples approximate the expectations in the soft Bellman operator; importance sampling approximates its log-partition continuation value.Source: §3 · pp. 16–17
  • For transition learning, the method transports Gaussian noise toward the conditional next-state distribution and estimates the velocity field by denoising score matching.The reward model uses the same construction with reward observations and its own dataset.Source: §3 · pp. 17–18
  • The learned reward and transition samplers define a data-driven soft Bellman operator, whose empirical residual is minimized over a bounded ReLU network class using the independent value dataset.The analysis conditions on the model-training and sampling randomness so the learned operator is fixed.Source: §3 · p. 19

4 Theoretical Analysis

The analysis estimates reward and transition laws with conditional probability flow ODEs, then learns the soft value function by minimizing an empirical Bellman residual. It separates operator-learning error from value-learning error and establishes guarantees without Bellman completeness.

4 Theoretical Analysis

  • Conditional probability flow ODEs estimate reward and transition laws, whose samples define the learned soft Bellman operator for empirical residual minimization.The analysis treats operator estimation and value learning separately.Source: §4 · pp. 20–21
  • The stated flow-estimator conditions include bounded support, an integrated L2 score-approximation assumption, score regularity, and Hӧlder conditional reward and transition densities.The score regularity condition is used to control derivative terms in the interpolation step.Source: §4 · pp. 20–21
  • Theorem 4.3 combines operator- and value-learning guarantees to bound overall excess Bellman residual risk.The bound separates learned-operator error from statistical and approximation terms for residual minimization.Source: §4 · p. 22
  • The flow-estimator error analysis accounts for score estimation, numerical discretization, and terminal smoothing, as well as Monte Carlo and importance-sampling error.These components enter the operator-learning error.Source: §4 · p. 22
  • Ignoring logarithmic factors, the reported sampling-error rate is O(n^(-2β/(d+2β))).Source: §4 · p. 22
  • The analysis does not require Bellman completeness: approximation error depends on the fixed target Q* rather than Bellman images of every function in the class.The paper attributes this feature to estimating the soft Bellman operator before residual minimization; Hӧlder regularity of Q* and ReLU approximation capacity control the error.Source: §4 · p. 23

5 Numerical Experiments

Across simulated, classical-control, and D4RL HalfCheetah offline experiments, the proposed method is evaluated against offline SAC, CQL, and MOPO using fixed datasets. It leads on the simulated task and the three classical tasks, while HalfCheetah results vary by dataset.

5 Numerical Experiments

  • The experiments use fixed offline data and compare the proposed method with offline SAC, CQL, and MOPO; evaluation trajectories are not added to training datasets.The study covers a simulated multimodal MDP, three classical continuous-control tasks, and four HalfCheetah D4RL datasets.Source: §5 · p. 23, §5.3 · p. 27

5.1 Simulated multimodal MDP.

  • 861.69 mean discounted return leads SAC, CQL, and MOPO by 328.21, 357.38, and 344.06, respectively, on the simulated MDP.The proposed method's standard deviation is 40.37, below SAC (282.65), CQL (135.00), and MOPO (303.31), over 100 evaluation trajectories.Source: Table 1 · p. 25, §5.1 · p. 25

5.2 Classical continuous-control tasks.

  • The proposed method achieves the highest return on Pendulum (-101.176), stochastic inverted pendulum (-95.289), and MountainCar (96.036).Its gains over SAC are 1.585, 2.108, and 0.011, respectively, so MountainCar is effectively tied.Source: Table 2 · p. 26, §5.2 · p. 26

5.3 D4RL HalfCheetah.

  • 52.32 average normalized score across four D4RL HalfCheetah datasets exceeds CQL, SAC, and MOPO by 4.27, 12.34, and 5.00 points, respectively.The largest reported gain is 14.61 points over CQL on Medium; Full-Replay scores trail SAC and CQL.Source: Table 3 · p. 28, §5.3 · p. 28

6 Conclusion

The conclusion presents a two-stage offline maximum-entropy value-learning framework, with nonasymptotic guarantees that separate environment-model and value-learning errors. Its proof outline decomposes residual risk into operator and value-learning contributions.

6 Conclusion

  • The framework learns reward and transition laws before fitting Q* by empirical soft Bellman residual minimization, separating environment-model and value-learning errors.The conclusion states that this analysis approximates Q* directly without requiring Bellman completeness.Source: §6 · pp. 28–29
  • The value-learning contribution combines statistical and ReLU approximation errors, while the remaining error comes from approximating the soft Bellman operator.The operator error includes conditional-flow and Monte Carlo contributions.Source: §6 · p. 29
  • The stated guarantees do not require Bellman completeness; experiments illustrate the method’s effectiveness on the considered tasks.The conclusion identifies offline policy optimization and scaling to higher-dimensional continuous control as future directions.Source: §6 · p. 29

A Proof Outline

  • The proof outline divides excess residual risk into operator discrepancies at the learned estimate and at Q*, plus statistical and network-approximation error.It obtains the operator bound, establishes the value-learning bound, then combines them.Source: A Proof Outline · pp. 30–31

A.1 Error Bounds for Parts I and II

The operator-learning analysis bounds errors in the learned conditional reward and transition laws and tracks how they affect the soft Bellman operator. The flow bounds distinguish estimation and discretization errors from terminal smoothing and sampling contributions.

A.1 Error Bounds for Parts I and II

  • Clipping generated outputs cannot increase their total variation error relative to targets supported on the prescribed domains.The argument applies the data-processing inequality for total variation.Source: §A.1 · p. 31
  • The learned conditional-flow error separates Gaussian initialization, score estimation, and numerical discretization from terminal smoothing bias.The terminal bias arises from stopping the flow at time 1 − τ; its bound depends on density smoothness and Gaussian boundary leakage.Source: §A.1 · pp. 32–33
  • Combining the flow and terminal-smoothing bounds yields operator-learning inequalities for both conditional transition and reward laws.The proof transfers the same bound to the reward law by replacing the next-state variable with the reward variable.Source: §A.1 · p. 33
  • The total variation bounds for reward and transition models also include Monte Carlo sampling and importance-sampling contributions in the empirical Bellman operator.The flow-related terms account for score estimation, EM discretization, and terminal smoothing.Source: §A.1 · p. 33

A.2 Error Bound for Part III

The value-learning analysis controls statistical and neural-network approximation errors, using regularity of Q* inherited from the conditional reward and transition densities. The accompanying proof material describes the concentration and flow-error components used in the guarantees.

A.2 Error Bound for Part III

  • Under an i.i.d. batch-data assumption, the statistical bound uses concentration over a finite δ-net of the ReLU network class and extends it to the full class by covering numbers.The discussion says dependent data could be treated with suitable mixing conditions and concentration results for dependent samples.Source: §A.2 · p. 34
  • The framework approximates Q* directly rather than requiring Bellman completeness, because conditional reward and transition density smoothness yields regularity of Q*.The value-learning proof combines statistical error with neural-network approximation error.Source: §A.2 · p. 35

B Proof of Theorem 4.1

  • The proof of Theorem 4.1 propagates conditional reward and transition-law discrepancies, together with sampling errors, to the soft Bellman operator.The passage identifies this as the route to the operator bound.Source: B Proof of Theorem 4.1 · p. 35

B.1 Proof of Lemma A.2

  • The flow comparison up to time 1 − τ accounts for initialization, score-estimation, and EM-discretization discrepancies before bounding terminal-time bias separately.The proof outline identifies the terminal-flow discrepancy as the remaining component.Source: §B.1 · pp. 36, 45

B.2 Proof of Lemma A.3

The proof combines terminal smoothing and learned-flow bounds into transition and reward-law estimates, then propagates distributional and sampling errors through the soft Bellman operator.

B.2 Proof of Lemma A.3

  • The proof combines the flow and terminal-smoothing components to bound the transition kernel, then transfers the argument to the conditional reward law.The clipped transition-law error is bounded by the pre-clipping flow-output error.Source: §B.2 · p. 47, §B.3 · p. 47

B.3 Proofs of Lemma A.4 and Corollary A.1

  • The reward-law bound follows the transition-law argument with the reward variable replacing the next-state variable.The proof uses the same conditional-law estimation approach.Source: §B.3 · p. 47

B.4 Proof of Theorem 4.1

  • Theorem 4.1’s proof propagates total-variation model errors and Monte Carlo and importance-sampling errors through the learned soft Bellman operator.The proof conditions on learned laws and generated samples when controlling the sampling contributions.Source: §B.3 · p. 48, §B.4 · pp. 48, 52

C Proof of Theorem 4.2

The proof establishes regularity and contraction properties for the soft Bellman setting, then combines statistical and ReLU approximation bounds to obtain the value-learning guarantee.

C Proof of Theorem 4.2

  • Q∗ inherits Hölder regularity from the conditional densities, with dominated convergence extending the derivative bounds to the closed state-action cube.The proof differentiates the density integrals while treating V∗ as a bounded weight, without assuming that V∗ is differentiable.Source: C Proof of Theorem 4.2 · pp. 53–54
  • The empirical soft optimal Bellman operator is a γ-contraction in the sup norm, providing stability for the statistical error analysis.The contraction is then used with a covering-number argument to control empirical residual minimization uniformly over Q.Source: C Proof of Theorem 4.2 · pp. 54–55

C.1 Proof of Lemma A.5

  • The preceding lemma controls the statistical component of value learning; combining it with Lemma A.6 and the ReLU approximation bound for Q* yields the complete value-learning guarantee.Source: §C.1 · p. 58

C.2 Proof of Theorem 4.2

  • Theorem 4.2 follows by combining the statistical error bound with a ReLU approximation bound for Q∗.The proof uses a Hölder bound for Q∗ and an approximation tolerance ε = n^(-β/(d+2β)).Source: §C.2 · p. 59

D Proof of Theorem 4.3

The proof characterizes the population objective by showing that the relevant losses share Q∗ as their unique minimizer under the stated regularity and support conditions.

D Proof of Theorem 4.3

  • The proof is organized around comparing the losses and establishing uniqueness for the population objective.It also derives an error decomposition connecting that objective to the finite-sample estimator.Source: D Proof of Theorem 4.3 · p. 59
  • Under Assumption 4.4 and the common full-support condition, both losses have the same unique minimizer among bounded continuous Q functions: Q∗.The proof uses continuity and full support to show that zero loss forces Q to equal Q∗.Source: D Proof of Theorem 4.3 · pp. 59–60

D.1 Proof of Lemma A.1

The lemma’s error decomposition separates excess Bellman residual risk into operator-learning and value-learning contributions, which are combined to establish Theorem 4.3.

D.1 Proof of Lemma A.1

  • The excess Bellman residual risk separates into operator-learning and value-learning contributions.The proof combines the decomposition with bounds from Appendices B and C to obtain Theorem 4.3.Source: §D.1 · p. 62
  • The appendix bounds supply the operator-learning and value-learning terms needed to apply the decomposition.Source: §D.1 · p. 62
  • Theorem 4.3 follows from the error decomposition together with Theorems 4.1 and 4.2.Source: §D.1 · p. 62

E Auxiliary results

The appendix records neural-network approximation and covering results used in the paper’s value- and operator-learning arguments.

E Auxiliary results

  • The auxiliary results are provided for the value-learning and operator-learning arguments above.Source: E Auxiliary results · p. 62
  • For a Hölder function f, Lemma E.1 gives a ReLU DNN approximation result for any tolerance ε in (0, 1).The stated lemma is attributed to Lemma 6.1 of Jiao et al. (2025).Source: E Auxiliary results · p. 62
  • Lemma E.2 states a covering result for ReLU DNNs with bounded parameters.The lemma is attributed to Lemma 20 of Feng et al. (2024).Source: E Auxiliary results · p. 62
Loading 2610.32125v1…