정규 핀을 가진 거리 집합의 르베그 측정과 다중 스케일 미조하‑타케우치 추정

본 논문은 평면에 있는 두 개의 Borel 집합 E와 F에 대해 다음과 같은 가정을 둔다. 첫째, Hausdorff 차원 dim_H E > 1이며, 둘째, dim_H E + dim_H F > 2이다. 또한 F는 Hausdorff 차원과 packing 차원이 일치하는 “정규” 집합이다. 이러한 조건 하에 저자들은 F 안에 한 점 y가 존재하여, 고정된 집합 E의 핀 거리 집합 Δ_y(E)=\{|x−y|:x∈E\}가 양의 Lebesgue 측정, 즉 |Δ_y(E)|>0임을 증명한다. 이는 Falconer 거리 추정 문제의 정규 경우를 완전히 해결한 결과이며, 기존에 알려진 dim_H E > 5/4 조건을 dim_H E > 1 로 크게 완화한다. 논문의 전개는 크게 네 부분으로 구성된다. 1. **배경 및 기존 연구** 서론에서는 Falconer 거리 추정의 역사적 배경을 정리하고, Mattila의 L² 접근법, Bourgain‑Wolff‑Erdogan의 부분 결과, 그리고 최근 Guth‑Iosevich‑Ou‑Wang, Du‑Guth‑Ou‑Wang‑Wilson‑Zhang 등 다양한 차원의 최신 결과들을 언급한다. 특히, 기존의 “핀 거리” 문제는 dim_H E > d/2 일 때 y∈E가 존재해 |Δ_y(E)|>0인지를 묻는 형태였으며, 정규 집합에 대한 Lebesgue 측정 결과는 거의 없었다는 점을 강조한다. 2. **예비 지식** 제2절에서는 Hausdorff 차원, packing 차원, Frostman 측정, 그리고 에너지 I_s(μ)와 Fourier 변환 사이의 관계를 정리한다. 또한, 현대 조화해석에서 자주 쓰이는 로컬라이제이션, 로컬 L² 직교성, 로컬 상수성 등 기본적인 레마들을 제시한다. 3. **다중 스케일 Good‑Bad 분해** 기존의 단일 스케일 Good‑Bad 분해(그림 3.1)는 각 dyadic 스케일 i에 대해 원형 캡을 커버하고, 각 캡에 대응하는 튜브 집합 T_{i,θ}를 만든 뒤, 튜브가 “bad”인지 “good”인지를 ν(T) ≥ R^{-½+100δ} 여부로 판단한다. 저자들은 이를 다중 스케일 버전으로 확장한다. 구체적으로 r_0 < r_1 < … < r_M = R 이라는 스케일 체인을 잡고, 각 스케일마다 서로 다른 폭을 가진 튜브 집합을 정의한다. 이때 “bad” 튜브는 ν(T) 가 해당 스케일에 비례하는 임계값을 초과하는 경우이며, 이러한 튜브들의 총 질량은 각 스케일마다 급격히 감소한다는 레마를 증명한다. 결과적으로, \