A Proof of the Noiseberg Conjecture for the Gaussian Z-Interference Channel

We establish the noiseberg conjecture regarding the Han-Kobayashi region of the Gaussian Z-Interference channel with Gaussian signaling. We also provide a refined conjecture for the optimality of the HK inner bound with Gaussian signaling.