Beyond Task Diversity: Provable Representation Transfer for Sequential Multi-Task Linear Bandits