[논문 리뷰] Trees and Fa\`a di Bruno's formula

Samuel G. G. Johnston, Joscha Prochno|arXiv (Cornell University)|2019. 11. 18.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 1

한 줄 요약

이 논문은 유클리드 공간 내 중첩된 미분 가능 함수의 고차 도함수를 표현하기 위해 표호된 트리 구조를 사용하여 Faﮛ di Bruno의 공식의 다변량 일반화를 제시한다. 도함수 항을 트리 구조로 인코딩함으로써, 이는 이전의 다변량 버전을 통합하고 확장하는 통합적인 조합론적 프레임워크를 제공하며, 다차원에서의 복잡한 체인 규칙에 대한 체계적이고 명시적인 계산 방법을 제공한다.

ABSTRACT

Fa\`a di Bruno's formula gives an expression for the higher order derivatives of the composition of two real-valued functions. Various higher dimensional generalisations have since appeared in the literature. In this paper we prove a multivariate and synthesized version of Fa\`a di Bruno's formula, giving an expression in terms of a labelled tree for the higher order derivatives of an arbitrary chain of smooth functions defined on Euclidean space of arbitrary dimension.

연구 동기 및 목표

• 임의의 유클리드 차원에서 Faﮛ di Bruno의 공식을 다변량 설정으로 일반화하기.
• 다중 차원에서의 고차 도함수 계산의 복잡성을 통합적인 조합론적 프레임워크를 통해 해결하기.
• 모든 도함수 항을 표호된 트리로 표현하는 통합된 표현을 개발하여 명확성과 계산 효율성을 향상시키기.

제안 방법

• 모든 노드가 부분 도함수 항에 대응하는 표호된 루트 트리로 복합 함수의 고차 도함수를 표현하기.
• 변수 색인과 도함수 차수를 나타내는 레이블을 포함한 트리 구조를 사용하여 다변량 체인 규칙을 인코딩하기.
• 트리 분해 기반의 재귀적 도함수 분해를 적용하여 단변량 Faﮛ di Bruno 공식을 일반화하기.
• 트리 기반의 합산을 사용하여 부드러운 함수의 복합체의 n차 도함수에 대한 폐쇄형 표현을 유도하기.
• 다변량 테일러 전개의 단항식과 트리 구조 간의 대응을 확립하여 완전성 보장하기.
• 루트 트리 수세기 조합 도구를 통합하여 모든 도함수 기여를 시스템적으로 열거하기.

실험 결과

연구 질문

• RQ1 Faﮛ di Bruno의 공식은 어떻게 체계적이고 명시적인 방식으로 고차원의 미분 가능 함수로 일반화될 수 있는가?
• RQ2 다변량 고차 도함수의 복잡성을 가장 잘 포괄하는 조합론적 구조는 무엇인가?
• RQ3 기존의 다변량 일반화를 통합하고 명확한 계산 프레임워크를 제공하는 통합 공식을 유도할 수 있는가?
• RQ4 어떻게 트리 구조가 임의의 차수와 차원에서 다변량 체인 규칙의 항을 자연스럽게 인코딩하는가?

주요 결과

• 논문은 표호된 트리를 구조적 기반으로 사용하여 임의의 차원에서 Faﮛ di Bruno의 공식을 성공적으로 일반화한다.
• 고차 도함수 전개의 각 항은 표호된 루트 트리와 이분기적으로 대응하여 완전성 보장과 중복 계산 방지를 보장한다.
• 유도된 공식은 이전의 다변량 일반화를 하나의 일관된 표현으로 통합하여 임의의 미분 가능 함수 체인에 적용 가능한 공식을 제공한다.
• 트리 기반의 공식화는 효율적인 알고리즘 구현을 가능하게 하며, 다변량 도함수의 조합론적 성격에 대한 통찰을 제공한다.
• 이 방법은 혼합 편도함수와 차수를 명시적으로 다루며, 기호적 및 수치적 계산에 대해 투명하고 확장 가능한 접근법을 제공한다.