In 1947 Fine obtained an expression for the number a_p(n) of binomial
coefficients on row n of Pascal's triangle that are nonzero modulo p. One can
set up a recurrence for the number of integers 0 <= m <= n such that there are
b borrows involved in subtracting m from n in base p; Kummer's theorem renders
this recurrence as a generalization of Fine's theorem, giving a way to compute
the number a_{p^alpha}(n) of nonzero binomial coefficients modulo p^alpha.
The evaluation of iterated primitives of powers of logarithms is expressed in
closed form. The expressions contain polynomials with coefficients given in
terms of the harmonic numbers and their generalizations. The logconcavity of
these polynomials is established.
This paper studies the $p$-adic valuation of the sequence $\{F_n\}_{n \geq
1}$ of Fibonacci numbers from the perspective of regular sequences. We
establish that this sequence is $p$-regular for every prime $p$ and give an
upper bound on the rank for primes such that Wall's question has an affirmative
answer. We also point out that for primes $p \equiv 1,4 \mod 5$ the $p$-adic
valuation of $F_n$ depends only on the $p$-adic valuation of $n$ and on the sum
modulo $p-1$ of the base-$p$ digits of $n$ -- not the digits themselves or
their order.
This paper studies the $p$-adic valuation of the sequence $\{F_n\}_{n \geq
1}$ of Fibonacci numbers from the perspective of regular sequences. We
establish that this sequence is $p$-regular for every prime $p$ and give an
upper bound on the rank for primes such that Wall's question has an affirmative
answer. We also point out that for primes $p \equiv 1,4 \mod 5$ the $p$-adic
valuation of $F_n$ depends only on the $p$-adic valuation of $n$ and on the sum
modulo $p-1$ of the base-$p$ digits of $n$ -- not the digits themselves or
their order.
This paper is concerned with minimal length representatives of equivalence
classes of F_2 under Aut F_2. We give a simple inequality characterizing words
of minimal length in their equivalence class. We consider an operation that
"grows" words from other words, increasing the length, and we study root words
-- minimal words that cannot be grown from other words. Root words are "as
minimal as possible" in the sense that their characterization is the boundary
case of the minimality inequality.