Garden of Eden States in Austrian Solitaire

Introduced by Akin and Davis in 1985, Austrian Solitaire is a two-parameter variation of the better known Bulgarian Solitaire that constrains part sizes. We count the valid states in Austrian Solitaire and also the number of states with no preimage, known as Garden of Eden states. Connecting these two quantities involves new results about preimages in the system. Our tools for this work include bijective proofs and generating functions.