<p>Over the last several decades, much research has been devoted to structural and coloring problemson the plane graphs that are sparse in some sense.In this paper we deal with the densest instances of sparse 3-polytopes, namely, those without adjacent 3-cycles.Borodin proved in&#xa0;1996 that such 3-polytope has a&#xa0;vertex of degree at most&#xa0;4 and, moreover,an edge with the degree-sum of its end-vertices at most 9, where both bounds are sharp.Denote the degree of a&#xa0;vertex&#xa0;<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">$ v $</EquationSource> </InlineEquation> by&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(v) $</EquationSource> </InlineEquation>. An edge <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$ e=xy $</EquationSource> </InlineEquation> in a 3-polytope is an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">$ (i,j) $</EquationSource> </InlineEquation>-edge if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(x)\leq i $</EquationSource> </InlineEquation> and&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(y)\leq j $</EquationSource> </InlineEquation>.The well-known (3,5;4,4)-Archimedean solidcorresponds to a plane quadrangulation in which every edge joins a 3-vertex with a 5-vertex.In particular, this 3-polytope has no 3-cycles.Recently, Borodin and Ivanova proved that every 3-polytope with neither adjacent 3-cyclesnor <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ (3,5) $</EquationSource> </InlineEquation>-edges has a&#xa0;3-facewith the degree-sum of its incident vertices (weight) at most 16, which bound is sharp.A&#xa0;3-face <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">$ f=(x,y,z) $</EquationSource> </InlineEquation> is an <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$ (i,j,k) $</EquationSource> </InlineEquation>-face or a&#xa0;face of type&#xa0;<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">$ (i,j,k) $</EquationSource> </InlineEquation>if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(x)\leq i $</EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(y)\leq j $</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">$ d(z)\leq k $</EquationSource> </InlineEquation>.The purpose of this paper is to prove that there are precisely two tight descriptions of 3-face-types in3-polytopes without adjacent 3-cycles under the above-mentioned necessary assumption of the absence of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ (3,5) $</EquationSource> </InlineEquation>-edges;namely, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="144" /> </InlineMediaObject> <EquationSource Format="TEX">$ \{(3,6,7)\vee(4,4,7)\} $</EquationSource> </InlineEquation> and&#xa0;<InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">$ \{(4,6,7)\} $</EquationSource> </InlineEquation>.This implies that there is a&#xa0;unique tight description of 3-faces in 3-polytopes with neitheradjacent 3-cycles nor 3-vertices: <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1514_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">$ \{(4,4,7)\} $</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Describing 3-Faces in 3-Polytopes without Adjacent Triangles

  • O. V. Borodin,
  • A. O. Ivanova

摘要

Over the last several decades, much research has been devoted to structural and coloring problemson the plane graphs that are sparse in some sense.In this paper we deal with the densest instances of sparse 3-polytopes, namely, those without adjacent 3-cycles.Borodin proved in 1996 that such 3-polytope has a vertex of degree at most 4 and, moreover,an edge with the degree-sum of its end-vertices at most 9, where both bounds are sharp.Denote the degree of a vertex  $ v $ by  $ d(v) $ . An edge $ e=xy $ in a 3-polytope is an $ (i,j) $ -edge if $ d(x)\leq i $ and  $ d(y)\leq j $ .The well-known (3,5;4,4)-Archimedean solidcorresponds to a plane quadrangulation in which every edge joins a 3-vertex with a 5-vertex.In particular, this 3-polytope has no 3-cycles.Recently, Borodin and Ivanova proved that every 3-polytope with neither adjacent 3-cyclesnor $ (3,5) $ -edges has a 3-facewith the degree-sum of its incident vertices (weight) at most 16, which bound is sharp.A 3-face $ f=(x,y,z) $ is an $ (i,j,k) $ -face or a face of type  $ (i,j,k) $ if $ d(x)\leq i $ , $ d(y)\leq j $ , and $ d(z)\leq k $ .The purpose of this paper is to prove that there are precisely two tight descriptions of 3-face-types in3-polytopes without adjacent 3-cycles under the above-mentioned necessary assumption of the absence of $ (3,5) $ -edges;namely, $ \{(3,6,7)\vee(4,4,7)\} $ and  $ \{(4,6,7)\} $ .This implies that there is a unique tight description of 3-faces in 3-polytopes with neitheradjacent 3-cycles nor 3-vertices: $ \{(4,4,7)\} $ .