Number Theory Commons^™

Optimizing Buying Strategies In Dominion, Nikolas A. Koutroulakis

Rose-Hulman Undergraduate Mathematics Journal

Dominion is a deck-building card game that simulates competing lords growing their kingdoms. Here we wish to optimize a strategy called Big Money by modeling the game as a Markov chain and utilizing the associated transition matrices to simulate the game. We provide additional analysis of a variation on this strategy known as Big Money Terminal Draw. Our results show that player's should prioritize buying provinces over improving their deck. Furthermore, we derive heuristics to guide a player's decision making for a Big Money Terminal Draw Deck. In particular, we show that buying a second Smithy is always more optimal …

Solving Robert Wilson’S 𝑡 ≠ 2 Conjecture On Graham Sequences, Krishna Rajesh

HMC Senior Theses

Ron Graham's sequence is a surprising bijection from the natural numbers to the non-prime integers, which is constructed by looking at sequences whose product is square. In this thesis we will resolve a 22-year-old conjecture about this bijection, by construction of explicit sequences in a modified number theoretic context. Additionally, we will discuss the history of this problem, and give computational techniques for computing this bijection, levering ideas from linear algebra over the finite field of two elements.

Bridging Theory And Application: A Journey From Minkowski's Theorem To Ggh Cryptosystems In Lattice Theory, Danzhe Chen

CMC Senior Theses

This thesis provides a comprehensive exploration of lattice theory, emphasizing its dual significance in both theoretical mathematics and practical applications, particularly within computational complexity and cryptography. The study begins with an in-depth examination of the fundamental properties of lattices and progresses to intricate lattice-based problems such as the Shortest Vector Problem (SVP) and the Closest Vector Problem (CVP). These problems are analyzed for their computational depth and linked to the Subset Sum Problem (SSP) to highlight their critical roles in understanding computational hardness. The narrative then transitions to the practical applications of these theories in cryptography, evaluating the shift from …

Zeckendorf Representation Analysis On Third Order Fibonacci Sequences That Do Not Satisfy The Uniqueness Property, Samuel A. Aguilar

Honors College Theses

Zeckendorf's Theorem states that every natural number can be expressed uniquely as the sum of distinct non-consecutive terms of the shifted Fibonacci sequence (i.e. 1, 2, 3, 5, ...). This theorem has motivated the study of representation of integers by the sum of non-adjacent terms of Nth order Fibonacci sequences, including the characterization of the uniqueness of Zeckendorf representation based on the initial terms of the sequence. Moreover, when this uniqueness property is satisfied for third order Fibonacci sequences, the ratio of integers less than a given number X that have a Zeckendorf representation has been estimated by Dr. Sungkon …

Pairs Of Quadratic Forms Over P-Adic Fields, John Hall

Theses and Dissertations--Mathematics

Given two quadratic forms $Q_1, Q_2$ over a $p$-adic field $K$ in $n$ variables, we consider the pencil $\mathcal{P}_K(Q_1, Q_2)$, which contains all nontrivial $K$-linear combinations of $Q_1$ and $Q_2$. We define $D$ to be the maximal dimension of a subspace in $K^n$ on which $Q_1$ and $Q_2$ both vanish. We define $H$ to be the maximal number of hyperbolic planes that a form in $\mathcal{P}_K(Q_1, Q_2)$ splits off over $K$. We will determine which values for $(D, H)$ are possible for a nonsingular pair of quadratic forms over a $p$-adic field $K$.

Unveiling The Power Of Shor's Algorithm: Cryptography In A Post Quantum World, Dylan Phares

CMC Senior Theses

Shor's Algorithm is an extremely powerful tool, in utilizing this tool it is important to understand how it works and why it works. As well as the vast implications it could have for cryptography

Inexact Fixed-Point Proximity Algorithm For The ℓ₀ Sparse Regularization Problem, Ronglong Fang, Yuesheng Xu, Mingsong Yan

Mathematics & Statistics Faculty Publications

We study inexact fixed-point proximity algorithms for solving a class of sparse regularization problems involving the ℓ₀ norm. Specifically, the ℓ₀ model has an objective function that is the sum of a convex fidelity term and a Moreau envelope of the ℓ₀ norm regularization term. Such an ℓ₀ model is non-convex. Existing exact algorithms for solving the problems require the availability of closed-form formulas for the proximity operator of convex functions involved in the objective function. When such formulas are not available, numerical computation of the proximity operator becomes inevitable. This leads to inexact iteration algorithms. We investigate in this …

Paley Graphs, Prime Graphs, And Crossword Puzzles, Robert D. Jacobs Jr.

Theses and Dissertations

In this paper, we will talk about many different mathematical concepts. We will prove theorems about Paley graphs, prime graphs, and crossword puzzles. It will be very fun.

The results in the section about Paley graphs include structure theorems about the subgraph induced by the quadratic residues, the subgraph induced by the non-residues and a few related subgraphs. The main is to better understand the “independence structure” of the Paley graph itself. No good upper bound on the independence number of Paley graphs is known. Theorems about these subgraphs, and various counts aim at future improvement of upper bounds for …

The Vulnerabilities To The Rsa Algorithm And Future Alternative Algorithms To Improve Security, James Johnson

Cybersecurity Undergraduate Research Showcase

The RSA encryption algorithm has secured many large systems, including bank systems, data encryption in emails, several online transactions, etc. Benefiting from the use of asymmetric cryptography and properties of number theory, RSA was widely regarded as one of most difficult algorithms to decrypt without a key, especially since by brute force, breaking the algorithm would take thousands of years. However, in recent times, research has shown that RSA is getting closer to being efficiently decrypted classically, using algebraic methods, (fully cracked through limited bits) in which elliptic-curve cryptography has been thought of as the alternative that is stronger than …

Further Generalizations Of Happy Numbers, E. Simonton Williams

Rose-Hulman Undergraduate Mathematics Journal

A positive integer n is defined to be happy if iteration of the function taking the sum of the squares of the digits of n eventually reaches 1. In this paper we generalize the concept of happy numbers in several ways. First we confirm known results of Grundman and Teeple and establish further results extending the known structure of happy numbers to higher powers. Then we construct a similar function expanding the definition of happy numbers to negative integers. Working with this function, we prove a range of results paralleling those already proven for traditional and generalized happy numbers. Finally, …

Divisibility Probabilities For Products Of Randomly Chosen Integers, Noah Y. Fine

Rose-Hulman Undergraduate Mathematics Journal

We find a formula for the probability that the product of n positive integers, chosen at random, is divisible by some integer d. We do this via an inductive application of the Chinese Remainder Theorem, generating functions, and several other combinatorial arguments. Additionally, we apply this formula to find a unique, but slow, probabilistic primality test.

Rough Numbers And Variations On The Erdős--Kac Theorem, Kai Fan

Dartmouth College Ph.D Dissertations

The study of arithmetic functions, functions with domain N and codomain C, has been a central topic in number theory. This work is dedicated to the study of the distribution of arithmetic functions of great interest in analytic and probabilistic number theory.

In the first part, we study the distribution of positive integers free of prime factors less than or equal to any given real number y>=1. Denoting by Phi(x,y) the count of these numbers up to any given x>=y, we show, by a combination of analytic methods and sieves, that Phi(x,y)<0.6x/\log y holds uniformly for all 3<=y<=sqrt{x}, improving upon an earlier result of the author in the same range. We also prove numerically explicit estimates of the de Bruijn type for Phi(x,y) which are applicable in wide ranges.

In the second part, we turn …

On The Spectrum Of Quaquaversal Operators, Josiah Sugarman

Dissertations, Theses, and Capstone Projects

In 1998 Charles Radin and John Conway introduced the Quaquaversal Tiling. A three dimensional hierarchical tiling with the property that the orientations of its tiles approach a uniform distribution faster than what is possible for hierarchical tilings in two dimensions. The distribution of orientations is controlled by the spectrum of a certain Hecke operator, which we refer to as the Quaquaversal Operator. For example, by showing that the largest eigenvalue has multiplicity equal to one, Charles Radin and John Conway showed that the orientations of this tiling approach a uniform distribution. In 2008, Bourgain and Gamburd showed that this operator …

On The Order-Type Complexity Of Words, And Greedy Sidon Sets For Linear Forms, Yin Choi Cheng

Dissertations, Theses, and Capstone Projects

This work consists of two parts. In the first part, we study the order-type complexity of right-infinite words over a finite alphabet, which is defined to be the order types of the set of shifts of said words in lexicographical order. The set of shifts of any aperiodic morphic words whose first letter in the purely-morphic pre-image occurs at least twice in the pre-image has the same order type as Q ∩ (0, 1), Q ∩ (0, 1], or Q ∩ [0, 1). This includes all aperiodic purely-morphic binary words. The order types of uniform-morphic ternary words were also studied, …

On The Second Case Of Fermat's Last Theorem Over Cyclotomic Fields, Owen Sweeney

Dissertations, Theses, and Capstone Projects

We obtain a new simpler sufficient condition for Kolyvagin's criteria, regarding the second case of Fermat's last theorem with prime exponent p over the p-th cyclotomic field, to hold. It covers cases when the existing simpler sufficient conditions do not hold and is important for the theoretical study of the criteria.

Approaches To The Erdős–Straus Conjecture, Ivan V. Morozov

Publications and Research

The Erdős–Straus conjecture, initially proposed in 1948 by Paul Erdős and Ernst G. Straus, asks whether the equation 4/n = 1/x + 1/y + 1/z is solvable for all n ∈ N and some x, y, z ∈ N. This problem touches on properties of Egyptian fractions, which had been used in ancient Egyptian mathematics. There exist many partial solutions, mainly in the form of arithmetic progressions and therefore residue classes. In this work we explore partial solutions and aim to expand them.

Zeros Of Modular Forms, Daozhou Zhu

All Dissertations

Let $E_k(z)$ be the normalized Eisenstein series of weight $k$ for the full modular group $\text{SL}(2, \mathbb{Z})$. It is conjectured that all the zeros of the weight $k+\ell$ cusp form $E_k(z)E_\ell(z)-E_{k+\ell}(z)$ in the standard fundamental domain lie on the boundary. Reitzes, Vulakh and Young \cite{Reitzes17} proved that this statement is true for sufficiently large $k$ and $\ell$. Xue and Zhu \cite{Xue} proved the cases when $\ell=4,6,8$ with $k\geq\ell$, all the zeros of $E_k(z)E_\ell(z)-E_{k+\ell}(z)$ lie on the arc $|z|=1$. For all $k\geq\ell\geq10$, we will use the same method as \cite{Reitzes17} to locate these zeros on the arc $|z|=1$, and improve the …

Algebraic And Integral Closure Of A Polynomial Ring In Its Power Series Ring, Joseph Swanson

All Dissertations

Let R be a domain. We look at the algebraic and integral closure of a polynomial ring, R[x], in its power series ring, R[[x]]. A power series α(x) ∈ R[[x]] is said to be an algebraic power series if there exists F (x, y) ∈ R[x][y] such that F (x, α(x)) = 0, where F (x, y) ̸ = 0. If F (x, y) is monic, then α(x) is said to be an integral power series. We characterize the units of algebraic and integral power series. We show that the only algebraic power series with infinite radii of convergence are …

The Spectrum Of Nim-Values For Achievement Games For Generating Finite Groups, Bret J. Benesh, Dana C. Ernst, Nándor Sieben

Mathematics Faculty Publications

We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is {0, 1, 2, 3, 4}. This positively answers two conjectures from a previous paper by the last two authors.

One Formula For Non-Prime Numbers: Motivations And Characteristics, Mahmoud Mansour, Kamal Hassan Prof.

Basic Science Engineering

Primes are essential for computer encryption and cryptography, as they are fundamental units of whole numbers and are of the highest importance due to their mathematical qualities. However, identifying a pattern of primes is not easy. Thinking in a different way may get benefits, by considering the opposite side of the problem which means focusing on non-prime numbers. Recently, researchers introduced, the pattern of non-primes in two maximal sets while in this paper, non-primes are presented in one formula. Getting one-way formula for non-primes may pave the way for further applications based on the idea of primes.

Lagrange’S Study Of Wilson’S Theorem, Carl Lienert

Number Theory

No abstract provided.

Lagrange’S Proof Of Wilson’S Theorem—And More!, Carl Lienert

Number Theory

No abstract provided.

Lagrange’S Proof Of The Converse Of Wilson’S Theorem, Carl Lienert

Number Theory

No abstract provided.

Lagrange’S Alternate Proof Of Wilson’S Theorem, Carl Lienert

Number Theory

No abstract provided.

Some Thoughts On The 3 × 3 Magic Square Of Squares Problem, Desmond Weisenberg

Rose-Hulman Undergraduate Mathematics Journal

A magic square is a square grid of numbers where each row, column, and long diagonal has the same sum (called the magic sum). An open problem popularized by Martin Gardner asks whether there exists a 3×3 magic square of distinct positive square numbers. In this paper, we expand on existing results about the prime factors of elements of such a square, and then provide a full list of the ways a prime factor could appear in one. We also suggest a separate possible computational approach based on the prime signature of the center entry of the square.

(R2050) Dual Quaternion Matrices And Matlab Applications, Kemal Gökhan Nalbant, Salim Yüce

Applications and Applied Mathematics: An International Journal (AAM)

There are many studies in the literature on real quaternions and real quaternion matrices. There are few studies in the literature on dual quaternions. Definitions of the matrices of dual quaternions used in this study will be given. The originality of our research, the set of dual quaternion matrix we studied, will be defined for the first time in this study, and its properties will be given. Moreover, this study is critical because it is an applied study related to dual quaternion matrices. It will be easier to solve examples with large matrix sizes with MATLAB. People who use different …

Decomposition Of Beatty And Complementary Sequences, Geremías Polanco

Mathematics Sciences: Faculty Publications

In this paper we express the difference of two complementary Beatty sequences, as the sum of two Beatty sequences closely related to them. In the process we introduce a new Algorithm that generalizes the well known Minimum Excluded algorithm and provides a method to generate combinatorially any pair of complementary Beatty sequences.

The Sharp Bounds Of A Quasi-Isometry Of P-Adic Numbers In A Subset Real Plane, Kathleen Zopff

Undergraduate Theses

P-adic numbers are numbers valued by their divisibility by high powers of some prime, p. These numbers are an important concept in number theory that are used in major ideas such as the Reimann Hypothesis and Andrew Wiles’ proof of Fermat’s last theorem, and also have applications in cryptography. In this project, we will explore various visualizations of p-adic numbers. In particular, we will look at a mapping of p-adic numbers into the real plane which constructs a fractal similar to a Sierpinski p-gon. We discuss the properties of this map and give formulas for the sharp bounds of its …

Counting Elliptic Curves With A Cyclic M-Isogeny Over Q, Grant S. Molnar

Dartmouth College Ph.D Dissertations

Using methods from analytic number theory, for m > 5 and for m = 4, we obtain asymptotics with power-saving error terms for counts of elliptic curves with a cyclic m-isogeny up to quadratic twist over the rational numbers. For m > 5, we then apply a Tauberian theorem to achieve asymptotics with power saving error for counts of elliptic curves with a cyclic m-isogeny up to isomorphism over the rational numbers.

Unique Factorization In The Rings Of Integers Of Quadratic Fields: A Method Of Proof, Zachary Warren

Senior Honors Theses

It is a well-known property of the integers, that given any nonzero a ∈ Z, where a is not a unit, we are able to write a as a unique product of prime numbers. This is because the Fundamental Theorem of Arithmetic (FTA) holds in the integers and guarantees (1) that such a factorization exists, and (2) that it is unique. As we look at other domains, however, specifically those of the form O(√D) = {a + b√D | a, b ∈ Z, D a negative, squarefree integer}, we find that …