[논문 리뷰] On the Convergence of Laplacian spectra in Point Integral Method from point cloud

Zuoqiang Shi, Jian Sun|arXiv (Cornell University)|2015. 06. 05.

3D Shape Modeling and Analysis인용 수 2

한 줄 요약

이 논문은 유클리드 공간에 등장하는 등장각이 있는 컴act 리만 다양체에서 점군(point cloud)로부터 라플라시안 스펙트럼을 계산하기 위한 점 적분 방법(Point Integral Method, PIM)의 수렴성을 확립한다. 이는 경계가 있는 경우를 포함한다. 이 논문은 이산 라플라스 연산자의 고유값과 고유벡터가 노이만 경계 조건을 가진 라플라스-베르트라미 연산자에 대해 수렴함을 증명하며, 수렴 속도의 추정치를 제공한다.

ABSTRACT

The spectral structure of the Laplacian-Beltrami operator (LBO) on manifolds has been widely used in many applications, include spectral clustering, dimensionality reduction, mesh smoothing, compression and editing, shape segmentation, matching and parameterization, and so on. Typically, the underlying Riemannian manifold is unknown and often given by a set of sample points. The spectral structure of the LBO is estimated from some discrete Laplace operator constructed from this set of sample points. In our previous papers, we proposed the point integral method to discretize the LBO from point clouds, which is also capable to solve the eigenproblem. Then one fundmental issue is the convergence of the eigensystem of the discrete Laplacian to that of the LBO. In this paper, for compact manifolds isometrically embedded in Euclidean spaces possibly with boundary, we show that the eigenvalues and the eigenvectors obtained by the point integral method converges to the eigenvalues and the eigenfunctions of the LBO with the Neumann boundary, and in addition, we give an estimate of the convergence rate. This result provides a solid mathematical foundation for the point integral method in the computation of Laplacian spectra from point clouds.

연구 동기 및 목표

• 점군으로부터 라플라시안 스펙트럼을 계산하기 위한 점 적분 방법(Point Integral Method, PIM)의 이론적 수렴성을 확립하기 위해.
• 경계가 있는 컴act 다양체에서 이산 라플라스 연산자의 고유값과 고유벡터가 라플라스-베르트라미 연산자(Laplacian-Beltrami Operator, LBO)의 것에 수렴하는 방식을 분석하기 위해.
• PIM 프레임워크 내에서 고유계산계의 수렴 속도에 대한 정량적 추정치를 제공하기 위해.
• 스펙트럼 클러스터링, 샤프 분석, 메쉬 처리 등에 응용하기 위한 PIM의 수학적 기초를 확장하기 위해.

제안 방법

• 컴act 리만 다양체에서 샘플링된 점군으로부터 라플라스-베르트라미 연산자(Laplacian-Beltrami Operator, LBO)를 이산화하기 위해 점 적분 방법(Point Integral Method, PIM)을 사용한다.
• 기하학적 근접성과 부피 추정에 기반하여 점군 위에서 가중 적분을 사용하여 이산 라플라스 연산자를 구성한다.
• 이산 고유값 문제의 약한 공식화에서 법선 도함수를 0으로 강제하여 노이만 경계 조건을 도입한다.
• 점군의 조밀도가 증가하는 극한을 중심으로 수치해석학 및 리만 기하학의 도구를 사용하여 수렴 분석을 수행한다.
• 편미분 분석과 근사 이론을 통해 이산 고유값과 고유벡터의 수렴 속도에 대한 이론적 경계를 유도한다.

실험 결과

연구 질문

• RQ1 점 적분 방법은 경계가 있는 컴act 다양체에서 진정한 라플라스-베르트라미 연산자 스펙트럼에 수렴하는 고유값과 고유벡터를 생성하는가?
• RQ2 이산 고유계산계가 연속적인 LBO 스펙트럼으로 수렴하는 속도는 무엇인가?
• RQ3 PIM은 이산 설정에서 노이만 경계 조건을 어떻게 다루는가?
• RQ4 등장각이 있는 유클리드 공간에서 엄밀한 수렴이 증명될 수 있는가?

주요 결과

• 점 적분 방법을 통해 계산된 고유값은 노이만 경계 조건을 가진 라플라스-베르트라미 연산자의 고유값으로 수렴한다.
• 해당 고유벡터는 L2 노름에서 LBO의 고유함수로 수렴한다.
• 수렴 속도는 정량적으로 추정되어 이산 스펙트럼의 오차에 대한 이론적 경계를 제공한다.
• 이론적 수렴은 등장각이 있는 유클리드 공간에 등장하는 컴act 리만 다양체에 대해서도 성립한다.