Telephone number (mathematics)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The complete graph K4 has ten matchings, corresponding to the value T(4) = 10 of the fourth telephone number.

In mathematics, the telephone numbers or involution numbers are a sequence of integers that count the number of connection patterns in a telephone system with n subscribers, where connections are made between pairs of subscribers. These numbers also describe the number of matchings (the Hosoya index) of a complete graph on n vertices, the number of permutations on n elements that are involutions, the sum of absolute values of coefficients of the Hermite polynomials, the number of standard Young tableaux with n cells, and the sum of the degrees of the irreducible representations of the symmetric group. Involution numbers were first studied in 1800 by Heinrich August Rothe, who gave a recurrence equation by which they may be calculated,[1] giving the values (starting from n = 0)

1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... (sequence A000085 in OEIS).

Combinatorial interpretations[edit]

John Riordan provides the following explanation for these numbers: suppose that a telephone service has n subscribers, any two of whom may be connected to each other by a telephone call. How many different patterns of connection are possible? For instance, with three subscribers, there are three ways of forming a single telephone call, and one additional pattern in which no calls are being made, for a total of four patterns.[2] For this reason, the numbers counting how many patterns are possible are sometimes called the telephone numbers.[3][4]

Every pattern of pairwise connections between n subscribers defines an involution, a permutation of the subscribers that is its own inverse, in which two subscribers who are making a call to each other are swapped with each other and all remaining subscribers stay in place. Conversely, every possible involution has the form of a set of pairwise swaps of this type. Therefore, the telephone numbers also count involutions. The problem of counting involutions was the original combinatorial enumeration problem studied by Rothe in 1800[1] and these numbers have also been called involution numbers.[5][6]

In graph theory, a subset of the edges of a graph that touches each vertex at most once is called a matching. The number of different matchings of a given graph is important in chemical graph theory, where the graphs model molecules and the number of matchings is known as the Hosoya index. The largest possible Hosoya index of an n-vertex graph is given by the complete graphs, for which any pattern of pairwise connections is possible; thus, the Hosoya index of a complete graph on n vertices is the same as the nth telephone number.[7]

A standard Young tableau

A Ferrers diagram is a geometric shape formed by a collection of n squares in the plane, grouped into a polyomino with a horizontal top edge, a vertical left edge, and a single monotonic chain of horizontal and vertical bottom and right edges. A standard Young tableau is formed by placing the numbers from 1 to n into these squares in such a way that the numbers increase from left to right and from top to bottom throughout the tableau. According to the Robinson–Schensted correspondence, permutations correspond one-for-one with ordered pairs of standard Young tableaux. Inverting a permutation corresponds to swapping the two tableaux, and so the self-inverse permutations correspond to single tableaux, paired with themselves.[8] Thus, the telephone numbers also count the number of Young tableaux with n squares.[1] In representation theory, the Ferrers diagrams correspond to the irreducible representations of the symmetric group of permutations, and the Young tableaux with a given shape form a basis of the irreducible representation with that shape. Therefore, the telephone numbers give the sum of the degrees of the irreducible representations.

a b c d e f g h
8
Chessboard480.svg
d8 white rook
g7 white rook
c6 white rook
a5 white rook
e4 white rook
h3 white rook
b2 white rook
f1 white rook
8
7 7
6 6
5 5
4 4
3 3
2 2
1 1
a b c d e f g h
A diagonally symmetric non-attacking placement of eight rooks on a chessboard

In the mathematics of chess, the telephone numbers count the number of ways to place n rooks on an n × n chessboard in such a way that no two rooks attack each other (the so-called eight rooks puzzle), and in such a way that the configuration of the rooks is symmetric under a diagonal reflection of the board. Via the Pólya enumeration theorem, these numbers form one of the key components of a formula for the overall number of "essentially different" configurations of n mutually non-attacking rooks, where two configurations are counted as essentially different if there is no symmetry of the board that takes one into the other.[9]

Recurrence[edit]

The telephone numbers satisfy the recurrence relation

T(n) = T(n-1) + (n-1)T(n-2),

first published in 1800 by Heinrich August Rothe, by which they may easily be calculated.[1] One way to explain this recurrence is to partition the T(n) connection patterns of the n subscribers to a telephone system into the patterns in which the first subscriber is not calling anyone else, and the patterns in which the first subscriber is making a call. There are T(n − 1) connection patterns in which the first subscriber is disconnected, explaining the first term of the recurrence. If the first subscriber is connected to someone else, there are n − 1 choices for which other subscriber he or she is connected to, and T(n − 2) patterns of connection for the remaining n − 2 subscribers, explaining the second term of the recurrence.[10]

Summation formula and approximation[edit]

The telephone numbers may be expressed exactly as a summation

T(n) = \sum_{k=0}^{\lfloor n/2\rfloor}\binom{n}{2k}(2k-1)!! = \sum_{k=0}^{\lfloor n/2\rfloor}\frac{n!}{2^k (n-2k)! k!}.

In each term of this sum, k gives the number of matched pairs, the binomial coefficient \binom{n}{2k} counts the number of ways of choosing the 2k elements to be matched, and the double factorial (2k-1)!! = (2k)!/(2^k k!) is the product of the odd integers up to its argument and counts the number of ways of completely matching the 2k selected elements.[1][10] It follows from the summation formula and Stirling's approximation that, asymptotically, T(n) is approximately

T(n) = \left(\frac{n}{e}\right)^{n/2} \frac{e^{\sqrt{n}}}{(4e)^{1/4}}\bigl(1+o(1)\bigr).[1][10][11]

Generating function[edit]

The exponential generating function of the telephone numbers is

\sum_{n=0}^{\infty}\frac{T(n)x^n}{n!}=\exp\left(\frac{x^2}{2}+x\right).[10][12]

In other words, the telephone numbers may be read off as the coefficients of the Taylor series of exp(x2/2 + x), and the nth telephone number is the value at zero of the nth derivative of this function. This function is closely related to the exponential generating function of the Hermite polynomials, which are the matching polynomials of the complete graphs.[12] The sum of absolute values of the coefficients of the nth (probabilist) Hermite polynomial is the nth telephone number, and the telephone numbers can also be realized as certain special values of the Hermite polynomials:[5][12]

T(n)=\frac{\mathop{He}_n(i)}{i^n}.

Prime factors[edit]

For large values of n, the nth telephone number is divisible by a large power of two, 2^{n/4+O(1)}.

More precisely, the 2-adic order (the number of factors of two in the prime factorization) of T(4k) or T(4k+1) is k; for T(4k+2) it is k+1, and for T(4k+3) it is k+2.[13]

References[edit]

  1. ^ a b c d e f Knuth, Donald E. (1973), The Art of Computer Programming, Volume 3: Sorting and Searching, Reading, Mass.: Addison-Wesley, pp. 65–67, MR 0445948 .
  2. ^ Riordan, John (2002), Introduction to Combinatorial Analysis, Dover, pp. 85–86 .
  3. ^ Peart, Paul; Woan, Wen-Jin (2000), "Generating functions via Hankel and Stieltjes matrices", Journal of Integer Sequences 3 (2), Article 00.2.1, MR 1778992 .
  4. ^ Getu, Seyoum (1991), "Evaluating determinants via generating functions", Mathematics Magazine 64 (1): 45–53, doi:10.2307/2690455, MR 1092195 .
  5. ^ a b Solomon, A. I.; Blasiak, P.; Duchamp, G.; Horzela, A.; Penson, K.A. (2005), "Combinatorial physics, normal order and model Feynman graphs", in Gruber, Bruno J.; Marmo, Giuseppe; Yoshinaga, Naotaka, Symmetries in Science XI, Kluwer Academic Publishers, pp. 527–536, arXiv:quant-ph/0310174, doi:10.1007/1-4020-2634-X_25 .
  6. ^ Blasiak, P.; Dattoli, G.; Horzela, A.; Penson, K. A.; Zhukovsky, K. (2008), "Motzkin numbers, central trinomial coefficients and hybrid polynomials", Journal of Integer Sequences 11 (1), Article 08.1.1, MR 2377567 .
  7. ^ Tichy, Robert F.; Wagner, Stephan (2005), "Extremal problems for topological indices in combinatorial chemistry", Journal of Computational Biology 12 (7): 1004–1013, doi:10.1089/cmb.2005.12.1004 .
  8. ^ A direct bijection between involutions and tableaux, inspired by the recurrence relation for the telephone numbers, is given by Beissinger, Janet Simpson (1987), "Similar constructions for Young tableaux and involutions, and their application to shiftable tableaux", Discrete Mathematics 67 (2): 149–163, doi:10.1016/0012-365X(87)90024-0, MR 913181 .
  9. ^ Holt, D. F. (1974), "Rooks inviolate", The Mathematical Gazette 58 (404): 131–134, JSTOR 3617799 .
  10. ^ a b c d Chowla, S.; Herstein, I. N.; Moore, W. K. (1951), "On recursions connected with symmetric groups. I", Canadian Journal of Mathematics 3: 328–334, doi:10.4153/CJM-1951-038-3, MR 0041849 .
  11. ^ Moser, Leo; Wyman, Max (1955), "On solutions of xd = 1 in symmetric groups", Canadian Journal of Mathematics 7: 159–168, doi:10.4153/CJM-1955-021-8, MR 0068564 .
  12. ^ a b c Banderier, Cyril; Bousquet-Mélou, Mireille; Denise, Alain; Flajolet, Philippe; Gardy, Danièle; Gouyou-Beauchamps, Dominique (2002), "Generating functions for generating trees", Discrete Mathematics 246 (1-3): 29–55, arXiv:math/0411250, doi:10.1016/S0012-365X(01)00250-3, MR 1884885 .
  13. ^ Kim, Dongsu; Kim, Jang Soo (2010), "A combinatorial approach to the power of 2 in the number of involutions", Journal of Combinatorial Theory, Series A 117 (8): 1082–1094, doi:10.1016/j.jcta.2009.08.002, MR 2677675 .