[논문 리뷰] Log-Hessian and Deviation Bounds for Markov Semi-Groups, and Regularization Effect in $L^1$

Nathaël Gozlan, Xue-Mei Li외 3명|arXiv (Cornell University)|2019. 07. 25.

Point processes and geometric inequalities참고 문헌 39인용 수 3

한 줄 요약

이 논문은 마르코프 반군의 $L^1$에서 탈라그랑드 정규화 효과를 조사하며, 가우시안 및 불리안 초입체 설정을 확산 과정, M/M/$\infty$ 큐, 그리고 라거르 반군으로 확장한다. 로그-헤시안 경계와 로그-준연속 함수에 대한 이탈 불등식을 분석함으로써, 핵심 요소들(로그-준연속성 및 이탈 경계)이 실패하는 경우조차도 직접적인 균일 경계 기법을 사용하여 모든 설정에서 $O(1/(t\sqrt{\log t}))$의 감쇠를 보이는 $L^1$ 정규화 효과를 증명한다.

ABSTRACT

It is well known that some important Markov semi-groups have a "regularization effect" -- as for example the hypercontractivity property of the noise operator on the Boolean hypercube or the Ornstein-Uhlenbeck semi-group on the real line, which applies to functions in $L^p$ for $p>1$. Talagrand had conjectured in 1989 that the noise operator on the Boolean hypercube has a further subtle regularization property for functions that are just integrable, but this conjecture remains open. Nonetheless, the Gaussian analogue of this conjecture was proven in recent years by Eldan-Lee and Lehec, by combining an inequality for the log-Hessian of the Ornstein-Uhlenbeck semi-group with a new deviation inequality for log-semi-convex functions under Gaussian measure. In this work, we explore the question of how much more general this phenomenon is. Specifically, our first goal is to explore the validity of both these ingredients for some diffusion semi-groups in $\mathbb{R}^n$, as well as for the $M/M/\infty$ queue on the non-negative integers and the Laguerre semi-groups on the positive real line. Our second goal is to prove a one-dimensional regularization effect for these settings, even in those cases where these ingredients are not valid.

연구 동기 및 목표

• 탈라그랑드의 $L^1$ 정규화 추측에 대한 가우시안 설정에서 사용된 로그-헤시안 및 이탈 경계 기법이 다른 반군으로까지 확장되는지 조사하는 것.
• 비가우시안 설정인 확산 과정, M/M/$\infty$ 큐, 라거르 반군에 대해 탈라그랑드 정규화 효과—$\sup_f \mu(\{P_s f \geq t\}) \leq C / (t\sqrt{\log t})$—가 성립하는지 확인하는 것.
• 표준 요소들(로그-준연속성 및 이탈 경계)이 실패하는 경우에도, 대체 균일 경계 기법을 개발하여 $L^1$ 정규화를 확립하는 것.
• 비가우시안 측도, 특히 감마 및 포아송 측도에서 로그-凸 함수에 대한 로그-준연속성 및 이탈 경계의 타당성을 분석하는 것.

제안 방법

• 확산 반군의 로그-헤시안에 대한 명시적 공식을 $\mathbb{R}^n$에서 유도하고, M/M/$\infty$ 큐의 이산적 로그-헤시안에 대한 하한을 구한다.
• M/M/$\infty$ 큐 및 라거르 반군의 불변 측도 하에서 로그-준연속 함수에 대한 이탈 경계를 조사한다.
• 로그-헤시안 및 이탈 경계 가정을 회피하기 위해 $P_t$에 대한 균일 경계 전략을 사용하여 $L^1$ 정규화를 증명하는 방식을 적용한다.
• 메플러 공식(Ornstein-Uhlenbeck에 대해), 라거르 커널 등을 포함한 반군의 커널 표현을 적용하여 $P_t f$의 상한을 추정한다.
• 베셀 함수 및 감마 측도의 점근적 분석을 통해 전이 밀도 및 그들의 로그-헤시안을 경계한다.
• 감마 분포 $\nu_\alpha$-측도에 대한 직접 계산 및 尾 확률 추정을 통해 $\beta > 0$일 때 이탈 경계의 실패를 보여준다.

실험 결과

연구 질문

• RQ1 오르누슈-울렌벡 반군의 로그-헤시안은 $\mathbb{R}^n$ 내의 다른 확산 반군으로 일반화될 수 있는가?
• RQ2 M/M/$\infty$ 큐 및 라거르 반군에 대해 로그-준연속 함수에 대한 이탈 경계를 확립할 수 있는가?
• RQ3 로그-준연속성 및 이탈 경계가 실패하는 경우에도 탈라그랑드 정규화 효과—$\sup_f \mu(\{P_s f \geq t\}) \leq C / (t\sqrt{\log t})$—가 비가우시안 반군에 대해 성립하는가?
• RQ4 감마 측도 $\nu_\alpha$ 하에서 로그-凸 함수에 대한 로그-헤시안 및 尾 경계의 행동은 어떠한가?
• RQ5 표준 요소들(로그-헤시안 및 이탈 경계)이 가용하지 않을 경우, $P_t$에 대한 균일 경계를 통해 $L^1$ 정규화 효과를 증명할 수 있는가?

주요 결과

• 오르누슈-울렌벡 반군의 로그-헤시안은 $\text{Hess}(\log P_s g) \geq -c_s^2 \text{Id}$를 만족하며, 이는 가우시안 케이스의 핵심 요소이다.
• M/M/$\infty$ 큐의 경우 반군의 로그-준연속성이 성립하지만, $\beta > 0$에 대해 $\gamma_n(\{g \geq t\}) \leq C_\beta / (t\sqrt{\log t})$ 형태의 이탈 경계는 존재하지 않는다.
• 측도 $\nu_\alpha$를 가진 라거르 반군에 대해 탈라그랑드 정규화 효과가 성립한다: $t > 1$일 때 $\nu_\alpha(\{P_s^\alpha f \geq t\}) \leq c / (t\sqrt{\log t})$이며, 여기서 $c$는 $s$와 $\alpha$에만 의존한다.
• 로그-준연속성 및 이탈 경계가 실패하는 경우(예: $\alpha \neq 1$인 $\nu_\alpha$에 대해)조차도 균일 경계 전략을 통해 $L^1$ 정규화 효과가 여전히 증명된다.
• $\nu_\alpha$ 하에서 이탈 경계의 실패는 측도의 약한 꼬리 덕분이며, 이는 마르코프 부등식을 초월한 개선을 불가능하게 한다.
• 베셀 함수의 점근적 분석 및 라거르 반군의 커널 표현을 통해 $\sup_y G_s^\alpha(x,y)$에 대한 균일 경계를 도출할 수 있으며, 이는 $O(1/(t\sqrt{\log t}))$ 감쇠를 이끈다.