Fundamental Cycles and Graph Embeddings

If a graph G contains a spanning tree T such that there exist 2g fundamental cycles C_1, C_2, \cdots, C_{2g} with C_{2i-1 }\cap C_{2i-1}\neq\phi, for i=1, 2\cdots g, then G may be embedded in an orientable surface with genus at least g.

\xi(G_1)\leq\xi(G_0) ( \Leftrightarrow \gamma_{M}(G_1)\geq\gamma_{M}(G_0)+1). 0.2cm To see this, we observe that \beta(G_0)=\beta(G_1)-2, and so, \xi(G_1)\equiv\xi(G_0)(~mod~2~). 
If \xi(G_1)\geq\xi(G_0)~+~2, then we have one of the following situations:
(1). Both e_1 and e_2 have, respectively, their ends in distinct even components in E(G_0)\backslash E(T) ( As shown in left hand side of Fig.1).
(2). Both e_1 and e_2 have, respectively, their ends in the same even components in E(G_0)\backslash E(T) ( As shown in center of Fig.1).
(3). Exactly, one of e_1 and e_2, say e_1, joins two even components of E(G_0)\backslash E(T), while e_2 has two ends in the same even components in E(G_0)\backslash E(T) ( As shown in right hand side of Fig.1).

Let G be a connected graph embedded in an orientable surface S_g and T be a spanning tree of G. Then there are at least 2g noncontractible foundamental cycles C_1,~C_2,\cdots,C_{2g}, such that  C_{2i-1}\cap C_{2i}\neq\phi for  1\leq i\leq g. In particular, if G is a one-face-embedded graph in S_g, then for any spanning tree T of G, there are 2g edges in G\backslash E(T) such that the corresponding 2g fundamental cycles C_1,~C_2,\cdots,C_{2g}  satisfy C_{2i-1}\cap C_{2i} \neq \phi for 1\leq i\leq g.

Any two spanning trees T_1 and T_2 in a graph G have the same maximum number of adjacent fundamental cycle pairs. ( In fact , this unique number is \gamma_{M}(G), the maximum genus of G ).

 If a connected graph G has a spanning tree T such that any two fundamental cycles have a vertex in common. Then G is upper-embeddable.

Let G be a connected graph and T be an arbitrary spanning tree in G. If e_1, e_2 are two edges not in G and the two cycles C_T(e_1) and C_T(e_2) have a vertex in common. Then \gamma_M(G)=\gamma_M(G+e_1+e_2)-1. In particular, G is upper-embeddable if and only if G+e_1+e_2 is upper-embeddable.

Let A=\{e_1,~e_2,\cdots,~e_k~\} be an edge-cut of G such that G-A has exactly two components G_1 and G_2. If both G_1 and G_2 are upper-embeddable, then ~\gamma_{M}(G)\geq\lfloor\frac{\beta(G)}{2}\rfloor-1 . Furthermore,if G satisfies one of the following conditions , then G is upper-embeddable:
(1). \beta(G_1)\equiv\beta(G_2)\equiv~0(~mod~2~)
(2). |A|\equiv~1(~mod~2~) and \beta(G_1)+\beta(G_2)\equiv~1(~mod~2~).

Let G be a strongly embedded graph in an orientable surface S_g ( i.e., all facial walks are cycles ). If the dual graph G^* of G has a surface separating Hamiltonian cycle, then G is upper-embeddable.

 If H_1 has a cycle C, then C must be a noncontractible cycle.
This follows from the fact that S_g-H_0 has only one component. If H_1 has a cycle C_1, then delete an edge e'_1 \in~C_1 and get a subgraph H_2 of H_1 with V(H_2)=V(H_1 ). Repeat this procedure until we arrive at a connected subgraph H_k of H_1 with V(H_k)=V(H_1) and H_k has no cycle.

T=H'\cup~H_k\cup~\{e_\varphi\} is a spanning tree of G, such that each fundamental cycle C_T(e_i) in T+e_i has an edge e_\varphi in common for i=1, 2,\cdots,\varphi-1~.
To see this, we consider an edge e_i=(x_i,y_i)\in[ H'~,~H_k ]\subseteq[G_1,~G_2], such that x_i\in H',~y_i\in H_k. Since H'( H_k ) is connected, there is a pathP_i(Q_i) in H'(H_k) joining \alpha(\beta) and x_i (y_i). Hence, C_T(e_i )=\{e_\varphi\}\cup~P_i\cup~Q_i\cup~\{e_i\} is a cycle containing e_\varphi for 1\leq i\leq\varphi.
Now we find a spanning tree T of G such that:
(1). All the fundamental cycles C_T(e_1),~C_T(e_2),\cdots,~C_T(e_{\varphi-1})  has an edge in common;
(2). By Theorems 1 and 2, and the fact that T is also a spanning tree in G-\{e_1,~e_2,\cdots~e_{\varphi-1}\}, there are another group of fundamental ( noncontractible ) cycles C_1,~C_2,\cdots,~C_{2g} such that C_{2i-1}\cap~C_{2i}\neq{\o} for 1\leq i\leq g.  By theorem 1, G is upper-embeddable.\vcenter{\hrule height.3pt \hbox{\vrule width.3pt height5pt \kern5pt \vrule width.3pt} \hrule height.3pt}

Let G be an embedded graph in a surface \sum such that the dual graph G^* of G contains a surface separating cycle C^* such that both of the left subgraph G_L(C^*) and right subgraph G_R(C^*) of G are upper embeddable . Then ~\gamma_{M}(G)\geq\lfloor\frac{\beta(G)}{2}\rfloor-1. In particular, if {\beta(G_L(C^*))}\equiv {\beta(G_R(C^*))}\equiv 0\,(\,mod\, 2), then G is upper-embeddable.

  If G is an embedded graph on the Klein bottle such that the dual graph G^* has a surface separating Hamiltonian cycle. Hence \gamma_{M}(G)\geq\lfloor\frac{\beta(G)}{2}\rfloor-1.

The following graphs are upper-embeddable:
(1). The cartisian product G\times P_n of a simple connected graph G and a path P_n with n(\geq 1) egdes;
(2). The composition of two disjoint Halin graphs H_1 and H_2 with some edges e_1, e_2,\cdots,e_k (k\geq 2) connecting them;
(3). The n-cube Q_n which is composed of two (n-1)-cube Q_{n -1} together with some edges joining the two copies of vertice in Q_{n-1}.
(4). The generalized Petersen graphs P(n , k) which is determined by n-cycle (u_1,u_2,\cdots,u_n) and vertices v_1,v_2,\cdots,v_n such that (i) each (u_i,v_i)\in E, 1\leq i\leq n;(ii) (u_i, v_{i+k})\in E, 1\leq i\leq n.

To determine the maximum genus of a graph G is equivalent to determine a maximum matching of the graph G_M=(V_M,E_M), called fundamental intersecting graph of G, where V_M is the set of fundamental cycles of a spanning tree T of G and any two cycles in V_M are adjacent if and only if they have at least a vertex in common.