Error resilient space partitioning

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this paper we consider a new type of space partitioning which bridges the gap between continuous and discrete spaces in an error resilient way. It is motivated by the problem of rounding noisy measurements from some continuous space such as ℝd to a discrete subset of representative values, in which each tile in the partition is defined as the preimage of one of the output points. Standard rounding schemes seem to be inherently discontinuous across tile boundaries, but in this paper we show how to make it perfectly consistent (with error resilience ∈) by guaranteeing that any pair of consecutive measurements X1 and X2 whose L2 distance is bounded by ∈ will be rounded to the same nearby representative point in the discrete output space. We achieve this resilience by allowing a few bits of information about the first measurement X1 to be unidirectionally communicated to and used by the rounding process of the second measurement X2. Minimizing this revealed information can be particularly important in privacy-sensitive applications such as COVID-19 contact tracing, in which we want to find out all the cases in which two persons were at roughly the same place at roughly the same time, by comparing cryptographically hashed versions of their itineraries in an error resilient way. The main problem we study in this paper is characterizing the achievable tradeoffs between the amount of information provided and the error resilience for various dimensions. We analyze the problem by considering the possible colored tilings of the space with k available colors, and use the color of the tile in which X1 resides as the side information. We obtain our upper and lower bounds with a variety of techniques including isoperimetric inequalities, the Brunn-Minkowski theorem, sphere packing bounds, Sperner's lemma, and Cech cohomology. In particular, we show that when Xi ∈ ℝd, communicating log2(d + 1) bits of information is both sufficient and necessary (in the worst case) to achieve positive resilience, and when d=3 we obtain a tight upper and lower asymptotic bound of (0.561⋯)k1/3 on the achievable error resilience when we provide log2(k) bits of information about X1's color.

Original languageEnglish
Title of host publication48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
EditorsNikhil Bansal, Emanuela Merelli, James Worrell
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959771955
DOIs
StatePublished - 1 Jul 2021
Event48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 - Virtual, Glasgow, United Kingdom
Duration: 12 Jul 202116 Jul 2021

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume198
ISSN (Print)1868-8969

Conference

Conference48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
Country/TerritoryUnited Kingdom
CityVirtual, Glasgow
Period12/07/2116/07/21

Bibliographical note

Publisher Copyright:
© 2021 Orr Dunkelman, Zeev Geyzel, Chaya Keller, Nathan Keller, Eyal Ronen, Adi Shamir, and Ran J. Tessler.

Keywords

  • Brunn-Minkowski theorem
  • Error resilience
  • High-dimensional rounding
  • Space partition
  • Sperner's lemma
  • Sphere packing
  • Čech cohomology

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Error resilient space partitioning'. Together they form a unique fingerprint.

Cite this