Yep, semiconductor junctions are less radiation resistant then a simple glass tube with filaments and phosphor.
Power LEDs tend to be large geometry so are probably not massively rad sensitive, but they will still degrade, and that is before you consider the plastics used for encapsulation.
Why would magnetic ballast not be an option? It is simple, robust and has very well established reliability at this point.
The energy cost of lighting the underground facility while it is shut down for work is negligable compared to the energy cost of running the machine.
Now granted you might have to watch bringing a steel cored inductor too close to the bending magnets, but that is a managable issue.
LED is a useful tool in the lighting engineers kit, but it should not be the only one.
Further, remember that the LHC was fitted out ~10 years back and while Metal Halide, florescent and mercury discharge were established reliable technology then, Power LED lighting had a spotty track record at best (Mainly people failing to properly manage the thermal issues).
Even if you wanted to do LED in an envoronment like that (And it sems to me to be the wrong tool for the job) I would not be looking at 50KHz, far better to take a leaf out of airport runway lighting and do a constant current supply with series connected LEDs, put the supply gear on the surface and run a constant current loop down the tunnels in pyro or similar cable.
Edit: Just found some pictures of the beam line, and the tunnel is clearly lit with florecent luminares.
Looks like the CMS cavern is a mix of metal halide and high pressure sodium, about what you would expect in a large industrial space.
Regards, Dan.