I remember seeing an article about something related to this some time ago. When it comes to music and background noise in a work environment, the nature and kind of noise matters greatly. If you don't have the right kind of noise for the person and the situation, then it can be more harmful than helpful. Wish I could find that article...

Edit: I think this might be it: https://www.bbc.com/worklife/article/20191115-office-noise-a...