벨 다항식

Bell polynomials

조합수학에서는 에릭 템플 벨을 기리기 위해 이름 붙여진 벨 다항식이 세트 파티션 연구에 사용된다.그들은 스털링과 벨 번호와 관련이 있다.그것들은 또한 파아디 브루노의 공식과 같은 많은 용도에서 발생한다.

벨 다항식

지수 종 다항식

부분적 또는 불완전한 지수 Bell 다항식은 다음에서 주어진 삼각형 배열의 다항식 배열이다.

여기서 합계는 이 두 조건이 충족되도록 음이 아닌 정수의 모든 시퀀스 j1, j, j2, j3nk+1 인수한다.

합계

n번째 완전한 지수 Bell 다항식이라고 불린다.

일반 벨 다항식

마찬가지로, 위에서 정의한 일반적인 지수 Bell 다항식과는 대조적으로, 부분적인 일반 Bell 다항식은 다음과 같이 주어진다.

여기서 합계는 다음과 같은 비 음의 정수의 모든 시퀀스 j1, j, j2, ...j3nk+1 걸쳐 나타난다.

일반 Bell 다항식은 지수 Bell 다항식의 용어로 표현할 수 있다.

일반적으로 벨 다항식은 달리 명시되지 않는 한 지수 Bell 다항식을 가리킨다.

콤비네이터럴

지수 Bell 다항식은 집합이 분할될 수 있는 방법과 관련된 정보를 인코딩한다.예를 들어, 집합 {A, B, C}을(를) 고려할 경우, 비어 있지 않고 오버랩되지 않는 두 하위 집합으로 분할할 수 있으며, 이를 부품 또는 블록이라고도 한다.

{{A}, {B, C}}
{{B}}, {A, C}}
{{C}}, {B, A}

따라서 우리는 이러한 파티션에 관한 정보를 다음과 같이 인코딩할 수 있다.

여기서 B3,2 첨자는 3개의 요소로 이루어진 세트를 2개의 블록으로 분할하는 것을 고려하고 있음을 알려준다.xi 첨자는 주어진 파티션에 i 요소(또는 크기 i의 블록)가 있는 블록의 존재를 나타낸다.여기서 x2 두 개의 원소를 가진 블록의 존재를 나타낸다.마찬가지로 x1 단일 요소가 있는 블록의 존재를 나타낸다.xij 지수는 단일 파티션에 그러한 크기 i의 블록이 있음을 나타낸다.여기서 x1 x 모두2 지수 1을 가지므로 주어진 파티션에 그러한 블록이 하나만 있음을 나타낸다.단량형 계수는 그러한 칸막이가 얼마나 많은지를 나타낸다.우리의 경우, 3개의 요소가 2개의 블록으로 된 세트의 칸막이가 있는데, 각 칸막이에 있는 요소들은 1과 2의 두 블록으로 나뉜다.

어떤 집합이든 하나의 방법으로만 하나의 블록으로 나눌 수 있기 때문에, 위의 해석n,1 B = x라는n 것을 의미할 것이다. 마찬가지로, n개의 원소를 가진 집합은 n개의 단골격인 Bn,n = x1n 나누는 한 가지 방법밖에 없기 때문이다.

좀 더 복잡한 예로서, 고려해보자.

이는 6개 요소 세트를 2블록으로 나누면 1·5블록의 파티션 6개, 4·2블록의 파티션 15개, 3블록의 파티션 10개를 만들 수 있다는 것을 말해준다.

단항에서의 첨자의 합은 원소의 총수와 같다.따라서, 부분 벨 다항식에 나타나는 단항수의 수는 정수 n을 k 양의 정수의 합으로 표현할 수 있는 방법의 수와 같다.이것n을 k 파트로 나눈 정수 분할과 같다.예를 들어 위의 예에서 정수 3은 2+1로만 두 부분으로 분할할 수 있다.따라서 B에는3,2 단수형이 하나밖에 없다.그러나 정수 6은 5+1, 4+2, 3+3으로 두 부분으로 나눌 수 있다.따라서 B에는6,2 단수 3개가 있다.실제로 단수형 변수의 첨자는 정수 분할에 의해 주어진 것과 동일하며, 서로 다른 블럭의 크기를 나타낸다.따라서 완전한 Bell 다항식 Bn 나타나는 총 단항 수는 n의 정수 파티션의 총 수와 같다.

또한 각 모노미알의 정도는 모노미알에서 각 변수의 지수를 합한 값이며 집합이 분할되는 블럭의 수와 같다.즉, j1 + j + j2 + ...= k . 따라서 완전한 Bell 다항식 Bn 주어진다면, 우리는 도 k로 모든 단항식을 수집함으로써 부분 Bell 다항식 Bn,k 분리할 수 있다.

마지막으로 블록의 크기를 무시하고 모든i x = x를 입력하면 부분 벨 다항식n,k B의 계수 합계는 n개의 원소를 가진 집합을 k개의 블록으로 분할할 수 있는 총 방법을 제공하는데, 이는 두 번째 종류의 스털링 숫자와 동일하다.또한, 완전한 Bell 다항식 Bn 모든 계수를 합하면, n개의 원소를 가진 집합이 겹치지 않는 하위 집합으로 분할될 수 있는 총 수량을 얻게 되는데, 이는 Bell 번호와 동일하다.

일반적으로 정수 n을 "1"이1 j번, "2"가2 j번 나타나는 합으로 분할하면, 집합의 구성원이 구별할 수 없게 될 때 정수 n의 해당 분할로 축소되는 크기 n 집합의 파티션 수는 다항식의 해당 계수다.

예를 들어, 우리는

왜냐하면 6개의 요소 집합을 2개의 블록으로 분할하는 방법은

6개 세트를 5+1로 분할하는 6가지 방법
6 세트를 4 + 2로 분할하는 15가지 방법
6 세트를 3 + 3으로 분할하는 10가지 방법.

마찬가지로

왜냐하면 6개의 요소 집합을 3개의 블록으로 분할하는 방법은

6 세트를 4 + 1 + 1로 분할하는 15가지 방법
6 세트를 3 + 2 + 1로 분할하는 60가지 방법
6 세트를 2 + 2 + 2로 분할하는 15가지 방법.

특성.

생성함수

지수 부분 Bell 다항식은 생성 함수의 이중 시리즈 확장에 의해 정의될 수 있다.

다시 말해, 동일한 양에 따라 k-th 동력의 직렬 확장에 의해 다음과 같이 된다.

전체 지수 Bell 다항식은 ( , ) 또는 다른 말로 정의된다.

따라서, n번째 완전한 벨 다항식은 다음과 같이 주어진다.

마찬가지로, 일반적인 부분 Bell 다항식은 생성 함수에 의해 정의될 수 있다.

또는 동등하게 k-th 검정력의 직렬 확장:

또한 시퀀스 생성 함수파워, 로그 및 시퀀스 생성 함수의 지수 구성의 Bell 다항식 생성 함수 확장을 위한 함수 변환 생성도 참조하십시오.이러한 공식은 각각 Comtet의 각 절에 인용되어 있다.[1]

재발관계

전체 Bell 다항식은 다음과 같이 다시 정의될 수 있다.

초기 값 = }을를) 사용하여 .

부분 Bell 다항식도 반복 관계를 통해 효율적으로 계산할 수 있다.

어디에

전체 Bell 다항식도 다음과 같은 반복 미분식을 만족한다.[2]

파생상품

전체 Bell 다항식의 부분적 파생상품은 다음과[3] 같다.

마찬가지로, 부분 Bell 다항식의 부분파생상품은 다음과 같이 주어진다.

벨 다항식의 인수가 1차원 함수인 경우 체인 규칙을 사용하여 얻을 수 있다.

결정성형식

전체 Bell 다항식은 다음과 같은 결정 요소로 표현할 수 있다.

그리고

스털링 번호와 벨 번호

요인 순서에서 Bell 다항식 Bn,k(x1,x2,...)의 값은 첫 번째 종류의 서명되지 않은 스털링 숫자와 같다.

이 값들의 합은 요인 순서에 대한 완전한 벨 다항식의 값을 제공한다.

하나의 순서에 대한 벨 다항식 B(xn,k,x1,...)의2 값은 두 번째 종류의 스털링 숫자와 같다.

이러한 값의 합은 다음 순서에 따라 완전한 벨 다항식의 값을 제공한다.

N번째번호야

역관계

우리가 정의한다면

그러면 우리는 역적 관계를 갖게 된다.

Touchard 다항식

Touchard 다항식 )= k= { \n k은()인 모든 인수에서 완전한 벨 다항 값으로 표현할 수 있다.

콘볼루션 아이덴티티

시퀀스 xn, yn, n = 1, 2, ...의 경우 다음과 같이 콘볼루션을 정의하십시오.

합계의 범위는 0과 n이 아니라 1과 n - 1이다.

을(를) 순서의 n번째 항으로 한다.

그러면[4]

예를 들어 , 3( , )},2})을 계산해 봅시다

그래서,

기타 신원

  • Lah를 제공하는 }{kn,k)}.
  • B , (,,, - + 1)=( ) - k ,k {
  • and .
  • 전체 Bell 다항식은 이항식 관계를 만족한다.
이렇게 하면 요인! ) k q의 누락이 수정된다. ^{{k}[5]
  • < 일 때
  • 부분 Bell 다항식의 특별한 경우:

처음 몇 개의 완전한 Bell 다항식:

적용들

파아디 브루노 공식

파아디 브루노의 공식은 벨 다항식(Bell polyomials)의 관점에서 다음과 같이 명시할 수 있다.

마찬가지로, 파 디 브루노 공식의 파워 시리즈 버전은 벨 다항식을 사용하여 다음과 같이 명시될 수 있다.가정하다

그러면

특히 전체 벨 다항식은 공식 파워시리즈의 지수화에 나타난다.

1,,의 고정된 순서에 따라 완전한 다항식의 지수 생성 를 나타낸다

직렬의 역전

공식 파워 시리즈로 f와 g의 두 가지 기능을 다음과 같이 표현하도록 한다.

그러한 gg(f(w) = w 또는 f(g(z)) = z로 정의된 f의 구성 역행이다. 만약 f0 = 0과 f1 ≠ 0이라면, 역행 계수의 명시적 형식을 Bell 다항식의 관점에서 다음과 같이[6] 제시할 수 있다.

with and is the rising factorial, and

라플라스형 집적재의 점근확장

양식의 핵심을 고려

여기서 (a,b)는 실제(수치 또는 무한) 간격이고, λ은 큰 양의 매개변수이고 f와 g 함수는 연속이다.fx = a에서 발생하는 단일 최소값을 [a,b]에 두도록 한다.xa+ 가정하면

α > 0, Re(β) > 0; 그리고 f의 팽창은 용어로 현명하게 구별될 수 있다.그 후, 라플라스-에르델리 정리에서는 적분 I(λ)의 점증적 팽창은 다음과 같이 기술하고 있다.

여기서 계수 cn 캠벨-프롬-월레스-에 의해 주어진 부분적인 일반 Bell 다항식을 사용하여 an b 단위n 표현할 수 있다.Wojdylo 공식:

대칭 다항식

기본 대칭 다항식 파워섬 대칭 다항식 은 다음과 같이 Bell 다항식을 사용하여 서로 연관시킬 수 있다.


이러한 공식은 0의 벨 다항식의 관점에서 단항 다항식의 계수를 표현할 수 있게 한다.예를 들어, Cayley-Hamilton의 정리와 함께, 그들은 그 힘의 흔적 측면에서 n × n 제곱 행렬 A의 결정 인자를 표현하게 된다.

대칭 그룹의 주기 색인

대칭 그룹 사이클 지수는 다음과 같이 완전한 Bell 다항식으로 표현할 수 있다.

순간과 충만

합계

번째 적혈구κ1, ..., κn 확률 분포의 n번째 원시 모멘트. 즉, n번째 모멘트는 첫 번째 적혈구에서 평가된 n번째 완전한 벨 다항식이다.마찬가지로 n번째 누적분포함수는 다음과 같은 순간의 관점에서 주어질 수 있다.

헤르미트 다항식

확률론자들의 Hermite 다항식은 Bell 다항식의 관점에서 다음과 같이 표현할 수 있다.

여기서 xi = 모든 i > 2에 대해 0. 따라서 Hermite 다항식 계수의 조합 해석을 허용한다.이는 헤르미테 다항식의 생성함수를 비교해 보면 알 수 있다.

벨 다항식의 그것과 함께.

이항 유형의 다항식 시퀀스 표현

어떤 시퀀스든1 a, a2, …의n 스칼라,

그러면 이 다항식 순서는 이항식, 즉 이항식 정체성을 만족시키는 것이다.

예:a1 = … = an = 의 경우 다항식 p ) )}은는) Touchard 다항식을 나타낸다.

더 일반적으로, 우리는 다음과 같은 결과를 얻었다.

정리:이항 유형의 모든 다항식 시퀀스는 이 형식이다.

공식 파워 시리즈를 정의하면

그렇다면, 모든 n에 대해서,

소프트웨어

벨 다항식 구현 위치:

참고 항목

메모들

  1. ^ 컴트 1974년.
  2. ^ 알렉시예프, 폴로고바 & 알렉세예프 2017, 4.2장.
  3. ^ 1934년 벨, 266페이지의 신원(5.1)
  4. ^ Cvijovich 2011.
  5. ^ Comtet 1974, 신원 [3l" 페이지 136.
  6. ^ Charalambides 2002, 페이지 437, Eqn (11.43).

참조

  • Abbas, M.; Bouroubi, S. (2005). "On new identities for Bell's polynomial". Discrete Math. 293 (1–3): 5–10. doi:10.1016/j.disc.2004.08.023. MR 2136048.
  • Alexeev, N.; Pologova, A.; Alekseyev, M. A. (2017). "Generalized Hultman Numbers and Cycle Structures of Breakpoint Graphs". Journal of Computational Biology. 24 (2): 93–105. arXiv:1503.05285. doi:10.1089/cmb.2016.0190. PMID 28045556. S2CID 9678733.
  • Andrews, G. E. (1998). The Theory of Partitions. Cambridge Mathematical Library (1st pbk ed.). Cambridge University Press. pp. 204–211. ISBN 0-521-63766-X.
  • Bell, E. T. (1927–1928). "Partition Polynomials". Annals of Mathematics. 29 (1/4): 38–46. doi:10.2307/1967979. JSTOR 1967979. MR 1502817.
  • Bell, E. T. (1934). "Exponential Polynomials". Annals of Mathematics. 35 (2): 258--277. doi:10.2307/1968431. JSTOR 1968431. MR 1503161.
  • Boyadzhiev, K. N. (2009). "Exponential Polynomials, Stirling Numbers, and Evaluation of Some Gamma Integrals". Abstract and Applied Analysis. 2009: 1–18. arXiv:0909.0979. Bibcode:2009AbApA2009....1B. doi:10.1155/2009/168672. S2CID 1608664. (Bell-polynomials 개념의 초기 검토도 포함)
  • Charalambides, C. A. (2002). Enumerative Combinatorics. Chapman & Hall / CRC. p. 632. ISBN 9781584882909.
  • Comtet, L. (1974). Advanced Combinatorics: The Art of Finite and Infinite Expansions. Dordrecht, Holland / Boston, U.S.: Reidel Publishing Company. Archived from the original on 2017-06-01. Retrieved 2019-07-02.
  • Cvijović, D. (2011). "New identities for the partial Bell polynomials" (PDF). Applied Mathematics Letters. 24 (9): 1544–1547. doi:10.1016/j.aml.2011.03.043. S2CID 45311678. Archived (PDF) from the original on 2020-03-09. Retrieved 2020-06-05.
  • Griffiths, M. (2012). "Families of sequences from a class of multinomial sums". Journal of Integer Sequences. 15: Article 12.1.8. MR 2872465. Archived from the original on 2014-05-02. Retrieved 2012-06-27.
  • Kruchinin, V. V. (2011). "Derivation of Bell Polynomials of the Second Kind". arXiv:1104.5065 [math.CO].
  • Noschese, S.; Ricci, P. E. (2003). "Differentiation of Multivariable Composite Functions and Bell Polynomials". Journal of Computational Analysis and Applications. 5 (3): 333–340. doi:10.1023/A:1023227705558. S2CID 118361207.
  • Roman, S. (2013). The Umbral Calculus. Dover Publications. p. 208. ISBN 9780486153421.
  • Voinov, V. G.; Nikulin, M. S. (1994). "On power series, Bell polynomials, Hardy–Ramanujan–Rademacher problem and its statistical applications". Kybernetika. 30 (3): 343–358. ISSN 0023-5954.