Number Theory Commons^™

Three Imprimitive Character Sums, Brad Isaacson

Publications and Research

We express three imprimitive character sums in terms of generalized Bernoulli numbers. These sums are generalizations of sums introduced and studied by Arakawa, Berndt, Ibukiyama, Kaneko and Ramanujan in the context of modular forms and theta function identities. As a corollary, we obtain a formula for cotangent power sums considered by Apostol.

The Plus-Minus Davenport Constant Of Finite Abelian Groups, Darleen S. Perez-Lavin

Theses and Dissertations--Mathematics

Let G be a finite abelian group, written additively. The Davenport constant, D(G), is the smallest positive number s such that any subset of the group G, with cardinality at least s, contains a non-trivial zero-subsum. We focus on a variation of the Davenport constant where we allow addition and subtraction in the non-trivial zero-subsum. This constant is called the plus-minus Davenport constant, D_±(G). In the early 2000’s, Marchan, Ordaz, and Schmid proved that if the cardinality of G is less than or equal to 100, then the D_±(G) …

The Smallest Solution Of An Isotropic Quadratic Form, Deborah H. Blevins

Theses and Dissertations--Mathematics

An isotropic quadratic form f(x₁,...,x_n) = ∑ ⁿ_i=1 ∑ ⁿ_j=1 f_ijx_ix_j defined on a Z- lattice has a smallest solution, where the size of the solution is measured using the infinity norm (∥ ∥_∞), the l₁ norm (∥ ∥₁), or the Euclidean norm (∥ ∥₂). Much work has been done to find the least upper bound and greatest lower bound on the smallest solution, beginning with Cassels in the mid-1950’s. Defining F := (f₁₁,...,f …

Solubility Of Additive Forms Over Local Fields, Drew Duncan

Theses and Dissertations--Mathematics

Michael Knapp, in a previous work, conjectured that every additive sextic form over $\mathbb{Q}_2(\sqrt{-1})$ and $\mathbb{Q}_2(\sqrt{-5})$ in seven variables has a nontrivial zero. In this dissertation, I show that this conjecture is true, establishing that $$\Gamma^*(6, \mathbb{Q}_2(\sqrt{-1})) = \Gamma^*(6, \mathbb{Q}_2(\sqrt{-5})) = 7.$$ I then determine the minimal number of variables $\Gamma^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=2m$, $m$ odd, $m \ge 3$ over the six ramified quadratic extensions of $\mathbb{Q}_2$. We prove that if $$K \in \{\mathbb{Q}_2(\sqrt{2}), \mathbb{Q}_2(\sqrt{10}), \mathbb{Q}_2(\sqrt{-2}), \mathbb{Q}_2(\sqrt{-10})\},$$ then $$\Gamma^*(d,K) = \frac{3}{2}d,$$ and if $$K \in \{\mathbb{Q}_2(\sqrt{-1}), \mathbb{Q}_2(\sqrt{-5})\},$$ then $$\Gamma^*(d,K) = …

Tiling Representations Of Zeckendorf Decompositions, John Lentfer

HMC Senior Theses

Zeckendorf’s theorem states that every positive integer can be decomposed uniquely into a sum of non-consecutive Fibonacci numbers (where f₁ = 1 and f₂ = 2). Previous work by Grabner and Tichy (1990) and Miller and Wang (2012) has found a generalization of Zeckendorf’s theorem to a larger class of recurrent sequences, called Positive Linear Recurrence Sequences (PLRS’s). We apply well-known tiling interpretations of recurrence sequences from Benjamin and Quinn (2003) to PLRS’s. We exploit that tiling interpretation to create a new tiling interpretation specific to PLRS’s that captures the behavior of the generalized Zeckendorf’s theorem.

On Properties Of Positive Semigroups In Lattices And Totally Real Number Fields, Siki Wang

CMC Senior Theses

In this thesis, we give estimates on the successive minima of positive semigroups in lattices and ideals in totally real number fields. In Chapter 1 we give a brief overview of the thesis, while Chapters 2 – 4 provide expository material on some fundamental theorems about lattices, number fields and height functions, hence setting the necessary background for the original results presented in Chapter 5. The results in Chapter 5 can be summarized as follows. For a full-rank lattice L ⊂ Rd, we are concerned with the semigroup L+ ⊆ L, which denotes the set of all vectors with nonnegative …

Solving Neutrosophic Linear Equations Systems Using Symbolic Computation (Resolucion De Sistemas De Ecuaciones Lineales Neutrosóficas Mediante Computación Simbólica), Maykel Leyva-Vazquez, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we apply the concept of neutrosophic numbers to solve a systems of neutrophic linear equations using symbolic computation. Also, we utilize Jupyter, which is supported in Google Colaboratory for performing symbolic computation. The sympy library of Python is used to perform the process of neutrosophic computation. Systems of neutrosophic linear equations are solved through symbolic computation in Python. A case study was developed for the determination of vehicular traffic with indeterminacy. This king of computation opens new ways to deal with indeterminacy in real-world problems.

Amm Problem #12219, Brad Isaacson

Publications and Research

No abstract provided.

A Twisted Generalization Of The Classical Dedekind Sum, Brad Isaacson

Publications and Research

In this paper, we express three different, yet related, character sums in terms of generalized Bernoulli numbers. Two of these sums are generalizations of sums introduced and studied by Berndt and Arakawa–Ibukiyama–Kaneko in the context of the theory of modular forms. A third sum generalizes a sum already studied by Ramanujan in the context of theta function identities. Our methods are elementary, relying only on basic facts from algebra and number theory.

On Generating Functions In Additive Number Theory, Ii: Lower-Order Terms And Applications To Pdes, J. Brandes, Scott T. Parsell, C. Poulias, G. Shakan, R. C. Vaughn

Mathematics Faculty Publications

We obtain asymptotics for sums of the form

Sigma(p)(n=1) e(alpha(k) n(k) + alpha(1)n),

involving lower order main terms. As an application, we show that for almost all alpha(2) is an element of [0, 1) one has

sup(alpha 1 is an element of[0,1)) | Sigma(1 <= n <= P) e(alpha(1)(n(3) + n) + alpha(2)n(3))| << P3/4+epsilon,

and that in a suitable sense this is best possible. This allows us to improve bounds for the fractal dimension of solutions to the Schrodinger and Airy equations.

Sum Of Cubes Of The First N Integers, Obiamaka L. Agu

Electronic Theses, Projects, and Dissertations

In Calculus we learned that 􏰅Sum^{n}_{k=1} k = [n(n+1)]/2 , that Sum^{􏰅n}_{k=1} k^2 = [n(n+1)(2n+1)]/6 , and that Sum^{n}_{k=1} k^{3} = (n(n+1)/2)^{2}. These formulas are useful when solving for the area below quadratic or cubic function over an interval [a, b]. This tedious process, solving for areas under a quadratic or a cubic, served as motivation for the introduction of Riemman integrals. For the overzealous math student, these steps were replaced by a simpler method of evaluating antiderivatives at the endpoints a and b. From my recollection, a former instructor informed us to do the value of memorizing these formulas. …

On The Local Theory Of Profinite Groups, Mohammad Shatnawi

Dissertations

Let G be a finite group, and H be a subgroup of G. The transfer homomorphism emerges from the natural action of G on the cosets of H. The transfer was first introduced by Schur in 1902 [22] as a construction in group theory, which produce a homomorphism from a finite group G into H/H^' an abelian group where H is a subgroup of G and H' is the derived group of H. One important first application is Burnside’s normal p-complement theorem [5] in 1911, although he did not use the transfer homomorphism explicitly to prove it. …

The Name Tag Problem, Christian Carley

Rose-Hulman Undergraduate Mathematics Journal

The Name Tag Problem is a thought experiment that, when formalized, serves as an introduction to the concept of an orthomorphism of $\Zn$. Orthomorphisms are a type of group permutation and their graphs are used to construct mutually orthogonal Latin squares, affine planes and other objects. This paper walks through the formalization of the Name Tag Problem and its linear solutions, which center around modular arithmetic. The characterization of which linear mappings give rise to these solutions developed in this paper can be used to calculate the exact number of linear orthomorphisms for any additive group Z/nZ, which is demonstrated …

New Theorems For The Digraphs Of Commutative Rings, Morgan Bounds

Rose-Hulman Undergraduate Mathematics Journal

The digraphs of commutative rings under modular arithmetic reveal intriguing cycle patterns, many of which have yet to be explained. To help illuminate these patterns, we establish a set of new theorems. Rings with relatively prime moduli a and b are used to predict cycles in the digraph of the ring with modulus ab. Rings that use Pythagorean primes as their modulus are shown to always have a cycle in common. Rings with perfect square moduli have cycles that relate to their square root.

Decision Making On Teachers’ Adaptation To Cybergogy In Saturated Interval- Valued Refined Neutrosophic Overset /Underset /Offset Environment, Florentin Smarandache, Nivetha Martin, Priya R.

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic overset, neutrosophic underset and neutrosophic offset introduced by Smarandache are the special kinds of neutrosophic sets with values beyond the range [0,1] and these sets are pragmatic in nature as it represents the real life situations. This paper introduces the concept of saturated refined neutrosophic sets and extends the same to the special kinds of neutrosophic sets. The proposed concept is applied in decision making on Teacher’s adaptation to cybergogy. The decision making environment is characterized by different types of teachers, online teaching skills and various training methods. Fuzzy relation is used to match the most suitable method to …

Numerical Computations Of Vortex Formation Length In Flow Past An Elliptical Cylinder, Matthew Karlson, Bogdan Nita, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

We examine two dimensional properties of vortex shedding past elliptical cylinders through numerical simulations. Specifically, we investigate the vortex formation length in the Reynolds number regime 10 to 100 for elliptical bodies of aspect ratio in the range 0.4 to 1.4. Our computations reveal that in the steady flow regime, the change in the vortex length follows a linear profile with respect to the Reynolds number, while in the unsteady regime, the time averaged vortex length decreases in an exponential manner with increasing Reynolds number. The transition in profile is used to identify the critical Reynolds number which marks the …

Arithmetical Structures On Paths With A Doubled Edge, Darren B. Glass, Joshua R. Wagner

Math Faculty Publications

An arithmetical structure on a graph is given by a labeling of the vertices that satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical structures for graphs in these families.

Small Gaps Between Almost Primes, The Parity Problem, And Some Conjectures Of Erdős On Consecutive Integers Ii, Daniel A. Goldston, Sidney W. Graham, Apoorva Panidapu, Janos Pintz, Jordan Schettler, Cem Y. Yıldırım

Faculty Publications

We show that for any positive integer n, there is some fixed A such that d(x) = d(x +n) = A infinitely often where d(x) denotes the number of divisors of x. In fact, we establish the stronger result that both x and x +n have the same fixed exponent pattern for infinitely many x. Here the exponent pattern of an integer x > 1is the multiset of nonzero exponents which appear in the prime factorization of x.

Cross-Cultural Comparisons: The Art Of Computing The Greatest Common Divisor, Mary K. Flagg

Number Theory

No abstract provided.

Multiparty Non-Interactive Key Exchange And More From Isogenies On Elliptic Curves, Dan Boneh, Darren B. Glass, Daniel Krashen, Kristin Lauter, Shahed Sharif, Alice Silverberg, Mehdi Tibouchi, Mark Zhandry

Math Faculty Publications

We describe a framework for constructing an efficient non-interactive key exchange (NIKE) protocol for n parties for any n ≥ 2. Our approach is based on the problem of computing isogenies between isogenous elliptic curves, which is believed to be difficult. We do not obtain a working protocol because of a missing step that is currently an open mathematical problem. What we need to complete our protocol is an efficient algorithm that takes as input an abelian variety presented as a product of isogenous elliptic curves, and outputs an isomorphism invariant of the abelian variety.

Our framework builds a cryptographic …

Averages And Nonvanishing Of Central Values Of Triple Product L-Functions Via The Relative Trace Formula, Bin Guan

Dissertations, Theses, and Capstone Projects

Harris and Kudla (2004) proved a conjecture of Jacquet, that the central value of a triple product L-function does not vanish if and only if there exists a quaternion algebra over which a period integral of three corresponding automorphic forms does not vanish. Moreover, Gross and Kudla (1992) established an explicit identity relating central L-values and period integrals (which are finite sums in their case), when the cusp forms are of prime levels and weight 2. Böcherer, Schulze-Pillot (1996) and Watson (2002) generalized this identity to more general levels and weights, and Ichino (2008) proved an adelic period formula which …

Quadratic Packing Polynomials On Sectors Of R2, Kaare S. Gjaldbaek

Dissertations, Theses, and Capstone Projects

A result by Fueter-Pólya states that the only quadratic polynomials that bijectively map the integral lattice points of the first quadrant onto the non-negative integers are the two Cantor polynomials. We study the more general case of bijective mappings of quadratic polynomials from the lattice points of sectors defined as the convex hull of two rays emanating from the origin, one of which falls along the x-axis, the other being defined by some vector. The sector is considered rational or irrational according to whether this vector can be written with rational coordinates or not. We show that the existence of …

The Distribution Of The Greatest Common Divisor Of Elements In Quadratic Integer Rings, Asimina S. Hamakiotes

Student Theses and Dissertations

For a pair of quadratic integers n and m chosen randomly, uniformly, and independently from the set of quadratic integers of norm x or less, we calculate the probability that the greatest common divisor of (n,m) is k. We also calculate the expected norm of the greatest common divisor (n,m) as x tends to infinity, with explicit error terms. We determine the probability and expected norm of the greatest common divisor for quadratic integer rings that are unique factorization domains. We also outline a method to determine the probability and expected norm of the greatest …

An In-Depth Look At P-Adic Numbers, Xiaona Zhou

Publications and Research

In this study, we consider $p$-adic numbers. We will also study the $p$-adic norm representation of real number, which is defined as $\mathbb{Q}_p = \{\sum_{j=m}^{\infty }a_j p^j: a_j \in \mathbb{D}_p, m\in\mathbb{Z}, a_m\neq 0\} \cup \{0\}$, where $p$ is a prime number. We explore properties of the $p$-adics by using examples. In particular, we will show that $\sqrt{6},i \in \mathbb{Q}_5$ and $\sqrt{2} \in \mathbb{Q}_7 $. $p$-adic numbers have a wide range of applicationsnin fields such as string theory, quantum mechanics, and transportation in porous disordered media in geology.

Combinatorial And Asymptotic Statistical Properties Of Partitions And Unimodal Sequences, Walter Mcfarland Bridges

LSU Doctoral Dissertations

Our main results are asymptotic zero-one laws satisfied by the diagrams of unimodal sequences of positive integers. These diagrams consist of columns of squares in the plane; the upper boundary is called the shape. For various types of unimodal sequences, we show that, as the number of squares tends to infinity, 100% of shapes are near a certain curve---that is, there is a single limit shape. Similar phenomena have been well-studied for integer partitions, but several technical difficulties arise in the extension of such asymptotic statistical laws to unimodal sequences. We develop a widely applicable method for obtaining these limit …

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 …

Local-Global Principles For Diophantine Equations, Benjamin Barham

Senior Honors Theses

The real number field, denoted ℝ, is the most well-known extension field of ℚ, the field of rational numbers, but it is not the only one. For each prime p, there exists an extension field ℚ_p of ℚ, and these fields, known as the p-adic fields, have some properties substantially different from ℝ. In this paper, we construct the p-adic numbers from the ground up and discuss the local-global principle, which concerns connections between solutions of equations found in ℚ and in ℚ_p. We state the Hasse-Minkowski theorem, which addresses a type …

Symmetric Presentations And Related Topics, Mayra Mcgrath

Electronic Theses, Projects, and Dissertations

In this thesis, we have investigated several permutation and monomialprogenitors for finite images. We have found original symmetric presen-tations for several important non-abelian simple groups, including lineargroups, unitary groups, alternating groups, and sporadic simple groups.We have found a number of finite images, including : L(2,41), PSL(2,11)×2, L(2,8), and L(2,19), as homomorphic images of the permutation progenitors. We have also found PGL(2,16) : 2 =Aut(PSL(2,16)) and PSL(2,16) as homomorphic images of monomial progenitors. We have performed manual double coset enumeration of finte images. In addition, we have given the isomorphism class of each image that we have discovered. Presentation for all …

Collaboration (Reacting To The Past/Math/History/Writing), James Hayashi

Q2S Enhancing Pedagogy

This is an assignment for a Freshman level course in the College of Natural Science. By the end students will have an understanding of valid research, collaboration and communication skills. Faculty that chooses to use this assignment will be preparing students for an active learning environment, and understanding a “Big Idea”, valid research, technology and communication skills.

Faculty should give an example of what is valid research. As students are completing this assignment mini deadlines (check-ins) shall be set. With the check-ins for this assignment focus on how the group will communicate the check point and the collaboration.

The focus …

Arithmetic Of Binary Cubic Forms, Gennady Yassiyevich

Dissertations, Theses, and Capstone Projects

The goal of the thesis is to establish composition laws for binary cubic forms. We will describe both the rational law and the integral law. The rational law of composition is easier to describe. Under certain conditions, which will be stated in the thesis, the integral law of composition will follow from the rational law. The end result is a new way of looking at the law of composition for integral binary cubic forms.