[논문 리뷰] A result on the size of iterated sumsets in $\mathbb{Z}^d$

Ilija Vrećica|arXiv (Cornell University)|2021. 09. 09.

Limits and Structures in Graph Theory인용 수 1

한 줄 요약

이 논문은 A가 Z^d에 d+2개의 원소를 가질 때 hA의 기수를 단일화되고 간단한 증명으로 제시한다. 이는 이전 결과를 일반화하여 모든 경우를 동일한 방식으로 다루며, 경우에 따라 나누지 않고도 성립한다. |hA|는 이항계수와 볼록 hull의 부피를 포함하는 정확한 다항식 유사 공식을 따르며, 핵심 결과로는 h가 vol(∆A)·d!를 초과할 경우 |hA| = "binom{h+d+1}{d+1}" 에 보정 항을 빼는 식이 성립함을 보이며, d+3개 원소를 가진 집합에 대해서는 상한을 제공한다.

ABSTRACT

In this paper we give a different approach to determining the cardinality of $h$-fold sumsets $hA$ when $A\subset \mathbb{Z}^d$ has $d+2$ elements. This enables us to provide more general result with a shorter and simpler proof. We also obtain an upper bound for the value of $|hA|$ when $A\subset \mathbb{Z}^d$ is a set of $d+3$ elements with simplicial hull.

연구 동기 및 목표

• A ⊂ Z^d에 d+2개의 원소를 가진 h-중합집합 hA의 크기에 대한 통합적이고 단순한 증명을 제공하는 것.
• A−A가 Z^d를 덧셈적으로 생성한다는 가정을 초월하여 결과를 일반화하는 것.
• d+3개 원소를 가진 집합으로 분석을 확장하여, 합집합 크기가 볼록 hull 외에도 내부 점의 위치에 따라 달라지는 이유를 분석하는 것.
• d+3개 원소 케이스에서 |hA|에 대한 상한을 유도하여, d+2개 케이스보다 더 복잡한 상황을 고려하는 것.

제안 방법

• Z^{d+1}에서 높이를 1로 올린 점들 (v,1) 위에 원뿔을 구성하여 생성함수를 통해 합집합을 모델링한다.
• 격자 이론과 수체 기하학을 적용하며, 특히 Λ = spanZ(ev1,…,evd+1) 격자의 기본 영역을 활용한다.
• Λ에 대한 잔여류를 도입하고 각 잔여류 내의 최소 원소를 연구하여 합집합 크기를 상한으로 제한한다.
• Radon 정리와 그 일반화를 활용하여 점 구성과 그 볼록 hull 교차를 분석한다.
• 원뿔 CA의 생성함수를 유도하고, t^h의 계수를 통해 |hA|를 상한으로 제한한다.
• 합집합을 유한한 수의 이동된 부분원뿔로 나누어, 부분원뿔의 구조를 이용해 d+3개 원소 케이스에서 |hA|에 대한 상한을 확립한다.

실험 결과

연구 질문

• RQ1 A ⊂ Z^d에 d+2개 원소를 가진 모든 경우에 대해, A−A가 Z^d를 덧셈적으로 생성하는지 여부와 관계없이 hA의 기수를 통일적으로 결정할 수 있는가?
• RQ2 이전 연구에서 d+2개 원소 집합에 대해 사용된 경우 기반 접근을 대체할 수 있는 단일이고 더 단순한 증명이 가능한가?
• RQ3 A가 d+3개 원소를 가질 경우 |hA|의 크기는 무엇에 의해 결정되며, 왜 그것이 볼록 hull 외에도 더 많은 요소에 의존하는가?
• RQ4 d+3개 원소 케이스에서 정확한 크기가 볼록 hull에 의해 결정되지 않는다면, |hA|에 대한 상한은 어떻게 유도할 수 있는가?

주요 결과

• A ⊂ Z^d에 d+2개 원소를 가지며 A−A가 Z^d를 생성하는 경우, h < vol(∆A)·d!일 때 |hA| = binom{h+d+1}{d+1}이며, h ≥ vol(∆A)·d!일 때 |hA| = binom{h+d+1}{d+1} − binom{h−vol(∆A)·d!+d+1}{d+1}이다.
• 증명은 통합적이며 이전 연구에서 사용된 두 가지 경우로 나누는 방식을 피하여 더 짧고 일반적인 추론을 제공한다.
• A−A가 Z^d를 생성하지 않는 집합으로도 결과가 확장되며, 이 경우 공식은 특정 부분행렬의 행렬식의 최대공약수에 따라 달라진다.
• d+3개 원소 집합의 경우 |hA|는 볼록 hull에 의해 유일하게 결정되지 않으며, 내부 구성의 차이에 따라 다른 합집합 크기를 가질 수 있다.
• 생성함수의 계수 기반 상한을 유도하기 위해, 이격된 벡터 (w,1)의 격자 Λ에 대한 차수(order)를 사용하여 |hA|에 대한 상한을 도출한다.
• 상한은 ow (벡터 (w,1)의 차수)와 NΛ = vol(∆A)·d!에 따라 h의 크기에 따라 달라지는 조각별 이항계수의 합으로 표현된다.