[논문 리뷰] Linearizing Combinators

Robin Cockett, Jean-Simon Pacaud Lemay|arXiv (Cornell University)|2020. 10. 29.

Polynomial and algebraic computation인용 수 4

한 줄 요약

이 논문은 카르테시안 미분 범주에 대한 대체 공리체로 선형화 조합자를 도입하며, 미분 조합자가 이러한 조합자 시스템으로 재구성될 수 있음을 보여준다. 카르테시안 닫힘 환경에서는 총선형화 조합자가 국소선형화 조합자를 유도함으로써 기존의 미분 조합자 접근 방식과 대칭적인 시각을 제공함을 입증한다.

ABSTRACT

In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Cartesian differential category is based on a differential combinator which directly formalizes the total derivative from multivariable calculus. However, in the aforementioned work the authors used techniques from Goodwillie's functor calculus to establish a linearization process from which they then derived a differential combinator. This raised the question of what the precise relationship between linearization and having a differential combinator might be. In this paper, we introduce the notion of a linearizing combinator which abstracts linearization in the Abelian functor calculus. We then use it to provide an alternative axiomatization of a Cartesian differential category. Every Cartesian differential category comes equipped with a canonical linearizing combinator obtained by differentiation at zero. Conversely, a differential combinator can be constructed à la BJORT when one has a system of partial linearizing combinators in each context. Thus, while linearizing combinators do provide an alternative axiomatization of Cartesian differential categories, an explicit notion of partial linearization is required. This is in contrast to the situation for differential combinators where partial differentiation is automatic in the presence of total differentiation. The ability to form a system of partial linearizing combinators from a total linearizing combinator, while not being possible in general, is possible when the setting is Cartesian closed.

연구 동기 및 목표

• 아벨 함수 계산법에서의 선형화와 카르테시안 미분 범주에서의 미분 조합자 간의 관계를 이해하는 데 격차가 존재하는 데 이를 보완하기 위해.
• BJORT의 구성(굿윌디의 함수 계산법에 기반)을 영감으로 삼아 선형화 조합자를 사용하여 카르테시안 미분 범주의 대체 공리체를 제공하기 위해.
• 선형화 조합자가 미분 조합자와 동치가 되는 기초적인 구조로 기능할 수 있는지 조사하기 위해.
• 특히 카르테시안 닫힘 범주에서 총선형화 조합자가 국소선형화 조합자 시스템으로 유도될 수 있는 조건을 탐구하기 위해.

제안 방법

• 아벨 함수 계산법에서의 선형 근사의 추상화로 선형화 조합자의 개념을 도입하기 위해.
• 모든 카르테시안 미분 범주에서 첫 번째 인자에 대해 0에서 미분 조합자를 평가함으로써 표준 선형화 조합자를 정의: $\mathsf{L}[f] = \mathsf{D}[f](0, -)$.
• BJORT 방법에 따라 각 맥락에서 국소선형화 조합자 시스템으로부터 미분 조합자를 구성하기 위해.
• 카르테시안 닫힘 범주에서 총미분 조합자, 선형화 조합자 시스템, 지수 가능 선형화 조합자 간의 이항 대응 관계를 확립하기 위해.
• 범주적 대칭성을 활용하여 카르테시안 미분 범주에서의 선형화 조합자와 텐서 미분 범주에서의 코디렐렉션 및 도함수 변환 간의 관계를 연결하기 위해.
• 선형화 조합자가 일반화된 구조(예: 일반화된 카르테시안 미분 범주 및 미분 제약 범주)에 대해 표준적인 미분 조합자 접근 방식과 동치가 되는 공리체를 제공함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 선형화 조합자가 카르테시안 미분 범주에서의 미분 조합자에 대한 기초적인 대체 구조로 기능할 수 있는가?
• RQ2 아벨 함수 계산법에서의 선형화와 카르테시안 미분 범주의 구조 간의 정확한 관계는 무엇인가?
• RQ3 총선형화 조합자가 국소선형화 조합자 시스템을 생성할 수 있는 조건은 무엇인가?
• RQ4 카르테시안 닫힘 구조의 존재가 총선형화 조합자로부터 국소선형화 조합자를 도출하는 데 어떤 영향을 미치는가?
• RQ5 선형화 조합자 프레임워크는 미분 제약 범주 또는 탄성 범주와 같은 일반화된 미분 범주로 확장될 수 있는가?

주요 결과

• 모든 카르테시안 미분 범주는 첫 번째 인자에 대해 0에서 미분 조합자를 평가함으로써 정의된 표준 선형화 조합자를 갖는다.
• 각 맥락에서 국소선형화 조합자 시스템으로부터 미분 조합자를 재구성할 수 있으며, 이는 BJORT의 구성과 정확히 일치한다.
• 카르테시안 닫힘 범주에서는 총선형화 조합자가 국소선형화 조합자 시스템을 유도함으로써 전체적인 미분 구조를 재구성할 수 있다.
• 카르테시안 닫힘 환경에서는 총미분 조합자, 선형화 조합자 시스템, 지수 가능 선형화 조합자 간에 이항 대응 관계가 존재한다.
• 선형화 조합자는 표준적인 미분 조합자 접근 방식과 동치가 되는 공리체를 제공하며, 고전적인 선형 근사와 미분 간의 연결 고리를 대수적 형태로 표현한다.
• 이 프레임워크는 일반화된 환경으로 자연스럽게 확장되며, 선형화가 비미분 가능성 분석을 포함한 더 넓은 범주적 미분 모델의 기초가 될 수 있음을 시사한다.