[논문 리뷰] On Multiple Recurrence

Ilya D. Shkredov|ArXiv.org|2004. 06. 21.

Fixed Point Theorems Analysis참고 문헌 1인용 수 3

한 줄 요약

이 논문은 두 개의 가환 측도를 보존하는 변환이 있는 동역계에 대해 푸르스텐베르크의 다중 재귀 정리의 정량적 형태를 수립한다. 하우스도르프 유형 측도와 엔트로피를 포함하는 새로운 재귀 함수를 도입하여, 거의 모든 점에서의 공동 재귀 시간이 메트릭 엔트로피의 함수로 유계임을 증명함으로써, Z²에서 역삼각형이 없는 집합의 밀도에 대한 명시적 상계를 도출하고, 이전의 로그형 상계보다 향상시킨다.

ABSTRACT

Let X be a metric space with metric d and T,S be two commutative measure-preserving maps of X. In this paper we obtain numerical results about multiple recurrence of almost every point of this dynamical system. On other words we study the question about convergence to zero of max{d(T^n x,x), d(S^n x,x)}.

연구 동기 및 목표

• 푸르스텐베르크의 다중 재귀 정리를 두 개의 가환 측도를 보존하는 변환이 있는 시스템으로 확장하기.
• 이러한 시스템에 대한 재귀 시간에 대한 정량적 상계를 제공하여, 정성적 에르고딕 결과를 향상시키기.
• 이 상계를 사용하여 [1,N]² 격자에서 역삼각형이 없는 부분집합의 최대 밀도를 추정하기.
• 재귀 이론을 활용하여 역삼각형이 없는 집합의 최대 밀도를 측정하는 함수 L(N)에 대한 명시적 상계를 도출하기.

제안 방법

• 연속적이고 증가하는 함수 h를 포함하는 재귀 함수 C_{S,R}(x)를 도입하며, 이는 n·h(d(Sⁿx,x))와 n·h(d(Rⁿx,x))의 liminf를 포함한다.
• 하우스도르프 유형 측도 H_h와 ε-엔트로피 N_ε(X)를 사용하여 재귀 집합의 크기를 정량화한다.
• 덮개 보조정리(Lemma 2.10)를 적용하여, S와 R가 t 단계 이내에 Y로 복귀하지 않는 점들의 집합 Y(t)의 측도를 유계로 제한한다.
• 스틸체스 적분 부등식(정리 2.8)을 수립하여 재귀 시간의 분포와 집합의 측도 사이의 관계를 연결한다.
• 콤���트 메트릭 공간에서의 불변 측도 존재성(Lemma 2.11)을 이용하여 재귀 프레임워크의 적용 가능성을 보장한다.
• 주요 재귀 상계를 Z²에서의 역삼각형 문제에 적용하여, L(N)에 대한 정량적 상계를 도출한다.

실험 결과

연구 질문

• RQ1 두 가환 변환이 있는 시스템에서 다중 재귀가 발생하는 정량적 속도는 무엇인가?
• RQ2 메트릭 및 측도 이론적 도구를 사용하여 공동 궤도의 재귀 시간을 어떻게 유계로 제한할 수 있는가?
• RQ3 [1,N]²의 부분집합 중에서 역삼각형 삼중집합이 없는 경우의 최대 밀도는 얼마이며, N이 증가함에 따라 이 밀도는 얼마나 빨리 감소하는가?
• RQ4 푸르스텐베르크의 에르고딕 재귀 결과는 엔트로피 또는 하우스도르프 측도의 관점에서 명시적 상계를 도출할 수 있도록 강화될 수 있는가?
• RQ5 두 가환 사상의 공동 재귀 행동은 희박한 집합에서 산술적 구성요소의 존재와 어떻게 관련이 있는가?

주요 결과

• 논문은 임의의 집합 A ⊆ [1,N]²가 밀도 δ 이상을 가질 경우, N ≥ exp(exp(exp(δ⁻ᶜ)))이면 A는 반드시 역삼각형 삼중집합을 포함함을 증명한다. 여기서 c > 0은 절대 상수이다.
• L(N) ≤ 100 / log_*¹ᐟ⁴ N 라는 상계를 확립하여, 이전의 역삼각형 문제에 대한 상계를 향상시킨다.
• 주요 재귀 결과는 L(N) ≪ 1 / (log log log N)^{C₁} 를 만족하며, 절대 상수 C₁ > 0에 대해 푸르스텐베르크 정리의 정량적 형태를 제공한다.
• H_h(X) < ∞인 콤팩트 메트릭 공간 X와 두 개의 가환 사상 S, R에 대해, liminf_{n→∞} L⁻¹(n) · max{h(d(Sⁿx,x)), h(d(Rⁿx,x))} ≤ C 를 만족하는 점 x가 존재한다. 여기서 C는 절대 상수이다.
• 함수 C_{S,R}(x)는 μ-적분 가능하며, ∫_A C_{S,R}(x) dμ ≤ H_h(A) 를 만족함으로써 재귀에 대한 측도 이론적 통제를 제공한다.
• 격자 [1,t]² 위의 덮개 추론을 통해, t 단계 이내에 양쪽 사상 모두에서 재귀를 피하는 점들의 집합에 대한 측도 μ(Y(t)) ≤ L(t) 를 유도한다.