1 2 Journal of Integer Sequences, Vol. 23 (2020), 3 Article 20.3.3 47 6 23 11 Some Combinatorics of Factorial Base Representations Tyler Ball Joanne Beckford Clover Park High School University of Pennsylvania Lakewood, WA 98499 Philadelphia, PA 19104 USA USA
[email protected] [email protected] Paul Dalenberg Tom Edgar Department of Mathematics Department of Mathematics Oregon State University Pacific Lutheran University Corvallis, OR 97331 Tacoma, WA 98447 USA USA
[email protected] [email protected] Tina Rajabi University of Washington Seattle, WA 98195 USA
[email protected] Abstract Every non-negative integer can be written using the factorial base representation. We explore certain combinatorial structures arising from the arithmetic of these rep- resentations. In particular, we investigate the sum-of-digits function, carry sequences, and a partial order referred to as digital dominance. Finally, we describe an analog of a classical theorem due to Kummer that relates the combinatorial objects of interest by constructing a variety of new integer sequences. 1 1 Introduction Kummer’s theorem famously draws a connection between the traditional addition algorithm of base-p representations of integers and the prime factorization of binomial coefficients. Theorem 1 (Kummer). Let n, m, and p all be natural numbers with p prime. Then the n+m exponent of the largest power of p dividing n is the sum of the carries when adding the base-p representations of n and m. Ball et al. [2] define a new class of generalized binomial coefficients that allow them to extend Kummer’s theorem to base-b representations when b is not prime, and they discuss connections between base-b representations and a certain partial order, known as the base-b (digital) dominance order.