[논문 리뷰] A diagram-free approach to the stochastic estimates in regularity structures

P.G. Linares, Félix Otto외 2명|arXiv (Cornell University)|2021. 12. 20.

Stochastic processes and financial applications인용 수 8

한 줄 요약

이 논문은 특이한 소음에 의해 구동되는 비선형 포물형 SPDE에 대한 정칙성 구조에서의 확률적 추정에 대해 도표 없이 분석적인 접근법을 제시한다. 다중지표를 피카르 도표 대신 사용하며, 마리얀 칼큘러스와 스펙트럼 갭 부등식을 이용해 BPHZ-재정규화된 모델을 귀납적으로 구성한다. 모델링된 분포를 통해 분산 제어와 정칙성 향상을 달성하며, 조합적 복잡성 없이 대칭성과 상향식 구조가 재정규화 가정을 이끌어낸다.

ABSTRACT

In this paper, we explore the version of Hairer's regularity structures based on a greedier index set than trees, as introduced by Otto, Sauer, Smith and Weber. More precisely, we construct and stochastically estimate the renormalized model avoiding the use of Feynman diagrams but still in a fully automated, i. e. inductive way. This is carried out for a class of quasi-linear parabolic PDEs driven by noise in the full singular but renormalizable range. We assume a spectral gap inequality on the (not necessarily Gaussian) noise ensemble. The resulting control on the variance of the model naturally complements its vanishing expectation arising from the BPHZ-choice of renormalization. We capture the gain in regularity on the level of the Malliavin derivative of the model by describing it as a modelled distribution. Symmetry is an important guiding principle and built-in on the level of the renormalization Ansatz. Our approach is analytic and top-down rather than combinatorial and bottom-up.

연구 동기 및 목표

• 정칙성 구조에서 조합적이고 도표 기반의 접근을 분석적이고 다중지표 기반의 프레임워크로 대체하기 위해.
• 피카르 도표를 사용하지 않고 특이하지만 재정규화 가능한 범위에서 비선형 포물형 SPDE에 대한 BPHZ-재정규화된 모델을 구성하기 위해.
• 스펙트럼 갭 부등식을 사용하여 모델과 그 마리얀 도함수에 대한 완전 자동화된 귀납적 확률적 추정을 제공하기 위해.
• BPHZ 재정규화에서의 기댓값 소멸을 보완하기 위해 마리얀 칼큘러스를 통해 모델의 분산을 제어하기 위해.
• 모델의 마리얀 도함수의 정칙성 향상을 모델링된 분포로서 기술하여 해 이론과의 호환성을 확보하기 위해.

제안 방법

• 이 방법은 나무 기반의 조합론 대신 다중지표에 대한 상향식 분석적 귀납법을 사용하여 피카르 도표를 피한다.
• 재정규화된 모델 $\Pi_x$ 와 $\Gamma_{xy}$ 의 귀납적 구성에 의해 BPHZ 선택의 보정항을 활용한다.
• 소음 집합에 대한 스펙트럼 갭 부등식을 사용하여 모델과 그 마리얀 도함수의 분산을 추정한다.
• 모델의 마리얀 도함수는 모델링된 분포로 기술되며, 구조군을 통해 정칙성 추정이 가능해진다.
• 다섯 개의 상호 연결된 루프를 통해 진행된다: 원래 양, 기댓값, 마리얀 도함수, 모델링된 분포, 다시 원래 양으로 복귀하며, 네 가지 유형의 작업이 수행된다: 대수적 작업, 재구성, 통합, 삼점 추론.
• 대칭성은 재정규화 가정에 내장되어 있으며, 이 방법은 스펙트럼 갭과 스케일링 성질로부터 유도된 유계성 및 연속성 추정에 의존한다.

실험 결과

연구 질문

• RQ1 정칙성 구조에서의 확률적 추정은 피카르 도표에 의존하지 않고도 구성될 수 있는가?
• RQ2 다중지표를 사용하여 나무 대신 분석적으로 BPHZ 재정규화 절차를 어떻게 구현할 수 있는가?
• RQ3 스펙트럼 갭 부등식은 모델과 그 마리얀 도함수의 분산 제어에 어떤 역할을 하는가?
• RQ4 마리얀 도함수의 정칙성 향상은 어떻게 모델링된 분포로 기술할 수 있는가?
• RQ5 전체 구성 과정은 완전히 자동화되고 귀납적으로 이루어질 수 있으며, 모든 귀납 단계에서 동일한 구조를 유지할 수 있는가?

주요 결과

• 논문은 특이하지만 재정규화 가능한 범위에서 비선형 포물형 SPDE에 대해 도표 없이 다중지표 기반 접근법을 사용하여 BPHZ-재정규화된 모델 $ (\Pi_x, \Gamma_{xy}) $ 를 구성한다.
• 스펙트럼 갭 부등식을 통해 모델의 분산을 제어하며, BPHZ 선택에 의한 기댓값 소멸을 보완하여 $ \mathbb{E}[|\tilde{\Pi}_{x\beta}^{-}(y)|^p] \lesssim (\sqrt[4]{\tau})^{\alpha-2} |y-x|^\alpha (\sqrt[4]{\tau} + |y-x|)^{|β| - 2\alpha} $ 를 도출한다.
• 모델의 마리얀 도함수는 모델링된 분포임을 보이며, $ \mathbb{E}^{1/p}|\delta\Pi_x(y) - \delta\Pi_x(z) - d\Gamma^{*}_{xz}\Pi_z|^p \lesssim |y-z|^\alpha $ 와 같은 추정이 가능하다.
• $ \Pi_x $ 와 $ \partial_1^2\Pi_x $ 의 연속성은 하올더 유형의 추정을 통해 확립되며, $ \|\Pi_x^\beta(y) - \Pi_x^\beta(z)\|_p \lesssim |y-z|^\alpha (|y-x| + |z-x|)^{|β| - \alpha} $ 를 만족한다.
• 구성은 완전히 자동화되고 귀납적이며, 모든 귀납 단계가 동일한 논리적 구조를 따르며, 낮은 지표에서의 유계성 및 연속성 추정에 의존한다.
• 모델링된 분포의 구조를 통해 정칙성 향상을 달성하며, 핵심 추정 $ \|\delta\Pi_x^{-} - d\Gamma^{*}_{xz}\Pi_z^{-}\|_p \lesssim |y-z|^\alpha $ 가 성립하여 통합과 재구성을 가능하게 한다.