부분 콘웨이와 반복 세미링의 새로운 이론

초록

이 논문은 별 연산이 전체가 아니라 세미링의 이상(ideal) 위에서만 정의되는 ‘부분 콘웨이 세미링’ 개념을 도입하고, 그에 대한 기본 이론을 전개한다. 합별·곱별 항등식을 부분적으로 만족하도록 하고, 이를 이용해 가중 자동자에 대한 Kleene 정리를 일반화한다. 또한 부분 반복 세미링을 정의하여 선형 방정식의 유일해 존재성을 보이며, 전형적인 예인 유리 파워 시리즈 세미링이 이 구조를 만족함을 증명한다.

상세 분석

논문은 먼저 전통적인 콘웨이 세미링이 별 연산 ‘’가 전역적으로 정의되어야 하고, 합별식 ((a+b)^ = a^(ba^)^)와 곱별식 ((ab)^ = 1 + a(ba)^b)를 만족한다는 점을 상기한다. 그러나 자연수 세미링 (\mathbb N)이나 (\mathbb N^{\text{rat}}\langle!\langle\Sigma^\rangle!\rangle)와 같이 실제 계산에서 중요한 세미링들은 이러한 전역 별 연산을 가질 수 없으며, 일부 경우에는 전역 콘웨이 세미링으로의 임베딩조차 불가능하다. 이를 해결하기 위해 저자는 별 연산이 정의되는 부분집합을 세미링의 이상 (I\subseteq S) 로 제한하는 ‘부분 ∗‑세미링(partial ∗‑semiring)’을 정의한다.

부분 콘웨이 세미링은 다음 두 핵심 항등식을 이상 (I) 안의 원소들에 대해 부분적으로 유지한다. 첫째, 합별 항등식은 (a,b\in I)에 대해 ((a+b)^* = a^(ba^)^)가 성립한다. 둘째, 곱별 항등식은 (a\in I) 혹은 (b\in I)이면 ((ab)^ = 1 + a(ba)^*b)가 성립한다. 이 정의는 기존 콘웨이 세미링을 특수 경우((I=S))로 포함한다.

다음으로 저자는 행렬 이론을 활용해 부분 콘웨이 세미링 위에 ‘부분 콘웨이 행렬 이론(partial Conway matrix theory)’을 구축한다. 여기서 별 연산은 이상 (M(I))에 속하는 정사각 행렬에만 정의되며, 행렬 버전의 합별·곱별 항등식이 그대로 적용된다. 중요한 결과는 ‘정리 3.5’로, 부분 콘웨이 세미링 (S)가 주어지면 그 행렬 세미링 (\text{Mat},S)에 위와 같은 행렬 별 연산을 부여하면 부분 콘웨이 행렬 이론이 된다. 이는 기존의 콘웨이 행렬 이론과 완전히 일치하면서도 정의역을 제한함으로써 더 넓은 클래스의 세미링을 포괄한다.

부분 반복 세미링(partial iteration semiring)은 부분 콘웨이 세미링에 추가로 ‘그룹 항등식’과 선형 방정식의 유일해 존재성을 요구한다. 저자는 ‘부분 반복 세미링은 부분 반복 세미링이다(partial iterative semirings are partial iteration semirings)’라는 명제를 증명하고, 이를 통해 (,S\langle!\langle\Sigma^*\rangle!\rangle)와 같은 유리 파워 시리즈 세미링이 부분 반복 세미링임을 확인한다. 이는 가중 자동자 이론에서 중요한 역할을 하며, 특히 무한 가중치 (\infty)를 추가한 (\mathbb N^\infty)와 같은 확장에도 적용 가능함을 시사한다.

전체적으로 논문은 별 연산이 부분적으로만 정의될 수 있다는 현실적인 제약을 수학적으로 정형화하고, 그 위에 Kleene‑type 정리를 재구성함으로써 가중 자동자와 언어 이론의 적용 범위를 크게 확장한다는 점에서 큰 의의를 가진다.