GENUS DISTRIBUTIONS OF CUBIC SERIES-PARALLEL GRAPHS JONATHAN L. GROSS, MICHAL KOTRBCˇ´IK, AND TIMOTHY SUN Abstract. We derive a quadratic-time algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph, which we extend to any biconnected series-parallel graph of maxi- mum degree at most 3. Since the biconnected components of every graph of treewidth 2 are series-parallel graphs, this yields, by use of bar-amalgamation, a quadratic-time algorithm for every graph of treewidth at most 2 and maximum degree at most 3. Version: 22:49 August 29, 2021 1. Introduction For i = 0; 1; 2;:::, let gi(G) be the number of topologically dis- tinct cellular embeddings of the graph G in the orientable surface Si of genus i. The genus distribution of the graph G is the sequence of numbers (1.1) gi(G): i = 0; 1;::: By the interpolation principle (see Theorem 3.4.1 of [GrTu87] or The- orem 4.5.3 of [MoTh01]), the set fi : gi(G) > 0g is a set of consecutive integers. The smallest number in this set is the minimum genus of the graph G, and the largest is the maximum genus of G. arXiv:1407.8031v1 [cs.DM] 30 Jul 2014 The main focus of this paper is the derivation of a quadratic-time al- gorithm for the genus distribution of any 3-regular, biconnected series- parallel graph. This algorithm is readily extended to a quadratic-time algorithm for the genus distribution of any graph of treewidth at most 2 and maximum degree at most 3. The simplicity with which this spe- cialized algorithm can be implemented, or applied by hand with the aid 2010 Mathematics Subject Classification. Primary: 05C10. Key words and phrases. graph embedding, genus distribution, series-parallel graphs, bounded treewidth. 1 2 JONATHAN L. GROSS, MICHAL KOTRBCˇ´IK, AND TIMOTHY SUN of a spreadsheet, distinguishes it from the recently derived quadratic- time algorithm [Gr14] for the genus distribution of any class of graphs of fixed treewidth and bounded degree. Basic results on genus distribution Five fundamental papers [GKP10, Gr11a, PKG10, KPG10, PKG12] of the first author and his co-authors Khan and Poshni have estab- lished methods for calculating the genus distribution of a graph that is constructed by various kinds of amalgamation of graphs of known genus distribution. These methods involve partitioned genus distribu- tions and productions. In order to develop an algorithm for a specific class of graphs, the starting point is to formulate a recursive speci- fication of the graphs in that class, in which the operations used to create larger graphs from smaller graphs are varieties of amalgamation or self-amalgamation. Then methods similar to those of the five funda- mental papers are used to calculate the genus distribution recursively. This paradigm was used successfully in calculating the genus distribu- tions of 3-regular outerplanar graphs [Gr11b], of 4-regular outerplanar graphs [PKG11], of Halin graphs [Gr13], and of the 3 × n-mesh graphs [KPG12]. We adopt the same paradigm in this paper. Connections of treewidth to embedding problems Since the introduction of the concept of treewidth by Robertson and Seymour, bounding the treewidth has been widely used to ob- tain polynomial-time algorithms for problems that are otherwise NP- hard. In particular, deciding whether an arbitrarily selected graph can be embedded in a given surface is NP-complete [Th89]; however, for any class of graphs of bounded treewidth, Kawarabayashi, Mohar, and Reed [KMR09] have derived a linear-time algorithm for calculating the minimum genus. Although outerplanar graphs have treewidth 2, and although Halin graphs and P3×Pn meshes have treewidth 3 (see [Bo98]), decomposition trees have not occurred in the calculation of specific genus distributions in any papers as yet. Nonetheless, low treewidth plays an implicit role in the recursive specification of the family of graphs in each of those papers. Similarly, in the present paper, low treewidth plays an implicit role, since it allows for a simple recursive construction of the graphs under consideration. GENUS DISTRIBUTIONS OF CUBIC SERIES-PARALLEL GRAPHS 3 Terminology In what follows, a graph is taken to be connected and devoid of self-loops, unless something else can be inferred from the immediate context. Multi-edges are to be expected. We use VG and EG to de- note the vertex set and edge set of a graph G. A connected graph is biconnected if it has no cutpoints. The embeddings in this paper are cellular embeddings in oriented surfaces. The terminology used here is predominantly consistent with [GrTu87] and [BWGT09]. See also [MoTh01], for a slightly different approach. We abbreviate \face-boundary walk" as fb-walk. A two-terminal series-parallel graph is a doubly vertex-rooted graph (G; p; q), as per the following recursive definition. B: The graph (K2; p; q) is a two-terminal series-parallel graph, where p and q are the vertices of K2, called the source root and the target root, respectively. 0 0 0 R1: series operation (G; p; q) s (G ; p ; q ) Target root q of G is merged with source root p0 of G0. The amalgamated graph 0 0 G s G with roots p and q , as in Figure 1.1(a), is a two-terminal series-parallel graph. 0 0 0 R2: parallel operation (G; p; q) p (G ; p ; q ) The result of merg- ing source root p with source root p0 , and also merging target root q with target root q0, as in Figure 1.1(b), is a two-terminal series-parallel graph. (a) (b) s s s t t s s' p s t t s' t' t' t' Figure 1.1. Operations on series-parallel graphs. A graph G is a series-parallel graph if there is a choice of terminals p and q such that (G; p; q) is a two-terminal series-parallel graph. Our definition here is consistent with that of [Bo98] and [Ep92]. A third operation, called a jackknife operation is allowed by [BPT09], and the resulting class of graphs that they call \series-parallel" is equivalent to that of [Du65] | see Remark 8.1 of [BPT09]. The \series-parallel graphs" in [Du65] are identified there as the graphs with no embedded \Wheatstone bridge" (which is Duffin’s terminology for a K4 topologi- cal minor). These are precisely the graphs that have no K4-minor (e.g., 4 JONATHAN L. GROSS, MICHAL KOTRBCˇ´IK, AND TIMOTHY SUN see Proposition 1.7.2 of [Die06]). According to Theorem 17 of [Bo98], the graphs without a K4-minor are exactly the graphs of treewidth at most 2. It follows that our extended genus-distribution algorithm can be applied to any of them in quadratic time, and that we do not need to further explore the distinctions between the varying definitions of \series-parallel graphs". Outline of this paper Section 2 derives a characterization of 3-regular, biconnected series- parallel graphs that facilitates the genus distribution algorithm for that family of graphs. Section 3 introduces the concepts of partitioned genus distributions and productions. The top-level description of an algorithm for the genus distribution of any 3-regular, biconnected series-parallel graph is given in Section 4. Sections 5 and 6 derive the productions needed to complete the calculation, as well as their application to cal- culating the genus distribution of an illustrative example. Section 6 also gives proof that the algorithm runs in quadratic time. Section 7 ex- tends the algorithm to all graphs of treewidth 2 and maximum degree 3. This paper is almost entirely self-contained, except for some details of the well-established concept of partitioned genus distributions and of the methods (as in [GKP10] and [PKG10]) for constructing productions (which are quite necessary for the algorithm). Prior experience with calculating genus distributions of graph amalgamations, especially as in [Gr11b] and [Gr13], is likely to be quite helpful. 2. Cubic Biconnected Series-Parallel Graphs The dipole Dn is the graph with two vertices and an n-fold multi- edge joining them. In this section, we prove that every 3-regular, bi- connected series-parallel graph can be obtained by iterated application of the following operation to the dipole D3. τ: Trisect an arbitrary edge e of a graph G and install a new edge in parallel to the \middle third" of edge e. This operation, which is applicable to an non-empty graph, is called a dmt-step (\dmt" is an abbreviation of \double the middle third"), is illustrated by Figure 2.1. e Figure 2.1. A dmt-step: double the middle third. GENUS DISTRIBUTIONS OF CUBIC SERIES-PARALLEL GRAPHS 5 We define a second operation, which is applicable to 3-regular multi- graphs, other than the dipole D3. τ −1: In a 3-regular graph G, let d and e be edges that share the same two endpoints, u and v, and in which no other edge shares these two endpoints. Delete edge d, and then smooth away vertices u and v. We observe that the operation τ −1 can be used as an inverse to the operation τ. The proof of our characterization of 3-regular, biconnected series- parallel graphs uses the following four propositions. Proposition 2.1. A graph G has treewidth at most 2 if and only if every biconnected component of G is a series-parallel graph. Proof. This is Theorem 42 of [Bo98]. Proposition 2.2. A graph G has treewidth at most 2 if and only if contains no K4-minor. Proof. This follows immediately from Theorem 17 of [Bo98].