비볼록 영역에서의 DNA 부등식: L자형 반례와 일반적 판정 알고리즘

본 논문은 “DNA 부등식”이라 불리는 기하학적 불평등을 비볼록 평면 다각형에 적용 가능 여부를 체계적으로 조사한다. DNA 부등식은 셀(외부 폐곡선) Γ와 그 내부에 포함된 임의의 폐곡선 γ 사이에 평균 곡률(곡률 절대값 적분을 주변 길이로 나눈 값) 비교를 통해 정의된다. 구체적으로, Γ의 평균 곡률을 1/α라 하면, 모든 γ에 대해 α·곡률(γ)−주변길이(γ)≥0이어야 한다. **1. L‑형 반례** 첫 번째 주요 결과는 L‑형(큰 직사각형에서 한 모서리를 잘라낸 형태) 다각형이 DNA 부등식을 항상 위배한다는 증명이다. 저자는 작은 각 θ를 선택하고, L‑형의 두 직각 모서리 사이에 점 P와 Q를 배치해 ∠AYP=∠DYQ=θ를 만족하도록 한다. 이후 폐곡선 A‑P‑Y‑Q‑D‑Y‑A 를 구성하고, 이 곡선의 곡률은 3π+4θ, 주변 길이는 (AY+YD)(1+secθ+tanθ) 로 계산된다. 원래 L‑형의 곡률은 3π, 주변 길이는 2(AY+YD)이다. 부등식 비교를 통해 3π+4θ < (3π/2)(1+secθ+tanθ) 가 성립함을 보이며, 이는 θ가 충분히 작을 때 항상 true이다. 따라서 f_Γ(γ)<0인 γ가 존재함을 의미하고, L‑형은 DNA 부등식을 만족하지 않는다. 이 결과는 Lagarias‑Richardson이 제시한 “L‑형은 부등식을 만족할 가능성이 있다”는 추측을 완전히 부정한다. **2. 덴트 삽입을 통한 DDNA‑다각형** 두 번째 결과는 볼록 다각형 P에 등변 삼각형 형태의 ‘덴트’를 삽입한 변형 P_δ가 DDNA‑다각형인지 판단하는 명시적 조건을 제시한다. 정의에 따르면, P_δ는 변 AB를 두 선분 AX, XB 로 대체한 형태이며, ∠XAB=∠XBA=δ이다. 여기서 P와 변 AB를 고정하고, δ를 충분히 작게 하면 DNA 부등식이 유지되는지 여부를 조사한다. 주요 정리는 다음과 같다. - P의 전체 주변 길이를 p, 덴트를 삽입한 변의 길이를 l, 그리고 해당 변이 양 옆 변과 이루는 큰 각을 α라 할 때,   2·p ≤ π·l·(1+cosα·sinα) 가 성립하면 P_δ는 모든 충분히 작은 δ에 대해 DNA 부등식을 만족한다(DDNA‑다각형). 반대로 위 부등식이 깨지면 어느 정도 δ가 작아도 부등식이 깨진다. 이 식은 δ에 독립적이며, α가 작을수록(즉, 변이 거의 직각에 가까울수록) 부등식이 성립하기 쉬움을 보여준다. **3. 분리 가능 다각형과 다항 시간 판정** 세 번째 주요 기여는 ‘분리 가능(separable) 다각형’이라는 새로운 클래스 정의와, 이 클래스에 속하는 모든 다각형에 대해 DNA 부등식의 성패를 다항 시간 내에 판단할 수 있는 알고리즘을 제시한 것이다. - **분리 가능 다각형 정의**: 셀 Γ의 내부 정점이 Γ의 볼록 껍질 내부에 존재하고, 임의의 내부 점 p에 대해 Γ를 가로지르는 내부 정점이 하나 이하인 경우를 말한다. 이 정의는 셀 내부에서 복잡한 교차가 발생하지 않도록 보장한다. - **임계점 집합 C**: 셀의 모든 꼭짓점과, ‘점프’와 ‘리프’(선분이 셀 경계를 교차하거나 접하는 경우)를 방지하기 위해 추가로 선택된 유한 개의 경계점들을 포함한다. - **Lemma 5.2**: 어떤 CXΓ‑다각형(부등식을 위배하는 반례)이라도, 그 정점들을 모두 C에 포함시키거나, C와 몇 개의 추가 점만을 이용한 특수 형태로 변형할 수 있음을 보인다. 이는 반례 탐색 공간을 유한하고, 크기가 O(|C|²) 이하로 제한한다는 의미이다. - **알고리즘**: 1. 입력된 다각형 Γ의 정점들을 분석해 C를 구성한다. 2. C의 모든 가능한 두 점 조합에 대해 선분을 연결하고, 해당 선분이 셀 내부에 완전히 포함되는지 검사한다. 3. 각 후보 폐곡선에 대해 f_Γ(γ) 값을 계산하고, 부등식이 위배되는지 확인한다. 4. 위 과정은 C의 크기가 O(n) (n은 원래 정점 수) 이므로 전체 복잡도는 O(poly(n))이다. 이 알고리즘은 실제 구현이 용이하고, 기존에 알려진 볼록 다각형에 대한 결과와 일관성을 유지한다. **4. 추가 결과와 논의** - 섹션 7에서는 비볼록 다각형들의 연속적인 ‘덴트’ 변형이 수렴하는 경우를 분석하고, 극한 상황에서 부등식이 정확히 등호가 되는 조건을 제시한다. - 섹션 8에서는 앞서 제시한 부등식 2·p ≤ π·l·(1+cosα·sinα)의 증명을 상세히 전개한다. 여기서는 곡률과 주변 길이의 미분 관계, 그리고 삼각함수의 부등식을 활용한다. - 논문 말미에서는 연구의 한계와 향후 과제로, (i) 더 일반적인 비볼록 형태(예: 다중 구멍이 있는 영역)에서의 DNA 부등식, (ii) 연속적인 곡선(다각형이 아닌 부드러운 곡선)으로의 확장 가능성 등을 제시한다. **결론** 본 연구는 DNA 부등식이 비볼록 영역에서도 보편적으로 성립하지 않음을 L‑형 반례를 통해 명확히 보여주고, 특정 비볼록 형태에서는 부등식이 유지되는 충분·필요 조건을 정량적으로 제시한다. 또한 ‘분리 가능 다각형’이라는 새로운 클래스를 도입해, 실용적인 다항 시간 판정 알고리즘을 제공함으로써 이론적 결과를 실제 계산 가능성으로 연결한다. 이러한 성과는 기하학적 최적화, 곡률 기반 형태 분석, 그리고 생물학적 DNA 모델링 등 다양한 분야에 응용될 수 있을 것으로 기대된다.