Refined weight of edges in normal plane maps

The weight $w\left(e\right)$ of an edge $e$ in a normal plane map (NPM) is the degree-sum of its end-vertices. An edge $e=uv$ is of type $(i,j)$ if $d\left(u\right)\le i$ and $d\left(v\right)\le j$. In 1940, Lebesgue proved that every NPM has an edge of one of the types $(3,11)$, $(4,7)$, or $(5,6)$, where 7 and 6 are best possible. In 1955, Kotzig proved that every 3-connected planar graph has an edge $e$ with $w\left(e\right)\le 13$, which bound is sharp. Borodin (1989), answering Erd?s’ question, proved that every NPM has either a $(3,10)$-edge, or $(4,7)$-edge, or $(5,6)$-edge.A vertex is simplicial if it is completely surrounded by 3-faces. In 2010, Ferencová and Madaras conjectured (in different terms) that every 3-polytope without simplicial 3-vertices has an edge $e$ with $w\left(e\right)\le 12$. Recently, we confirmed this conjecture by proving that every NPM has either a simplicial 3-vertex adjacent to a vertex of degree at most 10, or an edge of types $(3,9)$, $(4,7)$, or $(5,6)$.By a $k^{\left(?\right)}$-vertex we mean a $k$-vertex incident with precisely $?$ triangular faces. The purpose of our paper is to prove that every NPM has an edge of one of the following types: $(3^{\left(3\right)},10)$, $(3^{\left(2\right)},9)$, $(3^{\left(1\right)},7)$, $(4^{\left(4\right)},7)$, $(4^{\left(3\right)},6)$, $(5^{\left(5\right)},6)$, or $(5,5)$, where all bounds are best possible. In particular, this implies that the bounds in $(3,10)$, $(4,7)$, and $(5,6)$ can be attained only at NPMs having a simplicial 3-, 4-, or 5-vertex, respectively.