Summary
The authors propose empirical concentration inequalities for off-policy evaluation that apply to several forms of (smoothed) IPS, which are claimed to be tighter than the results in existing works. These bounds are then used to derive policy learning guarantees that inherit the properties of the concentration inequalities.
Strengths
I appreciate that the authors have applied their method to OPE, OPS, OPL, and also provided some experiments.
I did not read the appendix nor check the correctness of the analysis in detail, but from a quick glance it appears that the authors were careful to provide rigorous and well-organized proofs.
Weaknesses
My biggest criticism is that the authors have not justified *in the main body* their claim that "LS is provably tighter than its competitors" (L12) for any of the results, including the concentration inequalities (Prop 1, Cor 3, Cor 4) and the policy learning guarantee (e.g., Prop 6).
Since these claims are the whole premise for the paper, their justification should be a central pursuit and only stating "x is in Appendix y" (L147, 178, 195) is hugely insufficient.
For example, I would have liked to see a discussion on (possibly even in graphs):
- For the choices of $h$ described in (4), when do the bounds in Prop 1, Cor 3, and Cor 4 improve over the bounds from their respective papers?
- Is $h*$ (the tightest choice) better than all of the above?
- Does this hold for all hyperparameter choices, e.g. $\lambda$ and $L$?
- How does the computational complexity of calculating the bounds in Prop 1, Cor 3, Cor 4 hold up relative to their competitors?
- Exactly how does this lead to downstream policy learning improvements?
Lastly, I found the overall technical presentation to be relatively poor, and I'll give a few examples:
- The condition (C1) from Section 2 ("Regularized IPS") that all results depend on is never explicitly defined, and it should be an assumption that is called in every proceeding proposition/theorem statement.
- Shouldn't (11) be framed in, e.g., a lemma environment?
- The term "pessimism" is overloaded, e.g., for "high-probability upper bounds" in L111 but also for an in-expectation variant in Eq. (5), which is slightly unusual (and I'm pretty sure not the way it's used in [26]) but not recalled again in the main body so I'm not sure what it's for (perhaps the proof of Prop 1).
Questions
In addition to the ones in "Weaknesses," I have a specific question about Proposition 6. The gold standard in offline policy selection is a bound in the form of $R(\pi) - R(\widehat\pi) \le \lambda S(\pi) + \varepsilon$ for any comparator policy $\pi$ rather than the optimal one $\pi^*$ (see [26] and [Wang 2024] and [Xie 2021]). The former is strictly more general -- can you write your bound in such a form?
**References**
Wang, L., Krishnamurthy, A., & Slivkins, A. (2024, April). Oracle-efficient pessimism: Offline policy optimization in contextual bandits. In International Conference on Artificial Intelligence and Statistics (pp. 766-774). PMLR.
Xie, T., Cheng, C. A., Jiang, N., Mineiro, P., & Agarwal, A. (2021). Bellman-consistent pessimism for offline reinforcement learning. Advances in neural information processing systems, 34, 6683-6694.
Limitations
I do not believe the authors have fully discussed the limitations of their method (see "Weaknesses").