측정가능한 할의 정리로 본 유계 나머지 집합·절단 투사 집합의 등분해와 거리 제한 동등성

초록

저자들은 Cieśla‑Sabok의 측정가능한 할 정리를 이용해, 같은 부피를 갖는 두 유계 나머지 집합(BRS)이 ℤα+ℤᵈ 평행이동으로 측정가능하게 등분해될 수 있음을 증명한다. 또한 격자 Γ와 두 Riemann‑측정가능한 창 W, W′ 로부터 만든 절단‑투사 집합이 거리 제한 동등이면, 창 W와 W′ 역시 p₂(Γ) 평행이동으로 측정가능하게 등분해된다. 1차원 경우에 한해 창이 다각형이면 등분해 조각도 다각형으로 선택 가능하지만, 차원이 2 이상이면 이는 일반적으로 불가능함을 보인다.

상세 분석

이 논문은 “측정가능한 할(Hall) 정리”라는 최신 도구를 핵심으로 삼아, 전통적인 등분해 문제를 측정가능성까지 확보한 형태로 확장한다. 할 정리는 이분 그래프에서 완전 매칭이 존재하기 위한 필요충분조건을 제시하는데, Cieśla‑Sabok(2022)은 이를 가측 공간 위의 자유(pmp) ℤᵈ‑동작에 적용해, 비가측 매칭이 존재하면 가측 매칭도 존재한다는 강력한 결과를 얻었다. 저자들은 이 정리를 두 가지 주요 상황에 적용한다.

첫 번째는 유계 나머지 집합(BRS)이다. BRS는 회전 α∈ℝᵈ(1,α₁,…,α_d가 ℚ-선형 독립) 에 대해, 점 x에 대한 부분합 ∑_{k=0}^{n‑1}χ_A(x+kα) 가 평균 n·mes A와 일정 C 이내 차이 나는 집합을 말한다. 기존 연구는 Riemann‑측정가능한 BRS 사이의 등분해를 보였지만, 일반 가측 BRS에 대해서는 미해결이었다. 논문은 BRS A와 B를 각각 Tᵈ×ℤ_q(여기서 q는 A와 B를 덮는 기본 큐브의 개수) 위에 끌어올리고, G=ℤ×ℤ_q가 (n,σ)·(x,τ)=(x+nα,σ+τ) 로 작용하도록 설정한다. 이때 A′, B′를 X에 정의하면, BRS의 불변식(3.4)으로부터 거의 모든 궤도 x∈Tᵈ에 대해 Hall 조건이 만족됨을 확인한다. 즉, 각 궤도에서 A′와 B′는 유한 집합 사이에 완전 매칭이 존재한다는 의미다. 측정가능한 할 정리를 적용하면, A′와 B′는 G‑평행이동으로 가측 조각을 갖는 등분해가 가능하고, 이를 원래의 ℝᵈ로 투사하면 A와 B가 ℤα+ℤᵈ 평행이동으로 가측 등분해됨을 얻는다.

두 번째는 절단‑투사 집합(cut‑and‑project set)이다. 격자 Γ⊂ℝᵐ×ℝⁿ과 두 창 W, W′⊂ℝⁿ을 주면, p₁(Γ)‑격자에 의해 ℝᵐ에 투사된 점들의 집합을 얻는다. 두 집합이 “거리 제한 동등(bounded‑distance equivalent)”하다는 것은, 한 집합의 각 점을 다른 집합의 점과 일정 상수 C 이내 거리에서 1‑대‑1 대응시킬 수 있음을 의미한다. 저자들은 이 가정이 창 W와 W′ 사이에 Hall 조건(a.e.)을 만족시킨다는 것을 보인다. 구체적으로, 각 궤도 x∈ℝᵐ에 대해 p₂(Γ)‑평행이동으로 만든 이분 그래프에서 완전 매칭이 존재함을 보이고, 다시 측정가능한 할 정리를 쓰면 W와 W′가 p₂(Γ)‑평행이동으로 가측 조각을 갖는 등분해가 가능함을 얻는다.

마지막으로 1차원 경우에 대한 별도 증명을 제공한다. 여기서는 창이 다각형(즉, 구간들의 유한 합)일 때, 순서화된 점들의 매칭을 직접 구성해 조각을 다각형으로 유지할 수 있음을 보인다. 그러나 차원 ≥2에서는 같은 방법이 통하지 않으며, 실제로 다각형 창이지만 등분해 조각을 다각형으로 할 수 없는 반례를 제시한다. 이는 고차원에서는 기하학적 복잡성이 크게 증가함을 시사한다.

전반적으로 논문은 “측정가능한 할 정리”라는 추상적인 도구를 구체적인 수론·기하학 문제에 성공적으로 적용함으로써, 기존에 측정가능성 없이만 알려졌던 등분해 결과들을 가측 조각까지 보강한다. 이는 등분해 이론, 불일치(discrepancy) 이론, 그리고 절단‑투사 모델의 구조적 이해에 새로운 관점을 제공한다.