[논문 리뷰] The steady states of coupled dynamical systems compose according to matrix arithmetic

David I. Spivak|arXiv (Cornell University)|2015. 12. 02.

Chaos control and synchronization참고 문헌 9인용 수 13

한 줄 요약

이 논문은 행렬 산술—특히 행렬 곱셈, 크로네cker 곱, 부분 추적을 따르는 행렬로 표현함으로써 결합된 동역학계의 평형 상태를 분석하기 위한 조합적 프레임워크를 제안한다. 주요 기여는 개방된 동역학계에서 평형 상태 행렬로의 함자적 사상으로, 이는 조합성을 유지하며 대규모 상호연결된 시스템을 분석할 때 계산 복잡도를 지수적으로 감소시킨다.

ABSTRACT

Open dynamical systems are mathematical models of machines that take input, change their internal state, and produce output. For example, one may model anything from neurons to robots in this way. Several open dynamical systems can be arranged in series, in parallel, and with feedback to form a new dynamical system---this is called compositionality---and the process can be repeated in a fractal-like manner to form more complex systems of systems. One issue is that as larger systems are created, their state space grows exponentially. In this paper a technique for calculating the steady states of an interconnected system of systems, in terms of the steady states of its component dynamical systems, is provided. These are organized into "steady state matrices" which generalize bifurcation diagrams. It is shown that the compositionality structure of dynamical systems fits with the familiar monoidal structure for the steady state matrices, where serial, parallel, and feedback composition of matrices correspond to multiplication, Kronecker product, and partial trace operations. The steady state matrices of dynamical systems respect this compositionality structure, exponentially reducing the complexity involved in studying the steady states of composite dynamical systems.

연구 동기 및 목표

• 전체 상태 공간을 명시적으로 구성하지 않고도 상호연결된 동역학계의 평형 상태를 체계적으로 계산하는 방법을 개발하기 위해.
• 분기 다이어그램을 모든 입력-출력 조합에 대한 평형 상태를 인코딩하는 행렬 표현으로 일반화하기 위해.
• 직렬, 병렬, 피드백 조합을 고려한 개방된 동역학계에서 행렬로의 조합적 사상 체계를 수립하기 위해.
• 모든 상태를 브루트 포스로 나열하는 대신 행렬 연산을 활용함으로써 대규모 복합 시스템 분석의 계산 복잡도를 감소시키기 위해.

제안 방법

• 각 하위계의 평형 상태를 입력-출력 구성에 대한 고정점 목록을 포함하는 행렬로 표현하기.
• 행렬 곱셈을 사용하여 시스템의 직렬 조합을 모델링하고, 행렬 요소가 복합 상태 전이를 추적하도록 하기.
• 독립된 하위계의 병렬 조합을 모델링하기 위해 크로네커 곱을 적용하기.
• 상호연결된 시스템에서 피드백과 신호 재활용을 모델링하기 위해 부분 추적 연산을 활용하기.
• 와이어링 다이어그램의 범주에서 행렬의 범주로의 조합적 사상을 함자로 형식화하기.
• 시스템을 먼저 조합하고 나서 행렬로 매핑하는 것과, 먼저 매핑하고 나서 행렬 연산으로 조합하는 것이 동일한 결과를 낳음을 보여주는 정리들을 통해 함자성의 타당성을 검증하기.

실험 결과

연구 질문

• RQ1 하위계의 평형 상태로부터 대칭적 행렬 연산을 사용해 복합 동역학계의 평형 상태를 효율적으로 계산할 수 있는가?
• RQ2 직렬, 병렬, 피드백 조합의 동역학계는 표준 행렬 연산과 어떻게 대응되는가?
• RQ3 분기 다이어그램을 조합성을 유지하는 행렬 체계로 일반화할 수 있는가?
• RQ4 와이어링 다이어그램의 모나이드 구조를 존중하는 개방된 동역학계에서 행렬로의 조합적 사상이 존재하는가?
• RQ5 이 행렬 기반 접근법이 대규모 동역학계 분석의 계산 복잡도를 어느 정도 감소시키는가?

주요 결과

• 직렬 조합의 복합 시스템 평형 상태 행렬은 구성 요소의 행렬을 곱하여 얻어지며, 그 결과는 전체 시스템의 실제 평형 상태와 일치한다.
• 병렬 조합의 시스템은 각각의 평형 상태 행렬 간의 크로네커 곱에 해당한다.
• 피드백 조합은 복합 시스템의 평형 상태 행렬에 대한 부분 추적 연산으로 기록된다.
• 동역학계에서 평형 상태 행렬로의 사상은 함자적이며, 이는 시스템 간 연결에서 조합성이 유지됨을 보장한다.
• 이 방법은 복잡도를 지수적으로 감소시킨다: 모든 가능한 복합 상태를 나열하는 대신, 행렬 산술을 통해 계산이 가능하며, 여섯 개의 직렬로 연결된 시스템을 포함한 예시에서 이를 입증하였다.
• 복합 시스템 z의 최종 평형 상태 행렬은 $\mathcal{S}\textnormal{tst}(w) \mathcal{S}\textnormal{tst}(x)^6 \mathcal{S}\textnormal{tst}(y)$의 부분 추적으로 계산되며, 각 입력-출력 조합에 대한 고정점 집합을 명시적으로 도출한다.