The search for those higher-dimensional structures is where the math turns especially murky—and interesting. The higher-order analogue of a graph, for example, is called a hypergraph, and ...