[논문 리뷰] Comb Diagrams for Discrete-Time Feedback

Mario Román|arXiv (Cornell University)|2020. 03. 13.

Logic, programming, and type systems인용 수 7

한 줄 요약

이 논문은 대칭 모나드 카테고리에서 코엔드를 사용하여 구멍이 있는 회로를 모델링하는 무한 복도 다이어그램의 형식화를 제안한다. 이는 피드백, 지연, 이산 동역학계를 통합적으로 다룰 수 있게 하며, 피드백과 지연 함자를 지원하는 ∞-복도 카테고리의 구축을 통해 양자 복도, 렌즈, 학습자들을 하나의 범용 카테고리적 프레임워크로 일반화한다. 응용 분야로는 동역학계와 신경망이 포함된다.

ABSTRACT

The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We give a possible formalization of what these circuits with incomplete parts represent in terms of symmetric monoidal categories, using the dinaturality equivalence relations arising from a coend. Our main idea is to extend this formal description to allow for infinite circuits with holes indexed by the natural numbers. We show how infinite combs over an arbitrary symmetric monoidal category form again a symmetric monoidal category where notions of delay and feedback can be considered. The constructions presented here are still preliminary work.

연구 동기 및 목표

• 구멍이 있는 복도 다이어그램—즉, 회로—을 코엔드 기반의 몫화를 통해 대칭 모나드 카테고리 내의 사상으로 형식화하는 것.
• 자연수로 색인된 무한 수열으로의 유한 복도 구성의 확장으로, 그림적 계산의 등가성을 유지하는 것.
• 지연과 피드백 연산을 지원하는 ∞-복도 다이어그램의 대칭 모나드 카테고리 정의하기.
• 양자 복도, 렌즈, 학습자와 같은 서로 다른 구조들이 동일한 카테고리적 프레임워크 아래 통합되는 방식을 제시하는 것.

제안 방법

• 요다 보조정리에서 유도된 다이나터발리티 관계를 몫화하여, 구멍이 있는 다이어그램의 동치류를 코엔드를 통해 공식화한다.
• n-복도와 ∞-복도를 중간 메모리 객체를 가진 사상의 수열에 대한 코엔드 구성으로 정의한다.
• 임의의 대칭 모나드 카테고리 위에 ∞-복도 카테고리를 구성하며, 조합은 코엔드 몫화를 통해 정의된다.
• 지연 함수와 피드백 연산자를 도입하여, 무한 경우에서의 트레이스 유사 연산을 일반화한다.
• 피보나치 수열과 확률적 동역학계 등의 예시에 이 프레임워크를 적용한다.
• 기존 모델인 신호 흐름 다이어그램, 개방 게임, 학습자용 Circ 구성과의 비교를 수행한다.

실험 결과

연구 질문

• RQ1 어떻게 대칭 모나드 카테고리에서 코엔드 계산을 사용하여 구멍이 있는 무한 복도 다이어그램을 공식적으로 정의할 수 있는가?
• RQ2 임의의 대칭 모나드 카테고리 위에 무한 복도를 구성할 때 어떤 카테고리적 구조가 도출되는가?
• RQ3 무한 복도 설정에서 지연과 피드백 연산은 유한 복도 또는 트레이스와 비교해 어떻게 일반화되는가?
• RQ4 ∞-복도 구성은 양자 복도, 렌즈, 학습자를 어떻게 통합하는가?
• RQ5 무한 복도는 신호 흐름 다이어그램에 대한 의미론을 제공하거나 순환 신경망을 모델링하는 데 사용될 수 있는가?

주요 결과

• 임의의 대칭 모나드 카테고리 위의 ∞-복도 다이어그램 카테고리는 자체적으로 대칭 모나드 카테고리이며, 조합, 지연, 피드백을 지원한다.
• 이 구성은 유한 복도를 일반화하며, 이산 시간 피드백 시스템을 위한 카테고리적 프레임워크를 제공한다.
• 피보나치 수열은 ∞-복도 카테고리 내의 사상으로 표현되며, 피드백이 재귀 관계를 인코딩한다.
• 유한 분포 모나드를 통해 이 프레임워크는 확률적 동역학계를 자연스럽게 수용한다.
• ∞-복도 구성은 신호 흐름 다이어그램과 유사한 구조적 특성을 가지며, 이는 그들의 카테고리적 의미론을 제공할 수 있다.
• 이 접근법은 개방 게임과 2-복도 구조 간의 잠재적 연결을 시사하며, 특히 이중 단계의 유틸리티 과정을 모델링하는 데 유용하다.