[論文レビュー] On the determination of sets by their triple correlation in finite cyclic groups

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

Limits and Structures in Graph Theory参考文献 12被引用数 3

ひとこと要約

この論文は、有限巡回群 ℤₙ の部分集合がその三重相関（3-deck）によってどれほど一意に特定されるかを調査しており、奇数 n に対しては、ランダムな部分集合が平行移動を除いてほぼ確実にその 3-deck によって一意に特定されることを示している。フーリエ解析とランダム集合のフーリエ係数に関する確率的評価を用いて、非一意性の確率に対する指数関数的に小さい上界が確立されており、以前の 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-deck が部分集合を平行移動を除いて一意に特定する条件を特定すること。
• ランダム部分集合が 3-deck によって一意に特定されない確率に対する既知の O(1/√n) の上界を改善すること。
• 特に巡回群に対して、Grünbaum よりも Moore による 3-deck 問題の研究を拡張すること。
• フーリエ解析的手法と確率的アプローチを用いて、3-deck 再構成における非一意性の可能性を推定すること。

提案手法

• 3-deck は三重相関関数 N_E,3(x,y) = ∑_z χ_E(z)χ_E(z+x)χ_E(z+y) として定義され、E 内の 3 点パターンの平行移動の数を数える。
• フーリエ変換を用いて、3-deck を指示関数 χ_E のフーリエ変換の大きさに関連付ける。
• 重要な恒等式 N_f,3 ≡ N_g,3 ⟺ |f̂(ξ)| |f̂(η)| = |ĝ(ξ)| |ĝ(η)| がすべての ξ, η に対して ξ+η=0 を満たすとき、導出される。
• 単位根の ℚ 上の線形独立性と、ランダム和に関する補題を用いて、ランダム部分集合のフーリエ係数に関する確率的評価を確立する。
• フーリエスペクトルにおける「拡張可能領域」の概念を用いて、フーリエ変換の構造と集合の一意性を結びつける。
• n の小さな因子の数と除数関数 d(n) の増加度を組み合わせた境界評価を用いて、非成功確率を 2^{-C_ε n^{1-ε}} に精緻化する。

実験結果

リサーチクエスチョン

• RQ1 どの有限巡回群 ℤₙ に対して、3-deck が部分集合を平行移動を除いて一意に特定するか？
• RQ2 ランダム部分集合が 3-deck によって一意に特定されない確率の漸近的確率は何か？
• RQ3 非一意性確率に対する従来の O(1/√n) の上界を改善できるか？
• RQ4 集合のフーリエ変換スペクトルの構造は、3-deck の一意性とどのように関係するか？
• RQ5 除数関数 d(n) は、3-deck 再構成における失敗確率の上界を定める上で、どのような役割を果たすか？

主な発見

• 奇数 n に対して、ランダム部分集合が 3-deck によって一意に特定されない確率は、2^{-Cn / log log n} 以下である。
• 任意の ε > 0 に対して、ランダム部分集合が 3-deck によって一意に特定されない確率は、2^{-C_ε n^{1-ε}} 以下である。
• 2^{-C_ε n^{1-ε}} の上界は、以前の O(1/√n) の上界を著しく改善している。
• χ_E のフーリエスペクトルに {1, 2, ..., d(n)} が含まれるならば、E はその 3-deck によって一意に特定される。
• 証明は、フーリエスペクトルが十分に大きく（最初の d(n) 個の整数を含む）なることで、スペクトルが拡張可能領域であることが示され、これが 3-deck の一意性を保証することに依拠している。
• 結果は、単位根の ℚ 上の線形独立性を用いた、ランダム集合のフーリエ係数の消失確率に関する確率的評価によって得られている。