Conference Papers in Mathematics

Volume 2013 (2013), Article ID 785625, 2 pages

http://dx.doi.org/10.1155/2013/785625

Conference Paper

Noncanonical Bases of Cycle and Cutset Spaces of Graphs

J. M. S. Simões-Pereira

Departamento de Matemática, Universidade de Coimbra, Portugal

Received 12 March 2013; Accepted 22 May 2013

Academic Editors: B. Datta, G. S. F. Frederico, N. Martins, D. F. M. Torres, and A. J. Zaslavski

This Conference Paper is based on a presentation given by J. M. S. Simões-Pereira at “The Cape Verde International Days on Mathematics 2013” held from 22 April 2013 to 25 April 2013 in Praia, Cape Verde.

Copyright © 2013 J. M. S. Simões-Pereira. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We characterize those bases of the cycle space and of the cutset space of a graph which cannot be associated with a spanning tree of .

The so-called cycle space of a (connected) graph is well known (see Harary [1]). Remember the definitions: A (not necessarily connected) subgraph of will be called Eulerian if, when regarded as a graph, all its vertices are of even degree. We take the edge sets of such subgraphs (not all of them are cycles, obviously!) as the vectors of the cycle space: the vector sum is the ring sum or symmetric difference, the scalar field is ; the product of a scalar by a vector is defined by setting and . By convention, we consider the empty set as the null vector of this space.

Given a (connected) graph and one of its spanning trees , we call the edges in   branches and the remaining edges of , chords. For each chord, if we add it to , we form a cycle, and the set of the cycles formed in this way may serve as a basis (or fundamental set) of the cycle space. Such bases will be said to be canonical, but there are bases which cannot be associated with any tree: we call them noncanonical.

The important role assumed by spanning trees when we look for bases of the cycle space (or of the cutset space) of a graph is unquestionable. It is revealing that, while investigating cycle spaces of infinite graphs, Vella and Richter [2] (and several other authors they quote) feel the need to generalize the concept of spanning tree in a way that makes sense in infinite graphs.

Some authors (see Ponstein [3], Seshu and Reed [4]) seem however to forget that there are noncanonical bases. Even in Thulasiraman [5], this fact is not pointed out. In Seshu and Reed [4], it is said in error that “to have a basis we need a tree.”

Let us give an example of a noncanonical basis: in the graph of Figure 1, the four triangles ,  ,  , and    form a basis of the cycle space. They are linearly independent because    requires   so that ,  ,  , respectively, do not appear in the sum; hence, we must have also to obtain    as the sum.

Figure 1

Note that, in a canonical basis, an edge common to two cycles cannot be a chord: the other edges of these cycles would belong to the tree, a contradiction because they either form or properly contain another cycle. Now suppose that there exists a spanning tree of associated with the abovementioned four triangles. As just seen, the edges ,  ,    cannot be chords; that means they belong to , a contradiction. In general we have the following.

Theorem 1. A necessary and sufficient condition for a basis of the cycle space to be canonical is that each one of its cycles contains one edge not belonging to anyone of the other cycles of the basis.

Proof. The necessity is obvious: if a basis is associated with a tree, then each one of its cycles contains one chord that belongs to no other cycle of the basis.

Now let be the cycles of a basis where and, for , let be an edge of that belongs to no with . Let us start from and successively remove the edges . We end up with a subgraph with the same number of vertices as and with edges. Let us show that is connected, which implies that is a spanning tree of . In fact, the removal of an edge that belongs to a cycle from a connected graph yields a new graph which is still connected; since each belongs to just one cycle , the successive removals do not affect the other cycles and hence no one of these removals destroys the connectivity of the graphs we successively obtain. Thus is connected that means a tree. If we add to the last we removed, say  , we reconstruct , the last cycle destroyed by the successive removals. The point is that we may remove the edges in any order; hence, anyone of the cycles may occur as the last one. This means that, for , if we add to we obtain , which proves the sufficiency of the condition.

Analogous considerations may be made for the so-called cutset (or separator) space of . We distinguish cutsets and separators. In general, a separator of is a set of edges whose removal increases the number of connected components of . A cutset is a separator which is minimal, that means, a separator which does not properly contain another separator.

Let be connected and a spanning tree of . Let be an edge of . If we remove this edge, we remain with two subtrees, one, say , containing and the other, say , containing . The edge set formed by and all chords linking one vertex of with one vertex of form a cutset of . These cutsets may be regarded as the basis of the cutset space of . The vector sum, the scalar field, and the product of a scalar by a vector are defined as for the cycle space. The empty set is also, by convention, the null vector of this space.

The vectors of the cutset space are the edge sets of that may be obtained by ring sums of basic cutsets. Obviously, some of them are separators but not cutsets. On the other hand, we point out that there are separators which do not belong to this space; they cannot be expressed as linear combinations of the basic cutsets. For example, let be a pentagon whose edges we denote by , , , , as we move around, say, clockwise. Let the edges of be ,  ,  ,  . The associated cutsets are , , and . The cutsets of the pentagon are the pairs of edges. Now see that is a separator and is not a linear combination of the basic cutsets. It does not belong to the cutset space of this graph.

Here also, we distinguish canonical bases (those associated with a spanning tree) and noncanonical ones. An example of the latter is given if we choose , , , , and for basic cutsets of the graph of Figure 1. These five sets are linearly independent: to satisfy the condition , we must choose   so that neither nor appear in the sum; hence, we need also   so that neither nor appears; finally, we need so that the sum is the empty set. The following holds.

Theorem 2. A necessary and sufficient condition for a basis of the cutset space to be canonical is that each one of its cutsets contains one edge not belonging to anyone of the other cutsets of the basis.

Proof. The necessity is obvious. When the basis is canonical, each basic cutset contains one branch of the tree which belongs to no other basic cutset.

For the sufficiency, we need the obvious fact that a cycle and a cutset of a graph share either none or an even number of edges. Now, choose in each one of the basic cutsets one edge that belongs to no other one. Let be the subgraph formed by such edges. Let us first prove that contains no cycle: if it did, no cutset could contain just one edge of such a cycle, that is, just one edge of , a contradiction. Hence is a subgraph of with edges and no cycles. This means is a spanning tree of . Since every edge of belongs to one of the given cutsets, we conclude that they form a canonical basis associated with the tree , which proves the sufficiency.

References

F. Harary, Graph Theory, Addison-Wesley, Reading, Mass, USA, 1969.

A. Vella and R. B. Richter, “Cycle spaces in topological spaces,” Journal of Graph Theory, vol. 59, no. 2, pp. 115–144, 2008.

J. Ponstein, Matrices in Graph and Network Theory, Van Gorcum, Assen, The Netherlands, 1966.

S. Seshu and M. B. Reed, Linear Graphs and Electrical Networks, Addison-Wesley, Reading, Mass, USA, 1961.

K. Thulasiraman, “Graphs and vector spaces,” in Handbook of Graph Theory, J. L. Gross and J. Yellen, Eds., pp. 533–556, CRC Press, New York, NY, USA, 2004.