f3df6fad5cd66294.tex
1: \begin{abstract}
2: A finite abstract simplicial complex $G$ defines the
3: Barycentric refinement graph $\phi(G) = (G,\{ (a,b), a \subset b \; {\rm or} \; b \subset a \})$ and the connection graph 
4: $\psi(G) = (G,\{ (a,b), a \cap b \neq \emptyset \})$. We note here that both functors $\phi$ and $\psi$
5: from complexes to graphs are invertible on the image (Theorem 1) and that $G,\phi(G),\psi(G)$ all have the same 
6: automorphism group and that the Cartesian product of $G$ corresponding to the Stanley-Reisner product of $\phi(G)$ and
7: the strong Shannon product of $\psi(G)$, have the product automorphism groups. 
8: Second, we see that if $G$ is a Barycentric refinement, then $\phi(G)$ and $\psi(G)$ are graph homotopic 
9: (Theorem 2). Third, if $\gamma$ is the geometric realization functor, 
10: assigning to a complex or to a graph the geometric realization of its clique complex, then 
11: $\gamma(G)$ and $\gamma(\phi(G))$ and $\gamma(\psi(G))$ are all classically homotopic 
12: for a Barycentric refined simplicial complex $G$ (Theorem 3). The Barycentric assumption is necessary in Theorem 2 and 3.
13: There is compatibility with Cartesian products of complexes which manifests in the strong graph
14: product of connection graphs: if two graphs $A,A'$ are homotopic and $B,B'$ are homotopic, then 
15: $A \cdot B$ is homotopic to $A' \cdot B'$ (Theorem 4) leading to a commutative ring of homotopy classes of graphs.
16: Finally, we note (Theorem 5) that for all simplicial complexes $G$ as well as product $G=G_1 \times G_2 \cdots \times G_k$,
17: the Shannon capacity $\Theta(\psi(G))$ of $\psi(G)$ is equal to the number $f_0$ of zero-dimensional 
18: sets in $G$. An explicit Lowasz umbrella in $\mathbb{R}^{f_0}$ leads to the Lowasz number $\theta(G) \leq f_0$ and
19: so $\Theta(\psi(G))=\theta(\psi(G))=f_0$ making $\Theta$ compatible with disjoint union addition and strong multiplication.
20: \end{abstract}
21: