색칠된 유사직선 배열에서의 삼각형과 사각형 탐구

초록

두 색으로 색칠된 단순 유사직선 배열에서, 적어도 하나의 파란·빨강 삼각형이 존재함을 보였으며, 경우에 따라 빨강‑빨강‑파랑‑파랑 사각형도 허용한다. 또한 (유)직선‑면·삼각형 하이퍼그래프의 독립수 상한을 정확히 구하고, 삼각형 전용 하이퍼그래프에서는 독립수가 n−Θ(log n)까지 커질 수 있음을 증명한다.

상세 분석

본 논문은 두 색(빨강, 파랑)으로 색칠된 단순 유사직선(arrangement)에서 “이색 삼각형(bichromatic triangle)”이 언제 존재하는지를 여러 관점에서 조사한다. 기존의 Björner·Las Vergnas·Sturmfels·White·Ziegler의 전제는 모든 bicolored 배열에 이색 삼각형이 존재한다는 것이었으나, 일반적인 증명은 아직 알려지지 않았다. 저자들은 이를 완전한 해결은 못하더라도, 약화된 형태와 구조적 가정을 통해 부분적인 결과를 얻는다.

첫 번째 주요 정리(Theorem 2)는 빨강 선이 최대 5개인 경우에 반드시 이색 삼각형이 존재한다는 것이다. 증명은 빨강 선의 개수에 대한 귀납법을 사용한다. 빨강 선이 2개 이하이면 각 선이 삼각형을 형성하고, 그 삼각형은 반드시 이색이다. 빨강 선이 3~5개일 때는 ‘극선(extremal line)’ 개념을 도입한다. 만약 어떤 빨강 선이 배열 전체에서 모든 교차가 한쪽에만 존재한다면, 그 선을 제거하고 귀납 가정을 적용한다. 극선이 존재하지 않을 경우, 빨강 선 5개가 이루는 유일한 비극선 배열인 “5‑star” 형태를 분석한다. 5‑star의 각 삼각형이 비어 있음을 가정하고, 파랑‑파랑 교차점이 존재하면 해당 교차점을 포함하는 삼각형을 찾아 이색성을 확보한다. 이 과정에서 삼각형 플립(triangle flip)과 레버리지(lens sweeping) 기법을 활용한다.

두 번째 정리(Theorem 3)는 “블록‑색칠(block‑bicolored)”이라는 특수한 색칠 방식—즉, 북쪽 면을 기준으로 처음 몇 개 선을 빨강, 나머지를 파랑으로 색칠—에 대해 언제든 이색 삼각형이 존재함을 보인다. 여기서는 ‘signotope’라는 순서론적 도구를 사용한다. 배열을 signotope σ_A 로 표현하고, σ_A와 σ_A′ 사이의 ‘−→+’ 플립이 가능한 순서를 정의한다. 블록‑색칠 배열은 최소·최대 signotope 사이에 포함 관계가 성립함을 보이며, 이 포함 관계에 따라 유한 단계의 플립을 수행하면 반드시 이색 삼각형이 생성된다.

Theorem 4는 가장 일반적인 경우를 다루며, 모든 bicolored 배열에 이색 삼각형이 없을 경우 반드시 빨강‑빨강‑파랑‑파랑 사각형이 존재한다는 약한 형태를 제시한다. 이는 앞선 정리들의 증명 아이디어를 결합하고, 삼각형이 없을 때 가능한 최소 면 구조를 분석함으로써 얻어진다.

하이퍼그래프 측면에서는 두 종류를 정의한다. 첫 번째는 (유)직선‑면(line‑face) 하이퍼그래프 H_{line‑face}(A) 로, 정점은 선, 초변은 배열의 모든 면(유한·무한 포함)이다. 기존 연구