[논문 리뷰] From Ordinary Differential Equations to Structural Causal Models: the deterministic case

Joris M. Mooij, Dominik Janzing외 1명|arXiv (Cornell University)|2013. 04. 30.

Bayesian Modeling and Causal Inference참고 문헌 15인용 수 37

한 줄 요약

이 논문은 피드백 루프가 존재하는 상황에서도 평형 상태가 구조적 인과 모델(SCM)으로 표현될 수 있음을 보여줌으로써, 결정론적 상미분방정식(ODE)과 구조적 인과 모델(SCM) 간의 형식적 연결을 수립한다. 주요 기여는 연속시간 역학에서 SCM을 원리적으로 유도함으로써, 평형 상태에서 인과적 의미론—특히 간섭—이 잘 정의되어 있음을 입증한 것이다. 이는 순환적이고 비순환적인 인과 모델링을 하나의 프레임워크로 통합한다.

ABSTRACT

We show how, and under which conditions, the equilibrium states of a first-order Ordinary Differential Equation (ODE) system can be described with a deterministic Structural Causal Model (SCM). Our exposition sheds more light on the concept of causality as expressed within the framework of Structural Causal Models, especially for cyclic models.

연구 동기 및 목표

• 연속시간 동역학계(ODE)와 결정론적 경우의 구조적 인과 모델(SCM) 간의 형식적 연결을 수립하기 위해.
• 피드백 루프를 포함한 원천적인 인과 그래프를 가진 시스템에서도 ODE 시스템의 평형 상태가 SCM으로 표현될 수 있음을 보여주기 위해.
• 이산시간 고정점 반복이 아닌 연속시간 역학에 기반하여 순환 모델의 구조적 방정식의 인과적 의미론을 명확히 하기 위해.
• 다양한 ODE 역학이 동일한 SCM을 유도할 수 있음을 보여주며, 이는 SCM이 역학적 세부 정보를 포함하지 않고 평형 수준의 인과성만 기록한다는 것을 강조하기 위해.
• SCM 이론을 피드백과 순환적 의존성을 포함하는 원리적인 연속시간 프레임워크로 확장하기 위한 기반을 마련하기 위해.

제안 방법

• 저자들은 초기 조건을 가진 일阶 ODE 시스템을 사용하여 시스템을 모델링하며, 각 변수의 변화율이 부모 변수들에 의해 매끄러운 함수를 통해 결정됨을 가정한다.
• 평형 상태를 정의하기 위해 모든 시간 도함수를 0으로 놓는다. 즉, $ \dot{X}_i = 0 $ 이며, 이는 대수방정식 시스템으로 이어진다.
• 이 평형 방정식은 구조적 인과 모델(SCM)에서의 구조적 방정식으로 재해석되며, 각 변수는 평형 상태에서의 직접 원인들에 대한 함수가 된다.
• SCM의 인과 그래프는 ODE의 의존성 구조에서 유도되며, 방향성 간선은 평형 방정식 내 기능적 의존성을 나타낸다.
• 변수들을 새로운 값으로 고정하고 새로운 평형을 구하는 방식으로 do-계산법을 통해 완벽한 간섭을 허용하며, 이는 인과적 의미론을 유지한다.
• 로트카-볼테라 포식자-피식자 모델과 감쇠된 조화 진동자 체인의 예시를 통해 이 방법이 ODE 역학에서 일관된 SCM 유도를 가능하게 함을 보여준다.

실험 결과

연구 질문

• RQ1 피드백 루프가 존재하는 경우에도 결정론적 ODE 시스템의 평형 상태를 구조적 인과 모델(SCM)으로 표현할 수 있는가?
• RQ2 ODE 시스템의 연속시간 역학이 어떻게 SCM 내 잘 정의된 구조적 방정식을 유도하는가? 이러한 방정식의 해석은 무엇인가?
• RQ3 SCM에서의 간섭의 인과적 의미론과 ODE 시스템의 평형 상태에서의 행동 간의 관계는 무엇인가?
• RQ4 왜 ODE 시스템의 평형 표현이 특정 역학적 세부 정보(예: 감쇠, 수렴 속도)에 대해 불변이며, 이러한 추상화 과정에서 어떤 정보가 손실되는가?
• RQ5 동일한 SCM이 서로 다른 ODE 시스템으로부터 도출될 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?

주요 결과

• 결정론적 ODE 시스템의 평형 상태는 유일하게 구조적 인과 모델(SCM)으로 기술될 수 있으며, 각 변수는 평형 상태에서의 직접 원인들에 대한 함수로 표현된다.
• SCM의 인과 그래프는 ODE의 의존성 구조에서 유도되며, 간선은 평형 방정식 내 기능적 의존성을 나타낸다.
• SCM에서의 간섭은 변수들을 새로운 값으로 고정하고 새로운 평형을 구하는 방식으로 수행되며, do-계산법의 인과적 의미론이 유지된다.
• 다른 동역학을 가진 서로 다른 ODE 시스템에서도 동일한 SCM이 도출될 수 있으며, 이는 SCM이 수렴 속도나 안정성 같은 동역학적 세부 정보를 추상화함을 보여준다.
• 연속시간 ODE 역학에 기반함으로써, 순환적인 구조적 방정식은 잘 정의되고 해석 가능해지며, 순환적 인과성에 대한 우려를 해결한다.
• 물리적 또는 생물학적 모델이 ODE로 기술되는 경우, 특히 시계열 데이터가 부족하거나 평형화가 빠른 경우, 이 프레임워크는 ODE에서 SCM을 원리적으로 도출할 수 있는 방법을 제공한다.