## ANOTHER DIMINIMAL MAP ON THE TORUS

## THOM SULANKE

Abstract. This note adds one diminimal map on the torus to the published set of 55. It also raises to 15 the number of vertices for which all diminimal maps on the torus are known.

## 1. Introduction

Riskin [4][5] found two diminimal maps on the torus (denoted R1 and R2 in this note). Henry [2][3], using a computer found 53 more (H1 through H53). All diminimal maps on the torus with fewer than 10 vertices or fewer than 10 faces were found using this technique. But Henry was not able to complete the generation process due to time constraints.

Using a completely different computer technique we generated all polyhedral maps on the torus with 15 or fewer vertices and checked each to see if it was diminimal. While this technique found all diminimal maps on the torus with 15 or fewer vertices, there may be other diminimal maps on the torus with more than 15 vertices.

## 2. Definitions

Following [3] we use these definitions. We consider only graphs with no multiple edges and no loops. If G is a graph embedded in a surface, then the closure of each connected component of the complement of the graph is called a face . An embedded graph together with its embedding is called a map if each vertex of the graph has degree at least 3 and each face is a closed 2-cell.

If the intersection of two distinct faces of a map is empty, a vertex, or an edge then the faces are said to meet properly . If each face is simply connected and each pair of faces meet properly, then the map is a polyhedral map . We refer to a polyhedral map on the torus as a toroidal polyhedral map or TPM.

The operation edge removing is the process of obtaining one map from another by removing a single edge. If the removal creates a vertex of degree 2 then the two edges adjacent to that vertex are coalesced into one edge in the new map. Let G be a TPM and let G ′ be the map obtained from G by removing edge e from G . If G ′ is also a TPM, then edge e is called removable .

The operation edge shrinking is the process of obtaining one map from another by contracting an edge so that edge's two vertices become one vertex. If the contraction creates a two-sided face in the new map then the two edges of the two-sided face are replaced with a single edge. Let G be a TPM and let G ′ be the map obtained from G by shrinking edge e in G . If G ′ is also a TPM, then edge e is called shrinkable .

If G is a TPM with no shrinkable edges and no removable edges then G is called diminimal .

## 3. Generating TPMs

The author has developed the program surftri [6] for generating embeddings on surfaces. This program is based on the program plantri [1] written by Brinkmann and McKay which generates planar graphs. It is easy to restrict surftri to generate only polyhedral maps . As a test of surftri we checked that all the known diminimal TPMs were among the TPMs with 15 or fewer vertices. The number of TPMs checked is shown in Table 1. About three CPU years were required to generate the TPMs with up to 15 vertices. In the process we discovered an additional diminimal TPM (S1). All the known diminimal TPMs are shown in Figs. 2, 3, and 4.

A list of the 56 known diminimal TPMs (H1, . . . , H53, R1, R2, S1) is in Figure 1. Each line of the list represents one diminimal TPM. The format used is taken from surftri [6] which generalizes the format in plantri [1]. The vertices are labeled by single letters. The number is the number of vertices for the embedding. For each vertex there is a list of its neighbors in cyclic order. So

## 7 bcdefg agdfec abegfd acfbge adgcbf aebdcg afcedb , , , , , ,

represents K 7 embedded on the torus. This embedding has 7 vertices. The vertex a has 6 neighbors bcdefg in cyclic order. The vertex b also has 6 neighbors agdfec in cyclic order. The final vertex g has neighbors afcedb .

Table 1. Counts of TPMs and diminimal TPMs by number of vertices

|   Vertices |           TPMs |   Diminimal TPMs |
|------------|----------------|------------------|
|          7 |              1 |                1 |
|          8 |             33 |                2 |
|          9 |           4713 |               11 |
|         10 |         442429 |               19 |
|         11 |       28635972 |               15 |
|         12 |     1417423218 |                5 |
|         13 |    58321972887 |                2 |
|         14 |  2102831216406 |                1 |
|         15 | 68781200467456 |                0 |

- 7 bcdefg,agdfec,abegfd,acfbge,adgcbf,aebdcg,afcedb
- 8 bcde,aefgdh,ahgf,afhbg,aghfb,behdcg,bfced,bdfec
- 8 bcd,aefgh,ahegf,afhge,bdgchf,behdcg,bfcedh,bgdfec
- 9 bcde,afghi,aifh,ahge,adihf,becg,bfid,bdcei,bhegc
- 9 bcd,aefgh,ahei,aihge,bdgcf,behi,biedh,bgdfc,cgfd
- 9 bcd,aefgh,ahig,afhe,bdhgi,bidg,bfceh,bgedic,chfe
- 9 bcd,aefgh,aheg,agfi,bicf,behdg,bfdcih,bgifc,dhge
- 9 bcd,aefgh,aig,afhe,bdhgif,beidg,bfceh,bgedi,chfe
- 9 bcde,afghi,aifd,achg,agihf,behcg,bfied,bdfei,bhegc
- 9 bcd,aefgh,ahegf,afhge,bdgci,bidcg,bfcedh,bgdic,ehf
- 9 bcd,aefgh,ahig,agfhe,bdhgi,bihdg,bfdceh,bgedfc,cfe
- 9 bcd,aefgh,ahfi,agfhe,bdhif,bechdg,bfdih,bgedfc,ceg
- 10 bcde,afgh,ahfi,aihg,agif,becj,bjed,bdjc,cejd,fhig
- 10 bcd,aefgh,ahij,ajhe,bdgi,bihj,bjeh,bgdfc,cfe,cgfd
- 10 bcd,aefg,ahei,aihj,bjcf,behi,bijh,cgdf,cjgfd,dgie
- 10 bcd,aefgh,ahij,afhe,bdgi,bidj,bjeh,bgdic,chfe,cgf
- 10 bcd,aefgh,ahig,afhe,bdji,bidg,bfcj,bjdic,chfe,ehg
- 10 bcd,aefgh,ahei,aihj,bjcf,behi,bijh,bgdfc,cgfd,dge
- 10 bcd,aefgh,aig,afhe,bdjif,beidg,bfcj,bjdi,chfe,ehg
- 10 bcd,aefgh,aig,afje,bdjif,behdg,bfcj,bjfi,che,dhge
- 10 bcd,aefg,ahi,ajge,bdgihj,bji,biedh,cgje,cegf,dfeh
- 10 bcd,aefgh,aig,afj,bjif,behdg,bfcjh,bgjfi,che,dhge
- 10 bcd,aefg,aghi,aije,bdgih,bhji,biejc,cjfe,cegfd,dfhg
- 10 bcd,aefgh,ahfi,agje,bdhif,becjg,bfdih,bgejc,ceg,dfh
- 10 bcd,aefgh,ahig,agfj,bjgi,bihdg,bfdceh,bgjfc,cfe,dhe
- 10 bcde,aefgh,ahif,ajhg,aijb,bjcg,bfid,bdjic,cheg,dfeh
- 10 bcd,aefg,aghi,afhj,bjih,bhdig,bfjhc,cgdfe,cejf,dgie
- 10 bcd,aefgh,ahfi,ajhe,bdhif,bechj,bjih,bgedfc,ceg,dgf
- 10 bcd,aefg,ahif,ajgi,bihj,bjcig,bfidh,cgje,cedgf,dfeh
- 10 bcd,aefgh,ahfi,agfj,bjif,bechdg,bfdih,bgjfc,ceg,dhe
- 10 bcd,aefgh,aij,afhge,bdgif,behdj,bjedh,bgdfi,che,cgf
- 11 bcd,aefg,ahf,aigj,bji,bick,bkdh,cgij,dfeh,dkhe,fjg
- 11 bcd,aefg,ahf,aij,bjhi,bick,bkih,cgej,dfeg,dkhe,fjg
- 11 bcd,aefgh,aig,afhe,bdjk,bkdg,bfcj,bjdi,chk,ehg,eif

11 bcd,aefgh,aij,afhe,bdgk,bkdj,bjeh,bgdi,chk,cgf,eif

- 11 bcd,aefgh,aig,afj,bjgk,bkdg,bfceh,bgji,chk,dhe,eif
- 11 bcd,aefgh,ahig,ajhe,bdki,bihj,bjck,bkdfc,cfe,dgf,ehg
- 11 bcd,aefg,aghi,aije,bdhk,bihj,bjkc,cejf,cfkd,dgfh,egi
- 11 bcd,aefgh,ahei,afhj,bjck,bkdi,bijh,bgdkc,cgf,dge,ehf
- 11 bcd,aefgh,aij,afke,bdgif,behdj,bjek,bkfi,che,cgf,dhg
- 11 bcd,aefg,ahi,ajk,bkif,behj,bjikh,cgkf,cegj,digf,dhge
- 11 bcd,aefg,ahi,ajk,bkhf,beji,bikjh,cgje,ckgf,dfhg,dgie
- 11 bcd,aefg,aghi,ajgk,bkh,bjig,bfkdhc,cgje,ckf,dfh,dgie
- 11 bcd,aefgh,aij,afhk,bkif,behdj,bjkh,bgdfi,che,cgf,dge
- 11 bcd,aefgh,aij,agfk,bkjf,beidg,bfdjh,bgki,chf,ceg,dhe
- 11 bcde,afgh,ahfi,aijk,akif,becj,bjik,bkjc,cegd,dgfh,dhge
- 12 bcd,aefg,ahf,aij,bki,bicl,blih,cgk,dfeg,dlk,ejh,fjg
- 12 bcd,aefg,ahi,ajkl,blj,bilk,bkjh,cgl,cfj,dieg,dgf,dfhe
- 12 bcd,aefg,ahi,ajk,bkhl,bikg,bfjh,cgek,cfl,dlg,dfhe,eji

12 bcd,aefg,ahi,ajk,bkhf,beji,bikl,cle,ckgf,dfl,dgie,gjh

- 12 bcd,aefgh,aij,akl,blif,bekj,bjlh,bgki,che,cgf,dfh,dge
- 13 bcd,aefg,ahi,ajk,blm,bikg,bfjh,cgl,cfm,dmg,dfl,ekh,eji
- 14 bcd,aef,agh,aij,bkl,bmn,cnk,cml,dln,dmk,ejg,eih,fhj,fig
- 9 bcde,afdg,ageh,ahbi,aicf,begi,bhfc,cigd,dfhe
- 9 bcde,afdg,agfh,ahbi,aihf,beci,bhic,cegd,dfge
- 13 bcde,afgh,ahij,ajkl,almf,beji,biml,blkc,ckgf,cfmd,dmih,dhge,egkj

Figure 1. List of Diminimal Maps on the Torus in plantri format

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-3a94ce4a-9f0e-4557-af1e-b04cc5ba159f.jpg)

H1 and dual H53

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-59e67459-cfd6-44bb-9ac6-7a607d0a187b.jpg)

H4 and dual H32

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-fe1a2e40-84a2-47d8-80b4-da39475f024b.jpg)

H7 and dual H35

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-9dc6cda1-2eac-4595-aadb-d1dfa8fbba6c.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-628ac2b6-0b5e-426f-9142-51ddf94f9977.jpg)

H2 and dual H47

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-4ec08580-d2e1-45d1-893a-273d3984c53f.jpg)

H5 and dual H33

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-9c04701e-595b-436a-8814-053dc082ac28.jpg)

H8 and dual H36

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-14399540-2b75-4602-9a54-27b1f980dc2d.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-0f450ab5-ed29-40fe-82fd-c68f1a306f29.jpg)

H3 and dual H52

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-7ed5c184-0895-4991-844c-938fc7b447ed.jpg)

H6 and dual H34

H9 and dual H48

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-ffe39fbe-cab3-4e77-b26f-167caac4f6a4.jpg)

H10 and dual H49

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-e46d7866-defa-45e3-88bb-e83b629f138c.jpg)

H11 and dual H50

H12 and dual H51

Figure 2. Diminimal Maps on the Torus with duals, 1 of 3

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-7bbf4b88-b9fe-48f1-b5e5-bd7028ae736d.jpg)

H13 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-79828f5c-abb4-4400-b29c-805e1f667be4.jpg)

H17 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-8df4922e-5e4b-4e9e-b2cb-4080c775a68e.jpg)

H21 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-94ddd44e-dcd9-4f64-9da1-873058c958fa.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-1d498fcb-64f2-405f-835b-4adcf1546494.jpg)

H16 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-b7870a5b-27ca-4ba1-a5ec-67e9849ccade.jpg)

H19 and dual H20

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-537d3584-e517-4896-8355-34e664592281.jpg)

H23 and dual H38

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-1ddd6f25-7df8-463b-86d0-7612245e54bd.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-39625dd4-6b2e-4836-a1cd-b911783ccd5b.jpg)

H14 and dual H15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-885e5ed1-a9b7-4f8c-b822-341a3725482d.jpg)

H18 and self dual

H22 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-4feff5ae-507a-45c3-9394-dde6d8339a2d.jpg)

H24 and dual H41

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-05e24f70-b3c5-43a3-b94a-f7d7674dc33e.jpg)

H25 and dual H42

H26 and dual H37

Figure 3. Diminimal Maps on the Torus with duals, 2 of 3

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-2f84d402-0971-4f11-9d72-7d4623e895ab.jpg)

H27 and dual H39

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-12d65fd9-ddea-4df8-8f6a-0ecc9d97be2d.jpg)

H30 and dual H44

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-f2d26846-bb8c-4872-8a5a-3dd51721cd87.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-788bb5cf-e103-4a57-bf7a-02dd85b14d78.jpg)

H28 and dual H43

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-213e3699-5811-449f-a363-6d0e1c1a1db1.jpg)

H31 and dual H45

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-a53bc3d4-55ec-4b5e-86e1-2de27f923865.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-a6616c1e-a426-489f-9ae1-1b2899a32104.jpg)

H29 and dual H40

H46 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-8c96015e-36cd-4e01-8175-f09e3dc83ae2.jpg)

R1 and self dual

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0428v1-figure-5c8175d7-d57f-47a9-a210-10fa497c332c.jpg)

R2 and self dual

S1 and self dual

Figure 4. Diminimal Maps on the Torus with duals, 3 of 3

## References

- 1. Gunnar Brinkmann and Brendan D. McKay, plantri, program for generation of certain types of planar graph , http://cs.anu.edu.au/ ~ bdm/plantri/ .
- 2. Jennifer Henry, On generating a diminimal set of polyhedral maps on the torus , arXiv:math/0107123.
- 3. , On generating a diminimal set of polyhedral maps on the torus , ProQuest LLC, Ann Arbor, MI, 2001, Thesis (Ph.D.)-University of California, Davis. MR 2702268
- 4. Adrian Riskin, Type 3 diminimal maps on the torus , Israel J. Math. 75 (1991), no. 2-3, 371-379. MR 1164599 (93d:57048)
- 5. , On type 2 diminimal maps on the torus , J. Combin. Inform. System Sci. 17 (1992), no. 3-4, 288-301. MR 1317680 (95k:05059)
- 6. Thom Sulanke, Source for surftri and lists of irreducible triangulations , http://hep.physics.indiana.edu/ ~ tsulanke/graphs/surftri/ .

Department of Physics, Indiana University, Bloomington, Indiana 47405 USA E-mail address : tsulanke@indiana.edu
Thom Sulanke
Another Diminimal Map on the Torus
This note adds one diminimal map on the torus to the published set of 55. It
also raises to 15 the number of vertices for which all diminimal maps on the
torus are known.