REVIEW 3 major objections 5 minor 2 cited by
Best Arm Identification with Possibly Biased Offline Data
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read With a valid bound on the offline-online bias, the LUCB-H algorithm matches pure online sample complexity when historical data misleads and improves on it when historical data helps.
desk verdict Worth sending to review, but Theorem 4.1 needs a real time-uniform concentration fix before the main upper bound can stand. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the mixed confidence interval built from two estimators: the online sample mean $\hat Y_t(i)$ with radius $\sqrt{2\log(kt/\delta)/N_t(i)}$, and the pooled estimator $\frac{N_t(i)\hat Y_t(i)+TS(i)\hat X(i)}{N_t(i)+TS(i)}$ with radius $\sqrt{\frac{2\log(kt/\delta)}{N_t(i)+TS(i)}} + \frac{TS(i)}{N_t(i)+TS(i)}\cdot V(i)$. Taking the minimum for upper bounds and the maximum for lower bounds gives the tightest valid interval at every round; the bias bound $V(i)$ converts the unknown shift $|\mu_{\mathrm{off}}(i)-\mu_{\mathrm{on}}(i)|$ into a worst-case correction, and the discrepancy measure $\eta(i)=V(i)+\mu_{\mathrm{off}}(i)-\mu_{\mathrm{on}}(i)$ decides when the offline-augmented bound is active. When $\eta(i) \le \Delta_i/4$ the offline data saves samples; when $\eta(i)>\Delta_i/4$ the offline bound is looser than the online one, so it is effectively discarded.
What would settle it
Run LUCB-H on a fixed two-arm instance with known Gaussian means and a valid bias bound, and compare the empirical failure probability at the stopping time $\tau_\delta$ against $\delta$. If the confidence intervals are not time-uniform as claimed, repeated runs at a horizon of order $\sum \Delta_i^{-2}\log(1/\delta)$ will show the error probability exceeding $\delta$; the missing union bound in Lemma C.1 would be exposed by checking the maximum deviation of $\hat Y_t(i)$ across all $t$ rather than at a single $t$.
Extended reading notes
Core claim
LUCB-H identifies the best arm with probability at least $1-\delta$ while adaptively deciding per arm whether the historical data is worth using. The algorithm maintains two confidence systems: standard online LUCB bounds and offline-augmented bounds whose radius includes a bias-correction term $\frac{TS(i)}{N_t(i)+TS(i)}\cdot V(i)$. At round $t$ it forms $\mathrm{UCB}_{\mathrm{mix}}(i)=\min\{\mathrm{UCB}_t(i),\mathrm{UCB}^S_t(i)\}$ and $\mathrm{LCB}_{\mathrm{mix}}(i)=\max\{\mathrm{LCB}_t(i),\mathrm{LCB}^S_t(i)\}$. Theorem 4.1 states that with a valid bias bound $V(i) \ge |\mu_{\mathrm{off}}(i)-\mu_{\mathrm{on}}(i)|$, the expected stopping time is $O\left(\sum_{\Delta_i>0}\left(\Delta_i^{-2}\log(1/\delta) - TS(i)\cdot\max\left\{1-\frac{4\eta(i)}{\Delta_i},0\right\}\right)\right)$, where $\eta(i)=V(i)+\mu_{\mathrm{off}}(i)-\mu_{\mathrm{on}}(i)$. Thus the sample complexity is never worse in order than LUCB without offline data, and it is strictly smaller exactly when $\eta(i)<\Delta_i/4$; the paper also proves an instance-dependent lower bound with a saving term $TS(i)\cdot\max\left\{\frac{\mu_{\mathrm{off}}(1)-\mu_{\mathrm{off}}(i)}{\Delta_i},0\right\}^2$ and shows the two saving terms match in some special cases.
Load-bearing premise
The main performance theorem assumes that the algorithm's uncertainty intervals remain correct simultaneously at every time step; the proof shows correctness only at one time step with high probability, and the missing step that bridges 'one step' to 'all steps' is load-bearing.
Editorial extensions
If this is right
- When the offline distribution equals the online one, the saving term reaches $TS(i)$ and LUCB-H recovers the batch Track-and-Stop sample complexity.
- When offline means are far enough that $\eta(i) \ge \Delta_i/4$ for every suboptimal arm, LUCB-H reverts to exactly the standard LUCB bound, so a practitioner never pays for carrying bad history.
- For instances with equal bias bounds across arms, the gap between the upper bound's saving term and the lower bound's saving term is provably nonnegative, so in that regime LUCB-H sits within the lower-bound constant.
- The impossibility result means any practical system that wants to exploit offline data without a bias bound must first estimate a valid upper bound on the shift; the bound is an input, not an output, of the algorithm.
Reading between the lines
- Beyond the paper, the min/max mixing rule suggests a general recipe for fixed-confidence BAI: run two confidence systems, one online-only and one history-augmented, and take the tighter bound; this could be ported to successive-elimination or Track-and-Stop variants.
- A natural testable extension is to replace the known-variance Gaussian assumption with bounded or sub-Gaussian rewards; the saving-term logic should survive once variance proxies replace the unit-variance radii.
- Appendix E's finding that underestimating $V(i)$ for the best arm degrades performance implies a practical design principle: budget the bias bound conservatively for the empirically best-looking arms, because those are the arms where the offline data can do the most harm.
- The lower bound's saving term suggests an arm-by-arm inclusion criterion for offline data: use arm $i$'s history only when $\mu_{\mathrm{off}}(1)-\mu_{\mathrm{off}}(i)$ is positive, a quantity that could be estimated directly from offline moments in applications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies fixed-confidence best-arm identification when the learner is given offline (historical) samples whose distributions may differ from the online reward distributions. It first claims an impossibility result (Proposition 3.1) showing that no delta-PAC policy can both exploit helpful offline data and ignore misleading offline data unless it knows a bound on the offline-online mean shift. It then proposes LUCB-H, a modification of LUCB that maintains two confidence intervals per arm, one from online data and one from a bias-corrected mixture of offline and online data, and takes the tighter of the two. Theorem 4.1 claims an expected stopping-time bound matching standard LUCB plus a saving term when the bias is small, and Theorem 5.1 gives an instance-dependent lower bound. Numerical experiments illustrate the claimed behavior.
Significance. The problem is timely and the algorithmic idea is natural: LUCB-H is a clean way to make offline data useful without risking unbounded degradation when the offline data are misleading. If the proof gaps were repaired, the paper would make a useful contribution to the fixed-confidence BAI literature and would extend the bias-bound framework of Cheung and Lyu (2024) from regret minimization to BAI. The paper does not ship code or machine-checked proofs, so the contribution rests on the mathematical arguments; at present the two central arguments are incomplete.
major comments (3)
- [Appendix C, Lemma C.1] The lemma asserts that the confidence-bound events hold simultaneously for all rounds t=1,2,... with probability at least 1-delta/k, and this time-uniform event is used in the proof of Theorem 4.1 to conclude that no arm is pulled after its counter exceeds tau_i. The proof, however, only establishes (at best) the event for a fixed t: the Chernoff bound is applied to the event over n=1,...,t for that t, and then a union bound is taken over the k arms. No union over t is performed. This is not a minor omission: with the stated radius sqrt(2 log(kt/delta)/n), a union over t would have failure probability sum_{t>=1} delta/(kt)=infinity, so the claimed simultaneous event is not proven. The derivation of E[tau_delta]=O(sum Delta_i^{-2} log(1/delta) - Savu(i)) therefore does not follow. A standard repair is to use a time-uniform radius such as sqrt(2 log(k t^2/delta)/N_t(i)), possibly with a peeling argument, and then re-derive the sample-complexity bound; the O(log(1/delta)) rate may survive, but the theorem statement must be re-verified.
- [Appendix B, Proposition 3.1] The proof uses the inequality d(1-delta,delta/2) > delta^{-epsilon'} d(1-delta,delta), claimed to follow from monotonicity of the binary relative entropy. This is false for any fixed epsilon'>0 as delta tends to 0: d(1-delta,delta/2) is asymptotic to log(1/delta) and d(1-delta,delta) is asymptotic to log(1/delta), so the ratio tends to 1, not to infinity. Consequently the displayed bound E_sigma(Q,2) >= 2 delta^{-2 beta - epsilon'} log(1/(2.4 delta)) does not follow from the preceding lines. In addition, the subtraction term TS(2) KL(Qoff(2),Poff(2)) / KL(Qon(2),Pon(2)) is not bounded by delta^{-2 beta - epsilon'} log(1/delta) as the proof asserts: with the constructed Qoff(2), KL(Qoff(2),Poff(2)) is of order delta^{-2 beta - epsilon}, KL(Qon(2),Pon(2)) is of order delta^{2 beta}, and TS(2) can be of order delta^{-2 beta}, making the quotient of order delta^{-6 beta - epsilon} up to constants, which swamps the leading term. Thus Proposition 3.1, the paper's impossibility result, is not established by the submitted proof.
- [Theorem 4.1, Eq. (4.5)] The statement E[tau_delta]=O(sum_{Delta_i>0}(Delta_i^{-2} log(1/delta) - Savu(i))) is not meaningful when the saving term exceeds the log term: for example, if eta(i)=0 and TS(i) is very large, the right-hand side is negative, but a stopping time cannot be negative. The bound should be written with max{...,0} inside the sum, or with an explicit cap on Savu(i), as is presumably intended in the proof's derivation of a lower bound on N_t(i).
minor comments (5)
- [Algorithm 1, line 15] The notation 'Nt+1(i) = Nt(i) + /BD {i in {ht, lt}}' uses an undefined symbol; it should be written with the indicator function 1{...}.
- [Section 6] The sentence 'We set the confidence levels at delta = 0.1, 0.12, ..., 0.110' appears to contain a typo; the range and step are unclear from the text and should be corrected.
- [Lemma C.1 proof] Even for a fixed t, the proof derives two one-sided inequalities each with probability at least 1-delta/k, so their intersection has probability at least 1-2delta/k; the claimed failure probability 1-delta/k needs an additional argument or an absolute-value concentration bound.
- [Appendix D] In the definition of Savl(i), the square is written outside the max term without parentheses: TS(i) max{...}^2; adding parentheses would remove ambiguity about the scope of the square.
- [General notation] The paper uses 'delta-PAC' without defining the acronym at first use, and the symbol 'P^2' in Assumption 5.1 is not explained; clarifying these would help the reader.
Circularity Check
No circular reduction found; Theorem 4.1 and 5.1 are derived from the algorithm's own confidence bounds and a KL change-of-measure, with only a contextual self-citation to Cheung–Lyu (2024).
full rationale
Walking the claimed derivation chain, Theorem 4.1's saving term Savu(i) = TS(i)·max{1 − 4η(i)/Δi, 0} is not a fitted input or a relabeled quantity; it is solved out in Appendix C from the algorithm's own stopping inequality min{2√(2 log(kt/δ))/(Nt(i)+TS(i)) + (TS(i)/(Nt(i)+TS(i)))·η(i), 2√(2 log(kt/δ))/Nt(i)} ≤ Δi/2, with η(i) = V(i) + μoff(i) − μon(i) the deterministic bias of the pooled estimator. The 'helpful when η(i) < Δi/4' threshold is a byproduct of this same algebra, not an assumption chosen to make the bound come out. Theorem 5.1's lower-bound saving Savl(i) = TS(i)·max{(μoff(1) − μoff(i))/Δi, 0}^2 is derived independently by a change-of-measure argument (Appendix D, Lemma A.1), and the matching discussion in Remark 5.1 is algebra on the two formulas, explicitly leaving the general gap unproved ('we leave the proof of this to future work'). No parameter is estimated from data and then 'predicted': V(i) is a declared input, both proofs carry their own concentration and transport arguments, and the experiments simulate the same algorithm rather than fitting the theory. The one self-citation, Cheung and Lyu (2024) (coauthored by W. C. Cheung), motivates the bias-bound framework in related work and is not a black box in the proofs of Proposition 3.1, Theorem 4.1, or Theorem 5.1. What the paper actually suffers from are correctness gaps, which are not circularity: Lemma C.1 claims the confidence events hold for all rounds t with probability ≥ 1 − δ/k, but the proof unions only over arms for a fixed t (the per-round failure δ/(kt) would sum to infinity over t), so the time-uniform clean event is unproven and the stated O(Σ Δ^{-2} log(1/δ)) complexity does not follow as written; Theorem 4.1 also omits a positive-part on the whole bracket so the bound can be formally negative; and the general gap(i) ≥ 0 is conceded to be unproved. Appendix E's honest admission that an underestimated V can cause underperformance is a limitation of the method, not a circular step. These are soundness issues, not reductions to inputs.
Assumptions & free parameters
free parameters (1)
- Bias bound V(i) =
External input; must satisfy V(i) >= |mu_off(i)-mu_on(i)|
assumptions (4)
- domain assumption Online and offline rewards are Gaussian with known variance; experiments use unit variance.
- domain assumption A finite valid bias bound V(i) >= |mu_off(i) - mu_on(i)| is known to the decision maker before the online phase.
- standard math Assumption 5.1: the distribution family allows local perturbations of the KL divergence in either mean direction.
- ad hoc to paper Lemma C.1: the confidence intervals contain the true online mean uniformly over all rounds t with probability at least 1-delta/k.
Cite this review
Pith. "Pith review of Best Arm Identification with Possibly Biased Offline Data." pith.science (2026). https://pith.science/paper/DHQFF3KL
@misc{pith2026250523165,
author = {Pith},
title = {Pith review of: Best Arm Identification with Possibly Biased Offline Data},
year = {2026},
howpublished = {\url{https://pith.science/paper/DHQFF3KL}},
note = {Machine review of arXiv:2505.23165}
}
read the original abstract
We study the best arm identification (BAI) problem with potentially biased offline data in the fixed confidence setting, which commonly arises in real-world scenarios such as clinical trials. We prove an impossibility result for adaptive algorithms without prior knowledge of the bias bound between online and offline distributions. To address this, we propose the LUCB-H algorithm, which introduces adaptive confidence bounds by incorporating an auxiliary bias correction to balance offline and online data within the LUCB framework. Theoretical analysis shows that LUCB-H matches the sample complexity of standard LUCB when offline data is misleading and significantly outperforms it when offline data is helpful. We also derive an instance-dependent lower bound that matches the upper bound of LUCB-H in certain scenarios. Numerical experiments further demonstrate the robustness and adaptability of LUCB-H in effectively incorporating offline data.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 2 Pith papers
-
Decentralized Relaxed Smooth Optimization with Gradient Descent Methods
A decentralized gradient descent method with adaptive clipping is claimed to reach best-known convergence rates for convex and nonconvex problems under (L0,L1)-smoothness without knowing the constants.
-
Using causal abstractions to accelerate decision-making in complex bandit problems
AT-UCB uses a cheap abstracted causal model to filter out suboptimal actions before running UCB on the expensive base model, with a regret bound that improves when the abstraction is accurate.
Reference graph
Works this paper leans on
-
[1]
Optimal best-arm iden- tification in bandits with access to offline data
Shubhada Agrawal, Sandeep Juneja, Karthikeyan Shan- mugam, and Arun Sai Suggala. Optimal best-arm iden- tification in bandits with access to offline data. arXiv preprint arXiv:2306.09048,
-
[2]
0.1 0.125 0.15 0.175 0.2 0.225 0 2000 4000 6000 8000 10000 pure LUCB LUCB-H (misleading) LUCB-H (beneficial) Figure 10: Evolution of E[τδ ] with V in group
work page 2000
-
[9]
Warm-starting con- textual bandits: Robustly combining supervised and ban- dit feedback
Chicheng Zhang, Alekh Agarwal, Hal Daumé III, John Langford, and Sahand N Negahban. Warm-starting con- textual bandits: Robustly combining supervised and ban- dit feedback. arXiv preprint arXiv:1901.00301 ,
arXiv 1901
-
[10]
Let A = ((πt), τ, ˆI ∗) be a δ-P AC algorithm. Let IP = ( P off , P on) and IQ = ( Qoff , Qon) be two problem instances defined over a common finite arm set A. Both instances share the same offline sample sizes {TS(i)}i∈A and confidence level δ, but may differ in their offline and online reward distributions. Let τδ(Q, i) be the (random) number of online samples...
work page 2016
-
[11]
, k}, from Assumption 5.1 there exists an alternative model v′ = (v1,
For all i ∈ {1, 2, . . . , k}, from Assumption 5.1 there exists an alternative model v′ = (v1, . . . , vi−1, v′ i, vi+1, . . . , vk) in which the only arm modified is arm i, i ⁄= 1 and v′ i is such that: KL(vi, v1) < KL(vi, v′ i) < KL(vi, v1) + a, µ on′ (i) > µ on′ (1) and µoff ′ (i) = { µoff (i), if µoff (i) > µ off (1) µoff (1), if µoff (i) < µ off (1). 0.1 0.1...
work page 2000
-
[2016]
Offline learning for combinatorial multi-armed bandits
Xutong Liu, Xiangxiang Dai, Jinhang Zuo, Siwei Wang, Carlee-Joe Wong, John Lui, and Wei Chen. Offline learning for combinatorial multi-armed bandits. arXiv preprint arXiv:2501.19300,
-
[2019]
Optimal exploitation of clus- tering and history information in multi-armed bandit
Djallel Bouneffouf, Srinivasan Parthasarathy, Horst Samu - lowitz, and Martin Wistub. Optimal exploitation of clus- tering and history information in multi-armed bandit. arXiv preprint arXiv:1906.03979 ,
arXiv 1906
-
[2020]
Data-pooling reinforcement learning for personalized healthcare inter - vention
Xinyun Chen, Pengyi Shi, and Shanwen Pu. Data-pooling reinforcement learning for personalized healthcare inter - vention. arXiv preprint arXiv:2211.08998 ,
Show all 12 references
-
[2021]
Combining of- fline causal inference and online bandit learning for data driven decision
Li Y e, Yishi Lin, Hong Xie, and John Lui. Combining of- fline causal inference and online bandit learning for data driven decision. arXiv preprint arXiv:2001.05699 ,
2001 arXiv
-
[2022]
Leveraging (biased) in- formation: Multi-armed bandits with offline data
Wang Chi Cheung and Lixing Lyu. Leveraging (biased) in- formation: Multi-armed bandits with offline data. arXiv preprint arXiv:2405.02594,
-
[2023]
Best-arm identifica- tion algorithms for multi-armed bandits in the fixed con- fidence setting
Kevin Jamieson and Robert Nowak. Best-arm identifica- tion algorithms for multi-armed bandits in the fixed con- fidence setting. In 2014 48th annual conference on infor- mation sciences and systems (CISS) , pages 1–6. IEEE,
2014
-
[2025]
Domain adaptation: Learning bounds and al- gorithms
Yishay Mansour, Mehryar Mohri, and Afshin Ros- tamizadeh. Domain adaptation: Learning bounds and al- gorithms. arXiv preprint arXiv:0902.3430 ,
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.