일반화된 균형선의 최소 개수와 슬라이딩 회전 기법

** 본 논문은 두 색(빨강 $R$, 파랑 $B$)으로 색칠된 점 집합 $S=B\cup R$가 평면에 일반 위치(general position)로 배치되어 있을 때, **균형선**(balanced line)의 존재와 최소 개수를 연구한다. 여기서 $|R|=r$, $|B|=b=r+2\delta$ ($\delta\ge0$)이며, 각 점 $p\in B$에 가중치 $+1$, $q\in R$에 가중치 $-1$을 부여한다. 반평면 $H$의 가중치는 $ \omega(H)=\sum_{s\in S\cap H}\omega(s) $ 로 정의한다. **정의와 기본 성질** - **균형선**: 두 점이 서로 다른 색을 갖고, 그 선이 만든 두 열린 반평면이 각각 가중치 $\delta$를 갖는 경우. - $ \delta=0 $ 일 때는 기존의 “halving line” 문제와 동일하며, Balogh의 추측을 Pach‑Pinczasi가 증명한 바 있다. **주요 도구** 1. **$P^k$‑회전**: 색이 같은 점들의 집합 $P$에 대해, 각도 $t$에 따라 피벗 점 하나만을 포함하는 방향선 $P^k_t$를 회전시킨다. 회전 중 피벗 오른쪽에 정확히 $k$개의 점이 있도록 유지한다. 피벗이 바뀔 때(두 점이 동시에 선 위에 있을 때)만 가중치가 $\pm1$ 변한다. 2. **$\delta$‑보존 회전**: $R^k$‑회전이 전체 구간에서 가중치가 $\le\delta$ 혹은 $>\delta$ 로 유지되면 $\delta$‑보존이라 하고, $B^k$‑회전은 반대로 정의한다. **Lemma 4**는 $R^k$‑회전에서 가중치가 $\delta\to\delta+1$ 혹은 $\delta+1\to\delta$ 로 변할 때마다 반드시 균형선이 존재함을 보인다. $B^k$‑회전에서도 동일하게 $\delta\to\delta-1$, $\delta-1\to\delta$ 전이가 균형선을 만든다. **핵심 아이디어 – 슬라이딩 회전** 단순 회전만으로는 모든 경우를 포괄하기 어려우므로, **슬라이딩 회전**(sliding rotation)을 도입한다. 이는 회전과 동시에 선을 평행 이동시켜 다음 점을 만나게 하는 연속적인 움직임을 허용한다. 슬라이딩 회전 $\Sigma$는 각도 $t$에 대해 하나의 선을 지정하고, $\Sigma_{t+\pi}$가 $\Sigma_t$의 왼쪽에 위치하도록 하면 **양의 방향**이라 부른다. 각 슬라이딩 회전에 대해 **허리(waist)** 를 \