Ordered Bell number
Ordered Bell number
Jump to navigation
Jump to search
In number theory and enumerative combinatorics, the ordered Bell numbers or Fubini numbers count the number of weak orderings on a set of n elements (orderings of the elements into a sequence allowing ties, such as might arise as the outcome of a horse race).[1] Starting from n = 0, these numbers are
- 1, 1, 3, 13, 75, 541, 4683, 47293, 545835, 7087261, 102247563, ... (sequence A000670 in the OEIS).
The ordered Bell numbers may be computed via a summation formula involving binomial coefficients, or by using a recurrence relation. Along with the weak orderings, they count several other types of combinatorial objects that have a bijective correspondence to the weak orderings, such as the ordered multiplicative partitions of a squarefree number[2] or the faces of all dimensions of a permutohedron[3] (e.g. the sum of faces of all dimensions in the truncated octahedron is 1 + 14 + 36 + 24 = 75[4]).
Contents
1 History
2 Formula
3 Recurrence and modular periodicity
4 Additional applications
5 References
History[edit]
The ordered Bell numbers appear in the work of Cayley (1859), who used them to count certain plane trees with n + 1 totally ordered leaves. In the trees considered by Cayley, each root-to-leaf path has the same length, and the number of nodes at distance i from the root must be strictly smaller than the number of nodes at distance i + 1, until reaching the leaves.[5] In such a tree, there are n pairs of adjacent leaves, that may be weakly ordered by the height of their lowest common ancestor; this weak ordering determines the tree. Mor & Fraenkel (1984) call the trees of this type "Cayley trees", and they call the sequences that may be used to label their gaps (sequences of n positive integers that include at least one copy of each positive integer between one and the maximum value in the sequence) "Cayley permutations".[6]
Pippenger (2010) traces the problem of counting weak orderings, which has the same sequence as its solution, to the work of Whitworth (1886).[7][8]
These numbers were called Fubini numbers by Louis Comtet, because they count the number of different ways to rearrange the ordering of sums or integrals in Fubini's theorem, which in turn is named after Guido Fubini.[9] For instance, for a bivariate integral, Fubini's theorem states that
- ∫A(∫Bf(x,y)dy)dx=∫B(∫Af(x,y)dx)dy=∫A×Bf(x,y)d(x,y),{displaystyle int _{A}left(int _{B}f(x,y),{text{d}}yright),{text{d}}x=int _{B}left(int _{A}f(x,y),{text{d}}xright),{text{d}}y=int _{Atimes B}f(x,y),{text{d}}(x,y),}
where these three formulations correspond to the three weak orderings on two elements. In general, in a multivariate integral, the ordering in which the variables may be grouped into a sequence of nested integrals forms a weak ordering.
The Bell numbers, named after Eric Temple Bell, count the number of partitions of a set, and the weak orderings that are counted by the ordered Bell numbers may be interpreted as a partition together with a total order on the sets in the partition.[10]
Formula[edit]
The nth ordered Bell number may be given by a summation formula involving the Stirling numbers of the second kind, which count the number of partitions of an n-element set into k nonempty subsets,[11][12]
expanded out into a double summation involving binomial coefficients (using a formula expressing Stirling numbers as a sum of binomial coefficients), or given by an infinite series:[7][10]
- a(n)=∑k=0nk!{nk}=∑k=0n∑j=0k(−1)k−j(kj)jn=12∑m=0∞mn2m.{displaystyle a(n)=sum _{k=0}^{n}k!left{{begin{matrix}n\kend{matrix}}right}=sum _{k=0}^{n}sum _{j=0}^{k}(-1)^{k-j}{binom {k}{j}}j^{n}={frac {1}{2}}sum _{m=0}^{infty }{frac {m^{n}}{2^{m}}}.}
An alternative summation formula expresses the ordered Bell numbers in terms of the Eulerian numbers, which count the number of permutations of n items with k + 1 runs of increasing items:[13]
- a(n)=∑k=0n−12k⟨nk⟩=An(2),{displaystyle a(n)=sum _{k=0}^{n-1}2^{k}leftlangle {begin{matrix}n\kend{matrix}}rightrangle =A_{n}(2),}
where An is the nth Eulerian polynomial.
The exponential generating function of the ordered Bell numbers is[7][10][12][14]
- ∑n=0∞a(n)xnn!=12−ex.{displaystyle sum _{n=0}^{infty }a(n){frac {x^{n}}{n!}}={frac {1}{2-e^{x}}}.}
This can be expressed equivalently as the fact that the ordered Bell numbers are the numbers in the first column of the infinite matrix (2I − P)−1, where I is the identity matrix and P is an infinite matrix form of Pascal's triangle.[15]
Based on a contour integration of this generating function, the ordered Bell numbers can be expressed by the infinite sum[2][16]
- a(n)=n!2∑k=−∞∞(log2+2πik)−(n+1),n≥1,{displaystyle a(n)={frac {n!}{2}}sum _{k=-infty }^{infty }(log 2+2pi ik)^{-(n+1)},qquad ngeq 1,}
and approximated as[2][12][17][18][16]
- a(n)≈n!2(log2)n+1.{displaystyle a(n)approx {frac {n!}{2(log 2)^{n+1}}}.}
Because log 2 is less than one, the form of this approximation shows that the ordered Bell numbers exceed the corresponding factorials by an exponential factor. The asymptotic convergence of this approximation may be expressed as
- limn→∞na(n−1)a(n)=log2.{displaystyle lim _{nto infty }{frac {n,a(n-1)}{a(n)}}=log 2.}
Recurrence and modular periodicity[edit]
As well as the formulae above, the ordered Bell numbers may be calculated by the recurrence relation[7][17]
- a(n)=∑i=1n(ni)a(n−i).{displaystyle a(n)=sum _{i=1}^{n}{binom {n}{i}}a(n-i).}
The intuitive meaning of this formula is that a weak ordering on n items may be broken down into a choice of some nonempty set of i items that go into the first equivalence class of the ordering, together with a smaller weak ordering on the remaining n − i items. As a base case for the recurrence, a(0) = 1 (there is one weak ordering on zero items). Based on this recurrence, these numbers can be shown to obey certain periodic patterns in modular arithmetic: for sufficiently large n,
a(n+4)≡a(n)(mod10),{displaystyle a(n+4)equiv a(n){pmod {10}},}[17]
- a(n+20)≡a(n)(mod100),{displaystyle a(n+20)equiv a(n){pmod {100}},}
a(n+100)≡a(n)(mod1000),{displaystyle a(n+100)equiv a(n){pmod {1000}},} and
a(n+500)≡a(n)(mod10000).{displaystyle a(n+500)equiv a(n){pmod {10000}}.}[19]
Several additional modular identities are given by Good (1975) and Poonen (1988).[11][20]
Additional applications[edit]
As has already been mentioned, the ordered Bell numbers count weak orderings, permutohedron faces, Cayley trees, Cayley permutations, ordered multiplicative partitions of squarefree numbers, and equivalent formulae in Fubini's theorem. Weak orderings in turn have many other applications. For instance, in horse racing, photo finishes have eliminated most but not all ties, called in this context dead heats, and the outcome of a race that may contain ties (including all the horses, not just the first three finishers) may be described using a weak ordering. For this reason, the ordered Bell numbers count the possible number of outcomes of a horse race,[1] or the possible outcomes of a multi-candidate election.[21] In contrast, when items are ordered or ranked in a way that does not allow ties (such as occurs with the ordering of cards in a deck of cards, or batting orders among baseball players), the number of orderings for n items is a factorial number n!,[22] which is significantly smaller than the corresponding ordered Bell number.[23]
Kemeny (1956) uses the ordered Bell numbers to describe the "complexity" of an n-ary relation, by which he means the number of other relations one can form from it by permuting and repeating its arguments (lowering the arity with every repetition).[24] In this application, for each derived relation, the arguments of the original relation are weakly ordered by the positions of the corresponding arguments of the derived relation.
Velleman & Call (1995) consider combination locks with a numeric keypad, in which several keys may be pressed simultaneously and a combination consists of a sequence of keypresses that includes each key exactly once. As they show, the number of different combinations in such a system is given by the ordered Bell numbers.[13]
Ellison & Klein (2001) point out an application of these numbers to optimality theory in linguistics. In this theory, grammars for natural languages are constructed by ranking certain constraints, and (in a phenomenon called factorial typology) the number of different grammars that can be formed in this way is limited to the number of permutations of the constraints. A paper reviewed by Ellison and Klein suggested an extension of this linguistic model in which ties between constraints are allowed, so that the ranking of constraints becomes a weak order rather than a total order. As they point out, the much larger magnitude of the ordered Bell numbers, relative to the corresponding factorials, allows this theory to generate a much richer set of grammars.[23]
References[edit]
^ ab de Koninck, J. M. (2009), Those Fascinating Numbers, American Mathematical Society, p. 4, ISBN 9780821886311.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}. Because of this application, de Koninck calls these numbers "horse numbers", but this name does not appear to be in widespread use.
^ abc Sklar, Abe (1952), "On the factorization of squarefree integers", Proceedings of the American Mathematical Society, 3: 701–705, doi:10.1090/S0002-9939-1952-0050620-1, JSTOR 2032169, MR 0050620.
^ Ziegler, Günter M. (1995), Lectures on Polytopes, Graduate Texts in Mathematics, 152, Springer, p. 18.
^ 1, 14, 36, 24 is the fourth row of this triangle (sequence A019538 in the OEIS)
^ Cayley, A. (1859), "On the analytical forms called trees, second part", Philosophical Magazine, Series IV, 18 (121): 374–378, doi:10.1017/CBO9780511703706.026. In Collected Works of Arthur Cayley, p. 113.
^ Mor, M.; Fraenkel, A. S. (1984), "Cayley permutations", Discrete Mathematics, 48 (1): 101–112, doi:10.1016/0012-365X(84)90136-5, MR 0732206.
^ abcd Pippenger, Nicholas (2010), "The hypercube of resistors, asymptotic expansions, and preferential arrangements", Mathematics Magazine, 83 (5): 331–346, arXiv:0904.1757, doi:10.4169/002557010X529752, MR 2762645.
^ Whitworth, W. A. (1886), Choice and Chance, Deighton: Bell and Co., Proposition XXII, p. 93. As cited by Pippenger (2010).
^ Comtet, Louis (1974), Advanced Combinatorics: The Art of Finite and Infinite Expansions (PDF) (revised and enlarged ed.), D. Reidel Publishing Co., p. 228.
^ abc Knopfmacher, A.; Mays, M. E. (2005), "A survey of factorization counting functions", International Journal of Number Theory, 1 (4): 563–581, doi:10.1142/S1793042105000315, MR 2196796.
^ ab Good, I. J. (1975), "The number of orderings of n candidates when ties are permitted" (PDF), Fibonacci Quarterly, 13: 11–18, MR 0376367.
^ abc 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.
^ ab Velleman, Daniel J.; Call, Gregory S. (1995), "Permutations and combination locks", Mathematics Magazine, 68 (4): 243–253, doi:10.2307/2690567, MR 1363707.
^ Getu, Seyoum; Shapiro, Louis W.; Woan, Wen Jin; Woodson, Leon C. (1992), "How to guess a generating function", SIAM Journal on Discrete Mathematics, 5 (4): 497–499, doi:10.1137/0405040, MR 1186818.
^ Lewis, Barry (2010), "Revisiting the Pascal matrix", American Mathematical Monthly, 117 (1): 50–66, doi:10.4169/000298910X474989, MR 2599467.
^ ab Bailey, Ralph W. (1998), "The number of weak orderings of a finite set", Social Choice and Welfare, 15 (4): 559–562, doi:10.1007/s003550050123, MR 1647055.
^ abc Gross, O. A. (1962), "Preferential arrangements", The American Mathematical Monthly, 69: 4–8, doi:10.2307/2312725, MR 0130837.
^ Barthélémy, J.-P. (1980), "An asymptotic equivalent for the number of total preorders on a finite set", Discrete Mathematics, 29 (3): 311–313, doi:10.1016/0012-365X(80)90159-4, MR 0560774.
^ Kauffman, Dolores H. (1963), "Note on preferential arrangements", The American Mathematical Monthly, 70: 62, doi:10.2307/2312790, MR 0144827.
^ Poonen, Bjorn (1988), "Periodicity of a combinatorial sequence", Fibonacci Quarterly, 26 (1): 70–76, MR 0931425.
^ Petković, Miodrag (2009), Famous Puzzles of Great Mathematicians, American Mathematical Society, p. 194, ISBN 9780821886304.
^ Harris, John; Hirst, Jeffry L.; Mossinghoff, Michael J. (2008), Combinatorics and Graph Theory, Undergraduate Texts in Mathematics (2nd ed.), Springer, p. 132, ISBN 9780387797106.
^ ab Ellison, T. Mark; Klein, Ewan (2001), "Review: The Best of All Possible Words (review of Optimality Theory: An Overview, Archangeli, Diana & Langendoen, D. Terence, eds., Blackwell, 1997)", Journal of Linguistics, 37 (1): 127–143, JSTOR 4176645.
^ Kemeny, John G. (1956), "Two measures of complexity", The Journal of Philosophy, 52 (24): 722–733, JSTOR 2022697.
Categories:
- Integer sequences
- Enumerative combinatorics
(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgPageParseReport":{"limitreport":{"cputime":"0.496","walltime":"0.620","ppvisitednodes":{"value":2086,"limit":1000000},"ppgeneratednodes":{"value":0,"limit":1500000},"postexpandincludesize":{"value":139122,"limit":2097152},"templateargumentsize":{"value":187,"limit":2097152},"expansiondepth":{"value":7,"limit":40},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":67355,"limit":5000000},"entityaccesscount":{"value":4,"limit":400},"timingprofile":["100.00% 445.469 1 -total"," 71.02% 316.394 1 Template:Reflist"," 58.53% 260.713 23 Template:Citation"," 15.93% 70.945 7 Template:Navbox"," 11.87% 52.871 1 Template:Classes_of_natural_numbers"," 9.57% 42.627 10 Template:Harvtxt"," 1.98% 8.831 1 Template:Icon"," 1.32% 5.861 2 Template:OEIS"," 0.84% 3.725 1 Template:Main_other"," 0.60% 2.694 2 Template:Nowrap"]},"scribunto":{"limitreport-timeusage":{"value":"0.257","limit":"10.000"},"limitreport-memusage":{"value":4019019,"limit":52428800}},"cachereport":{"origin":"mw1262","timestamp":"20181125222146","ttl":1900800,"transientcontent":false}}});});{"@context":"https://schema.org","@type":"Article","name":"Ordered Bell number","url":"https://en.wikipedia.org/wiki/Ordered_Bell_number","sameAs":"http://www.wikidata.org/entity/Q7100706","mainEntity":"http://www.wikidata.org/entity/Q7100706","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https://www.wikimedia.org/static/images/wmf-hor-googpub.png"}},"datePublished":"2006-09-14T17:34:00Z","dateModified":"2018-05-21T07:06:40Z","image":"https://upload.wikimedia.org/wikipedia/commons/3/3c/13-Weak-Orders.svg"}(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgBackendResponseTime":110,"wgHostname":"mw1268"});});