Card selection depends on host system specs, and what actual 4k monitor you are buying. What is your source media, and what is its bit depth? How accurate is your work with current footage. Do you use a color puck for accuracy? Are you outputting to the 4k monitor via a Blackmagic device, or GPU output.
The cards listed are not that great, but they are of a certain price range. On the AMD side, the firepro w9100 would be the card to get instead of the 7100. For 8-bit work, the 390x uses the same GPU chip as the 9100, minus RAM and pro feature set. The 390x has 44 compute units, vs 28 on the w7100, and 44 on the w9100. With OpenCL your compute units are what you want to max, along with memory, and memory bus width.
The W9100 has been out for sometime now, and I would think a new firepro is coming soon that will be based on HBM for some killer compute performance.
Here is a demo of DR11 with dual w9100s and 5k footage.