Sums of products of binomial coefficients mod 2 and 2-regular sequences

Narad Rampersad,Max Wiebe

2023-09-08

Abstract:Wu showed that certain sums of products of binomial coefficients modulo 2 are given by the run length transforms of several famous linear recurrence sequences, such as the positive integers, the Fibonacci numbers, the extended Lucas numbers, and Narayana's cows sequence. In this paper we show that the run length transform of such sequences are 2-regular sequences. This allows us to obtain Wu's results and some new ones using the computer program Walnut, eliminating the need for long technical proofs.

Number Theory,Formal Languages and Automata Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the calculation of the product of binomial coefficients and modulo 2, and explores the relationship between these sums and the run - length transforms of some well - known linear recurrence sequences (such as the sequence of positive integers, the Fibonacci sequence, the extended Lucas sequence and Narayana's cattle sequence).

Specifically, the author studied the sum of the following form:
\[ T(n)=\sum_{k = 0}^{n}\binom{a_{1}n + a_{2}k}{a_{3}n + a_{4}k}\binom{n}{k}\pmod{2} \]
where \(a_{1}+a_{2}\geq0\) and \(a_{3}+a_{4}\geq0\). Wu [6] showed that for some values of \(a_{1}, a_{2}, a_{3}, a_{4}\), the sequence defined by (1.1) can be obtained by the run - length transforms of some well - known linear recurrence sequences.

The main contribution of this paper lies in proving that the sequences of these run - length transforms are 2 - regular sequences. This enables the author to use the computer program Walnut to obtain Wu's results as well as some new results without having to carry out lengthy technical proofs.

### Key points summary:

1. **Problem background**: Study the properties of the product of binomial coefficients and modulo 2.
2. **Objective**: Relate these sums to the run - length transforms of well - known linear recurrence sequences.
3. **Method**: Prove that the sequences of these run - length transforms are 2 - regular sequences and use the Walnut automation tool to simplify the proof process.
4. **New results**: Some new results are obtained through Walnut, avoiding complex manual proofs.

By this method, the author not only verifies Wu's results, but also discovers some new run - length transforms and provides the specific expressions of these transforms.