---
abstract: 'Given a triangle-free planar graph $G$ and a $9$-cycle $C$ in $G$, we characterize situations where a $3$-coloring of $C$ does not extend to a proper $3$-coloring of $G$. This extends previous results when $C$ is a cycle of length at most $8$.'
author:
- 'Ilkyoo Choi$^{1}$[^1]'
- 'Jan Ekstein$^{2}$[^2]'
- 'Přemysl Holub$^{2}$[^3]'
- 'Bernard Lidický$^{3}$[^4]'
bibliography:
- '9cyc.bib'
date:
- 
- 
title: '$3$-coloring triangle-free planar graphs with a precolored $9$-cycle'
---

Introduction
============

Given a graph $G$, let $V(G)$ and $E(G)$ denote the vertex set and the edge set of $G$, respectively. We will also use $|G|$ for the size of $E(G)$. A *proper $k$-coloring* of a graph $G$ is a function $\varphi:V(G) \rightarrow \{1,2,\ldots, k\}$ such that $\varphi(u)\neq\varphi(v)$ for each edge $uv\in E(G)$. A graph $G$ is *$k$-colorable* if there exists a proper $k$-coloring of $G$, and the minimum $k$ where $G$ is $k$-colorable is the [*chromatic number*]{} of $G$.

Garey and Johnson [@1979GaJo] proved that deciding if a graph is $k$-colorable is NP-complete even when $k=3$. Moreover, deciding if a graph is $3$-colorable is still NP-complete when restricted to planar graphs [@1980Da]. Therefore, even though planar graphs are $4$-colorable by the celebrated Four Color Theorem [@1977ApHa; @1977ApHaKo; @1997RoSaSeTh], finding sufficient conditions for a planar graph to be $3$-colorable has been an active area of research. A landmark result in this area is Gr[ö]{}tzsch’s Theorem [@grotzsch1959], which is the following:

\[thm-grotzsch\] Every triangle-free planar graph is $3$-colorable.

We direct the readers to a nice survey by Borodin [@2013Bo] for more results and conjectures regarding $3$-colorings of planar graphs.

A graph $G$ is *$k$-critical* if it is not $(k-1)$-colorable but every proper subgraph of $G$ is $(k-1)$-colorable. Critical graphs are important since they are (in a certain sense) the minimal obstacles in reducing the chromatic number of a graph. Numerous coloring algorithms are based on detecting critical subgraphs. Despite its importance, there is no known characterization of $k$-critical graphs when $k\geq 4$. On the other hand, there has been some success regarding $4$-critical planar graphs. Extending Theorem \[thm-grotzsch\], the Grünbaum–Aksenov Theorem [@1974Ak; @1997Bo; @1963Gr] states that a planar graph with at most three triangles is $3$-colorable, and we know that there are infinitely many $4$-critical planar graphs with four triangles. Borodin, Dvořák, Kostochka, Lidický, and Yancey [@00BoDvKoLiYa] were able to characterize all $4$-critical planar graphs with four triangles.

Given a graph $G$ and a proper subgraph $C$ of $G$, we say $G$ is *$C$-critical for $k$-coloring* if for every proper subgraph $H$ of $G$ where $C\subseteq H$, there exists a proper $k$-coloring of $C$ that extends to a proper $k$-coloring of $H$, but does not extend to a proper $k$-coloring of $G$. Roughly speaking, a $C$-critical graph for $k$-coloring is a minimal obstacle when trying to extend a proper $k$-coloring of $C$ to a proper $k$-coloring of the entire graph. Note that $(k+1)$-critical graphs are exactly the $C$-critical graphs for $k$-coloring with $C$ being the empty graph.

In the proof of Theorem \[thm-grotzsch\], Grötzsch actually proved that any proper coloring of a $4$-cycle or a $5$-cycle extends to a proper $3$-coloring of a triangle-free planar graph. This implies that there are no triangle-free planar graphs that are $C$-critical for $3$-coloring when $C$ is a face of length $4$ or $5$. This sparked the interest of characterizing triangle-free planar graphs that are $C$-critical for $3$-coloring when $C$ is a face of longer length. Since we deal with $3$-coloring triangle-free planar graphs in this paper, from now on, we will write “$C$-critical” instead of “$C$-critical for $3$-coloring” for the sake of simplicity.

The investigation was first done on planar graphs with girth $5$. Walls [@1999Wa] and Thomassen [@2003Th] independently characterized $C$-critical planar graphs with girth $5$ when $C$ is a face of length at most $11$. The case when $C$ is a $12$-face was initiated in [@2003Th], but a complete characterization was given by Dvořák and Kawarabayashi in [@00DvKa]. Moreover, a recursive approach to identify all $C$-critical planar graphs with girth $5$ when $C$ is a face of any given length is given in [@00DvKa]. Dvořák and Lidický [@14DvLiSurf] implemented the algorithm from [@00DvKa] and used a computer to generate all $C$-critical graphs with girth $5$ when $C$ is a face of length at most $16$. The generated graphs were used to reveal some structure of $4$-critical graphs on surfaces without short contractible cycles. It would be computationally feasible to generate graphs with girth $5$ even when $C$ has length greater than 16.

The situation for planar graphs with girth $4$, which are triangle-free planar graphs, is more complicated since the list of $C$-critical graphs is not finite when $C$ has size at least 6. We already mentioned that there are no $C$-critical triangle-free planar graphs when $C$ is a face of length $4$ or $5$. An alternative proof of the case when $C$ is a $5$-face was given by Aksenov [@1974Ak]. Gimbel and Thomassen [@1997GiTh] not only showed that there exists a $C$-critical triangle-free planar graph when $C$ is a $6$-face, but also characterized all of them. A *$k^-$-cycle, $k^+$-cycle* is a cycle of length at most $k$, at least $k$, respectively. A cycle $C$ in a graph $G$ is *separating* if $G-C$ has more connected components than $G$.

\[thm-gimbel\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a $6^-$-cycle $C=c_1c_2\cdots$. The graph $G$ is $C$-critical if and only if $C$ is a $6$-cycle, all internal faces of $G$ have length exactly four and $G$ contains no separating $4$-cycles. Furthermore, if $\varphi$ is a $3$-coloring of $C$ that does not extend to a $3$-coloring of $G$, then $\varphi(c_1)=\varphi(c_4)$, $\varphi(c_2)=\varphi(c_5)$, and $\varphi(c_3)=\varphi(c_6)$.

Aksenov, Borodin, and Glebov [@2003AkBoGl] independently proved the case when $C$ is a $6$-face using the discharging method, and also characterized all $C$-critical triangle-free planar graphs when $C$ is a $7$-face in [@2004AkBoGl]. The case where $C$ is a $7$-face was used in [@00BoDvKoLiYa].

\[thm:7cycleprecise\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a $7$-cycle $C=c_1\cdots c_7$. The graph $G$ is $C$-critical and $\psi$ is a $3$-coloring of $C$ that does not extend to a $3$-coloring of $G$ if and only if $G$ contains no separating $5^-$-cycles and one of the following propositions is satisfied up to relabelling of vertices (see Figure \[fig-7cyc\] for an illustration).

-   The graph $G$ consists of $C$ and the edge $c_1c_5$, and $\psi(c_1)=\psi(c_5)$.

-   The graph $G$ contains a vertex $v$ adjacent to $c_1$ and $c_4$, the cycle $c_1c_2c_3c_4v$ bounds a $5$-face and every face drawn inside the $6$-cycle $vc_4c_5c_6c_7c_1$ has length four; furthermore, $\psi(c_4)=\psi(c_7)$ and $\psi(c_5)=\psi(c_1)$.

-   The graph $G$ contains a path $c_1uvc_3$ with $u,v\not\in V(C)$, the cycle $c_1c_2c_3vu$ bounds a $5$-face and every face drawn inside the $8$-cycle $uvc_3c_4c_5c_6c_7c_1$ has length four; furthermore, $\psi(c_3)=\psi(c_6)$, $\psi(c_2)=\psi(c_4)=\psi(c_7)$, and $\psi(c_1)=\psi(c_5)$.

Dvořák and Lidický [@00DvLi] used a correspondence of nowhere-zero flows and colorings to give simpler proofs of the case when $C$ is either a $6$-face or a $7$-face, and also characterized $C$-critical triangle-free planar graphs when $C$ is an $8$-face. For a plane graph $G$, let $S(G)$ denote the set of multisets of lengths of internal faces of $G$ with length at least $5$.

\[thm:8cycleprecise\] Let $G$ be a connected triangle-free plane graph with outer face bounded by an $8$-cycle $C$. The graph $G$ is $C$-critical if and only if $G$ contains no separating $5^-$-cycles, the interior of every non-facial $6$-cycle contains only $4$-faces, and one of the following propositions is satisfied (see Figure \[fig-8cycle\] for an illustration).

-   $S(G)=\emptyset$.

-   $S(G)=\{6\}$ and the $6$-face of $G$ intersects $C$ in a path of length at least one.

-   $S(G)=\{5,5\}$ and each of the $5$-faces of $G$ intersects $C$ in a path of length at least two.

-   $S(G)=\{5,5\}$ and the vertices of $C$ and the $5$-faces $f_1$ and $f_2$ of $G$ can be labelled in clockwise order along their boundaries so that $C=c_1c_2\cdots c_8$, $f_1=c_1v_1zv_2v_3$, and $f_2=zw_1c_5w_2w_3$ (where $w_1$ can be equal to $v_1$, $v_1$ can be equal to $c_2$, etc).

Theorem \[thm:8cycleprecise\] has the following corollary that was not explicitly stated in [@00DvLi].

\[corr:8cycleprecise\] Let $G$ be a triangle-free plane graph and let $v$ be a vertex of degree 4 in $G$. Then there exists a proper $3$-coloring of $G$ where all neighbors of $v$ are colored the same.

The corollary can be proven by splitting $v$ into four vertices of degree 2 that are in one $8$-face $F$ and precoloring $F$ by two colors, see Figure \[fig-split\].

In this paper, we push the project further and characterize all $C$-critical triangle-free planar graphs when $C$ is a $9$-face.

\[thm:9cycleprecise\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a $9$-cycle $C$. The graph $G$ is $C$-critical for $3$-coloring if and only if for every non-facial $8^-$-cycle of $K$ the subgraph of $G$ drawn in the closed disk bounded by $K$ is $K$-critical and one of the following propositions is satisfied (see Figure \[fig-all-critical-graphs\] for an illustration).

1.  $S(G)=\{5\}$ and the $5$-face of $G$ intersects $C$ in a path of length at least two.

2.  $S(G)=\{7\}$.

3.  $S(G)=\{5, 6\}$ and the $5$-face and $6$-face of $G$ intersects $C$ in a path of length at least two and one, respectively.

4.  $S(G)=\{5, 6\}$ and $G$ is depicted as $(d1)$ or $(d2)$ in Figure \[fig-all-critical-graphs\].

5.  $S(G)=\{5, 5, 5\}$ and $G$ is depicted as $(Bij)$ in Figure \[fig-all-critical-graphs\] for all $i,j$.

6.  $G$ contains a chord.

![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-5-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-7-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-65twocutsnocross "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-65twocutsnocross "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-65twocutscross1 "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-65twocutscross2 "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-chord-critical "fig:"){width="\tempL\textwidth"} ![All $C$-critical triangle-free plane graphs where $C$ is a 9-cycle bounding the outer face. Note that each figure actually represents infinitely many graphs, including ones that can be obtained by identifying some of the depicted vertices. The arrows correspond to source edges and sink edges that are defined in the Preliminaries. []{data-label="fig-all-critical-graphs"}](fig-criticals/fig-chord-critical "fig:"){width="\tempL\textwidth"}

The proof of Theorem \[thm:9cycleprecise\] involves enumerating all integer solutions to several small sets of linear constraints. It would be possible to solve them by hand but we have decided to use computer programs to enumerate the solutions. Both computer programs and enumerations of the solutions are available online on arXiv and at [<http://orion.math.iastate.edu/lidicky/pub/9cyc/>]{}.

Preliminaries
=============

Our proof of Theorem \[thm:9cycleprecise\] uses the same method as Dvořák and Lidický [@00DvLi]. The main idea is to use the correspondence between colorings of a plane graph $G$ and flows in the dual of $G$. In this paper, we give only a brief description of the correspondence and state Lemma \[lemma5\] from [@00DvLi], which is used throughout this paper. A more detailed and general description can be found in [@00DvLi].

Let $G^{\star}$ denote the dual of a 3-colorable plane graph $G$. Let $\varphi$ be a proper 3-coloring of the vertices of $G$ by colors $\{1,2,3\}$. For every edge $uv$ of $G$, we orient the corresponding edge $e$ in $G^{\star}$ in the following way. Let $e$ have endpoints $f,h$ in $G^\star$, where $f$,$v$,$h$ is in the clockwise order from vertex $u$ in the drawing of $G$. The edge $e$ will be oriented from $f$ to $h$ if $(\varphi(u),\varphi(v)) \in \{(1,2),(2,3),(3,1)\}$, and from $h$ to $f$ otherwise. See Figure \[fig-network\] for an example of the orientation.

![A $3$-coloring of a graph $G$ and the corresponding orientation of the edges in $G^\star$. []{data-label="fig-network"}](fig-network)

Since $\varphi$ is a proper coloring, every edge of $G^\star$ has an orientation. Tutte [@tutteflow] showed that this orientation of $G^\star$ defines a nowhere-zero $\mathbb{Z}_3$-flow, which means that the in-degree and the out-degree of every vertex in $G^\star$ differ by a multiple of three. Conversely, every nowhere-zero $\mathbb{Z}_3$-flow in $G^\star$ defines a proper 3-coloring of $G$ up to the rotation of colors.

Let $h$ be the vertex in $G^\star$ corresponding to the outer face of $G$. Edges oriented away from $h$ are called *source edges* and the edges oriented towards $h$ are called *sink edges*. The orientations of edges incident to $h$ depend only on the coloring of $C$, where $C$ is the cycle bounding the outer face of $G$. Denote by ${n^s}$ the number of source edges and by ${n^t}$ the number of sink edges. For a subgraph $Z$ of $G$ or a subset $Z$ of $E(G)$, we will use ${n^s_Z}$ and ${n^t_Z}$ to denote the number of source edges and sink edges in $G^\star$ whose dual is in $Z$, respectively. Recall that only edges in $C$ have source edges or sink edges in the dual.

For a vertex $f$ of $G^\star$, let $\delta(f)$ denote the difference of the out-degree and in-degree of $f$. Possible values of $\delta(f)$ depend on the size of the face corresponding to $f$, denoted by $|f|$. Clearly $|\delta(f)| \leq |f|$ and $\delta(f)$ has the same parity as $|f|$. Hence if $|f| = 4$, then $\delta(f) = 0$. Similarly, if $|f| \in \{5,7\}$, then $\delta(f) \in \{-3,3\}$ and if $|f| = 6$ then $\delta(f) \in \{-6,0,6\}$.

We call a function $q$ assigning an integer to every internal face $f$ of $G$ a *layout* if $q(f) \leq |f|$, $q(f)$ is divisible by 3, and $q(f)$ has the same parity as $|f|$. Notice that $q(f)$ satisfies the same conditions as $\delta(f)$. Therefore it is sufficient to specify the $q$-values for faces of size at least $5$, since $q(f)=0$ if $f$ is a $4$-face. A layout $q$ is [*$\psi$-balanced*]{} if ${n^s}+m={n^t}$, where $m$ is the sum of the $q$-values over all internal faces of $G$.

Our main tool is the following lemma from [@00DvLi].

\[lemma5\] Let $G$ be a connected triangle-free plane graph with outer face $C$ bounded by a cycle and let $\psi$ be a $3$-coloring of $C$ that does not extend to a $3$-coloring of $G$. If $q$ is a $\psi$-balanced layout in $G$, then there exists a subgraph $K_0\subseteq G$ such that either

-   $K_0$ is a path with both ends in $C$ and no internal vertex in $C$, and if $P$ is a path in $C$ joining the end vertices of $K_0$, $n^s$ is the number of source edges of $P$, $n^t$ is the number of the sink edges of $P$, and $m$ is the sum of the $q$-values over all faces of $G$ drawn in the open disk bounded by the cycle $P+K_0$, then $\vert n^s+m-n^t\vert > \vert K_0\vert$. In particular, $\vert P\vert + \vert m \vert >\vert K_0\vert$.\
    Or,

-   $K_0$ is a cycle with at most one vertex in $C$, and if $m$ is the sum of the $q$-values over all faces of $G$ drawn in the open disk bounded by $K_0$, then $\vert m \vert > \vert K_0 \vert$.

For a multiset of numbers $F$, let $\ell(F)$ denote the smallest integer $\ell$ such that there exists a triangle-free plane graph $G$ with outer face bounded by an $\ell$-cycle $C$, such that $G$ is $C$-critical and $S(G)=F$. It is known from [@trfree4] that $\ell(\{i\}) = i+2$ and $\ell(\{5,6\}) = 9$.

The next lemma from [@trfree1] describes interiors of cycles in critical graphs and will be used frequently in this paper.

\[lem:inside\] Let $G$ be a plane graph with outer face $C$. Let $K$ be a non-facial cycle in $G$, and let $H$ be the subgraph of $G$ drawn in the closed disk bounded by $K$. If $G$ is $C$-critical for $k$-coloring, then $H$ is $K$-critical for $k$-coloring.

Next we include several definitions used throughout the rest of the paper. For the definitions, we assume that $G$ is a graph with outer face bounded by a cycle $C$.

An $x, y$-path is a path with endpoints $x$ and $y$. Given $a, b, c, d\in V(C)$, let $C(a, b; c, d)$ denote the $a, b$-subpath of $C$ that does not contain vertices $c$ and $d$ as internal vertices. An $x, y$-path $K$ is an [*$(x, y; f)$-cut*]{} if $x, y$ are on $C$, no internal vertices of $K$ are on $C$, and the face $f$ is in the region bounded by $K$ and the clockwise $x, y$-subpath of $C$.

Let $K_1$ and $K_2$ be two distinct paths with endpoints on $C$ that are internally disjoint from $C$. For $i \in \{1,2\}$ let $P_i$ be a subpath of $C$ with the same endpoints as $K_i$ and label the endpoints of $K_i$ by $u_i$ and $v_i$, where $u_i$ is the first vertex of $P_i$ when traversing the cycle formed by $K_i$ and $P_i$ clockwise. The *order* of $u_1,v_1,u_2,v_2$ is an ordering of these vertices when traversing along $C$ in the clockwise order. If $x_1 \in \{u_1, v_1\}$ and $x_2 \in \{u_2,v_2\}$ are the same vertex, we define the order of $x_1$ and $x_2$ in the following way. Let $x_1=y_0,\ldots,y_m$ be the longest common subpath of $K_1$ and $K_2$. We consider the neighbors $N$ of $y_m$ in the counterclockwise order ending with $y_{m-1}$ or a vertex of $C$ if $m=0$. If a vertex of $K_1$ appears in $N$ before every vertex of $K_2$, then $x_1$ is before $x_2$ in the ordering, otherwise $x_2$ is before $x_1$.

Every order, or the pair $K_1,K_2$, is assigned a *kind* $(t_1t_2)$, where $t_i$ is the number of vertices from $\{u_{3-i},v_{3-i}\}$ that are in $P_i$. Hence there are only five possible kinds; namely $(00)$, $(02)$, $(20)$, $(22)$, and $(11)$. If $K_1$ is the same path as $K_2$, we can pick any order that will give kind $(00)$, $(02)$, or $(20)$.

Suppose that the order is $u_1,v_2,v_1,u_2$, which gives kind (11). By planarity, there exists a vertex $x$ such that $x$ is an internal vertex of both $K_1$ and $K_2$. Denote by $K_i^y$ a subpath of $K_i$ with endpoints $x$ and $y$ for $i \in \{1,2\}$ and $y \in \{u_i,v_i\}$; see Figure \[fig-common\]. Let $F_i$ be the set of $5^+$-faces that are in the interior of the cycle bounded by $P_i$ and $K_i$ and in the exterior of the cycle bounded by $P_{3-i}$ and $K_{3-i}$ for $i \in \{1,2\}$. The vertex $x$ is a *common point* of $K_1$ and $K_2$ if every face in $F_1$ is in an interior face of the subgraph of $G$ induced by $P_1,K_1^{v_1},K_2^{v_2}$ and every face in $F_2$ is in an interior face of the subgraph of $G$ induced by $P_2,K_1^{u_1},K_2^{u_2}$.

![Kind (11) and a common point $x$.[]{data-label="fig-common"}](fig-common "fig:")\

It is possible to show that there always exists a common point for the kind (11) if $K_1$ and $K_2$ are not too long.

\[lem:common\] Let $G$ be a triangle-free plane graph with outer face $C$ where every 4-cycle bounds a face and let $K_1$ and $K_2$ be paths in $G$ with endpoints $u_1,v_1,u_2,v_2$ in $C$. Let $K_1$ and $K_2$ be internally disjoint with $C$ and the order of $u_1,v_1,u_2$, and $v_2$ form (11). Then there exists a common point for $K_1$ and $K_2$ if either $\max \{|K_1|,|K_2|\} \leq 7$ and $\min \{|K_1|,|K_2|\} \leq 6$ or $|K_1|=|K_2|=7$ and the endpoints of $K_1$ and $K_2$ are the same.

We describe operations that eliminate candidates for common points. Eventually, we show that the situation is equivalent to the case where $K_1$ and $K_2$ share exactly one vertex and then it is easy to see it is the common point.

By planarity and the kind (11), there must be at least one vertex of $G$ that is internal vertex of both $K_1$ and $K_2$. When traversing $K_2$ from $v_2$ to $u_2$ we label the internal vertices of $K_2$ that are also vertices of $K_1$ by $c_1,c_2,c_3,\ldots$. These vertices are candidates to be common points. We order them by their distance from $u_1$ on the path $K_1$. Let $P_1$ be the clockwise path in $C$ from $u_1$ to $v_1$.

An edge of $K_2$ is *inside* if it is drawn inside of the open disk bounded by the cycle formed by $P_1$ and $K_1$ or if it is incident with $v_2$. An edge of $K_2$ is *outside* if it is drawn outside of the closed disk bounded by the cycle formed by $P_1$ and $K_1$ or if it is incident with $u_2$. Notice that if an edge of $K_2$ is neither inside nor outside, it is also an edge of $K_1$ and we call it *shared*.

Now we do several modifications to $G$, $K_1$ and $K_2$ such that the $5^+$-faces are not affected but some candidates for common vertices are eliminated.

For some $i$, if $c_i$ is adjacent to one shared edge and one not shared edge $h$, then we split $c_i$ into two vertices $c^1_i$ and $c^2_i$, creating a new $4$-face containing $c^1_i,c^2_i$ and the two other neighbors of $c_i$ in $K_1$. We can replace $c_i$ by $c^1_i$ and $c^2_i$ in $K_1$ and $K_2$ such that $c^2_i$ is inside or outside of the new cycle formed by $P_1K_1$ if $h$ is inside or outside, respectively. By performing this operation, we decrease the number of vertices in the intersection of $K_1$ and $K_2$ and we can assume $K_2$ has no shared edges.

If both edges of $K_2$ incident with $c_i$ for some $i$ are inside (or outside) we split $c_i$ into two vertices $c^1_i$ and $c^2_i$, creating a new $4$-face containing $c^1_i,c^2_i$ and the other neighbors of $c_i$ in $K_1$. We can replace $c_i$ by $c^1_i$ and $c^2_i$ in $K_1$ and $K_2$, respectively. We label the vertices such that $c^2_i$ is in the interior (or exterior, respectively) of the cycle bounded by $K_1$ and $P_1$. By performing this operation, we decrease the number of vertices in the intersection of $K_1$ and $K_2$ and assume that $c_i$ is incident to one inside edge and one outside edge for all $i$.

If $c_i$ and $c_{i+1}$ are consecutive in the order given by the distance from $u_1$ and the subpaths of $K_1$ and $K_2$ with endpoints $c_i$ and $c_{i+1}$ form a 4-cycle $K$ (hence a 4-face), then we can reroute the paths such that the length of one of the paths is decreased or we create two vertices that are both incident with only inside or only outside edges. If one of the two paths forming $K$ has length one, the other one has length three and replacing the longer one by an edge decreases the length of $K_1$ or $K_2$ (it also creates a new shared that we can eliminate). If both paths have length two, we swap them and now both $c_i$ and $c_{i+1}$ are incident to two edges that are both inside or both outside and they can be eliminated.

Notice that these operations do not increases the length of $K_1$ or $K_2$, do not create new vertices in the intersection of $K_1$ or $K_2$, do not affects locations or number of $5^+$-faces of $G$ with respect to regions formed by $K_1C$ and $K_2C$. Hence a common point in the result would be a common point in the original configuration.

With use of computer, we generate all possible patterns where none of the above operations can be applied. In all of the patters with $\max \{|K_1|,|K_2|\} \leq 7$ and $\min \{|K_1|,|K_2|\} \leq 6$, there is only one vertex shared by $K_1$ and $K_2$, which is the common point.

If $|K_1| = |K_2| =  7$, there are eight patterns with more than one internal vertex in the intersection of $K_1$ and $K_2$. Four of them do not actually form (11) and none of the three operations was used on them which is a contradiction. The other four contain 4-cycles that do not bound a face which is also a contradiction. The program including the eight patterns is available with all the other programs used in this paper.

Proof of Theorem \[thm:9cycleprecise\]
======================================

Let ${{\mathcal S}}_{k}$ be the set of possible multisets of lengths of $5^+$-faces in a connected plane graph of girth at least $4$ where the length of the precolored face is $k$. The result of Dvořák, Krá, and Thomas [@trfree4] implies among others that ${{\mathcal S}}_6 = \{\emptyset\}$, ${{\mathcal S}}_7 = \{\{5\}\}$, ${{\mathcal S}}_8 = \{\emptyset, \{6\},\{5,5\}\}$, and ${{\mathcal S}}_9 = \{\{7\},\{5\},\{6,5\},\{5,5,5\}\}$.

By the previous paragraph, we have four cases to consider when $C$ has length $9$. The case of one $7$-face was already resolved by Dvořák and Lidický [@00DvLi], and it is described in Theorem \[thm:9cycleprecise\](b). We restate the result from [@00DvLi] in the next subsection as Theorem \[thm:n-2\]. We resolve the remaining three cases in Lemmas \[l56a\], \[l56b\], \[l5a\], \[l5\], \[lall5a\], and \[lall5\] in the following three subsections. In order to simplify the cases, we first solve the case when $C$ has a chord.

If $G$ is $C$-critical and $C$ has a chord, then Lemma \[lem:inside\] implies that $G$ can be obtained by identifying two edges of the outer faces of two different smaller critical graphs or cycles. Lemma \[lem:chord\] shows that the converse is also true.

\[lem:chord\] Let $G_i$ be either a cycle $C_i$ or a triangle-free plane $C_i$-critical graph, where $|C_i| \geq 4$ for $i \in \{1,2\}$. Let $G$ be the graph obtained by identifying $e_1 \in E(C_1)$ and $e_2 \in E(C_2)$ and let $C$ be the longest cycle formed by $E(C_1) \cup E(C_2)$ after the identification. Then $G$ is $C$-critical, where $|C|=|C_1|+|C_2|-2$.

Let $e\in E(G)\setminus E(C)$.

Suppose first that $e \in E(G_i)-e_i$ for some $i \in \{1,2\}$. Since $G_i$ is either a cycle or a $C_i$-critical triangle-free plane graph and it contains $e$ that is not on the boundary, $G_i$ is $C_i$-critical. Hence there exists a $3$-coloring $\varphi$ of $C_i$ that extends to a proper $3$-coloring of $G_i-e$ but does not extend to a proper $3$-coloring of $G_i$. Since $G_{3-i}$ is triangle-free, there exists a proper 3-coloring $\varrho$ of $G_{3-i}$ by Grötzsch’s Theorem [@grotzsch1959]. By permuting colors we may assume that $\varphi$ and $\varrho$ agree on $e_i$ and $e_{3-i}$. This gives a proper 3-coloring of $C$ showing that $G$ is $C$-critical with respect to $e$.

The other case is when $e$ is the result of the identification of $e_1$ and $e_2$. Let $u,v$ be the vertices of $e$. Since $G-e$ is a triangle-free planar graph, there exists a proper 3-coloring $\varphi$ of $G-e$ such that $\varphi(u)=\varphi(v)$; this is a result of Aksenov et al. [@2002AkBoGl] that was simplified by Borodin et al. [@2014BoKoLiYa]. Let $\varrho$ be the restriction of $\varphi$ to $C$. Clearly, $\varrho$ can be extended to a proper 3-coloring of $G-e$ but not to a proper 3-coloring of $G$.

Therefore, we can enumerate $C$-critical triangle-free plane graphs $G$ where $C$ has a chord and has length $9$ by identifying edges from two smaller graphs with outer faces of lengths either 4 and 7 or 5 and 6. Since there are no $C$-critical graphs when $|C|\in\{4, 5\}$, we just use a $4$-cycle and a $5$-cycle. The resulting graphs are depicted in Figure \[fig-all-critical-graphs\] (a), (b), (c1), (c2), (f1), and (f2), where some of the vertices may be identified.

One 7-face
----------

The case of one $7$-face is solved by a more general result from [@00DvLi]. The result works for graphs with an outer face of length $k$ and one internal face of length $k-2$. Let $r(k)=0$ if $k\equiv 0\pmod{3}$, $r(k)=2$ if $k\equiv 1\pmod{3}$, and $r(k)=1$ if $k\equiv 2\pmod{3}$.

\[thm:n-2\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a $7^+$-cycle $C$ of length $k$. Suppose that $f$ is an internal face of $G$ of length $k-2$ and that all other internal faces of $G$ are $4$-faces. The graph $G$ is $C$-critical if and only if

-   $f\cap C$ is a path of length at least $r(k)$ (possibly empty if $r(k)=0$),

-   $G$ contains no separating $4$-cycles, and

-   for every $(k-1)^-$-cycle $K\neq f$ in $G$, the interior of $K$ does not contain $f$.

Furthermore, in a graph satisfying these conditions, a precoloring $\psi$ of $C$ extends to a $3$-coloring of $G$ if and only if $E(C)\setminus E(f)$ contains both a source edge and a sink edge with respect to $\psi$.

In our case, we apply Theorem \[thm:n-2\] with $k=9$. Since $r(9)=0$, the $7$-face does not have to share any edges with the outer face. The description is in Theorem \[thm:9cycleprecise\](b) and it is depicted in Figure \[fig-all-critical-graphs\](b).

One 5-face and one 6-face
-------------------------

\[l56a\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain one $5$-face $f_5$ and one $6$-face $f_6$, all other internal faces are $4$-faces, and all non-facial $8^-$-cycles $K$ in $G$ bound $K$-critical subgraphs. If $\psi$ is a 3-coloring of $C$ that does not extend to a 3-coloring of $G$, then $\psi$ extends to $G-e$ for every $e \in E(G)\setminus E(C)$.

Let $e\in E(G)\setminus E(C)$. We want to show that $\psi$ extends to a proper $3$-coloring of $G-e$. Suppose that $\psi$ does not extend to a $3$-coloring of $G-e$. Then there exists a $C$-critical subgraph $H$ of $G-e$, such that the $3$-colorings of $C$ that extend to $G-e$ are exactly the $3$-colorings of $C$ that extend to $H$. Since $H$ is $C$-critical, its multiset of $5^+$-faces is one of $\{5\}, \{7\}, \{5,6\}, \{5,5,5\}$. Since all non-facial $8^-$-cycles $K$ in $G$ bound $K$-critical subgraphs, Lemma \[lem:inside\] implies that every $5$-face of $H$ is a $5$-face of $G$, every $7$-face of $H$ contains exactly one $5$-face of $G$, and a $6$-face of $H$ contains no $5$-faces in the interior. Hence, $H$ contains one odd $5^+$-face and one even $6^+$-face or one odd $9^+$-face, and the only option for the multiset of $5^+$-faces of $H$ is $\{5,6\}$. That would mean that $G$ is the same graph as $H$, and this is a contradiction.

Notice that Lemma \[l56a\] implies that in order to prove $C$-criticality, it is enough to find one coloring that does not extend. In Figure \[fig-all-critical-graphs\] we depict colorings that do not extend.

Now we prove the other direction of the Theorem \[thm:9cycleprecise\]. We start by the following lemma that we prove separately for future reference and then continue with the main part Lemma \[l56b\].

\[clno9\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain one $5$-face $f_5$ and one $6$-face $f_6$ and all other internal faces are $4$-faces. If $G$ is $C$-critical $\psi$ is a $3$-coloring of $G$ with 9 source edges then $\psi$ extends to a 3-coloring of $G$.

Suppose for a contradiction that $\psi$ does not extend to a 3-coloring of $G$. Hence there is just one $\psi$-balanced layout $q$ with $q(f_5)=-3$ and $q(f_6)=-6$. Let $K_0$ be obtained from Lemma \[lemma5\].

If $K_0$ is a cycle, then Lemma \[lemma5\] implies $9 > |K_0|$. Let $m$ denote the sum of the $q$-values of the faces in the interior of $K_0$. By Lemma \[lemma5\], $\vert m \vert > k_0$. If both $f_5,f_6$ are in the interior of $K_0$, then $\vert m \vert = \vert q(f_5)+q(f_6) \vert = 9$, contradicting the fact that $\vert m \vert > k_0$ since $k_0\geq \ell(\{5,6\})=9$. If $f_5$ is in the interior of $K_0$, but $f_6$ is not, then $\vert m \vert = 3$, while $\ell(\{5\})=5$, a contradiction again. Similarly, we obtain a contradiction when $f_6$ is in the interior of $K_0$ but $f_5$ is not, since $\ell(\{6\})=6$ and $\vert m \vert \leq 6$.

Therefore $K_0$ is always a path joining two distinct vertices of $C$. These endpoints of $K_0$ partition the edges of $C$ into two paths $X$ and $Y$ intersecting at the endpoints of $K_0$. For $Z \in \{X,Y\}$, recall that ${n^s_Z}$ and ${n^t_Z}$ denotes the number of source edges and sink edges, respectively, among the edges of $Z$ in coloring $\psi$. The described structure is shown in Figure \[fig-65\]. Let $R_X$ and $R_Y$ be the subgraph of $G$ induced by vertices in the closed interior of the cycle formed by $K_0,X$ and $K_0,Y$ respectively.

Note that ${n^s_X}+{n^s_Y}=9$ and ${n^t_X}+{n^t_Y}=0$. If both $f_5$, $f_6$ belong to $R_X$, then Lemma \[lemma5\] implies $9 -n^s_X >   k_0$ and Lemma \[lem:inside\] implies $n^s_X+k_0 \geq 9$ since $\ell(\{5,6\})=9$, which is a contradiction. By symmetry, $R_Y$ does not contain both $f_5$ and $f_6$.

Without loss of generality, suppose $f_6$ belongs to $R_X$ and $f_5$ belongs to $R_Y$. Lemma \[lem:inside\] implies that ${n^s_X} + k_0 \geq 6$, which gives $k_0 \geq 6 - {n^s_X}$. Lemma \[lemma5\] implies $|{n^s_X} - 6| > k_0$. Combining the inequalities give $|{n^s_X} - 6| >  6 - {n^s_X}$, which implies ${n^s_X} > 6$. Hence ${n^s_Y} < 3$. Analogously, we obtain ${n^s_Y} + k_0 \geq 5$ and $|{n^s_Y} - 3| > k_0$, whose combination gives $3 - {n^s_Y}  > 5 - {n^s_Y}$, which is a contradiction.

\[l56b\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain one $5$-face $f_5$ and one $6$-face $f_6$ and all other internal faces are $4$-faces. If $G$ is $C$-critical, then $G$ is described by Theorem \[thm:9cycleprecise\](c),(d), and is depicted in Figure \[fig-all-critical-graphs\](c1),(c2),(d1), and (d2).

Since $G$ is $C$-critical, from Lemma \[lem:inside\] follows that every non-facial $8^-$-cycle $K$ in $G$ bounds a $K$-critical subgraph. Since $G$ is $C$-critical, there exists a 3-coloring $\psi$ of $C$ that does not extend to a proper 3-coloring of $G$.

By symmetry, we assume that $C$ has more source edges than sink edges. Hence $C$ has either 9 or 6 source edges. Lemma \[clno9\] eliminates the case of 9 source edges hence $C$ has 6 source edges. Let $q$ be a $\psi$-balanced layout of $G$. Let $K_{0} \subset G$ be obtained by Lemma \[lemma5\] and let $k_0 = \vert K_0\vert$.

First suppose that $K_0$ is a cycle. Let $m$ denote the sum of the $q$-values of the faces in the interior of $K_0$. By Lemma \[lemma5\], $\vert m \vert > k_0$. If both $f_5,f_6$ are in the interior of $K_0$, then $\vert m \vert = \vert q(f_5)+q(f_6) \vert = 6$, contradicting the fact that $\vert m \vert > k_0$ since $k_0\geq \ell(\{5,6\})=9$. If $f_5$ is in the interior of $K_0$, but $f_6$ is not, then $\vert m \vert = 3$, while $\ell(\{5\})=5$, a contradiction again. Similarly, we obtain a contradiction when $f_6$ is in the interior of $K_0$ but $f_5$ is not, since $\ell(\{6\})=6$ and $\vert m \vert \leq 6$.

Therefore $K_0$ is always a path joining two distinct vertices of $C$. These endpoints of $K_0$ partition the edges of $C$ into two paths $X$ and $Y$ intersecting at the endpoints of $K_0$. For $Z \in \{X,Y\}$, recall that ${n^s_Z}$ and ${n^t_Z}$ denotes the number of source edges and sink edges, respectively, among the edges of $Z$ in coloring $\psi$. The described structure is shown in Figure \[fig-65\]. Let $R_X$ and $R_Y$ be the subgraph of $G$ induced by vertices in the closed interior of the cycle formed by $K_0,X$ and $K_0,Y$ respectively.

![The structure of a cut in $G$. []{data-label="fig-65"}](fig-65)

\[cl56\] If $q$ is a $\psi$-balanced layout either with $q(f_5)=-3$ and $q(f_6)=0$ or with $q(f_5)=3$ and $q(f_6)=-6$, then both $R_X$ and $R_Y$ contain exactly one of $f_5$ and $f_6$.

By Lemma \[clno9\], $C$ contains 6 source edges, hence ${n^s_X}+{n^s_Y}=6$ and ${n^t_X}+{n^t_Y}=3$. By symmetry, suppose for a contradiction that both $f_5$, $f_6$ belong to $R_X$. Notice that $q(f_5)+q(f_6)=-3$ in both layouts. By Lemma \[lem:inside\], ${n^s_X}+{n^t_X}+k_0\geq \ell(\{5,6\})=9$, and by Lemma \[lemma5\], $|{n^s_X} -3 - {n^t_X}| > k_0$.

If ${n^s_X} -3 - {n^t_X} > k_0$, then we obtain ${n^s_X} -3 - {n^t_X} > k_0 \geq 9 - {n^s_X}-{n^t_X}$. This gives ${n^s_X} > 6$, which is a contradiction.

If $-{n^s_X} +3 +{n^t_X} > k_0$, then we obtain $-{n^s_X} +3 + {n^t_X} > k_0 \geq 9 - {n^s_X}-{n^t_X}$. This gives ${n^t_X} > 3$, which is a contradiction.

Since $C$ has 6 source edges, we have two different $\psi$-balanced layouts. Let $q_1$ and $q_2$ be the layout where $q_1(f_5)=-3$, $q_1(f_6)=0$, and $q_2(f_5)=3$, $q_2(f_6)=-6$, respectively. Let $K$ and $L$ be the subgraph of $G$ obtained by Lemma \[lemma5\] applied to $q_1$ and $q_2$, respectively, and let $k=|K|$ and $l=|L|$. Note that we already showed that each of $K$ and $L$ is a path joining pairs of distinct vertices of $C$; let $K$ and $L$ be a $(v_1, v_2; f_5)$-cut and $(w_1, w_2; f_6)$-cut, respectively. The paths $K$ and $L$ form a structure of kind (00), (11), (22), (20), or (02), see Figure \[fig-65nocross\], Figure \[fig-65cross\], and Figure \[fig-650220\] for illustration. We discuss these cases in separate claims.

![The cases where $K$ and $L$ are of kinds (00) and (22).[]{data-label="fig-65nocross"}](fig-65nocross "fig:")\

If $K$ and $L$ are of kind (00), then $G$ is depicted in Figure \[fig-all-critical-graphs\](c1).

Note that $K$, $L$ are not necessarily disjoint. By symmetry, let $X$ be $C(w_1, w_2; v_1, v_2)$ such that the disk bounded by $L$ and $X$ contains $f_6$. Similarly, let $Z$ be $C(v_1, v_2; w_1, w_2)$ such that the disk bounded by $K$ and $Z$ contains $f_5$. Denote by $Y$ the edges of $C$ that are neither in $X$ nor in $Z$. See Figure \[fig-65nocross\] (00).

By the assumption that $C$ has no chord, $k \geq 2$ and $l \geq 2$. By Claim \[clno9\], we know ${n^s_X}+{n^s_Y}+{n^s_Z}=6$ and ${n^t_X}+{n^t_Y}+{n^t_Z}=3$.

Lemma \[lem:inside\] implies $l+{n^s_X+n^t_X}\geq \ell(\{6\})=6$. Moreover, by parity, $l+{n^s_X+n^t_X}$ must be even. Similarly, Lemma \[lem:inside\] implies that $k+{n^s_Z+n^t_Z} \geq \ell(\{5\}) = 5$ and it is odd. Lemma \[lemma5\] applied to $q_1$ and $q_2$ implies $|{n^s_X} +{n^s_Y}-{n^t_X}-{n^t_Y}| > k$ and $|3+{n^s_Z}+{n^s_Y}   -{n^t_Z}-{n^t_Y}| > l$, respectively.

Here is the summary of the constraints: $$\begin{aligned}
|{n^s_X} +{n^s_Y}-{n^t_X}-{n^t_Y}| &> k \\ 
|3+{n^s_Z} + {n^s_Y}  -{n^t_Z}-{n^t_Y}| &> l  \\
 l+{n^s_X+n^t_X}&\geq  6   \text{ and even} \\
  k+{n^s_Z+n^t_Z}& \geq  5  \text{ and odd} \\
  {n^s_X}+{n^s_Y}+{n^s_Z}&=6  \\
  {n^t_X}+{n^t_Y}+{n^t_Z}&=3   \\
 \min\{k,l\} &\geq 2\end{aligned}$$

All integer solutions to these constraints are in the following table:

   ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   ${n^s_Z}$   ${n^t_Z}$   $k$   $l$
  ----------- ----------- ----------- ----------- ----------- ----------- ----- -----
       0           1           5           0           1           2        2     5
       0           1           6           0           0           2        3     5
       1           1           4           0           1           2        2     4
       1           1           5           0           0           2        3     4
       2           1           3           0           1           2        2     3
       2           1           4           0           0           2        3     3
       3           1           2           0           1           2        2     2
       3           1           3           0           0           2        3     2

From these eight solutions we obtain the graph depicted in Figure \[fig-all-critical-graphs\](c1), up to identification of vertices.

If $K$ and $L$ are of kind (22), then $G$ is depicted in Figure \[fig-all-critical-graphs\](c2).

By symmetry, let $X$ be $C(v_1, v_2; w_1, w_2)$ such that the disk bounded by $K$ and $X$ contains $f_6$. Similarly, let $Z$ be $C(w_1, w_2; v_1, v_2)$ such that the disk bounded by $L$ and $Z$ contains $f_5$. Denote by $Y$ the edges of $C$ that are in neither $X$ nor $Z$. See Figure \[fig-65nocross\] (22).

By the assumption that $C$ has no chord, $k \geq 2$ and $l \geq 2$. By Claim \[clno9\], we know ${n^s_X}+{n^s_Y}+{n^s_Z}=6$ and ${n^t_X}+{n^t_Y}+{n^t_Z}=3$.

Lemma \[lem:inside\] implies $k+{n^s_X+n^t_X}\geq \ell(\{6\})=6$. Moreover, by parity, $k+{n^s_X+n^t_X}$ must be even. Similarly, Lemma \[lem:inside\] implies $l+{n^s_Z+n^t_Z} \geq \ell(\{5\}) = 5$ and it is odd. Lemma \[lemma5\] applied to $q_1$ and $q_2$ implies $|{n^s_X} -{n^t_X}| > k$ and $|{n^s_Z} + 3  -{n^t_Z}| > l$, respectively.

Here are the constraints: $$\begin{aligned}
|{n^s_X} -{n^t_X}| &> k \\ 
|{n^s_Z} + 3  -{n^t_Z}| &> l  \\
 k+{n^s_X+n^t_X} &\geq6   \text{ and even} \\
  l+{n^s_Z+n^t_Z}  &\geq5  \text{ and odd} \\
  {n^s_X}+{n^s_Y}+{n^s_Z}&=6  \\
  {n^t_X}+{n^t_Y}+{n^t_Z}&=3   \\
 \min\{k,l\} &\geq 2\end{aligned}$$ All integer solutions to these constraints are in the following table:

   ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   ${n^s_Z}$   ${n^t_Z}$   $k$   $l$
  ----------- ----------- ----------- ----------- ----------- ----------- ----- -----
       4           0           0           2           2           1        2     2
       4           0           0           3           2           0        2     3

From these two solutions we obtain the graph depicted in Figure \[fig-all-critical-graphs\](c2).

If $K$ and $L$ are of kind (11), then $G$ is depicted in Figure \[fig-all-critical-graphs\](d1) or (d2).

Assume that $K$ and $L$ are of kind (11), so that the clockwise order of their endpoints on $C$ is $v_1,w_2,v_2,w_1$. Let $v_1,w_2,v_2,w_1$ partition $C$ into four paths $X,Y,Z,W$ in the clockwise order such that $X$ is an $w_1, v_1$-path. Moreover, the disk bounded by $X,Y,L$ contains $f_6$ and the disk bounded by $K,Y,Z$ contains $f_5$. See Figure \[fig-65cross\] for an illustration.

First we show that $|K| \leq 6$ and $|L| \leq 7$. We obtain the following set of constraints by applying Lemma \[lemma5\] and Lemma \[lem:inside\]. $$\begin{aligned}
| {n^s_X} + {n^s_W} - {n^t_X} - {n^t_W} | > |K|  \\ 
| {n^s_Z} + {n^s_W} +3 - {n^t_Z} - {n^t_W} | > |L|   \\ 
{n^s_X+n^t_X} + {n^s_Y+n^t_Y} + |L| &\geq \ell(\{6\})=6 \text{ and even}  \end{aligned}$$ In all solutions, t $|K| \leq 6$ and $|L| \leq 7$. Hence Lemma \[lem:common\] applies and $K$ and $L$ have a common point $v$.

Partition $L$ into paths $L_1$ and $L_2$ such that $L_1$ and $L_2$ is a $v, w_2$-path and a $v, w_1$-path, respectively. Do a similar partition of $K$ into $K_1$ and $K_2$. Since $v$ is a common point, $f_6$ and $f_5$ is contained in interior faces of subgraphs of $G$ induced by $X,K_1,L_2$ and $Z,L_1,K_2$, respectively. Let $k_i = |K_i|$ and $l_i = |L_i|$ for $i \in \{1,2\}$.

![Case where $K$ and $L$ are of kind (11).[]{data-label="fig-65cross"}](fig-65cross "fig:")\

Note that $\min\{k_1,k_2,l_1,l_2\} \geq 1$ since $v$ is an internal vertex.

We obtain the following set of constraints by applying Lemma \[lemma5\] and Lemma \[lem:inside\]. $$\begin{aligned}
| {n^s_X} + {n^s_W} - {n^t_X} - {n^t_W} | > k_1+k_2   \label{eq-65-k1}\\ 
| {n^s_Z} + {n^s_W} +3 - {n^t_Z} - {n^t_W} | > l_1 + l_2  \label{eq-65-k2}\\
k_1+l_2+{n^s_X+n^t_X} &\geq \ell(\{6\})=6 \text{ and even} \label{eq-65-sz1}\\
l_1+k_2+{n^s_Z+n^t_Z} &\geq \ell(\{5\})=5 \text{ and odd}\\
l_2+k_2+{n^s_X+n^t_X}+{n^s_Y+n^t_Y}+{n^s_Z+n^t_Z} &\geq \ell(\{5,6\})=9 \text{ and odd}\label{eq-65-sz3}\\
{n^s_X}+{n^s_Y}+{n^s_Z} + {n^s_W}&=6\\
{n^t_X}+{n^t_Y}+{n^t_Z} + {n^t_W}&=3\end{aligned}$$ Inequalities (\[eq-65-k1\]) and (\[eq-65-k2\]) come from Lemma \[lemma5\]. Inequalities (\[eq-65-sz1\])–(\[eq-65-sz3\]) come from the fact that interiors of cycles are also critical graphs.

This system of equations has 68 solutions. In all of them, ${n^s_X} + {n^t_X} + k_1 + l_2  =6$ and ${n^s_Z} + {n^t_Z} + k_2+l_1 = 5$. Hence the region bounded by $X,K_1,L_2$ is a 6-face and the region bounded by $Z,L_1,K_2$ is a 5-face. In order to generate only general solutions, where faces share as little with $C$ as possible, we add constraints ${n^s_X} + {n^t_X}  = 0$ and ${n^s_Z} + {n^t_Z} = 0$. Then the system has only two solutions.

   ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   ${n^s_Z}$   ${n^t_Z}$   ${n^s_W}$   ${n^t_W}$   $k_1$   $k_2$   $l_1$   $l_2$
  ----------- ----------- ----------- ----------- ----------- ----------- ----------- ----------- ------- ------- ------- -------
       0           0           0           3           0           0           6           0         1       3       2       5
       0           0           0           3           0           0           6           0         2       2       3       4

From these solutions we obtain graphs depicted in Figure \[fig-all-critical-graphs\](d1) and (d2). We also checked that the 68 solutions can indeed be obtained from these two by identifying some vertices. The solutions were obtained by a computer program that is available on arXiv and at [<http://orion.math.iastate.edu/lidicky/pub/9cyc/>]{}.

![Case where $K$ and $L$ are of kinds (02) and (20).[]{data-label="fig-650220"}](fig-65-20and02 "fig:")\

The case where $K$ and $L$ are of kind (02) does not occur.

Assume that $K$ and $L$ are of kind (02), so that the clockwise order of their endpoints on $C$ is $v_1,v_2,w_2,w_1$. Let $Y$ and $X$ be the clockwise $v_1, v_2$-subpath and $w_2,w_1$-subpath, respectively, of $C$. Let $Z$ be the edges of $C$ that are in neither $X$ nor $Y$. See Figure \[fig-650220\] (02) for an illustration.

Observe that (by the structure of $K$ and $L$) the subgraph of $G$ formed by $Z$, $K$, and $L$ contains in the internal faces both $f_5$ and $f_6$ and at least one additional 4-face. Hence $k+l+|Z| \geq 15$. We obtain the following set of constraints by applying Lemma \[lemma5\] and Lemma \[lem:inside\]. $$\begin{aligned}
| {n^s_X} - {n^t_X} | > k  \\ 
| {n^s_Y} -6  -{n^t_Y}  | > l \\
k +l +{n^s_Z+n^t_Z} &\geq 15 \\
{n^s_X}+{n^s_Y}+{n^s_Z}&=6\\
{n^t_X}+{n^t_Y}+{n^t_Z}&=3\end{aligned}$$ This set of equations has no solution.

The case where $K$ and $L$ are of kind (20) does not occur.

Assume that $K$ and $L$ are of kind (20), so that the clockwise order of their endpoints on $C$ is $w_1,w_2,v_2,v_1$. Let $Y$ and $X$ be the clockwise $w_1, w_2$-subpath and $v_2,v_1$-subpath, respectively, of $C$. Let $Z$ be the edges of $C$ that are in neither $X$ nor $Y$. See Figure \[fig-650220\] (20) for an illustration.

Observe that (by the structure of $K$ and $L$) the subgraph of $G$ formed by $Z$, $K$, and $L$ contains in the internal faces both $f_5$ and $f_6$ and at least one additional 4-face. Hence $k+l+|Z| \geq 15$. We obtain the following set of constraints by applying Lemma \[lemma5\] and Lemma \[lem:inside\]. $$\begin{aligned}
| {n^s_Y} - 3 - {n^t_Y} | > k  \\ 
| {n^s_X} +3 -{n^t_X}  | > l \\
k +l +{n^s_Z+n^t_Z} &\geq 15 \\
{n^s_X}+{n^s_Y}+{n^s_Z}&=6\\
{n^t_X}+{n^t_Y}+{n^t_Z}&=3\end{aligned}$$ This set of equations has no solution.

This finishes the proof of Lemma \[l56b\].

One 5-face
----------

\[l5a\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain one 5-face $f_5$ that shares a path of length at least two with $C$, all other internal faces of $G$ are $4$-faces, and all non-facial $8^-$-cycles $K$ in $G$ bound a $K$-critical graph. Then $G$ is $C$-critical.

Let $e \in E(G) \setminus E(C)$. We want to find a $3$-coloring $\psi$ of $C$ that does not extend to a proper $3$-coloring of $G$ but does extends to a proper $3$-coloring of $G-e$. Note that if $e \not\in E(f_5)$, then $G-e$ has a $5$-face and a $6$-face, and if $e \in E(f_5)$, then $G-e$ has a $7$-face.

If every coloring of $C$ extends to $G-e$, then we can let $\psi$ be a coloring with 9 source edges since $\psi$ does not extend to $G$ as there is no $\psi$-balanced layout for $G$. If not all colorings of $C$ extend to $G-e$, then there is a $C$-critical subgraph $H$ of $G-e$ where the same set of precolorings of $C$ extends to $G-e$ as well as to $H$. The property that every $8^-$-cycle $K$ either bounds a face or a $K$-critical subgraph gives that $H$ contains either a $5$-face and a $6$-face or a $7$-face.

-   $H$ contains a $5$-face and a $6$-face.\
    Let $\psi$ be a $3$-coloring of $C$ containing 9 source edges; in other words, the colors of the vertices around $C$ are $1,2,3,1,2,3,1,2,3$. Then $\psi$ extends to a $3$-coloring of $H$ by Claim \[clno9\]. However, $\psi$ does not extend to a $3$-coloring of $G$ since it is not possible to create a $\psi$-balanced layout for $G$.

-   $H$ contains a $7$-face $f_7$.\
    By Theorem \[thm:n-2\], if $\psi$ is a $3$-coloring of $C$ containing 9 source edges, then $\psi$ does not extend to a proper $3$-coloring of $H$, and if $\psi$ is a $3$-coloring of $C$ containing 6 source edges and 3 sink edges, then $\psi$ extends to a proper $3$-coloring of $H$ if $E(C)\setminus E(f_7)$ contains both a sink edge and a source edge with respect to $\psi$. Now it remains to observe that there exists a coloring $\psi$ of $C$ such that $E(f_5) \cap E(C)$ contains two sink edges and the third sink edge is in $E(C)\setminus E(f_7)$. The other edges of $C$ are source edges. Such a coloring does not extend to $G$ but it does extend to $G-e$.

\[l5\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle. Moreover, let $G$ contain one 5-face $f_5$ and all other internal faces of $G$ are $4$-faces. If $G$ is $C$-critical, then $G$ is described by Theorem \[thm:9cycleprecise\](a) and is depicted in Figure \[fig-all-critical-graphs\](a).

Let $G$ be $C$-critical. By Lemma \[lem:inside\], every $8^-$-cycle $K$ bounds a face or a $K$-critical subgraph in $G$. Let $e \in E(G) \setminus E(C)$ such that $G-e$ contains a 7-face $f_7$. Let $\psi$ be a $3$-coloring of $C$ that extends to $G-e$ but does not extend to $G$.

By Theorem \[thm:n-2\], if $\psi$ is a $3$-coloring of $C$ containing 9 source edges, then $\psi$ does not extend to a proper $3$-coloring of $G-e$. Hence $\psi$ is a $3$-coloring of $C$ containing 6 source edges and 3 sink edges. Let $q$ be a $\psi$-balanced layout of $G$. The only possibility is $q(f_5)=-3$.

Since $\psi$ does not extend to $G$ and $q$ is $\psi$-balanced layout of $G$, Lemma \[lemma5\] can be applied. Notice that Lemma \[lemma5\] cannot give that $K_0$ is a cycle since $|m| \leq 3$ and there is no cycle of length at most 2. Hence $K_0$ is a path, and let $k_0=|K_0|$.

Let the endpoints of $K_0$ partition $C$ into two paths $X$ and $Y$ that are internally disjoint and have the same endpoints as $K_0$. Since $\psi$ has six source edges, we obtain ${n^s_X}+{n^s_Y}=6$ and ${n^t_X}+{n^t_Y}=3$. By symmetry assume that $f_5$ is in the region bounded by $Y$ and $K_0$. Lemma \[lemma5\] implies $|{n^s_Y} -3 - {n^t_Y}| > k_0$. Since $Y$ contains $f_{5}$, $k_{0}+{n^s_Y+n^t_Y}\geq\ell(\{5\})=5$ and odd. Because $C$ has no chords, $k_0 \geq 2$. We solve this system of constraints by a computer program. The solutions are in Table \[tab:soll5\]. Sketches of the solutions are in Figure \[fig-5-alone\].

   \#    ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   $k_{0}$
  ----- ----------- ----------- ----------- ----------- ---------
   (a)       6           1           0           2          3
   (b)       6           0           0           3          2
   (c)       5           1           1           2          2
   (d)       6           0           0           3          4
   (e)       5           0           1           3          3
   (f)       4           0           2           3          2

  : Solutions in Lemma \[l5\][]{data-label="tab:soll5"}

![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"} ![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"} ![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"}

![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"} ![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"} ![Solutions in Lemma \[l5\].[]{data-label="fig-5-alone"}](fig-5-alone "fig:"){width="\tempL\textwidth"}

From the first three solutions we obtain that $Y$ is part of a $5$-face $f_{5}$ sharing at least two sink edges with $C$. This is the desired conclusion.

The other three solutions give that $Y,K_0$ form a $7$-cycle sharing at least three sink edges with $C$. We need to rule out this case. Since the cycle formed by $Y,K_0$ does not bound a face in $G$, it must contain an edge $e'$ in its interior. Since $G$ is $C$-critical, there exists a proper $3$-coloring $\varrho$ of $C$ that does not extend to $G$ but does extend to $G-e'$. Notice that the solutions (d), (e), and (f) also describe all patterns of a $3$-coloring of $C$ that do not extend to $G$, in particular for $\varrho$. In all three cases, $X$ contains only source edges and $|X| > |K_0|$. Since the cycle formed by $X,K_0$ contains only 4-faces in its interior, it is not possible to create a $\rho$-balanced layout in its interior. Hence $\varrho$ does not extend to subgraph of $G-e'$ bounded $X,K_0$ . Therefore $\varrho$ does not extend $G$. This contradicts the $C$-criticality of $G$. Hence the cases (d), (e), and (f) do not correspond to $C$-critical graphs.

This finishes the proof of Lemma \[l5\].

Three 5-faces
-------------

\[lall5a\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain three 5-faces, all other internal faces are $4$-faces, and all non-facial $8^-$-cycles $K$ in $G$ bound a $K$-critical graph. If there is a proper 3-coloring $\psi$ of $C$ that does not extend to a 3-coloring of $G$, then $G$ is $C$-critical.

Let $e\in E(G)\setminus E(C)$. We want to show that $\psi$ extends to a proper $3$-coloring of $G-e$. Suppose that $\psi$ does not extend to a $3$-coloring of $G-e$. Then there exists a $C$-critical subgraph $H$ of $G-e$, such that the $3$-colorings of $C$ that extend to $G-e$ are exactly the $3$-colorings of $C$ that extend to $H$. Since $H$ is $C$-critical, its multiset of $5^+$-faces is one of $\{5\}, \{7\}, \{5,6\}, \{5,5,5\}$. Since all non-facial $8^-$-cycles $K$ in $G$ bound $K$-critical subgraphs, Lemma \[lem:inside\] implies that every $5$-face of $H$ is a $5$-face of $G$, every $7$-face of $H$ contains exactly one $5$-face of $G$, and a $6$-face of $H$ contains no $5$-faces in the interior. Hence, $H$ contains three odd faces, and the only option for the multiset of $5^+$-faces of $H$ is $\{5,5,5\}$. That would mean that $G$ is the same graph as $H$, and this is a contradiction.

\[lall5\] Let $G$ be a connected triangle-free plane graph with outer face bounded by a chordless $9$-cycle $C$. Moreover, let $G$ contain three 5-faces and let all other internal faces of $G$ be 4-faces. If $G$ is $C$-critical, then $G$ is described by Theorem \[thm:9cycleprecise\](e) and is depicted in Figure \[fig-all-critical-graphs\](Bij) for some $i$ and $j$.

Let $G$ be a $C$-critical graph containing three $5$-faces. Hence there is a proper 3-coloring $\psi$ of $C$ that does not extend to a proper 3-coloring of $G$. Without loss of generality, assume $C$ has more source edges than sink edges in the coloring $\psi$. Either $C$ contains 9 source edges and no sink edges or $C$ contains $6$ source edges and $3$ sink edges.

Given $i\in\{0, 1, 2, 3\}$, let $\ell_5(i)=\ell(S)$ where $S$ is a multiset of cardinality $i$ containing only elements 5. Observe that $\ell_5(0)=4, \ell_5(1)=5, \ell_5(2)=8$, and $\ell_5(3)=9$.

\[cl555-no9\] There are 6 source edges in $C$.

Suppose for a contradiction that there are 9 source edges. Hence there is just one $\psi$-balanced layout $q$ assigning $-3$ to every $5$-face. Let $K_0$ and $m$ be obtained from Lemma \[lemma5\], which says $|m|>|K_0|$. Let $k=|K_0|$.

Suppose $K_0$ is a cycle. When $i$ of the $5$-faces are in the interior of $K_0$, then $3i=|m|>k\geq \ell_5(i)$, which is a contradiction for all $i\in\{0, 1, 2, 3\}$.

Therefore, $K_0$ is a path. Let $C$ be partitioned into paths $X$ and $Y$ that both have the same endpoints as $K_0$. Note that ${n^s_X}+{n^s_Y}=9$ and ${n^t_X}+{n^t_Y}=0$, which implies ${n^t_X}={n^t_Y}=0$. Since $C$ is chordless, $k \geq 2$. By symmetry assume that $X,K_0$ form a cycle that has $i\in\{0, 1\}$ of the three 5-faces in its interior. Lemma \[lemma5\] implies that $|{n^s_X} -3i| > k$ and ${n^s_Y} + k \geq  \ell_5(3-i)$. This set of equations gives a contradiction for all $i\in\{0, 1\}$.

Hence $C$ contains 6 source edges and 3 sink edges. Let $q$ be a $\psi$-balanced layout, and we know that the three $5$-faces of $G$ are assigned $q$-values $3, -3, -3$. Notice there are three different $\psi$-balanced layouts. Let $K_0$ be obtained from Lemma \[lemma5\].

\[cl555-AorB-1\] $K_0$ is a path with both endpoints in $C$.

Suppose for a contradiction that $K_0$ is a cycle. Denote by $m$ the sum of the $q$-values of the faces in the interior of $K_0$. Lemma \[lemma5\] implies that $|m|>|K_0|$. When $i$ of the $5$-faces are in the interior of $K_0$, then $3i\geq |m|>|K_0|\geq \ell_5(i)$, which is a contradiction for all $i\in\{0, 1, 2, 3\}$.

Claim \[cl555-AorB-1\] says that $K_0$ is a path. Let $C$ be partitioned into paths $X$ and $Y$ that both have the same endpoints as $K_0$. Denote by $R_X$ and $R_Y$ the induced subgraph of $G$ whose outer face is bounded by $K_0, X$ and $K_0, Y$, respectively.

\[cl555-AorB-2\] Each $R_X$ and $R_Y$ contains at least one 5-face.

Note that ${n^s_X}+{n^s_Y}=6$ and ${n^t_X}+{n^t_Y}=3$. Without loss of generality, $R_X$ contains three $5$-faces. Hence ${n^s_X}+{n^t_X} + k\geq 9$, and Lemma \[lemma5\] gives $|{n^s_X} -3 -{n^t_X}| > k$. This set of constraints has no solution which is a contradiction.

![When $C$ has 6 source edges and has three $5$-faces. The possible configurations are of type A (left) and type B (right).[]{data-label="fig-555-flow3-cuts"}](fig-555_cuts)

By Claim \[cl555-AorB-2\] and by symmetry, we may assume that $R_X$ contains exactly one 5-face $f$; we call $f$ *lonely* with respect to $K_0$. If $q(f) = -3$, then we call this configuration *type A* and if $q(f) = 3$, then we call it *type B*; see Figure \[fig-555-flow3-cuts\].

Denote the three different $\psi$-balanced layouts by $q_1$, $q_2$, and $q_3$. For $i \in \{1,2,3\}$, let $K_i$ be $K_0$ obtained from Lemma \[lemma5\] when applied to $q_i$. By Claim \[cl555-AorB-2\], we can define $f_i$ to be the lonely face for $K_i$. Notice that $f_1$, $f_2$, and $f_3$ are not necessarily pairwise distinct faces. Label the endpoints of $K_i$ by $u_i$ and $v_i$ such that $K_i$ is a $(u_i,v_i,f_i)$-cut. Define $k,l,m$ to be the length of $K_1, K_2, K_3$, respectively.

First we show that configurations of type A do not exist.

\[cl-AA\] Let $q_1$ be a configuration of type A and let $q_2$ be a layout where $q_2(f_1)=3$. Then $q_2$ is not a configuration of type A.

Suppose for a contradiction that both $q_1$ and $q_2$ give a configuration of type A, so $q_2(f_1)=3$ and $q_2(f_2)=-3$. Since $q_2(f_1)=3$, and $q_2(f_2)=-3$, we have that $f_1$ and $f_2$ are distinct. Let $f_0$ be the third 5-face.

By symmetry, paths $K_1$ and $K_2$ give one of four possible kinds (11), (00), (22), and (20). The kind (02) is symmetric with (20). For an illustration, see Figure \[fig-555\_cuts\_AA\].

Suppose $K_1$ and $K_2$ are of kind (11). The situation is depicted in Figure \[fig-555\_cuts\_AA\] (AA11). Let $X,A,Y,Z$ be $C(u_2, u_1; v_2, v_1),C(u_1,v_2;v_1,u_2),C(v_2, v_1; u_2, u_1),C(v_1, u_2; u_1, v_2)$ respectively. We obtain the following constrains that must be satisfied by using Lemma \[lemma5\] and Lemma \[lem:inside\]. $$\begin{aligned}
|{n^s_X} + {n^s_Z} - {n^t_X} -{n^t_Z}| & > k_1+k_2 \label{555-aa-left-flow1}\\
|{n^s_Y} + {n^s_Z} - {n^t_X} -{n^t_Y}| & > l_1+l_2  \label{555-aa-left-flow2}\\
{n^s_X+n^t_X}+{n^s_A+n^t_A} + l &\geq 7 \text{ and odd}  \label{555-aa-7l}\\
{n^s_Y+n^t_Y}+{n^s_A+n^t_A} + k & \geq7 \text{ and odd}  \label{555-aa-7k}\\
{n^s_X+n^t_X}+{n^s_Y+n^t_Y} + k + l &\geq 10 \label{555-aa-10}\end{aligned}$$ Inequalities  and follow from Lemma \[lemma5\]. Inequalities , , and follow from Lemma \[lem:inside\] and the structure of the (11) kind.

Suppose $K_1$ and $K_2$ are of kind (00). The situation is depicted in Figure \[fig-555\_cuts\_AA\] (AA00). Let $X$ and $Y$ be $C(u_2, v_2; u_1, v_1)$ and $C(u_1,v_1;u_2,v_2)$ respectively. Let $Z$ be edges of $C$ that are in neither $X$ nor $Y$.

![Four different cases of two types A. Face $f_1$, $f_2$, and $f_3$ has symbol $\mp$, $\pm$, and $-$, respectively.[]{data-label="fig-555_cuts_AA"}](fig-555_cuts_AA){width="90.00000%"}

As in the previous case we obtain the following set of constraints that must be satisfied. $$\begin{aligned}
 |{n^s_X} + {n^s_Z} - {n^t_X} -{n^t_Z}| & > k \label{555-aa-right-flow1}\\
 |{n^s_Y} + {n^s_Z} - {n^t_X} -{n^t_Y}| & > l  \label{555-aa-right-flow2}\\
 {n^s_Y+n^t_Y}+k & \geq 5 \text{ and odd}\\
 {n^s_X+n^t_X}+l & \geq 5 \text{ and odd}\end{aligned}$$ Inequalities  and  are obtained from Lemma \[lemma5\]. The other inequalities come from Lemma \[lem:inside\]. Recall that we assumed that $C$ has no chords, so we also include that $\min\{k,l\} \geq 2$. The above set of constraints has no solution. Hence $K_1$ and $K_2$ cannot be of kind (00).

The next case (22) is depicted in Figure \[fig-555\_cuts\_AA\] (AA22). Let $X$ and $Y$ be $C(v_1,u_1;v_1,u_2)$ and $C(v_1, u_2; v_1, u_1)$, respectively. Let $Z$ be edges of $C$ that are in neither $X$ nor $Y$.

Using Lemmas \[lemma5\] and \[lem:inside\] we obtain the following set of constraints that must be satisfied: $$\begin{aligned}
 |{n^s_X} + {n^s_Z} - {n^t_X} -{n^t_Z}| & > k \\
 |{n^s_Y} + {n^s_Z} - {n^t_X} -{n^t_Y}| & > l  \\
{n^s_Y+n^t_Y}+  l & \geq 8 \text{ and even}\\
{n^s_X+n^t_X}+  k & \geq 8 \text{ and even}\end{aligned}$$ This system has no solution. This finishes the case (22) of Claim \[cl-AA\].

The last case (20) is depicted in Figure \[fig-555\_cuts\_AA\] (AA20). Let $X$ and $Y$ be $C(u_2,v_2;v_1,u_1)$ and $C(v_1, u_1; u_2, v_2)$, respectively. Let $Z$ be edges of $C$ that are in neither $X$ nor $Y$. Using Lemmas \[lemma5\] and \[lem:inside\] we obtain the following set of constraints that must be satisfied: $$\begin{aligned}
 |{n^s_Y} - {n^t_Y}| & > k \\
 |{n^s_X} -3  - {n^t_X}| & > l  \\
{n^s_Y+n^t_Y}+  k &\geq 8 \text{ and even}\\
{n^s_X+n^t_X}+  l & \geq 5 \text{ and odd} \\
k +  l+{n^s_Z}+{n^t_Z}&\geq 10 \end{aligned}$$ The last equation was obtained from the fact that in the kind (20), the subgraph of $G$ bounded by $K_1$, $K_2$, and $Z$ contains at least two $5^+$-faces. This system has no solutions. This finishes the proof of Claim \[cl-AA\].

\[cl-AB\] Let $q_1$ be a configuration of type A and let $q_2$ be a layout where $q_2(f_1)=3$. Then $q_2$ is not a configuration of type B.

Suppose for a contradiction that $q_1$ gives a configuration of type A and $q_2$ gives a configuration of type B, where $q_2(f_1) = 3$, hence $f_1=f_2$. We have four kinds depending on the order of the endpoints of $K_1$ and $K_2$. The cases are depicted in Figure \[fig-555\_cuts\_AB\]. The kind (22) is not possible if $f_1=f_2$.

![Sketches of kinds (11), (20), (02), and (00) for one configuration of type A and one configuration of type B.[]{data-label="fig-555_cuts_AB"}](fig-555_cuts_AB)

Depending on the case, from by Lemma \[lemma5\] and Lemma \[lem:inside\]. we obtain a set of constraints that must be satisfied.

-   $$\begin{aligned}
       |{n^s_X} + {n^s_B} - {n^t_X} -{n^t_B}| & > k  \\    |{n^s_X} + {n^s_A} - 6 -{n^t_X} -{n^t_A}| & > l  \\    {n^s_Y+n^t_Y}+{n^s_A+n^t_A} +k &\geq 7 \text{ and odd}\nonumber\\
       {n^s_X+n^t_X}+{n^s_Y+n^t_Y}+k+l & \geq 13 \text{ and odd} \nonumber\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    | {n^s_X}- {n^t_X}| &> k \\   | {n^s_Y} + 3 - {n^t_Y}| &> l \\   {n^s_Y+n^t_Y}+l &\geq 5 \text{ and odd}\nonumber\\
      {n^s_X+n^t_X}+k & \geq 8 \text{ and even} \nonumber\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
       |{n^s_Y} -3 -{n^t_Y}| &> k \\    |{n^s_X} - 6 - {n^t_X}| &> l  \\   {n^s_Y+n^t_Y}+k &\text{ is } \geq 5 \text{ and odd}\nonumber\\
      {n^s_X+n^t_X}+l &\text{ is } \geq 8 \text{ and even} \nonumber\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
       |{n^s_X} -3 -{n^t_X}| &> k \nonumber \\    |{n^s_Y} +3 - {n^t_Y}| &> l \nonumber \\   {n^s_X+n^t_X}+k & \geq 5 \text{ and odd}\nonumber\\
      {n^s_Y+n^t_Y}+l & \geq 5 \text{ and odd}\nonumber\\
    {n^s_A}+{n^t_A}+k+l & \geq 13 \label{555-ab-00-last} \end{aligned}$$

Inequality  comes from the fact that the subgraph bounded by $K_1$, $K_2$ and $A$ must contain all three 5-faces of $G$ in its interior faces. In addition, we include that $\min\{k_1,k_2,l_1,l_2\}\geq 1$ since $v$ is not a vertex of $C$ and $\min\{k,l\} \geq 2$ since $C$ has no chords.

None of the four sets of constraints has any solution, which is a contradiction.

By Claim \[cl-AA\] and Claim \[cl-AB\], every layout gives a configuration of type B. Thus, we know that for each $i \in \{1,2,3\}$, $q_i(f_i) = 3$, and $f_1,f_2,f_3$ are pairwise distinct. Let $P_i$ be the subpath of $C$ such that $K_i$ and $P_i$ bound a cycle that contains $f_i$.

Let $i,j \in \{1,2,3\}$ and $i \neq j$. Based on the order of $u_i,v_i,u_j,v_j$ on $C$, and $K_i$ and $K_j$ we get four possible kinds (BB00), (BB11), (BB22), (BB20); see Figure \[fig-555-cuts-BB\]. Note that (BB02) is symmetric to what would be (BB20).

![Possible configurations of two cuts of type $B$.[]{data-label="fig-555-cuts-BB"}](fig-555-cuts-BB){width="80.00000%"}

\[cl-555-BB\] For all $i,j\in\{1,2,3\}$ and $i\neq j$ we get that $K_i$ and $K_j$ do not form (BB22).

Suppose for a contradiction that $K_i$ and $K_j$ do form (BB22). See Figure \[fig-555-cuts-BB\] (BB22) for a sketch of the situation. Let $X$ and $Y$ be $C(v_j, u_j; v_i,u_i)$ and $C(v_i, u_i; v_j,u_j)$, respectively. Let $Z$ be the edges of $C$ that are in neither $X$ nor $Y$.

Let $t = 6-i-j$. Since $K_i$ and $K_j$ form (BB22), the subgraph of $G$ bounded by $K_i \cup Y$ contains faces that contain 5-faces $f_j$ and $f_{t}$, and the subgraph of $G$ bounded by $K_j \cup X$ contains faces that contain 5-faces $f_i$ and $f_{t}$. This, Lemma \[lemma5\], and Lemma \[lem:inside\] give the following set of constraints.

$$\begin{aligned}
   |{n^s_Y} -6 -{n^t_Y}| &> k_i \\
   |{n^s_X} -6 -{n^t_X}| &> k_j \\
   k_i + {n^s_Y+n^t_Y}  & \geq 8 \text{ and even}\\
   k_j + {n^s_X+n^t_X}  & \geq 8 \text{ and even}\end{aligned}$$

This set of constraints has no solution.

\[cl-555-BB\] For all $i,j\in\{1,2,3\}$ and $i\neq j$ we get that $K_i$ and $K_j$ do not form (BB20) or there exist alternative paths that form (BB11) and no new (BB20) is created.

Suppose for a contradiction that $K_i$ and $K_j$ form (BB20). See Figure \[fig-555-cuts-BB\] (BB20) for a sketch of the situation. Let $X$ and $Y$ be $C(u_j, v_j; v_i,u_i)$ and $C(v_i, u_i; u_j,v_j)$, respectively. Let $Z$ be the edges of $C$ that are in neither $X$ nor $Y$.

First we will obtain a few potential solutions. The first four inequalities follow from Lemmas \[lemma5\] and \[lem:inside\]. The inequality comes from the description of (BB20) where the subgraph of $G$ bounded by $K_i,K_j$, and $Z$ contains at least three interior faces where at least two are 5-faces. The inequality comes from (BB20) saying that $X$ and $K_j$ do not form the boundary of $f_j$. $$\begin{aligned}
   |{n^s_Y} + 3 - {n^t_Y}| &> k_i \nonumber\\
   |{n^s_X} + 3 -{n^t_X}| &> k_j \nonumber\\
   k_j + {n^s_X+n^t_X}  &\geq 5 \text{ and odd}\nonumber \\
   k_i + {n^s_Y+n^t_Y}  &\geq 8 \text{ and even}\nonumber\\
   k_i+k_j+{n^s_Z+n^t_Z} &\geq 14 \label{eq14}\\
   k_j+{n^s_X+n^t_X} &\geq 7 \label{eq7} \end{aligned}$$ This set of constraints has the following four solutions.

   ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   ${n^s_Z}$   ${n^t_Z}$   $k_i$   $k_j$
  ----------- ----------- ----------- ----------- ----------- ----------- ------- -------
       3           0           0           3           3           0         7       4
       4           0           0           3           2           0         7       5
       5           0           0           3           1           0         7       6
       6           0           0           3           0           0         7       7

Notice that in all the solutions $k_i+k_j+{n^s_Z+n^t_Z} = 14$. Hence the subgraph of $G$ bounded by $K_i,K_j$, and $Z$ has two 5-faces and one 4-face. We create a more detailed instance where we split $Z$ into two paths $C(v_j,v_i;u_j,u_j)$ that we keep calling $Z$ and $C(u_i,u_j;v_j,v_i)$ that we call $W$. Moreover, we partition $K_i$ and $K_j$ into three subpaths of lengths $i_1,i_2,i_3$ and $j_1,j_2,j_3$ respectively. See Figure \[fig-555-cuts-BB20\]. This leads to the following constraints, where the first six are the same as before. $$\begin{aligned}
   |{n^s_Y} + 3 - {n^t_Y}| &> k_i \nonumber\\
   |{n^s_X} + 3 -{n^t_X}| &> k_j \nonumber\\
   k_j + {n^s_X+n^t_X}  & \geq 5 \text{ and odd}\nonumber \\
   k_i + {n^s_Y+n^t_Y}  & \geq 8 \text{ and even}\nonumber\\
   k_i+k_j+{n^s_Z+n^t_Z} &\geq 14 \nonumber\\
   k_j+{n^s_X+n^t_X} &\geq 7  \nonumber\\
   i_1+j_2+i_3+ {n^s_Y+n^t_Y}   & \geq 5 \text{ and odd}\\
   i_2+j_2  &\geq 5 \text{ and odd}\\
   i_1+j_1 + {n^s_Z+n^t_Z}  & \geq 5 \text{ and odd}\end{aligned}$$ The system has 14 solutions. Create a path $K_j'$ from $K_j$ by dropping the piece corresponding to $j_3$ and replacing it by $i_3$ and potentially deleting repeated edges. The path $K_j'$ is a path with endpoints in $C$ and it makes $f_j$ lonely. Moreover, all 14 solutions satisfy $|{n^s_X} + {n^s_W} + 3 -{n^t_X} -{n^t_W}| > j_1+j_2+i_3$. Hence $K_j'$ can be used instead of $K_j$, and $K_j'$ and $K_i$ form configuration (BB11).

![More details for configuration (BB20).[]{data-label="fig-555-cuts-BB20"}](fig-555-cuts-BB20)

Finally, we need to show that no new (BB20) or (BB02) is created by replacing $K_j$ by $K_j'$. All 14 solutions satisfy $i_3+j_3+{n^s_W}+{n^t_W} = 4$, $i_2+j_2=5$, $i_1+j_1+{n^s_Z} +{n^t_Z} = 5$, ${n^s_Y+n^t_Y} = 3$, and ${n^s_Z+n^t_Z} \leq 2$. Hence the subgraph of $G$ induced by $W$, $Z$, $K_i$, and $K_j$ contains a 4-face and two 5-faces as internal faces and one of the 5-faces is sharing with $C$ vertices $v_j$ and $v_i$.

Let $K_a$ and $K_b$ form (BB20) or (BB20) for some $a,b \in \{1,2,3\}$. The previous paragraph implies that for any $c \in \{a,b\}$ one of the edges of $K_c$ incident to $v_c$ and $u_c$ is incident to a 4-face and the other edge is incident to a 5-face $f_a$ or $f_b$. Moreover, one of $f_a$ and $f_b$ is disjoint from $C$ and the other one is sharing at most two edges with $C$.

Let $t = 6-i-j$ and $K_t$ be in $\{K_1,K_2,K_3\}$ with endpoints $u_t$ and $v_t$. Suppose for contradiction that a new (BB20) or (BB02) is created by replacing $K_j$ by $K_j'$. Since $K_i$ is not changed, the new (BB20) or (BB02) is formed by $K_j'$ and $K_t$. Hence $K_j$ and $K_t$ is neither (BB20) nor (BB02). The new (BB20) or (BB02) must satisfy the constraints from the previous paragraph. Since the edge of $K_j'$ incident to $v_j$ is incident to a 4-face and $f_i$, the edge $e$ of $K_j'$ incident to $u_i$ must be incident to $f_t$. Notice that $e$ is also incident to a 4-face $h$ that is incident to $W$. Hence $f_t$ must be on the opposite side of $e$ than $h$. Let $x \in \{u_t,v_t\}$ be incident to an edge of $K_t$ that is incident to $f_t$. Since ${n^s_Y+n^t_Y} = 3$ and $f_t$ is sharing at most two edges with $C$, we obtain that $x \in Y$ and the order around $C$ is $u_iv_jx$. Since $K_j'$ and $K_t$ form (BB20) or (BB02) and we know the order for $x$, the order of the endpoints of $K_j'$ and $K_t$ is $u_iv_jv_tu_t$. Hence $K_j'$ and $K_t$ form (BB02). Observe that the order of endpoints of $K_j$ and $K_t$ is $u_jv_jv_tu_t$. Hence $K_j$ and $K_t$ form (BB02), a contradiction.

\[cl-555-BB11\] For all $i,j\in\{1,2,3\}$ and $i\neq j$ if $K_i$ and $K_j$ form (BB11) then they have a common point.

In order to apply Lemma \[lem:common\] we need to verify that $\max\{|K_i|,|K_j|\} \leq 7$ and if $|K_i| = |K_j|=7$ then $K_i$ and $K_j$ have common endpoints. Let $K_i$ and $K_j$ form (BB11), see Figure \[fig-555-cuts-BB\] (BB11) for illustration. Let $X$, $Z$, $Y$, and $W$ be $C(u_i,u_j;v_i,v_j)$, $C(u_j,v_i;v_j,u_i)$, $C(v_i,v_j;u_i,u_j)$, and $C(v_j,u_i;u_j,v_i)$, respectively. Denote $|K_i|$ and $|K_j|$ by $k_i$ and $k_j$, respectively. Lemma \[lemma5\] and Lemma \[lem:inside\] imply that the following constraints are satisfied. $$\begin{aligned}
   |{n^s_X} + {n^s_Z} + 3 - {n^t_X} - {n^t_Z}| &> k_i \nonumber\\
   |{n^s_Y} + {n^s_Z} + 3 - {n^t_Y} - {n^t_Z}| &> k_j \nonumber\\
   {n^s_X+n^t_X} + {n^s_Z+n^t_Z} + k_i  & \geq 7 \text{ and odd}\nonumber \\
   {n^s_Y+n^t_Y} + {n^s_Z+n^t_Z} + k_j  & \geq 7 \text{ and odd}\nonumber\end{aligned}$$ All solutions to these constraints satisfy that $\max\{k_i,k_j\} \leq 7$. Moreover, if $k_i=k_j=7$ then ${n^s_X+n^t_X} + {n^s_Y+n^t_Y} = 0$. Hence Lemma \[lem:common\] applies and there is a common point.

Now we know that we have only configurations (BB00) and (BB11) with common points.

Denote the length of the path $K_1$, $K_2$, and $K_3$ by $k$, $l$, and $m$, respectively. We will use $k_1$, $k_2$, $k_3$ to denote the lengths of subpaths of $k$ if some of the paths form (BB11); $l_1$, $l_2$, $l_3$, $m_1$, $m_2$, $m_3$ will be used similarly. See Figure \[fig-555-cuts-BBB\].

If there is a pair of layouts giving configuration (BB00), we distinguish the following cases:

-   all pairs form (BB00).

-   one pair forms (BB11).

-   two pairs form (BB11)

If all three pairs of layouts give (BB11), then we define $v_K$ and $v_L$ to be the common point of $K_3$ with $K_1$ and $K_2$, respectively. The vertex $v_K$ is *before* $v_L$ if $v_K$ appears before $v_L$ when traversing the cycle formed by $K_3$ and $P_3$ in the clockwise order and the starting point is on $C$.

-   $P_1$, $P_2$, and $P_3$ have a common edge and $v_K$ is before $v_L$ or $v_K = v_L$.

-   There is no common edge of $P_1$, $P_2$, and $P_3$ and $v_K$ is before $v_L$ or $v_K=v_L$.

-   There is no common edge of $P_1$, $ P_2$, and $P_3$, and $v_L$ is before $v_K$ and $v_K \neq v_L$

-   $P_1$, $P_2$, and $P_3$ have a common edge and $v_L$ is before $v_K$ and $v_K \neq v_L$.

See Figure \[fig-555-cuts-BBB\] for an illustration of the cases (B1)–(B7). Since one layout may contain several different configurations of type B, pick $K_1$, $K_2$, $K_3$ such that the number of (B11) pairs is minimized.

![Possible configurations of cuts $K_1$, $K_2$, $K_3$.[]{data-label="fig-555-cuts-BBB"}](fig-555-cuts-BBB){width="70.00000%"}

Next we give constraints for each of the cases (B1)–(B7). Solutions to these constraints were obtained by simple computer programs. Critical graphs obtained from (B$i$) are depicted in Figure \[fig-all-critical-graphs\] as (B$ij$) for all $i,j$.

Endpoints of $K_1$, $K_2$, and $K_3$ partition $C$ into several internally disjoint paths. The paths have names in $\{X,Y,Z,W,A,D,E,F\}$ with exception of $W$ in (B1) and (B2), where $W$ refers to a union of up to three and two paths, respectively. To simplify the write-up we refer the reader to Figure \[fig-555-cuts-BBB\] for the labelings of the paths.

\[cl-B1\] The configuration (B1) results in a critical graph where every 5-face shares at least two edges with the boundary. Moreover, in every non-extendable $3$-coloring of the outer face, every 5-face contains two source edges.

We refer the reader to Figure \[fig-555-cuts-BBB\] (B1) for the labelings of the paths. By Lemma \[lemma5\] we get the first three equations and by Lemma \[lem:inside\] we get the remaining equations. $$\begin{aligned}
   |{n^s_X} + 3 -{n^t_X}| &> k , \\
   |{n^s_Y} + 3 -{n^t_Y}| &> l , \\
   |{n^s_Z} + 3 -{n^t_Z}| &> m , \\
   k+{n^s_X+n^t_X} & \geq 5 \text{ and odd,}\\
   l+{n^s_Y+n^t_Y} & \geq 5 \text{ and odd,}\\
   m+{n^s_Z+n^t_Z} & \geq 5 \text{ and odd,}\\\end{aligned}$$ In addition, we also include some constraints to break symmetry; for example ${n^t_X} + {n^s_X} \geq  {n^t_Y} + {n^s_Y} \geq {n^t_Z} + {n^s_Z}$. All solutions to this system of equations are in Table \[tab:solBBB1\].

   ${n^s_X}$   ${n^t_X}$   ${n^s_Y}$   ${n^t_Y}$   ${n^s_Z}$   ${n^t_Z}$   ${n^s_w}$   ${n^t_W}$   $k$   $l$   $m$
  ----------- ----------- ----------- ----------- ----------- ----------- ----------- ----------- ----- ----- -----
       2           0           2           0           2           0           0           3        3     3     3
       2           1           2           0           2           0           0           2        2     3     3
       2           1           2           1           2           0           0           1        2     2     3
       2           1           2           1           2           1           0           0        2     2     2

  : Solutions from Claim \[cl-B1\].[]{data-label="tab:solBBB1"}

By inspecting the solutions from Table \[tab:solBBB1\], we conclude that they satisfy the statement of the claim.

For the remaining cases, we give the sets of constraints but we skip detailed justification since they all come from the description of the configurations, Lemma \[lemma5\], Lemma \[lem:inside\], and the fact that $C$ has no chords. We provide computer programs online for solving the sets of equations and to help with checking the solutions.

The description of the configuration is the following, see Figure \[fig-555-cuts-BBB\]. If there is exactly one (B11) pair, then we get configuration (B2), where we assume it is pair $q_1$ and $q_2$.

If there are two (B11) pairs, then assume that $q_3$ is in both pairs. There are two common points on $K_3$, where one is shared with $K_1$ and the other is shared with $K_2$. Depending on the order of these points we get either (B3) or (B3X). The last option is that all three pairs are (B11). By considering the order of the endpoints of $K_1,K_2,K_3$ and the order of the common points on $K_3$, we get (B4)–(B7).

\[cl-B2\] Configurations (B2)–(B7) result in critical graphs (B21)–(B52). Every graph in Figure \[fig-all-critical-graphs\] represents several graphs that can be obtained from the depicted graph by identifying edges and vertices and by filling every face of even size by a quadrangulation with no separating 4-cycles. Moreover, the 5-faces in (B21) and (B22) that share two edges with $C$ can be moved along $C$ as long as they stay neighboring with a region with three sink edges.

We slightly abuse notation and use $k_i,l_i,m_i$ for subpaths of $K_1,K_2,K_3$ respectively as well as for lengths of these subpaths, where $i \in \{1,2,3\}$. For a path in $\{X,Y,Z,W,A,D,E,F\}$, we use its lower case letter to denote its length.

For each case we include constraints that all three layouts give configurations of type $B$ using Lemma \[lem:inside\] and Lemma \[lemma5\] analogously to Claim \[cl-B1\]. In addition, we add the following set of constraints depending on the case:

-   $$\begin{aligned}
    x + k_2 + l_1 &\geq 5 \text{ and odd} &
    y + k_1 + l_2 &\geq 5 \text{ and odd}  \\
    z+w+k_2+l_2 &\geq 7 \text{ and odd} \text{ if }w > 0 &
    x+d+y+k_2+l_2 &\geq 8 \text{ and even} \\
    x+y+z+w+l_1+k_1 &\geq 9 \text{ and odd} \end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    e+x+k_1+k_2 &\geq 7  &
    f+y+l_1+l_2 &\geq 7 \\
    y+m_1+l_2 &\geq 5 \text{ and odd} &
    z+k_1+m_2+l_1 &\geq 5 \text{ and odd} \\
    x+m_3+k_2 &\geq 5 \text{ and odd} &
    y+z+f+k_1+m_2+l_2 &\geq 8 \text{ and even} \end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    \min\{m_1,m_2,m_3,k_1,k_2,l_1,l_2\} &\geq 1 &  k_1+l_1+z  &\geq 6 \\
    \text{if } l_2 = 1\text{ then } x+m_3+k_2 &\geq 6  &   y+m_1+m_2+l_2 &\geq 5 \text{ and odd} \\
    \text{if } k_2 = 1\text{ then } y+m_1+l_2 &\geq 6 &  x+k_2+m_2+m_3 &\geq 5 \text{ and odd} \end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    x+e+l_3+k_1+k_2&\geq 5  \text{ and odd} &
      y+f+k_3+k_2+m_2+l_1 &\geq 8  \text{ and even}  \\
    k_2+l_2+m_2&\geq 5  \text{ and odd} &
    f+y+w+x+m_3+k_2+k_3 &\geq 9  \text{ and odd}  \\
    x+k_1+m_3 &\geq 5  \text{ and odd} &
    e+x+k_1+m_2+l_2+l_3 &\geq 8  \text{ and even} \\
    y+l_1+m_1 &\geq 5  \text{ and odd} &
    y+w+x+e+l_3+l_2+m_1 &\geq 9  \text{ and odd} \\
    & & f+y+w+x+e+l_3+k_3 &\geq 9  \text{ and odd}\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
     \min\{k_2,l_2,m_2\} &\geq 1 \text{ or }k_2=l_2=m_2 = 0\end{aligned}$$

    $$\begin{aligned}
     y+k_1+l_2+m_1 &\geq 5  \text{ and odd} &
     x+l_1+k_2+m_3 &\geq 5  \text{ and odd} \\
     z+k_3+m_2+l_3 &\geq 5  \text{ and odd} &
     y+f+l_3+l_2+k_1  &\geq 7  \text{ and odd} \\
     x+e+k_3+k_2+l_1  &\geq 7  \text{ and odd} &
     m_1+m_2+k_3+f+z &\geq 7  \text{ and odd} \\
     m_3+m_2+l_3+e+z &\geq 7  \text{ and odd} &
     l_1+l_2+m_1+d+y  &\geq 7  \text{ and odd}\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    m_2 &\geq 1 &
     y+k_1+m_1 &\geq 5  \text{ and odd} \\
     x+l_1+m_3 &\geq 5  \text{ and odd} &
     z+k_3+l_3 &\geq 5  \text{ and odd}\end{aligned}$$

<!-- -->

-   $$\begin{aligned}
    k_1+l_1+m_1+m_3+x+y &\geq 10  \label{eq7:a} \\
    e+x+w+y+f+l_2+k_2-5 &\geq 9 \label{eq7:b}\end{aligned}$$

We enumerated all solutions to all seven sets of constraints, and we checked that the resulting graphs are depicted in Figure \[fig-all-critical-graphs\]. In order to eliminate mistakes in computer programs, we have two implementations by different authors and we checked that they give identical results. Sources for programs for cases (B2)–(B7) together with their outputs can be found on arXiv and at [<http://orion.math.iastate.edu/lidicky/pub/9cyc/>]{}.

![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"}

![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"}

![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"} ![All solutions to cases (B1)–(B7). []{data-label="fig-all-555-solutions"}](fig-criticals/fig-555-critical "fig:"){width="\tempL\textwidth"}

The most general solution for each of the sets of equations is depicted in Figure \[fig-all-555-solutions\]. Notice that (B3X), (B6), and (B7) have no solutions. In (B7), inequality comes from a subgraph having two faces where each contains a 5-face in the interior and comes from Lemma \[lem:inside\] and the $-5$ appears due to $k_2$ and $l_2$ enclosing $f_3$. Observe that (B34), (B35), and (B36) are special cases of (B41), (B42), and (B43), respectively. Hence we dropped (B34), (B35), and (B36) from Figure \[fig-all-critical-graphs\]. One can think of (B41), (B42), and (B43) as being obtained from (B34), (B35), and (B36) by duplicating a subpath $P$ of $C$ where all dual edges of $P$ are oriented inside. Notice that by using this operation, (B44) could be obtained from (B21), also (B22) from (B11) and (B41) from (B22). We suspect that it is part of a more general description of $C$-critical graphs, where $C$ is larger.

We think the case (B4) is the most complicated case. We again used the trick to identify general solutions quickly by observing that regions bounding faces contain only the face and obtained seven solutions. We include sketches of the solutions generated by our program in Figure \[fig-B4\]. Although there are seven solutions, they give only four distinct cases due to some vertex identifications.

![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"} ![Sketches of solutions to case (B4) generated by our program. The style of paths $K_1$, $K_2$, and $K_3$ correspond to the style in Figure \[fig-555-cuts-BBB\] (B4). []{data-label="fig-B4"}](fig-B4 "fig:"){width="\tempL\textwidth"}

This finishes the proof of Lemma \[lall5\].

Acknowledgements
================

We would like to thank Zdeněk Dvořák for fruitful discussions and we are very grateful to anonymous referee who spotted numerous mistakes in the paper and suggested simplification to the proofs.

This work was supported by the European Regional Development Fund (ERDF), project NTIS - New Technologies for the Information Society, European Centre of Excellence, CZ.1.05/1.1.00/02.0090.

The first author was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (NRF-2015R1C1A1A02036398).

The second and third authors were supported by project P202/12/G061 of the Grant Agency of the Czech Republic.

The last author was supported by NSF grants DMS-1266016 and DMS-1600390.

A preliminary version of this paper without a complete proof was published in proceedings on IWOCA 2014 [@cyclelncs].

[^1]: Department of Mathematics, Hankuk University of Foreign Studies, Yongin-si, Gyeonggi-do, Republic of Korea, E-mail: [mailto:ilkyoo@hufs.ac.kr]{}

[^2]: University of West Bohemia, Czech Republic, E-mail: [ekstein@kma.zcu.cz]{}

[^3]: University of West Bohemia, Czech Republic, E-mail: [holubpre@kma.zcu.cz]{}

[^4]: Iowa State University, USA, E-mail: [lidicky@iastate.edu]{}.
