Summary
The paper proposes a new diffusion-based training loss for offline reinforcement learning, in which the empirical actions from the offline datasets are replaced with the actions sampled from a parameterized policy. The paper calls this new loss “trust region loss” and uses it as one of the objectives to minimize in the diffusion policy learning. The paper points out the mode seeking behavior induced by the minimization of such “trust region loss” and compares it with forward KL-regularization behavior cloning. The paper also evaluates the methods on D4RL datasets with some offline RL methods.
Strengths
### One-step policy
Introducing a one-step policy seems a promising way to address the challenges in the diffusion sampling. This idea is nicely motivated and well-justified. The discussion on the mode-seeking behaviors is interesting, especially with the empirical results as an extra evidence to support.
Weaknesses
I found the paper shares great similarities to the SRPO paper, in terms of the idea, the formulation, and the presentations. The empirical results of the proposed method are also close to SRPO method.
Beyond that, I have several other concerns:
### **Unknown trust region**
1. A bit surprisingly, **the paper gives no explicit definition of the crucial trust region used in Eq. (4)**, the diffusion-based trust region loss, even though trust region is the key for the whole paper. Particularly, the loss function defined by Eq. (4) comes directly from a simple modification of Eq. (3) by replacing the empirical action $a_0$ with the action generated by the policy $\pi_\theta$. It is unclear what the trust region this simple modification induces.
2. Regarding “the loss effectively creates a trust region defined by the diffusion-based behavior cloning policy, within which the one-step policy $\pi_\theta$ can move freely”, the paper does not explain how “to generate actions (data) that reside in the high-density region of the data manifold specified by $\mu_\theta$ through optimizing $\theta$”. Note that $a_\theta$ generated by $\pi_\theta$ will be fed into $\mu_\phi$. **So a trivial solution of this optimization will be $\pi_\theta(\cdot|s) = a_0$, i.e., $\pi_\theta$ just returns $a_0$ for every $(a_0, s)\sim D$ as in Eq. (2). Then loss in Eq. (4) is exactly the same as Eq. (3)**. So how does the optimization of Eq. (4) avoid such trivial solutions? Especially when the paper says Eq. (4) is to encourage mode seeking behaviors.
3. **the “one-step policy”, another important factor in the trust region, is introduced a bit inconsistently section 2.3 and 2.4**. I understand that Eq. (4) is to introduce a policy that seeks to model only one mode, i.e., one action only, from the training samples. But then line 133-137, “the generated action $a_\theta$ appear similar to in-sample actions and penalizes those that differ”, which means the action should be similar to any of the training samples to avoid penalties. Also, this “mode-seeking” contradicts with the statement “explore freely” in line 149: how does this policy move freely? And how the penalization is triggered? In addition, the paper mentioned an implicit parameterization of $\pi_\theta$: $a_\theta=\pi_\theta(s, \epsilon$. For this implicit parameterization, what’s the different between optimization Eq. (4) and the simple behavior cloning? One even more inconsistent description is given in line 183 “one-step Implicit policy”: why $\pi_\theta$ here is instantiated implicitly?
### A bit trivial discussion on mode seeking behaviors
**I found the discussion on mode seeking behaviors in Section 3 a bit trivial and pretty incremental as these have been pointed by SRPO already in its section 2.2**.
1. **the notations are not quite clear**: $p_{fake}$ and $p_{real}$ are not defined explicitly with respect to $\pi_\theta$ and $\mu_\phi$.
2. the forward KL divergence is mode-covering in that sense it learns a distribution that tries to cover all modes, while reverse KL divergence is mode-seeking, behaving similarly to the optimization of $L_{TR}$. This discussion has been provided by SRPO paper its equations (2) and (3). So what’s new? More importantly, **since the paper focuses more on the mode seeking behavior, why does it not compare against the reverse KL divergence minimization?**
3. **Theorem 1 tells very little about the mode seeking behavior of $\pi_\theta$ except the simple substitution of mode actions**. I don’t its importance in the training, especially the mode seeking behaviors.
### Hard to understand
**There are quite many sentences and descriptions with language issues or typos, which make the whole paper rather hard to understand**. Examples of language issues and typos:
* Line 192-193: “KL divergence is employed in this context, it is designed to recover all modalities of the data distribution”
* Line 199: “the loss ensures that the generated action .$a_\theta$ lies within the in-sample datasets”
* Line 288: “a Jacobian term” is different from what in Eq. (11).
* Line 126, “minimize $L_{PB}$ in Equation 4”. There is no such $L_{PB}$ term.
* Line 183, “is instantiates as an”
**Importantly, the hyperparameters used in the experiments are a bit hard to understand**. Particularly, in the experiments, the paper mentioned that “the variation between datasets significantly impacts the algorithm performance”. Then why did the paper still “employed the official SRPO code on Antemze-v0 and maintained identical hyperparameters used for Antmaze-v2”? Why wouldn’t the paper just report the performance on both versions, separating DQL, IDQL from SRPO?
Questions
1. Can the authors explain which empirical results support that the assertion “diversity, while valued in image and 3D generation, is not essential in offline RL”? as speculated in Line 234 - 235.
2. Can the authors explain “discourage out-of-distribution sampling” in line 107?
3. What does it mean by “policy $\pi_\theta$ can move freely” in line 121?