[논문 리뷰] Monadic Dynamics

Stefano Gogioso|arXiv (Cornell University)|2015. 01. 19.

Quantum Mechanics and Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 물리 이론의 역학을 초기 조건 문제로 형식화하는 단항 프레임워크를 제안하며, 구성적 역학이 자연스럽게 정준적인 시간 개념을 정의함을 보여준다. Cauchy 표면을 단어권 카테고리 내의 자명사상으로 특성화하고, 경로 공간 방법과의 동치성을 증명함으로써 시간과 변화가 상호의존함을 입증함으로써 아리스토텔레스의 시각을 뒷받.Foundation한다.

ABSTRACT

We develop a monadic framework formalising an operational notion of dynamics, seen as the setting and evolution of initial value problems, in general physical theories. We identify in the Eilenberg-Moore category the natural environment for dynamical systems and characterise Cauchy surfaces abstractly as automorphisms in the Kleisli category. Our main results formally vindicates the Aristotelian view that time and change are defined by one another. We show that dynamics which respect the compositional structure of physical systems always define a canonical notion of time, and give the conditions under which they can be faithfully seen as actions of time on physical systems. Finally, we construct state spaces and path spaces, and show that our framework to be equivalent to the path space approaches to dynamics. The monadic standpoint is thus as strong as the established paradigms, but the shift from histories to dynamics helps shed new light on the nature of time in physics. In the appendix we present some additional structures of wide applicability, introduce prop- agators and draft applications to quantum theory, classical mechanics and network theory.

연구 동기 및 목표

• 물리 이론에서 초기 조건 문제의 설정과 진화로써 운영적 역학의 형식화.
• 역동계의 자연스러운 범주론적 환경으로서 Eilenberg-Moore 카테고리의 식별.
• 단어권 카테고리 내의 자명사상으로서 Cauchy 표면의 추상적 특성화.
• 구성적 역학이 정준적인 시간 개념을 도출함을 입증하여 아리스토텔레스의 시간과 변화의 상호의존성을 지지함.
• 상태 공간과 경로 공간의 구축 및 단항 프레임워크와 기존 경로 공간 접근법 간의 동치성 입증.

제안 방법

• 물리 시스템의 역학을 모델링하기 위해 단어권을 활용하며, Eilenberg-Moore 카테고리가 역동계의 범주론적 환경을 제공함.
• 초기 데이터의 진화를 코딩하는 사상으로 표현하기 위해 Kleisli 카테고리 활용하며, Cauchy 표면을 이 카테고리 내의 자명사상으로 식별함.
• 범주론적 구성으로 상태 공간과 경로 공간 정의하여 기존 물리적 형식화와의 호환성 확보.
• 범주론적 동형사상으로 단항 프레임워크와 경로 공간 접근법 간의 동치성 확립.
• 유도된 구조물인 전파자 등을 통해 고전역학, 양자이론, 네트워크 이론에 이 프레임워크 적용.
• 추상적 범주론 도구를 사용해 물리 시스템 간의 구성적 구조 유지 보장하여 정준적인 시간 정의 가능.

실험 결과

연구 질문

• RQ1 범주론을 사용해 물리 이론의 역학을 초깃값 문제로 공식화할 수 있는가?
• RQ2 물리 시스템의 구성적 구조가 어떤 의미에서 정준적인 시간 개념을 유도하는가?
• RQ3 Cauchy 표면을 범주론적 프레임워크 내에서 어떻게 추상적으로 특성화할 수 있는가?
• RQ4 역학이 물리 시스템에 시간의 작용으로 충실하게 해석될 수 있는 조건은 무엇인가?
• RQ5 단항 프레임워크가 기존의 경로 공간 형식의 역학과 어느 정도 동치인가?

주요 결과

• 물리 시스템의 구성적 구조를 존중하는 역학은 항상 정준적인 시간 개념을 정의하며, 아리스토텔레스의 시간과 변화의 상호의존성을 형식화함.
• Cauchy 표면은 단어권의 Kleisli 카테고리 내 자명사상으로 공식화되어 추상적이고 범주론적인 정의를 제공함.
• 단항 프레임워크는 표준 경로 공간 형식과 범주론적으로 동치인 상태 공간과 경로 공간을 구성함.
• 이 프레임워크는 기존의 주요 이론들과 동등한 강도를 지님으로써, 역학에서의 시간 본질을 역사에서 역학으로의 전환을 통해 새로운 통찰을 제공함.
• 추가 구조물인 전파자 등은 부록에 도입되었으며, 양자이론, 고전역학, 네트워크 이론에 대한 초안 적용 존재.
• 단항 접근법과 경로 공간 접근법 간의 동치성이 공식적으로 입증되어, 이 프레임워크가 기존 물리 형식론과 일관됨을 검증함.