Mathematics Commons^™

Primitive Pythagorean Triples In Lean And Reduction Modulo Odd Prime Powers, Luke Biddle

Mathematical Sciences Undergraduate Honors Theses

Primitive Pythagorean triples (PPTs) are (a,b,c) triples that satisfy the Pythagorean theorem and share no other common factors outside of 1. This project examines these PPTs reduction modulo odd prime powers by combining proof writing and number-theoretical analysis with the process of verification and formalization in the Lean proof coding language. Using the parameterization of PPTs generated by using the unit circle with additional conditions, we investigate how these triples behave modulo  for odd primes , with emphasis on counting the number of elements in the set of PPTs (a,b,c) modulo pⁿ . By using cases based on initial …

Incremental Increases Between Successive Integers When Raised To The Nth Power, Sutton J. Olesen

Rose-Hulman Undergraduate Mathematics Journal

For thousands of years, the beautiful field of number theory has captivated mathematicians with its elegant simplicity. Positive integers continue to reveal properties and relationships that are a joy to uncover, and in this paper, we investigate a pattern involving exponents and factorials while exploring some common notations in the field of number theory. Combinatorics, the field dealing with the mathematics of counting and arranging, also holds a presence in this paper. Pascal’s Triangle–the foundation of binomial expressions, also comes into play due to its tight relationship with combinatorics. Pascal’s Identity, the property that builds the triangle, becomes very useful …

A Practical Rule Of Divisibility By 7 In Uqlīdisī’S Kitāb Al-Fuṣūl Fī Al-Ḥisāb Al-Hindī, Müjdat Takıcak, Mertkan Şimşek

Journal of Humanistic Mathematics

There are many known examples of divisibility rules in modern mathematics. However, some of these rules are far from being practical, such as the current divisibility rule by 7. A far more useful method can be found in the work of the tenth-century Islamic mathematician Abū al-Ḥasan al-Uqlīdisī (d. 980), who proposed a divisibility rule for 7 in his treatise Kitāb al-Fuṣūl fī al-Ḥisāb al-Hindī. Compared to modern techniques, Uqlīdisī’s rule is both simpler and more practical. This article (re)introduces this rule, and provides an exposition of the mathematical reasoning that underpins it.

Explicit Modularity And Moments For Certain Hypergeometric Character Sums, Brian Grove

LSU Doctoral Dissertations

A great deal of progress in number theory throughout history has been motivated by trying to solve equations. One of the most famous challenges is to show there are no positive integer solutions to $x^{n}+y^{n} = z^{n}$ for $n > 2$, posed by Fermat around 1637. Special cases, such as the $n = 3$ and $n = 4$ cases, can be established using various algebraic manipulations. However, a general solution was elusive until the late 1990s when the combined work of Wiles \cite{Wiles} and Taylor--Wiles \cite{TaylorWiles} give a full proof.

One of the key insights used in proving Fermat's conjecture involves …

Strong Neighborhood-Prime Labelings Under Ordinary & Gaussian Integers, Micheal Arnal-Brown

Murray State Theses and Dissertations

This thesis introduces and studies the notion of a strong neighborhood-prime labeling, a strengthening of the neighborhood-prime labeling where the label 1 can be assigned to any vertex in a graph. We prove that several graph families—including paths, cycles (excluding those congruent to 2 modulo 4), caterpillars, helm graphs, closed helm graphs, gear graphs, and graphs with universal vertices—admit such labelings, and also provide results to more general classes of graphs. We extend this new labeling concept to the Gaussian integers using a spiral order- ing on Z[i] and define a Gaussian analogue of strongly neighborhood-primeness. To support this extension, …

On The Limitations And Restrictions Of The Hardy-Littlewood Circle Method, Daniel W. Havens

Mathematics & Statistics ETDs

We discuss herein the history, layout, and philosophy of the Hardy-Littlewood Circle method, as well as the more modern renditions thereof. The limitations and scope of each method presented is discussed in detail, providing examples of cases where the failure of the circle method is of relevance. We include a summary of famous problems which have been resolved using each methodology, as well as what limitations each methodology showcases.

An Exploration Of The Sums Of Two Squares And Pentagonal Numbers, Jacob Von Tress

Mathematics Senior Capstone Papers

In the field of number theory, square numbers are very significant, and finding the sums of square numbers is a topic of certain interest to mathematicians. The most immediate application for adding together two square numbers is to identify Pythagorean triples. However, apart from seeking sums of two squares that are squares themselves, interesting patterns emerge that have fascinated number theorists for decades. Particularly, the distribution of a number’s divisors can explicitly determine how many ways that number can be written as a sum of two squares. Furthermore, pentagonal numbers, similar to square numbers, can be visualized by drawing a …

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.

Extreme Covering Systems, Primes Plus Squarefrees, And Lattice Points Close To A Helix, Jack Robert Dalton

Theses and Dissertations

This dissertation considers three different topics.

In the first part, we prove that if the least modulus of a distinct covering system is 4, its largest modulus is at least 60; also, if the least modulus is 3, the least common multiple of the moduli is at least 120; finally, if the least modulus is 4, the least common multiple of the moduli is at least 360. The constants 60, 120, and 360 are best possible, they cannot be replaced by larger constants. We also show that there do not exist distinct covering systems with all of the moduli in …

The Solution Of A Problem Of Searching For Three Numbers, Of Which The Sum, Product, And The Sum Of Their Products Taken Two At A Time, Are Square Numbers, Mark R. Snavely, Philip Woodruff

Euleriana

This paper first appeared in Novi Commentarii academiae scientiarum Petropolitanae, Volume 8, pp. 64-73 and is reprinted in Opera Omnia: Series 1, Volume 2, pp.519-530. Its Eneström number is E270. Euler improves his results significantly in "On Three Square Numbers, of Which the Sum and the Sum of Products Two Apiece will be a Square" (E523).

A Proof Of A Generalization Of Niven's Theorem Using Algebraic Number Theory, Caroline Nunn

Rose-Hulman Undergraduate Mathematics Journal

Niven’s theorem states that the sine, cosine, and tangent functions are rational for only a few rational multiples of π. Specifically, for angles θ that are rational multiples of π, the only rational values of sin(θ) and cos(θ) are 0, ±½, and ±1. For tangent, the only rational values are 0 and ±1. We present a proof of this fact, along with a generalization, using the structure of ideals in imaginary quadratic rings. We first show that the theorem holds for the tangent function using elementary properties of Gaussian integers, before extending the approach to other imaginary quadratic rings. We …

Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas

Open Educational Resources

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …

Algorithms Related To Triangle Groups, Bao The Pham

LSU Doctoral Dissertations

Given a finite index subgroup of $\PSL_2(\Z)$, one can talk about the different properties of this subgroup. These properties have been studied extensively in an attempt to classify these subgroups. Tim Hsu created an algorithm to determine whether a subgroup is a congruence subgroup by using permutations \cite{hsu}. Lang, Lim, and Tan also created an algorithm to determine if a subgroup is a congruence subgroup by using Farey Symbols \cite{llt}. Sebbar classified torsion-free congruence subgroups of genus 0 \cite{sebbar}. Pauli and Cummins computed and tabulated all congruence subgroups of genus less than 24 \cite{ps}. However, there are still some problems …

Major Index Over Descent Distributions Of Standard Young Tableaux, Emily Anible

Dissertations, Master's Theses and Master's Reports

This thesis concerns the generating functions $f_{\lambda, k}(q)$ for standard Young tableaux of shape $\lambda$ with precisely $k$ descents, aiming to find closed formulas for a general form given by Kirillov and Reshetikhin in 1988. Throughout, we approach various methods by which further closed forms could be found. In Chapter 2 we give closed formulas for tableaux of any shape and minimal number of descents, which arise as principal specializations of Schur functions. We provide formulas for tableaux with three parts and one more than minimal number of descents, and demonstrate that the technique is extendable to any number of …

An Enticing Study Of Prime Numbers Of The Shape �� = ��^2 + ��^2, Xiaona Zhou

Publications and Research

We will study and prove important results on primes of the shape ��² + ��² using number theoretic techniques. Our analysis involves maps, actions over sets, fixed points and involutions. This presentation is readily accessible to an advanced undergraduate student and lay the groundwork for future studies.

On The Mersenne Prime Numbers, Julia Vanlandingham

Undergraduate Honors Thesis Projects

The prime numbers have been an important field of research for thousands of years and are intertwined with most other fields of mathematics. One topic that has piqued the interest of mathematicians young and old is the Mersenne prime numbers, which have applications in many mathematics and computer science fields. The Mersenne primes get a lot of attention because there is not much known about them. However, we do have a very simple primality test for Mersenne numbers, which is why the largest currently known primes are Mersenne primes. These primes are also very closely related to another class of …

The Last Digits Of Infinity (On Tetrations Under Modular Rings), William Stowe

Celebration of Learning

A tetration is defined as repeated exponentiation. As an example, 2 tetrated 4 times is 2^(2^(2^2)) = 2^16. Tetrated numbers grow rapidly; however, we will see that when tetrating where computations are performed mod n for some positive integer n, there is convergent behavior. We will show that, in general, this convergent behavior will always show up.

Pascal's Triangle Modulo N And Its Applications To Efficient Computation Of Binomial Coefficients, Zachary Warneke

Honors Program: Senior Projects (Public)

In this thesis, Pascal's Triangle modulo n will be explored for n prime and n a prime power. Using the results from the case when n is prime, a novel proof of Lucas' Theorem is given. Additionally, using both the results from the exploration of Pascal's Triangle here, as well as previous results, an efficient algorithm for computation of binomial coefficients modulo n (a choose b mod n) is described, and its time complexity is analyzed and compared to naive methods. In particular, the efficient algorithm runs in O(n log(a)) time (as opposed to …

Bounding The Number Of Compatible Simplices In Higher Dimensional Tournaments, Karthik Chandrasekhar

Theses and Dissertations--Mathematics

A tournament graph G is a vertex set V of size n, together with a directed edge set E ⊂ V × V such that (i, j) ∈ E if and only if (j, i) ∉ E for all distinct i, j ∈ V and (i, i) ∉ E for all i ∈ V. We explore the following generalization: For a fixed k we orient every k-subset of V by assigning it an orientation. That is, every facet of the (k − 1)-skeleton of the ( …

An Algorithm To Determine All Odd Primitive Abundant Numbers With D Prime Divisors, Jacob Liddy

Williams Honors College, Honors Research Projects

An abundant number is said to be primitive if none of its proper divisors are abundant. Dickson proved that for an arbitrary positive integer d there exists only finitely many odd primitive abundant numbers having exactly d prime divisors. In this paper we describe a fast algorithm that finds all primitive odd numbers with d unique prime divisors. We use this algorithm to find all the number of odd primitive abundant numbers with 6 unique Divisors. We use this algorithm to prove that an odd weird number must have at least 6 prime divisors.

Solving Diophantine Equations, Florentin Smarandache, Octavian Cira

Branch Mathematics and Statistics Faculty and Staff Publications

In recent times, we witnessed an explosion of Number Theory problems that are solved using mathematical software and powerful computers. The observation that the number of transistors packed on integrated circuits doubles every two years made by Gordon E. Moore in 1965 is still accurate to this day. With ever increasing computing power more and more mathematical problems can be tacked using brute force. At the same time the advances in mathematical software made tools like Maple, Mathematica, Matlab or Mathcad widely available and easy to use for the vast majority of the mathematical research community. This tools don’t only …

Integral Traces Of Weak Maass Forms Of Genus Zero Odd Prime Level, Nathan Eric Green

Theses and Dissertations

Duke and Jenkins defined a family of linear maps from spaces of weakly holomorphic modular forms of negative integral weight and level 1 into spaces of weakly holomorphic modular forms of half integral weight and level 4 and showed that these lifts preserve the integrality of Fourier coefficients. We show that the generalization of these lifts to modular forms of genus 0 odd prime level also preserves the integrality of Fourier coefficients.

Integer Compositions, Gray Code, And The Fibonacci Sequence, Linus Lindroos

College of Graduate Studies: Theses & Dissertations

In this thesis I show the relation of binary and Gray Code to integer compositions and the Fibonacci sequence through the use of analytic combinatorics, Zeckendorf's Theorem, and generating functions.

Coloring Problems, Thomas Antonio Charles Chartier

Boise State University Theses and Dissertations

This thesis considers several coloring problems all of which have a combinatorial flavor. We review some results on the chromatic number of the plane, and improve a bound on the value of regressive Ramsey numbers. The main work of this thesis considers the problem of whether given any n ≥ 1; one can color Z+ in such a way that for all a ϵ Z+ the numbers a, 2a, 3a, ..., na are assigned different colors. Such colorings are referred to as satisfactory. We provide a sufficient condition for guaranteeing the existence of satisfactory colorings and analyze the …

The Elliptic Curve Discrete Logarithm And Functional Graphs, Christopher J. Evans

Mathematical Sciences Technical Reports (MSTR)

The discrete logarithm problem, and its adaptation to elliptic curves, called the elliptic curve discrete logarithm problem (ECDLP) is an open problem in the field of number theory, and its applications to modern cryptographic algorithms are numerous. This paper focuses on a statistical analysis of a modification to the ECDLP, called the x-ECDLP, where one is only given the xcoordinate of a point, instead of the entire point. Focusing only on elliptic curves whose field of definition is smaller than the number of points, this paper attempts to find a statistical indication of underlying structure (or lack thereof) in the …

Mean Square Estimate For Primitive Lattice Points In Convex Planar Domains, Ryan D. Coatney

Theses and Dissertations

The Gauss circle problem in classical number theory concerns the estimation of N(x) = { (m1;m2) in ZxZ : m1^2 + m2^2 <= x }, the number of integer lattice points inside a circle of radius sqrt(x). Gauss showed that P(x) = N(x)- pi * x satisfi es P(x) = O(sqrt(x)). Later Hardy and Landau independently proved that P(x) = Omega_(x1=4(log x)1=4). It is conjectured that inf{e in R : P(x) = O(x^e )}= 1/4. I. K atai showed that the integral from 0 to X of |P(x)|^2 dx = X^(3/2) + O(X(logX)^2). Similar results to those of the circle have been obtained for regions D in R^2 which contain the origin and whose boundary dD satis fies suff cient smoothness conditions. Denote by P_D(x) the similar error term to P(x) only for the domain D. W. G. Nowak showed that, under appropriate conditions on dD, P_D(x) = Omega_(x1=4(log x)1=4) and that the integral from 0 to X of |P_D(x)|^2 dx = O(X^(3/2)). A result similar to Nowak's mean square estimate is given in the case where only "primitive" lattice points, {(m1;m2) in Z^2 : gcd(m1;m2) = 1 }, are counted in a region D, on assumption of the Riemann Hypothesis.

Derivatives Of The Dedekind Zeta Function Attached To A Complex Quadratic Field Extention, Nathan Salazar

Mahurin Honors College Capstone Experience/Thesis Projects

The Riemann Zeta Function is a function of vital importance in the study of number theory and other branches of mathematics. This is primarily due to its intrinsic link with the prime numbers of the ring of integers. The value of the Riemann Zeta Function at 0 and the values of the first few derivatives at 0 have been determined by various mathematicians. Apostol obtained a closed expression for the nth derivative of the Riemann Zeta Function at 0 that generalized previously known results. For higher derivatives, his result is useful for numerical computations. The Dedekind Zeta Function is a …

Considerationes Circa Analysin Diophanteam, Leonhard Euler

All Works by Eneström Number

No abstract provided.

Recherches Sur Le Probleme De Trois Nombres Carres Tels Que La Somme De Deux Quelconques Moins Le Troisieme Fasse Un Nombre Carre, Leonhard Euler

All Works by Eneström Number

No abstract provided.

Recherches Ulterueures Et Tres Curieuses Sur Le Probleme De Quatre Nombres Positifs Et Un Proportion Arithmetique Tels Que La Somme De Deux Quelconques Soit Toujours Un Nombre Carre, Leonhard Euler

All Works by Eneström Number

No abstract provided.