Master’s Thesis Presentation • Computer Algebra | Symbolic Computation • Sparse and Scalable Modular Arithmetic

Tuesday, December 17, 2024 1:30 pm - 2:30 pm EST (GMT -05:00)

Please note: This master’s thesis presentation will take place in DC 2310.

Benjamin Chen, Master’s candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Eugene Zima, George Labahn

Modular arithmetic is a crucial concept in computer algebra and finds extensive use in applications such as cryptography, polynomial GCD computations, and solving linear systems. This thesis investigates methods to enhance the efficiency of modular arithmetic by focusing on choosing sparse and scalable moduli. A contribution of this work is the exploration of a balanced binary representation, which provides the sparest way to represent integers.

Techniques that convert to and from RNS (Residue Number System) using special form moduli (e.g., Mersenne type, Fermat type, and “trinomial” type) are also studied, demonstrating significant speedups over conventional division methods. The thesis also explores different schemes to generate scalable moduli sets. One important result is the discovery of a close relation between the inverses of the moduli in sparse balanced binary form and the inverses under a polynomial setting. This relation allows for the generation of scalable moduli sets with Fermat type numbers.

We test the proposed improvements on modular arithmetic on a two-layer modular arithmetic scheme that leverages scalable moduli to improve the efficiency of RNS (Residue Number System) conversion and modular inverses to show the effectiveness of modular arithmetic with sparse and scalable moduli. Benchmark results demonstrate significant computational advantages achieved through these methods, offering scalable solutions for large integer operations.