[논문 리뷰] Isomorphism between Differential and Moment Invariants under Affine Transform

Erbo Li, Hua Li|arXiv (Cornell University)|2017. 05. 20.

Advanced Numerical Analysis Techniques참고 문헌 13인용 수 4

한 줄 요약

이 논문은 애핀 변환 하에서 미분 불변량과 모멘트 불변량 사이의 동형사상을 수립하며, 기존의 모멘트 불변량에서 같은 차수의 도함수로 모멘트를 치환함으로써 미분 불변량을 유도할 수 있음을 보여준다. 이 방법은 잘 알려진 모멘트 이론을 활용하여 복잡한 식을 유도하지 않고도 간단하게 미분 불변량을 도출할 수 있도록 하며, 선별 과정을 통해 애핀 및 사영 미분 불변량에의 적용이 가능하다.

ABSTRACT

The invariant is one of central topics in science, technology and engineering. The differential invariant is essential in understanding or describing some important phenomena or procedures in mathematics, physics, chemistry, biology or computer science etc. The derivation of differential invariants is usually difficult or complicated. This paper reports a discovery that under the affine transform, differential invariants have similar structures with moment invariants up to a scalar function of transform parameters. If moment invariants are known, relative differential invariants can be obtained by the substitution of moments by derivatives with the same order. Whereas moment invariants can be calculated by multiple integrals, this method provides a simple way to derive differential invariants without the need to resolve any equation system. Since the definition of moments on different manifolds or in different dimension of spaces is well established, differential invariants on or in them will also be well defined. Considering that moments have a strong background in mathematics and physics, this technique offers a new view angle to the inner structure of invariants. Projective differential invariants can also be found in this way with a screening process.

연구 동기 및 목표

• 애핀 변환 하에서 미분 불변량과 모멘트 불변량 사이의 구조적 동형사상을 수립하기.
• 복잡한 방정식 시스템을 풀지 않고도 미분 불변량을 체계적으로 도출할 수 있는 방법을 제공하기.
• 애핀 불변량에 대한 선별 과정을 통해 사영 미분 불변량으로의 프레임워크 확장하기.
• 수학 및 물리학에서 잘 정립된 모멘트 이론을 활용하여 불변량의 내부 구조에 대한 새로운 통찰을 제공하기.

제안 방법

• 기존의 모멘트 불변량에서 같은 차수의 도함수로 모멘트를 치환함으로써 애핀 변환 하에서의 미분 불변량을 유도하며, 변환 매개변수의 스칼라 함수와의 차이를 제외하고는 동일한 형태를 가진다.
• 중앙 모멘트와 그 다항식 형태를 사용하여 애핀 변환 하에서 이동 불변성의 미분 불변량을 구성한다.
• 변환 매개변수의 수에 따라 조정되는 분모로 자코비안 행렬식 $ J $ 를 척도 인자로 사용한다.
• 생성 함수 $ g $ 를 활용하여 특정 차수와 순서의 불변량을 체계적으로 구성하며, $ g $ 함수는 점 집합 위에서 정의된다.
• 생성 함수의 형태와 대칭성을 바탕으로, 애핀 불변량 중에서도 사영 변환에 대해도 불변인 것을 선별한다.
• 기존의 다항식 형태에 직접 대입하여 불변량을 검증하고, 문헌에 기록된 결과와 비교한다.

실험 결과

연구 질문

• RQ1 애핀 변환 하에서 미분 불변량은 기존의 모멘트 불변량을 구조적 동형사상으로 체계적으로 도출할 수 있는가?
• RQ2 자코비안 행렬식 $ J $ 는 모멘트 불변량을 미분 불변량으로 변환할 때 어떤 역할을 하는가?
• RQ3 생성 함수 프레임워크는 어떻게 사용하여 임의의 순서와 차수의 불변량을 구성할 수 있는가?
• RQ4 어느 애핀 미분 불변량이 사영 군에 대해서도 불변이며, 이를 정의하는 조건은 무엇인가?
• RQ5 모멘트 불변량과 미분 불변량 사이의 동형사상은 고차원 공간과 다양체로까지 확장될 수 있는가?

주요 결과

• 논문은 애핀 변환 하에서의 미분 불변량이 모멘트 불변량과 동일한 구조적 형태를 가지며, 변환 매개변수의 스칼라 함수의 차이 외에는 동일하다는 것을 증명한다.
• 식 (9)의 모멘트 불변량에서 도출된 일계 미분 불변량은 회전 불변성을 가지며, 라플라스 연산자에 해당한다.
• 식 (24)에서 도출된 미분 불변량은 두 차수의 모멘트 불변량에서 유도되었으며, $ J^{-2} $ 분모 인자를 가진 애핀 불변성의 세 차수 다항식으로서 확인된다.
• 3차원 사영 미분 불변량은 생성 함수 $ \frac{1}{2}g(1,2,3)g(2,3,4) $ 를 통해 구성되었으며, 도함수의 4차 동차 다항식으로서 $ J_3^{-2} $ 척도 인자를 가진다.
• 이 방법은 미분 방정식이나 대수적 시스템을 풀지 않고도 미분 불변량을 도출할 수 있으며, 오직 모멘트 기반의 다항식 대체에 의존한다.
• 추측 1은 $ m $-차원 공간에서 형태 $ g(1,2,...,m-1)g(2,3,...,m) $ 의 생성 함수가 사영 미분 불변량을 정의할 수 있을 것이라 제안한다.