[논문 리뷰] Algebraic Problems in Structural Equation Modeling

Mathias Drton|arXiv (Cornell University)|2016. 12. 18.

Bayesian Modeling and Causal Inference참고 문헌 36인용 수 6

한 줄 요약

이 논문은 그래프 이론적 및 대수적 도구를 사용하여 선형 구조적 방정식 모델(SEM)을 분석하기 위한 대수적 프레임워크를 제시한다. 트레크 분리와 그래프 분해를 통해 공분산 구조, 매개변수 식별성, 암묵적 다항식 제약조건—특히 버마 유형 관계—사이의 연결 고리를 설정함으로써 가우시안 SEM에서의 대수적 제약조건을 체계적으로 특성화하는 데 기여한다.

ABSTRACT

The paper gives an overview of recent advances in structural equation modeling. A structural equation model is a multivariate statistical model that is determined by a mixed graph, also known as a path diagram. Our focus is on the covariance matrices of linear structural equation models. In the linear case, each covariance is a rational function of parameters that are associated to the edges and nodes of the graph. We statistically motivate algebraic problems concerning the rational map that parametrizes the covariance matrix. We review combinatorial tools such as the trek rule, projection to ancestral sets, and a graph decomposition due to Jin Tian. Building on these tools, we discuss advances in parameter identification, i.e., the study of (generic) injectivity of the parametrization, and explain recent results on determinantal relations among the covariances. The paper is based on lectures given at the 8th Mathematical Society of Japan Seasonal Institute.

연구 동기 및 목표

• 유리 함수와 다항식 제약조건을 포함하는 대수적 문제로 포지셔닝하여 선형 구조적 방정식 모델에서 발생하는 통계적 과제를 해결하는 것.
• 대수기하학과 그래프 이론적 도구를 활용하여, 특히 관측되지 않은 혼동요인 존재 하에서 모델 매개변수의 식별성에 대해 연구하는 것.
• 결정식 조건을 초월하여 공분산 간의 암묵적 대수적 관계, 예를 들어 버마 제약조건을 특성화하는 것.
• 그래프 분해와 조상 집합 투영을 통해 암묵적 대수적 제약조건을 체계적으로 발견하는 순환적 방법을 개발하는 것.
• 트레크 규칙, 그로버 기저, 조건부 인지 불가능성 등의 도구를 사용하여 가우시안 SEM의 공분산 구조에 대한 이해를 확장하는 것.

제안 방법

• 직접적인 인과적 영향을 위해 방향성 간선을, 관측되지 않은 혼동을 위해 이방향 간선을 사용하는 혼합 그래프(경로 다이어그램)를 사용하여 구조적 방정식를 표현한다.
• 공분산을 노드 쌍 간의 방향 경로(트레크)의 합으로 표현하기 위해 트레크 규칙을 적용함으로써 공분산 행렬의 대수적 매개변수화를 가능하게 한다.
• 조상 집합과 투영 사상에 의한 그래프 분해를 통해 복잡한 모델을 간단한 부분그래프로 축소하여 제약조건 분석을 용이하게 한다.
• 트레크 분리를 사용하여 공분산 행렬의 부분행렬의 행렬식이 0이 되는 조건을 특성화함으로써, 공분산 행렬 내 조건부 인지 불가능성에 대한 조합론적 기준을 제공한다.
• 그로버 기저 계산을 적용하여 공분산 행렬 내 암묵적 다항식 관계(예: 버마 제약조건)를 도출하며, 특히 트레크 분리가 이루어지지 않는 구성에서 유용하다.
• 관측되지 않은 혼동요인이 공분산 행렬 내 유리 함수를 유도한다는 사실을 활용하고, 분모를 제거함으로써 다항식 제약조건을 도출한다.

실험 결과

연구 질문

• RQ1 선형 SEM의 매개변수화가 일반적으로 단사적일 조건은 무엇인가, 즉 매개변수들이 공분산 행렬로부터 식별 가능한가?
• RQ2 조건부 인지 불가능성에 의해 암시되는 것 이외의 어떤 대수적 제약조건(다항식 관계)이 공분산 행렬이 가져야 할가?
• RQ3 그래프 분해와 조상 집합 투영은 어떻게 체계적으로 SEM에서 새로운 대수적 제약조건을 도출하는 데 사용될 수 있는가?
• RQ4 트레크 분리는 공분산 행렬의 부분행렬의 행렬식이 0이 되는 조건을 특성화하는 데 어떤 역할을 하는가?
• RQ5 버마 유형 제약조건은 혼합 그래프의 구조에서 어떻게 유래되며, 공분산 매개변수화에서 그 대수적 기원은 무엇인가?

주요 결과

• 선형 SEM의 공분산 행렬은 간선 및 노드 매개변수의 유리 함수이며, 그 구조는 혼합 그래프의 위상에 의해 완전히 결정된다.
• 버마 제약조건, 예를 들어 다항식 $ f_{\text{Verma}} = \tau_{\text{sub}}(\text{공분산}) $는 분해 후 부분그래프에서 트레크가 존재하지 않을 때 유래되며, 이들의 영점은 유리 매개변수화에서 분모를 제거함으로써 설명된다.
• 트레크 분리는 공분산 행렬의 부분행렬의 행렬식이 0이 되는 조건을 특성화하는 조합론적 기준을 제공하며, 가우시안 모델의 d-분리법을 일반화한다.
• 암묵적 다항식 제약조건의 아이디얼 $ \fancyscript{I}(G) $ 는 그로버 기저를 통해 계산 가능하며, 일부 경우에선 d-분리 관계와 버마 유형 다항식에 의해 생성된다.
• 그래프가 다른 그래프와 트레크 분리 동치가 아니더라도, 순환적 분해와 조상 투영을 통해 숨겨진 대수적 제약조건을 드러낼 수 있으며, 이는 추가된 수신 노드를 가진 버마 그래프에서 확인되었다.
• 논문은 대수적 제약조건, 예를 들어 버마 관계는 표준 조건부 인지 불가능성 분석으로는 탐지할 수 없으며, 오히려 유리 매개변수화와 제거 기법 등의 깊은 대수적 분석이 필요하다는 것을 보여준다.