Geometry of Rounding

by   Jason Vander Woude, et al.

Rounding has proven to be a fundamental tool in theoretical computer science. By observing that rounding and partitioning of ℝ^d are equivalent, we introduce the following natural partition problem which we call the secluded hypercube partition problem: Given k∈ℕ (ideally small) and ϵ>0 (ideally large), is there a partition of ℝ^d with unit hypercubes such that for every point p ∈ℝ^d, its closed ϵ-neighborhood (in the ℓ_∞ norm) intersects at most k hypercubes? We undertake a comprehensive study of this partition problem. We prove that for every d∈ℕ, there is an explicit (and efficiently computable) hypercube partition of ℝ^d with k = d+1 and ϵ = 1/2d. We complement this construction by proving that the value of k=d+1 is the best possible (for any ϵ) for a broad class of “reasonable” partitions including hypercube partitions. We also investigate the optimality of the parameter ϵ and prove that any partition in this broad class that has k=d+1, must have ϵ≤1/2√(d). These bounds imply limitations of certain deterministic rounding schemes existing in the literature. Furthermore, this general bound is based on the currently known lower bounds for the dissection number of the cube, and improvements to this bound will yield improvements to our bounds. While our work is motivated by the desire to understand rounding algorithms, one of our main conceptual contributions is the introduction of the secluded hypercube partition problem, which fits well with a long history of investigations by mathematicians on various hypercube partitions/tilings of Euclidean space.


page 1

page 2

page 3

page 4


Geometry of Rounding: Near Optimal Bounds and a New Neighborhood Sperner's Lemma

A partition 𝒫 of ℝ^d is called a (k,ε)-secluded partition if, for every ...

A survey of mass partitions

Mass partition problems describe the partitions we can induce on a famil...

Constructing Permutation Arrays using Partition and Extension

We give new lower bounds for M(n,d), for various positive integers n and...

A Smart Backtracking Algorithm for Computing Set Partitions with Parts of Certain Sizes

Let α={a_1,a_2,a_3,...,a_n} be a set of elements, δ < n be a positive in...

Efficient algorithms for certifying lower bounds on the discrepancy of random matrices

We initiate the study of the algorithmic problem of certifying lower bou...

Exponential bases for partitions of intervals

For a partition of [0,1] into intervals I_1,…,I_n we prove the existence...

Dimension Reduction for Polynomials over Gaussian Space and Applications

We introduce a new technique for reducing the dimension of the ambient s...

Please sign up or login with your details

Forgot password? Click here to reset