We study the local asymptotic normality (LAN) property for the likelihood function associated with discretely observed $d$-dimensional McKean-Vlasov stochastic differential equations over a fixed time interval. The model involves a joint parameter in both the drift and diffusion coefficients, introducing challenges due to its dependence on the process distribution. We derive a stochastic expansion of the log-likelihood ratio using Malliavin calculus techniques and establish the LAN property under appropriate conditions. The main technical challenge arises from the implicit nature of the transition densities, which we address through integration by parts and Gaussian-type bounds. This work extends existing LAN results for interacting particle systems to the mean-field regime, contributing to statistical inference in non-linear stochastic models
논문 ID : 2511.13366제목 : Local asymptotic normality for discretely observed McKean-Vlasov diffusions저자 : Akram Heidari, Mark Podolskij (룩셈부르크 대학교)분류 : math.ST, stat.TH (통계 이론)제출 시간 : 2025년 11월 17일논문 링크 : https://arxiv.org/abs/2511.13366 본 논문은 고정 시간 구간에서 이산 관측된 d차원 McKean-Vlasov 확률 미분 방정식의 우도 함수의 국소 점근 정규성(LAN) 성질을 연구한다. 모델은 드리프트 계수와 확산 계수 모두에 결합 매개변수를 포함하며, 과정 분포에 대한 의존성으로 인해 도전 과제가 발생한다. 저자들은 Malliavin 미적분 기법을 사용하여 로그 우도비의 확률적 전개를 도출하고 적절한 조건 하에서 LAN 성질을 확립한다. 주요 기술적 도전은 전이 밀도의 암묵적 성질에서 비롯되며, 부분 적분과 가우스형 경계를 통해 해결된다. 이 연구는 기존의 상호작용 입자 시스템에 대한 LAN 결과를 평균장 메커니즘으로 확장하여 비선형 확률 모델의 통계적 추론에 기여한다.
본 논문은 McKean-Vlasov 확률 미분 방정식(SDE)의 매개변수 추정 문제를 연구하며, 특히 이산 시간 관측 데이터에 대한 우도 함수의 국소 점근 정규성(LAN)을 확립한다. McKean-Vlasov 방정식의 형태는 다음과 같다:
d X t i , θ = b θ 1 ( X t i , θ , μ t θ ) d t + a θ 2 ( X t i , θ ) d W t i dX^{i,\theta}_t = b_{\theta_1}(X^{i,\theta}_t, \mu^\theta_t)dt + a_{\theta_2}(X^{i,\theta}_t)dW^i_t d X t i , θ = b θ 1 ( X t i , θ , μ t θ ) d t + a θ 2 ( X t i , θ ) d W t i
여기서 μ t θ \mu^\theta_t μ t θ 는 X t i , θ X^{i,\theta}_t X t i , θ 의 분포이며, 이는 방정식에 내재적 비선형성을 부여한다.
광범위한 응용 : McKean-Vlasov 방정식은 통계 물리학, 금융, 평균장 게임 등 다양한 분야에서 광범위하게 적용된다이론적 기초 : LAN 성질은 Le Cam에 의해 도입된 점근 통계 추론의 기초 도구이며, 추정량 점근 분산의 하한을 도출하는 데 사용될 수 있다평균장 이론 : 미시적 입자 시스템과 거시적 평균장 극한을 연결하는 통계적 추론연속 관측 vs 이산 관측 : 기존 LAN 결과는 주로 연속 관측 경우를 다루며13 , 이 경우 Girsanov 정리를 통해 우도 함수의 폐쇄형 표현을 얻을 수 있다전이 밀도의 암묵성 : 이산 관측의 경우 전이 밀도가 명시적 표현을 갖지 않으므로 새로운 기법이 필요하다상호작용 입자 시스템의 도전 : 상호작용 입자 시스템(3.18)의 경우 dN차원 결합 전이 밀도를 다루어야 하며, 현재 문헌에서 해당 경계가 부족하다이산 관측 McKean-Vlasov 방정식의 LAN 이론 공백 해소 암묵적 전이 밀도를 다루는 Malliavin 미적분 기법 개발 평균장 모델의 통계적 추론에 대한 이론적 기초 제공 및 최근 추정 방법1 과의 이론적 연결 LAN 성질 확립 : 이산 관측 McKean-Vlasov 방정식에 대해 처음으로 LAN 성질을 확립하며, 점근 메커니즘 Δ n → 0 , N → ∞ \Delta_n \to 0, N \to \infty Δ n → 0 , N → ∞ 하에서 시간 구간 T T T 는 고정된다Malliavin 미적분 기법 : Malliavin 미적분의 부분 적분 공식을 사용하여 전이 밀도 로그 도함수의 명시적 표현을 도출한다(명제 3.1)확률적 전개 : 로그 우도비의 정확한 확률적 전개를 확립하고(명제 3.2), 주요항과 나머지항을 식별한다점근 공분산 행렬 : 함수 도함수 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 항을 포함하는 명시적 점근 공분산 행렬 Σ θ 0 \Sigma^{\theta_0} Σ θ 0 를 제공하며, 이는 McKean-Vlasov 모델에 특유하다서로 다른 추정 속도 : 드리프트 매개변수는 N \sqrt{N} N 속도로, 확산 매개변수는 N / Δ n \sqrt{N/\Delta_n} N / Δ n 속도로 추정됨을 증명하며, 이는 1 의 대조 추정 방법과 일치한다기술적 혁신 : 가우스형 상한과 하한(명제 4.2)과 모멘트 추정(보조정리 4.1)을 통해 암묵적 전이 밀도를 다루고 주요 기술적 장애를 극복한다관측 데이터 :
{ X t k i , θ } i = 1 , … , N k = 1 , … , n \{X^{i,\theta}_{t_k}\}_{i=1,\ldots,N}^{k=1,\ldots,n} { X t k i , θ } i = 1 , … , N k = 1 , … , n
여기서 t k = T k / n t_k = Tk/n t k = T k / n , Δ n = T / n \Delta_n = T/n Δ n = T / n 은 이산화 단계
매개변수 섭동 :
θ + = ( θ 1 + , θ 2 + ) = ( θ 1 0 + u N , θ 2 0 + v N / Δ n ) \theta^+ = (\theta_1^+, \theta_2^+) = \left(\theta_1^0 + \frac{u}{\sqrt{N}}, \theta_2^0 + \frac{v}{\sqrt{N/\Delta_n}}\right) θ + = ( θ 1 + , θ 2 + ) = ( θ 1 0 + N u , θ 2 0 + N / Δ n v )
목표 : 로그 우도비
z ( θ 0 , θ + ) : = log d P θ + d P θ 0 z(\theta_0, \theta^+) := \log \frac{dP_{\theta^+}}{dP_{\theta_0}} z ( θ 0 , θ + ) := log d P θ 0 d P θ +
가 LAN 성질을 만족함을 증명하는 것이다. 즉,
z ( θ 0 , θ + ) → l a w ( u v ) ⊤ N θ 0 − 1 2 ( u v ) ⊤ Σ θ 0 ( u v ) z(\theta_0, \theta^+) \xrightarrow{law} \begin{pmatrix} u \\ v \end{pmatrix}^\top N_{\theta_0} - \frac{1}{2}\begin{pmatrix} u \\ v \end{pmatrix}^\top \Sigma_{\theta_0} \begin{pmatrix} u \\ v \end{pmatrix} z ( θ 0 , θ + ) l a w ( u v ) ⊤ N θ 0 − 2 1 ( u v ) ⊤ Σ θ 0 ( u v )
여기서 N θ 0 ∼ N ( 0 , Σ θ 0 ) N_{\theta_0} \sim N(0, \Sigma_{\theta_0}) N θ 0 ∼ N ( 0 , Σ θ 0 ) 이다.
모델은 각각 다음을 만족하는 N개의 독립 동일 분포 입자를 가정한다:
d X t i , θ = b θ 1 ( X t i , θ , μ t θ ) d t + a θ 2 ( X t i , θ ) d W t i dX^{i,\theta}_t = b_{\theta_1}(X^{i,\theta}_t, \mu^\theta_t)dt + a_{\theta_2}(X^{i,\theta}_t)dW^i_t d X t i , θ = b θ 1 ( X t i , θ , μ t θ ) d t + a θ 2 ( X t i , θ ) d W t i
주요 특징:
분포 의존성 : 드리프트항이 주변 분포 μ t θ = Law ( X t i , θ ) \mu^\theta_t = \text{Law}(X^{i,\theta}_t) μ t θ = Law ( X t i , θ ) 에 의존한다매개변수 분리 : 드리프트 매개변수 θ 1 \theta_1 θ 1 과 확산 매개변수 θ 2 \theta_2 θ 2 가 서로 다른 계수에 나타난다독립성 : 서로 다른 입자의 브라운 운동 ( W i ) 1 ≤ i ≤ N (W^i)_{1\leq i \leq N} ( W i ) 1 ≤ i ≤ N 은 상호 독립이다Markov 성질을 이용하면:
z ( θ 0 , θ + ) = ∑ k = 1 n ∑ i = 1 N log p θ + p θ 0 ( t k , t k + 1 , X t k i , X t k + 1 i ) z(\theta_0, \theta^+) = \sum_{k=1}^n \sum_{i=1}^N \log \frac{p^{\theta^+}}{p^{\theta_0}}(t_k, t_{k+1}, X^i_{t_k}, X^i_{t_{k+1}}) z ( θ 0 , θ + ) = ∑ k = 1 n ∑ i = 1 N log p θ 0 p θ + ( t k , t k + 1 , X t k i , X t k + 1 i )
이를 드리프트와 확산 두 부분으로 추가 분해하면:
z ( θ 0 , θ + ) = ∑ k = 1 n ∑ i = 1 N ( ζ k i , θ 1 + ζ k i , θ 2 ) z(\theta_0, \theta^+) = \sum_{k=1}^n \sum_{i=1}^N (\zeta^{i,\theta_1}_k + \zeta^{i,\theta_2}_k) z ( θ 0 , θ + ) = ∑ k = 1 n ∑ i = 1 N ( ζ k i , θ 1 + ζ k i , θ 2 )
여기서
ζ k i , θ 1 = u N ∫ 0 1 ∂ θ 1 p θ 1 ( l ) , θ 2 + p θ 1 ( l ) , θ 2 + ( t k , t k + 1 , X t k i , X t k + 1 i ) d l \zeta^{i,\theta_1}_k = \frac{u}{\sqrt{N}} \int_0^1 \frac{\partial_{\theta_1} p^{\theta_1(l), \theta_2^+}}{p^{\theta_1(l), \theta_2^+}}(t_k, t_{k+1}, X^i_{t_k}, X^i_{t_{k+1}})dl ζ k i , θ 1 = N u ∫ 0 1 p θ 1 ( l ) , θ 2 + ∂ θ 1 p θ 1 ( l ) , θ 2 + ( t k , t k + 1 , X t k i , X t k + 1 i ) d l
ζ k i , θ 2 = v N / Δ n ∫ 0 1 ∂ θ 2 p θ 1 0 , θ 2 ( l ) p θ 1 0 , θ 2 ( l ) ( t k , t k + 1 , X t k i , X t k + 1 i ) d l \zeta^{i,\theta_2}_k = \frac{v}{\sqrt{N/\Delta_n}} \int_0^1 \frac{\partial_{\theta_2} p^{\theta_1^0, \theta_2(l)}}{p^{\theta_1^0, \theta_2(l)}}(t_k, t_{k+1}, X^i_{t_k}, X^i_{t_{k+1}})dl ζ k i , θ 2 = N / Δ n v ∫ 0 1 p θ 1 0 , θ 2 ( l ) ∂ θ 2 p θ 1 0 , θ 2 ( l ) ( t k , t k + 1 , X t k i , X t k + 1 i ) d l
핵심 기법 : 전이 밀도의 매개변수 도함수에 대해 Malliavin 미적분을 사용하면:
∂ θ 1 p θ p θ ( t k , t k + 1 , x , y ) = 1 Δ n E t k , x θ [ ∑ r = 1 d δ ( ∂ θ 1 X r , Δ n i , θ U r i ) ∣ X t k + 1 i , θ = y ] \frac{\partial_{\theta_1} p^\theta}{p^\theta}(t_k, t_{k+1}, x, y) = \frac{1}{\Delta_n} E^\theta_{t_k,x}\left[\sum_{r=1}^d \delta(\partial_{\theta_1} X^{i,\theta}_{r,\Delta_n} U^i_r) \Big| X^{i,\theta}_{t_{k+1}} = y\right] p θ ∂ θ 1 p θ ( t k , t k + 1 , x , y ) = Δ n 1 E t k , x θ [ ∑ r = 1 d δ ( ∂ θ 1 X r , Δ n i , θ U r i ) X t k + 1 i , θ = y ]
여기서:
δ \delta δ 는 Skorohod 적분(Malliavin 도함수의 쌍대 연산자)이다U s i = a θ 2 − 1 ( X t k + s i , θ ) Y s i , θ ( Y Δ n i , θ ) − 1 U^i_s = a^{-1}_{\theta_2}(X^{i,\theta}_{t_k+s}) Y^{i,\theta}_s (Y^{i,\theta}_{\Delta_n})^{-1} U s i = a θ 2 − 1 ( X t k + s i , θ ) Y s i , θ ( Y Δ n i , θ ) − 1 Y t i , θ Y^{i,\theta}_t Y t i , θ 는 선형 SDE를 만족하는 과정 행렬(3.14)이다매개변수 도함수 과정 : ∂ θ 1 X t i , θ \partial_{\theta_1} X^{i,\theta}_t ∂ θ 1 X t i , θ 는 SDE를 만족한다:
∂ θ 1 X t i , θ = ∫ 0 t ( ∂ θ 1 b θ 1 + ∇ x b θ 1 ∂ θ 1 X s i , θ + ∫ R d ∂ μ b θ 1 ( X t k + s i , θ , y , μ t k + s θ ) ∂ θ 1 μ t k + s θ ( d y ) ) d s + … \partial_{\theta_1} X^{i,\theta}_t = \int_0^t \left(\partial_{\theta_1} b_{\theta_1} + \nabla_x b_{\theta_1} \partial_{\theta_1} X^{i,\theta}_s + \int_{\mathbb{R}^d} \partial_\mu b_{\theta_1}(X^{i,\theta}_{t_k+s}, y, \mu^\theta_{t_k+s}) \partial_{\theta_1}\mu^\theta_{t_k+s}(dy)\right)ds + \ldots ∂ θ 1 X t i , θ = ∫ 0 t ( ∂ θ 1 b θ 1 + ∇ x b θ 1 ∂ θ 1 X s i , θ + ∫ R d ∂ μ b θ 1 ( X t k + s i , θ , y , μ t k + s θ ) ∂ θ 1 μ t k + s θ ( d y ) ) d s + …
세 번째 항이 함수 도함수 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 을 포함함에 주목하며, 이는 McKean-Vlasov 모델에 특유하다.
드리프트 부분 : 다음을 증명한다
δ ( ∂ θ 1 X r , Δ n i , θ U r i ) = Δ n z r , θ 1 θ ( X t k i , θ ) [ a θ 2 − 2 ( X t k i , θ ) ( X t k + 1 i , θ − m t k , t k + 1 θ ( X t k i , θ ) ) ] r + H t k + 1 i \delta(\partial_{\theta_1} X^{i,\theta}_{r,\Delta_n} U^i_r) = \Delta_n z^{\theta}_{r,\theta_1}(X^{i,\theta}_{t_k}) [a^{-2}_{\theta_2}(X^{i,\theta}_{t_k})(X^{i,\theta}_{t_{k+1}} - m^\theta_{t_k,t_{k+1}}(X^{i,\theta}_{t_k}))]_r + H^i_{t_{k+1}} δ ( ∂ θ 1 X r , Δ n i , θ U r i ) = Δ n z r , θ 1 θ ( X t k i , θ ) [ a θ 2 − 2 ( X t k i , θ ) ( X t k + 1 i , θ − m t k , t k + 1 θ ( X t k i , θ )) ] r + H t k + 1 i
여기서 H t k + 1 i H^i_{t_{k+1}} H t k + 1 i 은 나머지항이며, ( E t k , x θ ∣ H t k + 1 i ∣ τ ) 1 / τ = R t k i ( Δ n 2 ) (E^\theta_{t_k,x}|H^i_{t_{k+1}}|^\tau)^{1/\tau} = R^i_{t_k}(\Delta_n^2) ( E t k , x θ ∣ H t k + 1 i ∣ τ ) 1/ τ = R t k i ( Δ n 2 ) 를 만족한다.
핵심 량 :
z t θ ( x ) : = ∂ θ 1 b θ 1 ( x , μ t θ ) + ∫ R d ∂ μ b θ 1 ( x , y , μ t θ ) ∂ θ 1 μ t θ ( d y ) z^\theta_t(x) := \partial_{\theta_1} b_{\theta_1}(x, \mu^\theta_t) + \int_{\mathbb{R}^d} \partial_\mu b_{\theta_1}(x, y, \mu^\theta_t) \partial_{\theta_1}\mu^\theta_t(dy) z t θ ( x ) := ∂ θ 1 b θ 1 ( x , μ t θ ) + ∫ R d ∂ μ b θ 1 ( x , y , μ t θ ) ∂ θ 1 μ t θ ( d y )
이 량은 점근 공분산 행렬에서 핵심적인 역할을 한다.
기술적 경로 :
부분 적분 공식(2.7) 사용: δ ( F u ) = F δ ( u ) − ⟨ D F , u ⟩ H \delta(Fu) = F\delta(u) - \langle DF, u\rangle_H δ ( F u ) = F δ ( u ) − ⟨ D F , u ⟩ H U r i U^i_r U r i 을 U ^ r i = a θ 2 − 1 ( X t k + r i , θ ) \hat{U}^i_r = a^{-1}_{\theta_2}(X^{i,\theta}_{t_k+r}) U ^ r i = a θ 2 − 1 ( X t k + r i , θ ) 로 근사각 나머지항 H n i , j , j = 1 , 2 , 3 H^{i,j}_n, j=1,2,3 H n i , j , j = 1 , 2 , 3 이 모두 Δ n 2 \Delta_n^2 Δ n 2 차수임을 증명 확산 부분 : 유사하게 다음을 증명한다
δ ( ∂ θ 2 X r , Δ n i , θ U r i ) = [ ∂ θ 2 a θ 2 ( X t k i ) a θ 2 − 1 ( X t k i ) ( X t k + 1 i − m t k , t k + 1 θ ( X t k i ) ) ] r × [ … ] + 나머지항 \delta(\partial_{\theta_2} X^{i,\theta}_{r,\Delta_n} U^i_r) = [\partial_{\theta_2} a_{\theta_2}(X^i_{t_k}) a^{-1}_{\theta_2}(X^i_{t_k})(X^i_{t_{k+1}} - m^\theta_{t_k,t_{k+1}}(X^i_{t_k}))]_r \times [\ldots] + \text{나머지항} δ ( ∂ θ 2 X r , Δ n i , θ U r i ) = [ ∂ θ 2 a θ 2 ( X t k i ) a θ 2 − 1 ( X t k i ) ( X t k + 1 i − m t k , t k + 1 θ ( X t k i )) ] r × [ … ] + 나머지항
나머지항은 Δ n 3 / 2 \Delta_n^{3/2} Δ n 3/2 차수를 만족한다.
Gobet 방법19,20 : 원래 방법은 에르고딕 확산 과정을 다루며 장시간 관측의 에르고딕성에 의존한다본 논문 방법 : 에르고딕성 가정이 필요 없으며, 점근성은 입자 수 N → ∞ N \to \infty N → ∞ 에 의해 주도된다함수 도함수 : McKean-Vlasov 모델에서 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 항이 나타나며, 고전 SDE에는 존재하지 않는다Aronson형 상한과 하한 :
1 L Δ n d / 2 exp ( − c ∥ x − y ∥ 2 Δ n ) exp ( − c Δ n ∥ x ∥ 2 ) ≤ p θ ( t k , t k + 1 , x , y ) \frac{1}{L\Delta_n^{d/2}} \exp\left(-c\frac{\|x-y\|^2}{\Delta_n}\right) \exp(-c\Delta_n\|x\|^2) \leq p^\theta(t_k, t_{k+1}, x, y) L Δ n d /2 1 exp ( − c Δ n ∥ x − y ∥ 2 ) exp ( − c Δ n ∥ x ∥ 2 ) ≤ p θ ( t k , t k + 1 , x , y ) ≤ L Δ n d / 2 exp ( − ∥ x − y ∥ 2 c Δ n ) exp ( c Δ n ∥ x ∥ 2 ) \leq \frac{L}{\Delta_n^{d/2}} \exp\left(-\frac{\|x-y\|^2}{c\Delta_n}\right) \exp(c\Delta_n\|x\|^2) ≤ Δ n d /2 L exp ( − c Δ n ∥ x − y ∥ 2 ) exp ( c Δ n ∥ x ∥ 2 )
매개변수 도함수 경계 :
E t k , x θ ˉ [ ∣ ∂ θ 1 p θ p θ ( t k , t k + 1 , x , X t k + 1 i ) ∣ m ] ≤ L Δ n m / 2 exp ( c Δ n ∥ x ∥ 2 ) ( 1 + ∥ x ∥ ) q E^{\bar{\theta}}_{t_k,x}\left[\left|\frac{\partial_{\theta_1} p^\theta}{p^\theta}(t_k, t_{k+1}, x, X^i_{t_{k+1}})\right|^m\right] \leq \frac{L}{\Delta_n^{m/2}} \exp(c\Delta_n\|x\|^2)(1+\|x\|)^q E t k , x θ ˉ [ p θ ∂ θ 1 p θ ( t k , t k + 1 , x , X t k + 1 i ) m ] ≤ Δ n m /2 L exp ( c Δ n ∥ x ∥ 2 ) ( 1 + ∥ x ∥ ) q
이러한 경계는 나머지항의 무시 가능성 증명(명제 4.4)에 필수적이다.
주의 : 본 논문은 순수 이론 논문이며 수치 실험을 포함하지 않는다. 주요 결과는 이론 정리의 증명이다.
수치 실험이 없음에도 불구하고, 논문은 다음 방식으로 이론의 합리성을 검증한다:
기존 결과와의 일관성 : 점근 공분산 행렬 Σ θ 0 \Sigma^{\theta_0} Σ θ 0 는 조건 N Δ n → 0 N\Delta_n \to 0 N Δ n → 0 하에서 1 의 대조 추정 방법의 점근 분산과 일치한다추정 속도 :드리프트 매개변수: N \sqrt{N} N 속도 확산 매개변수: N / Δ n \sqrt{N/\Delta_n} N / Δ n 속도 이는 고전 SDE 이론 및 최근 문헌1 과 일치한다특수한 경우 : ∂ μ b θ 1 = 0 \partial_\mu b_{\theta_1} = 0 ∂ μ b θ 1 = 0 일 때(분포 의존성 없음), 결과는 고전 확산 과정의 LAN 결과로 축소된다LAN 성질 : 가정 A1-A5 하에서,
z ( θ 0 , θ + ) → P θ 0 − l a w ( u v ) ⊤ N θ 0 − 1 2 ( u v ) ⊤ Σ θ 0 ( u v ) z(\theta_0, \theta^+) \xrightarrow{P^{\theta_0}-law} \begin{pmatrix} u \\ v \end{pmatrix}^\top N_{\theta_0} - \frac{1}{2}\begin{pmatrix} u \\ v \end{pmatrix}^\top \Sigma_{\theta_0} \begin{pmatrix} u \\ v \end{pmatrix} z ( θ 0 , θ + ) P θ 0 − l a w ( u v ) ⊤ N θ 0 − 2 1 ( u v ) ⊤ Σ θ 0 ( u v )
점근 공분산 행렬 :
Σ θ 0 = ( Σ b θ 0 0 0 Σ a θ 0 ) \Sigma_{\theta_0} = \begin{pmatrix} \Sigma^{\theta_0}_b & 0 \\ 0 & \Sigma^{\theta_0}_a \end{pmatrix} Σ θ 0 = ( Σ b θ 0 0 0 Σ a θ 0 )
여기서
Σ b θ 0 = ∫ 0 T ∫ R d z s θ 0 ( x ) ⊤ a θ 2 0 − 2 ( x ) z s θ 0 ( x ) μ s θ 0 ( d x ) d s \Sigma^{\theta_0}_b = \int_0^T \int_{\mathbb{R}^d} z^{\theta_0}_s(x)^\top a^{-2}_{\theta_2^0}(x) z^{\theta_0}_s(x) \mu^{\theta_0}_s(dx)ds Σ b θ 0 = ∫ 0 T ∫ R d z s θ 0 ( x ) ⊤ a θ 2 0 − 2 ( x ) z s θ 0 ( x ) μ s θ 0 ( d x ) d s
Σ a θ 0 = 2 ∫ 0 T ∫ R d tr ( ∂ θ 2 a θ 2 0 ( x ) a θ 2 0 − 1 ( x ) ∂ θ 2 a θ 2 0 ( x ) a θ 2 0 − 1 ( x ) ) μ s θ 0 ( d x ) d s \Sigma^{\theta_0}_a = 2\int_0^T \int_{\mathbb{R}^d} \text{tr}(\partial_{\theta_2} a_{\theta_2^0}(x) a^{-1}_{\theta_2^0}(x) \partial_{\theta_2} a_{\theta_2^0}(x) a^{-1}_{\theta_2^0}(x)) \mu^{\theta_0}_s(dx)ds Σ a θ 0 = 2 ∫ 0 T ∫ R d tr ( ∂ θ 2 a θ 2 0 ( x ) a θ 2 0 − 1 ( x ) ∂ θ 2 a θ 2 0 ( x ) a θ 2 0 − 1 ( x )) μ s θ 0 ( d x ) d s
대각 구조 : Σ θ 0 \Sigma_{\theta_0} Σ θ 0 는 대각 행렬이며, 드리프트와 확산 매개변수의 점근 독립성을 나타낸다함수 도함수의 역할 : z s θ 0 ( x ) z^{\theta_0}_s(x) z s θ 0 ( x ) 에 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 항이 포함되며, 이는 McKean-Vlasov 모델에 특유하고 분포 의존성의 영향을 반영한다상호작용 입자 시스템과의 차이 :McKean-Vlasov 모델(1.1): 공분산이 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 을 포함한다 상호작용 입자 시스템(3.18): 공분산의 z t θ ( x ) z^\theta_t(x) z t θ ( x ) 가 ∂ θ 1 b θ 1 ( x , μ t θ ) \partial_{\theta_1} b_{\theta_1}(x, \mu^\theta_t) ∂ θ 1 b θ 1 ( x , μ t θ ) 로 단순화된다 정리 3.4의 증명은 6개의 수렴 조건(4.30)-(4.36)을 검증함으로써 진행된다:
조건(4.30) : 드리프트 부분의 1차 모멘트
∑ k = 1 n ∑ i = 1 N E t k θ 0 [ ζ ^ k i , θ 1 ] → P θ 0 − 1 2 u 2 Σ b θ 0 \sum_{k=1}^n \sum_{i=1}^N E^{\theta_0}_{t_k}[\hat{\zeta}^{i,\theta_1}_k] \xrightarrow{P^{\theta_0}} -\frac{1}{2}u^2 \Sigma^{\theta_0}_b ∑ k = 1 n ∑ i = 1 N E t k θ 0 [ ζ ^ k i , θ 1 ] P θ 0 − 2 1 u 2 Σ b θ 0
핵심 단계: Taylor 전개 이용
m t k , t k + 1 θ 0 ( X t k i ) − m t k , t k + 1 θ 1 ( l ) , θ 2 + ( X t k i ) = − l u Δ n N z t k θ 0 ( X t k i ) + R t k i ( ε n , N Δ n / N ) m^{\theta_0}_{t_k,t_{k+1}}(X^i_{t_k}) - m^{\theta_1(l),\theta_2^+}_{t_k,t_{k+1}}(X^i_{t_k}) = -\frac{lu\Delta_n}{\sqrt{N}} z^{\theta_0}_{t_k}(X^i_{t_k}) + R^i_{t_k}(\varepsilon_{n,N}\Delta_n/\sqrt{N}) m t k , t k + 1 θ 0 ( X t k i ) − m t k , t k + 1 θ 1 ( l ) , θ 2 + ( X t k i ) = − N l u Δ n z t k θ 0 ( X t k i ) + R t k i ( ε n , N Δ n / N )
조건(4.31) : 드리프트 부분의 2차 모멘트가 u 2 Σ b θ 0 u^2\Sigma^{\theta_0}_b u 2 Σ b θ 0 로 수렴
기법:
교차항 ∑ i 1 ≠ i 2 ζ ^ k i 1 , θ 1 ζ ^ k i 2 , θ 1 \sum_{i_1 \neq i_2} \hat{\zeta}^{i_1,\theta_1}_k \hat{\zeta}^{i_2,\theta_1}_k ∑ i 1 = i 2 ζ ^ k i 1 , θ 1 ζ ^ k i 2 , θ 1 는 점근적으로 무시 가능하다 주요항은 ∑ i = 1 N ( ζ ^ k i , θ 1 ) 2 \sum_{i=1}^N (\hat{\zeta}^{i,\theta_1}_k)^2 ∑ i = 1 N ( ζ ^ k i , θ 1 ) 2 에서 나온다 조건(4.32) : 4차 모멘트 조건
∑ k = 1 n E t k θ 0 [ ∣ ∑ i = 1 N ζ ^ k i , θ 1 ∣ 4 ] → P θ 0 0 \sum_{k=1}^n E^{\theta_0}_{t_k}\left[\left|\sum_{i=1}^N \hat{\zeta}^{i,\theta_1}_k\right|^4\right] \xrightarrow{P^{\theta_0}} 0 ∑ k = 1 n E t k θ 0 [ ∑ i = 1 N ζ ^ k i , θ 1 4 ] P θ 0 0
4차항을 서로 다른 지수 조합(모두 다름, 두 쌍, 모두 같음)으로 분해하고 각 부분이 0으로 수렴함을 증명한다.
조건(4.33)-(4.35) : 확산 부분의 유사한 조건으로, 조건 분산의 전개 사용
V t k , t k + 1 θ 0 ( x ) − V t k , t k + 1 θ 1 0 , θ 2 ( l ) ( x ) = − 2 l v Δ n 3 / 2 N ∂ θ 2 a θ 2 0 ( X t k i ) a θ 2 0 ( X t k i ) + … V^{\theta_0}_{t_k,t_{k+1}}(x) - V^{\theta_1^0,\theta_2(l)}_{t_k,t_{k+1}}(x) = -\frac{2lv\Delta_n^{3/2}}{\sqrt{N}} \partial_{\theta_2} a_{\theta_2^0}(X^i_{t_k}) a_{\theta_2^0}(X^i_{t_k}) + \ldots V t k , t k + 1 θ 0 ( x ) − V t k , t k + 1 θ 1 0 , θ 2 ( l ) ( x ) = − N 2 l v Δ n 3/2 ∂ θ 2 a θ 2 0 ( X t k i ) a θ 2 0 ( X t k i ) + …
조건(4.36) : 드리프트와 확산의 점근 독립성으로, 교차항이 점근적으로 0으로 수렴함을 증명한다
이산 관측 :
1 Amorino 등(2023): 상호작용 입자 시스템의 대조 추정으로 일관성과 점근 정규성 확립6 Bishwal(2011): 상호작용 확산의 추정9 Chen(2021): 단일 궤적 데이터의 잠재 최대 우도 추정16,17 Genon-Catalot & Larédo(2021): 소분산 및 장시간 McKean-Vlasov 모델27 Liu & Qiao(2022): 경로 의존 McKean-Vlasov SDE31 Sharrock 등(2021): 온라인 매개변수 추정연속 관측 :
13 Della Maestra & Hoffmann(2023): 평균장 메커니즘 하 McKean-Vlasov 모델의 LAN 성질(본 논문과 직접 관련)
차이점: 연속 관측은 Girsanov 정리를 사용할 수 있으며, 우도 함수가 폐쇄형 표현을 갖는다 2 Amorino 등(2024): 역 합성곱을 통한 다항식 속도4 Belomestny 등(2022): McKean-Vlasov SDE의 반모수 추정11 Comte 등(2024): 비모수 모멘트 방법12 Della Maestra & Hoffmann(2022): 상호작용 입자 시스템의 비모수 추정29 Nickl 등(2025): McKean-Vlasov 모델의 베이지안 비모수 추론19,20 Gobet(2001,2002):
타원형 확산의 국소 점근 혼합 정규성 에르고딕 확산 이산 관측의 LAN 성질 본 논문의 기초 방법 : Malliavin 미적분을 사용하여 전이 밀도 도함수의 표현 도출vs [13](연속 관측) :이산 관측의 기술적 도전 처리 Girsanov 정리에 의존하지 않음 vs [1](대조 추정) :우도 방법의 이론적 기초 제공 LAN 성질 확립으로 추정량의 점근 최적성 도출 가능 vs [20](고전 SDE) :McKean-Vlasov 설정으로 확장 에르고딕성 가정 불필요 함수 도함수 ∂ μ b \partial_\mu b ∂ μ b 처리 vs 상호작용 입자 시스템 :고차원 결합 전이 밀도 경계 회피(주석 3.3에서 상호작용 입자 시스템 LAN의 주요 장애물임을 지적) i.i.d. 구조를 활용한 분석 단순화 LAN 성질의 확립 : 이산 관측 McKean-Vlasov 방정식에 대해 처음으로 LAN 성질을 확립하여 해당 분야의 이론적 공백을 해소한다점근 공분산 행렬의 명시적 형태 :
Σ θ 0 = diag ( Σ b θ 0 , Σ a θ 0 ) \Sigma_{\theta_0} = \text{diag}(\Sigma^{\theta_0}_b, \Sigma^{\theta_0}_a) Σ θ 0 = diag ( Σ b θ 0 , Σ a θ 0 )
여기서 드리프트 부분은 함수 도함수 ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 을 포함하며, 분포 의존성을 반영한다추정 속도의 확인 :드리프트: N \sqrt{N} N 확산: N / Δ n \sqrt{N/\Delta_n} N / Δ n 최근의 대조 추정 방법1 과 일치한다기술적 기여 : 암묵적 전이 밀도를 다루는 Malliavin 미적분 기법을 개발하였으며, 부분 적분과 가우스형 경계를 결합한다강한 가정 조건 :A2 : 계수가 유계이고 Lipschitz 연속A3 : 계수의 고차 평활성(C 2 C^2 C 2 이고 도함수가 다항식 증가)A5 : 확산 행렬의 균일 타원성 이러한 조건들은 실제 응용에서 만족되지 않을 수 있다1차원 매개변수 제한 : 논문이 다중 매개변수 경우로 확장 가능함을 지적하지만, θ 1 , θ 2 ∈ R \theta_1, \theta_2 \in \mathbb{R} θ 1 , θ 2 ∈ R 인 경우만 상세히 다룬다상호작용 입자 시스템의 공백 :주석 3.3에서 상호작용 입자 시스템(3.18)의 경우, dN차원 전이 밀도 경계 부족으로 LAN 성질을 확립할 수 없음을 지적한다 이는 중요한 미해결 문제이다 점근 메커니즘 : Δ n → 0 , N → ∞ \Delta_n \to 0, N \to \infty Δ n → 0 , N → ∞ 가 동시에 성립해야 하며, N Δ n N\Delta_n N Δ n 의 상대 속도에 요구사항이 있다초기 분포 : 가정 A1이 초기 분포 μ 0 \mu_0 μ 0 가 준 가우스임을 요구하여 적용 범위를 제한한다상호작용 입자 시스템의 LAN : 고차원 전이 밀도 경계 개발로 모델(3.18)의 LAN 성질 확립가정 조건 완화 :비타원형 확산 경우 연구 계수가 무계이거나 국소 Lipschitz인 경우 허용 다중 매개변수 확장 : θ 1 ∈ R p , θ 2 ∈ R q \theta_1 \in \mathbb{R}^p, \theta_2 \in \mathbb{R}^q θ 1 ∈ R p , θ 2 ∈ R q 인 경우 완전히 처리최적 추정량 구성 : LAN 성질을 활용한 점근 유효 추정량 구성가설 검정 : McKean-Vlasov 모델의 가설 검정 이론 개발비에르고딕 경우 : 비에르고딕 McKean-Vlasov 과정으로 확장고주파 데이터 : Δ n → 0 \Delta_n \to 0 Δ n → 0 이 더 빠를 때의 점근 이론 연구이론적 엄밀성 :증명이 완전하고 상세함(제4절이 논문의 절반 차지) 각 기술적 단계가 명확한 논증을 갖춤 현대 확률 분석 도구(Malliavin 미적분)를 적절히 사용 방법론의 혁신성 :Malliavin 미적분의 영리한 응용 : Skorohod 적분을 주요항과 나머지항으로 전개하는 기법(명제 3.2)이 핵심 혁신함수 도함수의 처리 : ∂ μ b θ 1 \partial_\mu b_{\theta_1} ∂ μ b θ 1 항을 올바르게 식별하고 처리하며, 이는 McKean-Vlasov 모델에 특유하다나머지항 제어 : 명제 4.4를 통해 다양한 나머지항의 무시 가능성을 통일적으로 처리이론적 기여 :이산 관측 McKean-Vlasov 방정식의 LAN 이론 공백 해소 우도 방법과 대조 추정 방법 연결(참고문헌 1 과의 연결) 평균장 모델의 점근 통계 추론에 대한 이론적 기초 제공 작성의 명확성 :구조가 명확함: 가정 → 주요 결과 → 증명 기호 체계가 완비됨(제2.1절) 주요 어려움과 해결 방법이 충분히 설명됨(서론 및 주석 3.3) 포괄적인 문헌 검토 : McKean-Vlasov 통계 추론 문헌에서 본 논문의 위치를 정확히 파악실용성 제한 :가정 조건이 강하여 실제 데이터가 만족하지 않을 수 있음 이론 결과의 수치적 검증 부재 실제로 가정을 검증하는 방법에 대한 논의 부재 기술 세부사항의 가독성 :제4절의 증명이 매우 기술적이어서 비전문가에게 불친절함 일부 핵심 부등식(예: 명제 4.2의 증명)이 20 을 참조하지만 McKean-Vlasov 설정에 어떻게 적응되는지 상세히 설명하지 않음 결과의 한계 :상호작용 입자 시스템(3.18)의 LAN 성질이 여전히 미해결(주석 3.3) 고정 시간 구간 T T T 만 다루며, T → ∞ T \to \infty T → ∞ 경우는 논의하지 않음 다중 매개변수 경우의 처리 :다중 매개변수로 확장 가능함을 주장하지만 프레임워크만 제시 다중 매개변수 경우의 기술적 세부사항(특히 Σ θ 0 \Sigma_{\theta_0} Σ θ 0 의 비대각 원소)이 완전히 전개되지 않음 응용과의 단절 :구체적인 응용 예제 부재 금융, 신경과학 등 분야에서 결과를 어떻게 사용하는지 논의 부재 분야에 대한 기여 :이론적 기초 : McKean-Vlasov 모델의 통계 추론에 견고한 이론적 기초 제공방법론 : McKean-Vlasov 통계에서 Malliavin 미적분의 체계적 응용미해결 문제 : 상호작용 입자 시스템 LAN의 기술적 장애물 명확히 함(고차원 전이 밀도 경계), 향후 연구 방향 제시실용적 가치 :추정량 평가 : 기존 추정량(예: 1 의 대조 추정)의 점근 효율성 평가 가능하한 : LAN 성질이 추정량 점근 분산의 하한 제공(Cramér-Rao형)최적 추정 : 점근 유효 추정량 구성 지도재현 가능성 :✅ 이론 결과 완전히 검증 가능(증명 완전) ❌ 코드나 수치 실험 부재 ✅ 가정이 명확하고 명시적 ⚠️ 일부 기술 세부사항은 참고문헌 19,20,30 등 참조 필요 예상 인용 현황 :단기 : 평균장 통계 추론 분야 전문가들의 인용중기 : McKean-Vlasov 통계 추론의 표준 참고문헌이 될 가능성장기 : 상호작용 입자 시스템 문제 해결 시 영향력 추가 확대이론 연구 :McKean-Vlasov 모델의 통계 이론 평균장 게임의 매개변수 추정 비선형 SDE의 점근 통계 잠재적 응용 분야 :금융 : 시스템 위험 모델18 , 옵션 가격 책정21 신경과학 : 신경원 네트워크 모델3 통계 물리학 : 입자 시스템의 평균장 극한사회 동역학 : 의견 동역학 모델8 방법의 적용성 :✅ 대표본(N N N 크음) ✅ 고주파 관측(Δ n \Delta_n Δ n 작음) ✅ 고정 시간 구간 ✅ 평활 계수 ❌ 소표본 또는 저주파 관측 ❌ 비타원형 확산 다른 방법과의 비교 :vs 대조 추정1 : LAN은 이론적 최적성 제공, 대조 추정은 계산이 더 용이vs 베이지안 방법29 : LAN은 빈도주의, 베이지안은 더 유연하지만 계산량 많음vs 비모수 방법12 : LAN은 모수 모델용, 비모수는 모델 불확실성 있을 때 적합1 Amorino 등(2023) : 상호작용 입자 시스템의 대조 추정으로 본 논문의 직접 비교 대상13 Della Maestra & Hoffmann(2023) : 연속 관측 McKean-Vlasov의 LAN으로 본 논문의 직접 선행 연구19,20 Gobet(2001,2002) : Malliavin 미적분 방법의 원래 출처30 Nualart(1995) : Malliavin 미적분의 표준 참고서22,25,26 Le Cam 시리즈 : LAN 이론의 기초 문헌본 논문은 McKean-Vlasov 확률 미분 방정식 통계 추론 분야의 중요한 이론적 기여이다. Malliavin 미적분의 영리한 응용을 통해 저자는 이산 관측 경우의 국소 점근 정규성을 성공적으로 확립하여 해당 분야의 이론적 공백을 해소한다. 논문의 기술 수준이 높고 증명이 엄밀하며, 평균장 모델의 점근 통계 추론에 견고한 이론적 기초를 제공한다.
주요 가치:
(1) 이론적 완전성: McKean-Vlasov 모델의 LAN 이론을 체계적으로 확립
(2) 방법론 혁신: 암묵적 전이 밀도를 다루는 기법 개발
(3) 이론적 지도: 추정량의 점근 최적성에 대한 기준 제공
주요 한계:
(1) 강한 가정 조건
(2) 수치적 검증 부재
(3) 상호작용 입자 시스템의 LAN이 여전히 미해결
McKean-Vlasov 모델 통계 추론을 연구하는 연구자에게는 필독 문헌이다. 응용 연구자의 경우 구체적 문제에 대해 가정 조건 만족 여부를 판단해야 한다.