연장 일반 스플라인의 행렬식 기반 기저 판정법

초록

본 논문은 GCD 도메인 위의 그래프에서 각 정점에 (M_v=m_vR)·모듈, 각 간선에 (M_e=R/r_eR)·모듈을 부여한 ‘연장 일반 스플라인’ 구조를 연구한다. 정점‑간선 라벨의 최대공약수와 최소공배수를 이용해 정의한 (\widehat Q_G) 를 중심으로, 스플라인 집합의 행렬식이 (\widehat Q_G) 의 단위배가 되면 그 집합이 자유 모듈의 기저가 됨을 보인다(정리 1.1). 또한 라벨이 서로 서로소인 경우 역방향 정리(정리 1.2)를 제시하고, PID가 아닌 경우 흐름‑업 기저가 존재하지 않을 수 있음을 예시로 보여준다.

상세 분석

이 논문은 기존의 일반 스플라인 이론을 한 단계 확장하여, 정점마다 서로 다른 (R)-모듈을 허용하는 ‘연장 일반 스플라인(Extending Generalized Splines)’을 정의한다. 핵심 아이디어는 각 정점 라벨을 (M_v=m_vR) 형태로, 각 간선 라벨을 (M_e=R/r_eR) 형태로 두고, 정점‑간선 사이의 사상 (\varphi) 를 자연적인 몫 사상으로 설정함으로써 스플라인 조건 (\varphi_u(f_u)=\varphi_v(f_v)) 를 만족하는 전역 라벨링을 모듈 (\widehat R_G) 로 만든다.

연구는 (R)이 최대공약수(GCD) 도메인이라는 가정 하에 진행된다. 이 경우, 정점 라벨 (m_i)와 간선 라벨 (r_j) 사이의 최대공약수와 최소공배수를 이용해 ‘트레일’(trail)이라는 개념을 도입하고, 모든 정점 (v_i)에 대해 가장 긴 트레일들의 최대공약수 집합을 구한다. 이를 바탕으로 정의된 \