1: \begin{abstract}

2: In this paper, we will introduce a new operator-algebraic probability

3: structure, so-called the Graph Free Product Spaces. Let $G$ be a simplicial

4: finite graph with its probability-space-vertices $\{(A_{v},$ $\varphi _{v})$ 

5: $:$ $v$ $\in $ $V(G)\}.$ Define the graph free product $A$ $=$ $\underset{%

6: v\in V(G)}{*^{G}}$ $A_{v},$ as a vector space $\Bbb{C}$ $\oplus $ $(%

7: \underset{w\in \Bbb{F}^{+}(G)}{\oplus }$ $A_{w}),$ where $\Bbb{F}^{+}(G)$ is

8: the free semigroupoid of $G,$ consisting of all vertices as units and all

9: admissible finite paths, with $A_{w}$ $=$ $A_{w},$ if $w$ is a vertex in $G,$

10: and with $A_{w}$ $=$ $A_{v_{1}}$ $*$ $A_{v_{2}}$ $*$ ... $*$ $A_{v_{k}},$

11: whenever $w$ $=$ $[v_{1},$ ..., $v_{k}]$ is a finite path. Also, define the

12: canonical subalgebra $D^{G}$ of $A$ by $D^{G}$ $=$ $\Bbb{C}$ $\oplus $ $(%

13: \underset{w\in \Bbb{F}^{+}(G)}{\oplus }$ $\Bbb{C}).$ Then definitely $D^{G}$

14: is a subalgebra of $A.$ The algebraic pair $(A,$ $E)$ is a noncommutative

15: probability space with amalgamation over $D^{G}$ in the sense of Voiculescu,

16: where $E$ $=$ $\underset{w\in \Bbb{F}^{+}(G)}{\oplus }$ $\varphi _{w}$ is

17: the conditional expectation from $A$ onto $D^{G}.$ In fact, this structure

18: is a direct producted noncommutative probability space introduced in [9].

19: This amalgamated noncommutative probability space $(A,$ $E)$ is called the

20: graph free product space of $\{(A_{v},$ $\varphi _{v})$ $:$ $v$ $\in $ $%

21: V(G)\}.$ We will consider the noncommutative probability on it. We can

22: characterize the graph-freeness pictorially for the given graph. i.e., the

23: subalgebras $A_{w_{1}}$ and $A_{w_{2}}$ are graph-free in $(A,$ $E)$ if and

24: only if $w_{1}$ and $w_{2}$ are disjoint on the graph $G.$ By using this

25: graph-freeness, we establish the graph R-transform calculus.

26: \end{abstract}

27: