HDMI is a strange and unreliable beast. I have the same issue with my TV switching to different HDMI inputs. Sometimes it does, and sometimes it doesn't.
I don't have any further ideas, other than checking in the Power / Sleep settings of the computer and / or the monitor and see if anything might need tweaking?