[논문 리뷰] Symbolic Calculus in Mathematical Statistics: A Review

Elvira Di Nardo|arXiv (Cornell University)|2015. 12. 28.

Stochastic processes and statistical mechanics참고 문헌 43인용 수 7

한 줄 요약

이 논문은 Rota와 Taylor에 의해 도입된 고전적 우mbra 계산의 기반을 다지는 기호적 미적분 프레임워크를 검토한다. 이는 수리통계학에서 대수적 통합과 알고리즘 기반 계산을 가능하게 한다. 기호적 우mbra를 통해 모멘트, 첨도, 확률적 과정을 표현함으로써, 확률론, 통계적 추론, 특수함수 간의 깊은 구조적 연결을 드러내며, 벨 다항식과 셰퍼 수열에 기반한 알고리즘 절차를 통해 모멘트, 첨도, 다변량 다항식의 효율적 기호 계산을 가능하게 한다.

ABSTRACT

In the last ten years, the employment of symbolic methods has substantially extended both the theory and the applications of statistics and probability. This survey reviews the development of a symbolic technique arising from classical umbral calculus, as introduced by Rota and Taylor in $1994.$ The usefulness of this symbolic technique is twofold. The first is to show how new algebraic identities drive in discovering insights among topics apparently very far from each other and related to probability and statistics. One of the main tools is a formal generalization of the convolution of identical probability distributions, which allows us to employ compound Poisson random variables in various topics that are only somewhat interrelated. Having got a different and deeper viewpoint, the second goal is to show how to set up algorithmic processes performing efficiently algebraic calculations. In particular, the challenge of finding these symbolic procedures should lead to a new method, and it poses new problems involving both computational and conceptual issues. Evidence of efficiency in applying this symbolic method will be shown within statistical inference, parameter estimation, Lévy processes, and, more generally, problems involving multivariate functions. The symbolic representation of Sheffer polynomial sequences allows us to carry out a unifying theory of classical, Boolean and free cumulants. Recent connections within random matrices have extended the applications of the symbolic method.

연구 동기 및 목표

• 기호 대수적 프레임워크를 통해 고전적, 불리안, 자유 첨도와 같은 서로 다른 확률 및 통계 분야를 통합한다.
• k-통계, 다항카이, 첨도 등의 통계적 양의 효율적 기호 계산을 위한 알고리즘 절차를 개발한다.
• 기호 방법을 다변량 설정으로 확장하여 다변량 레비 과정과 헤르미트/베르누이 다항식을 포함한다.
• 모멘트 및 첨도 변환에 대한 벤치마크를 통해 방법의 계산 효율성을 입증한다.
• 복합 포아송 및 레비 과정과 관련된 시간-공간 조화 다항식에 대한 체계적인 대수적 기반을 제공한다.

제안 방법

• 기호 방법은 기댓값 유사 연산자 ℰ를 통해 단위 수열을 기호 변수 α의 거듭제곱으로 매핑함으로써 모멘트 수열을 표현하는 우mbra를 사용한다.
• 셰퍼 다항식 수열은 고전적, 불리안, 자유 첨도를 동일한 기호적 표현을 통해 통합한다.
• 보조 우mbra를 사용하여 복합 포아송 과정을 모델링함으로써, 감마, 파스칼, 브라운 운동과 같은 과정에 대한 시간-공간 조화 다항식의 기호적 유도가 가능해진다.
• 일반화된 벨 다항식과 라그랑주 역행렬 공식을 적용하여 모멘트에서 첨도로, 첨도에서 모멘트로의 폐쇄형 표현을 도출한다.
• 다변량 파아 디 브루노 공식이 기호적으로 확장되어, 레비 과정과 헤르미트/베르누이 가족에 대한 다변량 첨도 및 다항식을 계산하는 데 사용된다.
• 기호 계산을 이용한 알고리즘 절차가 구현되었으며, 성능은 부록의 타이밍 표를 통해 평가되었다.

실험 결과

연구 질문

• RQ1 기호적 우mb라 계산은 어떻게 고전적, 불리안, 자유 첨도를 하나의 대수적 프레임워크 안에서 통합할 수 있는가?
• RQ2 기호 방법은 모멘트 및 첨도와 같은 계산에서 효율성과 정확성을 어떻게 향상시키는가?
• RQ3 기호적 우mbra를 사용하여 다양한 레비 과정에 대해 시간-공간 조화 다항식을 어떻게 체계적으로 도출할 수 있는가?
• RQ4 셰퍼 수열과 일반화된 벨 다항식은 다변량 통계 함수의 알고리즘 기반 계산을 어떻게 가능하게 하는가?
• RQ5 기호 계산은 특히 매개변수 추정 및 에지워스 전개에서 수치적 방법을 어느 정도 대체할 수 있는가?

주요 결과

• 기호 방법은 셰퍼 다항식 수열을 통해 고전적, 불리안, 자유 첨도 간의 깊은 대수적 연결을 드러내는 통합적 프레임워크를 제공한다.
• 감마, 파스칼, 베르누이 과정에 대한 시간-공간 조화 다항식이 기호적 우mbra를 통해 명시적으로 도출되었으며, 감마 과정의 경우 t.ū, 랜덤 워크의 경우 n.(-1.ι)와 같은 표현을 사용한다.
• 이 방법은 모멘트에서 첨도로, 첨도에서 모멘트로의 효율적 알고리즘 기반 계산을 가능하게 하며, 특히 6.2.3 절에서 애벨 유형 첨도와 벨 다항식을 사용한 알고리즘이 상세히 기술되어 있다.
• 부록 1의 계산 벤치마크에서 전통적 방법 대비 k-통계와 다항카이의 기호 계산에서 뚜렷한 속도 향상을 보였다.
• 다변량 파아 디 브루노 공식을 통한 다변량 레비 과정의 기호 표현은 다변량 헤르미트 및 베르누이 다항식의 체계적 유도를 가능하게 한다.
• 기호 미적분 프레임워크는 랜덤 행렬로까지 확장되었으며, 이는 고전적 통계 모델을 초월한 광범위한 적용 가능성을 시사한다.