[논문 리뷰] Isoperimetric lower bounds for critical exponents for long-range percolation

Johannes Bäumler, Noam Berger|arXiv (Cornell University)|2022. 04. 26.

Stochastic processes and statistical mechanics참고 문헌 34인용 수 5

한 줄 요약

이 논문은 $ℤ^d$ 위에서 장거리 퍼콜레이션의 임계 지수에 대한 등주 하한을 확립하여, 군집 크기 지수 $δ \geq \frac{d + (\alpha \wedge 1)}{d - (\alpha \wedge 1)}$ 와 두 점 함수 지수 $2 - \eta \geq \alpha \wedge 1$ 를 도출한다. 이는 $\mathbb{Z}^d$ 내의 입방체의 등주 성질을 이용하여 기하학적 구조와 임계 행동을 연결한다. 이러한 하한은 여러 영역에서 날카로운 것으로 여겨지며, 특히 $d=1$ 이고 $\alpha \in (0,1)$ 인 경우와 $d>1$ 이며 $\alpha \leq 1$ 인 경우에 해당된다. 본 결과는 장거리 퍼콜레이션에서 이러한 지수에 대한 최초의 엄밀한 하한을 제공한다.

ABSTRACT

We study independent long-range percolation on $\mathbb{Z}^d$ where the vertices $x$ and $y$ are connected with probability $1-e^{-β\|x-y\|^{-d-α}}$ for $α> 0$. Provided the critical exponents $δ$ and $2-η$ defined by $δ= \lim_{n o \infty} \frac{-\log(n)}{\log\left(\mathbb{P}_{β_c}\left(|K_0|\geq n ight) ight)}$ and $2-η= \lim_{x o \infty} \frac{\log\left(\mathbb{P}_{β_c}\left(0\leftrightarrow x ight) ight)}{\log(\|x\|)} + d$ exist, where $K_0$ is the cluster containing the origin, we show that \begin{equation*} δ\geq \frac{d+(α\wedge 1)}{d-(α\wedge 1)} \ ext{ and } \ 2-η\geq α\wedge 1 ext. \end{equation*} The lower bound on $δ$ is believed to be sharp for $d = 1, α\in \left[\frac{1}{3},1 ight)$ and for $d = 2, α\in \left[\frac{2}{3},1 ight]$, whereas the lower bound on $2-η$ is sharp for $d=1, α\in (0,1)$, and for $α\in \left(0,1 ight]$ for $d>1$, and is not believed to be sharp otherwise. Our main tool is a connection between the critical exponents and the isoperimetry of cubes inside $\mathbb{Z}^d$.

연구 동기 및 목표

• 장거리 퍼콜레이션에서 임계 지수 $\delta$ 와 $2 - \eta$ 에 대한 엄밀한 하한을 유도하는 것.
• 임계 상태에서 군집 크기의 渐近 행동과 두 점 함수의 행동을 $\mathbb{Z}^d$ 내 입방체의 등주 성질과 연결하는 것.
• 특정 영역에서 이러한 하한이 날카로운 것으로 여겨지며, 이는 기존의 추측에 기반한다. 이 영역에는 $d=1$, $\alpha \in (0,1)$, $d>1$, $\alpha \in (0,1]$ 가 포함된다.

제안 방법

• 박자 $\Lambda_n$ 내 군집의 기대 크기를 유한한 상자에서의 등주 부등식의 기대값을 이용하여 유계화하는 데 사용한다.
• 유한한 상자 내 군집 크기의 모멘트 추정을 적용하여 군집 크기의 尾행동과 두 점 함수를 연결한다.
• 헤리스 부등식을 통한 쌍용 논법을 사용하여 서로 다른 매개변수 하에서 군집 크기를 비교한다.
• 연결 확률의 기하학적 감쇠를 기록하는 함수 $f(n,\alpha)$ 를 사용하여 $\mathbb{E}_{\beta_c}[|K_0(\Lambda_n)|]$ 에 하한을 도출한다.
• 함수 $f(n,\alpha)^{-1} \approx n^{\alpha \wedge 1}$ 의 渐近 척도를 이용하여 $2 - \eta$ 에 하한을 유도한다.
• 모멘트 유계와 등주 추정을 결합하여, 지수 $\theta = 1/\delta$ 에 대한 이중성 논법을 통해 하한 $\delta \geq \frac{d + (\alpha \wedge 1)}{d - (\alpha \wedge 1)}$ 을 도출한다.

실험 결과

연구 질문

• RQ1 장거리 퍼콜레이션에서 임계 지수 $\delta$ 와 $2 - \eta$ 에 대한 날카로운 하한은 무엇인가?
• RQ2 입방체의 등주 성질이 $\mathbb{Z}^d$ 내 장거리 퍼콜레이션의 임계 행동에 어떻게 영향을 미치는가?
• RQ3 유도된 $\delta$ 와 $2 - \eta$ 의 하한이 날카로운 것으로 기대되는 영역는 무엇인가?
• RQ4 지수 $\delta$ 와 $2 - \eta$ 가 존재하는 것과 기저 그래프의 기하학적 및 확률적 성질 사이에 연결될 수 있는가?
• RQ5 연결 커널이 $\|x-y\|^{-d-\alpha}$ 로 스케일링될 때 임계 지수는 어떻게 행동하는가?

주요 결과

• 임계 지수 $\delta$ 는 $\delta \geq \frac{d + (\alpha \wedge 1)}{d - (\alpha \wedge 1)}$ 를 만족하며, $d=1$, $\alpha \in [\frac{1}{3},1)$, $d=2$, $\alpha \in [\frac{2}{3},1)$ 에서 등호가 성립할 것으로 여겨진다.
• 지수 $2 - \eta$ 는 $2 - \eta \geq \alpha \wedge 1$ 를 만족하며, 이 하한은 $d=1$, $\alpha \in (0,1)$ 과 $d>1$, $\alpha \in (0,1]$ 에서 날카로운 것으로 여겨진다.
• $\delta$ 에 대한 하한은 군집 크기의 모멘트 성장과 $\mathbb{Z}^d$ 내 등주 확장 사이의 이중성 논법을 통해 도출되었으며, 함수 $f(n,\alpha)^{-1} \approx n^{\alpha \wedge 1}$ 을 사용하였다.
• 두 점 함수 지수 $2 - \eta$ 는 상자 $\Lambda_n$ 내 평균 연결성에 기반하여 하한이 $\alpha \wedge 1$ 이다. 이는 $\frac{1}{|\Lambda_n|}\sum_{x \in \Lambda_n} \mathbb{P}_{\beta_c}(0 \leftrightarrow x) \gtrsim n^{-d + \alpha \wedge 1}$ 을 의미한다.
• 기존의 상한과 일관되며, 허치코프트의 $\delta \leq \frac{2d}{d - \alpha}$ 와 $2 - \eta \leq \alpha$ 를 고려할 때, $\alpha \leq 1$ 인 영역에서 하한이 날카로울 것으로 추측된다.
• 논문은 임계 지수가 격자의 기하학적 구조에 의해 제약을 받으며, 등주성이 확률적 행동과 공간적 구조 사이의 핵심 다리 역할을 한다고 밝혔다.