We present new combinatorial insights into the calculation of (Castelnuovo-Mumford) regularity of graphs. We first show that the regularity of any graph can be reformulated as a generalized induced matching problem. On that direction, we introduce the notion of a prime graph by calling a connected graph G as a prime graph over a field k, if reg k pG´xq ă reg k pGq for any vertex x P V pGq. We exhibit some structural properties of prime graphs that enables us to compute the regularity in specific hereditary graph classes. In particular, we prove that regpGq ď ∆pGq impGq holds for any graph G, and in the case of claw-free graphs, we verify that this bound can be strengthened by showing that regpGq ď 2 impGq, where impGq is the induced matching number of G. By analysing the effect of Lozin transformations on graphs, we narrow the search of prime graphs into bipartite graphs having sufficiently large girth with maximum degree at most three, and show that the regularity of bipartite graphs G with such constraints is bounded above by 2 impGq`1. Moreover, we prove that any non-trivial Lozin operation preserves the primeness of a graph that enables us to generate new prime graphs from the existing ones.We introduce a new graph invariant, the virtual induced matching number vimpGq satisfying impGq ď vimpGq ď regpGq for any graph G that results from the effect of edgecontractions and vertex-expansions both on graphs and the independence complexes of graphs to the regularity. In particular, we verify the equality regpGq " vimpGq for a graph class containing all Cohen-Macaulay graphs of girth at least five.Finally, we prove that there exist graphs satisfying regpGq " n and impGq " k for any two integers n ě k ě 1. The proof is based on a result of Januszkiewicz and Swiatkowski [18] accompanied with Lozin operations. We provide an upper bound on the regularity of any 2K 2 -free graph G in terms of the maximum privacy degree of G. In addition, if G is a prime 2K 2 -free graph, we show that regpGq ď δpGq`3 2 .In particular, Theorem 2.6 implies that IndpGq » IndpG´eq whenever the edge e is isolating. This brings the use of an operation, adding or removing an edge, on a graph without altering its homotopy type. We will follow [1] to write Addpx, y; wq (respectively Delpx, y; wq) to indicate that we add the edge e " xy to (resp. remove the edge e " xy from) the graph G, where w is the corresponding isolated vertex.Remark 2.7. In order to simplify the notation, we note that when we mention the homology, homotopy or a suspension of a graph, we mean that of its independence complex, so whenever it is appropriate, we drop Indp´q from our notation.
Prime graphs and Prime FactorizationsAs we have already mentioned in Section 1, the notion of primeness brings a new strategy for the calculation of the regularity. Even if we express its definition in Section 1, there seems no harm for restating it in its greatest generality.Corollary 5.14. Let z be a non-isolated vertex of a graph G such that rA z , B z s is a t-pairing in G´N G rzs, then ...