Eccentricities in the flip-graphs of convex polygons

Abstract: The flip-graph of a convex polygon $\pi$ is the graph whose vertices are the triangulations of $\pi$ and whose edges correspond to flips between them. The eccentricity of a triangulation $T$ of $\pi$ is the largest possible distance in this graph from $T$ to any triangulation of $\pi$. It is well known that, when all $n-3$ interior edges of $T$ are incident to the same vertex, the eccentricity of $T$ in the flip-graph of $\pi$ is exactly $n-3$, where $n$ denotes the number of vertices of $\pi$. Here, this statement is generalized to arbitrary triangulations. Denoting by $n-3-k$ the largest number of interior edges of $T$ incident to a vertex, it is shown that the eccentricity of $T$ in the flip-graph of $\pi$ is exactly $n-3+k$, provided $k\leq{n/2-2}$. Inversely, the eccentricity of a triangulation, when small enough, allows to recover the value of $k$. More precisely, if $k\leq{n/8-5/2}$, it is also shown that $T$ has eccentricity $n-3+k$ if and only if exactly $n-3-k$ of its interior edges are incident to a given vertex. When $k>n/2-2$, bounds on the eccentricity of $T$ are also given and discussed.

\section{Introduction}

Consider a convex polygon $\pi$. A set containing exactly two vertices of $\pi$ will be called an \emph{edge on $\pi$}. The edges on $\pi$ whose convex hull is disjoint from the interior of $\pi$ we be referred to as the edges \emph{of} $\pi$. Two edges on $\pi$ are crossing when their convex hulls have non-disjoint interiors. A \emph{triangulation of $\pi$} is a set of pairwise non-crossing edges on $\pi$ that is maximal for the inclusion. Note that all the edges of $\pi$ are contained in any of its triangulations. They will be referred to as the \emph{boundary edges} of these triangulations. The other edges of a triangulation will be called its \emph{interior edges}. The flip-graph of $\pi$ is a graph whose vertices are the triangulations of $\pi$. Two triangulations are adjacent in this graph whenever they differ by a single (interior) edge. This graph has a number of remarkable properties, including that of being the graph of a polytope, the associahedron \cite{Lee1989}. It has been a long-standing open problem to find its diameter for polygons with any number of vertices \cite{SleatorTarjanThurston1988}. While this particular problem is now solved \cite{Pournin2014}, not much is known about the geometry of this, or related flip-graphs.

Flip-graphs turn up in a variety of fields including discrete geometry \cite{DeLoeraRambauSantos2010,Santos2000,Santos2005}, geometric topology \cite{BellDisarloTang2018,DisarloParlier2018,ParlierPournin2017}, probability \cite{Budzinski2017,CaputoMartinelliSinclairStauffer2015}, computer science \cite{BoseHurtado2009,CulikWood1982}, or even biology \cite{SempleSteel2003}. Understanding their geometric properties is a difficult task. For some applications, computing the distances in these graphs is instrumental \cite{SempleSteel2003,SleatorTarjanThurston1988}. While such computations are proven to be hard in more general settings \cite{AichholzerMulzerPilz2015,LubiwPathak2015,Pilz2014}, there is as yet no such result, or a polynomial algorithm to compute distances in the case of the flip-graphs of convex polygons.

This paper focuses on the eccentricity of triangulations in the flip-graph of a convex polygon $\pi$. It is well known that a triangulation of $\pi$ whose all interior edges are incident to a given vertex, referred to as a \emph{comb} in the following, has eccentricity $n-3$ in the flip-graph of $\pi$ \cite{SleatorTarjanThurston1988}, where $n$ denotes the number of vertices of $\pi$. It is proven in this paper that the link between the largest number $n-3-k$ of interior edges incident to a vertex of a triangulation $T$ of $\pi$ and its eccentricity in the flip-graph of $\pi$ extends far beyond combs. In particular, several general lower bounds are established on the eccentricity of $T$ depending on $n$ and $k$. It is shown as a consequence that, when $0\leq{k}\leq{n/2-2}$, the eccentricity of $T$ in the flip-graph of $\pi$ is exactly $n-3+k$. It turns out that the value of $k$, when small enough, characterizes the eccentricity of $T$. More precisely, it is also shown that, when $k\leq{n/8-5/2}$, a triangulation of $\pi$ has eccentricity $n-3+k$ in the flip-graph of $\pi$ if and only if exactly $n-3-k$ of its interior edges are incident to a vertex. Note that, in order to prove this result, it is required to obtain lower bounds on the eccentricities of all the triangulations of $\pi$.

In the following, a \emph{path of length $k$} between two triangulations $T$ and $U$ of a convex polygon $\pi$ is a sequence of $k$ flips that transform one of these triangulations into the other. A shortest path between $T$ and $U$ will also be called a \emph{geodesic}, and the length of any geodesic between $T$ and $U$ will be denoted by $d(T,U)$. The following straightforward proposition is used, sometimes implicitly, in a number of papers about the geometry of flip-graphs. It provides upper bounds on the eccentricities of the triangulations of $\pi$ in the flip-graph.

\begin{proposition}\label{Intro.prop.1}
Let $T$ be a triangulation of a convex polygon $\pi$ with $n$ vertices. If some vertex of $\pi$ is incident to exactly $e$ interior edges of $T$ then, for any triangulation $U$ of $\pi$,
$$
d(T,U)\leq2n-6-e\mbox{.}
$$
\end{proposition}

As in \cite{ParlierPournin2017,Pournin2014,SleatorTarjanThurston1988}, proving lower bounds on the distances (and in the case at hand on the eccentricities) in flip-graphs is much more complicated. In order to do so, some of the techniques developped in \cite{Pournin2014} will be borrowed.

If $a$ and $b$ are two vertices of a convex polygon $\pi$ such that $b$ immediately follows $a$ clockwise, the pair $(a,b)$ will be called a \emph{clockwise-oriented boundary edge of $\pi$}. If $\pi$ has at least four vertices, then removing the edge $\{a,b\}$ from a triangulation $T$ of $\pi$, and replacing $a$ by $b$ in all the remaining edges results in a triangulation of a smaller polygon (see Proposition 2 in \cite{Pournin2014}). This operation will be referred to as the \emph{deletion of vertex $a$ from triangulation $T$}, and the resulting triangulation will be denoted by $T\mathord{\varparallelinv}{a}$. Note in particular that $T\mathord{\varparallelinv}{a}$ is a triangulation of the polygon whose vertex set is obtained by removing $a$ from the vertex set of $\pi$.

A flip between $T$ and another triangulation will be called \emph{incident to $\{a,b\}$} if it affects the triangle of $T$ incident to $\{a,b\}$. The following two lemmas are proven in \cite{Pournin2014}.

\begin{lemma}\label{Lem.intro.0}
Consider two triangulations $T$ and $U$ of a convex polygon $\pi$ with at least four vertices and a clockwise-oriented boundary edge $(a,b)$ of $\pi$. If $f$ flips are incident to $\{a,b\}$ along a geodesic between $T$ and $U$, then
$$
d(T,U)\geq{d(T\mathord{\varparallelinv}{a},U\mathord{\varparallelinv}{a})+f}\mbox{.}
$$
\end{lemma}

Observe that a triangulation $T$ of $\pi$ decomposes $\pi$ into a set of triangles. If such a triangle shares two of its edges $\{a,b\}$ and $\{a,c\}$ with $\pi$, it will be called \emph{an ear of $T$ in $a$}. Equivalently, $T$ has an ear in $a$ when none of its interior edges is incident to $a$.

Using this notion, the second lemma can be stated.

\begin{lemma}\label{Lem.intro.1}
Consider a clockwise-oriented boundary edge $(a,b)$ of a convex polygon $\pi$ with at least four vertices. If $T$ is a triangulation of $\pi$ with an ear in $b$ and $U$ is a triangulation of $\pi$ with at least two interior edges incident to $b$, then there exists $x\in\{a,b\}$ such that
$$
d(T,U)\geq{d(T\mathord{\varparallelinv}{x},U\mathord{\varparallelinv}{x})+2}\mbox{.}
$$
\end{lemma}

The article is organized as follows. Lower bounds are established on the eccentricities of the triangulations of $\pi$ that are close to combs in Section \ref{Sec.close}. Other such lower bounds are given in Section \ref{Sec.away} that hold for any triangulations of $\pi$. The results mentioned above are obtained along the way as consequences of these lower bounds. Finally, a number of additional results and remarks on the behavior of the eccentricities far away from combs are given in Section \ref{Sec.conc}, and questions regarding these eccentricities are proposed

\section{Eccentricities close to combs}\label{Sec.close}

Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices. Assume that some vertex $v$ of $\pi$ is incident to exactly $n-3-k$ interior edges of $T$, where $0\leq{k}\leq{n-3}$. When $k=0$, triangulation $T$ is a comb. Consider the vertices of $\pi$ that are not adjacent to $v$ by an edge of $T$. A \emph{shelling of $T$ at $v$} is an ordering $a_1$, ..., $a_k$ of these vertices such that for all $i\in\{1, ..., k\}$, the edges of $T$ not incident to any of the vertices $a_i$, ..., $a_k$ still form a triangulation of a convex polygon.
\begin{figure}
\begin{centering}
\includegraphics{CloseToFans}
\caption{A shelling of a triangulation $T$ at a vertex $v$ (left) and two triangulations in $\Omega(T,v)$.}\label{Close.fig.1}
\end{centering}
\end{figure}
An example of such a shelling is depicted on the left of Fig. \ref{Close.fig.1}.

\begin{definition}\label{Def.close.1}
Let $T$ be a triangulation of a polygon $\pi$ with $n$ vertices and $v$ a vertex of $\pi$ incident to exactly $n-3-k$ interior edges of $T$. Call $\Omega(T,v)$ the set of all the triangulations $U$ of $\pi$ with an ear in $v$, such that for some shelling $a_1$, ..., $a_k$ of $T$ at $v$, whenever $1\leq{i}\leq{k}$, $a_i$ is incident to at least two interior edges of $U$ whose other vertex is not among $a_i$, ..., $a_k$.
\end{definition}

Two triangulations in $\Omega(T,v)$ are depicted in the center and on the right of Fig. \ref{Close.fig.1}, where $T$ is the triangulation on the left of the figure and $v$ the vertex at the bottom of it. Observe, for instance, that two interior edges of the triangulation in the center are incident to $a_2$ and to a vertex $a_i$ such that $i>2$. This triangulation belongs to $\Omega(T,v)$ nonetheless. Indeed, $a_2$ is also incident to two interior edges whose other vertex is adjacent to $v$ by an edge of $T$.

It turns out that $\Omega(T,v)$ is well-behaved regarding vertex deletions.

\begin{lemma}\label{Lem.sec1.1}
Let $T$ be a triangulation of a polygon $\pi$ with at least four vertices, and $v$ a vertex of $\pi$ incident to exactly $n-3-k$ interior edges of $T$. Consider a triangulation $U$ in $\Omega(T,v)$, and a shelling $a_1$, ..., $a_k$ of $T$ at $v$ such that whenever $1\leq{i}\leq{k}$, $a_i$ is incident to at least two interior edges of $U$ whose other vertex is not among $a_i$, ..., $a_k$. If $x$ is equal to $a_k$ or to the vertex of $\pi$ that immediately precedes $a_k$ clockwise, then $U\mathord{\varparallelinv}{x}\in\Omega(T\mathord{\varparallelinv}{x},v)$.
\end{lemma}

\begin{proof}
Let $x$ be equal to $a_k$ or to the vertex of $\pi$ that immediately precedes $a_k$ clockwise. By the definition of a shelling, $T$ has an ear in $a_k$, and this ear is removed when $x$ is deleted from $T$. In particular, if $x$ is distinct from vertices $a_1$ to $a_{k-1}$, then $a_1$, ..., $a_{k-1}$ is a shelling of $T\mathord{\varparallelinv}{x}$ at $v$. If $x$ is equal to $a_j$, where $1\leq{j}<k$, then it will be assumed that $a_k$ is relabeled $a_j$ as a vertex of $T\mathord{\varparallelinv}{x}$ and $U\mathord{\varparallelinv}{x}$. In this case, $a_1$, ..., $a_{k-1}$ is still a shelling of $T\mathord{\varparallelinv}{x}$ at $v$.

Denote by $y$ the vertex of $\pi$ that follows $x$ clockwise. Consider the triangle of $U$ incident to $\{x,y\}$ and call $z$ its third vertex. Observe that $z$ is the only vertex of $\pi$ distinct from $x$ such that the number of interior edges incident to $z$ is less in $U\mathord{\varparallelinv}{x}$ than in $U$. Hence, if $z$ is distinct from vertices $a_1$ to $a_{k-1}$, then $U\mathord{\varparallelinv}{x}$ necessarily belongs to $\Omega(T\mathord{\varparallelinv}{x},v)$. If $z$ is equal to $a_i$, where $1\leq{i}<k$, then by Definition \ref{Lem.sec1.1}, it is incident to at least two interior edges of $U$ whose other vertex is not among $a_i$, ..., $a_k$.
If the other vertex of such an edge is not equal to $x$, then this edge is still an interior edge of $U\mathord{\varparallelinv}{x}$ incident to $z$ whose other vertex is not among $a_i$, ..., $a_{k-1}$. It is possible, though, that one of the edges incident to $z$ whose other vertex is not among $a_i$, ..., $a_k$ is $\{x,z\}$. If this happens, a new such interior edge needs to be found in $U\mathord{\varparallelinv}{x}$. If $a_k$ has not been relabeled $a_j$, then this edge will be $\{a_k,z\}$ (note in particular, that $a_k$ is not among $a_i$, ..., $a_{k-1}$). If $a_k$ has been relabeled $a_j$, then this edge will be $\{a_j,z\}$ (in this case $x=a_j$ before the deletion and it follows that $a_j$ is not among $a_i$, ..., $a_{k-1}$ before or after the deletion).
As a consequence, $z$ is still incident to at least two interior edges of $U\mathord{\varparallelinv}{x}$ whose other vertex is not among $a_i$, ..., $a_{k-1}$, which proves that $U\mathord{\varparallelinv}{x}$ belongs to $\Omega(T\mathord{\varparallelinv}{x},v)$.
\end{proof}

Consider a triangulation $T$ of a polygon with $n$ vertices and a vertex $v$ of $\pi$ incident to exactly $n-3-k$ interior edges of $T$. It turns out that if $k>n/2-2$, then $\Omega(T,v)$ is empty. Indeed, consider a shelling $a_1$, ..., $a_k$ of $T$ at $v$ and assume that $\Omega(T,v)$ contains a triangulation $U$. By definition, each $a_i$ is incident to at least two interior edges of $U$ whose other vertex is not among $a_i$, ..., $a_k$. In particular, two such incidences cannot be to the same edge. Hence, $2k$ is a lower bound on the number of interior edges of $U$ incident to $a_1$, ..., $a_k$. In addition, the interior edge of $U$ bounding the ear in $v$ is not incident to any of the vertices $a_1$ to $a_k$. Therefore, $2k\leq{n-4}$, or equivalently $k\leq{n/2-2}$. This proves that $\Omega(T,v)$ is empty when $k$ is greater than $n/2-2$. Note that, as a consequence, the statement of the following theorem is void for these values of $k$.

\begin{theorem}\label{MPThm.1}
Let $T$ be a triangulation of a polygon $\pi$. If $v$ is a vertex of $\pi$ incident to exactly $n-3-k$ interior edges of $T$, then the distance between $T$ and any triangulation in $\Omega(T,v)$ is at least $n-3+k$.
\end{theorem}
\begin{proof}
The theorem is proven by induction on $k$. If $k=0$, then all the interior edges of $T$ are incident to $a$. In this case, $\Omega(T,v)$ is the set of all the triangulations of $\pi$ with an ear in $v$. Since the triangulations of $\pi$ all have $n-3$ interior edges and since a flip removes a single edge, the desired statement holds.

Now assume that $k\geq1$. Consider a triangulation $U\in\Omega(T,v)$, and a shelling $a_1$, ..., $a_k$ of $T$ at $v$ such that whenever $1\leq{i}\leq{k}$, $a_i$ is incident to at least two interior edges of $U$ whose other vertex is not among $a_i$, ..., $a_k$. By definition of a shelling, $T$ has an ear in $a_k$. Moreover, according to Definition \ref{Def.close.1}, $a_k$ is incident to at least two interior edges of $U$.

Hence, by Lemma \ref{Lem.intro.1},
\begin{equation}\label{MPThm.1.eq.1}
d(T,U)\geq{d(T\mathord{\varparallelinv}{x},U\mathord{\varparallelinv}{x})+2}\mbox{,}
\end{equation}
where $x$ is equal to $a_k$ or to the vertex of $\pi$ that precedes $a_k$ clockwise. According to Lemma \ref{Lem.sec1.1}, $U\mathord{\varparallelinv}{x}\in\Omega(T\mathord{\varparallelinv}{x},v)$. Moreover, $v$ is still incident to $n-3-k$ interior edges of $T\mathord{\varparallelinv}{x}$.

Now observe that
$$
n-3-k=(n-1)-3-(k-1)\mbox{.}
$$

Hence, by induction,
\begin{equation}\label{MPThm.1.eq.2}
d(T\mathord{\varparallelinv}{x},U\mathord{\varparallelinv}{x})\geq{(n-1)-3+k-1}\mbox{.}
\end{equation}

Combining inequalities (\ref{MPThm.1.eq.1}) and (\ref{MPThm.1.eq.2}) completes the proof.
\end{proof}

As argued above, $\Omega(T,v)$ is empty when $k>n/2-2$. If, on the contrary, $k\leq{n/2-2}$, then $\Omega(T,v)$ is non-empty. In order to prove that, the following proposition will be needed

\begin{proposition}\label{Prop.close.1}
Let $V$ be a totally ordered finite set. If a subset $S$ of $V$ has cardinality at most $(|V|-3)/2$, then there exists $x\in{V\mathord{\setminus}S}$ such that there are exactly $i$ elements of $S$ and exactly $2i+1$ elements of $V$ less than $x$.
\end{proposition}
\begin{proof}
First observe that, since $|S|\leq(|V|-3)/2$, then $V$ must contain at least three elements. For any $y\in{V}$, respectively call $f(y)$ and $g(y)$ the number of elements of $V$ less than $y$ and the number of elements of $S$ less than $y$. When $y$ is the smallest element of $V$, the sum $f(y)-2g(y)-1$ is negative. As $|S|\leq(|V|-3)/2$, this sum is positive when $y$ is the largest element of $V$. Further observe that this sum varies by at most one from an element of $V$ to the next. Hence there must be $x\in{V}$ such that $f(x)-2g(x)-1=0$. In other words, exactly $i$ elements of $S$ and exactly $2i+1$ elements of $V$ are less than $x$, where $i=g(x)$. Assuming that $x$ is the largest such element of $V$, then $f(y)-2g(y)-1$ must be positive for the element $y$ of $V$ following $x$, proving that $x$ cannot belong to $S$.
\end{proof}

A constructive proof that $\Omega(T,v)$ is non-empty when $v$ is incident to more than half of the interior edges of $T$ can now be given.

\begin{lemma}\label{Lem.sec1.2}
Let $T$ be a triangulation of a convex polygon $\pi$ with $n$ vertices and $v$ a vertex of $\pi$ incident to $n-3-k$ interior edges of $T$. If $k\leq{n/2-2}$, then $\Omega(T,v)$ is non-empty.
\end{lemma}
\begin{proof}
Assume that $k\leq{n/2-2}$ and consider a shelling $a_1$, ..., $a_k$ of $T$ at $v$. Let $\pi'$ be a polygon whose vertex set is made up of $m$ vertices of $\pi$ distinct from $v$. Note that there is at least one such polygon. Indeed, $n$ must be at least $4$ because $0\leq{k}\leq{n/2-2}$.
Call $S(\pi')$ the set of the vertices among $a_1$ to $a_k$ such that the two edges of $\pi$ incident to these vertices are both also edges of $\pi'$. Assume that $S(\pi')$ has cardinality at most $(m-3)/2$.

It will be proven by induction on $m$ that there exists a triangulation $U'$ of $\pi'$ such that, if $a_i$ belongs to $S(\pi')$ then it is incident to at least two interior edges of $U'$ whose other vertex is not in $S(\pi')\cap\{a_i, ..., a_k\}$. Note that if $m$ is equal to $n-1$, then the elements of $S(\pi')$ are exactly $a_1$ to $a_k$. Hence, in this case, gluing the ear in $v$ to $U'$ will result in a triangulation $U$ of $\pi$ that belongs to $\Omega(T,v)$.

If $S(\pi')$ is empty then any triangulation of $\pi'$ has the desired property. Otherwise, say that $j$ is the smallest index such that $a_j$ belongs to $S(\pi')$. Order the set $V$ of the vertices of $\pi'$ distinct from $a_j$ clockwise from the one that follows $a_j$ to the one that precedes it.

Note that
\begin{equation}\label{Close.Exist.eq.1}
|V\cap{S(\pi')}|\leq\frac{|V|-4}{2}\mbox{.}
\end{equation}

Therefore, invoking Proposition \ref{Prop.close.1} with $V$ and $S(\pi')\mathord{\setminus}\{a_j\}$ provides a vertex $x$ in $V\mathord{\setminus}S(\pi')$ such that the set $V_1$ of the vertices in $V$ less than $x$ satisfies
\begin{equation}\label{Close.Exist.eq.2}
|V_1\cap{S(\pi')}|=\frac{|V_1|-1}{2}\mbox{.}
\end{equation}

Combining (\ref{Close.Exist.eq.1}) and (\ref{Close.Exist.eq.2}) yields:
\begin{equation}\label{Close.Exist.eq.3}
|[V\setminus{V_1}]\cap{S(\pi')}|\leq\frac{|V\mathord{\setminus}V_1|-3}{2}\mbox{.}
\end{equation}

Hence, invoking Proposition \ref{Prop.close.1} again, but with $V\setminus{V_1}$ provides a vertex $y$ in $[V\setminus{V_1}]\mathord{\setminus}S(\pi')$ such that the set $V_2$ of the vertices less than $y$ in $V\setminus{V_1}$ satisfies
\begin{equation}\label{Close.Exist.eq.4}
|V_2\cap{S(\pi')}|=\frac{|V_2|-1}{2}\mbox{.}
\end{equation}

Further call $V_3=V\mathord{\setminus}[V_1\cup{V_2}]$, and observe that, by (\ref{Close.Exist.eq.3}) and (\ref{Close.Exist.eq.4}),
\begin{equation}\label{Close.Exist.eq.5}
|V_3\cap{S(\pi')}|\leq\frac{|V_3|-2}{2}\mbox{.}
\end{equation}

Now denote by $\pi'_1$, $\pi'_2$, and $\pi'_2$ the polygons whose vertex sets are, respectively, $V_1\cup\{x,a_j\}$, $V_2\cup\{y,a_j\}$, and $V_3\cup\{a_j\}$.
\begin{figure}
\begin{centering}
\includegraphics{NonEmpty}
\caption{An example of the construction in the proof of Lemma \ref{Lem.sec1.2}.
}\label{Close.fig.2}
\end{centering}
\end{figure}
These three polygons can be alternatively obtained by cutting $\pi'$ along edges $\{a_j,x\}$ and $\{a_j,y\}$. For instance, these edges are shown as dotted lines in Fig. \ref{Close.fig.2} for all the polygons $\pi'$ (shown in light grey) that are inductively considered for the particular shelling indicated in the figure. Note that the resulting triangulation is the one shown in the center of Fig. \ref{Close.fig.1}. Let $l\in\{1,2,3\}$. Observe that
$$
S(\pi'_l)=V_l\cap{S(\pi')}\mbox{.}
$$

Therefore, calling $m_l$ the number of vertices of $\pi_l$, it follows from either (\ref{Close.Exist.eq.2}), (\ref{Close.Exist.eq.4}), or (\ref{Close.Exist.eq.5}) that $|S(\pi'_l)|\leq(m_l-3)/2$. Hence, by induction, there exist a triangulation $U_l$ of $\pi'_l$ such that if $a_i$ belongs to $S(\pi'_l)$, then it is is incident to at least two interior edges of $U'_l$ whose other vertex does not belong to $S(\pi'_l)\cap\{a_i, ..., a_k\}$. Now, call $U'=U'_1\cup{U'_2}\cup{U'_3}$. Consider a vertex among $a_1$ to $a_k$ that belongs to $S(\pi')$, say $a_i$. Recall that $S(\pi'_1)$, $S(\pi'_2)$, $S(\pi'_3)$, and $\{a_j\}$ form a partition of $S(\pi')$. Hence, if $i\neq{j}$, then there exists a unique $l\in\{1,2,3\}$ such that $a_i\in{S(\pi'_l)}$. In this case, as proven above, $a_i$ is incident to at least two interior edges of $U'_l$ whose other vertex is not in $S(\pi'_l)\cap\{a_i, ..., a_k\}$. Since $a_j$ is the only vertex of $\pi'_l$ in $S(\pi')\setminus{S(\pi'_l)}$ and since $j<i$, then $a_i$ is incident to at least two interior edges of $U'$ whose other vertex is not in $S(\pi')\cap\{a_i, ..., a_k\}$. If $i=j$ then, by construction, $a_i$ is incident to $\{a_i,x\}$ and $\{a_i,y\}$. As $x$ and $y$ do not belong to $S(\pi')$, the lemma is proven.
\end{proof}

The results of this section have the following consequence.

\begin{theorem}\label{Cor.close.1}
Let $T$ be a triangulation of a polygon $\pi$ and $v$ a vertex of $\pi$ incident to exactly $n-3-k$ interior edges of $T$. If $k$ is at most $n/2-2$ then $T$ has eccentricity exactly $n-3+k$ in the flip-graph of $\pi$
\end{theorem}
\begin{proof}
Assume that $k\leq{n/2-2}$. In this case, by Lemma \ref{Lem.sec1.2}, $\Omega(T,v)$ is non-empty. According to Theorem \ref{MPThm.1}, the eccentricity of $T$ in the flip-graph of $\pi$ is then at least $n-3+k$. By Proposition \ref{Intro.prop.1}, this bound is sharp.
\end{proof}

\section{Eccentricities away from combs}\label{Sec.away}

Consider a polygon $\pi$ with $n$ vertices. If $a$ and $b$ are any two vertices of $\pi$, the ordered pair $(a,b)$ will be called an \emph{oriented edge on $\pi$}. Such an edge splits the vertices of $\pi$ into two parts. More precisely, the vertices of $\pi$ can be labeled as $v_0$ to $v_{n-1}$ in such a way that $v_0=a$ and, for all $i\in\{1, ..., n-1\}$, $(v_{i-1},v_i)$ is a clockwise oriented boundary edge of $\pi$. For some index $l$, that will be called the \emph{length of $(a,b)$}, vertices $b$ and $v_l$ coincide. Vertices $v_1$ to $v_{l-1}$ will be referred to as the vertices of $\pi$ \emph{on the left of $(a,b)$}, and $v_{l+1}$ to $v_{n-1}$ as the vertices of $\pi$ \emph{on the right of $(a,b)$}. Using this notion, one can define, for every triangulation $T$ of a polygon $\pi$, a set of triangulations of $\pi$ that will be at a reasonably large distance of $T$ in the flip-graph of $\pi$, provided $T$ is far away from every comb.

\begin{definition}\label{Def.far.1}
Let $T$ be a triangulation of a polygon $\pi$, and $(a,b)$ an oriented edge on $\pi$ of length at most $\lceil{n/2}\rceil-1$ such that $\{a,b\}$ belongs to $T$. Call $\tilde{\Omega}(T,a,b)$ the set of all the triangulations $U$ of $\pi$ such that all the interior edges shared by $T$ and $U$ are incident to $a$ or to $b$, and all the vertices of $\pi$ on the left of $(a,b)$ are incident to at least two interior edges of $U$.
\end{definition}

In the sequel, the following straightforward result will be needed.

\begin{proposition}\label{Prop.far.1}
Let $T$ be a triangulation of a polygon $\pi$ and $(a,b)$ an oriented edge on $\pi$ such that $\{a,b\}$ is an edge of $T$. If $(a,b)$ has length at least $2$, then $T$ has an ear in a vertex of $\pi$ left of $(a,b)$.
\end{proposition}
\begin{proof}
Assume that $(a,b)$ has length at least $2$. In this case, as $\{a,b\}$ is an edge of $T$, cutting $T$ along this edge results in a triangulation $U$ of the polygon placed on the left of $(a,b)$.
If $(a,b)$ has length exactly $2$, then this polygon has three vertices and $U$ is made up of a single triangle. This triangle is an ear of $T$ in the only vertex of $\pi$ left of $(a,b)$. If $(a,b)$ has length at least $3$, then $U$ has at least two ears (see for instance \cite{Meisters1980}). At least one of these ears must be an ear in some vertex $v$ of $\pi$ on the left of $(a,b)$ and, therefore, it is also an ear of $T$ in $v$.
\end{proof}

The structure of the triangulations in $\tilde{\Omega}(T,a,b)$ make it possible to obtain reasonable lower bounds on their distance to $T$ using Lemma \ref{Lem.intro.1} inductively.

\begin{theorem}\label{Thm.far.1}
Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices and an oriented edge $(a,b)$ on $\pi$ of length $l$ such that $\{a,b\}$ belongs to $T$. Let $U$ be a triangulation in $\tilde{\Omega}(T,a,b)$. If $m$ is the number of vertices of $\pi$ on the right of $(a,b)$ that are adjacent to $a$ or to $b$ by an interior edge of $T$ and to a vertex of $\pi$ that is not on the right of $(a,b)$ by an interior edge of $U$, then $d(T,U)\geq{n-m+l-5}$.
\end{theorem}

\begin{proof}
Call $m$ the number of vertices of $\pi$ on the right of $(a,b)$ that are adjacent to $a$ or to $b$ by an edge of $T$ and to a vertex of $\pi$ that is not on the right of $(a,b)$ by an edge of $U$. The theorem will be proven by induction on $l$. By Definition \ref{Def.far.1}, the only possible edges common to $T$ and $U$ are incident to $a$ or to $b$. On the other hand, at most $m$ vertices of $\pi$ are adjacent to $a$ or to $b$ by an interior edge common to $T$ and $U$, and these are necessarily on the right of $(a,b)$. As only one such vertex can be adjacent to both $a$ and $b$ in a triangulation, $T$ and $U$ share at most $m+1$ interior edges. Hence all the interior edges of $T$ must be flipped in order to obtain $U$, except possibly $m+1$ of them. As a consequence, $d(T,U)\geq{n-m-4}$. In particular, the desired result holds when $l$ is equal to $1$.

Now assume that $l\geq2$. In this case, by Proposition \ref{Prop.far.1}, $T$ has an ear in some vertex $c$ of $\pi$ on the left of $(a,b)$. Moreover, according to Definition \ref{Def.far.1}, at least two interior edges of $U$ are incident to $c$. Hence, Lemma \ref{Lem.intro.1} yields:
\begin{equation}\label{Thm.far.1.eq.1}
d(T,U)\geq{d(T\mathord{\varparallelinv}{x},U\mathord{\varparallelinv}{x})+2}\mbox{,}
\end{equation}
where $x$ is either equal to $c$ or to the vertex of $\pi$ that immediately precedes $c$ clockwise. If $x$ is equal to $a$, let $a'$ denote the vertex of $\pi$ that immediately follows $a$ clockwise. Otherwise call $a'=a$. Observe that $\{a',b\}$ is an edge of $T$. It turns out that $U\mathord{\varparallelinv}{x}$ belongs to $\tilde{\Omega}(T\mathord{\varparallelinv}{x},a',b)$. Indeed, the deletion of $x$ cannot decrease the number of interior edges of $U$ incident to the other vertices of $\pi$ left of $(a,b)$. In addition, if this deletion makes an edge of $T$ and a previously distinct edge of $U$ identical, then the resulting edge must be incident to the vertex $y$ of $\pi$ that follows $x$ clockwise. However, as no interior edge of $U\mathord{\varparallelinv}{x}$ is incident to two vertices of $\pi$ left of $(a',b)$, and as $\{a'b\}\in{T\mathord{\varparallelinv}{x}}$, an interior edge common to $T\mathord{\varparallelinv}{x}$ and $U\mathord{\varparallelinv}{x}$ cannot be incident to a vertex of $\pi$ on the left of $\{a,b\}$. Hence, in this case, $y=b$, and all the interior edges shared by $T\mathord{\varparallelinv}{x}$ and $U\mathord{\varparallelinv}{x}$ must be incident to $a'$ or to $b$.

Now observe that the number of vertices of $\pi$ on the right of $(a',b)$ that are adjacent to $a'$ or to $b$ by an edge of $T\mathord{\varparallelinv}{x}$ and to a vertex of $\pi$ that is not on the right of $(a',b)$ by an edge of $U\mathord{\varparallelinv}{x}$ is still equal to $m$. Therefore, by induction,
\begin{equation}\label{Thm.far.1.eq.2}
d(T\mathord{\varparallelinv}{x},U\mathord{\varparallelinv}{x})\geq{(n-1)-m+(l-1)-5}\mbox{.}
\end{equation}

Combining inequalities (\ref{Thm.far.1.eq.1}) and (\ref{Thm.far.1.eq.2}) completes the proof.
\end{proof}

The bounds provided by Theorem \ref{Thm.far.1} depend on the choice of two vertices. In order to choose these vertices in such a way that the resulting bounds are as good as possible, the following notion is needed. Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices. A \emph{clockwise-oriented central triangle of $T$} is an ordered triple $(a,b,c)$ of vertices of $\pi$ such that $(a,b)$, $(b,c)$, and $(c,a)$ each have length at most $n/2$ and their unordered counterparts $\{a,b\}$, $\{b,c\}$, and $\{a,c\}$ are edges of $T$. Note that the lengths of $(a,b)$, $(b,c)$, and $(c,a)$ must sum to $n$.

\begin{proposition}\label{Prop.far.2}
Every triangulation of a convex polygon admits at least one clockwise-oriented central triangle.
\end{proposition}
\begin{proof}
Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices. If $n$ is equal to $3$, then $\pi$ admits a unique triangulation whose only triangle immediately provides a clockwise-oriented central triangle. Assume that $n$ is at least $4$. Let $(a,b,c)$ be a triple of vertices of $\pi$ such that $\{a,b\}$, $\{b,c\}$, and $\{a,c\}$ belong to $T$. Denote by $l(a,b,c)$ the greatest length among those of $(a,b)$, $(b,c)$, and $(c,a)$. Now assume that $(a,b,c)$ is a such triple of vertices of $\pi$ for which $l(a,b,c)$ is the smallest possible. Assume without loss of generality that $l(a,b,c)$ is the length of $(a,b)$. As $n\geq4$, this length must be greater than $1$. Hence there exists a vertex $c'$ of $\pi$ distinct from $c$ such that $\{b,c'\}$ and $\{a,c'\}$ belong to $T$.

Note that the lengths of $(a,c')$ and $(c',b)$ sum to $l(a,b,c)$. As these length are both positive, they are necessarily less than $l(a,b,c)$. As $l(b,a,c')$ is at least $l(a,b,c)$, $(b,a)$ must have length $l(b,a,c')$. Finally, observe that the lengths of $(a,b)$ and of $(b,a)$ sum to $n$. Hence, $l(a,b,c)$ is at most $n/2$ because $l(b,a,c')$ is larger than or equal to $l(a,b,c)$.
\end{proof}

The following can now be stated and proven.

\begin{lemma}\label{Lem.far.1}
Let $T$ be a triangulation of a polygon $\pi$. Consider a clockwise oriented central triangle $(a,b,c)$ of $T$. Denote by $l$ the smallest length among those of $(a,b)$, $(b,c)$, and $(c,a)$. There exists a triangulation $U$ of $\pi$ such that
$$
d(T,U)\geq{n+l-6}\mbox{.}
$$
\end{lemma}
\begin{proof}
Let $l_a$, $l_b$ and $l_c$ denote the lengths of $(a,b)$, $(b,c)$, and $(c,a)$, respectively. If $(x,y)$ is equal to $(a,b)$, to $(b,c)$, or to $(c,a)$, further call $m_x$ the number of vertices on the right of $(x,y)$ adjacent to $x$ or to $y$ by an interior edge of $T$. The sum $m_a+m_b+m_c-3$ counts the number of interior edges of $T$ incident to $a$, to $b$, or to $c$ (the subtracted $3$ stands for $\{a,b\}$, $\{b,c\}$, and $\{a,c\}$ being counted twice each.) This sum cannot exceed the number of interior edges of $T$. In other words,
$$
m_a+m_b+m_c\leq{n}\mbox{.}
$$

As $l_a$, $l_b$, and $l_c$ sum to $n$, it follows that
$$
2l_a+2l_b+2l_c\leq{3n-m_a+m_b+m_c}\mbox{.}
$$

Hence, there must be a vertex $x$ among $a$, $b$, and $c$ satisfying
\begin{equation}\label{Lem.far.1.eq.1}
2l_x\leq{n-m_x}
\end{equation}

It will be assumed, without loss of generality, that inequality (\ref{Lem.far.1.eq.1}) holds with $x=a$. Observe that the number of vertices of $\pi$ on the right of $(a,b)$ that are not adjacent to $a$ or to $b$ by an interior edge of $T$ is exactly $n-l_a-m_a-1$. Therefore, by (\ref{Lem.far.1.eq.1}), there are at least $l_a-1$ such vertices. Consider a polygon $\pi'$ whose vertices are $a$ and $b$ together with all the vertices of $\pi$ on the left of $(a,b)$, and exactly $l_a-1$ vertices on the right of $(a,b)$ that are not adjacent to $a$ or to $b$ by an interior edge of $T$.
\begin{figure}
\begin{centering}
\includegraphics{Zigzag1}
\caption{An example of the construction in the proof of Lemma \ref{Lem.far.1}.
}\label{Far.fig.1}
\end{centering}
\end{figure}
Further consider a zigzag triangulation $Z$ of $\pi'$ with its ears in $a$ and in $b$: the interior edges of this triangulation form a simple path that alternates between left and right turns. Two possible polygons $\pi'$, together with corresponding zigzag triangulations are shown in Fig. \ref{Far.fig.1} when $T$ and $(a,b,c)$ are as shown on the left of the figure. By construction, none of the (boundary or interior) edges of $Z$ are interior edges of $T$. Now complete $Z$ into a triangulation $U$ of $\pi$ by adding edges, in such a way that the number of interior edges shared by $T$ and $U$ is as small as possible. It turns out that $T$ and $U$ cannot share an interior edge. Indeed, otherwise, flipping such an edge within $U$ would result in a triangulation that contains all the edges of $Z$, and that shares one less edge with $T$.

The only vertices of $\pi'$ that are not incident to exactly two interior edges of $Z$ are $a$ and $b$, as well as two vertices of $\pi'$ adjacent to $a$ and to $b$ on the boundary of $\pi'$. Note that the latter two vertices are incident to exactly one interior edge of $Z$. The orientation of $Z$ will be chosen such that the only vertex of $\pi$ on the left of $(a,b)$ incident to a single interior edge of $Z$ is the one that immediately precedes $b$ clockwise. Call this vertex $p$ and observe that $\{b,p\}$ cannot be incident to the same triangle in $T$ and in $U$ because the interior edge of $Z$ incident to $p$ crosses $\{a,b\}$. As a consequence, there must be at least one flip incident to $\{b,p\}$ along any path between $T$ and $U$. It then follows from Lemma \ref{Lem.intro.0} that:
\begin{equation}\label{Lem.far.1.eq.2}
d(T,U)\geq{d(T\mathord{\varparallelinv}{p},U\mathord{\varparallelinv}{p})+1}\mbox{.}
\end{equation}

Now observe that $(a,b)$, as an oriented edge on the polygon whose vertex set is obtained by removing $p$ from the vertex set of $\pi$, has length at most $\lceil{n/2}\rceil-1$. By construction, $U\mathord{\varparallelinv}{p}$ still does not share an interior edge with $T\mathord{\varparallelinv}{p}$, and all the vertices of $U\mathord{\varparallelinv}{p}$ on the left of $(a,b)$ are now incident to two interior edges of $U\mathord{\varparallelinv}{p}$. Hence, $U\mathord{\varparallelinv}{p}$ belongs to $\tilde{\Omega}(T\mathord{\varparallelinv}{p},a,b)$. Moreover, no vertex of $\pi$ on the right of $(a,b)$ is both adjacent to $a$ or to $b$ by an interior edge of $T\mathord{\varparallelinv}{p}$ and to a vertex that is not on the right of $(a,b)$ by an interior edge of $U\mathord{\varparallelinv}{p}$.

Hence, Theorem \ref{Thm.far.1} yields:
\begin{equation}\label{Lem.far.1.eq.3}
d(T\mathord{\varparallelinv}{p},U\mathord{\varparallelinv}{p})\geq{n-1+l_a-1-5}
\end{equation}

Combining (\ref{Lem.far.1.eq.2}) with (\ref{Lem.far.1.eq.3}) and observing that $l_a\geq{l}$ completes the proof.
\end{proof}

When the central triangle in the statement of Lemma \ref{Lem.far.1} has a very short edge, the provided inequality is weak. In this case, the largest number of interior edges of a triangulation incident to any of its vertices comes into play. The following result takes this number into account.

\begin{lemma}\label{Lem.far.2}
Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices. Let $(a,b,c)$ be a clockwise oriented central triangle of $T$ and $l$ the smallest length among those of $(a,b)$, $(b,c)$, and $(c,a)$. If all the vertices of $\pi$ are incident to at most $n-3-k$ interior edges of $T$, then, there exists a triangulation $U$ of $\pi$ such that
$$
d(T,U)\geq{n+\frac{k-9}{2}-l}\mbox{.}
$$
\end{lemma}
\begin{proof}
Assume without loss of generality that $(c,a)$ has length $l$. Let $l_a$ and $l_b$ denote the lengths of $(a,b)$ and $(b,c)$, respectively. If $(x,y)$ is equal to $(a,b)$ or to $(b,c)$ further call $m_x$ the number of vertices on the right of $(x,y)$ adjacent to $x$ or to $y$ by an interior edge of $T$. Call $d$ the number of interior edges of $T$ incident to $b$. Note that $m_a+m_b-d-1$ counts the number of interior edges of $T$ incident to $a$ or to $c$ on one end, and to a vertex of $\pi$ that is not right of $(c,a)$ on the other. Again, $m_a+m_b-d$ needs to be subtracted by $1$ because $\{a,c\}$ would otherwise be counted twice. As there are at most $l-1$ edges whose two vertices are not on the right of $(c,a)$, the following inequality holds:
\begin{equation}\label{Lem.far.2.eq.1.5}
m_a+m_b-d-1\leq{l-1}\mbox{.}
\end{equation}

Now assume that all the vertices of $\pi$ are incident to at most $n-3-k$ interior edges of $T$. Bounding $d$ accordingly and writing $n$ as the sum of $l_a$, $l_b$ and $l$, (\ref{Lem.far.2.eq.1.5}) yields
$$
l_a-m_a+l_b-m_b\geq{k-2l+3}\mbox{.}
$$

Therefore, the following holds with $x$ equal to $a$ or $b$:
\begin{equation}\label{Lem.far.2.eq.1}
l_x-m_x\geq\frac{k+3}{2}-l\mbox{.}
\end{equation}

It will be assumed without loss of generality that (\ref{Lem.far.2.eq.1}) holds with $x=a$. Consider a polygon $\pi'$ whose vertices are $a$ and $b$ together with all the vertices of $\pi$ on the left of $(a,b)$ and exactly $l_a-1$ vertices of $\pi$ on the right of $(a,b)$.
\begin{figure}
\begin{centering}
\includegraphics{Zigzag2}
\caption{An example of the construction in the proof of Lemma \ref{Lem.far.2}
}\label{Far.fig.2}
\end{centering}
\end{figure}
As in the proof of Lemma \ref{Lem.far.1}, consider a zigzag triangulation $Z$ of $\pi'$ with its ears in $a$ and in $b$. Observe that none of the interior edges of $Z$ belong to $T$ because they all cross $\{a,b\}$. Now complete the set of the interior edges of $Z$ into a triangulation $U$ of $\pi$ by adding edges, in such a way that the number of interior edges shared by $T$ and $U$ is as small as possible. Again, $T$ and $U$ cannot share an interior edge. Otherwise, flipping such an edge within $U$ would result in a triangulation that contains all the interior edges of $Z$, and that shares one less edge with $T$. Two triangulations $U$ built this way are shown in Fig. \ref{Far.fig.2} when $T$ is the triangulation represented on the left of the figure. Note that $\pi'$ is colored dark grey in each case, and that the interior edges of $U$ that are not interior edges of  $Z$ are dashed. As can be seen, the boundary edges of $\pi'$ do not necessarily belong to $U$.

As in the proof of Lemma \ref{Lem.far.1}, it can be assumed that the only vertex of $\pi$ on the left of $(a,b)$ that is possibly incident to less than two interior edges of $U$ is the vertex that immediately precedes $b$ clockwise. Call this vertex $p$ and observe that $\{b,p\}$ cannot be incident to the same triangle in $T$ and in $U$ because the interior edge of $Z$ incident to $p$ crosses $\{a,b\}$. As a consequence, there must be at least one flip incident to $\{b,p\}$ along any path between $T$ and $U$ and Lemma \ref{Lem.intro.0} provides the following inequality:
\begin{equation}\label{Lem.far.2.eq.2}
d(T,U)\geq{d(T\mathord{\varparallelinv}{p},U\mathord{\varparallelinv}{p})+1}\mbox{.}
\end{equation}

Again, the length of $(a,b)$, as an oriented edge on the polygon whose vertex set is obtained by removing $p$ from the vertex set of $\pi$, is at most $\lceil{n/2}\rceil-1$. Further note that the only interior edges common to $T\mathord{\varparallelinv}{p}$ and $U\mathord{\varparallelinv}{p}$ possibly created by the deletion of $p$ must be incident to $b$. Moreover, all the vertices of $U\mathord{\varparallelinv}{p}$ on the left of $(a,b)$ are incident to at least two (and this time possibly more than two) interior edges of $U\mathord{\varparallelinv}{p}$. Hence, $U\mathord{\varparallelinv}{p}$ belongs to $\tilde{\Omega}(T\mathord{\varparallelinv}{p},a,b)$. Moreover, the number of vertices of $\pi$ on the right of $(a,b)$ that are adjacent to $a$ or to $b$ by an interior edge of $T\mathord{\varparallelinv}{p}$ and to a vertex that is not on the right of $(a,b)$ by an interior edge of $U\mathord{\varparallelinv}{p}$ is at most $m_a$. Hence, Theorem \ref{Thm.far.1} yields:
\begin{equation}\label{Lem.far.2.eq.3}
d(T\mathord{\varparallelinv}{p},U\mathord{\varparallelinv}{p})\geq{n-1-m_a+l_a-1-5}
\end{equation}

Combining (\ref{Lem.far.2.eq.1}), (\ref{Lem.far.2.eq.2}), and (\ref{Lem.far.2.eq.3}) completes the proof.
\end{proof}

Lemmas \ref{Lem.far.1} and \ref{Lem.far.2} provide the following.

\begin{theorem}\label{Thm.far.2}
Consider a triangulation $T$ of a polygon $\pi$ with $n$ vertices. If all the vertices of $T$ are incident to at most $n-3-k$ interior edges of $T$, then $T$ has eccentricity at least $n+(k-21)/4$ in the flip-graph of $\pi$.
\end{theorem}
\begin{proof}
According to Proposition \ref{Prop.far.2}, $T$ admits a clockwise oriented central triangle $(a,b,c)$. Let $l$ be the smallest length among those of $(a,b)$, $(b,c)$, and $(c,a)$. If $l\geq(k+3)/4$, then Lemma \ref{Lem.far.1} provides the desired result, and if $l<(k+3)/4$, then Lemma \ref{Lem.far.2} does.
\end{proof}

This theorem allows to bound below the eccentricity of the triangulations with no vertex incident to more than half of their interior edges. Since this lower bound is large enough, Theorem \ref{Cor.close.1} provides a precise characterization of the triangulations with a given, small enough eccentricity in the flip-graph of a convex polygon

\begin{corollary}\label{Cor.far.1}
Let $\pi$ be a polygon with $n$ vertices. If $0\leq{k}\leq{n/8-5/2}$, then a triangulation $T$ of $\pi$ has eccentricity $n-3+k$ in the flip-graph of $\pi$ if and only if some vertex of $\pi$ is incident to $n-3-k$ interior edges of $T$.
\end{corollary}
\begin{proof}
Consider an integer $k$ such that $0\leq{k}\leq{n/8-5/2}$ and a triangulation $T$ of a polygon $\pi$ with $n$ vertices. First assume that some vertex of $\pi$ is incident to $n-3-k$ interior edges of $T$. Since $k\leq{n/2-2}$, it follows from Theorem \ref{Cor.close.1} that the eccentricity of $T$ in the flip-graph of $\pi$ is $n-3+k$.

Now assume that the eccentricity of $T$ in the flip-graph of $\pi$ is $n-3+k$. Since $k\leq{n/8-5/2}$, this eccentricity is bounded above by
$$
\frac{9}{8}n-\frac{11}{2}\mbox{.}
$$

Let $n-3-l$ be the largest number of interior edges of $T$ incident to some of its vertices, and call $v$ such a vertex. By Theorem \ref{Thm.far.2}, the eccentricity of $T$ in the flip-graph of $\pi$ is at least $n+(l-21)/4$. As a consequence,
$$
n+\frac{l-21}{4}\leq\frac{9}{8}n-\frac{11}{2}\mbox{.}
$$

It follows that $l\leq(n-2)/2$. According to Theorem \ref{Cor.close.1}, the eccentricity of $T$ in the flip-graph of $\pi$ is then $n-3+l$. This proves that $k$ is equal to $l$ and, therefore, that $v$ is incident to $n-3-k$ interior edges of $T$.
\end{proof}

\section{Concluding remarks and questions}\label{Sec.conc}

Let $\pi$ be a polygon with $n$ vertices. Further consider an integer $k$. According to Theorem \ref{Cor.close.1}, all the triangulations of $\pi$ with $n-3-k$ interior edges incident to a vertex have the same eccentricity in the flip-graph of $\pi$ when $k\leq{n/2-2}$. The expression of this common eccentricity, $n-3+k$, is remarkably symmetric. This seemingly unexpected result invites the question of whether something similar holds for the triangulations of $\pi$ whose maximal number of interior edges incident to a vertex is exactly $n-3-k$ with $k>n/2-2$. Note that the two cases are very different. When $k$ is less than or equal to $n/2-2$, some vertex of $\pi$ is incident to more than half the interior edges of $T$, and if the inequality is strict, then this vertex is necessarily unique. When $k$ is greater than $n/2-2$, there can be several vertices incident to exactly $n-3-k$ interior edges of of $T$.

It turns out that Theorem \ref{Cor.close.1} does not extend to the latter case.

\begin{theorem}\label{Thm.rem.1}
Consider a polygon $\pi$ with $n$ vertices and an integer $k$ such that $n/2-2<k\leq{n-5}$. There exists a triangulation of $\pi$ whose largest number of interior edges incident to a vertex is exactly $n-3-k$, but whose eccentricity in the flip-graph of $\pi$ is at most $n-4+k$.
\end{theorem}
\begin{proof}
Call
$$
l=\left\lceil\frac{n-3}{n-3-k}\right\rceil+1\mbox{.}
$$

Since $k$ is greater than $n/2-2$ and at most $n-5$, one obtains
$$
3\leq{l}\leq\frac{n}{2}\mbox{.}
$$

In particular, there exists an oriented edge $(a,b)$ of length $l$ on $\pi$. Consider a triangulation $T$ of $\pi$ whose all interior edges cross $\{a,b\}$. It follows from the choice of $l$ that the edges of $T$ can be placed such a way that two vertices $x$ and $y$ of $\pi$ on the left of $(a,b)$ are incident to exactly $n-3-k$ interior edges of $T$, while all the other vertices of $\pi$ are incident to at most $n-3-k$ interior edges of $T$. It can be assumed without loss of generality that $\{x,y\}$ is an edge of $\pi$.

Consider a triangulation $U$ of $\pi$. Since $\{x,y\}$ is an edge of $\pi$, then $U$ cannot have an ear in $x$ and an ear in $y$. Assume without loss of generality that $x$ is incident to at least one interior edge of $U$. In this case, $U$ can be transformed into the comb whose all interior edges are incident to $x$ by a sequence of at most $n-4$ flips. The same triangulation can be reached from $T$ by exactly $k$ flips because $x$ is incident to exactly $n-3-k$ interior edges of $T$. As a consequence the distance of $T$ and $U$ in the flip-graph of $\pi$ is at most $n-4+k$, as desired.
\end{proof}

Theorem \ref{Thm.rem.1} further admits two interesting consequences. The first of these consequences is that Corollary \ref{Cor.far.1} does not hold up to $k=\lfloor{n/2}\rfloor-2$.

\begin{corollary}\label{Cor.rem.1}
Let $\pi$ be a polygon with $n$ vertices. There exists an integer $k$ such that $n/8-5/2<k\leq{n/2-2}$ and a triangulation $T$ of $\pi$ whose vertices are all incident to at most $n-4-k$ interior edges, but whose eccentricity in the flip-graph of $\pi$ is exactly $n-3+k$.
\end{corollary}
\begin{proof}
By Theorem \ref{Thm.rem.1}, there exists a triangulation $T$ of $\pi$ whose largest number of interior edges incident to a vertex is exactly $\lceil{n/2}\rceil-2$, and whose eccentricity in the flip-graph of $\pi$ is at most $3n/2-5$. In particular the difference $k$ between the eccentricity of $T$ in the flip-graph of $\pi$ and $n-3$ is therefore at most $n/2-2$. This inequality can be rewritten as
$$
\left\lceil\frac{n}{2}\right\rceil-2\leq{n-4-k}\mbox{.}
$$

In other words, the vertices of $T$ are all incident to at most $n-4-k$ edges. Finally, by Corollary \ref{Cor.far.1}, $k$ must be greater than $n/8-5/2$.
\end{proof}

The other consequence is that the largest number of interior edges incident to a vertex can be the same for two triangulations while their eccentricities in the flip-graph are distinct.

\begin{corollary}
Let $\pi$ be a polygon with $n$ vertices. If $n$ is greater than $12$, then there exist two triangulations of $\pi$ whose largest number of interior edges incident to one of their vertices is four, while their eccentricities in the flip-graph of $\pi$ are respectively exactly $2n-10$ and at most $2n-11$.
\end{corollary}
\begin{proof}
By Theorem \ref{Thm.rem.1}, there exists a triangulation of $\pi$ whose largest number of interior edges incident to a vertex is exactly four, but whose eccentricity in the flip-graph of $\pi$ is at most $2n-11$. It is proven in \cite{Pournin2014}, though that, when $n>12$, there exist triangulations of $\pi$ whose largest number of interior edges incident to a vertex is exactly four, but whose distance in the flip-graph of $\pi$ is $2n-10$.
\end{proof}

In view of the above results, it is natural to ask the following questions.

\begin{question}
Let $\pi$ be a polygon with $n$ vertices. What are the values of $k$ such that a triangulation $T$ of $\pi$ has eccentricity $n-3+k$ in the flip-graph of $\pi$ if and only if some vertex of $\pi$ is incident to $n-3-k$ interior edges of $T$?
\end{question}

\begin{question}\label{Ques.rem.2}
Let $\pi$ be a polygon with $n$ vertices. Further consider an integer $k$ such that $n/2-2<k\leq{n-5}$. What are the possible values for the eccentricity of the triangulations of $\pi$ whose largest number of interior edges incident to a vertex is exactly $n-3-k$?
\end{question}

Proving that there is a triangulation of $\pi$ with eccentricity $n-3+k$ whenever $n/2-2<k<n-7$ would provide an interesting partial answer to Question \ref{Ques.rem.2}. Note that, when $k$ is equal to $n-7$, such triangulations are given in \cite{Pournin2014}. Further note that, when $k$ is equal to $n-6$ or to $n-5$, the upper bound of $n-3+k$ on the eccentricity cannot be reached because it is greater than $2n-10$. In this cases, Question \ref{Ques.rem.2} is interesting nonetheless. In particular, not much is known about the eccentricity of zigzag triangulations in the flip-graph of a polygon.

\begin{acknowledgements}I thank Thibault Manneville for many discussions on the subject of flip distances, that inspired the results presented in this article.\end{acknowledgements}

\bibliographystyle{amsplain}


Non-cyclic graphs of (non)orientable genus one

Abstract: Let $G$ be a finite non-cyclic group. The non-cyclic graph $\Gamma_G$ of $G$ is the graph whose vertex set is $G\setminus Cyc(G)$, two distinct vertices being adjacent if they do not generate a cyclic subgroup, where $Cyc(G)=\{a\in G: \langle a,b\rangle\ \text{is cyclic for each } b\in G\}$. In this paper, we classify all finite non-cyclic groups $G$ such that $\Gamma_G$ has (non)orientable genus one.

\section{Introduction}
All graphs in this paper are undirected, with no loops or multiple
edges.
A graph $\Gamma$ is called a {\em planar graph} if $\Gamma$ can be drawn in the plane so that no two of its edges cross each other, and in this case we say that $\Gamma$ can be embedded in the plane.
For a non-planar graph, it can be  embedded in some surface obtained from the sphere by attaching some handles or crosscaps.
We denote by $\mathbb{S}_k$ a sphere with $k$ handles and by $\mathbb{N}_k$ a sphere with $k$ crosscaps.
Note that both $\mathbb{S}_0$ and $\mathbb{N}_0$ are the sphere itself, and $\mathbb{S}_1$
and $\mathbb{N}_1$ are the torus and the projective plan, respectively.
The smallest non-negative integer $k$
such that a graph $\Gamma$ can be embedded on $\mathbb{S}_k$ (resp. $\mathbb{N}_k$) is called the {\em orientable genus} or {\em genus} (resp. {\em nonorientable genus}) of $\Gamma$, and is denoted by $\gamma(\Gamma)$ (resp. $\overline{\gamma}(\Gamma)$).

The problem of finding the graph genus is NP-hard \cite{T89}. The (non)orientable genera of some graphs constructed from some algebraic structures have been studied, for instance, see
\cite{W06,CSW10,RD15,A15,D14}.

All groups considered in this paper are finite. Denote by $\mathbb{Z}_n$ and  $D_{2n}$ the cyclic group of order $n$ and the dihedral group of order $2n$, respectively.
Let $G$ be a non-cyclic group. The {\em cyclicizer} ${\rm{Cyc}}(G)$ of $G$ is
$$\{a\in G: \langle a,b\rangle\ \text{is cyclic for each }  b\in G\}.$$
and is a normal subgroup of $G$ (see \cite{OP92}).
The non-cyclic graph $\Gamma_G$ of $G$
is the graph whose vertex set is $G\setminus {\rm{Cyc}}(G)$, and two distinct vertices being adjacent if they do not generate a cyclic subgroup.
The non-cyclic graph $\Gamma_G$ was first considered by
Abdollahi and  Hassanabadi \cite{AH07} and they studied the properties of the graph and established some graph theoretical properties (such as regularity) of this graph in terms
of the group ones. In \cite{AH09}, Abdollahi and  Hassanabadi classified all non-cyclic groups $G$ such that $\Gamma_G$ is planar.

A natural question is the following: Which finite non-cyclic groups have their non-cyclic graphs have(non)orientable genus one ?
The goal of the paper is to find all non-cyclic graphs of (non)orientable genus one.
Our main results are the following theorems.

\begin{thm}\label{th1}
Let $G$ be a finite non-cyclic group. Then $\Gamma_{G}$ has genus one
if and only if $G$ is isomorphic to one of the following groups:
\begin{equation}\label{g1}
\mathbb{Z}_3^2,~\mathbb{Z}_2^3,~\mathbb{Z}_2\times \mathbb{Z}_4,~D_8,~\mathbb{Z}_2 \times \mathbb{Z}_6.
\end{equation}
\end{thm}

\begin{thm}\label{th2}
Let $G$ be a finite non-cyclic group. Then $\Gamma_{G}$ has nonorientable genus one
if and only if $G$ is isomorphic to $\mathbb{Z}_2\times \mathbb{Z}_4$ or $D_8$.
\end{thm}

\section{Preliminaries}\label{sec:}

An element of order $2$ in a
group is called an {\em involution}.
Let $G$ be a group and $g$ be an element of $G$.
Denote by $|G|$ and $|g|$ the orders of $G$ and  $g$, respectively.
We denote the symmetric group on $n$ letters and the quaternion group of order $8$ by $S_n$ and
$Q_8$, respectively.
Also $\mathbb{Z}_n^m$ is used for the $m$-fold direct product of the cyclic group $\mathbb{Z}_n$ with itself. In the following, we state some results which we need in the sequel.

\begin{lem}{\rm (\cite[Proposition 4.3]{AH09})}\label{planar}
$\Gamma_G$ is planar if and only if $G$ is isomorphic to $\mathbb{Z}_2\times \mathbb{Z}_2$, $S_3$ or $Q_8$.
\end{lem}

Let $\Gamma$ be a graph.
Denote by $V(\Gamma)$ and $E(\Gamma)$ the vertex set and the edge set of $\Gamma$, respectively.
We use the natation $\lceil x\rceil$ to denote the least integer that is greater than or
equal to $x$.
Denote by $K_n$ and $K_{m,n}$ the complete graph of order $n$ and the complete bipartite graph,
respectively.
The following result from \cite{Whi} gives the (non)orientable genus of a complete graph and a complete multipartite graph.

\begin{lem}{\rm (\cite{Whi})}\label{ccgenus}
Let $n$ be an integer at least $3$. Then

$(a)$ $\gamma(K_n)=\lceil \frac{1}{12}(n-3)(n-4)\rceil$.

$(b)$  $\overline{\gamma}(K_n)=\lceil \frac{1}{6}(n-3)(n-4)\rceil$ if $n\ne 7$ and $\overline{\gamma}(K_7)=3$.

$(c)$ $\gamma(K_{m,n})=\lceil \frac{1}{4}(m-2)(n-2)\rceil$.

$(d)$ $\overline{\gamma}(K_{m,n})=\lceil \frac{1}{2}(m-2)(n-2)\rceil$.

$(e)$ $\gamma(K_{n,n,n})=\frac{1}{2}(n-1)(n-2)$.

$(f)$ $\gamma(K_{n,n,n,n})=(n-1)^2$ for $n\ne 3$ and $\gamma(K_{3,3,3,3})=5$.
\end{lem}

\begin{lem}{\rm (\cite[pp. 252, Theorem 9.7.3]{S64})}\label{unpg}
Suppose that $G$ is a $p$-group for some prime $p$ and has a unique
subgroup of order $p$.
If $p=2$,  then $G$ is cyclic or generalized quaternion. If $p>2$, then $G$ is cyclic.
\end{lem}

The following result is one of Sylow theorems.

\begin{thm}\label{Sythm}
Suppose that $G$ is a group and $p$ is a prime divisor of $|G|$. Then the number of
Sylow $p$-subgroups is congruent to $1$ modulo $p$. In particular, the number of
subgroups of order $p$ is congruent to $1$ modulo $p$.
\end{thm}

Denote by $\varphi$ the Euler's totient function.

\begin{lem}\label{fact5}
Let $G$ be a non-cyclic group, $p,q$ two distinct primes and $m$ a positive integer at least $1$.
If $\gamma(\Gamma_G)=1$, the each of the following statements does not hold:

$(a)$ $G$ has $4$ cyclic subgroups of order $p^m$ and an element of order $q$, where
$\varphi(p^m)\ge 2$.

$(b)$ $G$ has $4$ cyclic subgroups of order $3$ and $|G|\ge 10$.

$(c)$ $G$ has $3$ cyclic subgroups of order $4$ and an element of order $q^m$, where
$\varphi(q^m)\ge 3$ and $q\ne 2$.

$(d)$ $G$ has $7$ cyclic subgroups of order $2$ and an element of order $q$, where
$q\ne 2$.

$(e)$ $G$ has $3$ cyclic subgroups of order $p^m$, where
$\varphi(p^m)\ge 4$.

$(f)$ $G$ has $2$ cyclic subgroups of order $p^m$, where
$\varphi(p^m)\ge 5$.

\end{lem}
\begin{proof} $(a)$ Suppose, for a contradiction,
that $(a)$ holds. Let $\langle a\rangle$, $\langle b\rangle$, $\langle c\rangle$, $\langle d\rangle$ be
$4$ cyclic subgroups of order $p^m$ of $G$ and $g$ be an element of order $q$.
If $g$ and each element of $\{a,a^{-1},b,b^{-1},c,c^{-1},d,d^{-1}\}$ cannot generate a cyclic subgroup, then the induced subgraph by  $\{a,a^{-1},b,b^{-1},c,c^{-1},d,d^{-1},g\}$ has a subgraph isomorphic to $K_{4,5}$ that has partition sets
$\{c,c^{-1},d,d^{-1}\}$ and $\{a,a^{-1},b,b^{-1},g\}$ and so $\gamma(\Gamma_G)\ge \gamma(K_{4,5})=2$,  a contradiction. Thus, we may
suppose that $g$ and an element of $\{a,a^{-1},b,b^{-1},c,c^{-1},d,d^{-1}\}$ can generate a cyclic subgroup $\langle h\rangle$. Without loss of generality, let $\langle a,g\rangle=\langle h\rangle$. Then $h\in V(\Gamma_G)$ and thereby, the induced subgraph by  $\{a,a^{-1},b,b^{-1},c,c^{-1},d,d^{-1},h\}$ has a subgraph isomorphic to $K_{4,5}$ that has partition sets
$\{c,c^{-1},d,d^{-1}\}$ and $\{a,a^{-1},b,b^{-1},h\}$. So
$\gamma(\Gamma_G)\ge \gamma(K_{4,5})> 1$, also a contradiction.

It is similar to the proof of $(a)$, we can prove $(b)$, $(c)$ and $(d)$.

$(e)$ Assume, to the contrary, that $(e)$ holds.
Take $4$ generators in every cyclic subgroup of order $p^m$. Then it is easy to see that
the induced subgraph by the generators  has a subgraph isomorphic to $K_{4,4,4}$ that has
genus $3$ by Lemma \ref{ccgenus}, a contradiction.

$(f)$ It is similar to the proof of $(e)$.
\end{proof}

\begin{lem}\label{p-group}
Let $G$ be a non-cyclic $p$-group, where $p$ is a prime. Then $\gamma(\Gamma_G)=1$ if and only if $G$ is isomorphic to one of the following groups:
\begin{equation}\label{g2}
\mathbb{Z}_3^2,~\mathbb{Z}_2^3,~\mathbb{Z}_2\times \mathbb{Z}_4,~D_8.
\end{equation}
\end{lem}
\begin{proof}
Note that $\Gamma_{\mathbb{Z}_3^2}\cong K_{2,2,2,2}$, $\Gamma_{\mathbb{Z}_2^3}\cong K_{7}$ and each of $\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4}$ and $\Gamma_{D_8}$ is a subgraph of $K_7$.
By Lemma \ref{ccgenus}, we see that $\Gamma_G$ has genus one for each group $G$ in (\ref{g2}).
We next assume that $\gamma(\Gamma_G)=1$.

Suppose that $p\ge 3$.
Then, by Lemma \ref{unpg} and Theorem \ref{Sythm} we have that $G$ has at least $4$ subgroups of order $p$. It follows from $(e)$ and $(b)$ of Lemma \ref{fact5} that
$|G|\le 9$. This implies that $G\cong \mathbb{Z}_3^2$, as desired.

Now suppose that $p= 2$.
If $|G|\le 8$, then $G$ is isomorphic to $\mathbb{Z}_2^2$,
$Q_8$, $\mathbb{Z}_2^3$, $\mathbb{Z}_2\times \mathbb{Z}_4$ or $D_8$ and by Lemma \ref{planar}
we get the desired result.
Thus, we may suppose that $|G|\ge 16$. If $G$ is generalized quaternion, then $G$ has a subgroup
$\langle x\rangle$ of order $8$ and contains at least $4$ elements $y_1,\cdots,y_4$ of order $4$
that do not belong to $\langle x\rangle$, and so
$\Gamma_G$ has a subgraph isomorphic to $K_{6,4}$ that has partition sets
$\{x^i: 0<i<8, i\ne 4\}$ and $\{y_j: j=1,\ldots,4\}$, a contradiction by Lemma \ref{ccgenus}.
Therefore, by Lemma \ref{unpg} we may assume that  $G$ has at least $3$ involutions.

\medskip
\noindent {\bf Case 1.} $G$ has an element $g$ of order $8$.
\medskip

Suppose that $G$ has two distinct subgroups $\langle g\rangle$, $\langle h\rangle$ of order $8$. Then we may pick an involution $a$ in $G\setminus (\langle g\rangle\cup \langle h\rangle)$.
Now we get a subgraph of $\Gamma_G$ isomorphic to $K_{5,4}$ that has partition sets
$\{g,g^3,g^5,g^7,a\}$ and $\{h,h^3,h^5,h^7\}$, a contradiction by Lemma \ref{ccgenus}.

Thus, we may suppose that $G$ has a unique subgroup $\langle u\rangle$ of order $8$, which is normal in $G$. Take an involution $b$ that does not belong to $\langle u\rangle$. Then
$\langle u,b\rangle$ is a subgroup of order $16$ and has precisely one subgroup of order $8$.
Since $b\notin \langle u\rangle$, $\langle u,b\rangle$ is not cyclic. Note that $G$ is not  generalized quaternion.
By verifying the groups of order $16$, we get that $G\cong D_{16}$ or $QD_{16}$, where
$QD_{16}=\langle a,b: a^8=b^2=1,bab=a^3\rangle$.
If $G\cong D_{16}$, then $G$ has $9$ involutions which induce a subgraph
isomorphic to $K_{9}$, $\gamma(\Gamma_G)\ge \gamma(K_9)=3$ by Lemma \ref{ccgenus}, a contradiction. Note that $QD_{16}$ has only $6$ elements of order $4$.
If $G\cong QD_{16}$, then the subgraph induced by
$6$ elements of order $4$ and $4$ elements of order $8$ has
a subgraph isomorphic to $K_{6,4}$, also a contradiction.

\medskip
\noindent {\bf Case 2.} $G$ has no elements of order $8$.
\medskip

If $G$ has no elements of order $4$, then $\Gamma_G$ is isomorphic to $K_{|G|-1}$, a contradiction as $\gamma(K_{|G|-1})>1$ for $|G|\ge 16$.
Thus, in this case we may assume that $\pi_e(G)=\{1,2,4\}$. Note that $|G|\ge 16$.
Since all involutions induce a complete graph and $\gamma(K_8)\ge 2$, $G$ has at least
$8$ elements of order $4$.
Since a power graph induced by $10$ elements of order $4$ of a group has
a subgraph isomorphic to $K_{6,4}$ that has genus two,
$G$ has precisely $8$ elements of order $4$ and $7$ involutions.
Take an involution $a$ in $G$ that does not belong to any subgroup of order $4$. Then
it is easy to see that the subgraph induced by all elements of order $4$ and $a$ has
a subgraph isomorphic to $K_{5,4}$ that has genus two, a contradiction.
\end{proof}

\section{Proof of the main theorems}

{\noindent \em Proof of Theorem \ref{th1}.}
Note that $\Gamma_{\mathbb{Z}_2 \times \mathbb{Z}_6}$ has a subgraph isomorphic to $K_{3,3}$. Hence $\gamma(\Gamma_{\mathbb{Z}_2 \times \mathbb{Z}_6})\ge 1$. On the other hand,
we can embed $\Gamma_{\mathbb{Z}_2 \times \mathbb{Z}_6}$ into the tours as shown in Figure
\ref{fn3}. This implies that $\gamma(\Gamma_{\mathbb{Z}_2 \times \mathbb{Z}_6})= 1$.
\begin{figure}[hptb]
  \centering
  \includegraphics[width=8cm]{fn3}\\
  \caption{An embedding of $\Gamma_{\mathbb{Z}_2 \times \mathbb{Z}_6}$ on $\mathbb{S}_1$.}\label{fn3}
\end{figure}
Now by Lemma \ref{p-group} we see that $\Gamma_G$ has genus one for any group $G$ in (\ref{g1}).

Now we assume that $\gamma(\Gamma_G)=1$. If $G$ is a $p$-group, the desired result
follows from Lemma \ref{p-group}. Thus,
we may assume that $G$ is not a $p$-group. Let $q$ be an odd prime divisor of $|G|$.
If the number of subgroups of order $q$ is not $1$, then by Theorem \ref{Sythm}
$G$ has at least $4$  subgroups of order $q$ and by $(a)$ of Lemma \ref{fact5},
we have a contradiction.
Thus, $G$ has a unique subgroup of order $q$ and thereby,
every Sylow $q$-subgroup of $G$ is cyclic by Lemma \ref{unpg}. Similarly, we can get that
$G$ has a unique Sylow $q$-subgroup. Note that $G$ is not cyclic.
Thus, we may assume that
$G=P\ltimes Q$, where $P$ is a $2$-group and $Q$ is a cyclic group of odd order.
We next prove that $P$ is not cyclic.

Suppose to the contrary that $P$ is cyclic.
Suppose that $|P|= 2$. Then $G$ is dihedral.  By Lemma \ref{planar}, we see that
$Q\ncong \mathbb{Z}_3$ and so $\varphi(|Q|)\ge 4$ and  $G$ has at least $5$ involutions. This implies that $\Gamma_G$ has a subgraph isomorphic to $K_{5,4}$ that
has two partition sets consisting of $5$ involutions and $4$ generators of $Q$,
a contradiction. Suppose now that $P\cong \mathbb{Z}_4$.
Note that $G$ has at least $3$ cyclic subgroups of order $4$. By $(c)$ of Lemma \ref{fact5},
we get $Q\cong \mathbb{Z}_3$. By checking the groups of order $12$,  $G\cong \langle a,b: a^6=b^4=1,b^2=a^3,b^{-1}ab=a^5\rangle$. It is easy to check that  $\gamma(\Gamma_{G})$ has
a subgraph isomorphic to $K_{4,5}$, a contradiction
If $|P|\ge 8$, since $P$ is not normal in $G$, $G$ has at least $3$ Sylow $2$-subgroups and
since $\varphi(|P|)\ge 4$, a contradiction by $(e)$ of Lemma \ref{fact5}.
This means that $P$ is not cyclic.

Note that $V(\Gamma_P)\subseteq V(\Gamma_G)$. Then $\gamma(\Gamma_P)=0$ or $1$ and by Lemmas~ \ref{planar} and \ref{p-group}, $P$ is isomorphic to one of the following groups:
$$
\mathbb{Z}_2^3,~\mathbb{Z}_2\times \mathbb{Z}_4,~D_8,~Q_8,~\mathbb{Z}_2^2.
$$
First by $(d)$ of Lemma \ref{fact5}, we conclude $P\ncong \mathbb{Z}_2^3$.

\medskip
\noindent {\bf Case 1.} $P\cong \mathbb{Z}_2\times \mathbb{Z}_4$.
\medskip

If $P$ is not normal in $G$, then $G$ has at least $4$ cyclic subgroups of order $4$, a contradiction by $(a)$ of Lemma \ref{fact5}.
Thus, $G\cong P\times Q$ and so $G$ has precisely three involutions and at least
two cyclic subgroups of order $4k$ for some odd prime $k$. Considering the generators of
the two cyclic subgroups of order $4k$ and some involution, we have that
$\Gamma_G$ has a subgraph isomorphic to $K_{4,5}$, a contradiction.

\medskip
\noindent {\bf Case 2.} $P\cong D_8$.
\medskip

If $P$ is not normal in $G$, then $G$ has at least $7$ involutions in the union of all
Sylow $2$-subgroups, a contradiction by $(d)$ of Lemma \ref{fact5}.
Therefore, we may assume that $G\cong P\times Q$. Let $g$ be an element of odd order.
Then $G$ has a cyclic subgroup of order $4|g|$, which has at least $4$ generators $\{g_1,\cdots,g_4\}$.
Now it is easy to see that $\Gamma_G$ has a subgraph isomorphic to $K_{4,5}$ that
has two partition sets $4$ involutions and $\{g_1,\cdots,g_4,a\}$ for some involution $a$, a contradiction.

\medskip
\noindent {\bf Case 3.} $P\cong Q_8$.
\medskip

Note that $Q_8$ has $3$ cyclic subgroups of order $4$. By $(a)$ of Lemma \ref{fact5}, we
may assume that $G\cong P\times Q$. So $G$ has at least $3$ cyclic subgroups of order
$4k$ for some odd prime $k$. By  $(e)$ of Lemma \ref{fact5}, a contradiction.

\medskip
\noindent {\bf Case 4.} $P\cong \mathbb{Z}_2^2$.
\medskip

If $P$ is not normal in $G$, then $G$ has at least $7$ involutions, a contradiction by $(d)$ of Lemma \ref{fact5}. Now we assume that  $G\cong \mathbb{Z}_2^2\times Q$. If $Q\cong \mathbb{Z}_3$, then as desired. Thus, we may assume that $|Q|\ge 5$. Then it is easy to see
that $G$ has at least $3$ cyclic subgroups of order $2k$ for some odd number $k\ne 3$. By $(e)$ of Lemma \ref{fact5}, a contradiction.
\qed

\bigskip

{\noindent \em Proof of Theorem \ref{th2}.} Since $\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4}$ and $\Gamma_{D_8}$ all have some subgraphs isomorphic to $K_{3,3}$, one has that
$\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4})\ge 1$ and $\overline{\gamma}(\Gamma_{D_8})\ge 1$. On the other hand, we may embed $\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4}$ and $\Gamma_{D_8}$ into $\mathbb{N}_1$ as shown in
Figures \ref{fn1} and \ref{fn2}, respectively. So we have $\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4})=\overline{\gamma}(\Gamma_{D_8})=1$.
\begin{figure}[hptb]
  \centering
  \includegraphics[width=8cm]{fn1}\\
  \caption{An embedding of $\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_4}$ on $\mathbb{N}_1$.}\label{fn1}
\end{figure}
\begin{figure}[hptb]
  \centering
  \includegraphics[width=8cm]{fn2}\\
  \caption{An embedding of $\Gamma_{D_8}$ on $\mathbb{N}_1$.}\label{fn2}
\end{figure}

Now we assume that  $\overline{\gamma}(\Gamma_G)=1$.
By Lemma \ref{ccgenus} we see that $\overline{\gamma}(K_{4,4})= 2$
and $\overline{\gamma}(K_{n})\ge 2$ for $n\ge 7$.
Thus, $\Gamma_G$
has no subgraphs isomorphic to $K_{4,4}$ and $K_n$ for $n\ge 7$.
By the proof of Theorem \ref{th1}, it is easy to see that $G$ is one group of (\ref{g1}).
Since $\Gamma_{\mathbb{Z}_3^2}$ has a subgraph isomorphic to $K_{4,4}$ and
$\Gamma_{\mathbb{Z}_2^3}$ has a subgraph isomorphic to $K_{7}$, one has that
$G\cong \mathbb{Z}_2\times \mathbb{Z}_4$, $D_8$ or $\mathbb{Z}_2\times \mathbb{Z}_6$.
In order to complete our proof, we next prove $\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})\ge 2$.

Clearly, $\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})\ge 1$. Suppose for a contradiction that $\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})= 1$.
Note that $|V(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})|=9$ and
$|E(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})|=27$.
Thus, by the Euler characteristic formulas, if $\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6}$ is embedded into the surface of  nonorientable genus $\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})$, resulting in $f$ faces, then
$$|V(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})|-|E(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})| +f=2-\overline{\gamma}(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6}).$$
This implies that
$2|E(\Gamma_{\mathbb{Z}_2\times \mathbb{Z}_6})|\ge 3f$, which is a contradiction as $f=19$.
\qed