[논문 리뷰] Reconstruction of functions from their triple correlations

Philippe Jaming, Mihahilis N. Kolountzakis|ArXiv.org|2002. 07. 04.

Advanced X-ray Imaging Techniques참고 문헌 17인용 수 7

한 줄 요약

이 논문은 L¹(ℝ) 또는 순환군 ℤ/nℤ 상의 함수가 삼중 상관관계(3-deck)로부터 어떻게 재구성되는지를 조사하며, 함수가 이동에 대해 유일하게 결정되는지 여부를 다룬다. 푸리에 분석을 통해 저자들은 ℝ 상의 컴acts 집합의 특성 함수 및 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의 결과와 Grunbaum 및 Moore의 결과를 연결하여 3-deck가 집합을 이동에 대해 결정하는 경우를 완전히 분류하는 것.
• 회折 이론 및 텍스처 분석에서의 위상 회복 문제를 조사함. 여기서 3-deck(이스펙트럼)은 2-deck(자기상관)이 함수를 유일하게 결정하지 못할 때의 모호성을 제거하는 데 사용된다.
• 비음수 함수 f ∈ L¹(ℝ) ∩ L∞(ℝ)에 대해, f가 특성 함수 χ_E와 동일한 3-deck을 갖는다면 f 역시 어떤 가측 집합 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를 함수의 푸리에 변환과 연결한다.
• 특성 함수의 푸리에 변환의 지지 집합 분석과 특성 이론을 활용하여, 푸리에 변환의 지정된 지지 구조가 있을 경우 3-deck이 집합 E를 이동에 대해 유일하게 결정함을 보인다.
• 푸리에 도메인에서의 커플링 항등식을 활용: E ⊂ ℤ/nℤ일 때, N_χ_E = N_χ_F이면 푸리에 변환은 ĝ * ĝ * ĝ = f̂ * f̂ * f̂를 만족하며, 이로부터 구조적 제약 조건이 유도된다.
• 특성 함수 χ_E의 푸리에 변환의 지지 집합 기반으로 경우를 분류하며, 변환의 값이 0이거나 0이 아닌 경우를 구분하고, 주기성과 쌍대성을 이용해 소수 거듭제곱 또는 소수 곱의 경우로 환원한다.
• n = pqr (r ≥ 3)인 ℤ/nℤ에서 E와 F가 같은 3-deck를 가지지만 이동이 아닌 반례를 명시적으로 구성함으로써, 일반적인 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∞(ℝ)의 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¹ 함수의 가족을 명시적으로 구성하였으며, 이는 일반적인 L¹ 함수에 대해 3-deck이 유일하게 결정하지 못함을 보여준다.
• E ⊂ ℝ이 컴팩트 가측 집합이고 f = χ_E일 때, g ∈ L¹(ℝ) ∩ L∞(ℝ)가 비음수이며 f와 동일한 3-deck을 갖는다면 g 역시 어떤 가측 집합 F의 특성 함수여야 하며, 이는 문제를 집합 재구성 문제로 환원시킨다.
• ℤ/nℤ 상의 유리수 값을 갖는 함수에 대해, n = p^a 또는 n = pq일 때 3-deck은 함수를 이동에 대해 유일하게 결정하며, 이는 주기적 성분의 이동으로서 가능한 해를 명시적으로 기술할 수 있다.
• n = pqr (r ≥ 3)에 대한 반례는 n이 세 개 이상의 소수 인수를 갖는 경우 ℤ/nℤ 상의 집합이 3-deck으로 유일하게 결정되지 않음을 보여주며, n = p^a 및 n = pq에 대한 결과의 날카로움을 확인한다.