[논문 리뷰] Strict positive definiteness on a product of compact two-point homogeneous spaces

V. S. Barbosa, V‎. ‎A‎. Menegatto|arXiv (Cornell University)|2016. 05. 23.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 4

한 줄 요약

이 논문은 적어도 하나의 인자가 1보다 큰 차원의 구(sphere)이고 다른 인자가 원(circle)이 아닌, 컴팩트한 두점균일공간의 곱 위에서 엄격히 양의정부호인 연속적이고 등방성 커널의 완전한 특성화를 제공한다. 자카비다항식을 이용한 급수 전개와 수렴 조건을 통해 스펙트럼 분해에서 짝수 및 홀수 차수에 걸쳐 전개 계수의 분포에 기반한 엄격한 양의정부호성에 대한 필요충분조건을 수립한다.

ABSTRACT

We present an explicit characterization for the real, continuous, isotropic and strictly positive definite kernels on a product of compact two-point homogeneous spaces, in the cases in which at least one of the spaces is a sphere of dimension greater than 1 and the other is not a circle. The result complements similar characterizations previously obtained for products of high dimensional spheres.

연구 동기 및 목표

• 컴팩트한 두점균일공간의 곱 위에서 실수, 연속적, 등방성, 엄격히 양의정부호인 커널을 특성화하는 것.
• 고차원의 구의 곱에 대한 엄격한 양의정부호성에 관한 기존 결과를 더 일반적인 공간으로 확장하는 것.
• 한 인자가 구(S^d, dim ≥ 2)이고 다른 인자가 원이 아닌 경우, 스펙트럼 계수에 기반한 엄격한 양의정부호성에 대한 필요충분조건을 수립하는 것.
• 예를 들어, 사영공간 등과 같은 다른 두점균일공간을 포함하는 혼합 곱에서 엄격한 양의정부호성에 관한 문헌의 빈도를 메우는 것.
• 이러한 곱공간에서의 양의정부호성 분석을 위한 통합적 프레임워크를 초함수와 직교다항식 전개를 통해 제공하는 것.

제안 방법

• 등방성 조건을 활용하여 곱공간 위의 커널을 반지름의 코사인 함수를 통한 지오데식 거리 함수로 표현한다.
• 비음수 계수를 가진 자카비다항식 $ P_k^{(d-2)/2,eta}(t) $ 와 $ P_l^{(d'-2)/2,eta'}(s) $ 에 대한 급수 전개를 사용한다.
• 자카비다항식을 1에서 평가함으로써 수렴 조건을 적용하여 양의정부호성을 보장한다.
• DC-엄격한 양의정부호성의 개념을 도입하고 이를 전반적인 엄격한 양의정부호성 조건 유도의 기초로 사용한다.
• 직교다항식 체계와 관련된 스펙트럼 분석 및 함수방정식을 통해 계수 수열의 소멸을 분석한다.
• 계수 수열에 대한 모순과 극한 추론을 통해, 계수 집합의 지지에서 무한히 많은 짝수 및 홀수 차수 수열이 존재하지 않을 경우 엄격한 양의정부호성이 성립하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 한 인자가 차원 ≥ 2인 구이고 다른 인자가 원이 아닌 경우, 컴팩트한 두점균일공간의 곱 위에서 등방성 커널의 스펙트럼 계수에 어떤 조건이 성립해야 엄격한 양의정부호성이 보장되는가?
• RQ2 자카비다항식 전개에서 짝수 및 홀수 차수에 걸친 계수 분포는 이러한 곱공간에서 엄격한 양의정부호성과 어떻게 관련되는가?
• RQ3 두 구의 곱에 대한 엄격한 양의정부호성 특성화는 두 구가 아닌 경우로 어떻게 일반화할 수 있는가?
• RQ4 대척점 집합과 지오데식 거리 성질은 이러한 다양체에서 엄격한 양의정부호성 분석에 어떤 역할을 하는가?
• RQ5 구의 곱에 대한 엄격한 양의정부호성에 관한 기존 결과를 사영공간이나 다른 두점균일공간을 포함하는 곱으로 일반화할 수 있는가?

주요 결과

• 컴팩트한 두점균일공간 $ \text{M}^d \times \text{H}^{d'} $ 위의 실수, 연속적, 등방성 커널 $ K $ 는 그 등방성 부분이 비음수 계수를 가진 자카비다항식 전개와 유한한 총 질량을 가질 때에만 양의정부호이다.
• 구 $ S^d \times \text{H}^{d'} $ 에서 $ d \ne 1 $ 이고 $ \text{H}^{d'} $ 가 구가 아닌 경우, $ K $ 가 엄격히 양의정부호일 조건은 계수 집합 $ J_K $ 가 두 개의 수열을 포함해야 하며, 하나는 무한히 많은 짝수 $ k $-지표를 갖고, 다른 하나는 무한히 많은 홀수 $ k $-지표를 가져야 하며, 둘 다 무한으로 발산해야 한다.
• 커널 $ K $ 의 엄격한 양의정부호성은 스펙트럼 분해에서 짝수 및 홀수 차수 성분의 계수 수열이 모두 0이 아님과 동치이다.
• 증명은 커널 평가로부터 유도된 방정식계의 유일한 해가 영일 때만 성립함을 보여, 모든 보간 행렬의 양의정부호성을 보장한다.
• 이 특성화는 이전의 $ S^d \times S^{d'} $ 경우에 대한 결과를 원이 포함되지 않은 더 넓은 컴팩트한 두점균일공간의 범주로 확장한다.
• 원을 포함하는 곱에 대해서는 여전히 열린 문제이며, 특히 하나 또는 둘 다 원인 경우에 대해 남아있다.