[논문 리뷰] Commutative monads as a theory of distributions

Anders Kock|arXiv (Cornell University)|2011. 08. 30.

Logic, programming, and type systems참고 문헌 16인용 수 36

한 줄 요약

이 논문은 카테고리 이론적 틀에서 분포를 다루기 위해 카르테시안 닫힘 범주 내에서 가환 모나드를 사용하는 새로운 대수적 프레임워크를 제안한다. 이는 질량이나 전하 분포와 같은 광범위한 양에 대한 범주론적 기초를 제공한다. 일반화된 통합과 미분의 보편 이론을 수립하고, 표준 통합 공리(axiom)를 통해 총합이 0인 분포에 대해 유일한 원시 함수가 존재함을 보이며, 합성 미분기하학의 가정 하에 분포 곱에 대한 라이프니츠 법칙을 유도한다.

ABSTRACT

The theory of commutative monads on cartesian closed categories provides a framework where aspects of the theory of distributions and other extensive quantities can be formulated and some results proved. We make explicit a link between our theory and the theory of Schwartz distributions of compact support. We also discuss probability distributions.

연구 동기 및 목표

• 기능 해석학의 이중 이중화에 의존하지 않는, 모나드 기반의 범주론적 분포 이론의 기초를 마련하기 위해.
• 질량이나 전하 분포와 같은 광범위한 양을 카르테시안 닫힘 범주 내에서 공변 함자(functor)로 형식화하기 위해.
• 이 모나드 기반 이론과 색스의 분포 이론 사이의 표준 비교를 제공하기 위해.
• 총합이 0인 컴팩트 지지 분포에 대해 보편적인 통합 공리를 수립하여, 유일한 원시 함수가 존재하도록 보장하기 위해.
• 합성 미분기하학의 가정 하에, 시험 함수에 대한 분포의 작용에 대해 라이프니츠 법칙을 도출하기 위해.

제안 방법

• 카르테시안 닫힘 범주 E에서 가환 모나드를 사용하여 분포를 T(X)로 모델링하며, T(X)는 X 위의 자유 T-대수임을 이용한다.
• 요소를 분포로 통합하기 위한 보편 구조로 단위 사상 η: X → T(X)를 사용하며, T-선형 확장을 위한 보편 성질을 만족한다.
• 각 분포에 스칼라 값을 할당하는 총합 기능 tot: T(R) → R 을 도입하여 통합의 일반화를 수행한다.
• 무한소 군 D(여기서 d²=0)의 작용을 통해 미분을 정의하며, P′을 P의 도함수로 α_d*의 푸시포워드를 사용하여 정의한다.
• 통합 공리를 적용: tot(Q)=0 인 모든 Q ∈ T(R)는 P′ = Q 를 만족하는 유일한 원시 함수 P 를 가진다.
• 분포가 함수에 작용하는 방식을 쌍대성 ⊢: T(R) × (R ⇀ R) → T(R) 로 정의하고, KL-모듈 내의 시험 함수를 통해 라이프니츠 법칙을 증명한다.

실험 결과

연구 질문

• RQ1 기능 해석학의 이중 이중화에 의존하지 않고, 컴팩트 지지 분포를 범주론적으로 공리화할 수 있는가?
• RQ2 가환 모나드의 맥락에서 단위 사상 η: X → T(X) 가 만족하는 보편 성질은 무엇인가?
• RQ3 총합이 0인 분포에 대해 보편적인 통합 이론을 정의할 수 있으며, 이로 인해 유일한 원시 함수가 보장되는가?
• RQ4 모나드 구조와 합성 미분기하학의 가정 하에 분포 곱에 대한 라이프니츠 법칙은 어떻게 도출되는가?
• RQ5 이 모나드 기반 이론과 고전적 색스 분포 이론 사이의 관계는 무엇인가?

주요 결과

• 통합 공리에 의해, tot(Q) = 0 인 모든 Q ∈ T(R) 는 P′ = Q 를 만족하는 유일한 원시 함수 P 를 가지며, 이 유일성은 P′ = 0 이면 P = 0 이라는 문장과 동치이다.
• 구간 분포 [a,b] 의 총합은 b−a 이며, 평가 함수성 E를 사용하여 E(δ_b − δ_a) = b−a 로 유도된다.
• 콘볼루션의 수열 [−a,a], [−a,a]*[−a,a], … 의 총합은 (2a)^n 이며, 2a=1 인 경우 이는 가우시안에 수렴하는 확률 분포의 수열을 이룬다. 그러나 현재 프레임워크에서는 컴팩트 지지가 없어 이를 만족하지 못한다.
• 라이프니츠 법칙이 증명됨: (P ⊢ φ)′ = P′ ⊢ φ − P ⊢ φ′, 이는 쌍대성의 이중加법성과 곱셈에 대한 라이프니츠 법칙을 이용한다.
• 라이프니츠 법칙의 증명은 충분한 B-값 시험 함수의 존재에 의존하며, 여기서 B 는 자유 T-대수(KL-모듈)이다. 또한 쌍대성과 미분 사이의 스위치 성질을 사용한다.
• 이 이론은 분포 미적분학을 위한 표준적이고 보편적인 프레임워크를 제공하며, 고전적 결과를 일반화하면서도 모나드 이론과 합성 미분기하학에 기반한다.