We have two normal six-sided dice. We roll both of them, and sum the number of pips. There is a certain probability that we get a 2, or a 3, or a 4, and so on all the way to 12. What we want is a new pair of six-sided dice with the exact same probabilities as the normal dice, but with different numbers of pips on the faces. Each side must have a positive integer number of pips. Can you create such a pair of dice?To solve this problem, we must have a better understanding of generating functions. Each sequence generates a unique function. Each function corresponds to a unique sequence. If we add two generating functions together, the resulting function corresponds to the sum of their respective sequences. But what happens if we multiply generating functions together?

Let's say we have some arbitrary sequence {a

_{0}, a

_{1}, a

_{2}, a

_{3}, a

_{4}, a

_{5}, ...} and another arbitrary sequence {b

_{0}, b

_{1}, b

_{2}, b

_{3}, b

_{4}, b

_{5}, ...}. Let's see what happens when we multiply them together.

F = aIt might be a little difficult to make sense out of what's going on here. It's important to pay attention to the subscripts. Pay attention to the sum of the subscripts. I'll make this a bit more explicit._{0}+ a_{1}*x + a_{2}*x^{2}+ a_{3}*x^{3}+ a_{4}*x^{4}+ a_{5}*x^{}^{5}+ ...

G = b_{0}+ b_{1}*x + b_{2}*x^{2}+ b_{3}*x^{3}+ b_{4}*x^{4}+ b_{5}*x^{5}+ ...

F*G = a_{0}*b_{0 }+ (a_{0}*b_{1}+_{ }a_{1}*b_{0})*x + (a_{0}*b_{2}+_{ }a_{1}*b_{1}+_{ }a_{2}*b_{0})*x^{2}+ ...

All the sums in the first box add up to zero. All the sums in the next box add up to 1. The sums in the next box add up to 2. Note that every possible way sum to 2 with two non-negative integers is represented in that box. This pattern will continue. The next box would contain every possible way to sum to 3. The next box contains all the sums to 4. And so on.

Have you figured out yet how this might relate to the dice? The answer follows.

We can say that each sequence represents some sort of generalized dice. a

We can prove that this is the case. If we take any term c

c

If we recall the definition of a

So let's try it with normal six-sided dice!

We can easily get the generating function D for a normal six-sided dice, and the generating function D*D for two normal dice.

Well, that was quite a mathematical adventure! I've been having fun factoring other kinds of dice as well.
Have you figured out yet how this might relate to the dice? The answer follows.

We can say that each sequence represents some sort of generalized dice. a

_{j}represents the number of ways for dice "a" to roll the number j, and b_{k}represents the number of ways for dice "b" to roll the number k. If we multiply the functions generated by each sequence, then we get a new sequence {c_{0}, c_{1}, c_{2}, c_{3}, c_{4}, c_{5}, ...}. c_{n}represents the number of ways for dice "a" and "b" to have a sum of n.We can prove that this is the case. If we take any term c

_{n}, it can be represented by the following sum:c

_{n}= a_{n}*b_{0}+ a_{n-1}*b_{1}+ ... + a_{1}*b_{n-1}+ a_{0}*b_{n}If we recall the definition of a

_{j}and b_{k}, the proof becomes obvious. The first term "a_{n}*b_{0}" represents the number of ways to roll n on dice "a" and 0 on dice "b". The next term represents the number of ways to roll n-1 on dice "a" and 1 on dice "b". And so on.So let's try it with normal six-sided dice!

We can easily get the generating function D for a normal six-sided dice, and the generating function D*D for two normal dice.

Sequence for normal dice: {0, 1, 1, 1, 1, 1, 1, 0, 0, 0, ...}Now what we want are two new six-sided dice with generating functions A and B such that A*B = D*D. So what we have to do is split D*D into two groups of factors, one for A and one for B. Each group must have the factor x, because that ensures that each side has a nonzero number of pips. Each group must also have (1 + x) * (1 + x + x

Let D = generating function for normal dice

D = x + x^{2}+ x^{3}+ x^{4}+ x^{5}+ x^{6}

D = x * (1 + x) * (1 + x^{2}+ x^{4})

D = x * (1 + x) * (1 + x + x^{2}) * (1 - x + x^{2})

D*D = x^{2}* (1 + x)^{2}* (1 + x + x^{2})^{2}* (1 - x + x^{2})^{2}

^{2}), to ensure that they have exactly six sides. However, we can split the factor (1 - x + x^{2})^{2}in any way we want.A = x * (1 + x) * (1 + x + xThese correspond to dice with sides {1, 3, 4, 5, 6, 8} and {1, 2, 2, 3, 3, 4}. There's your solution, right there.^{2}) * (1 - x + x^{2})^{2}

B = x * (1 + x) * (1 + x + x^{2})

A = x + x^{3}+ x^{4}+ x^{5}+ x^{6}+ x^{8}

B = x + 2x^{2}+ 2x^{3}+ x^{4}