<p>A major research area in discrete geometry is to consider the best way to partition the <i>d</i>-dimensional Euclidean space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> under various quality criteria. In this paper we introduce a new type of space partitioning that is motivated by the problem of rounding noisy measurements from the continuous space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> to a discrete subset of representative values. Specifically, we study partitions of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> into bounded-size tiles colored by one of <i>k</i> colors, such that tiles of the same color have a distance of at least <i>t</i> from each other. Such tilings allow for <i>error-resilient</i> rounding, as two points of the same color and distance less than <i>t</i> from each other are guaranteed to belong to the same tile, and thus, to be rounded to the same point. The main problem we study in this paper is characterizing the achievable tradeoffs between the number of colors <i>k</i> and the distance <i>t</i>, for various dimensions <i>d</i>. On the qualitative side, we show that in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, using <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(k=d+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> colors is both sufficient and necessary to achieve <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(t&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. On the quantitative side, we achieve numerous upper and lower bounds on <i>t</i> as a function of <i>k</i>. In particular, for <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(d=3,4,8,24\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mn>3</mn> <mo>,</mo> <mn>4</mn> <mo>,</mo> <mn>8</mn> <mo>,</mo> <mn>24</mn> </mrow> </math></EquationSource> </InlineEquation>, we obtain sharp asymptotic bounds on <i>t</i>, as <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(k \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. We obtain our results with a variety of techniques including isoperimetric inequalities, the Brunn-Minkowski theorem, sphere packing bounds, Bapat’s connector-free lemma, and Čech cohomology.</p>

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

Error Resilient Space Partitioning

  • Orr Dunkelman,
  • Zeev Geyzel,
  • Chaya Keller,
  • Nathan Keller,
  • Eyal Ronen,
  • Adi Shamir,
  • Ran J. Tessler

摘要

A major research area in discrete geometry is to consider the best way to partition the d-dimensional Euclidean space \(\mathbb {R}^d\) R d under various quality criteria. In this paper we introduce a new type of space partitioning that is motivated by the problem of rounding noisy measurements from the continuous space \(\mathbb {R}^d\) R d to a discrete subset of representative values. Specifically, we study partitions of \(\mathbb {R}^d\) R d into bounded-size tiles colored by one of k colors, such that tiles of the same color have a distance of at least t from each other. Such tilings allow for error-resilient rounding, as two points of the same color and distance less than t from each other are guaranteed to belong to the same tile, and thus, to be rounded to the same point. The main problem we study in this paper is characterizing the achievable tradeoffs between the number of colors k and the distance t, for various dimensions d. On the qualitative side, we show that in \(\mathbb {R}^d\) R d , using \(k=d+1\) k = d + 1 colors is both sufficient and necessary to achieve \(t>0\) t > 0 . On the quantitative side, we achieve numerous upper and lower bounds on t as a function of k. In particular, for \(d=3,4,8,24\) d = 3 , 4 , 8 , 24 , we obtain sharp asymptotic bounds on t, as \(k \rightarrow \infty \) k . We obtain our results with a variety of techniques including isoperimetric inequalities, the Brunn-Minkowski theorem, sphere packing bounds, Bapat’s connector-free lemma, and Čech cohomology.