arxiv:math/ v1 [math.co] 1 Feb 2006

Transcription

1 MEASURE THEORY ON GRAPHS arxiv:math/ v1 [math.co] 1 Feb 2006 ILWOO CHO Abstract. The main purpose of this paper is to introduce several measures determined by the given finite directed graph. We will introduce three measures µ G, µ Gˆ and µ, for the given graph G. Those three measures are depending on the new algebraic structures, determined by G, so-called the diagram set, the reduced diagram set and the free semigroupoid, respectively. Let F + G be the free semigroupoid of G consisting of the empty word, the vertex set VG and the finite path set FPG, under the admissibility. For each element w in F + G, we have the graphical image δ w of w on R 2. The set DG of such elements is called the diagram set and it is a quotient semigroupoid of F + G. On DG, we can define a G-measure µ G = d, where d is a weighted degree measure on VG and is the diagram length measure on DG \ VG. Then it is a positive bounded measure. For the given graph G, we can determine the suadowed graph Gˆ = G G 1, where G 1 is the opposite directed graph or shadow of G. Then similar to the previous construction, we can construct the free semigroupoid F + Gˆ of Gˆ and the diagram set DGˆ of Gˆ. Define the reducing relation on DGˆ and construct the reduced diagram set D rgˆ. Then it is a groupoid. On it, define the graph measure µ Gˆ = d r, where d is given as above and r is the reduced-diagram-length measure on D rgˆ \ VGˆ. Then it is also a bounded positive measure on D rgˆ. Futhermore, the measure µ G can be regarded as a restricted measure of µ Gˆ on F + G F + Gˆ. In Chapter 3, we observe the graph integral of graph measurable functions with respect to the graph measure µ Gˆ. In Chapter 4, we introduce the restricted measure of the graph measure, so-called subgraph measures. In Chapter 5, we will extend the graph measure µ Gˆ as a measure µ defined on the free semigroupoid F + Gˆ of Gˆ. Different from the graph measure µ Gˆ, this extended measure µ is a locally bounded positive measure. Also, we briefly consider the integration with respect to this measure. Let G be a finite directed graph, with its vertex set VG and its edge set EG. Throughout this paper, we say that a graph is finite if VG < and EG <. Let v VG be a vertex. The vertex v has degree m if it has m-incident edges and denote it by degv = m. If v is isolated without the incident edges, then define degv = 0. On the graph G, we can have a finite path w = e 1 e 2... e k, where e 1,..., e k are admissible directed edges in EG. Define the length of w by k and denote it by w = k. The length of a finite path is nothing but the cardinality of the admissible edges constructing the given finite path. Suppose the finite path w has its initial vertex or the source v 1 and its terminal vertex or the range v 2. Then we write w = v 1 w v 2 to emphasize the initial vertex and the terminal Key words and phrases. Finite Directed Graphs, Degree Measures, Diagram Measures, Graph Measures, Graph Integration. I really appreciate all supports from Saint Ambrose University. I also thank Prof. T. Anderson and Prof. V. Vega for the useful conversation. 1

2 2 ILWOO CHO vertex of w. Sometimes, we will denote w = v 1 w or w = w v 2, for emphasizing the initial vertex of w resp. the terminal vertex of w. Notice that the finite path w can be expressed as the word in EG. Define the set FPG of all finite paths. Then where FPG = n=1 FP ng, FP n G def = {w : w = n}. Let w 1 and w 2 be in VG FPG and assume that the word w 1 w 2 is again contained in VG FPG. Then we say that w 1 and w 2 are admissible or they are connected under the ordering 1, 2, where 1 and 2 are indices of w 1 and w 2. Note that, in general, even though w 1 and w 2 are admissible, w 2 and w 1 are not admissible. However, if w 1 and w 2 are loop finite paths and if w 1 and w 2 are admissible, then w 2 and w 1 are admissible, too. However, w 1 w 2 w 2 w 1, in this case, because the directions of them are different and hence they are different finite path. We say that edges e 1,..., e k are admissible if there exists a finite path w = e 1... e k with w = k. Define the free semigroupoid F + G = { } VG FPG, with its binary operation, the admissibility, where is the empty word in VG F PG. The binary operation is the admissibility or connectedness of elements in VG FPG defined by { w1 w w 1,w 2 2 if w 1 w 2 VG FPG otherwise. The main purpose of this paper is to introduce the measures on a finite directed graph. Define the diagram map δ : F + G F + G by w δ w, where the diagram δ w of w is nothing but the graphical image of w in R 2, on the given graph G. The image DG of δ is a subset and it also has its admissibility, as binary operation, inherited by that of F + G. i.e., δ w δ w = δ ww. Thus the diagram set DG with admissibility is again an algebraic structure. In Chapter 1, we will define the measure µ G on DG. It is defined by d, where d is the degree measure on VG and is the diagram length measure on DG \ VG. Simply, d is determined by degrees of vertices and is determined by so-called the diagram length. i.e., ds V = V G and S FP = v S V degv w S FP Lw, where degv V G = deg in v+deg out v V G and Lw = Ww fw, where w = δ w DG and W is the corresponding weighting map of w and f is the length function on D FP G def = DG \ VG. Here, the sets S V and S FP are subsets of VG and D FP G, respectively. So, the bounded positive measure µ G is defined by

3 MEASURE THEORY ON GRAPHS 3 µ G S = ds + S, for all S DG where S = VG S and S = FPG S. It is automatically defined that µ G = 0. ForthegivengraphG,wecandefinetheshadowG 1 ofit, asanoppositedirected graph of G. Also, we can have a new finite directed graph Gˆ with its vertex set VGˆ = VG and its edge set EGˆ = EG EG 1. It is called the shadowed graph of G. By regarding Gˆ as a finite directed graph, we can construct the free semigroupoid F + Gˆ of Gˆ and similar to the previous discussion, we can get the graph measure µ Gˆ = d ˆ on D r Gˆ, where D r Gˆ is the reduced diagram set. Remark that the free semigroupoid F + Gˆ of the shadowed graph Gˆ is much bigger than F + G F + G 1. However, the graph measure µ G or µ G 1 is the restricted measure on DG resp. DG 1 of µ Gˆ on D r Gˆ. Here, the reduced diagram set D r Gˆ is the diagram set DGˆ with the reducing property making all loop finite paths δ w 1 w and δ ww 1 be the corresponding initial-and-terminal vertices of them. In Chapter 2, we will consider this shadowed graph measure µ Gˆ of G. This measure is also a bounded positive measure. We can show that if the finite directed graphs G 1 and G 2 are graph-isomorphic, then the measure spaces Gˆ1, µ Gˆ1 and Gˆ2, µ Gˆ2 are equivalent. In Chapter 3, we will construct the integrals on the given graph measure space Gˆ, µ Gˆ. In Chapter 4, we observe the restricted measures of µ Gˆ, induced by the subgraphs of Gˆ. Finally, in Chapter 5, we construct a new graph measure µ = d ω now on the free semigroupoid F + Gˆ of the shadowed graph Gˆ. The construction is very similartoµ Gˆ.However,thismeasureµonF + Gˆisjust alocallyboundedpositive measure, in general. Here d is the degree measure on VGˆ defined before. The weighted length measure ω is defined similar to r as follows; ωs = Wδ r w fδr w, for all S FPGˆ. w S 1. The Diagram Graph Measures In this chapter, we will construct the diagram graph measure. Throughout this chapter, let G be a finite directed graph. The free semigroupoid F + G of G is defined as in Introduction. We will determine the measure µ G on DG, where DG is the diagram set of G. The measure space DG, PDG µ G is the main object of this chapter, where PX means the power set of an arbitrary set X.

4 4 ILWOO CHO Let G be a finite directed graph, with its vertex set VG and its edge set EG. Let v VG be a vertex. We say that the vertex v has degree m if it has m- incident edges and denote it by degv = m. There are two kinds of incident edges of v, depending on the direction of G. First, there are inner-incident edges e such that e = e v. Second, there are outer-incident edges e such that e = v e. The inner-degree deg in v of the vertex v is defined by deg in v = {e EG : e = ev} and the outer-degree deg out v of v is defined by deg out v = {e EG : e = ve}. The degree degv of v is the sum of deg in v and deg out v, degv = deg in v+deg out v. If v is isolated without the incident edges, then degv = 0. Since the given graph G is finite, and degv <, for all v VG degv VG v V G VG EG <. Definition 1.1. Let G be the given finite directed graph and F + G, the corresponding free semigroupoid of G and let w F + G. Define the diagram δ w of w by the graphical image of w on the graph G. We say that the element w in F + G is basic if the diagram δ w of it is w, itself, on G. Define the set D k G of all diagrams with length k by D k G = {δ w : δ w = k}, for all k N. Remark that, by regarding δ w as a finite path, we can determine the length δ w of the diagram δ w. The set DG of all diagrams is defined by DG = { } n=0 D n G, where D 0 G def = {δ v : v VG} = VG. Denote DG \ VG { } by D FP G. i.e., D FP G = DG FPG. Notice that there exists N N such that DG = N n=0d n G,

5 MEASURE THEORY ON GRAPHS 5 since G is a finite graph. Let s discuss about the differences between FPG and D FP G. Assume that l EG is a loop-edge. Then it has its diagram δ l = l on G, because the diagram δ l of l is l, itself on the given graph G. In fact, by definition, δ e = e, for all e EG. In other words, EG = D 1 G DG. So, as a finite path, the loop-edge l is basic. However, the diagram δ l 2 of the finite path l 2 with its length 2 is l = δ l on G, because the finite path l 2 also has its graphical image l on G. So, in this case, the diagram δ l 2 of l 2 is exactly same as the diagram δ l of the basic finite path l. More generally, all diagrams δ l k of loop finite paths l k, k N \ {1}, are same as l = δ l of the basic finite path l. Example 1.1. Let e = v 1 ev 2 EG, with v 1 v 2 in VG and let l = v 2 lv 2 FPG be a loop finite path. Then the finite paths e and l are admissible. i.e., the finite path el FPG. Assume that there exists a basic loop finite path w = v 2 w v 2 such that l = w k, for some k N, in FPG. Then the diagram δ el of el is same as the diagram δ ew, and the diagram δ ew is identified with ew on G. Assume that v F + G is a vertex of G. Then the diagram δ v of v is always v on G. Also, if e F + G is an edge contained in EG, then the diagram δ e of e is e on G. Now, we can define the diagram map δ : F + G DG by the map sending w to δ w, whichisasurjectionfromf + G ontodg. Ifw 1 andw 2 havethesamediagram on G, then δ w1 = δ w2 on G. We can easily get that; Lemma If v VG, then δ v = v on G. 2 If e EG, then δ e = e on G. 3 An element w F + G is basic if and only if δ w = w on G. 4 If w F + G is not basic, then there exists a unique basic finite path w 0 F + G such that δ w = δ w0 on G. Proof. It suffices to prove the uniqueness in 4. The existence is guaranteed by 3. i.e., the diagram δ w of w in DG is the basic element havingthe same diagram with that of w. i.e., δ w = δ δw. Suppose that w 1 and w 2 are basic elements such that δ w1 = δ w = δ w2. By the basicness of w 1 and w 2, we have w 1 = δ w1 = δ w2 = w 2. By definition of finite directed trees, DG = F + G, whenever G is a tree. Proposition 1.2. Let G be a finite directed tree. Then F + G = DG.

6 6 ILWOO CHO We will construct the measure µ G on the free semigroupoid DG of the finite directed graph G. First, consider the length function f on DG. Define this map by f : DG R fw = k, for all w D k G. Remark that there exists N N such that DG = N n=0 D n G, for any finite graph G. Moreover, since G is finite D k G <, for all k = 0, 1,..., N. So, we can define the following map F : P DG N, F S = fδ, for all S P DG, where P DG is the power set of DG. For instance, if S = {δ 1, δ 2 } and if δ j D kj G, for j = 1, 2, then δ S FS = k 1 +k 2 N. This map F is called the diagram-length map. Lemma 1.3. Let G be a finite directed graph and let DG be the set of all diagrams on G. Then the map F is bounded. i.e., FS <, for all S P DG. Proof. Let s take S = DG, the largest subset of DG. It is sufficient to show that F DG <. Observe F DG = F N k=0 D kg = N k=0 F D kg for some N N, since D k G s are mutually disjoint since F D k G = = 0 VG + N k=1 k D kg δ D k G <, fδ = k D k G, for all k = 0, 1,..., N, since G is finite and hence D k G has the bounded cardinality, for all k = 1,..., N. Define the weighted diagram-length function L on DG.

7 MEASURE THEORY ON GRAPHS 7 Definition 1.2. Let G be a finite directed graph and F + G, the corresponding free semigroupoid of G and let DG be the set of all diagrams on G. Let F : PD FP G N be the diagram-length map defined above. Let w = e 1... e k be a basic finite path with admissible edges e 1,..., e k, where k N. Define the weighting W E : EG 0, 1 by W E e = r e, where 0, 1 is the open interval in R. More generally, define the weighting map W : D FP G 0, 1 by W E w if w EG Ww = Π k j=1 W Ee j if w = e 1...e k D FP G Define the weighted diagram-length map in short, WDL-map L : P D FP G 0, 1 by LS def = w S Wwfw, for all S P D FP G. The unweighted diagram-length map in short, UWDL-map L u on PD FP G is defined by L u S = F S, for all S in P D FP G. By definition, we can get that; Lemma 1.4. Let G be a finite directed graph and the map L : P D FP G R be the WDL-map. Then it is bounded. The UWDL-map L u is also bounded. Proof. It suffices to show that LD FP G is bounded. By definition, we have that LD FP G = w D FPG Wwfw <, since the diagram set DG has a finite cardinality and so does D FP G. Similarly, we can show that L u D FP G = F D FP G = F N k=1 D kg <. Now, we will define the measure µ G on DG. Definition 1.3. Let G be a finite directed graph and let DG be the corresponding diagram set of G. Define the degree measure d on the vertex set VG by ds = degv VG v S, for all S VG. Also, define the weighted measure on the finite path set DG FPG by

8 8 ILWOO CHO S = LS, for all S D FP G. The unweighted measure u on FPG by u S = L u S, for all S D FP G. Finally, we have the weighted graph measure or G-measure µ G on DG, denoted by d, defined by µ G S = ds V + S FP, for all S DG, where S V = S VG and S FP = S D FP G. Similarly, the unweighted G- measure µ u G is defined by d u. The G-measure µ G and µ u G are indeed bounded measures on DG. Instead of using PDG, we will use the quotient set P F + G / R. Theorem 1.5. The G-measure µ G is a bounded positive measure on P DG. The unweighted G-measure µ u G is also a bounded positive measure on P DG. Proof. To show that µ G = d is a measure on DG, we will check the followings; i µ G S 0, for all S DG. If S is a subset of DG, then there always is a separation S V and S FP of S, where S V = VG S and S FP = D FP G S, such that S V S FP = S and S V S FP =. So, µ G S = ds V + S FP = V G + v S V degv w S FP Wwfw 0. ii For any S DG, µ G S <. We need to show that µ G DG <. We have that µ G DG = dvg+ D FP G. By the previous lemma, D FP G <. Also, dvg = degv V G v V G VG EG <, since G is a finite graph. Therefore, µ G DG <. iii Let S n n=1 be a mutually disjoint sequence of subsets of DG. Then µ G n=1 S n = µ G n=1 S n,v n=1 S n,fp where S n,v = VG S n and S n,fp = D FP G S n, for all n N

9 MEASURE THEORY ON GRAPHS 9 = d n=1s n,v + n=1s n,fp by the definition of µ G = d = n=1 ds n,v+ n=1 S n,fp bythedefinitionofdand andbythedisjointnessof{s n,v } n=1 and{s n,fp} n=1 = n=1 µ GS n. By i and iii, the G-measure µ G = d is a measure on DG, and by ii, it is a bounded measure on DG. Definition 1.4. Let G be a finite directed graph. The triple DG, P DG, µ G is called the graph measure space in short, G-measure space. For convenience, the triple is denoted by G, µ G. Proposition 1.6. Let G, µ G be a G-measure space. Then the G-measure µ G is atomic, in the sense that, for all S DG \ { }, 0 < µ G S <. 2. Reduced Diagram Graph Measures Throughout this chapter, let G be a finite directed graph and let F + G be the corresponding free semigroupoid. In this chapter, we will construct the shadowed graph Gˆ of the given graph G, as a new finite directed graph. By constructing the free semigroupoid F + Gˆ of the shadowed graph Gˆ, we can define the free groupoid F + Gˆ of the given graph G. Similar to the previous chapter, we can have the Gˆ-measure space Gˆ, µ Gˆ = Dr Gˆ, P D r Gˆ, µ Gˆ. But the graph measure µ Gˆ is defined slightly differently. To define this Gˆmeasure µ Gˆ = d ˆ, in particular, to define ˆ, we will use the reduced diagrams D r Gˆ, instead of using the diagrams DGˆ.

10 10 ILWOO CHO 2.1. Shadowed Graphs. Let G be the given finite directed graph and F + G, the corresponding free semigroupoid. Definition 2.1. Let G be the given graph. Then the shadow G 1 is defined by a graph with VG 1 = VG and EG 1 = {e 1 : e EG}, where e 1 is the opposite directed edge of e. i.e., the shadow G 1 is the opposite directed graph of G. Let e = v 1 ev 2, with v 1, v 2 VG. Then the opposite directed edge e 1 of e satisfies that e 1 = v 2 e 1 v 1. Notice that the admissibility on G 1 is preserved oppositely by that of G. i.e., the finite path w 1 = e e 1 k is in FPG 1 if and only if w = e k... e 1 is in FPG. More generally, the element w 1 = w w 1 k is in F + G 1 if and only if w = w k... w 1 is in F + G. Proposition 2.1. F + G 1 = F + G. Proof. By definition, the free semigroupid F + G 1 of G 1 is { } VG FPG 1. So, it suffices to show that FPG 1 = FPG. There exists a natural map from FPG onto FPG 1 defined by w w 1. Since the admissibility on G 1 is preserved oppositely by that of G and since we can regard G as G 1 1, the map w w 1 is bijective. So, the above equality holds. Since δ F + G 1 = δf + G, where δ is the diagrammap, we can get that; Corollary 2.2. DG 1 = DG. By the previous two results, we can get that; Theorem 2.3. The graph measure spaces G, µ G and G 1, µ G 1 are equivalent. Now, let s define the shadowed graph Gˆ of G.

11 MEASURE THEORY ON GRAPHS 11 Definition 2.2. Let G be given as above and let G 1 be the shadow of G. Define the shadowed graph Gˆ by the directed graph with VGˆ = VG = VG 1 and EGˆ = EG EG 1. Notice that F + Gˆ F + G F + G 1, since we can also take a mixed finite path w i1 1 wi wim m, where i 1,..., i m {1, 1} m is a mixed m-tuple of 1 and 1, in F + Gˆ. Such mixed finite paths are not contained in F + G F + G 1. Therefore, in general, F + Gˆ F + G F + G Reduced Diagrams on the Shadowed Graph. Let G be the given finite directed graph and G 1, the shadow of G, and let Gˆ be the shadowed graph of G. Like Chapter 1, we can define the diagram DGˆ of Gˆ, as the image of the diagram map δ : F + Gˆ DGˆ defined by w δ w. On this diagram set DGˆ, we will give the reducing process and we will define the reduced diagramset D r Gˆ of Gˆ. This reduced diagramset D r Gˆ is a groupoid, under the admissibility inherited by that of DG, with the reducing property. Definition 2.3. Let G, G 1 and Gˆ be given as above and let F + Gˆ be the free semigroupoid of Gˆ. Let δ : F + Gˆ DGˆ be the diagram map defined in Chapter 1, for the finite directed graph Gˆ. Define the reduced diagram map δ r : F + Gˆ DGˆ by and w δ r w = δ w, w F + G F + G w 1 w δ r w 1 w = δ v and ww 1 δ r w 1 w = δ v, for all w = v wv FPG and w 1 = vw 1 v FPG 1, with v, v VG, and w i1 1 wi2 2...win n δ r w i 1 1 w i 2 = δ r 2...wn in δ i w 1, 1...wn in for the n-tuple i 1,..., i n {1, 1} n, for all n N. The image δ r w of w in F + G is called the reduced diagram of w. Define the set D r G of all reduced diagrams by the image δ r F + Gˆ of δ r. i.e., D r G def = δ r F + Gˆ = δ r δf + Gˆ = δ r DGˆ.

12 12 ILWOO CHO 2.3. Reduced Diagram Graph Measure Spaces. Let G, G 1 and Gˆ be given as above. Then we can define the reduced diagram graph measure µ Gˆ by µ Gˆ = d ˆ. Definition 2.4. Let Gˆ be the shadowed graph of a finite directed graph G and let ˆ be the reduced diagram length measure defined by the diagram length measure on Dr FP Gˆ def = D r Gˆ FPGˆ. Define the reduced diagram graph measure µ Gˆ by d ˆ. i.e., µ Gˆ S = ds V + ˆS FP, for all S D r Gˆ, where S V = S VGˆ and S FP = S D FP r Gˆ. The triple D r Gˆ, P D r Gˆ, µ Gˆ is called the reduced diagram graph measure space of the graph G in short, Gˆ-measure space of G, denoted by Gˆ, µ Gˆ. Then, similar to Chapter 1, we can get that; Theorem 2.4. Let Gˆ, µ Gˆ be the Gˆ-measure space of G. Then µ Gˆ is bounded positive measure on D r Gˆ. In particular, this measure is atomic, in the sense that, all subsets S in P D r Gˆ, which is not { }, have bounded measures. The key idea to prove the above theorem is to understand the reduced diagram set D r Gˆ has finite cardinality. We can use the same techniques used in Chapter 1.By definition, the following proposition is easily proved. Proposition 2.5. Let µ G and µ G 1 be the G-measure on DG and the G 1 - measure on DG 1, respectively. Then the Gˆ-measure µ Gˆ satisfies that µ Gˆ = µ G on DG and µ Gˆ = µ G 1 on DG 1. Let G 1 and G 2 be finite directed graph and Gˆ1 and Gˆ2, the shadowed graphs of G 1 and G 2, respectively. Assume that G 1 and G 2 are graph-isomorphic. i.e., there exists a graph-isomorphism ϕ : G 1 G 2 such that i ϕ is the bijection from VG 1 onto VG 2, ii ϕ is the bijection from EG 1 onto EG 2, iii for v, v VG 1 such that e = v e v in EG 1, ϕe = ϕv ϕe ϕv. i.e., ϕ preserves the admissibility. Then the Gˆ1 -measure resp. G 1-measure and Gˆ2 -measure resp. G 2 -measure are equivalent. Theorem 2.6. Let G 1 and G 2 be graph-isomorphic finite directed graphs. Then the shadowed graph measure spaces Gˆ1, µ and Gˆ1 Gˆ2, µ are an equivalent measure Gˆ2 spaces. In particular, the graph measure spaces G 1, µ G1 and G 2, µ G2 are also equivalent measure spaces.

13 MEASURE THEORY ON GRAPHS 13 By the definition of the graph-isomorphisms, we can easily prove the above theorem.the main idea is that D r Gˆ1 resp. DG 1 and D r Gˆ2 resp. DG 2 are reduced-diagram-isomorphic resp. diagram-isomorphic. In fact, we can have that G 1 and G 2 are graph-isomorphic = Gˆ1 and Gˆ2 are graph-isomorphic = F + Gˆ1 and F+ Gˆ2 are free semigroupoid-isomorphic = DGˆ1 and DGˆ2 are diagram-isomorphic = D r Gˆ1 and D rgˆ2 are reduced-diagram-isomorphic = Gˆ1, µ and Gˆ1 Gˆ2, µ are equivalent. Gˆ2 In [8], we discussed about it more in detail. In fact, under certain condition, the converses also hold true. However, without the condition, we cannot guarantee that the converses hold true. 3. Measure Theory on Graphs In this chapter, we will consider Measure theory on the given finite directed graph G, with respect to the reduced diagram graph measure space Gˆ, µ Gˆ. Of course, we can consider Measure theory with respect to the graph measure space G, µ G. But Calculus on G, µ G can be regarded as the restricted Calculus on Gˆ, µ Gˆ. So, we will concentrate on observing Measure theory on Gˆ, µ Gˆ Gˆ-Measurable Functions. Let G be the given finite directed graph and Gˆ, the shadowed graph and let F + Gˆ be the free semigroupoid of Gˆ, and Gˆ, µ Gˆ, the Gˆ-measure space. All simple functions g are defined by 3.1 g = N n=1 a n1 Sn, for a j R, where S 1,..., S N are subsets of D r Gˆ and where

14 14 ILWOO CHO 1 Sj w = { 1 if w Sj 0 otherwise, which are called the characteristic functions of S j, for all j = 1,..., N. All characteristic functions are Gˆ-measurable. And all Gˆ-measurable functions are approximated by simple functions. Example 3.1. Let w D r Gˆ. Then this element w acts as one of the Gˆmeasurable function from D r Gˆ to R. Note that w acts on D r Gˆ, as the left multiplication or the right multiplication. So, we have two different functions g w l and g w r on D rgˆ such that for all w D r Gˆ, where g w l = 1 δ r S w l and g w r = 1 δ r S w r, and S w l = {w F + Gˆ : ww F + Gˆ} S w r = {w F + Gˆ : w w F + Gˆ}. Therefore, the element w act as a Gˆ-measurable function g w on D r Gˆ defined by g w = 1 δ r S w l δr S w r Integration on Graphs. In this section, we will define the integrals of the given Gˆ-measurable functions, with respect to the Gˆ-measure µ Gˆ. First, let g be a simple function given in 3.1. Then the integral I G g of g with respect to µ Gˆ is defined by 3.2 I G g denote = def g dµ Gˆ Gˆ = N n=1 a n µ GˆS n. Since µ Gˆ = d ˆ, the definition 3.2 can be rewritten as I G g = N n=1 a nµ GˆS n = N n=1 a n dsn,v + ˆS n,fp = N n=1 a n v S n,v degv V G + δ r w Sn,FP Wδ r wfδ r w. Proposition 3.1. Let g 1 = n j=1 1 S j and g 2 = m i=1 1 T i be simple functions, where S j s and T i s are subsets of D r Gˆ. Suppose that S j s are mutually disjoint

15 MEASURE THEORY ON GRAPHS 15 and also T i s are mutually disjoint. If n j=1 S j = m i=1 T i in D r Gˆ, then I G g 1 = I G g 2. Proof. Observe that 3.3 I G g 1 = n j=1 and 3.4 I G g 2 = m i=1 degv V G + Wwfw v S j,v w S j,fp degv VG + Wwfw v T i,v w T i,fp By the assumption, n j=1 S j and m i=1 T i coincide in D r Gˆ. Therefore, we have that 3.5 n j=1 S j = n j=1 S j + n V j=1 S j FP. = m i=1 T i V + m i=1 T i FP = m i=1 T i. Since {S j } n j=1 and {T i} m i=1 are disjoint families of P D r Gˆ, the relation 3.5 explains 3.6 n j=1 S j V = n j=1 S j,v = m i=1 T i,v = m i=1 T i V. Similarly, we have that 3.7 n j=1 S j = FP n j=1 S j,fp = m i=1 T i,fp = m i=1 T i FP. Now, notice that and n degv j=1 v S j,v m degv i=1 v T i,v V G = V G = degv VG v n j=1 Sj,V degv VG, v m i=1 Ti,V by the mutually disjointness on {S j,v } n j=1 and {T i,v} m i=1. Similarly, by the mutually disjointness of {S j,fp } n j=1 and {T i,fp} m i=1 and by 3.7,

16 16 ILWOO CHO n j=1 Lδ r w = Lw w S j,fp w n j=1 Sj,FP and m i=1 Lδ r w = Lw. w T i,fp w m i=1 Ti,FP Therefore, we can conclude that I G g 1 = I G g 2, by 3.5. It is easy to check that, if g j = n k=1 a j,k1 Sj,k, for j = 1, 2, then we can have 3.8 I G g 1 +g 2 = I G g 1 +I G g I G c g j = c I G g j, for all j = 1,2. Now, let 1 S and 1 T be the characteristic functions, where S T in P D r Gˆ. Then we have that 1 S 1 T = 1 S T. Proposition 3.2. Let g j be given as above, for j = 1, 2. Then I G g 1 g 2 = n k,i=1 a 1,ka 2,i degv VG + v S 1,k,V S 2,i,V Lˆw. w S 1,k,FP S 2,i,FP Proof. Observe that g 1 g 2 = n k=1 a 1,k1 S1,k n i=1 a 2,i1 S2,i So, we have that = n k,i=1 a 1,ka 2,i 1S1,k 1 S2,i = n k,i=1 a 1,ka 2,i 1 S1,k S 2,i 3.10 I G g 1 g 2 = n k,i=1 a 1,ka 2,i µ Gˆ S 1,k S 2,i. Consider µ Gˆ S 1,k S 2,i = ds 1,k S 2,i V + ˆS 1,k S 2,i FP = d S 1,k,V S 2,i,V + ˆS 1,k,FP S 2,k,FP = degv V G + Lˆw. v S 1,k,V S 2,i,V w S 1,k,FP S 2,i,FP

17 MEASURE THEORY ON GRAPHS 17 Supposethat g 1 andg 2 aregivenasaboveandassumethatthe families{s 1,k } n k=1 and {S 2,i } n i=1 are disjoint family in D rgˆ. i.e., n k=1 S 1,k n i=1 S 2,i =. Then Ig 1 g 2 = 0. From now, similar to the classical measure theory, we can define the integration of Gˆ-measurable functions. Definition 3.1. Suppose that f is a positive Gˆ-measurable function.. i.e., f = f +. Then we define the G-integral I G f of f with respect to µ Gˆ by I G f denote = f dµ Gˆ Gˆ = sup I G g. g f, g is simple Suppose that f is Gˆ-measurable. Then, since f = f + f, we can define the G-integral of f by I G f = I G f + I G f. Therefore, the positive Gˆ-measurable function f has its graph integral, I G f = I G f + +I G f. If the Gˆ-measurable function f satisfies I G f <, then we say that this map f is bounded. Let s observe more Gˆ-measurable functions. If g is a Gˆ-measurable function on D r Gˆ, then the support of g is denoted by D r Gˆ : g. First, consider the polynomial g 1 x = g x on D r Gˆ, where g x = 1 δ r S x l δr S x r. This polynomial g 1 maps all w in F + Gˆ to g w. Then, we can have the Gˆ-measurable function g 1 on D r Gˆ defined by g 1 w = 1 δ r S w l δr S w r, for all w D r G I G g 1 = w D rgˆ µ Gˆ δ r S w l δr S w r, by the previous proposition. Notice that the support D r Gˆ : g 1 of g 1 is identified with D r Gˆ. Now, let g 2 x = g δ r x 2 on D rgˆ. This polynomial g 2 has its support D r Gˆ : g 2 = {w D r Gˆ : w VG or w is a loop finite path}.

18 18 ILWOO CHO The above support D r Gˆ : g 2 is determined by the fact that g 2 v = g v 2 = g v, for all v VG, and g 2 l = g δ r l 2 = g l, for all loop finite paths l in D r G. Notice that the loop finite path in D r Gˆ is the loop which is neither of the form w 1 w nor of the form w w 1, by the reducing process 2.1. Assume now that w = v 1 w v 2 is a non-loop finite path in D r Gˆ with v 1 v 2 in VGˆ. Then w 2 = v 1 w v 2 v 1 w v 2 =, in D r Gˆ. Therefore, we can get that 3.12 I G g 2 = Gˆ g 2 dµ Gˆ = In general, we can get that; w D rgˆ:g 2 µ Gˆ δ r S w l δr S w r. Proposition 3.3. Let g n x = g x n be the monomial on D r Gˆ. Then I G g n = I G g 2, for all n N \ {1}, where I G g 2 is given in Proof. It suffices to show that the support D r Gˆ : g n of g n and the support D r G : g 2 of g 2 coincide, for all n N \ {1}. It is easy to check that if w is in F + Gˆ, then w n exists in F + Gˆ if and only if either w is a vertex or w is a loop finite path. So, the support of g n is D r Gˆ : g n = VG loop r G, where loop r G def = {l D r G : l is a loop finite path}. Therefore, the support D r Gˆ : g n is same as D r Gˆ : g 2. Therefore, I G g n = = w D rgˆ:g 2 w D rgˆ:g 2 I G g w µ Gˆ δ r S w l δr S w r. Theorem 3.4. Let g p = N n=0 a ng n be a polynomial with g 0 1, for a 0,..., a N R. Then 3.13 I G g p = a 0 µ Gˆ Dr Gˆ +a 1 + N k=2 a k w D rgˆ w VG loop rg µ Gˆ δ r S w l δr S w r µ Gˆ δ r S w l δr S w r where loop r G = {l D r Gˆ : l is a loop finite path}.,

19 MEASURE THEORY ON GRAPHS 19 Proof. Let g p be the given polynomial on F + Gˆ. Then the integral I G g p of g p is determined by; I G g p = N n=0 a ni G g n = a 0 I G 1+a 1 I G g 1 + N k=2 a ki G g k = a 0 µ Gˆ Dr Gˆ +a 1 w D rgˆ + N k=2 a ki G g 2 µ Gˆδ r S w l δr S w r since the constant function 1 has its support, D r Gˆ, and hence, since I G g n = I G g 2, for all n 2, we can get that = a 0 µ Gˆ D r G+a 1 w D rgˆ + N k=2 a k µ Gˆδ r S w l δr S w r w VG loopgˆ µ Gˆ δ r S w l δr S w r because the support D r Gˆ : g 2 of g 2 is the union of VGˆ and loop r Gˆ, where loop r Gˆ is the collection of all loop finite paths in D r Gˆ., Corollary 3.5. Let w = v 1 wv 2 be a finite pathin D r Gˆ with v 1 v 2 in VG, and let g = N n=0 a ngw n, with g0 def w = 1, where a 0,..., a N R, and g w is 1 δ r Sl w δr Sr w. Then I G g = a 0 µ Gˆ Dr Gˆ +a 1 µ Gˆ δ r Sl w δr Sr w. Proof. Since w is a non-loop finite path, w k =, for all k N \ {1}. Therefore, Sl wk Sr wk =, for all k = 2, 3,..., N. This shows that I G g k w = 0, for all k = 2, 3,..., N. So, I G g = a 0 I G 1 + a 1 I G g w. Corollary 3.6. Let w = vwv be a loop finite path in D r Gˆ, with v VGˆ, and let g = N n=0 a ng n w, with g0 w = 1, where a 0,..., a n R. Then I G g = a 0 µ Gˆ D r G+ N k=1 a kµ Gˆ δ r S w l δr S w r.

20 20 ILWOO CHO Now, wewillconsiderthemapg 1 definedbyg 1 x =g x 1 =g δ r 1.OnD rgˆ, x the map g 1 is well-determined, because, for any w F + Gˆ, there always exists w 1. Also, the admissibility of w 1 is preserved by that of w. This discussion says that the support D r Gˆ : g δ r w of g δ r w and the support D r Gˆ : g δ r 1 of g δ r are w w 1 same. i.e., If w is in D r Gˆ, then 3.14 D r Gˆ : g w = D r Gˆ : g w 1, for all w D r Gˆ. Futhermore, we can get that 3.15 D r Gˆ : g 1 = D r Gˆ = D r Gˆ : g 1, where g 1 x = g x, for all x D r Gˆ, since g 1 has its support D r Gˆ. Proposition 3.7. Let g 1 be given as above. Then g 1 is Gˆ-measurable and I G g 1 = I G g 1. Similarly, we can conclude that; Proposition 3.8. Define g n x = g δ r x n, for n N, for x D rgˆ. Then I G g n = I G g n. Proof. Observe that if n 2, then D r Gˆ : g n = D r Gˆ : g 2 = VGˆ loop r Gˆ = D r Gˆ : g 2. So, I G g n = I G g 2 = I G g 2. By the previous proposition, I G g 1 = I G g 1. So, we can consider the trigonometric polynomials on F + Gˆ. Theorem 3.9. Let g k and g k be given as above, for all k N, and let g = N n= M a n g n be a trigonometric polynomial, with g 0 1, where N, M N. Then 3.16 I G g = a 0 µ Gˆ D r G+ a 1 +a 1 I G g n= M a ni G g 2 + N k=2 a ki G g 2. Proof. Let g be the given trigonometric polynomial on D r Gˆ. Then I G g = I G N n= N a ng n = N n= N a ni G g n

21 MEASURE THEORY ON GRAPHS 21 = 2 n= M a ni G g n +a 1 I G g 1 +a 0 I G g 0 +a 1 I G g 1 + N k=2 a ki G g k = 2 n= M a ni G g n +a 0 µ Gˆ D r G++ N k=1 a ki G g k by the previous proposition = a 0 µ Gˆ D r G+a 1 +a 1 I G g n= M a ni G g 2 + N k=1 a ki G g 2 by the fact that I G g n = I G g 2, for all n N \ {1} Examples. In this section, we will consider certain finite directed graphs. Let G Λ be a tree with VG Λ = {v 1,v 2,v 3 } and EG Λ = {e 1 = v 1 e 1 v 2, e 2 = v 1 e 2 v 3 }. Let G be a circulant graph with VG = {v 1,v 2,v 3 } and EG = e 1 = v 1 e 1 v 2, e 2 = v 2 e 2 v 3, e 3 = v 3 e 3 v 1 Also, assume that the corresponding reduced diagram graph measures are unweighted. i.e., W Λ = 1 = W, wherew Λ andw aretheweightingmaponfpgˆλ andfpgˆ,respectively.. Example 3.2. Consider G Λ. We have that I GΛ g v1 = µ GˆΛ {v1,e 1,e 2,e 1 1,e 1 = dv 1 + ˆe 1 + ˆe 2 + ˆe 1 1 = = Similarly, I GΛ g v3 = } = d{v 1 }+ ˆ{e 1,e 2,e 1 + ˆe 1 2 1,e 1 I GΛ g v2 = µ GˆΛ{v 2,e 1,e 1 1 } = d{v 2}+ ˆ{e 1,e 1 1 } = = }

22 22 ILWOO CHO I GΛ g e1 = µ {v1 GˆΛ,v 2,e 1 2 } = d{v 1,v 2 }+ ˆe 1 2 = dv 1 +dv 2 +1 = degv1 V G + degv2 V G +1 = = 3 = I G Λ g e 1. 1 Similarly, I GΛ g e2 = 3 = I GΛ g e 1 2 Thus. We have that D r G Λ = {v 1,v 2,v 3 } {e 1,e 2,e 1 1,e 1 2 }. I GΛ g 1 = I GΛ g w w D rgˆλ = 3 j=1 I 2 G Λ gvj + k=1 I G Λ g ek + 2 i=1 I G Λ g e 1 i = = We also have that I GΛ g n = 3 j=1 I G Λ gvj = = 32 3, for all n N \ {1}, because w k =, for all w Dr FP GˆΛ and k N \ {1}, and D r GˆΛ : g k = VGˆΛ loop rgˆλ = VGˆΛ. Therefore, I GΛ g p = N 1 3. where g p = N n=1 g n, with g 0 = 0, for all N N. Example 3.3. Consider the graph G. Then we have; I G g v1 = µ {v1 Gˆ,e ±1 1,e±1 3 } = d{v 1 }+ ˆ{e ±1 1,e±1 3 } = degv VG +2Le 1+2Le 3 = = Similarly, I G g v2 = 16 3 = I G g v3. By the existence of the circulant parts, we can have that I G gej = 17 3 = I G g e 1, for all j = 1, 2, 3. j Let j = 1. Then I G g e1 = µ Gˆ δ r S w l δr S w r, where so, Thus S w l = {v 2,e 2 } and S w r = {v 1,e 1 1,e 3}, S w l S w r = {v 1,v 2,e 1 1,e 2,e 3 }.

23 MEASURE THEORY ON GRAPHS 23 I G g e1 = µ Gˆ {v1,v 2,e 1 1,e 2,e 3 } = d{v 1,v 2 }+ ˆ{e 1 1,e 2,e 3 } = degv1 VG + degv2 VG +L e 1 1 +Le2 +Le 3 = = Now, consider the element l = e 1 e 2 e 3 in D r Gˆ. Then so, Therefore, δ r S l l = {v 1,l} and δ r S l r = {v 1,l}, δ r S l l δr S l r = {v 1,l}. I G g l = µ Gˆ {v 1,l} = degv1 VG +Ll = = Subgraph Measure Theory In this chapter, we will consider a new measure on the finite directed graph. Throughoutthis chapter, let G be a finite directed graph and Gˆ, the corresponding shadowed graph and let F + Gˆ be the free semigroupoid of Gˆ. Suppose H is a full subgraph of G. The shadowed graph Hˆ of H is also a subgraph of the shadowed graph Gˆ of G. So, canonically, we can construct the H-measuresµ H, as in Chapter 1, and the Hˆ-measure µ Hˆ, as in Chapter 2. We restrict our interests to the Hˆmeasure µ Hˆ. Definition 4.1. Let Gˆ, µ Gˆ be the reduced diagram graph measure space of G and let H be a full subgraph of G. Define the Hˆ-measure µ Hˆ by d H Ĥ, where 4.1 d H S def = for all S V VGˆ, and 4.2 ĤS FP def = v V H S V degv VH, Lw = Wδ r wf δ r w, w FPH S FP w FPH S FP

24 24 ILWOO CHO for all S FP D FP r G. By definition, the subgraph measure µ Hˆ is the restricted measure µ Gˆ DrHˆ. Proposition 4.1. Let g w = 1 δ r S w l δr S w r be the Gˆ-measurable function defined in Section 3.2, for each w D r Gˆ. Then graph integral I G:H g w of g w with respect to the subgraph measure µ Hˆ is determined by I G:H g w = µ Hˆ δ r S w l δr S w r = µ Gˆ Dr Hˆ δ r Sl w δr Sr w. 5. Extended Graph Measures In this chapter, based on the graph measure construction in Chapter 2, we will consider the extended graph measuring. Throughout this chapter, let G be a finite directed graph and Gˆ, the shadowed graph and let F + Gˆ and D r Gˆ be the corresponding free semigroupoid of Gˆ and the reduced diagram set of Gˆ, respectively. As usual, let δ r : F + Gˆ D r Gˆ be the reduced diagram map which is a surjection. By definition, the power set P F + Gˆ is a σ-algebra of F + Gˆ. Indeed, i, F + Gˆ P F + Gˆ ii If S F + Gˆ, then F + Gˆ \ S F + Gˆ iii If S k k=1 P F + Gˆ, then k=1 S k F + Gˆ. We want to define a suitable measure on F + Gˆ. Definition 5.1. Define a measure µ on F + Gˆ by d ω, where d is the weighted degree measure on VGˆ defined in Chapter 2. i.e., ds V = degv VGˆ, v S V and ω is the measure on FPGˆ defined by ωs FP = w S FP Wδ r wfδ r w,

25 MEASURE THEORY ON GRAPHS 25 where W and f are the weighting map and the reduced diagram length map defined on D r Gˆ, in Chapter 2. The measure µ is called the extended graph measure on F + Gˆ. It is easy to check that µ is a measure on F + Gˆ. Remark the difference between µ Gˆ on D r Gˆ and µ on F + Gˆ. A difference between µ and µ Gˆ is recognized by the following example. Suppose l is a loop-edge in EGˆ and let S 1 = {l} and S 2 = {l 2 }. Then the union S = S 1 S 2 is in F + Gˆ, but S is not in D r Gˆ. So, the measure µ GˆS is undefined. However, it is defined on δ r S = {δ r l, δr l2} = {l}. Moreover, we have that µ Gˆ δ r S = µ Gˆ δ r S 1 δ r S 2 = ˆδ r S 1 δ r S 2 and = ˆ{l} {l} = ˆ{l} = Wl µs = µs 1 S 2 = µ{l,l 2 } = ω {l,l 2 } = ω{l}+ω{l = δ r l2} = 2Wl. This difference shows us that the measure µ is not bounded, in general. However, this measure µ is locally bounded in the sense that µs <, for all finite subsets S in F + Gˆ. Proposition 5.1. The extended graph measure µ on F + Gˆ is a locally bounded positive measure. Definition 5.2. The triple F + Gˆ, P F + Gˆ, µ is called the extended graph measure space in short, µ-measure space. For convenience, we denote it by Gˆ, µ. In the following section, we will show that the similar integration theory holds for the extended graph measure like in Chapter Integration on Graphs. In this section, we will define the integrals of the given µ-measurable functions, with respect to the extended graph measure µ. First, let 5.1 g = N n=1 a n1 Sn, for all S n F + Gˆ,

26 26 ILWOO CHO where a 1,..., a N R, be a simple function. Then the integral I µ g of g with respect to µ is defined by 5.2 I G g denote = Gˆ g dµ def = N n=1 a n µs n. Since µ = d ω, the definition 5.2 can be rewritten as I G g = N n=1 a nµ GˆS n = N n=1 a nds n,v +ωs n,fp = N n=1 a n v S n,v degv VG + w S n,fp Wδ r wfδ r w. On the set of all simple functions, we can determine the almost everywhere relation in short, a.e relation. Proposition 5.2. Let g 1 = n j=1 1 S j and g 2 = m i=1 1 T i be simple functions, where S j s and T i s are subsets of F + Gˆ. Suppose that S j s are mutually disjoint and also T i s are mutually disjoint. If n j=1 S j = m i=1 T i in F + Gˆ, then Ig 1 = Ig 2. Proof. Observe that and Ig 1 = n j=1 Ig 2 = m i=1 degv VG + Wδ r wfδ r w v S j,v w S j,fp degv V G + Wδ r wfδ r w v T i,v w T i,fp Since {S j } n j=1 and {T i} m i=1 are disjoint families of P F + Gˆ,. and n degv j=1 v S j,v m degv i=1 v T i,v V G = V G = degv VG v n j=1 Sj,V degv VG, v m i=1 Ti,V by the mutually disjointness on {S j,v } n j=1 and {T i,v} m i=1. Similarly, by the mutually disjointness of {S j,fp } n j=1 and {T i,fp} m i=1 and by 3.7, n j=1 ωδ r w = ωδ r w w S j,fp w n j=1 Sj,FP and m i=1 ωδ r w = ωδ r w. w T i,fp w m i=1 Ti,FP

27 MEASURE THEORY ON GRAPHS 27 Therefore, we can conclude that Ig 1 = Ig 2, by 3.5. It is easy to check that, if g j = n k=1 a j,k1 Sj,k, for j = 1, 2, then we can have 5.3 I G g 1 +g 2 = I G g 1 +I G g I G c g j = c I G g j, for all j = 1,2. Now, let 1 S and 1 T be the characteristic functions, where S T in P F + Gˆ. Then we have that 1 S 1 T = 1 S T. Proposition 5.3. Let g j be given as above, for j = 1, 2. Then I G g 1 g 2 = n k,i=1 a 1,ka 2,i degv V G + ωδ r w. v S 1,k,V S 2,i,V w S 1,k,FP S 2,i,FP Proof. Observe that g 1 g 2 = n k=1 a 1,k1 S1,k n i=1 a 2,i1 S2,i So, we have that = n k,i=1 a 1,ka 2,i 1S1,k 1 S2,i = n k,i=1 a 1,ka 2,i 1 S1,k S 2,i 5.5 Ig 1 g 2 = n k,i=1 a 1,ka 2,i µs 1,k S 2,i. Consider µs 1,k S 2,i = ds 1,k S 2,i V +ωs 1,k S 2,i FP = d S 1,k,V S 2,i,V +ω S1,k,FP S 2,k,FP = v S 1,k,V S 2,i,V degv V G + w S 1,k,FP S 2,i,FP ωδ r w. Supposethat g 1 andg 2 aregivenasaboveandassumethatthe families{s 1,k } n k=1 and {S 2,i } n i=1 are disjoint family. i.e., n k=1 S 1,k n i=1 S 2,i =.

28 28 ILWOO CHO Then Ig 1 g 2 = 0. Similar to Chapter 3, we can define a µ-measurable function g w, for all w F + Gˆ, by where and g w = 1 S w l S w r, S w l = {w F + Gˆ : ww F + Gˆ} S w r = {w F + Gˆ : w w F + Gˆ}. Proposition 5.4. Let w F + Gˆ and assume that g w is the above µ-measurable map. Then 5.6 Ig w = µ S w l S w r, where S w l and S w r are given in the previous paragraph. So, differentfromchapter3, ifw isaloopfinitepathinf + Gˆ,then theintegral Ig w of w is, whenever the weight Wδ r w is large enough in the interval 0, 1, because both Sl w and Sr w contains w k, for all k N. Let g be a µ-measurable function. Then the support F + Gˆ : g of g is welldefined. Define the monomial g k w = g w k on F + Gˆ, for k N. Then and F + Gˆ : g 1 = F + Gˆ F + Gˆ : g n = VGˆ loopgˆ, for all n N \ {1}, where loopgˆ def = {l F + Gˆ : l is a loop finite path}. So, by 5.6 and the supports, Ig k = = Ig, for k N, in general, where g = N k=0 a k g k is a polynomial, with g 0 1. Define the µ-measurable map g n w = g w n, for all w F + Gˆ and n N. Then similar to Chapter 3, we have that 5.7 F + Gˆ : g n = F + Gˆ : g n, for n N. 5.8 F + Gˆ : g ±n = F + Gˆ : g 2, for all n N \ {1}. By 5.7 and 5.8, we have the following proposition.

29 MEASURE THEORY ON GRAPHS 29 Proposition 5.5. Ig n = Ig n, for all n N. In particular, Ig ±n = Ig 2, for all n N \ {1}. References [1] A. G. Myasnikov and V. Shapilrain editors, Group Theory, Statistics and Cryptography, Contemporary Math, 360, 2003 AMS. [2] D. G. Radcliffe, Rigidity of Graph Products of Groups, Alg & Geom. Topology, Vol 3, [3] D. Voiculescu, Entropy of Random Walks on Groups and the Macaev Norm, Proc. AMS, Vol 119, 3, 1993, [4] E. Breuillard and T. Gelander, Cheeger Constant and Algebraic Entropy of Linear Groups, 2005 Preprint. [5] F. Balacheff, Volum Entropy, Systole and Stable Norm on Graphs, 2004 Preprint. [6] G. C. Bell, Growth of the Asymptotic Dimension Function for Groups, 2005 Preprint. [7] I. Cho, Random Variables in a Graph W -Probability Space, Ph. D. Thesis, 2005 Univ. of Iowa. [8] I. Cho, Noncommutative Probability on Graph von Neumann Algebras, 2006 Preprint. [9] I.Cho, CompressedRandomVariablesinaGraphW -Probability Space, 2005, Preprint. [10] J. Friedman and J-P. Tillich, Calculus on Graphs, 2005 Preprint. [11] J. Stallings, Centerless Groups-An Algebraic Formulation of Gottlieb s Theorem, Topology, Vol 4, [12] R. G. Bartle, The Elements of Integration, st Edition, John Wiley & Sons. [13] R. Gliman, V. Shpilrain and A. G. Myasnikov editors, Computational and Statistical Group Theory, Contemporary Math, 298, 2001 AMS. Saint Ambrose University, Dep. of Math, Davenport, Iowa, U. S. A. address: chowoo@sau.edu