[論文レビュー] Reconstruction of functions from their triple correlations

Philippe Jaming, Mihahilis N. Kolountzakis|ArXiv.org|Jul 4, 2002

Advanced X-ray Imaging Techniques参考文献 17被引用数 7

ひとこと要約

この論文は、関数の三重相関（3-deck）からの関数再構成を調査し、L¹(ℝ) または巡回群 ℤ/nℤ 上の関数が、その 3-deck によって平行移動を除き一意に特定されるかどうかに注目する。フーリエ解析を用いて、ℝ 上のコンパクトな可測集合の特性関数および n = p^a または n = pq（p, q は素数）のときの ℤ/nℤ 上の部分集合に対して、3-deck が平行移動を除き関数を一意に特定することを証明する。反例により、一般の L¹ 関数ではこの性質が成り立たないことが示され、しかし特性関数および有理数値関数については、特定の群構造のもとで成り立つ。

ABSTRACT

Suppose that A is a subset of an abelian group G. To know the 3-deck of A is to know the number of occurences in A of translates of each possible multiset {0,a,b}. The concept of the 3-deck is naturally extended to integrable functions on G. In this paper we study when the 3-deck of a function determines the function up to translations. The method is to look at the Fourier Transform of the function. Our emphasis is on the real line and the cyclic groups.

研究の動機と目的

• 関数の 3-deck が平行移動を除き一意に特定される条件を同定すること。これは、組合せ的再構成問題を測度論的および調和解析の文脈へと拡張することを目的とする。
• ℤ/nℤ の部分集合がその 3-deck によって平行移動を除き一意に特定されるかどうかという未解決問題を解き、特に n = p^a および n = pq（p, q は素数）の場合に焦点を当てる。
• Radcliffe と Scott の結果と Gruenbaum と Moore の結果を統合し、3-deck が集合を平行移動を除き一意に特定するすべてのケースを完全に分類すること。
• 回折理論およびテクスチャ解析における位相再構成問題を調査し、2-deck（自己相関）では一意に特定できない場合に、3-deck（バイスペクトル）がその曖昧性を解消するかを検討する。
• 非負の関数 f ∈ L¹(ℝ) ∩ L∞(ℝ) が、ある特性関数 χ_E と同じ 3-deck を持つならば、f もまたある可測集合の特性関数でなければならないことを示し、問題を集合再構成に還元する。

提案手法

• 関数 f の 3-deck を N_f(x₁,…,x_{k-1}) = ∫ f(t)f(t+x₁)⋯f(t+x_{k-1}) dt と定義し、特に k=3 の場合にフーリエ変換を用いて解析する。
• アーベル群、特に ℝ および ℤ/nℤ 上での調和解析を適用し、3-deck を関数のフーリエ変換に関連付ける。
• 特徴関数 χ_E のフーリエ変換のサポート構造に注目し、そのサポートに特定の構造がある場合に、3-deックが E を平行移動を除き一意に特定することを示す。
• フーリエドメインにおける畳み込み恒等式を用いる：E ⊂ ℤ/nℤ に対して、N_χ_E = N_χ_F ならば、フーリエ変換は ĝ * ĝ * ĝ = f̂ * f̂ * f̂ を満たし、これにより構造的制約が得られる。
• χ_E のフーリエ変換のサポートに基づく場合分けを行う。変換が 0 に等しいか、非ゼロかに応じて区別し、周期性と双対性を用いて、素数のべきまたは素数の積のケースに還元する。
• n = pqr（r ≥ 3）のとき、ℤ/nℤ 上に同じ 3-deck を持つが互いに平行移動でない集合 E と F の反例を構成し、一般の L¹ 関数では 3-deck が一意に特定できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル群 G および f ∈ L¹(G) に対して、f がその 3-deck によって平行移動を除き一意に特定される条件は何か？
• RQ2 ℤ/nℤ の場合、部分集合 E の 3-deck が E を平行移動を除き再構成可能となる条件は何か。特に n = p^a または n = pq（p, q は異なる素数）の場合に注目する。
• RQ3 2-deck（自己相関）が関数を一意に特定できない場合に、3-deck が位相再構成問題の曖昧性を解消できるか？
• RQ4 特性関数でない非自明な関数の族で、同じ 3-deck を持ちながらも互いに平行移動でないものがあるか？
• RQ5 非負の関数 f ∈ L¹(ℝ) ∩ L∞(ℝ) が、ある可測集合の特性関数 χ_E と同じ 3-deck を持つとき、f が可測集合の特性関数でなければならない条件は何か？

主な発見

• n = p^a（p は素数）のとき、ℤ/nℤ の部分集合 E に対して、3-deck が E を平行移動を除き一意に特定する。これは、n が素数のときの既存の結果を拡張する。
• n = pq（p, q は異なる素数）のとき、ℤ/nℤ の部分集合 E に対して、3-deck が E を平行移動を除き一意に特定する。この結果は、フーリエ変換のサポート解析と畳み込み恒等式を用いて証明される。
• 実数直線上に、同じ 3-deck を持つが互いに平行移動でない非負 L¹ 関数の非可算族を構成し、3-deck が一般の L¹ 関数を一意に特定しないことを示した。
• E ⊂ ℝ がコンパクトな可測集合で、f = χ_E であるとき、g ∈ L¹(ℝ) ∩ L∞(ℝ) が非負で f と同じ 3-deck を持つならば、g も可測集合 F の特性関数でなければならない。これにより、問題は集合再構成に還元される。
• ℤ/nℤ 上の有理数値関数に対しては、n = p^a または n = pq のとき、3-deck が関数を平行移動を除き一意に特定する。解の可能な形態は、周期的成分の平行移動として明示的に特徴付けられる。
• n = pqr（r ≥ 3）の反例により、n が3つ以上の素因数を持つとき、ℤ/nℤ 上の集合は 3-deck によって一意に特定できないことが示され、n = p^a および n = pq の場合の結果が鋭いことを確認した。