[논문 리뷰] Two-dimensional Kac-Rice formula. Application to shot noise processes excursions

Raphaël Lachièze-Rey|arXiv (Cornell University)|2016. 07. 19.

Simulation Techniques and Applications인용 수 4

한 줄 요약

이 논문은 실수 평면에서 정의된 $ C^2 $ 함수 $ f: \mathbb{R}^2 \to \mathbb{R} $의 초월집합의 오일러 특성수를 $ f $, 그 기울기 $ \nabla f $, 그리고 헤시안 행렬을 포함하는 $ \mathbb{R}^2 $ 위의 적분으로 표현하는 이차원 카크-라이스 공식을 수립한다. 이 공식은 밀도 조건 없이도 랜덤 필드, 특히 샷 노이즈 과정의 기대 오일러 특성수를 계산할 수 있게 하며, 필드나 그 도함수의 밀도가 존재하지 않더라도 약한 정규성 조건 하에서 연속성과 모멘트 유한성을 보장한다.

ABSTRACT

Given a deterministic function f:R^2->R atisfying suitable assump- tions, we show that for h smooth with compact support, the integral of the Euler characteristic of the excursion set of f above some level u against a test function h corresponds to the Lebesgue integral on R^2 of a bounded quantity depending on grad(f)(x),h(f(x)),h'(f(x)) and \\partial_{ii}f(x),i = 1,2. This formula can be seen as a 2-dimensional analogue of Kac-Rice formula. It yields in particular that the left hand member is continuous in the argument f, for an appropriate norm on the space of C2 functions. If f is a random field, the expectation can be passed under integrals in this identity under minimal requirements, not involving any density assumptions on the marginals of f or his derivatives. We apply these results to give a weak expression of the mean Euler characteristic of a shot noise process, and the finiteness of its moments.

연구 동기 및 목표

• 두 차원에서의 초월집합 오일러 특성수를 위한 결정론적 적분 공식을 유도함으로써 고전적 카크-라이스 접근법을 확장한다.
• 랜덤 필드에서의 편미분의 변화에 대한 민감도 분석을 가능하게 하기 위해 오일러 특성수 기능의 $ C^2 $ 위상에서의 연속성을 확립한다.
• 특히 샷 노이즈 과정을 포함한 랜덤 $ C^2 $ 필드에 대해 최소한의 확률적 가정 하에서 평균 오일러 특성수의 약한 공식을 제공한다.
• 필드 또는 그 도함수의 밀도 조건에 의존하지 않음으로써, 비정규성 및 비정규 필드에까지 적용 가능성을 넓힌다.
• 유도된 공식을 통해 샷 노이즈 과정의 오일러 특성수 기능의 모멘트 유한성을 입증한다.

제안 방법

• 초월집합의 오일러 특성수를 $ \mathbb{R}^2 $ 위의 적분으로 표현하기 위해 공역과 변환 기법을 적용하여 이차원 카크-라이스 공식을 유도한다.
• 함수 $ \chi_f(h) = \int_\mathbb{R} h(u) \chi(\{f \geq u\}) du $를 도입하고, 이를 오일러 원시함수라 정의하며, $ h(f(x)) $, $ h'(f(x)) $, $ \partial_i f(x) $, $ \partial_{ii}^2 f(x) $를 포함하는 르베그 적분과 동일시함을 보인다.
• 기울기 성분의 부호에 따라 정의된 1사분면 영역 $ Q_1, Q_2 \subset \mathbb{R}^2 $를 이용해 오일러 특성수 기여를 국소화한다.
• 비모르스 조건 대신 $ \mathcal{C}^{1,1} $ 정규성(거의 어디서나 두 번 미분 가능)을 사용함으로써 임계점 수세기의 범위를 초월한 적용 가능성을 넓힌다.
• 정상성과 등방성 조건을 활용하여 샷 노이즈 과정에 공식을 적용하고 특성 함수를 계산하며 모멘트 유한성을 도출한다.
• 부정적분 표현을 통해 부호 함수를 다루기 위해 $ \int_0^\infty \frac{\sin(ux)}{u} du = \frac{\pi}{2} \text{sign}(u) $를 활용하여 도함수의 부호 함수 곱을 포함하는 기대값 표현을 처리한다.

실험 결과

연구 질문

• RQ1 임계점 수를 세지 않고도 두 차원 초월집합의 오일러 특성수를 매끄러운 도메인 위의 적분으로 표현할 수 있는가?
• RQ2 밀도 조건 없이도 오일러 특성수 기능이 $ C^2 $ 위상 수렴에 대해 연속성을 유지하는가?
• RQ3 필드의 마진발생률 또는 도함수의 밀도 조건 없이도 랜덤 필드의 평균 오일러 특성수를 계산할 수 있는가?
• RQ4 샷 노이즈 과정의 오일러 특성수 기능의 모멘트가 유한해지기 위한 조건은 무엇인가?
• RQ5 약한 공식화를 통해 비정규성 및 비모르스 필드에 대해 카크-라이스 공식을 어떻게 적용할 수 있는가?

주요 결과

• 초월집합 $ \{f \geq u\} $의 오일러 특성수는 $ h'(f(x)) \partial_i f(x)^2 $ 및 $ h(f(x)) \partial_{ii}^2 f(x) $를 포함하는 르베그 적분으로 표현되며, 기울기 영역 $ Q_i $ 상의 지시 함수에 의해 가중된다.
• 공식은 $ \mathcal{C}^{1,1} $ 정규성 조건 하에서도 성립하여, 비모르스 함수에도 적용 가능하며, 오일러 원시함수의 $ C^2 $ 노름에서의 연속성을 보장한다.
• 랜덤 $ C^2 $ 필드의 경우, $ f(x) $ 또는 그 도함수의 밀도를 가정하지 않아도 오일러 원시함수의 기대값을 계산할 수 있어, 비정규 필드 분석이 가능하다.
• 샷 노이즈 과정의 평균 오일러 특성수는 유한하며, 필드와 그 도함수에 대한 약한 모멘트 조건 하에서 그 모멘트가 모두 유한함을 증명한다.
• 등방성 및 정상성 조건을 만족하는 샷 노이즈 필드의 경우, 오일러 원시함수의 특성 함수는 $ (f(0), \nabla f(0), \partial_{ii}^2 f(0)) $의 특성 함수의 도함수를 통해 표현되며, 특정 경우에 대해 명시적 계산이 가능하다.
• 공식을 통해 대규모 영역에서 오일러 특성수의 渐近적 행동을 약한 수렴과 $ o(|W_n|) $ 오차 제어를 통해 유도할 수 있다.