Abstract
The conventional definition of hypergraph has two major issues: (1) there isnot a standard definition of directed hypergraph and (2) there is not a formaldefinition of nested hypergraph. To resolve these issues, we propose a newdefinition of hypergraph that unifies the concepts of undirected, directed andnested hypergraphs, and that is uniform in using hyperedge as a singleconstruct for representing high-order correlations among things, i.e., nodesand hyperedges. Specifically, we define a hyperedge to be a simple hyperedge, anesting hyperedge, or a directed hyperedge. With this new definition, ahypergraph is nested if it has nesting hyperedge(s), and is directed if it hasdirected hyperedge(s). Otherwise, a hypergraph is a simple hypergraph. Theuniformity and power of this new definition, with visualization, shouldfacilitate the use of hypergraph for representing (hierarchical) high-ordercorrelations in general and chemical systems in particular. Graph has beenwidely used as a mathematical structure for machine learning on molecularstructures and 3D molecular geometries. However, graph has a major limitation:it can represent only pairwise correlations between nodes. Hypergraph extendsgraph with high-order correlations among nodes. This extension is significantor essential for machine learning on chemical systems. For molecules, this issignificant as it allows the direct, explicit representation of multicenterbonds and molecular substructures. For chemical reactions, this is essentialsince most chemical reactions involve multiple participants. We propose the useof chemical hypergraph, a multilevel hypergraph with simple, nesting anddirected hyperedges, as a single mathematical structure for representingchemical systems. We apply the new definition of hypergraph to chemicalhypergraph and, as simplified versions, molecular hypergraph and chemicalreaction hypergraph.