Green ’ s Symmetries in Finite Digraphs

The semigroup DV of digraphs on a set V of n labeled vertices is defined. It is shown that DV is faithfully represented by the semigroup Bn of n × n Boolean matrices and that the Green’s L, R, H, and D equivalence classifications of digraphs in DV follow directly from the Green’s classifications already established for Bn. The new results found from this are: (i) L, R, and H equivalent digraphs contain sets of vertices with identical neighborhoods which remain invariant under certain one-sided semigroup multiplications that transform one digraph into another within the same equivalence class, i.e., these digraphs exhibit Green’s isoneighborhood symmetries; and (ii) D equivalent digraphs are characterized by isomorphic inclusion lattices that are generated by their out-neighborhoods and which are preserved under certain two-sided semigroup multiplications that transform digraphs within the same D equivalence class, i.e., these digraphs are characterized by Green’s isolattice symmetries. As a simple illustrative example, the Green’s classification of all digraphs on two vertices is presented and the associated Green’s symmetries are identified.


Introduction
The purpose of this paper is to discuss a semigroup-theoretic approach to digraph structural classification which uses the well known Green's L, R, H, and D relations to provide rigorous classifications of digraphs.This approach yields the following new results: (i) L, R, and H equivalent digraphs exhibit isoneighborhood symmetries (i.e., they possess sets of vertices which have identical neighborhoods that remain invariant under certain special one-sided semigroup digraph multiplications which transform digraphs within an equivalence class); and (ii) D equivalent digraphs exhibit isolattice symmetries (i.e., they have isomorphic inclusion lattices generated by the closure under set union of their out-neighborhoods that are preserved under certain special two-sided semigroup digraph multiplications which transform digraphs within an equivalence class).These classifications are achieved in a direct manner by first defining the semigroup of digraphs on n labeled vertices and then by capitalizing upon the fact that this semigroup is faithfully represented by the semigroup of n × n Boolean matrices.The Green's classification of digraphs follows immediately from the well established Green's classification of the associated Boolean matrices.
The remainder of this paper is organized as follows: the next section briefly summarizes relevant topics in digraph and semigroup theory.The Green's equivalence classifications of digraphs are established and isoneighborhood class and isolattice class structural invariants are identified in Section 3. Green's symmetries are formally defined in section 4. Section 5 illustrates the theory developed in Sections 3 and 4 by providing Green's classifications of all digraphs on two vertices and identifying their Green's symmetries.Concluding remarks comprise the final section of this paper.

Preliminaries
A digraph E is the pair (V,A) where V is a finite nonempty set of vertices and a binary relation A ⊆ V × V is the set of arcs.The order of E is card(V) and the size of E is card(A), where card(X) denotes the cardinality of set X.If (x,y) ∈ A, then x and y are adjacent in the direction from x to y; x is an in-neighbor of y; and y is an out-neighbor of x.The in-neighborhood of x ∈ V in E is the set I(E; x) of all in-neighbors of x and the out-neighborhood of x ∈ V in E is the set O(E;x) of all out-neighbors of x.The adjacency matrix of E is the card(V) × card(V) matrix α indexed by V with α x,y = 1 when (x,y) ∈ A and α x,y = 0 otherwise.
A semigroup S is a set and an associative binary operation called multiplication defined upon the set and denoted by juxtaposition.The one-sided right (one-sided left) The element e ∈ S is a left (right) identity if es = s (se = s) for s ∈ S and is a two-sided identity if it is both a left and a right identity.An identity e ∉ S can be adjoined to S be setting S 1 = S ⋃ {e} and defining se = es = s for s ∈ S 1 .Let S = S 1 if S has an identity.Otherwise, let S 1 be the semigroup S with an identity adjoined.
The well known L, R, H, and D Green's equivalence relations on S partition S into a highly organized "egg box" structure using relatively simple algebraic properties of the elements of S (see for example [1]).The equivalence relation L (R) on a semigroup S is defined by the rule that xLy (xRy) if and only if S 1 x = S 1 y (xS 1 = yS 1 ) for x, y ∈ S and the equivalence relation H = L ∩ R is similarly defined so that xHy if and only if xLy and xRy.The relations L and R commute under the composition "•" of binary relations and D ≡ L • R = R • L is the smallest equivalence relation containing L and R. For x ∈ S and X ∈ {L, R, H, D}, denote the X class containing x by X x , where X = L, R, H, or D when X = L, R, H, or D, respectively.Thus, xXy if and only if X x = X y .Furthermore, if L x = L y (R x = R y ) [D x = D y ], then there are elements s and s′ (t and t′) [s,s′,t, and t′] in S 1 such that sx = y and s′y = x (xt = y and yt′ = x) [sxt = y and s′yt′ = x].If an H class contains an idempotent, then the elements in that class form a group.
The semigroup B n of Boolean matrices is the set of all n × n matrices over {0,1} with multiplication γ = αβ defined by the matrix expression Here, I = {1,2,3,…,n} is the matrix row and column index set, ⋀ denotes Boolean multiplication (i.e., 0 ⋀ 0 = 0 ⋀ 1 = 1 ⋀ 0 = 0, 1 ⋀ 1 = 1), and ⋁ denotes Boolean addition (i.e., 0 ⋁ 0 = 0, 0 ⋁ 1 = 1 ⋁ 0 = 1 ⋁ 1 = 1).The rows (columns) of any α ∈ B n are Boolean row (column) n-vectors, i.e., row (column) n-tuples over {0,1}.Let 0 (1) denote either the zero (unit) row or zero (unit) column vector (the context in which 0 (1) is used defines whether it is a row or column vector).The matrix with 0 in every row -i.e., the zero matrix -is denoted by "□" and the matrix with 1 in every row is denoted by "ω".The row (column) basis r(α) (c(α)) of α is the set of all row (column) vectors in α that are not Boolean sums of other row (column) vectors in α.The vector 0 is never a basis vector and the empty set Ø is the basis for the zero matrix.The row space R(α) of α is the set with 0 and all possible Boolean sums of one or more non-zero row vectors in α as its elements [2].Let u i be the The space R(α) is the lattice (R(α),⊑) under the partial order "⊑" [3].
The semigroup B V of binary relations on V is the power set of V × V with multiplication Z = XY being the "composition of binary relations" defined by The following important lemma due to Plemmons and West [3] and Zaretskii [5] defines the properties of L, R, H, and D equivalent matrices in B n and provides the foundation for the Green's classifications of digraphs in D V .

Green's Equivalence Classifications of Digraphs
Let D V be set of all digraphs on the finite vertex set V and define multiplication of digraphs by EF = G ≡ (V,Z), where E ≡ (V,X), F ≡ (V,Y), and Proof.It is obvious from the definition of D V that (i) "multiplication of digraphs" is the same as "composition of binary relations" and (ii) the bijective map Φ:D V → B V defined by Φ(E) = X preserves this multiplication.Thus, Φ:D V → B V is a semigroup isomorphism.
The following lemma establishes the rationale for the approach used here to determine the Green's equivalence classifications of digraphs.Proof.This is a consequence of the fact that B V is isomorphic to B n [4].In particular, let λ: B V → B n be the required semigroup isomorphism.Since -from Lemma 3.1 -Φ:D V → B V is also a semigroup isomorphism, then there exists a semigroup isomorphism g : D V → B n which is the composition g = λΦ, where g(E) is -by definition -the adjacency matrix of E.
Assume that card(V) = n = card(I) and let f:V → I be the vertex indexing map associated with the isomorphism g: D V → B n of Lemma 3.2.Observe that if α i* is the i th Boolean row vector and α *j is the j th Boolean column vector in the adjacency matrix α = g(E) corresponding to digraph E, then α i* encodes the out-neighbors of vertex and α *j encodes the in-neighbors of vertex f −1 (j) in digraph E according to For the special cases that α i* ∈ r(α) and α *j ∈ c(α), then O r (E;f −1 (i)) ≡ O(E;f −1 (i)) is a basis out-neighborhood and I c (E;f −1 (j)) ≡ I(E;f −1 (j)) is a basis in-neighborhood for digraph E. Accordingly, a basis neighborhood in E is a non-empty neighborhood in E which is not the set union of other neighborhoods in E. Let O r (E) be the set of basis out-neighborhoods and I c (E) be the set of basis in-neighborhoods in digraph E.
Define the out-neighborhood space of E to be the set N(E) whose elements are the empty set and the sets generated by the closure under set union of the out-neighborhoods in E and let (N(E),⊆) be the poset ordered by the set inclusion relation "⊆".
f is a bijection.Thus, there exists a bijection ψ:N(E) → R(α) given by the composition ψ = θμ and every row vector in R(α) has a vertex set as its unique ψ pre-image in N(E).It is also clear from this that for u, v ∈ R(α), u ⊑ v if and only if ψ −1 (u) ⊆ ψ −1 (v).Consequently, ψ −1 preserves the partial order of (R(α),⊑) so that the Hasse diagram for (N(E), ⊆) is identical to that for (R(α), ⊑).Since (R(α),⊑) is a lattice, then so is (N(E),⊆).Thus, ψ is a lattice isomorphism since it preserves lattice joins and meets.
The following main theorem identifies the invariant structural features of L, R, H, and D equivalent digraphs.Thus, the Green's L, R, and H equivalence classifications of the digraphs in D V are based entirely upon their having (generally distinct) vertices with identical out-neighborhoods, identical in-neighborhoods, and both identical out-neighborhoods and identical in-neighborhoods, respectively.Accordingly, these digraph equivalence classes are called L, R, and H isoneighborhood classes and the associated sets of basis neighborhoods are structural invariants common to all digraphs within the respective isoneighborhood classes.Also, since Green's D equivalence classification of digraphs in D V is based solely upon their having isomorphic inclusion lattices, these digraph equivalence classes are called D isolattice classes.Here the unlabeled underlying Hasse diagram associated with the isomorphic inclusion lattices of an isolattice class is the structural invariant shared by the equivalent digraphs.Even though D equivalent digraphs generally have distinct vertex sets as lattice elements, their identical unlabeled Hasse diagrams express the fact that their generally distinct out-neighborhoods-which correspond to the atoms of the lattice-and the set unions thereof exhibit the same relative partial order.

Green's Digraph Symmetries
Rosen [6] concisely defines symmetry as "immunity to a possible change".Thus, in order to have a symmetry (a) "it must be possible to perform a change, although the change does not actually have to be performed" and (b) "some aspect of the situation would remain unchanged, if the change were performed".Green's equivalence classifications of finite digraphs clearly demonstrate that (b) is satisfied for finite digraphs since if a digraph were somehow to change into another equivalent digraph either the basis neighborhoods would remain unchanged for digraph changes occurring within an isoneighborhood class, or the associated underlying Hasse diagram would remain invariant for changes within an isolattice class.However, in order for these structural invariants to formally qualify as digraph symmetries -i.e., Green's L, R, H, and D symmetries-it is necessary that condition (a) also be satisfied.As the next main theorem shows, satisfaction of condition (a) occurs within the semigroup D V via the one-and two-sided multiplications by special transformation digraphs that are associated with the Green's L, R, H, and D equivalence classes.Denote that digraph E changes-i.e., E transitions-into digraph F by E → F.

Theorem 4.1 (Green's Digraph Symmetries
The underlying Hasse diagram for (N(E),⊆) is a Green's D symmetry.
Proof.(i) O r (E) is a structural invariant for every digraph in the same L isoneighborhood class as E (Theorem 3.4(i)).Also, for F ∈ D V such that L F = L E semigroup theory guarantees the existence of a transformation digraph C ∈ D V such that E → F according to CE = F; (ii) I c (E) is a structural invariant for every digraph in the same R isoneighborhood class as E (Theorem 3.4(ii)).Also, for F ∈ D V such that R F = R E semigroup theory guarantees the existence of a transformation digraph H ∈ D V such that E → F according to EH = F; (iii) O r (E) and I c (E) are structural invariants for every digraph in the same H isoneighborhood class as E (Theorem 3.4(iii)).Also, for F ∈ D V such that H F = H E semigroup theory guarantees the existence of transformation digraphs J,K ∈ D V such that E → F according to JE = F and EK = F; (iv) The underlying Hasse diagram for (N(E), ⊆) is a structural invariant for every digraph in the same D isolattice class as E (Theorem 3.4(iv)).Also, for F ∈ D V such that D F = D E semigroup theory guarantees the existence of transformation digraphs L, M ∈ D V such that E → F according to LEM = F. Thus, (i)-(iv) satisfy conditions (a) and (b) and the associated structural invariants are formal Green's symmetries.

Order Two Digraphs: An Example
Table 1 lists and labels the sixteen order two digraphs on the vertex set V = {a,b} which form the semigroup D {a,b} , along with their in-neighborhood and out-neighborhood basis sets.Note that here lower case Greek letters are used as digraph labels and that-rather than the pair (V,A)-only the arc set A is used to specify each digraph.Inspection of Table 1 using  Using their out-neighborhoods as generators, the out-neighborhood spaces for these digraphs are readily found (e.g., N(η) = N(β) = {Ø,{b},{a,b}} and N(δ) = N(γ) = {Ø,{a},{a,b}}).Application of the set inclusion partial order "⊆" to each out-neighborhood space yields three lattice isomorphism (denoted by "~") chains (e.g., (N(η),⊆) ~ (N(β),⊆ ) ~ (N(δ),⊆) ~ (N(γ),⊆)).These chains-in accordance with Theorem 3.4-define the following four D classes (there are four classes because the lattice (N(□),⊆) is isomorphic to itself): The diamond "◊" is the underlying Hasse diagram h 1 that is the structural invariant for the digraphs in the D 1 isolattice class; and the undirected paths of length two, length one, and length 0 (i.e., •••, ••, and •) are the Hasse diagrams h 2 , h 3 , and h 4 that are the structural invariants for the digraphs in the D 2 , D 3 , and D 4 isolattice classes, respectively.
The above Green's classification of the digraphs of D {a,b} is compactly represented by the "egg box" structure for D {a,b} given in Figure 1.
Note that the rows and columns in the "egg box" correspond to R classes and L classes, respectively, and their intersections are H classes.The shaded rectangular regions correspond to D classes.The asterisk superscripts denote that the associated digraph is an idempotent.  1, and Figure 1.For example: (i) the digraph transition ρ → θ is both a D 1 and an H 11 transition so that the Hasse diagram h 1 is the associated isolattice symmetry and the out-neighborhood set {{a},{b}} and the in-neighborhood set {{a},{b}} are the isoneighborhood symmetries; (ii) the transition τ → λ is both a D 3 transition -so that h 3 is its isolattice symmetry -and an R 5 transition-so that the in-neighborhood {{b}} is the isoneighborhood symmetry; (iii) κ → χ is a D 3 and an L 5 transition with h 3 and the out-neighborhood {{b}} as its isolattice and isoneighborhood symmetries; and (iv) the transition θ → τ has no guaranteed Green's symmetries because the transition is neither a D-class, nor an L-class, nor an R-class transition.

Concluding Remarks
The classification of digraphs with finite vertex set V that is obtained from the application of Green's equivalence relations to the digraph semigroup D V has identified a new type of symmetry in digraphs-the Green's isoneighborhood and isolattice symmetries.Not only are these new symmetries interesting from a purely graph theoretical perspective-they are also potentially useful to applied domains which employ digraph (or binary relation) models that are subject to change.For example, the Green's symmetries associated with changing relationships between actors in a social network can provide insights into relationships that remain invariant (via isoneighborhood symmetries).These symmetries can also be applied to understanding the consequences of link reconfiguration in communication and sensor networks-as well as assisting in the classification and analysis of biological network data.

Lemma 3 . 2
If V and I are equipotent finite sets, then B n is a faithful semigroup representation of D V where each digraph in D V is represented by its adjacency matrix in B n .
Consequently, H 11 is a group isomorphic to the group Z 2 and H 32 , H 23 , H 44 , H 64 , H 55 , H 65 , H 46 , H 56 , H 66 , and H 77 are all groups isomorphic to the trivial group.The Green's symmetries associated with D {a,b} are easily determined from Theorem 4.1, Table