Anchored Nash inequalities and heat kernel bounds for a class of random conductance models with long-range jumps

기술 요약: 장거리 점프를 포함하는 일련의 무작위 전도 모델에 대한 앵커드 나쉬 부등식 및 열 핵 경계

문제 정의
본 논문은 점프율(전도도)이 퇴화적인 경우, 즉 0에 임의로 가까워지거나 상한이 없는 경우의 그래프 위에서의 무작위 보행에 대해 열 핵 경계(heat kernel bounds)를 설정하는 과제를 다룬다. 특히 저자들은 근접 이웃 무작위 보행을 넘어 **장거리 점프(long-range jumps)**를 포함하도록 분석을 확장한다.

무작위 전도 모델(RCM)의 맥락에서, 표준 나쉬 부등식(함수의 $L^2$-노름을 디리클레 형식과 $L^1$-노름 사이의 관계로 나타내는 것)은 가중치가 균등 타원형(uniformly elliptic)이 아닐 때(즉, 0으로부터 유계가 아닐 때) 흔히 실패한다. "앵커드(anchored)" 나쉬 부식은 퇴화된 가중치를 가진 근접 이웃 보행에 대해 Mourrat와 Otto에 의해 이전에 도입되었으나, 본 연구는 다음과 같이 더 복잡한 시나리오를 다룬다:

1. 기저 그래프가 초임계 퍼콜레이션 클러스터를 포함하여 일반적인 국소 유한 그래프일 수 있음.
2. 무작위 보행이 장거리 점프(비국소 연산자)를 허용함.
3. 참조 측도(속도 측도)가 일반적이며 반드시 카운팅 측도일 필요는 없음.
4. 가중치가 균등한 경계 대신 특정 적분 가능 조건을 만족함.

방법론
저자들은 앵커드 나쉬 부등식의 도출 및 적용을 중심으로 한 함수 해석적 접근법을 채택한다.

1. 앵커드 나쉬 부등식: 핵심적인 기술적 성취는 비국소 연산자에 대한 앵커드 나쉬 부등식을 증명하는 것이다. 표준 나쉬 부등식과 달리, 앵커드 버전은 가중 디리클레 형식, $L^1$-노름, 그리고 $\eta(y) = \max\{d(o, y), 1\}$를 포함하는 가중 $L^2$-노름을 사용하여 함수의 $L^2$-노름을 제어한다. 이는 병진 불변성을 깨뜨리지만 퇴화된 설정에서의 제어를 가능하게 한다.
2. 보간(Interpolation): 저자들은 지수 $\alpha, \beta, \gamma$가 합이 1이 되도록 하는 "보간된" 버전의 부등식을 도출하며, 이를 통해 디리클레 형식, $L^1$-노름, 가중 $L^2$-노름 사이의 더 유연한 균형을 제공한다.
3. 시간 변경(Time-Change) 기법: 장거리 점프와 일반적인 참조 측도를 처리하기 위해, 저자들은 원래 프로세스 $X_t$의 시간 변경을 도입한다. 이들은 점프 길이의 모멘트를 포착하는 $\mu_{m_0}$를 포함하는 속도 측도 $\pi_{m_0} = \max\{1, \mu_{m_0}, \theta\}$를 갖는 새로운 프로세스 $Y_t$를 정의한다. 이 시간 변경된 프로세스는 장거리 점프의 감쇠에 관한 조건(특히 장거리 점프의 감쇠)을 만족하며, 이는 나쉬 부등식을 적용하여 열 핵 경계를 도출할 수 있게 한다.
4. 경계 전이(Transfer of Bounds): 가법적 범함수(additive functional)를 통해 원래 프로세스와 시간 변경된 프로세스 사이의 관계를 이용하여, $Y_t$에 대해 도출된 온-디아고날(on-diagonal) 상한을 원래 프로세스 $X_t$로 전이시킨다.
5. 퍼콜레이션 검증: 초임계 퍼콜레이션 클러스터의 경우, 대규모 척도에서 부피 배가(volume doubling) 및 소볼레프 유형 부등식이 성립함을 알려진 결과들(그래프 거리와 유클리드 거리의 비교 가능성에 관한 결과)을 활용하여 검증한다.

주요 기여 및 결과

• 정리 1.3 & 1.4 (앵커드 나쉬 부등식): 본 논문은 가정 1.1(부피 성장 및 소볼레프 유형 정칙성)을 만족하는 일반적인 클래스의 그래프에 대해 앵커드 나쉬 부등식과 그 보간 버전을 확립한다. 이러한 부등식은 $\theta, \theta^{-1}$ 및 점프 모멘트 측도에 대한 특정 적분 가능 조건이 충족되는 한, 일반적인 참조 측도 $\theta$와 상한 및 하한이 없는 가중치에 대해 성립한다.
• 정리 1.5 (온-디아고날 열 핵 경계): 도출된 부등식을 사용하여, 저자들은 $p(t, o, o) \leq C t^{-d/2}$ 형태의 퀘인치드(quenched) 온-디아고날 상한을 증명한다.
  • 이 결과는 점프 커널이 $L^2$-적분 가능하고 $\mu_{m_0}$의 적분 가능성에 의해 제어되는 장거리 점프를 가진 무작위 보행에 적용된다.
  • 이 경계는 차원 $d \geq 3$에 대해 성립한다.
  • 경계의 상수들은 환경의 특정 실현(realization)에 의존하지만(퀘인치드), 전도도의 모멘트에 대해 명시적이다.
• 정리 1.8 & 1.9 (에르고딕 환경): 이 결과들은 에르고딕 환경에서의 무작위 전도 모델에 적용된다.
  • 퀘인치드(Quenched): 고정된 환경에 대해 열 핵 경계가 거의 확실하게(almost surely) 성립한다.
  • 애닐드(Annealed): 기댓값을 취함으로써, 저자들은 애닐드 열 핵 경계를 도출한다. $d \geq 3$인 경우, 애닐드 경계는 $t^{-d/2}$로 스케일링된다. $d=2$인 경우, 로그 보정이 나타나 $(1 + \log t)t^{-1}$ 차수의 경계를 준다.
• 정리 1.14 & 1.15 (퍼콜레이션 클러스터): 이 프레임워크는 초임계 퍼콜레이션 클러스터(장거리 상관관계를 포함하는)로 확장된다. 저자들은 이러한 퇴화된 모델에서 최초의 글로벌 버전의 함수 부등식(앵커드 나쉬)을 확립하고 그에 따른 열 핵 경계를 도출한다.

의의 및 주장
본 논문은 다음과 같은 여러 방식으로 무작위 환경에서의 함수 부등식 방법론의 범위를 확장한다고 주장한다:

• 장거리 점프: 장거리 점프를 가지면서도 가우시안 대규모 거동을 보이는 무작위 보행에 앵커드 나쉬 부등식을 성공적으로 적용한 최초의 연구 중 하나이다. 이전 방법들(예: Davies의 섭동 또는 Moser 반복)은 점프 길이의 다양성 때문에 장거리 점프에 직접 적용하기 어렵다고 언급되었다.
• 일반 참조 측도: 카운팅 측도 사용 제한을 제거하여 일반적인 속도 측도 $\theta$를 수용하며, 이는 변속도 무작위 보행(VSRW) 및 상수 속도 무작리 보행(CSRW)과 같은 모델에 필수적이다.
• 퇴화된 가중치: 가중치가 균등 타원형이 아닌 경우를 다루며, 대신 모멘트 조건을 활용한다. 이는 전도도가 0이 될 수 있는 퍼콜레이션 클러스터와 같은 모델에 중요하다.
• 명시적 상수: 저자들은 자신들의 방법이 열 핵 경계에 대해 명시적인 무작위 상수를 제공한다는 점을 강조한다. 이러한 명시성은 애닐드 추정치(환경에 대한 평균)를 상대적으로 완만한 모멘트 조건 하에서 도출하는 데 용이하며, 이는 더 복잡하거나 내재적인 모멘트 가정을 요구하는 다른 기술들과 대조된다.
• 한계: 저자들은 자신들의 경계가 엄격하게 온-디아고날($p(t, o, o)$)에 국한되어 있음을 겸허히 밝힌다. 상수가 고정된 원점 $o$에 의존하기 때문에 효과적인 니어-디아고날(near-diagonal) 경계($p(t, o, x)$)를 도출하는 것은 현재 어렵다고 서술한다. 결과적으로, 결과는 차원 $d \geq 3$에 대해 확립된다. $d=2$의 경우는 다른 처리가 필요하며(로그 보정), 표준 가우시안 스케일링과 동일한 방식으로 다뤄지지 않는다.

이 연구는 가우시안 스케일링을 유지하면서 적절한 모멘트 조건 하에서 장거리 점프를 포함하는 퇴화된 비국소 무작위 보행의 열 핵을 연구하기 위한 견고한 분석적 도구 세트를 제공한다.