Проблема связана с портом HDMI для портативного компьютера, который не поддерживает 4K @ 60Hz.
Однако вы можете получить 4K @ 60Hz по USB-порту Type-C, если вы используете адаптер, например, официальный Dell.
Я не слишком уверен, что они работают с Linux.
Вот некоторые потоки в сети, где люди обсуждают проблему:
http://forum.notebookreview.com/threads/xps-9550-trouble-with-external-monitor-4k-60hz.801646/ http://forum.notebookreview.com/threads/xps-15-9550- hdmi-2-0.786509 /