Jump to content

Stirling numbers of the second kind

This is a fully translated article. Click here for more information.
From DawoumWiki, the free Mathematics self-learning
File:Set partitions 4; Hasse; circles.svg
The 15 partitions of a 4-element set
ordered in a Hasse diagram

There are S(4,1),...,S(4,4) = 1,7,6,1 partitions
containing 1,2,3,4 sets.

수학(mathematics)에서, 특히 조합론(combinatorics)에서, 두 번째 종류의 스털링 숫자(Stirling number of the second kind 또는 스털링 분할 숫자(Stirling partition number))는 n 대상의 집합을 k 비-빈 부분집합으로 분할(partition a set)하는 방법의 숫자이고, 또는 에 의해 표시됩니다.[1] 두 번째 종류의 스털링 숫자는 조합론(combinatorics)으로 불리는 수학의 분야 및 분할(partitions)의 연구에서 발생합니다.

두 번째 종류의 스털링 숫자는 스털링 숫자(Stirling number)의 두 종류 중 하나이며, 다른 하나의 종류는 첫 번째 종류의 스털링 숫자(Stirling numbers of the first kind) (또는 스털링 싸이클 숫자)로 불립니다. 상호 역 (유한 또는 무한) 삼각 행렬(triangular matrices)은 매개-변수 n, k에 따라 각 종류의 스털링 숫자로부터 형성될 수 있습니다.

Definition

또는 또는 다른 표기법과 함께 쓰이는, 두 번째 종류의 스털링 숫자는 레이블된 대상의 집합(set) 비-빈 레이블-없는 부분-집합으로 분할(partition)하는 방법의 숫자를 셉니다. 동등하게, 그들은 원소 집합 위에 정의될 수 있는 정확히 동치 클래스와 함께 다른 동치 관계(equivalence relation)의 숫자를 셉니다. 사실, 분할의 집합과 주어진 집합 위에 동치 관계의 집합 사이는 전단사(bijection)가 있습니다. 명백하게,

에 대해,

n-원소 집합을 n 부분으로 분할하는 유일한 방법은 집합의 각 원소를 그 자체로 분할에 넣는 것이고, 비-빈 집합을 한 부분으로 분할하는 유일한 방법은 모든 원소를 같은 부분에 넣는 것입니다. 그들은 다음의 명백한 공식을 사용하여 계산될 수 있습니다:[2]

두 번째 종류의 스털링 숫자는, 우리가 떨어지는 팩토리얼(falling factorial)의 관점에서 불확정 x의 거듭제곱을 표현할 때, 발생하는 숫자로 역시 특징-지어질 수 있습니다[3]

(특히, (x)0 = 1인데 왜냐하면 그것은 빈 곱(empty product)이기 때문입니다.) 특히, 우리는 다음을 가집니다:

Notation

다양한 표기법이 두 번째 종류의 스털링 숫자에 대해 사용되어 왔습니다. 중괄호 표기법 은 이들 숫자의 변형에 대해 1962년 이마누엘 막스(Imanuel Marx)와 안토니오 살메리(Antonio Salmeri)에 의해 사용되었습니다.[4][5] 이것은 The Art of Computer Programming (1968)의 첫 번째 판에서, 여기서 보이는 것처럼, 그것을 사용하도록 커누스(Knuth)를 이끌었습니다.[6][7] 어쨌든, The Art of Computer Programming의 세 번째 판에 따르면, 이 표기법은 일찍이 1935년 요한 카르마타(Jovan Karamata)에 의해 역시 사용되었습니다.[8][9] 표기법 S(n, k)는 리처드 스탠리(Richard Stanley)에 의해 그의 책 Enumerative Combinatorics에서 사용되었습니다.[6]

이 페이지에서 스털링 숫자에 사용된 표기법은 보편적이지 않고, 다른 출처에서 표기법과 충돌할 수 있습니다.

Relation to Bell numbers

스털링 숫자 n-원소 집합을 k 부분의 집합 분할을 세므로, k의 모든 값에 걸쳐, 합

n 구성원을 갖는 집합의 분할의 전체 숫자입니다. 이 숫자는 n번째 벨 숫자(Bell number)로 알려져 있습니다.

유사하게, 순서화 벨 숫자(ordered Bell number)는 다음을 통해 두 번째 종류의 스털링 숫자로부터 계산될 수 있습니다:

[10]

Table of values

아래는 두 번째 종류의 스털링 숫자에 대해 값의 삼각 배열(triangular array)입니다 (OEIS에서 수열 A008277):

k
n
0 1 2 3 4 5 6 7 8 9 10
0 1
1 0 1
2 0 1 1
3 0 1 3 1
4 0 1 7 6 1
5 0 1 15 25 10 1
6 0 1 31 90 65 15 1
7 0 1 63 301 350 140 21 1
8 0 1 127 966 1701 1050 266 28 1
9 0 1 255 3025 7770 6951 2646 462 36 1
10 0 1 511 9330 34105 42525 22827 5880 750 45 1

이항 계수(binomial coefficients)와 마찬가지로, 이 테이블은 k > n까지 확장될 수 있지만, 그들 엔트리는 모두 0이 될 것입니다.

Properties

Recurrence relation

두 번째 종류의 스털링 숫자는, n > 0에 대해, 초기 조건

을 갖는, k > 0에 대해 재귀 관계

를 만족합니다.

예를 들어, 열 k=3 및 행 n=5에서 숫자 25는 25=7+(3×6)에 의해 제공되며, 여기서 7은 25의 왼쪽 위의 숫자이고, 6은 25 위의 숫자이고 3은 6을 포함하는 열 번호입니다.

이 재귀를 이해하기 위해, 대상을 k 비-빈 부분집합으로의 분할이 한원소로 -번째 대상으로 포함 또는 그렇지 않은 것으로 관찰하십시오. 한원소가 부부집합 중 하나인 방법의 숫자는 다음에 의해 주어집니다:

왜냐하면 우리는 남아있는 n 대상을 이용-가능한 부분집합으로 분할해야 하기 때문입니다. 나머지 다른 경우에서, -번째 대상은 다른 대상을 포함하는 부분집합에 넣습니다. 방법의 숫자는 다음에 의해 제공됩니다:

왜냐하면 우리는 -번째 대상을 제외한 모든 대상을 k 부분집합으로 분할하기 때문이고, 그런-다음 우리는 대상 을 삽입하기 위한 k 선택이 남아있기 때문입니다. 이들 두 값을 합하면 원하는 결과를 제공합니다.

일부 추가적인 재귀는 다음과 같습니다:

Lower and upper bounds

만약 이고 이면,

여기서

[11]

Maximum

고정된 에 대해, 는 단일 최댓값을 가지면, 이것은 k의 많아야 두 연속적인 값에 대해 도달합니다. 즉, 다음을 만족하는 정수 이 있습니다:

이 클 때 다음이고:

두 번째 종류의 스털링 숫자의 최댓값은 다음입니다:

[11]

Parity

File:Stirling numbers of the second kind - Parity.svg
Parity of Stirling numbers of the second kind.

두 번째 종류의 스털링 숫자의 패리티(parity)는 관련된 이항 계수(binomial coefficient)의 패리티와 같습니다:

여기서

이 관계는 nk 좌표를 시에르핀스키 삼각형(Sierpiński triangle) 위로의 매핑에 의해 지정됩니다.

보다 직접적으로, 두 집합이 각 표현의 결과의 이진 표시에서 1의 위치를 포함시키는 것으로 놓습니다:

우리는 O(1) 시간에서 두 번째 종류의 스털링 숫자의 패리티를 얻기 위해 이들 두 집합을 교차함으로써 비트별 AMD(bitwise AND) 연산을 모방할 수 있습니다:

유사-코드(pseudocode)에서:

여기서 아이버슨 괄호(Iverson bracket)입니다.

중심의 두 번째 종류의 스털링 숫자 의 패리티가 홀수인 것과 섬유소 숫자(fibbinary number), 이진 표현(binary representation)이 둘의 연속 1들을 가지지 않는 숫자인 것은 필요충분 조건입니다.[12]

Simple identities

일부 간단한 항등식은 다음을 포함합니다:

이것은 n 원소를 n − 1 집합으로 나누는 것은 반드시 크기 2의 집합 하나와 크기 1의 n − 2 집합으로 그것을 나누는 것을 의미하기 때문입니다. 그러므로 우리는 오직 그들의 두 원소를 선택하면 됩니다;

이것을 보이기 위해, 먼저 여 부분-집합 AB의 2n 순서화 쌍이 있음을 주목하십시오. 하나의 경우에서, A가 비어 있고, 다른 것에서 B가 비어 있으므로, 부분-집합의 2n − 2 순서화 쌍이 남아 있습니다. 마지막으로, 우리는 순서화 쌍이 아닌 비-순서화 쌍을 원하므로, 우리는 이 마지막 숫자를 2로 나누며, 위의 결과를 제공합니다.

재귀 관계의 또 다른 명백한 확장은 위의 예제의 진의에서 항등식을 제공합니다.

이들 예제는 다음 재귀에 의해 요약될 수 있습니다:

Explicit formula

두 번째 종류의 스털링 숫자는 명시적 공식에 의해 제공됩니다:

이 공식은 x = 0에서 평가된 단항식(monomial) k번째 전방 차이(forward difference)의 특별한 경우입니다.

베르누이 다항식(Bernoulli polynomial)은 이들 전방 차이의 관점에서 쓸 수 있기 때문에, 우리는 즉시 베르누이 숫자(Bernoulli number)에서 관계를 얻습니다:

Generating functions

고정된 정수 n에 대해, 두 번째 종류의 스털링 숫자 에 대해 보통의 생성하는 함수(ordinary generating function)는 다음에 의해 제공됩니다:

여기서 투샤르 다항식(Touchard polynomials)입니다. 만약 우리가 대신에 떨어지는 팩토리얼에 대하여 스털링 숫자를 합하면, 우리는 다른 것들 사이에서 다음 항등식을 볼 수 있습니다:

고정된 정수 k에 대해, 두 번째 종류의 스털링 숫자 는 다음 유리의 보통 생성하는 함수를 가지고

다음에 의해 지수 생성하는 함수(exponential generating function)를 가집니다:

두 번째 종류의 스털링 숫자에 대해 혼합된 이변수 생성하는 함수는 다음입니다:

Asymptotic approximation

의 고정된 값에 대해, 으로 두 번째 종류의 스털링 숫자의 점근적 값은 다음에 의해 제공됩니다:

다른 한편으로, 만약 이면 다음입니다 (여기서 o작은 o 표기법(little o notation)을 나타냅니다):

[13]

균등하게 유효한 근사가 역시 존재합니다: 1 < k < n을 만족하는 모든 k에 대해, 우리는 다음을 가집니다:

여기서 이며, 람베르트 W 함수(Lambert W function)의 주요 가지입니다.[14] 상대 오차는 에 대한 것에 의해 경계집니다.

Applications

Moments of the Poisson distribution

만약 X기댓값(expected value)이 λ와 함께 푸아송 분포(Poisson distribution)를 갖는 확률 변수(random variable)이면, 그의 n번째 모멘트(moment)는 다음입니다:

특히, 기댓값 1을 갖는 푸아송 분포의 모멘트는 크기 n집합의 분할(partitions of a set)의 숫자, 즉 그것은 n번째 벨 숫자(Bell number)입니다 (이 사실은 도비스키의 공식(Dobiński's formula)입니다).

Moments of fixed points of random permutations

확률 변수 X를 크기 m의 유한 집합의 균등하게 분포된(uniformly distributed) 확률 순열(random permutation)의 고정된 점의 숫자로 놓습니다. 그런-다음 Xn번째 모멘트는 다음입니다:

주목: 합의 위쪽 경계는 n이 아니라 m입니다.

다른 말로, 이 확률 분포(probability distribution)n번째 모멘트는 크기 n의 집합을 m보다 많지 않은 부분으로 분할의 숫자입니다. 이것은 비록 표기법이 약간 다를지라도 확률 순열 통계(random permutation statistics)에 대한 기사에서 입증됩니다.

Rhyming schemes

두 번째 종류의 스털링 숫자는 n 줄의 시에 대해 라임 스킴(rhyme scheme)의 전체 숫자를 나타낼 수 있습니다. k 고유한 라임 음절을 사용하여 n 줄에 대해 가능한 라임 스킴의 숫자를 제공합니다. 예제에서 처럼, 3 줄의 시에 대해, 단지 하나의 라임 (aaa)을 사용하는 1 라임 스킴, 두 스킴 (aab, aba, abb)을 사용하는 3 라임 스킴, 및 세 라임 (abc)을 사용하여 1 라임 스킴이 있습니다.

Variants

Associated Stirling numbers of the second kind

두 번째 종류의 r-결합된 스털링 숫자는 n 대상의 집합을 k 부분-집합으로 분할에 대한 방법의 숫자이며, 각 부분-집합은 적어도 r 원소를 포함합니다.[15] 그것은 에 의해 나타내고 다음 재귀 관계를 복종합니다:

2-결합된 숫자 (OEIS에서 수열 A008299)는 "워드 숫자(Ward numbers)" 및 말러 다항식(Mahler polynomial)의 계수의 크기로 다른 곳에서 나타납니다.

Reduced Stirling numbers of the second kind

정수 1, 2, ..., n에 의해 분할하기 위한 n 대상을 나타냅니다. 정수 1, 2, ..., n을 각 부분-집합에서 모든 원소가 적어도 d 쌍별 거리를 가짐을 만족하는 k 비-빈 부분-집합으로 분할하는 방법의 숫자로, 로 표시되는, 두 번째 종류의 감소된 스털링 숫자를 정의합니다. 즉, 주어진 부분-집합에서 정수 ij에 대해, 임을 요구합니다. 이들 숫자는 다음을 만족시키는 것으로 (따라서 이름 "감소된") 보일 수 있습니다:[16]

.

, 익숙한 두 번째 종류의 스털링 숫자임을, (둘 다 정의에 의해 및 감소 공식에 의해) 보실 수 있습니다.

See also

References

  1. ^ Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Concrete Mathematics, Addison–Wesley, Reading MA. ISBN 0-201-14236-8, p. 244.
  2. ^ "Stirling Number of the Second Kind".
  3. ^ Confusingly, the notation that combinatorialists use for falling factorials coincides with the notation used in special functions for rising factorials; see Pochhammer symbol.
  4. ^ Transformation of Series by a Variant of Stirling's Numbers, Imanuel Marx, The American Mathematical Monthly 69, #6 (June–July 1962), pp. 530–532, JSTOR 2311194.
  5. ^ Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, Giornale di Matematiche di Battaglini 90 (1962), pp. 44–54.
  6. ^ a b Knuth, D.E. (1992), "Two notes on notation", Amer. Math. Monthly, 99: 403–422, arXiv:math/9205211, doi:10.2307/2325085, JSTOR 2325085
  7. ^ Donald E. Knuth, Fundamental Algorithms, Reading, Mass.: Addison–Wesley, 1968.
  8. ^ p. 66, Donald E. Knuth, Fundamental Algorithms, 3rd ed., Reading, Mass.: Addison–Wesley, 1997.
  9. ^ Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, Mathematica (Cluj) 9 (1935), pp, 164–178.
  10. ^ Sprugnoli, Renzo (1994), "Riordan arrays and combinatorial sums", Discrete Mathematics, 132 (1–3): 267–290, doi:10.1016/0012-365X(92)00570-H, MR 1297386
  11. ^ a b Rennie, B.C.; Dobson, A.J. (1969). "On stirling numbers of the second kind". Journal of Combinatorial Theory. 7 (2): 116–121. doi:10.1016/S0021-9800(69)80045-1. ISSN 0021-9800.
  12. ^ Chan, O-Yeat; Manna, Dante (2010), "Congruences for Stirling numbers of the second kind" (PDF), Gems in Experimental Mathematics, Contemporary Mathematics, vol. 517, Providence, Rhode Island: American Mathematical Society, pp. 97–111, doi:10.1090/conm/517/10135, MR 2731094
  13. ^ L. C. Hsu, Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277
  14. ^ N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.
  15. ^ L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 222.
  16. ^ A. Mohr and T.D. Porter, Applications of Chromatic Polynomials Involving Stirling Numbers, Journal of Combinatorial Mathematics and Combinatorial Computing 70 (2009), 57–64.