단위벡터 균형과 페르마 토리첼리 점의 일반화

본 논문은 ‘단위벡터 균형’이라는 주제 아래 세 가지 주요 정리와 그 응용을 제시한다. 첫 번째는 정리 2(정리 A)로, 평면 노름공간 X에 ‖x_i‖=1인 (2k+1)개의 벡터가 주어질 때, 부호 ε_i∈{±1}를 적절히 선택하면 ‖∑_{i=1}^{2k+1}ε_i x_i‖≤1이 된다. 기존 바라니‑그린버그 정리에서는 차원 d에 비례하는 상수 d가 등장했지만, 평면에서는 홀수 개라는 추가 조건을 이용해 상수를 1로 낮출 수 있다. 증명은 다음과 같다. 원점을 지나지 않는 직선을 하나 잡아 모든 x_i가 같은 반평면에 놓이게 하고, 각 벡터를 그 반평면의 경계에 있는 대칭 다각형 P의 순서대로 배치한다. 여기서 δ_i∈{±1}를 선택해 δ_i x_i가 모두 P의 경계에 놓이게 하면, ε_i=(−1)^i δ_i 로 정의한 부호열에 대해 ∑ε_i x_i는 Lemma 7에 의해 P 안에 들어가므로 ‖∑ε_i x_i‖≤1이 된다. Lemma 7는 중앙대칭 다각형이 존도토프라는 사실을 이용해, 교대 부호 합이 다각형 내부에 포함된다는 기하학적 관찰을 정리한 것이다. 두 번째는 정리 6(정리 B)로, ‘폐각 조건’이라 불리는 가정 하에 p₀가 전체 점 집합의 페르마‑토리첼리 최소점임을 보인다. 구체적으로, 서로 다른 i, j에 대해 ∠p_i p₀ p_j의 닫힌 각 안에 어떤 k(1≤k≤n)의 반대 방향 벡터 →p₀p_k가 포함된다면, p₀는 ∑_{i=0}^n‖x−p_i‖을 최소화하는 점이 된다. 증명은 먼저 Lemma 8을 이용해 페르마‑토리첼리 점의 필요충분조건을 ‘정규화 함수 φ_i의 합이 0이 되거나 ‖∑φ_i‖≤1’이라는 형태로 바꾼다. 가정에 의해 n은 홀수이며, 각 벡터 p_i−p₀를 순시계 방향으로 정렬하면 인덱스 관계 k(i)=i+(n+1)/2 (mod n)이 성립한다. 그런 뒤 φ_i를 교대로 부호를 바꾸어 선택하면, φ_1,−φ_{m+1},φ_2,−φ_{m+2},…와 같이 배열된 정규화 함수들의 합은 Lemma 7에 의해 단위 원 안에 들어가게 된다. 따라서 ‖∑φ_i‖≤1이 되고, Lemma 8에 의해 p₀가 페르마‑토리첼리 점임이 증명된다. 이 결과는 기존 유클리드 평면에서의 정리(각이 반대 벡터를 포함한다면 중심점이 유일한 최소점이다)를 일반 노름평면으로 확장한 것으로, 회전 대신 아핀 변환과 존도토프 구조를 이용한다는 점이 새롭다. 세 번째는 정리 4(정리 C)와 그 파생인 게임 정리 5이다. 정리 4는 무한히 주어지는 단위벡터 열 x₁,x₂,…에 대해 부호 ε_i를 선택해 짝수 번째까지의 부분합 ‖∑_{i=1}^{2k}ε_i x_i‖≤2가 모든 k에 대해 유지될 수 있음을 보인다. 핵심은 Lemma 9와 Lemma 10이다. Lemma 9는 일반 평면 노름에서 ‖w‖≤2, ‖a‖=‖b‖=1이면 적절한 부호 δ,ε가 존재해 ‖w+δa+εb‖≤2가 되도록 한다. 증명은 w를 a와 b의 선형 결합 w=λa+μb (λ,μ≥0)로 표현하고, 경우별로 λ,μ의 크기에 따라 삼각 부등식과 직접 계산을 적용한다. 유클리드 경우에는 Lemma 10이 √2라는 더 강한 상수를 제공한다(두 단위벡터의 합·차가 직교함을 이용). 이 두 보조 정리를 이용해 현재 누적 벡터 w에 두 개의 새로운 단위벡터를 적절히 부호화하면 ‖w‖을 2 이하로 유지할 수 있다. 귀납적으로 모든 짝수 단계에서 이 과정을 반복하면 정리 4가 성립한다. 이와 연계된 게임 정리 5는 두 명이 번갈아 가며 벡터를 선택·부호화하는 온라인 게임을 정의한다. k가 짝수이고 차원 d≤2이면 Player II가 항상 ‖p_i‖≤2를 유지할 수 있다(정리 4의 부호 선택 알고리즘을 그대로 적용). 반면 차원이 3 이상이거나 k가 홀수이면 Player I가 매 라운드마다 서로 직교하는 두 단위벡터를 선택해 ‖p_i‖이 √i 수준으로 성장하도록 할 수 있다. 이는 기존 바라니‑그린버그의 동적 정리(‖∑ε_i x_i‖≤2d)와 비교해 차원·k에 따른 상한이 어떻게 달라지는지를 보여준다. 논문의 뒷부분에서는 존도토프(zonotope)와 중앙대칭 다각형의 관계, 고차원 일반화 가능성, 그리고 정리 6의 3차원 확장 불가능성(정규화 함수 조건이 깨지는 예시) 등을 논의한다. 또한 정리 2와 정리 4의 상수 1, 2가 각각 직사각형(ℓ₁)와 정사각형(ℓ_∞) 노름에서 최적임을 언급하며, 고차원에서는 상수 d‑1 혹은 d가 최선일 가능성을 제시한다. 요약하면, 이 논문은 평면 노름공간에서 단위벡터의 부호 선택 문제를 정밀히 분석해 최적 상수를 도출하고, 이를 페르마‑토리첼리 점 문제와 온라인 균형 게임에 적용함으로써 기존 결과들을 일반화·강화한다. 핵심 기술은 중앙대칭 다각형이 존도토프라는 기하학적 사실과, 부호 선택을 통한 부분합 제어를 결합한 새로운 증명 전략이다.