Identify the selected D-optimal design in the nonunique case
Determine which D-optimal design the empirical sampling distribution generated by LinUCB converges to when the D-optimal design is not unique, thereby identifying the exact leading-order constant of the pseudo-regret in the nonunique case.
References
Pinning down the exact constant would require identifying which D-optimal design is selected by the adaptive dynamics, a finer question that may require a fluid- or even diffusion-level characterization of the sampling dynamics~\citep{KalvitZeevi2021,Lattimore2026DiffusionPolicyGradient}. We leave this characterization as an open problem.
Several directions remain open. First, in settings where the D-optimal design is not unique, it remains important to determine which D-optimal design the empirical sampling distribution converges to in the limit. Addressing this question may require developing fluid or diffusion approximations for the regret or reward processes of LinUCB in the small-gap regime, and could yield a sharper characterization of the leading-order constant for the pseudo-regret in the nonunique case. Second, a natural next step is to extend the analysis beyond the small-gap regime by developing a unified mean-field description of the full phase transition across the small-gap, critical-gap, and fixed-gap regimes, in the spirit of the two-arm bandit analysis of \citet{KalvitZeevi2021}. Such a theory would provide a fuller answer to the challenging problem of sampling allocation in correlated linear bandits, and would clarify how this allocation encodes information beyond regret, such as critical thresholds for valid statistical inference on the reward parameter.