평면 삼원 원판 최밀도

초록

반지름 1, r≈0.834, s≈0.651인 세 종류 원을 이용한 평면 내 가장 밀집된 원판이 기존의 콤팩트(조밀) 배치와 동일함을 증명한다. 저자들은 FM‑삼각분할, 초과량과 정점·변 포텐셜을 정의하고 전역·국부 부등식을 수치 구간 연산으로 검증함으로써 목표 배치가 전 가능한 배치 중 최대 밀도를 가진다는 것을 보였다.

상세 분석

이 논문은 반지름이 서로 다른 세 종류의 원(크기 1, r≈0.834, s≈0.651)으로 구성된 평면 원판 문제에서, “콤팩트”라 불리는 각 구멍이 세 원이 서로 접하는 형태를 갖는 배치가 가능한 경우, 그 콤팩트 배치가 전체 가능한 배치 중 밀도가 최대임을 최초로 일반화 가능한 방법으로 증명한다. 핵심 아이디어는 주어진 원판에 대해 FM‑삼각분할(FM‑triangulation)을 적용해 원의 중심을 정점으로 하는 삼각망을 만든 뒤, 각 삼각형 T에 대해 초과량 E(T)=δ·area(T)−cov(T) 를 정의한다. 여기서 δ는 목표 배치의 밀도(≈0.9093)이며, cov(T)는 삼각형 내부에 실제 원이 차지하는 면적이다. 목표는 모든 삼각형에 대해 Σ E(T)≥0을 보이는 것이며, 이를 위해 두 단계의 부등식을 도입한다. 첫 번째는 전역 부등식 Σ U(T)≥0이며, 여기서 U(T)=Σ U_v(T)+Σ U_e(T)는 정점 포텐셜과 변 포텐셜의 합이다. 정점 포텐셜 U_v(T)는 해당 정점에 인접한 원의 크기에 따라 미리 계산된 상수 V_{abc}에 각 삼각형의 각도 변형량을 가중치 m_q로 보정한 형태이며, m_q는 원의 크기별로 사전에 최적화된 양수값이다. 변 포텐셜 U_e(T)는 변의 길이가 특정 임계값 l_{xy} 이상일 때만 비제로가 되며, 그 크기는 변의 길이와 지원 원(지원 원은 삼각형의 외접원 중 원판에 겹치지 않는 가장 작은 원) 중심과 변 사이의 부호 거리 d_e(T)에 비례한다. 두 번째는 국부 부등식 E(T)≥U(T)이며, 이는 각 삼각형이 “tight”(세 원이 서로 접하는) 혹은 “ε‑tight”(조금씩 변형된) 경우에 대해 직접 계산·검증한다. 특히, “stretched”(한 변이 길어져 지원 원이 인접 삼각형과 겹치는) 삼각형 근처에서는 변 포텐셜이 초과량을 보상하도록 설계되어 있다. 전역 부등식은 정점당 가능한 삼각형 개수가 제한적(최대 31개)임을 이용해 전산적으로 모든 경우를 열거하고, 구간 산술(interval arithmetic)을 사용해 부동소수점 오차를 완전히 배제한다. 국부 부등식은 tight 삼각형에 대해 미분학적 분석으로, ε‑tight 삼각형에 대해서는 SageMath 기반의 이분 탐색을 통해 모든 가능한 변형 구간을 검사한다. 최종적으로 Σ E(T)=Σ U(T)≥0이 성립함을 보임으로써, 목표 콤팩트 배치가 전체 가능한 배치 중 최고 밀도를 가진다는 결론을 얻는다. 이 증명 구조는 “콤팩트 배치가 존재하는 경우”라는 전제 하에 다른 반지름 조합에도 그대로 적용 가능하므로, 향후 다중 크기 원판 문제에 대한 일반 이론 구축의 초석이 된다.