스무스 Banach 공간에서의 Fuk‑Nagaev 부등식: 무거운 꼬리 마팅게일에 대한 최적 경계

초록

본 논문은 (2,D)-스무스 Banach 공간에서 조건부 고차 모멘트를 갖는 마팅게일의 최대 노름에 대한 Fuk‑Nagaev 부등식을 제시한다. 기존 결과에서 불필요한 중심화 항을 제거하고, Rio(2017)의 실수값 부등식에서 얻은 최적 상수와 Pinelis(1994)의 매끄러운 공간에 대한 MGFs 상수를 그대로 확장한다. 또한, 이를 이용해 고차 모멘트 조건만으로 벡터값 함수에 대한 McDiarmid‑형 집중 불평등을 도출한다.

상세 분석

이 논문의 핵심은 (2,D)-스무스 Banach 공간 X에 대해, 차분 ξ_i의 조건부 2차 모멘트와 q차 모멘트( q>2 )가 유한한 경우, 마팅게일 M_n=∑{i=1}^n ξ_i 의 최대 노름 ‖M_n‖에 대한 확률적 상한을 정확한 상수와 함께 제공한다는 점이다. 정의 2.1에서 (2,D)-스무스성은 ‖x+y‖²+‖x−y‖² ≤ 2‖x‖²+2D‖y‖² 로, D=1이면 힐베르트 공간과 일치한다. 정리 2.2는 “신뢰 구간 형태”의 부등식 (2.2)를 제시하는데, 여기서 Dσ√{2 log(2/u)}는 가우시안형 항, c{q,D}C_q (2u)^{1/q}는 다항식형 항이며, c_{q,D}=½q+min{1/q,1/5}+1+1/q>3D²q³ 로 명시된다. 이는 Rio(2017)의 실수값 마팅게일 결과에서 γ_q=1/(8σ²)와 같은 지수 상수를 그대로 유지하면서, Banach 공간의 매끄러움 파라미터 D만 추가된 형태다.

전통적인 Fuk‑Nagaev 부등식은 중심화된 합 ‖S_n‖−E‖S_n‖ 를 다루지만, 매끄러운 공간에서는 Pinelis(1994)의 결과에 따라 E‖S_n‖ 자체가 불필요함을 보인다. 논문은 이 점을 활용해 중심화 항을 완전히 없앴으며, 상수도 명시적으로 계산한다.

Tail bound 형태는 (2.4)–(2.5)에서 전형적인 두 항을 각각 역변환하여 u*를 두 항의 합으로 잡음으로써 얻어진다. 결과적으로 Corollary 2.3은
P( max_i ‖M_i‖ > t ) ≤ 2 c_{q,D} C_q t^{−q} + 2 exp(−t²/(8D²σ²))
를 제공한다. 이는 큰 편차 영역에서는 q차 모멘트에 의해 지배되는 다항식 꼬리를, 작은 편차 영역에서는 σ에 의해 결정되는 서브가우시안 꼬리를 동시에 포착한다.

독립 동일분포(i.i.d.) 경우에는 차분이 독립이므로 (2.5)와 같이 n에 대한 정규화가 자연스럽게 들어가며, 기존 Hilbert 공간 결과(Mollenhauer et al., 2025)를 상수까지 정밀히 개선한다.

응용으로 제시된 McDiarmid‑형 부등식은 함수 f:Z→X 에 대해 각 좌표 i에 대한 조건부 고차 모멘트가 균일하게 유한하면,
P( ‖f(Z)−E f(Z)‖ > t ) ≤ 2 c_{q,D} C_q t^{−q} + 2 exp(−t²/(8D²σ²))
를 얻는다. 여기서 σ²와 C_q는 각 좌표의 조건부 2차·q차 모멘트의 합으로 정의된다. 특히 Hölder 연속 함수(α∈(0,1])에 대해 d_i(·,·)^α 로 제어되는 경우, σ와 C_q 를 입력 변수들의 거리 모멘트(L²·E d_i^{2α}, L^q·E d_i^{qα}) 로 명시적으로 계산할 수 있다. 이는 기존의 유한 차이 가정 대신 고차 모멘트 가정만으로도 강력한 집중을 제공한다는 점에서 의미가 크다.

증명 전략은 Rio(2017)의 Chernoff 최적화 기법을 그대로 차용하되, Banach 공간에서는 ‖·‖의 누적 생성함수(MGF)를 Pinelis(1994)의 코사인 하이퍼볼릭 형태로 제한한다. 구체적으로, truncation level L=u^{−1/q} 로 잡아 차분을 잘라낸 ˜M_n 에 대해 cosh(t‖˜M_n‖) 를 이용한 슈퍼마르팅게일 G_i 를 구성하고, E