+1 on HP Omen. Fits most of your demand except for the 4k screen. I have the AMD Ryzen 7 4800H version and it's significantly faster than the beefiest macbook pro you can buy.

Linux runs great on it. It costs ~$1000

I have the same one - and the symmetry in the design when you open the case is beautiful, the dual SSD lots mirrored on each side from each other is really nice.