[논문 리뷰] Gaps in sumsets of $s$ pseudo s-th power sequences

Javier Cilleruelo, Jean‐Marc Deshouillers|arXiv (Cornell University)|2014. 04. 21.

Analytic Number Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $ s \geq 2 $ 인 경우 랜덤한 의사 $ s $-제곱수 수열 $ A $ 의 합집합 $ sA $ 에서 간격의 분포를 연구한다. 확률적 방법과 상관 불등식을 사용하여, 거의 확실히 정규화된 간격 크기 $ (b_{n+1} - b_n)/\log b_n $ 의 상한극한이 $ s^s s! / \Gamma^s(1/s) $ 로 수렴함을 보이며, 이러한 합집합에서 최대 간격 길이에 대한 정밀한 점근적 추정을 제공한다.

ABSTRACT

We study the length of the gaps between consecutive members in the sumset sA when A is a pseudo s-th power sequence, with s>1. We show that, almost surely, limsup (b_{n+1}-b_{n})/log (b_n) = s^s s!/Γ^s(1/s), where b_n are the elements of sA.

연구 동기 및 목표

• 합집합 $ sA $ 의 연속된 원소들 사이의 간격 분포를 분석하는 것.
• 합집합 $ sA $ 에서 최대 간격 크기의 거의 확실한 점근적 행동을 $ \log b_n $ 로 정규화하여 결정하는 것.
• 랜덤 표현의 종속성 구조를 철저히 분석함으로써, 확률적 가군수론 결과를 고차수 합집합으로 확장하는 것.
• 정규화된 간격 크기의 상한극한에 대한 날카운 상한을 확립하여, 포아송 근사에 기반한 히우리스틱 예측을 확인하는 것.

제안 방법

• 각 정수 $ n $ 이 독립적으로 확률 $ \frac{1}{s} n^{-1 + 1/s} $ 로 $ A $ 에 포함되는 확률 공간을 구성하여 의사 $ s $-제곱수를 모델링한다.
• 간격에 $ sA $ 의 원소가 없음을 나타내는 사건 $ F_i = \{ sA \cap [i, i + \alpha \log i] = \emptyset \} $ 를 정의하여 잠재적 간격을 모델링한다.
• 일반화된 보레-칸탈리의 보조정리를 적용하여 이러한 간격 사건들이 거의 확실히 무한히 발생하는지 여부를 판단한다.
• Janson의 상관 불등식을 사용하여, 목표 간격을 덮는 $ s $-중합이 이루어지는 정수 집합 $ \omega $ 에 대한 사건 $ E_\omega $ 간의 종속성을 통제한다.
• 다항선형 합 추정식(보조정리 1)을 활용하여 합 표현의 확률과 겹치는 집합 간의 종속성을 근사한다.
• 분산 유사 합 $ \sum_{i<j} (P(F_i \cap F_j) - P(F_i)P(F_j)) $ 를 세 방향으로 분해하여 보레-칸탈리 조건을 검증한다.

실험 결과

연구 질문

• RQ1 의사 $ s $-제곱수 수열 $ A $ 의 합집합 $ sA $ 에서 최대 간격 크기의 거의 확실한 점근적 행동은 무엇인가?
• RQ2 $ n \to \infty $ 일 때 정규화된 간격 크기 $ (b_{n+1} - b_n)/\log b_n $ 는 어떻게 행동하는가?
• RQ3 합집합 $ sA $ 의 간격 분포에 대해 포아송 근사에 기반한 표현 수에 대한 히우리스틱 예측을 엄밀하게 확인할 수 있는가?
• RQ4 합 표현 간의 종속성이 랜덤 합집합의 극값 간격 크기를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 정규화된 간격 크기 $ (b_{n+1} - b_n)/\log b_n $ 의 상한극한이 거의 확실히 $ \frac{s^s s!}{\Gamma^s(1/s)} $ 로 수렴한다.
• 이 결과는 $ \lambda_s = \Gamma^s(1/s)/(s^s s!) $ 를 파라미터로 하는 $ sA $ 의 표현 수에 대한 포아송 분포에 기반한 히우리스틱 예측을 확인한다.
• 증명은 $ \alpha < \lambda_s^{-1} $ 이면 크기가 $ \sim \alpha \log n $ 인 큰 간격이 무한히 존재할 확률이 양수임을 보이며, 그 외의 경우는 0임을 보여준다.
• Janson의 불등식과 다항선형 합 추정식을 사용하여 겹치는 합 표현 간의 종속성을 엄밀히 고려한다.
• 이 상한은 날카롭다: 더 큰 정규화는 유한한 상한극한을 갖지 못하며, 이 상수는 포아송 파라미터 $ \lambda_s $ 의 역수와 정확히 일치한다.