[논문 리뷰] Data-driven representations of conical, convex, and affine behaviors

Alberto Padoan, Florian Dörfler외 1명|arXiv (Cornell University)|2023. 01. 01.

Gene Regulatory Network Analysis인용 수 1

한 줄 요약

이 논문은 행동시스템 이론을 사용하여 이산시간 시스템에서 원추형, 볼록형, 애프린형 행동에 대한 데이터 기반 표현을 제안한다. 닫힘, 시프트-불변성, 원추형, 볼록형, 애프린형 모델이 교차 성질을 가지며, 이는 무한 수평 데이터로부터 가장 강력한 반증되지 않은 모델을 구성할 수 있음을 보여준다. 주요 기여는 힐베르트 행렬을 통한 유한 수평 모델 표현을 위한 필요 및 충분 조건으로, 비음수 질량 조건을 통해 비선형, 비부분공간 행동으로 위레임의 기본 렘마를 일반화한 것이다.

ABSTRACT

The paper studies conical, convex, and affine models in the framework of behavioral systems theory. We investigate basic properties of such behaviors and address the problem of constructing models from measured data. We prove that closed, shift-invariant, conical, convex, and affine models have the intersection property, thereby enabling the definition of most powerful unfalsified models based on infinite-horizon measurements. We then provide necessary and sufficient conditions for representing conical, convex, and affine finite-horizon behaviors using raw data matrices, expressing persistence of excitation requirements in terms of non-negative rank conditions. The applicability of our results is demonstrated by a numerical example arising in population ecology.

연구 동기 및 목표

• 선형 시간 불변(LTI) 시스템을 초월하여 원추형, 볼록형, 애프린형 행동으로 행동시스템 이론을 확장하기 위해.
• 기저 시스템 행동이 부분공간이 아닌 원추, 볼록집합, 또는 애프린집합인 경우 측정된 데이터로부터 모델을 구성하는 데 도전하는 문제를 다루기 위해.
• 이러한 행동의 데이터 기반 모델이 유일하고 강건하게 식별될 수 있는 조건을 설정하기 위해.
• 비선형, 비부분공간 행동으로 위레임의 기본 렘마를 비음수 질량 조건을 통해 일반화하기 위해.
• 원추형 및 볼록형 구조가 제한적 또는 희박한 데이터로부터 모델을 구성하는 데 실용적으로 유용함을 입증하기 위해, 인구 생태학 사례 연구를 통해 이를 보여주기 위해.

제안 방법

• 비음수 스케일링, 볼록 조합, 애프린 조합에 대해 닫혀 있는 신호 궤적의 부분집합으로서 원추형, 볼록형, 애프린형 행동을 정의하기 위해.
• 닫힘, 시프트-불변성, 원추형, 볼록형, 애프린형 행동이 교차 성질를 만족함을 증명하여, 무한 수평 데이터로부터 가장 강력한 반증되지 않은 모델(MPUM)을 정의할 수 있음을 보장하기 위해.
• 측정된 데이터로부터 생성된 힐베르트 행렬을 사용하여 유한 수평 모델을 구성하고, 행동을 힐베르트 행렬의 열공간의 볼록원추로 표현하기 위해.
• 힐베르트 행렬의 비음수 질량 조건을 통한 모델 표현의 필요 및 충분 조건을 유도하여, LTI 시스템에서의 지속적인 자극 요구 조건을 일반화하기 위해.
• 하르의 보조정리와 폴라 원추 쌍대성(duality)을 활용하여 데이터 행렬의 질량과 기저 시스템의 구조적 성질을 연결하기 위해.
• 인구 생태학에서의 양의 선형 상태공간 시스템에 프레임워크를 적용하여, 원추형 구조가 데이터 기반 모델링을 어떻게 단순화하는지 보여주기 위해.

실험 결과

연구 질문

• RQ1 행동시스템 이론을 사용하여 측정된 데이터로부터 원추형, 볼록형, 애프린형 행동을 체계적으로 모델링할 수 있는가?
• RQ2 유한 수평 데이터 세트가 원추형, 볼록형 또는 애프린형 행동을 어떻게 고유하게 식별할 수 있는가?
• RQ3 지속적인 자극 조건은 LTI 시스템을 초월하여 비부분공간 행동으로 어떻게 일반화될 수 있는가?
• RQ4 힐베르트 행렬의 비음수 질량은 원추형 및 볼록형 모델 표현을 위한 데이터 정보성 보장에 어떤 역할을 하는가?
• RQ5 원추성 또는 볼록성에 대한 사전 지식은 실질적으로 데이터 기반 모델 구성에 어떻게 기여하는가?

주요 결과

• 닫힘, 시프트-불변성, 원추형, 볼록형, 애프린형 행동는 교차 성질를 가지며, 이는 무한 수평 데이터로부터 고유한 가장 강력한 반증되지 않은 모델을 정의할 수 있음을 보여준다.
• 유한 수평 행동의 경우, 힐베르트 행렬의 비음수 질량이 시스템 차수에 입력 수를 더한 값과 일치할 때에만, 데이터로부터 생성된 힐베르트 행렬의 볼록원추로 모델을 표현할 수 있다.
• 원추형 및 볼록형 모델의 지속적인 자극 조건은 데이터 행렬의 비음수 질량 조건으로 표현되며, 이는 위레임의 기본 렘마를 일반화한 것이다.
• 비음수 질량 조건을 만족할 때, 입력-상태 데이터 행렬에 최대 질량을 가진 단항식 부분행렬이 존재하는 것은 모델 복원 가능성의 필요 및 충분 조건이다.
• 이론적 프레임워크는 양의 선형 시스템의 강건한 데이터 기반 모델링을 가능하게 하며, 인구 생태학 사례 연구에서 원추형 구조가 모델 식별성에 상당한 기여를 한다는 것이 입증되었다.
• 제안된 방법은 원추형 및 볼록집합의 전역적 구조를 활용하여 희박하거나 제한된 데이터로부터 모델을 구성할 수 있게 하여, 광범위한 자극 신호의 필요성을 줄인다.