Determining Combinatorial Sums Using Roots of Unity
CSEF · 2013 Mathematics & Software
Overview
Objectives/Goals The objective is to determine an algorithmically efficient closed-sum formula for the combinatorial sum nC0 + nCc + nC(2c) + nC(3c) + ... Methods/Materials Following a compilation of relevant background research and lemmas regarding roots of unity and Euler's formula, several numerical examples were analyzed in order to prove the main formula. Subsequently, the mechanics of the proof were discussed through an explanation of a clever application of the Binomial Theorem and its relation to the lemmas. The main formula was then further generalized to produce a corollary and various extensions. Finally, a Java program was developed to explore the efficiency of the main formula and its potential applications. Results The cyclic nature of roots of unity working in tandem with the combinatorial coefficients of the Binomial Theorem proved an especially powerful tool in "filtering" terms - with the appropriate substitutions, desired terms remained while unwanted ones were subsequently cancelled out. Using complexity analysis, simple computation of the combinatorial sum was determined to be O(n^2/c) while the main formula was O(c*log(n)). Conclusions/Discussion The project successfully determined an efficient formula for computing specific combinatorial series. The increased efficiency is especially important in large computations in applications such as encryption in computer science.
Summary statement
This project seeks to use the Binomial Theorem and roots of unity to prove an efficient formula for calculating combinatorial sums.
Help received
n/a
Competition history
- CSEF 2013
Resources
Related projects
ISEF · 2026
Universal Matrices for Counting Fibo-Multinomial and C-Multinomial Coefficients With a Cryptographic Application
ISEF · 2025
Matrix Product Formulas for Generating Functions for p-adic Valuations of Generalized Binomial Coefficients
CSEF · 2013
A Generalized Formula for the A-th Element of a N-Nacci Recursive Sequence Using Complex Residues
CSEF · 2017
Factorization of Recurrence Relations
ISEF · 2024
Fibonacci Analogues of Legendre's Formula and Fine's Theorem
CSEF · 2016
A Combinatorial Proof for the Geometric Series, Binomial Theorem, and the Square of a Polynomial with Tiling
CSEF · 2018
Factorizing Delayed Powers of Generalized Fibonacci Sequence
ISEF · 2020
Pythagorean Triples in the Pascal Triangle: A Computational and Algebraic Approach
Closest projects by meaning, across every fair and year in the corpus.
Browse more like this
Source: California Science & Engineering Fair public projects