This is not correct! It depends on how the player decodes and displays the video. If they use Apple's frameworks, such as AV Foundation, then they should automatically support the HiDPI content (this is a speculation on my part - I haven't actually tested it out). However, if (like VLC does), they use their own decoding and an OpenGL view to display the video, the application must take some additional steps to make sure that its outputting HiDPI content. Unfortunately, the HiDPI API in OS X does have some inefficiencies, e.g. it is not possible (AFAIK) to get access to the 'native' framebuffer - you are getting either the HiDPI one (2x2 pixels) or the normal one. This means, that even when displaying a 4K video, there will be some (potentially unnecessary) scaling.