희소 문맥 자유 언어의 파리크 함수는 준다항식이다

초록

**
본 논문은 제한된(bounded) 문맥 자유 언어에 대해 파리크 맵이 박스 스플라인 형태임을 보이고, 그 결과 해당 파리크 함수가 유리함수이며 결국 준다항식(quasi‑polynomial)으로 표현될 수 있음을 증명한다.

**

상세 분석

**
파리크 맵은 문자열의 알파벳 각 기호 등장 횟수를 벡터로 변환하는 함수로, 언어의 조합적 구조를 수치적으로 파악하는 핵심 도구이다. 기존 연구에서는 일반적인 문맥 자유 언어의 파리크 이미지가 반선형(semilinear) 집합이라는 사실만 알려졌으며, 구체적인 형태나 계산 가능성에 대해서는 제한적인 결과만 존재했다. 본 논문은 특히 ‘희소(sparse)’ 혹은 ‘bounded’ 라고 정의되는, 모든 문자열이 고정된 단어들의 유한한 곱 형태 (w_1^{}w_2^{}\dots w_k^{*}) 로 표현될 수 있는 문맥 자유 언어에 초점을 맞춘다. 이러한 언어는 구조가 제한적이면서도 비정형적인 언어보다 풍부한 표현력을 가지고 있어, 파리크 함수의 정밀한 분석이 가능하다.

저자들은 먼저 bounded CFL을 정규형으로 변환하고, 각 반복 구간을 정수 변수 (x_i) 로 치환함으로써 파리크 맵을 다변수 정수선형 방정식의 해 집합으로 기술한다. 이때 등장하는 계수 행렬은 고정된 정수 행렬이며, 변수들의 비음수 제약조건만 남는다. 이러한 형태는 전통적인 박스 스플라인(box spline) 이론과 직접적인 연관성을 갖는다. 박스 스플라인은 다변수 다항식 조각들이 일정한 격자 구역을 따라 연속적으로 연결되는 함수군으로, 특히 정수 격자 위에서 정의된 경우에는 그 값이 정수선형 방정식의 해 개수와 동일하게 해석될 수 있다.

핵심 정리는 “bounded CFL의 파리크 함수는 박스 스플라인이며, 따라서 유리함수 형태를 가진다”는 주장이다. 이를 증명하기 위해 저자들은 (1) 파리크 함수가 각 격자 셀에서 다항식으로 표현될 수 있음을 보이는 ‘지역 다항식성(local polynomiality)’을 입증하고, (2) 이러한 다항식들이 격자 경계에서 일정한 연속성을 유지함을 박스 스플라인의 정의와 비교한다. 이어서 generating function 기법을 활용해 파리크 집합의 다중 지수 생성함수가 유리함수임을 도출한다. 유리함수라는 사실은 곧 파리크 함수가 주기적인 계수를 갖는 다항식, 즉 준다항식(quasi‑polynomial)으로 전개될 수 있음을 의미한다.

또한 논문은 기존의 ‘Parikh’s theorem’이 제공하는 반선형성 결과와 대비하여, bounded CFL에 대해서는 더 강력한 구조적 제약(박스 스플라인, 유리성)이 존재함을 강조한다. 이는 언어 이론뿐 아니라 조합 최적화, 정수선형 프로그래밍, 그리고 형식 언어 기반 모델 검증 등에 직접적인 응용 가능성을 열어준다.

**