[논문 리뷰] Sumset size races for measurable sets

Melvyn B. Nathanson|arXiv (Cornell University)|2026. 01. 16.

Limits and Structures in Graph Theory인용 수 0

한 줄 요약

논문은 측정 가능한 집합이 위치한 국소 compact abelian 군에서 합집합 크기 레이스의 연속 아날로그를 증명하고, 여러 h 값에 걸쳐 h-배수 합집합의 척도(relative order)를 미리 정해진 A1,...,An의 측정 가능한 가족의 존재를 보이고, 연속적인 척도 차이도 제어할 수 있게 한다.

ABSTRACT

Let $G$ be a locally compact abelian group with Haar measure $μ$. For integers $n \geq 2$ and $H \geq 2$ and for any $n$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_H \in \mathbf{N}^n$, there exist measurable subsets $A_1,\ldots, A_n$ of $G$ such that the $n$-tuple $\left( μ(hA_1),\ldots, μ(hA_n) ight)$ has the same relative order as the $n$-tuple $\mathbf{u}_h$ for all $h = 1,\ldots, H$. For integers $m_{i,h}$ for $i =1,\ldots, n-1$ and $h = 1,\ldots, H$, there are Lebesgue measurable sets $A_1,\ldots, A_n$ in $\mathbf{R}$ such that $μ(hA_{i+1}) - μ(hA_i) = m_{i,h}$ for all $i$ and $h$.

연구 동기 및 목표

• 연속 설정에서의 합집합 크기 레이스를 동기화하고 이산 결과를 Haar 측정 컨텍스트로 확장한다.
• 임의로 미리 정해진 h개의 반복에 걸친 합집합 크기들 간의 상대적 순서를 만족하는 적절한 측정 가능 집합의 존재를 보인다.
• R 및 유사한 군에서 정수 반복에 대한 연속적 합집합 척도 차이를 구현할 수 있음을 보여준다.

제안 방법

• Kravitz의 유한집합 결과를 백본으로 삼아 무한 순서를 가지는 군에서 측정 가능한 유사체를 구성한다.
• 합집합의 동등 가중치를 보장하기 위해 개방 이웃과 서로 다른 평행이동을 구성하여 µ(hAi) 값을 얻는다.
• Discrete한 정수 크기 패턴을 신중한 배치 및 확대 인수로 Lebesgue 측도 패턴으로 변환한다.
• 로컬 구성에서 임의의 양의 스케일 θ/δ로 확장을 위한 확장 인수를 적용한다.
• 선형 디오판틴 시스템을 풀어 쌍별 합집합 차이와 주어진 m{i,h} 값을 맞추도록 한다.

실험 결과

연구 질문

• RQ1 n-tuple의 h-배수 합집합 척도 µ(hAi)들의 상대적 순서를 Lebesgue-측정 가능한 집합으로 비가 torsion이 아닌 국소 compact abelian 군에서 실현할 수 있는가?
• RQ2 모든 h에 대해 µ(hAi+1)−µ(hAi)들이 미리 정해진 연속 차이로 달성될 수 있는가?
• RQ3 하르 측정을 사용하여 이산 합집합 크기 레이스 결과를 연속 설정으로 확장하는 방법은?
• RQ4 다중 스케일 제약을 동기화하기 위해 필요한 대수적 도구(예: 디오판틴 해법)는 무엇인가?

주요 결과

• G에서 비-토션(non-torsion), 국소 compact abelian 군인 Lebesgue-측정 가능한 집합 A1,...,An가 존재하여, 정규화된 튜플 τ(µ(hA1),...,µ(hAn))이 h=1,...,H에 대해 임의의 τ(u1,...,uH)와 일치한다.
• R에서 Lebesgue-측정 가능한 집합 A1,...,An가 존재하여, 연속 차이 µ(hAi+1)−µ(hAi)들이 모든 i와 h에 대해 미리 정해진 정수 m{i,h}와 같아진다.
• 증명은 개방 이웃과 서로 다른 평행이동을 통해 합집합 척도 관계를 보존하는 방식으로 유한집합 구성에서 연속 설정으로의 transfers로 축소된다.
• 필요한 합집합 차이 제약을 실현하는 음수가 아닌 정수 매개변수의 존재를 보장하기 위해 선형 디오판틴 프레임워크를 사용하고, 이를 통해 최종 θ 스케일로의 확장을 가능하게 한다.
• 이 결과는 Fox–Kravitz–Zhang류 정리에 대한 연속 아날로그를 제공하며, 합집합 크기 레이싱 현상을 유한 집합에서 측정 가능한 집합으로 확장한다.
• 이 구성은 연속적 맥락에서 제시된 문제 2를 다루며, 여러 스케일에 걸쳐 합집합 크기 행동을 넓은 유연성으로 형성하는 가능성을 보여준다.