[논문 리뷰] Critical sets of random smooth functions on products of spheres

Liviu I. Nicolaescu|arXiv (Cornell University)|2010. 08. 30.

Geometry and complex manifolds참고 문헌 13인용 수 9

한 줄 요약

이 논문은 구의 곱에 정의된 무작위 미분 가능 함수의 임계점 수의 기대값을 계산하기 위해 체른-라슈오프 유형의 공식을 유도한다. 이는 가우시안 무작위 장과 구조형 조화함수의 스펙트럼 분석을 사용한다. 점점 커지는 $ \nu \to \infty$ 에서, $S^1$ 상의 삼각함수 다항식에 대해 기대 임계점 수는 $2\sqrt{0.6}\,\nu$ 로 증가하고 분산은 $c\nu$ 로 증가하며, 이때 $c \approx 0.35$ 이다. 이러한 결과는 구와 토러스 상의 라플라스 연산자의 고유함수로 확장된다.

ABSTRACT

We prove a Chern-Lashof type formula computing the expected number of critical points of smooth function on a smooth manifold $M$ randomly chosen from a finite dimensional subspace $V\subset C^\infty(M)$ equipped with a Gaussian probability measure. We then use this formula this formula to find the asymptotics of the expected number of critical points of a random linear combination of a large number eigenfunctions of the Laplacian on the round sphere, tori, or a products of two round spheres. In the case $M=S^1$ we show that the number of critical points of a trigonometric polynomial of degree $\leq ν$ is a random variable $Z_ν$ with expectation $E(Z_ν)\sim 2\sqrt{0.6}\,ν$ and variance $var(Z_ν)\sim cν$ as $ν o \infty$, $c\approx 0.35$.

연구 동기 및 목표

• 콤��� 매니폴드, 특히 구의 곱에 정의된 무작위 미분 가능 함수의 임계점 수의 기대값을 계산하는 것.
• 유한 차원 부분공간에 정의된 무작위 함수에 대해 체른-라슈오프 및 카크-프라이스 공식을 확장하는 것.
• 구, 토러스 및 구의 곱에 정의된 라플라스 연산자의 고유함수에 대해 임계점 수의 점점 커지는 행동을 분석하는 것.
• 무작위 삼각함수 다항식의 임계점 수에 대한 기대값과 분산에 대해 정밀한 점점 커지는 표현식을 도출하는 것, $S^1$ 에서의 차수 $\leq \nu$ 에 대해.

제안 방법

• 무작위 미분 가능 함수를 모델링하기 위해 유한 차원 부분공간 $\boldsymbol{V} \subset C^\infty(M)$ 에 가우시안 확률 측도를 사용한다.
• 평가 사상의 총 곡률을 통해 기대 임계점 수를 계산하기 위해 임베딩에 대한 체른-라슈오프 공식을 적용한다.
• 구조형 조화함수의 스펙트럼 이론과 고유함수 전개를 사용하여 $S^d$ 와 $S^1 \times S^{d-1}$ 상의 무작위 선형 조합을 분석한다.
• 실수축 $\mathbb{R}$ 상의 정상 가우시안 과정의 공분산 구조를 분석하며, 고유값에 대한 이산 합으로부터 유도된 스펙트럼 측도를 사용한다.
• 진동 적분과 타일러 전개의 점점 커지는 분석을 통해 스펙트럼 측도와 공분산 행렬의 극한을 도출한다.
• 정상 가우시안 과정의 결과를 적용하여 임계점 밀도와 분산 공식이 비퇴화됨을 확보한다.

실험 결과

연구 질문

• RQ1 무작위로 선택된 $C^\infty(M)$ 의 유한 차원 부분공간에 있는 함수에 대해, 가우시안 측도를 갖는 경우 기대 임계점 수는 얼마인가요?
• RQ2 구와 토러스 상의 라플라스 연산자의 고유함수의 무작위 선형 조합에 대해 기대 임계점 수는 점점 커질 때 어떻게 행동합니까?
• RQ3 $S^1$ 상의 차수 $\leq \nu$ 인 무작위 삼각함수 다항식에 대해 임계점 수의 점점 커지는 분산은 무엇입니까?
• RQ4 $S^1 \times S^{d-1}$ 상의 임계점 분포는 기저 무작위 장의 스펙트럼 성질과 어떻게 관련이 있습니까?
• RQ5 임계점 집합이 유한하고 기대값이 잘 정의되기 위해 필요한 조건은 무엇입니까?

주요 결과

• 차수 $\leq \nu$ 인 무작위 함수에 대해 $S^1$ 상의 기대 임계점 수는 $\boldsymbol{E}(Z_\nu) \sim 2\sqrt{0.6}\,\nu$ 로 점점 커지며, $\nu \to \infty$ 일 때 성립한다.
• $S^1$ 상의 임계점 수의 분산은 $\nu$ 와 선형으로 증가하며, 구체적으로 $\operatorname{\boldsymbol{var}}(Z_\nu) \sim c\nu$ 이고, 이때 $c \approx 0.35$ 이다.
• 둥근 구나 토러스 상의 고유함수의 무작위 선형 조합에 대해 기대 임계점 수는 체른-라슈오프 유형의 적분으로부터 잘 정의된 점점 커지는 공식을 갖는다.
• 무작위 과정의 스펙트럼 측도는 $\nu \to \infty$ 일 때 약한 수렴으로 $d\sigma_\infty = \frac{1}{\pi} \chi_{[0,1]} t^2 dt$ 로 수렴한다.
• 가우시안 과정의 극한 공분산 행렬은 비퇴화되어 있어, 잘 정의된 임계점 밀도와 분산을 보장한다.
• 이 방법은 불변 적분과 구조형 조화함수 분해를 통해 평가 사상의 기하학과 임계점의 점점 커지는 통계 사이의 연결을 확립한다.