[논문 리뷰] On Low Discrepancy Samplings in Product Spaces of Motion Groups

Chandrajit Bajaj, Abhishek Bhowmick외 2명|arXiv (Cornell University)|2014. 11. 28.

Mathematical Approximation and Integration참고 문헌 19인용 수 5

한 줄 요약

이 논문은 SO(3)^n 및 SE(3)^n와 같은 운동군의 곱공간에서 결정론적, 저이분산 샘플링을 생성하기 위한 새로운 이단계 이분산 구성 방법을 제안한다. 직접 곱 구성 방식에 비해 샘플 크기에서 거의 지수적 향상을 이룩하며, 구 및 회전군에 대한 최적 이론적 한계에 도달하는 첫 번째 비자명한 결정론적 저이분산 집합을 제공한다.

ABSTRACT

Deterministically generating near-uniform point samplings of the motion groups like SO(3), SE(3) and their n-wise products SO(3)^n, SE(3)^n is fundamental to numerous applications in computational and data sciences. The natural measure of sampling quality is discrepancy. In this work, our main goal is construct low discrepancy deterministic samplings in product spaces of the motion groups. To this end, we develop a novel strategy (using a two-step discrepancy construction) that leads to an almost exponential improvement in size (from the trivial direct product). To the best of our knowledge, this is the first nontrivial construction for SO(3)^n, SE(3)^n and the hypertorus T^n. We also construct new low discrepancy samplings of S^2 and SO(3). The central component in our construction for SO(3) is an explicit construction of N points in S^2 with discrepancy ildeØ(1/\sqrt{N}) with respect to convex sets, matching the bound achieved for the special case of spherical caps in \cite{ABD_12}. We also generalize the discrepancy of Cartesian product sets \cite{Chazelle04thediscrepancy} to the discrepancy of local Cartesian product sets. The tools we develop should be useful in generating low discrepancy samplings of other complicated geometric spaces.

연구 동기 및 목표

• SO(3)^n 및 SE(3)^n와 같은 고차원 운동군 곱공간에서 결정론적 저이분산 샘플링을 개발함으로써, 계산 및 데이터 과학 응용 분야에서의 중요성을 확보한다.
• 직접 곱 구성 방식이 높은 이분산을 유도하는 한계를 극복하기 위해, 새로운 이단계 이분산 프레임워크를 도입함으로써 기존 방법의 한계를 극복한다.
• S^2 및 T^n에서 저이분산 점 집합을 명시적으로 구성함으로써, 구의 캡과 볼록집합에 대해 알려진 최적의 이론적 한계에 도달한다.
• 비균일하고 비카르테시안 도메인에 적용 가능한 고전적 곱 이분산 결과를 일반화하기 위해, 국소 카르테시안 곱집합으로의 이분산 이론을 일반화한다.
• 혼합 곱공간, 예를 들어 제약된 회전 영역을 포함한 경우에도 효율적이고 결정론적인 구성 방식을 제공하며, 거의 최적의 크기와 이분산을 달성한다.

제안 방법

• 제품공간을 국소 카르테시안 곱집합으로 분해함으로써 모듈러 이분산 제어가 가능한 이단계 이분산 구성 전략을 제안한다.
• S^2 상의 N개 점에 대해 볼록집합에 대해 이분산 Õ(1/√N)을 갖는 명시적 구성 방식을 사용하며, 이는 [ABD12]에서 구한 구의 캡에 대한 최고의 알려진 한계와 일치한다.
• [Cha00]의 이분산 한계를 국소 카르테시안 곱집합에 적용함으로써, 비균일하고 비카르테시안 도메인으로의 고전적 곱 이분산 결과를 일반화한다.
• Hopf fibration을 활용하여 SO(3)을 S^2 위의 섬유(bundle)로 표현함으로써, 기저와 섬유 제어를 통해 구조적 샘플링을 가능하게 한다.
• 합집합 유사 추론 방식을 사용하여 개별 요소(예: SO(3), R^3, S^1)의 이분산 한계를 통합함으로써, 곱공간 전체의 총 이분산을 제어한다.
• 최종 샘플링 집합의 크기 한계를 (n/ε)^O(log log n + log log(1/ε) log log log(1/ε))로 유도하며, 이는 직접 곱 방법 대비 거의 지수적 향상을 달성한다.

실험 결과

연구 질문

• RQ1 SO(3)^n 및 SE(3)^n에서 직접 곱 구성 방식에 비해 크게 뛰어난 성능을 보이는 결정론적 저이분산 샘플링을 구성할 수 있는가?
• RQ2 지역 카르테시안 볼록집합에 대해 이분산 ε을 갖는 SO(3)^n 내에서의 결정론적 점 집합의 최소 크기는 얼마인가?
• RQ3 명시적 구성 방법을 통해 구 및 회전군에 대한 이론적 최적 한계에 도달하는 이분산 한계를 달성할 수 있는가?
• RQ4 이분산 이론은 SO(3) 및 SE(3)와 같은 비자명한 기하군의 국소 카르테시안 곱집합으로 어떻게 일반화될 수 있는가?
• RQ5 회전 각도가 부분구간으로 제약된 SO(3)의 곱공간에서 달성 가능한 이분산은 얼마인가?

주요 결과

• 논문은 SO(3)^n 및 SE(3)^n에 대해 처음으로 비자명한 결정론적 저이분산 샘플링을 구성하였으며, 크기 N = (n/ε)^O(log log n + log log(1/ε) log log log(1/ε))를 달성한다.
• S^2에 대해서는 볼록집합에 대해 이분산 Õ(1/√N)을 달성하며, 이는 이전에 구의 캡에 대해서만 알려진 최적의 한계와 일치한다.
• 동일한 渐近적 크기 및 이분산 한계를 갖는 혼합 곱공간, 예를 들어 SO(3) ⊗ SE(2)^k ⊗ SO(3)에서도 저이분산 샘플링이 가능하다.
• 회전 각도가 부분구간으로 제약된 SO(3)^n에 대한 구성이 제공되며, 동일한 크기 스케일링을 유지하면서 저이분산 상태를 유지를 한다.
• 전체 곱공간의 이분산 한계는 ε_R + ∑ε_i로 제한되며, 여기서 ε_R는 회전 성분의 이분산이고 ε_i는 개별 요소의 이분산이다.
• 이론적 프레임워크는 고전적 곱 이분산 결과를 국소 카르테시안 곱집합으로 일반화하여, 섬유(bundle) 기하학적 구조를 갖는 복잡한 운동군에 적용할 수 있도록 한다.