2025-11-10T05:20:46.022582

On the Fourier dimension of fractional Brownian graphs

Lee, Tindel

In this note we prove that the Fourier dimension of the graph $G(B)$ of a fractional Brownian motion $B$ with Hurst parameter $H\in(0,1/2)$ is equal to 1. This finishes to solve a conjecture by Fraser and Sahlsten. It also yields an exact formula for the gap $\dim_{\rm H}(G(B)) - \dim_{\rm F}(G(B))$ between the Hausdorff dimension and the Fourier dimension of $G(B)$. The proof is based on an intricate combinatorics procedure for multiple integrals related to the covariance function of the fractional Brownian motion.

academic

분수 브라운 운동 그래프의 푸리에 차원에 관하여

기본 정보

논문 ID: 2510.09818
제목: On the Fourier dimension of fractional Brownian graphs
저자: Cheuk Yin Lee, Samy Tindel
분류: math.PR (확률론)
발표 시간: 2025년 10월 10일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.09818

초록

본 논문은 허스트 매개변수 $H\in(0,1/2)$ 를 갖는 분수 브라운 운동 $B$ 의 그래프 $G(B)$ 의 푸리에 차원이 1과 같음을 증명한다. 이는 Fraser와 Sahlsten이 제시한 추측을 완전히 해결하며, 동시에 $G(B)$ 의 하우스도르프 차원과 푸리에 차원 사이의 차이 $\dim_{\rm H}(G(B)) - \dim_{\rm F}(G(B))$ 에 대한 정확한 공식을 제시한다. 증명은 분수 브라운 운동 공분산 함수와 관련된 다중 적분의 복잡한 조합론적 절차에 기반한다.

연구 배경 및 동기

문제 배경

푸리에 차원의 중요성: 푸리에 차원은 기하 측도론의 기본 개념으로, 측도의 푸리에 변환의 감소 성질을 통해 집합의 기하학적 구조를 특성화한다. 집합 $A \subset \mathbb{R}^n$ 에 대해, 그 푸리에 차원은 다음과 같이 정의된다: $\dim_F A = \sup\{\beta \in [0,n] : \exists \mu \in P(A), |\hat{\mu}(\xi)| \lesssim |\xi|^{-\beta/2}\}$
살렘 집합의 개념: 집합의 하우스도르프 차원이 그 푸리에 차원과 같을 때, 해당 집합을 살렘 집합이라 부른다. 이는 중요한 기하학적 성질이지만, 대부분의 확률 과정의 그래프는 살렘 집합이 아니다.
Fraser-Sahlsten 추측: Fraser와 Sahlsten은 2018년 표준 브라운 운동 그래프의 푸리에 차원이 거의 확실히 1과 같음을 증명했으며, 분수 브라운 운동 그래프의 푸리에 차원도 1과 같을 것으로 추측했다.

연구 동기

이론적 완전성: 해당 추측은 분수 브라운 운동의 기하학적 성질 연구에서 중요한 미해결 문제이다
차원 차이의 정확한 특성화: 푸리에 차원을 결정한 후, 하우스도르프 차원과 푸리에 차원의 차이를 정확히 계산할 수 있다
기술적 도전: $H < 1/2$ 인 경우는 기술적으로 더욱 도전적이며, 더 복잡한 특이성을 다루어야 한다

핵심 기여

Fraser-Sahlsten 추측의 완전한 해결: 모든 $H \in (0,1)$ 에 대해 분수 브라운 운동 그래프 $G(B)$ 의 푸리에 차원이 거의 확실히 1과 같음을 증명했다
정확한 차원 차이 공식 제시: $\dim_H(G(B)) - \dim_F(G(B)) = (2-H) - 1 = 1-H$
새로운 기술 프레임워크 개발: $H < 1/2$ 경우를 다루기 위한 복잡한 조합론적 적분 방법을 확립했다
이론적 그림 완성: 알려진 $H \geq 1/2$ 결과와 결합하여 분수 브라운 운동 그래프 푸리에 차원의 완전한 이론을 제시했다

방법론 상세 설명

과제 정의

허스트 매개변수 $H \in (0,1/2)$ 를 갖는 분수 브라운 운동 $B = \{B_t, t \geq 0\}$ 에 대해, 그 그래프 $G(B) = \{(t, B_t) : t \in [0,1]\}$ 의 푸리에 차원이 거의 확실히 1과 같음을 증명하는 것이다.

핵심 기술 프레임워크

1. 그래프 측도의 푸리에 변환

그래프 측도 $\mu_G$ 를 정의한다: $\mu_G(dt, dx) = \mathbf{1}_{[0,1]}(t) \delta_x(B_t) dt dx$

그 푸리에 변환은: $\hat{\mu}_G(\xi) = \int_0^1 e^{-2\pi i(\xi_1 t + \xi_2 B_t)} dt$

2. 모멘트 추정의 축약

명제 2.2를 통해, 푸리에 차원의 하한은 다음 모멘트 추정으로 얻을 수 있다:

수직 경계: $E[|\hat{\nu}(\xi_2)|^{2q}] \leq C|\xi_2|^{-\gamma_2 q}$
수평 경계: $E[|\hat{\mu}_G(\xi_1, \xi_2)|^{2q}] \leq C|\xi_1|^{-\gamma_1 q}$

목표는 $\gamma_1 = 1$ 임을 증명하는 것이다.

3. 조합론적 분해

Kahane 분해와 분수 브라운 운동의 스케일 성질을 이용하여 핵심 공식을 얻는다: $E[|\hat{\mu}_G(\xi_1, \xi_2)|^{2q}] = \frac{(q!)^2}{|\xi_2|^{2q/H}} \sum_{\varepsilon \in A_{2q}} I_T^\lambda[\varepsilon, G_\varepsilon]$

여기서:

$\lambda = \xi_1/|\xi_2|^{1/H}$ , $T = |\xi_2|^{1/H}$
$A_{2q} = \{\varepsilon \in \{-1,1\}^{2q} : \sum_{j=1}^{2q} \varepsilon_j = 0\}$
$G_\varepsilon(u) = e^{-\pi \text{Var}(\sum_{i=1}^{2q} \varepsilon_i B_{u_i})}$

기술적 혁신점

1. 단순형 위의 부분적분

체계적인 부분적분 공식을 개발했다 (보조정리 2.6): $I[\varepsilon, G_\varepsilon] = \left(\frac{1}{2\pi i\lambda}\right)^q \prod_{j=1}^q \frac{1}{\varepsilon_{2j-1}} \sum_{\sigma \in \Sigma(q)} I[\sigma; \varepsilon, G_\varepsilon]$

2. 특이성 분석

$H < 1/2$ 인 경우, 분산 함수의 도함수는 특이성을 갖는다:

1계 도함수: $|\partial_{s_i} g_a(s)| \lesssim \|a\|_\infty^2 I[(s_i - s_{i-1})^{2H-1} + (s_{i+1} - s_i)^{2H-1}]$
2계 도함수: $|\partial_{s_i}\partial_{s_j} g_a(s)| \lesssim \|a\|_\infty^2 (s_j - s_i)^{2H-2}$