この問題は、Thunderbolt・Mini Displayポート経由では報告されておらず、「Mac mini」で使用されている「Intel HD Graphics 4000」に関連する既知の問題の1つだとしています。
これについてIntelは問題を認め修正に取り組んでいるとのことですが、いまのところいつ修正版がリリースされるかは不明だとしています。
この問題は不具合としてIntelが認めているようなので、そう遠くない時期に修正されるものと思われますが、今のところはこの症状が出た場合はHDMI経由ではなくThunderbolt・Mini Displayポート経由で接続するというのが有効なようです。
Apple