I don&#x27;t think a compressed video with 4 times as many pixels will be 4 times as large.
Consider you already have one pixel of each 2x2 pixel group, then you can predict very good how the other pixels are looking, so you don&#x27;t need as much data anymore.<p>The same holds true for images&#x2F;graphics.
Take a look at the (blk) rust logo at several different sizes:
<a href="https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;rust-www&#x2F;tree&#x2F;master&#x2F;logos" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;rust-lang&#x2F;rust-www&#x2F;tree&#x2F;master&#x2F;logos</a><p>16x16: 351 Bytes; 32x32: 691 Bytes, factor 1.97 from 16x16; 64x64: 1.41 KB, factor 2.04; 128x128: 3.4 KB, factor 2.41; 256x256: 7.29 KB, factor 2.14; 512x512: 10.9 KB, factor 1.50<p>So it certainly can both hold true that 4K HEVC encoded video has the same bitrate as 1080p AVC encoded video and that it has 50% savings.