입출력 방정식과 선형 ODE 모델의 식별 가능성

본 논문은 구조적 식별 가능성(structural identifiability)의 이론적 기반을 강화하고, 특히 입력‑출력 방정식(input‑output equations) 방법의 적용 범위를 명확히 규정한다. 서론에서는 구조적 식별 가능성이 파라미터를 정확히 추정하기 위한 전제조건임을 강조하고, 기존에 널리 사용되는 입력‑출력 방정식 기반 알고리즘이 ‘계수들이 식별 가능하다’는 가정(A)에 의존한다는 점을 지적한다. 실제로 이 가정이 위배될 경우, COMBOS·D‑AISY와 같은 소프트웨어가 잘못된 식별 결론을 내릴 수 있음을 사례와 함께 제시한다. 문제 정의 섹션에서는 선형 ODE 시스템 Σ를 (x′=f(x,μ,u), y=g(x,μ,u)) 형태로 설정하고, 파라미터 μ에 대한 두 가지 식별 개념을 정의한다. 첫 번째는 전통적인 식별 가능성(identifiable)으로, 모든 가능한 초기조건·입력 신호에 대해 파라미터 값을 유일하게 복원할 수 있는지를 묻는다. 두 번째는 IO‑identifiable로, 입력‑출력 방정식의 계수들로 생성되는 필드에 속하는 함수들을 의미한다. 차분 대수학(differential algebra)의 용어를 도입해 입력‑출력 방정식의 ‘완전 집합(full set)’을 정의하고, 이 집합이 생성하는 계수 필드가 IO‑identifiable 함수들의 전체를 포괄함을 보인다. 주요 결과는 세 가지 정리(Main Result)로 구성된다. 1. **Main Result 1**: 출력이 하나뿐인 모든 선형 시스템에 대해 입력‑출력 방정식이 존재하고, 그 계수들은 파라미터의 식별 가능한 조합을 완전하게 나타낸다. 여기서는 차분 아이디얼의 최소 차수 원리를 이용해 계수와 파라미터 사이의 일대일 매핑을 증명한다. 2. **Main Result 2**: 그래프의 각 정점에서 최소 하나의 누수(leak) 혹은 입력(input)이 도달 가능한 선형 구획 모델에 대해 동일한 결과가 성립한다. 즉, 이러한 구조적 제약이 있으면 입력‑출력 방정식의 계수만으로 모든 식별 가능한 함수를 생성한다. 이때 ‘누수 혹은 입력이 도달 가능’이라는 조건은 그래프 이론에서 강연결성(strong connectivity)보다 약한 조건이며, 실제 생물학·공학 모델에 널리 적용 가능하다. 3. **Main Result 3**: 강하게 연결된 구획 모델에 입력이 하나만 존재하는 경우, 전이함수 행렬(transfer function matrix)의 계수만으로도 전체 식별 가능한 필드를 생성한다. 이는 기존 연구에서 다중 출력 모델에 대해 전이함수 행렬만을 사용할 경우 식별 오류가 발생한다는 점과 대비된다. 저자들은 강연결성 가정 하에 전이함수 행렬의 계수들이 충분히 풍부함을 증명하고, 초기 조건이 일반적인(generic) 경우에도 결과가 유지된다는 점을 강조한다. 이론적 증명은 차분 아이디얼의 차수 최소화, Cramer’s rule에 기반한 행렬식 전개, 그리고 Gröbner basis를 이용한 다항식 시스템의 유일성 검증을 결합한다. 특히, 계수들이 생성하는 필드가 파라미터 전체 필드의 부분필드가 아니라 정확히 동일함을 보이기 위해 ‘solvability condition’과 ‘minimality’ 개념을 정교히 다룬다. 섹션 IV에서는 구체적인 예시를 통해 기존 알고리즘이 실패하는 경우를 보여준다. 예를 들어, 두 개의 파라미터가 교환 대칭을 갖는 경우 입력‑출력 방정식만으로는 파라미터를 완전히 구분할 수 없지만, 본 논문의 정리를 적용하면 해당 대칭이 계수 필드 내에서 어떻게 반영되는지 명확히 알 수 있다. 또한, 실제 생물학적 구획 모델(예: 약물 동태학 모델)에서 그래프 구조가 ‘누수 혹은 입력 도달 가능’ 조건을 만족함을 확인하고, 이때 입력‑출력 방정식이 자동으로 최소 차수를 갖는다는 점을 실험적으로 검증한다. 마지막으로, 논문은 알고리즘적 함의를 제시한다. 기존 소프트웨어에 ‘Assumption (A)’ 검증 절차를 추가하거나, 본 논문의 정리를 기반으로 사전 검증 단계에서 모델이 Main Result 1·2·3 중 어느 경우에 해당하는지 판단하면, 입력‑출력 방정식 기반 식별 가능성 검증이 신뢰성을 크게 향상시킬 수 있다. 또한, 전이함수 행렬을 이용한 식별 분석이 강연결 구획 모델에 대해 완전함을 보였으므로, 다중 출력 시스템에서도 전이함수 행렬만을 활용하는 새로운 알고리즘 설계가 가능함을 시사한다. 결론에서는 본 연구가 선형 ODE 모델의 식별 가능성 이론을 체계화하고, 실무에서 널리 쓰이는 입력‑출력 방정식 방법의 적용 범위를 명확히 함으로써 모델링·시뮬레이션·파라미터 추정 전 과정에 실질적인 가이드라인을 제공한다는 점을 강조한다.