Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be...
Transcript of Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be...
![Page 1: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/1.jpg)
Economical Delone Setsfor Approximating Convex Bodies
Ahmed Abdelkader and David Mount
Department of Computer ScienceUniversity of Maryland, College Park
Scandinavian Symposium and Workshops on Algorithm TheoryMalmo, Sweden
June 18th, 2018
Ahmed Abdelkader (CS@UMD) SWAT 2018 1 / 23
![Page 2: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/2.jpg)
Introduction Motivation
Curse of dimensionality
Upper-Bound Theorem [McMullen, 1970], also [Seidel, 1995]
Let P ⊂ Rd be a convex polytope.
If P has n vertices, then the number of faces is O(nbd/2c).
If P has n facets, then the number of vertices is O(nbd/2c).
./figs/images/mom1.png ./figs/images/mom2.png
Moment curve: t 7→ (t, t2, . . . , td)Figure from [George Papazafeiropoulos]
Ahmed Abdelkader (CS@UMD) SWAT 2018 2 / 23
![Page 3: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/3.jpg)
Introduction Motivation
Curse of dimensionality
Upper-Bound Theorem [McMullen, 1970], also [Seidel, 1995]
Let P ⊂ Rd be a convex polytope.
If P has n vertices, then the number of faces is O(nbd/2c).
If P has n facets, then the number of vertices is O(nbd/2c).
Workarounds
Settle for an approximation
Explicit: find an approximating polytope
Implicit: approximate membership testing
Ahmed Abdelkader (CS@UMD) SWAT 2018 2 / 23
![Page 4: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/4.jpg)
Introduction Scope
Polytope Membership Queries
.. implementing a membership oracle
Polytope membership queries
Given a polytope K in Rd , preprocess K to answer membershipqueries:
Given a query point q ∈ Rd , is q ∈ K?
Assumptions
Dimension d is a constant
K is given as the intersection of n halfspaces
Dual: Halfspace emptiness queries [Matousek’92, Erickson’98]
d ≤ 3 ⇒ Query time: O(log n) with O(n) storage
d ≥ 4 ⇒ (roughly) O(n1−1/bd/2c) time with O(n) storage
Restriction ⇒ Ω(n1−1/d) time if storage is O(n)
outin
Ahmed Abdelkader (CS@UMD) SWAT 2018 3 / 23
![Page 5: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/5.jpg)
Introduction Scope
Approximate Polytope Membership Queries
How about an approximate membership oracle?
ε-APM queries
Specify ε > 0 at preprocessing time
Assume the polytope scaled to unit diameter
If the query point’s distance from K :
0 ⇒ Inside> ε⇒ OutsideOtherwise: Either answer is acceptable
Goal
Query time: O(log 1ε ) ← Logarithmic
Storage: O(1/εO(d)) ← Efficient?
outin
ε
?
Ahmed Abdelkader (CS@UMD) SWAT 2018 4 / 23
![Page 6: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/6.jpg)
Introduction Prelimenaries
Canonical Form
Easier to work with fat bodies
In O(n), find an invertible affine transform T s.t. T (K ) is in canonical form.
K
O
12
γ2
.. and absolute rather than relative errors
If q is a point at distance greater than ε · diam(K ) from K , then T (q) is atdistance greater than ε/d from T (K ).
Ahmed Abdelkader (CS@UMD) SWAT 2018 5 / 23
![Page 7: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/7.jpg)
Introduction Prelimenaries
Canonical Form
Easier to work with fat bodies
In O(n), find an invertible affine transform T s.t. T (K ) is in canonical form.
K
O
12
γ2
.. and absolute rather than relative errors
If q is a point at distance greater than ε · diam(K ) from K , then T (q) is atdistance greater than ε/d from T (K ).
Ahmed Abdelkader (CS@UMD) SWAT 2018 5 / 23
![Page 8: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/8.jpg)
Introduction Related work
Time-efficient Solution [Bentley et al. (1982)]
Create a grid with cells of diameter ε
For each column, store the topmost andbottommost cells intersecting K
Query processing:
Locate the column that contains qCompare q with the two extreme values
Time-efficient:
O(1/εd−1) columns
Query time: O(log 1ε ) ← optimal
Storage: O(1/εd−1) ← high!
εK
Ahmed Abdelkader (CS@UMD) SWAT 2018 6 / 23
![Page 9: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/9.jpg)
Introduction Related work
Time-efficient Solution [Bentley et al. (1982)]
Create a grid with cells of diameter ε
For each column, store the topmost andbottommost cells intersecting K
Query processing:
Locate the column that contains qCompare q with the two extreme values
Time-efficient:
O(1/εd−1) columns
Query time: O(log 1ε ) ← optimal
Storage: O(1/εd−1) ← high!
εK
Ahmed Abdelkader (CS@UMD) SWAT 2018 6 / 23
![Page 10: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/10.jpg)
Introduction Related work
Time-efficient Solution [Bentley et al. (1982)]
Create a grid with cells of diameter ε
For each column, store the topmost andbottommost cells intersecting K
Query processing:
Locate the column that contains qCompare q with the two extreme values
Time-efficient:
O(1/εd−1) columns
Query time: O(log 1ε ) ← optimal
Storage: O(1/εd−1) ← high!
q
εK
Ahmed Abdelkader (CS@UMD) SWAT 2018 6 / 23
![Page 11: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/11.jpg)
Introduction Related work
Time-efficient Solution [Bentley et al. (1982)]
Create a grid with cells of diameter ε
For each column, store the topmost andbottommost cells intersecting K
Query processing:
Locate the column that contains qCompare q with the two extreme values
Time-efficient:
O(1/εd−1) columns
Query time: O(log 1ε ) ← optimal
Storage: O(1/εd−1) ← high!
q
εK
Ahmed Abdelkader (CS@UMD) SWAT 2018 6 / 23
![Page 12: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/12.jpg)
Introduction Related work
Space-efficient Solution [Arya et al. (2011, 2012)]
Q ← unit hypercube; t ← O(1/ε(d−1)/8)
Find an ε-approximation of Q ∩ P
If ≤ t facets suffice, Q stores them
Otherwise, subdivide Q and recurse
Query processing:
Locate the cell that contains qTest q against up to t facets
Storage-efficient:
Query time: O(1/ε(d−1)/8) ← high!
Storage: O(1/ε(d−1)/2) ← optimal
t = 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 7 / 23
![Page 13: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/13.jpg)
Introduction Related work
Space-efficient Solution [Arya et al. (2011, 2012)]
Q ← unit hypercube; t ← O(1/ε(d−1)/8)
Find an ε-approximation of Q ∩ P
If ≤ t facets suffice, Q stores them
Otherwise, subdivide Q and recurse
Query processing:
Locate the cell that contains qTest q against up to t facets
Storage-efficient:
Query time: O(1/ε(d−1)/8) ← high!
Storage: O(1/ε(d−1)/2) ← optimal
t = 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 7 / 23
![Page 14: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/14.jpg)
Introduction Related work
Space-efficient Solution [Arya et al. (2011, 2012)]
Q ← unit hypercube; t ← O(1/ε(d−1)/8)
Find an ε-approximation of Q ∩ P
If ≤ t facets suffice, Q stores them
Otherwise, subdivide Q and recurse
Query processing:
Locate the cell that contains qTest q against up to t facets
Storage-efficient:
Query time: O(1/ε(d−1)/8) ← high!
Storage: O(1/ε(d−1)/2) ← optimal
t = 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 7 / 23
![Page 15: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/15.jpg)
Introduction Related work
Space-efficient Solution [Arya et al. (2011, 2012)]
Q ← unit hypercube; t ← O(1/ε(d−1)/8)
Find an ε-approximation of Q ∩ P
If ≤ t facets suffice, Q stores them
Otherwise, subdivide Q and recurse
Query processing:
Locate the cell that contains qTest q against up to t facets
Storage-efficient:
Query time: O(1/ε(d−1)/8) ← high!
Storage: O(1/ε(d−1)/2) ← optimal
t = 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 7 / 23
![Page 16: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/16.jpg)
Introduction Related work
Digression?
Polytope approximation
Let K ⊂ Rd be a convex body (polytope) of unit diameter. Find P s.t.
The Hausdorff distance between K and P is at most ε > 0,
P is a convex polytope having few faces.
Ahmed Abdelkader (CS@UMD) SWAT 2018 8 / 23
![Page 17: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/17.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
K
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 18: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/18.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
√ε
K
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 19: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/19.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
√ε
K
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 20: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/20.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
√ε
P
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 21: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/21.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
√ε
P
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 22: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/22.jpg)
Introduction Related work
Combinatorial Complexity of Approximating Polytopes
Dudley (1974) or Bronshteyn-Ivanov (1976)
Easy construction of P with O(1/ε(d−1)/2) vertices (or facets).
√ε
P
State-of-the-art [Arya et al. 2016]
Constructon of P with O(1/ε(d−1)/2) faces, where ε = ε/ log(1/ε).
Ahmed Abdelkader (CS@UMD) SWAT 2018 9 / 23
![Page 23: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/23.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 24: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/24.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 25: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/25.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 26: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/26.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 27: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/27.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 28: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/28.jpg)
Introduction Related work
State-of-the-art in ε-APM [Arya et al. (2017)]
Create a hierarchy of eroded bodies
For each erosion, cover the boundarywith a ring of ellipsoids
Query processing:
Shoot a ray from a central point to qTrace the ray through the ringsFollow parent-child links
Asymptotically optimal
Query time: O(log 1ε ) ← optimal
Storage: O(1/ε(d−1)/2) ← optimal
Lower-bound realized by Sd−1
Ray shooting vs. point location
Ahmed Abdelkader (CS@UMD) SWAT 2018 10 / 23
![Page 29: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/29.jpg)
Introduction Prelimenaries
Representational Technicality
A convenient alternative to K ⊕ B(δ)
Assuming K is represented as K = ∩iHi where each Hi is of the form
Hi = x ∈ Rd | 〈x , vi 〉 ≤ ai, where c1δ ≤ ‖vi‖ ≤ c2,
we work with Kδ = ∩iHi,δ, where Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δ.
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 11 / 23
![Page 30: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/30.jpg)
Introduction Prelimenaries
Representational Technicality
A convenient alternative to K ⊕ B(δ)
Assuming K is represented as K = ∩iHi where each Hi is of the form
Hi = x ∈ Rd | 〈x , vi 〉 ≤ ai, where c1δ ≤ ‖vi‖ ≤ c2,
we work with Kδ = ∩iHi,δ, where Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δ.
K
H
Ahmed Abdelkader (CS@UMD) SWAT 2018 11 / 23
![Page 31: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/31.jpg)
Introduction Prelimenaries
Representational Technicality
A convenient alternative to K ⊕ B(δ)
Assuming K is represented as K = ∩iHi where each Hi is of the form
Hi = x ∈ Rd | 〈x , vi 〉 ≤ ai, where c1δ ≤ ‖vi‖ ≤ c2,
we work with Kδ = ∩iHi,δ, where Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δ.
K
δH
Hδ
Ahmed Abdelkader (CS@UMD) SWAT 2018 11 / 23
![Page 32: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/32.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 33: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/33.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 34: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/34.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 35: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/35.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 36: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/36.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 37: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/37.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 38: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/38.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
qε
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 39: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/39.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
qε
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 40: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/40.jpg)
Approximate Polytope Membership Queries Intuition
APM by Quadtree Search
Quadtree-based approach
Preprocessing: Build a quadtree, subdividingeach node that cannot be resolved as beinginside or outside
Stop at diameter ε
Query: Find the leaf node containing q andreturn its label
Analysis
Query time: O(log 1ε ) (Quadtree descent)
Storage: O(1/εd−1) (Number of leaves)
What does it take to beat O(1/εd−1)?
qε
Ahmed Abdelkader (CS@UMD) SWAT 2018 12 / 23
![Page 41: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/41.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 42: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/42.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 43: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/43.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
2x− K
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 44: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/44.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
2x− K
MK(x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 45: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/45.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
2x− K
MK(x)
M1/2K (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 46: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/46.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
K
x
2x− K
MK(x)
M1/2K (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 47: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/47.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions
Want cells that conform to K ’s shape
Macbeath Region [Macbeath (1952)]
Given convex body K , x ∈ K , and λ > 0:
MK (x) = x + (K − x) ∩ (x − K )
Intersection of K and its reflection about x
MλK (x): Scaling of MK (x) by factor λ
Will omit K when clear
John ellipsoid [John (1948)]
May use ellipsoids instead
Eλ(x) ⊆ Mλ(x) ⊆ Eλ√d(x)
Mλ(x)
Eλ(x)
Eλ√d(x)
x
Ahmed Abdelkader (CS@UMD) SWAT 2018 13 / 23
![Page 48: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/48.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Properties of Macbeath Regions
Properties
Mλ(x) is convex and symmetric about x
Expansion-Containment: [Ewald et al (1970)]If Mλ(x) intersects Mλ(y), with λ < 1, then
Mλ(y) ⊆ Mcλ(x), where c = 3+λ1−λ .
Good approximation primitives
Macbeath regions act like metric balls
But, with respect to which metric?
K
x
2x− K
MK(x)
M1/2K (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 14 / 23
![Page 49: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/49.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Properties of Macbeath Regions
Properties
Mλ(x) is convex and symmetric about x
Expansion-Containment: [Ewald et al (1970)]If Mλ(x) intersects Mλ(y), with λ < 1, then
Mλ(y) ⊆ Mcλ(x), where c = 3+λ1−λ .
Good approximation primitives
Macbeath regions act like metric balls
But, with respect to which metric?
KK
xy
Ahmed Abdelkader (CS@UMD) SWAT 2018 14 / 23
![Page 50: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/50.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Properties of Macbeath Regions
Properties
Mλ(x) is convex and symmetric about x
Expansion-Containment: [Ewald et al (1970)]If Mλ(x) intersects Mλ(y), with λ < 1, then
Mλ(y) ⊆ Mcλ(x), where c = 3+λ1−λ .
Good approximation primitives
Macbeath regions act like metric balls
But, with respect to which metric?
KK
xy
Ahmed Abdelkader (CS@UMD) SWAT 2018 14 / 23
![Page 51: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/51.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Properties of Macbeath Regions
Properties
Mλ(x) is convex and symmetric about x
Expansion-Containment: [Ewald et al (1970)]If Mλ(x) intersects Mλ(y), with λ < 1, then
Mλ(y) ⊆ Mcλ(x), where c = 3+λ1−λ .
Good approximation primitives
Macbeath regions act like metric balls
But, with respect to which metric?
KK
xy
Ahmed Abdelkader (CS@UMD) SWAT 2018 14 / 23
![Page 52: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/52.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Properties of Macbeath Regions
Properties
Mλ(x) is convex and symmetric about x
Expansion-Containment: [Ewald et al (1970)]If Mλ(x) intersects Mλ(y), with λ < 1, then
Mλ(y) ⊆ Mcλ(x), where c = 3+λ1−λ .
Good approximation primitives
Macbeath regions act like metric balls
But, with respect to which metric?
KK
xy
Ahmed Abdelkader (CS@UMD) SWAT 2018 14 / 23
![Page 53: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/53.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions and the Hilbert Geometry
From Hilbert geometry [Hilbert (1895)]
Hilbert Metric: Given x , y ∈ K , define
fK (x , y) =1
2ln
(‖x ′ − y‖‖x ′ − x‖
‖x − y ′‖‖y − y ′‖
)Hilbert Ball: BH(x , δ) = y ∈ K : fK (x , y) ≤ δLocally-sensitive to the shape of the convex body
.. to Macbeath regions [Vernicos and Walsh (2016)]
For all x ∈ K and 0 ≤ λ < 1:
BH(x , r1(λ)) ⊆ Mλ(x) ⊆ BH(x , r2(λ))
K
xy
Ahmed Abdelkader (CS@UMD) SWAT 2018 15 / 23
![Page 54: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/54.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions and the Hilbert Geometry
From Hilbert geometry [Hilbert (1895)]
Hilbert Metric: Given x , y ∈ K , define
fK (x , y) =1
2ln
(‖x ′ − y‖‖x ′ − x‖
‖x − y ′‖‖y − y ′‖
)Hilbert Ball: BH(x , δ) = y ∈ K : fK (x , y) ≤ δLocally-sensitive to the shape of the convex body
.. to Macbeath regions [Vernicos and Walsh (2016)]
For all x ∈ K and 0 ≤ λ < 1:
BH(x , r1(λ)) ⊆ Mλ(x) ⊆ BH(x , r2(λ))
K
xy
x′
y′
Ahmed Abdelkader (CS@UMD) SWAT 2018 15 / 23
![Page 55: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/55.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions and the Hilbert Geometry
From Hilbert geometry [Hilbert (1895)]
Hilbert Metric: Given x , y ∈ K , define
fK (x , y) =1
2ln
(‖x ′ − y‖‖x ′ − x‖
‖x − y ′‖‖y − y ′‖
)Hilbert Ball: BH(x , δ) = y ∈ K : fK (x , y) ≤ δLocally-sensitive to the shape of the convex body
.. to Macbeath regions [Vernicos and Walsh (2016)]
For all x ∈ K and 0 ≤ λ < 1:
BH(x , r1(λ)) ⊆ Mλ(x) ⊆ BH(x , r2(λ))
x
BH(x, δ)
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 15 / 23
![Page 56: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/56.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions and the Hilbert Geometry
From Hilbert geometry [Hilbert (1895)]
Hilbert Metric: Given x , y ∈ K , define
fK (x , y) =1
2ln
(‖x ′ − y‖‖x ′ − x‖
‖x − y ′‖‖y − y ′‖
)Hilbert Ball: BH(x , δ) = y ∈ K : fK (x , y) ≤ δLocally-sensitive to the shape of the convex body
.. to Macbeath regions [Vernicos and Walsh (2016)]
For all x ∈ K and 0 ≤ λ < 1:
BH(x , r1(λ)) ⊆ Mλ(x) ⊆ BH(x , r2(λ))
x
BH(x, δ)
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 15 / 23
![Page 57: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/57.jpg)
Approximate Polytope Membership Queries Macbeath Regions
Macbeath Regions and the Hilbert Geometry
From Hilbert geometry [Hilbert (1895)]
Hilbert Metric: Given x , y ∈ K , define
fK (x , y) =1
2ln
(‖x ′ − y‖‖x ′ − x‖
‖x − y ′‖‖y − y ′‖
)Hilbert Ball: BH(x , δ) = y ∈ K : fK (x , y) ≤ δLocally-sensitive to the shape of the convex body
.. to Macbeath regions [Vernicos and Walsh (2016)]
For all x ∈ K and 0 ≤ λ < 1:
BH(x , r1(λ)) ⊆ Mλ(x) ⊆ BH(x , r2(λ))
x
Mλ(x)
BH(x, r2(λ))
BH(x, r1(λ))
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 15 / 23
![Page 58: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/58.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
K
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 59: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/59.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
ε
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 60: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/60.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
ε
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 61: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/61.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
εp
εc
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 62: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/62.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
ε
ε
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 63: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/63.jpg)
Approximate Polytope Membership Queries Delone Sets
More from Metric Spaces
K
Kδ
Where to put the Macbeath regions?
Point set layouts in a metric space Xε-packing: If the balls of radius ε/2 centeredat every point of X are disjoint
ε-covering: If every point of X is withindistance ε of some point of X
(εp, εc)-Delone Set: If X is an εp-packingand an εc -covering
ε-Net: If X is an (ε, ε)-Delone set
We seek economical Delone sets for K , that fitwithin an expansion of K by δ ∈ 1, 12 ,
14 , . . . , ε
Ahmed Abdelkader (CS@UMD) SWAT 2018 16 / 23
![Page 64: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/64.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 65: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/65.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
KKδ
δ
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 66: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/66.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
x
Eλ0(x)
(Ellipses not drawn to scale)
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 67: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/67.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
x
Eλ0(x)
E1/2(x)
(Ellipses not drawn to scale)
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 68: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/68.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
x
Eλ0(x)
E1/2(x)
(Ellipses not drawn to scale)
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 69: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/69.jpg)
Approximate Polytope Membership Queries Delone Sets
Macbeath Ellipsoids and Delone Sets
Delone sets from Macbeath ellipsoids
Let Kδ be an expansion of K by δ > 0
Let Xδ ⊂ K be a maximal set of points suchthat Eλ0(x) are disjoint for all x ∈ Xδ
Lemma
K ⊆⋃
x∈XδE
12 (x) ⊆ Kδ
Macbeath-Based Delone Set
Xδ is essentially a ( 12 , 2λ0)-Delone set for K
λ0 is a small constant 1/(4√d + 1)
x
Eλ0(x)
E1/2(x)
(Ellipses not drawn to scale)
Ahmed Abdelkader (CS@UMD) SWAT 2018 17 / 23
![Page 70: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/70.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
2Σi,δ
x
M 2δ (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 71: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/71.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
2Σi,δ
x
M 2δ (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 72: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/72.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
Kδ
x
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 73: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/73.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
Kδ
x
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 74: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/74.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
x
Hi,2δ
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 75: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/75.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
x
Σi,2δ
Hi,2δ
−Hi,2δ
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 76: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/76.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
Σi,2δ
M2δ(x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 77: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/77.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
x
Σi,2δ
2Hi,δ
−2Hi,δ
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 78: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/78.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
x
2Σi,δ
2Hi,δ
−2Hi,δ
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 79: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/79.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
2Σi,δ
x
2Mδ(x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 80: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/80.jpg)
Approximate Polytope Membership Queries Varying the Scale
Expansion-Containment over δ
Lemma
For a convex body K ⊂ Rd and δ ≥ 0, for all x ∈ KMδ(x) ⊆ M2δ(x) ⊆ M2
δ (x).
First inclusion follows from Kδ ⊂ K2δ
Recall Kδ = ∩iHi,δ where
Hi,δ = x ∈ Rd | 〈x , vi 〉 ≤ ai + δPut the origin at x , so Mδ(x) = Kδ ∩ −KδDefine the slab Σi,δ = Hi,δ ∩ −Hi,δ
We may write Mδ(x) = ∩iΣi,δ
Define 2Hi,δ as x ∈ Rd | 〈x , vi 〉 ≤ 2(ai + δ)Observe Σi,2δ ⊆ 2Σi,δ = 2Hi,δ ∩ −2Hi,δ
But, ∩i2Σi,δ = 2Mδ(x) is the same as M2δ (x)
Hence, M2δ(x) ⊆ M2δ (x)
2Σi,δ
x
M 2δ (x)
Ahmed Abdelkader (CS@UMD) SWAT 2018 18 / 23
![Page 81: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/81.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
K
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 82: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/82.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 1
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 83: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/83.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 1
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 84: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/84.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 85: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/85.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 2
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 86: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/86.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 3
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 87: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/87.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 3
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 88: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/88.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 4
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 89: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/89.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 4
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 90: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/90.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 1
q
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 91: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/91.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 2
q
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 92: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/92.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 3
q
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 93: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/93.jpg)
Approximate Polytope Membership Queries Data Structure for APM
APM Data Structure
Preprocessing
Input: K and ε > 0
For i = 0, 1, . . .
δi ← 2iεXi ← Macbeath Delone set for Kδi
Create a node at level i for each x ∈ Xi
Create child links to nodes at level i − 1whose 1
2-scaled Macbeath ellipsoids overlap
Stop when |E`| = 1 (at δ` = O(1))
Query Processing
Descend the DAG from root (level `) until:
q /∈ 12-scaled child ellipsoids ⇒ “outside”
Reach leaf u ⇒ “inside”
level 4
q
Ahmed Abdelkader (CS@UMD) SWAT 2018 19 / 23
![Page 94: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/94.jpg)
Approximate Polytope Membership Queries Data Structure for APM
Analysis
Query time
Out-degree: O(1) (exp-containment + packing)
Query time per level: O(1)
Number of levels: O(log 1ε ) (ε to O(1))
Total query time: O(log 1/ε)
Storage
#M-regions to cover Kδi : O(1/δ(d−1)/2i ) (ECC)
Storage for bottom level: O(1/ε(d−1)/2)
Leaf level dominates (geometric progression)
Total storage: O(1/ε(d−1)/2)
KK
xy
K
Economical Cap Cover
[Barany and Larman (1989),Arya, de Fonseca, Mount (2016)]
Ahmed Abdelkader (CS@UMD) SWAT 2018 20 / 23
![Page 95: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/95.jpg)
Approximate Polytope Membership Queries Data Structure for APM
Analysis
Query time
Out-degree: O(1) (exp-containment + packing)
Query time per level: O(1)
Number of levels: O(log 1ε ) (ε to O(1))
Total query time: O(log 1/ε)
Storage
#M-regions to cover Kδi : O(1/δ(d−1)/2i ) (ECC)
Storage for bottom level: O(1/ε(d−1)/2)
Leaf level dominates (geometric progression)
Total storage: O(1/ε(d−1)/2)
KK
xy
K
Economical Cap Cover
[Barany and Larman (1989),Arya, de Fonseca, Mount (2016)]
Ahmed Abdelkader (CS@UMD) SWAT 2018 20 / 23
![Page 96: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/96.jpg)
Approximate Polytope Membership Queries Data Structure for APM
Summary
Delone sets for convex bodies
Intuitive and space-efficient cover
O(1/δ(d−1)/2) ellipsoids for δ-approximation
Simple DAG hierarchy for time-efficient look-ups
Asymptotically optimal
Thanks for listeningQuestions?
Ahmed Abdelkader (CS@UMD) SWAT 2018 21 / 23
![Page 97: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/97.jpg)
Applications Motvation (continued)
Proximity Search
Approximate Nearest-Neighbor Searching (ANN)
Given a set of n points P ⊂ Rd , preprocess P into a data structure to suchthat, given a query point q ∈ Rd one can efficiently find a p ∈ P where
‖p − q‖ ≤ ‖nn(q)− q‖,
where nn(q) is the nearest-neighbor of q in P.
q
Ahmed Abdelkader (CS@UMD) SWAT 2018 22 / 23
![Page 98: Economical Delone Sets for Approximating Convex Bodiesakader/files/SWAT18_DeloneAPM...Let K ˆRd be a convex body (polytope) of unit diameter. Find P s.t. TheHausdor distancebetween](https://reader033.fdocuments.in/reader033/viewer/2022060523/605253216cbf861fa903cfbc/html5/thumbnails/98.jpg)
Applications Motvation (continued)
ANN Searching and Polytope Approximation
Lifting and Voronoi Diagrams
Lift the points of P to Ψ, take the upperenvelope of the tangent hyperplanes, andproject the skeleton back onto the plane. Theresult is the Voronoi diagram of P.
Intuition: Improved representations ofpolytopes lead to improvements for ANN
Ahmed Abdelkader (CS@UMD) SWAT 2018 23 / 23