Riffle shuffle permutation

Source: Wikipedia, the free encyclopedia.

In the mathematics of permutations and the study of shuffling playing cards, a riffle shuffle permutation is one of the permutations of a set of items that can be obtained by a single riffle shuffle, in which a sorted deck of cards is cut into two packets and then the two packets are interleaved (e.g. by moving cards one at a time from the bottom of one or the other of the packets to the top of the sorted deck). Beginning with an ordered set (1 rising sequence), mathematically a riffle shuffle is defined as a permutation on this set containing 1 or 2 rising sequences.[1] The permutations with 1 rising sequence are the identity permutations.

As a special case of this, a -shuffle, for numbers and with , is a riffle in which the first packet has cards and the second packet has cards.[2]

Combinatorial enumeration

Since a -shuffle is completely determined by how its first elements are mapped, the number of -shuffles is

However, the number of distinct riffles is not quite the sum of this formula over all choices of and adding to (which would be ), because the

identity permutation
can be represented in multiple ways as a -shuffle for different values of and . Instead, the number of distinct riffle shuffle permutations of a deck of cards, for , is

1, 2, 5, 12, 27, 58, 121, 248, 503, 1014, ... (sequence A000325 in the OEIS)

More generally, the formula for this number is ; for instance, there are 4503599627370444 riffle shuffle permutations of a 52-card deck.

The number of permutations that are both a riffle shuffle permutation and the inverse permutation of a riffle shuffle is[3]

For , this is

1, 2, 5, 11, 21, 36, 57, 85, 121, 166, 221, ... (sequence A050407 in the OEIS)

and for there are exactly 23427 invertible shuffles.

Random distribution

The

identity permutation
has probability of being generated, and all other riffle permutations have equal probability of being generated. Based on their analysis of this model, mathematicians have recommended that a deck of 52 cards be given seven riffles in order to thoroughly randomize it.[5]

Permutation patterns

A pattern in a permutation is a smaller permutation formed from a subsequence of some values in the permutation by reducing these values to the range from 1 to while preserving their order. Several important families of permutations can be characterized by a finite set of forbidden patterns, and this is true also of the riffle shuffle permutations: they are exactly the permutations that do not have 321, 2143, and 2413 as patterns.[3] Thus, for instance, they are a subclass of the vexillary permutations, which have 2143 as their only minimal forbidden pattern.[6]

Perfect shuffles

A perfect shuffle is a riffle in which the deck is split into two equal-sized packets, and in which the interleaving between these two packets strictly alternates between the two. There are two types of perfect shuffle, an

out shuffle, both of which can be performed consistently by some well-trained people. When a deck is repeatedly shuffled using these permutations, it remains much less random than with typical riffle shuffles, and it will return to its initial state after only a small number of perfect shuffles. In particular, a deck of 52 playing cards will be returned to its original ordering after 52 in shuffles or 8 out shuffles. This fact forms the basis of several magic tricks.[7]

Algebra

Riffle shuffles may be used to define the shuffle algebra. This is a Hopf algebra where the basis is a set of words, and the product is the shuffle product denoted by the sha symbol ш, the sum of all riffle shuffles of two words.

In exterior algebra, the wedge product of a -form and a -form can be defined as a sum over -shuffles.[2]

See also

  • Gilbreath permutations, the permutations formed by reversing one of the two packets of cards before riffling them

References

  1. ^ a b Weibel, Charles (1994). An Introduction to Homological Algebra, p. 181. Cambridge University Press, Cambridge.
  2. ^ .
  3. .
  4. New York Times
    .
  5. .
  6. .