교대 경계가 있는 일반 평면 하이퍼맵 열거

본 연구는 평면 하이퍼맵(내부 면이 검은색·흰색으로 교대로 색칠된 지도)의 교대 경계(alternating boundary) 조건을 일반적인 형태로 확장하여 열거 문제를 해결한다. 먼저 저자들은 하이퍼맵과 경계 조건을 형식적으로 정의하고, 경계 길이 ℓ와 색상 문자열 w∈{•,◦}^ℓ 로 표현한다. 교대 경계는 w가 “◦ • ◦ • … ◦ •” 형태인 경우이며, 이때 경계 다리(bridge)와 핀치점(pinch point)도 허용된다. 생성함수는 각 색상의 면 차수를 제한하는 다항식 V(x)=−∑_{i=2}^d t_i i x^i와 \tilde V(y)=−∑_{i=2}^{e} \tilde t_i i y^i 로 정의된 포텐셜을 사용한다. 흰색·검은색 면 각각에 대한 차수 제한을 통해 일반적인 가중치를 부여한다. 경계가 교대인 하이퍼맵의 개수를 F_r 로 두고, 이를 이용해 주요 생성함수 bf(ω)=∑_{r≥0}F_r ω^{r+1}−c 를 정의한다. 또한 단색 경계 경우의 생성함수 W(x)와 그 변형 Y(x)= (W(x)−V′(x))/c 를 도입한다. 주요 결과는 두 부분으로 나뉜다. 첫 번째는 정리 1.1으로, bf(ω)가 Q((t)) (c, t_i, \tilde t_j, ω) 위에서 대수적임을 보이며, 이를 위한 구체적인 소거 전략을 제시한다. 핵심은 두 촉매 변수(경계 길이와 색상 정보를 추적하는 변수)를 동시에 소거하는 방법이다. 이를 위해 튀트 분할 방정식(섹션 3.3)을 일반화하고, 여러 보조 생성함수에 적용한다. 그 결과, 스펙트럴 커브 E(x,y)와 새로운 다항식 Q(x,y) 가 도출되며, 두 다항식이 동일함을 강제함으로써 bf(ω)와 관련 함수들의 대수 방정식을 얻는다. Jacobian이 0이 아님을 증명해 해의 유일성과 존재를 확보한다(정리 4.4). 두 번째는 정리 1.2로, 이징 사각형(흰·검은 면 차수가 4인 경우)으로 특수화했을 때 명시적인 유리 파라미터화를 제공한다. 변수 h를 도입해 ω와 bf(ω)를 식 (4)와 같이 유리식으로 표현하고, α₁, α₃, γ 를 t₂, t₄, c 로부터 역으로 정의한다. 이 파라미터화는 기존 m‑콘스텔레이션에서 얻은 “커널 관계” ω·bf(ω)+c·x·Y(x)=0 와는 달리, 일반 경우에는 존재하지 않음을 코롤라리 1.3으로 명시한다. 논문은 또한 기존 연구와의 연관성을 상세히 논의한다. 섹션 2에서는 단색 경계 경우의 스펙트럴 커브와 튀트 방정식(Eynard‑2003, 2016)을 복습하고, 섹션 2.2에서는