<p>Answering Tarski’s plank problem, Bang showed in 1951 that it is impossible to cover a convex body <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_799_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(K \subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_799_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> by planks whose total width is less than the minimal width <i>w</i>(<i>K</i>) of <i>K</i>. In 2003, A. Bezdek asked whether the same statement holds if one is required to cover only the annulus obtained from <i>K</i> by removing a homothetic copy contained within. He showed that if <i>K</i> is the unit square, then saving width in a plank covering is not possible, provided that the homothety factor is sufficiently small. White and Wisewell in 2006 characterized polygons that possess this property. We generalize the constructive part of their classification to spiky convex bodies: a body <i>K</i> is spiky at a boundary point <i>x</i> with supporting hyperplane <i>H</i> and corresponding outer normal <i>u</i>, if both <i>K</i> and its tangent cone at <i>x</i> intersect <i>H</i> only at <i>x</i>. We show that if <i>K</i> is a convex disc or a convex body in 3-space that is spiky in a minimal width direction, then for every <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_799_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> it is possible to cut a homothetic copy <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_799_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation> from the interior of <i>K</i> so that the remaining annulus can be covered by planks whose total width is strictly less than <i>w</i>(<i>K</i>).</p>

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

Covering Spiky Annuli by Planks

  • Gergely Ambrus,
  • Julian Huddell,
  • Maggie Lai,
  • Matthew Quirk,
  • Elias Williams

摘要

Answering Tarski’s plank problem, Bang showed in 1951 that it is impossible to cover a convex body \(K \subset \mathbb {R}^d\) K R d with \(d \ge 1\) d 1 by planks whose total width is less than the minimal width w(K) of K. In 2003, A. Bezdek asked whether the same statement holds if one is required to cover only the annulus obtained from K by removing a homothetic copy contained within. He showed that if K is the unit square, then saving width in a plank covering is not possible, provided that the homothety factor is sufficiently small. White and Wisewell in 2006 characterized polygons that possess this property. We generalize the constructive part of their classification to spiky convex bodies: a body K is spiky at a boundary point x with supporting hyperplane H and corresponding outer normal u, if both K and its tangent cone at x intersect H only at x. We show that if K is a convex disc or a convex body in 3-space that is spiky in a minimal width direction, then for every \(\varepsilon \in (0,1)\) ε ( 0 , 1 ) it is possible to cut a homothetic copy \(\varepsilon K\) ε K from the interior of K so that the remaining annulus can be covered by planks whose total width is strictly less than w(K).