Hypergraphs seem like a pretty natural and important idea. I believe Wolfram is using them in his ‘theory of everything’ work. Also, the minimum cut problem they mention - hypergraph partitioning - is equivalent to clustering, which itself is also highly related to dimension reduction.