버폰 차이와 스테인하우스 롱미터: 선분 배치의 새로운 불일치 이론

본 논문은 평면의 볼록 집합 Ω 안에 총 길이 L인 1차원 집합 S를 배치하여, 모든 직선 ℓ에 대해 교차 횟수 #$(ℓ∩S)$가 ℓ이 Ω 안에 차지하는 길이와 비례하도록 하는 “버폰 차이”(Buffon discrepancy)를 최소화하는 문제를 제시한다. 먼저, Cauchy‑Crofton 공식에 기반해 평균적인 비례 상수를 $c=2L/(\pi\operatorname{area}(\Omega))$ 로 정하고, 버폰 차이를 $\|\,\#(\ell\cap S)-c\,\mathcal H^1(\ell\cap\Omega)\|_{L^\infty(\mu)}$ 로 정의한다. 여기서 $\mu$는 모든 직선을 포함하는 키네마틱 측도로, 측도 0인 예외선을 무시한다는 점이 핵심이다. **1. 기본 정의와 하한** 버폰 차이는 직선마다 정수값인 교차 횟수와 실수값인 길이 사이의 차이 때문에 최소 1/2 이상의 하한을 갖는다. 이는 정수와 실수 사이의 최소 격차를 이용한 간단한 논증으로, 특히 단위 원판 $\mathbb D$에서는 이 하한이 실제로 달성된다는 점을 보여준다. **2. 단위 원판에서의 상수 차이** 정리 1에서는 $\mathbb D$ 안에 반지름이 서로 다른 원들을 겹치지 않게 배치해 총 길이 $L$을 맞추는 방법을 제시한다. 각 원의 반지름 $r_i$를 $\sqrt{1-(i\pi/2L)^2}$ 형태로 선택하면, 원과 직선의 교차 횟수는 $\#(ℓ∩S)=2\#\{i: d(ℓ)\le r_i\}$ 로 표현된다. 여기서 $d(ℓ)$는 ℓ이 원점에 가장 가까운 거리이다. 이때 $\#\{i: r_i\ge r\}$ 와 $2L/(\pi)\sqrt{1-r^2}$ 사이의 차이가 1 이하가 되도록 $r_i$를 조정하면, 모든 ℓ에 대해 버폰 차이가 $≤100$ (실제로는 상수 1에 가깝다) 로 제한된다. 증명은 연속적인 밀도 함수를 정수화하는 전형적인 디스크리타이제이션 기법을 사용한다. **3. 스테인하우스 롱미터와 일반 볼록 집합** 스테인하우스가 제안한 “롱미터”는 원점에서 $n$개의 직선이 $2\pi/n$ 간격으로 뻗어 있고, 이를 격자 간격 $\varepsilon$ 로 평행 이동시킨 집합 $S_{n,\varepsilon}$ 로 정의된다. 이 구조는 모든 방향에 대해 일정한 밀도로 선분을 제공한다. 정리 2에서는 $n\asymp L^{1/3}$, $\varepsilon\asymp L^{-2/3}$ 로 잡아 $|S_{n,\varepsilon}\cap\Omega|\approx L$ 이면서 버폰 차이가 $c_\Omega L^{1/3}$ 이하가 됨을 증명한다. 핵심은 직선 $\ell$과 $S_{n,\varepsilon}$의 교차 횟수가 $\ell$의 투영 길이에 비례하고, Fourier 급수를 이용해 오차가 $O(1/n)$ 수준임을 보이는 것이다. 최적의 $n$을 선택하면 $L^{1/3}$ 차이가 최선이며, 이는 원점이 $\partial\Omega$에 놓일 경우에도 동일하게 적용된다. **4. 증명 개요** - *Proposition (Cauchy‑Crofton scaling)*: 모든 직선에 대해 $\int\#(\ell∩S)d\mu=4L$ 와 $\int\mathcal H^1(\ell∩\Omega)d\mu=2\pi\operatorname{area}(\Omega)$ 를 이용해 $c$와 $X$ 사이의 관계를 도출한다. - *Theorem 1*: 원들의 반지름을 적절히 선택해 $\#(\ell∩S)$ 와 $2L/(\pi)\sqrt{1-d(\ell)^2}$ 사이의 차이를 1 이하로 유지한다. - *Theorem 2*: $S_{n,\varepsilon}$ 의 길이는 $n/\varepsilon$ 에 비례하고, 교차 횟수는 $\frac{2n}{\pi\varepsilon}\sqrt{a^2+b^2}+O(\sqrt{a^2+b^2}\,n\varepsilon + n)$ 로 전개된다. 여기서 $(a,b)=y-x$ 는 직선 구간의 벡터이다. $n\sim L^{1/3}$, $\varepsilon\sim L^{-2/3}$ 로 최적화하면 목표 차이를 얻는다. **5. 열린 문제와 향후 연구** - 모든 볼록 영역에서 상수 수준(즉, $O(1)$)의 버폰 차이를 얻을 수 있는지 여부. - 원판 외에 다른 도메인에서 비슷한 상수 오차를 갖는 명시적 구성을 찾을 수 있는지. - $S$ 를 “Ω와 교차하는 선분들의 집합”으로 제한했을 때 문제의 난이도가 변하는지. - 고차원 일반화: $ℝ^3$ 이상에서 “선” 혹은 “코디멘션 1 집합”을 대상으로 한 버폰 차이 정의와 최적 구성을 탐구할 필요성. **6. 결론** 버폰 차이라는 새로운 불일치 개념을 도입하고, 스테인하우스 롱미터를 일반화한 구조를 통해 일반 볼록 집합에서 $L^{1/3}$ 수준, 원판에서는 상수 수준의 차이를 달성함을 보였다. 이는 기하학적 확률, 적분기하학, 그리고 불일치 이론 사이의 흥미로운 연결고리를 제공하며, 향후 고차원 및 다양한 도메인에서의 확장 가능성을 열어준다.