4K upscaled videos lag

Qubes OS is not able to render 480p without noticeable lags, and you want 4k.

Try mpv, it is better than vlc out of the box. If it does not maange, well, nothing can be done.