[논문 리뷰] On the determination of sets by their triple correlation in finite cyclic groups

Tamás Keleti, Mihail N. Kolountzakis|ArXiv.org|2006. 03. 16.

Limits and Structures in Graph Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 유한 순환군 ℤₙ의 부분집합이 그 삼중 상관관계(3-데크)에 의해 얼마나 유일하게 결정되는지를 조사한다. 홀수 n에 대해, 무작위 부분집합은 거의 확실히 그 3-데크에 의해 이동에 대해 유일하게 결정됨을 보여준다. 푸리에 분석과 무작위 집합의 푸리에 계수에 대한 확률적 경계를 사용하여, 비유일성의 확률에 대해 지수적으로 작은 상한을 확립하였으며, 이는 이전의 O(1/√n) 상한보다 크게 향상된 결과이다.

ABSTRACT

Let $G$ be a finite abelian group and $E$ a subset of it. Suppose that we know for all subsets $T$ of $G$ of size up to $k$ for how many $x \in G$ the translate $x+T$ is contained in $E$. This information is collectively called the $k$-deck of $E$. One can naturally extend the domain of definition of the $k$-deck to include functions on $G$. Given the group $G$ when is the $k$-deck of a set in $G$ sufficient to determine the set up to translation? The 2-deck is not sufficient (even when we allow for reflection of the set, which does not change the 2-deck) and the first interesting case is $k=3$. We further restrict $G$ to be cyclic and determine the values of $n$ for which the 3-deck of a subset of $\ZZ_n$ is sufficient to determine the set up to translation. This completes the work begun by Grünbaum and Moore as far as the 3-deck is concerned. We additionally estimate from above the probability that for a random subset of $\ZZ_n$ there exists another subset, not a translate of the first, with the same 3-deck. We give an exponentially small upper bound when the previously known one was $O(1\bigl / \sqrt{n})$.

연구 동기 및 목표

• 유한 순환군 ℤₙ 중에서 3-데크가 부분집합을 이동에 대해 유일하게 결정하는 경우를 규명하는 것.
• 무작위 부분집합이 3-데크에 의해 유일하게 결정되지 않을 확률에 대한 기존의 O(1/√n) 상한을 향상시키는 것.
• 특히 순환군에 대해 그루브와 무어의 3-데크 문제 연구를 확장하는 것.
• 푸리에 분석 기법과 확률적 방법을 사용하여 3-데크 재구성에서 비유일성의 가능성 추정하기

제안 방법

• 3-데크는 삼중 상관관계 함수 N_E,3(x,y) = ∑_z χ_E(z)χ_E(z+x)χ_E(z+y)로 정의되며, E 내에서 3점 패턴의 이동을 세는 데 사용된다.
• 푸리에 변환 기법을 사용하여 3-데크를 지표 함수 χ_E의 푸리에 변환의 크기와 연결한다.
• 핵심 항등식 N_f,3 ≡ N_g,3 ⟺ |f̂(ξ)| |f̂(η)| = |ĝ(ξ)| |ĝ(η)| for all ξ, η with ξ+η=0 이 도출된다.
• 근의 단위의 ℚ 위에서의 선형 독립성과 무작위 합에 대한 보조정리 등을 사용하여, 무작위 부분집합의 푸리에 계수에 대한 확률적 경계를 확립한다.
• 푸리에 스펙트럼의 '확장 가능한 도메인' 개념을 사용하여 푸리에 변환의 구조와 집합의 유일성 간의 관계를 연결한다.
• n의 작은 약수의 수와 약수 함수 d(n)의 성장률에 대한 경계를 조합하여 비유일성 확률을 2^{-C_ε n^{1-ε}}로 정밀화한다.

실험 결과

연구 질문

• RQ1 유한 순환군 ℤₙ 중에서 3-데크가 부분집합을 이동에 대해 유일하게 결정하는 경우는 무엇인가?
• RQ2 무작위 부분집합이 3-데크에 의해 유일하게 결정되지 않을 확률의 渐近적 확률은 얼마인가?
• RQ3 기존의 비유일성 확률에 대한 O(1/√n) 상한을 향상시킬 수 있는가?
• RQ4 집합의 푸리에 변환 스펙트럼의 구조는 그 3-데크 유일성과 어떻게 관련되는가?
• RQ5 약수의 수 d(n)는 3-데크 재구성의 실패 확률을 제한하는 데 어떤 역할을 하는가?

주요 결과

• 홀수 n에 대해, 무작위 부분집합이 3-데크에 의해 유일하게 결정되지 않을 확률은 2^{-Cn / log log n} 이하이다.
• 모든 ε > 0에 대해, 무작위 부분집합이 3-데크에 의해 유일하게 결정되지 않을 확률은 2^{-C_ε n^{1-ε}} 이하이다.
• 2^{-C_ε n^{1-ε}} 상한은 이전의 O(1/√n) 상한보다 크게 향상된 결과이다.
• 만약 χ_E의 푸리에 스펙트럼에 {1, 2, ..., d(n)} 이 포함되어 있다면, E는 그 3-데크에 의해 유일하게 결정된다.
• 증명은 푸리에 스펙트럼이 충분히 크면(첫 d(n) 정수를 포함하면) 그 스펙트럼이 확장 가능한 도메인이 되며, 이는 3-데크 유일성을 보장한다는 것을 보여주는 데 기반한다.
• 결과는 근의 단위가 ℚ 위에서 선형 독립이라는 사실을 이용한, 무작위 집합의 푸리에 계수의 영이 되는 확률에 대한 확률적 경계를 통해 도출된다.