Next Article in Journal
Squaring the Circle and Cubing the Sphere: Circular and Spherical Copulas
Previous Article in Journal
Symmetry Aspects of the Band Structure and Motion Equations Applied in Calculating the Cyclotron Frequency of Electrons in Metals
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Green’s Symmetries in Finite Digraphs

Electromagnetic and Sensor Systems Department, 18444 Frontage Road Suite 327, Naval Surface Warfare Center Dahlgren Division, Dahlgren, VA 22448-5161, USA
Symmetry 2011, 3(3), 564-573; https://doi.org/10.3390/sym3030564
Submission received: 2 March 2011 / Revised: 21 July 2011 / Accepted: 28 July 2011 / Published: 15 August 2011

Abstract

:
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.

1. 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 Section 3 and Section 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.

2. Preliminaries

A digraph E is the pair (V,A) where V is a finite nonempty set of vertices and a binary relation AV × 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 xV in E is the set I(E; x) of all in-neighbors of x and the out-neighborhood of xV 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) [two-sided] multiplication of xS by yS is xyS (by yS is yxS) [by y,zS is yxzS]. An element xS is an idempotent if xx = x. The element eS is a left (right) identity if es = s (se = s) for sS and is a two-sided identity if it is both a left and a right identity. An identity eS can be adjoined to S be setting S1 = S ⋃ {e} and defining se = es = s for sS1. Let S = S1 if S has an identity. Otherwise, let S1 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 S1x = S1y (xS1 = yS1) for x, yS 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 xS and X ∈ {L, R, H, D}, denote the X class containing x by Xx, where X = L, R, H, or D when X = L, R, H, or D, respectively. Thus, xXy if and only if Xx = Xy. Furthermore, if Lx = Ly (Rx = Ry) [Dx = Dy], then there are elements s and s′ (t and t′) [s,s′,t, and t′] in S1 such that sx = y and sy = x (xt = y and yt′ = x) [sxt = y and syt′ = x]. If an H class contains an idempotent, then the elements in that class form a group.
The semigroup Bn of Boolean matrices is the set of all n × n matrices over {0,1} with multiplication γ = αβ defined by the matrix expression
γij = ⋁k∈I (αikβkj)
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 αBn 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 ui be the ith coordinate of u ∈ R(α). If v ∈ R(α), then uv when ui = 1 implies vi = 1, 1 ≤ in. The space R(α) is the lattice (R(α),⊑) under the partial order “⊑” [3].
The semigroup BV of binary relations on V is the power set of V × V with multiplication Z = XY being the “composition of binary relations” defined by
Z = {(x,y) ∈ V×V:(x,z) ∈ X and (z,y) ∈ Y for some zV}
When card(V) = n and f:VI is a bijective vertex indexing map, then BV is isomorphic to Bn via the bijective map λ:BVBn defined by λ(X) = χ, where χij = 1 when (f 1(i),f 1(j)) ∈ X and χij = 0 otherwise [4].
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 Bn and provides the foundation for the Green’s classifications of digraphs in DV.
Lemma 2.1
Let α, β ∈ Bn.
(i)
Lα = Lβ if and only if r(α) = r(β);
(ii)
Rα = Rβ if and only if c(α) = c(β);
(iii)
Hα = Hβ if and only if r(α) = r(β) and c(α) = c(β);
(iv)
Dα = Dβ if and only if (R(α), ⊑) and (R(β), ⊑) are lattice isomorphic.

3. Green’s Equivalence Classifications of Digraphs

Let DV 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
Z = {(x,y) ∈ V×V:(x,z) ∈ X and (z,y) ∈ Y for some zV}
Lemma 3.1
DV is a semigroup that is isomorphic to BV.
Proof.
It is obvious from the definition of DV that (i) “multiplication of digraphs” is the same as “composition of binary relations” and (ii) the bijective map Φ:DV → BV defined by Φ(E) = X preserves this multiplication. Thus, Φ:DV → BV is a semigroup isomorphism.
The following lemma establishes the rationale for the approach used here to determine the Green’s equivalence classifications of digraphs.
Lemma 3.2
If V and I are equipotent finite sets, then Bn is a faithful semigroup representation of DV where each digraph in DV is represented by its adjacency matrix in Bn.
Proof. 
This is a consequence of the fact that BV is isomorphic to Bn [4]. In particular, let λ: BVBn be the required semigroup isomorphism. Since – from Lemma 3.1 – Φ:DV → BV is also a semigroup isomorphism, then there exists a semigroup isomorphism g : DVBn 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:VI be the vertex indexing map associated with the isomorphism g: DVBn of Lemma 3.2. Observe that if αi* is the ith Boolean row vector and α*j is the jth Boolean column vector in the adjacency matrix α = g(E) corresponding to digraph E, then αi* encodes the out-neighbors of vertex f−1(i) in digraph E according to
O(E;f−1(i)) = {f−1(k):αik = 1, kI}
and α*j encodes the in-neighbors of vertex f−1(j) in digraph E according to
I(E;f−1(j)) = {f−1(k):αkj = 1, kI}
For the special cases that αi*r(α) and α*jc(α), then Or(E;f−1(i)) ≡ O(E;f−1(i)) is a basis out-neighborhood and Ic(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 Or(E) be the set of basis out-neighborhoods and Ic(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 “⊆”.
Lemma 3.3
(N(E),⊆) is a lattice that is isomorphic to (R(α),⊑).
Proof. 
Observe that each row vector v = (v1,v2,v3,…,vn) ∈ R(α) can be uniquely represented by the set of indices σv = {kI:vk = 1}. Let S(α) = {σv:v ∈ R(α)} and θ:S(α) → R(α) be the associated bijection θ(σv) = v. The bijection f:VI induces a map μ:N(E) → S(α) according to μ({x1,x2,x3,…,xm}) = {f(x1),f(x2),f(x3),…,f(xm)} with μ(Ø) = Ø. The map μ:N(E) → S(α) is bijective because it is onto and because μ(X) ≡ μ({x1,x2,x3,…,xl}) = σv = μ({y1,y2,y3,…,yl}) ≡ μ(Y) ⇒ X = Y since 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(α), uv 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.
Theorem 3.4
(Digraph Structural Invariants) Let α,βBn with g1(α) = E and g1(β) = F.
(i)
LE = LF if and only if Or(E) = Or(F);
(ii)
RE = RF if and only if Ic(E) = Ic(F);
(iii)
HE = HF if and only if Or(E) = Or(F) and Ic(E) = Ic(F);
(iv)
DE = DF if and only if (N(E), ⊆) and (N(F), ⊆) are lattice isomorphic.
Proof. 
Items (i)–(iii) follow immediately from Lemma 2.1 and Lemma 3.2. Item (iv) is a direct consequence of Lemma 2.1, Lemma 3.2, and Lemma 3.3.
Thus, the Green’s L, R, and H equivalence classifications of the digraphs in DV 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 DV 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.

4. 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 DV 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 EF.
Theorem 4.1
(Green’s Digraph Symmetries) Let E ∈ DV.
(i)
Or(E) is a Green’s L symmetry;
(ii)
Ic(E) is a Green’s R symmetry;
(iii)
Or(E) and Ic(E) are Green’s H symmetries;
(iv)
The underlying Hasse diagram for (N(E),⊆) is a Green’s D symmetry.
Proof. 
(i) Or(E) is a structural invariant for every digraph in the same L isoneighborhood class as E (Theorem 3.4(i)). Also, for F ∈ DV such that LF = LE semigroup theory guarantees the existence of a transformation digraph C ∈ DV such that EF according to CE = F; (ii) Ic(E) is a structural invariant for every digraph in the same R isoneighborhood class as E (Theorem 3.4(ii)). Also, for F ∈ DV such that RF = RE semigroup theory guarantees the existence of a transformation digraph H ∈ DV such that E → F according to EH = F; (iii) Or(E) and Ic(E) are structural invariants for every digraph in the same H isoneighborhood class as E (Theorem 3.4(iii)). Also, for F ∈ DV such that HF = HE semigroup theory guarantees the existence of transformation digraphs J,K ∈ DV 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 ∈ DV such that DF = DE semigroup theory guarantees the existence of transformation digraphs L, M ∈ DV 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.

5. 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 Theorem 3.4 yields the following L and R equivalence classes:
L1 = {θ,ρ} with Or(θ) = Or(ρ) = {{a},{b}}
L2 = {η,β} with Or(η) = Or(β) = {{a,b},{b}}
L3 = {δ,γ} with Or(δ) = Or(γ) = {{a,b},{a}}
L4 = {ψ,τ,μ} with Or(ψ) = Or(τ) = Or(μ) = {{a}}
L5 = {χ,φ,κ} with Or(χ) = Or(φ) = Or(κ) = {{b}}
L6 = {σ,λ,ω} with Or(σ) = Or(λ) = Or(ω) = {{a,b}}
L7 = {□} with Or(□) = Ø
R1 = {θ,ρ} with Ic(θ) = Ic(ρ) = {{a},{b}}
R2 = {η,δ} with Ic(η) = Ic(δ) = {{a,b},{b}}
R3 = {β,γ} with Ic(β) = Ic(γ) = {{a,b},{a}}
R4 = {ψ,χ,σ} with Ic(ψ) = Ic(χ) = Ic(σ) = {{a}}
R5 = {τ,φ,λ} with Ic(τ) = Ic(φ) = Ic(λ) = {{b}}
R6 = {μ,κ,ω} with Ic(μ) = Ic(κ) = Ic(ω) = {{a,b}}
R7 = {□} with Ic(□) = Ø.
Intersection of these L classes with these R classes generates the associated H classes—for example, H11 = L1 ∩ R1 = {ρ,θ}, H45 = L4 ∩ R5 = {τ}, and H77 = L7 ∩ R7 = {□}. Note that the digraphs in each H class satisfy the neighborhood basis set requirements established by Theorem 3.4.
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):
D1 = {θ,ρ}
D2 = {η,β,δ,γ}
D3 = {ψ,τ,μ,χ,φ,κ,σ,λ,ω}
D4 = {□}.
The diamond “” is the underlying Hasse diagram h1 that is the structural invariant for the digraphs in the D1 isolattice class; and the undirected paths of length two, length one, and length 0 (i.e., •—•—•, •—•, and •) are the Hasse diagrams h2, h3, and h4 that are the structural invariants for the digraphs in the D2, D3, and D4 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. Consequently, H11 is a group isomorphic to the group Z2 and H32, H23, H44, H64, H55, H65, H46, H56, H66, and H77 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 1, and Figure 1. For example: (i) the digraph transition ρθ is both a D1 and an H11 transition so that the Hasse diagram h1 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 D3 transition – so that h3 is its isolattice symmetry – and an R5 transition—so that the in-neighborhood {{b}} is the isoneighborhood symmetry; (iii) κχ is a D3 and an L5 transition with h3 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.

6. 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 DV 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.

Acknowledgements

This work was supported by a grant from the Naval Surface Warfare Center Dahlgren Division’s In-house Laboratory Independent Research Program sponsored by the Office of Naval Research.

References

  1. Clifford, A.H.; Preston, G.B. The Algebraic Theory of Semigroups; American Mathematical Society: Providence, RI, USA, 1961. [Google Scholar]
  2. Konieczny, J. Green’s equivalences in finite semigroups of binary relations. Semigroup Forum 1994, 48, 235–252. [Google Scholar] [CrossRef]
  3. Plemmons, R.J.; West, M.T. On the Semigroup of Binary Relations. Pac. J. Math. 1970, 35, 743–753. [Google Scholar] [CrossRef]
  4. Lallement, G. Semigroups and Combinatorial Applications; John Wiley & Sons: New York, NY, USA, 1979; pp. 4–5. [Google Scholar]
  5. Zaretskii, K.A. The Semigroup of Binary Relations. Mat. Sbornik 1963, 61, 291–305. [Google Scholar]
  6. Rosen, J. Symmetry Rules: How Science and Nature are Founded on Symmetry; Springer-Verlag: Berlin, Germany, 2008; p. 4. [Google Scholar]
Figure 1. The “Egg Box” for D{a,b}.
Figure 1. The “Egg Box” for D{a,b}.
Symmetry 03 00564 g001
Table 1. The digraphs of D{a,b} and their neighborhood basis sets.
Table 1. The digraphs of D{a,b} and their neighborhood basis sets.
Symmetry 03 00564 i001

Share and Cite

MDPI and ACS Style

Parks, A.D. Green’s Symmetries in Finite Digraphs. Symmetry 2011, 3, 564-573. https://doi.org/10.3390/sym3030564

AMA Style

Parks AD. Green’s Symmetries in Finite Digraphs. Symmetry. 2011; 3(3):564-573. https://doi.org/10.3390/sym3030564

Chicago/Turabian Style

Parks, Allen D. 2011. "Green’s Symmetries in Finite Digraphs" Symmetry 3, no. 3: 564-573. https://doi.org/10.3390/sym3030564

Article Metrics

Back to TopTop