Mathematics Commons^™

On Loop Commutators, Quaternionic Automorphic Loops, And Related Topics, Mariah Kathleen Barnes

Electronic Theses and Dissertations

This dissertation deals with three topics inside loop and quasigroup theory. First, as a continuation of the project started by David Stanovský and Petr Vojtĕchovský, we study the commutator of congruences defined by Freese and McKenzie in order to create a more pleasing, equivalent definition of the commutator inside of loops. Moreover, we show that the commutator can be characterized by the generators of the inner mapping group of the loop. We then translate these results to characterize the commutator of two normal subloops of any loop.

Second, we study automorphic loops with the desire to find more examples of …

Local-Global Results On Discrete Structures, Alexander Lewis Stevens

Electronic Theses and Dissertations

Local-global arguments, or those which glean global insights from local information, are central ideas in many areas of mathematics and computer science. For instance, in computer science a greedy algorithm makes locally optimal choices that are guaranteed to be consistent with a globally optimal solution. On the mathematical end, global information on Riemannian manifolds is often implied by (local) curvature lower bounds. Discrete notions of graph curvature have recently emerged, allowing ideas pioneered in Riemannian geometry to be extended to the discrete setting. Bakry- Émery curvature has been one such successful notion of curvature. In this thesis we use combinatorial …

Guide To The Dr. L.S. Dederick Papers, 1908-1956, Undated, Orson Kingsley, Patrick Koetsch

Archives & Special Collections Finding Aids

Louis Serle (L.S.) Dederick was born in Chicago in 1883. He received his Ph.D. in Mathematics from Harvard University in 1909. From 1909 – 1917 he was a professor at Princeton University. From 1917 – 1924 he was professor at the U.S. Naval Academy in Annapolis, Maryland. In 1926 Dederick began working for the U.S. Army, Ordnance. During his time there he was the Associate Director of the Ballistic Research Laboratory at the Aberdeen Proving Grounds in Aberdeen, Maryland where he focused on ballistics research.

While Dederick worked as a mathematician at the Aberdeen Proving Grounds, he was involved with …

A New Non-Inheriting Homogeneous Solution Of The Einstein-Maxwell Equations With Cosmological Term, Charles G. Torre

Research Vignettes

No abstract provided.

Reductions Of 2 -Dimensional Semistable Representations With Large L -Invariant, John Bergdall, Brandon Levin, Tong Liu

Mathematics Faculty Research and Scholarship

We determine reductions of 2 -dimensional, irreducible, semistable, and non-crystalline representations of Gal(ℚ𝑝/ℚ𝑝) with Hodge–Tate weights 0<𝑘−1 and with L -invariant whose p-adic norm is sufficiently large, depending on k. Our main result provides the first systematic examples of the reductions for 𝑘≥𝑝 .

A Predictive Model To Predict Cyberattack Using Self-Normalizing Neural Networks, Oluwapelumi Eniodunmo

Theses, Dissertations and Capstones

Cyberattack is a never-ending war that has greatly threatened secured information systems. The development of automated and intelligent systems provides more computing power to hackers to steal information, destroy data or system resources, and has raised global security issues. Statistical and Data mining tools have received continuous research and improvements. These tools have been adopted to create sophisticated intrusion detection systems that help information systems mitigate and defend against cyberattacks. However, the advancement in technology and accessibility of information makes more identifiable elements that can be used to gain unauthorized access to systems and resources. Data mining and classification tools …

Results On The Generalized Covering Radius Of Error Correcting Codes, Benjamin Langton

HMC Senior Theses

The recently proposed generalized covering radius is a fundamental property of error correcting codes. This quantity characterizes the trade off between time and space complexity of certain algorithms when a code is used in them. However, for the most part very little is known about the generalized covering radius. My thesis seeks to expand on this field in several ways. First, a new upper bound on this quantity is established and compared to previous bounds. Second, this bound is used to derive a new algorithm for finding codewords within the generalized covering radius of a given vector, and also to …

Beta Invariant And Chromatic Uniqueness Of Wheels, Sooyeon Lee, Haidong Wu

Faculty and Student Publications

A graph G is chromatically unique if its chromatic polynomial completely determines the graph. An n-spoked wheel, Wn, is shown to be chromatically unique when n ≥ 4 is even [S.-J. Xu and N.-Z. Li, The chromaticity of wheels, Discrete Math. 51 (1984) 207–212]. When n is odd, this problem is still open for n ≥ 15 since 1984, although it was shown by di erent researchers that the answer is no for n = 5, 7, yes for n = 3, 9, 11, 13, and unknown for other odd n. We use the beta invariant of matroids to prove …

Banach Spaces On Topological Ramsey Structures, Cheng-Chih Ko

Electronic Theses and Dissertations

A Banach space T₁(d, θ) with a Tsirelson-type norm is constructed on the top of the topological Ramsey space T₁ defined by Dobrinen and Todorcevic [6]. Finite approximations of the isomorphic subtrees are utilised in constructing the norm. The subspace on each “branch” of the tree is shown to resemble the structure of an ℓ_∞ⁿ⁺¹ -space where the dimension corresponds to the number of terminal nodes on that branch. The Banach space T₁(d, θ) is isomorphic to (∑_n∊ℕ⊕ℓ_∞ⁿ⁺¹)_p , where d ∈ ℕ with d ≥ 2, …

On The Total Set Chromatic Number Of Graphs, Mark Anthony C. Tolentino, Gerone Russel J. Eugenio, Mari-Jo P. Ruiz

Mathematics Faculty Publications

Given a vertex coloring c of a graph, the neighborhood color set of a vertex is defined to be the set of all of its neighbors’ colors. The coloring c is called a set coloring if any two adjacent vertices have different neighborhood color sets. The set chromatic number χs(G) of a graph G is the minimum number of colors required in a set coloring of G. In this work, we investigate a total analog of set colorings, that is, we study set colorings of the total graph of graphs. Given a graph G = (V; E); its total graph …

Algebraic Invariants Of Knot Diagrams On Surfaces, Ryan Martinez

HMC Senior Theses

In this thesis we first give an introduction to knots, knot diagrams, and algebraic structures defined on them accessible to anyone with knowledge of very basic abstract algebra and topology. Of particular interest in this thesis is the quandle which "colors" knot diagrams. Usually, quandles are only used to color knot diagrams in the plane or on a sphere, so this thesis extends quandles to knot diagrams on any surface and begins to classify the fundamental quandles of knot diagrams on the torus.

This thesis also breifly looks into Niebrzydowski Tribrackets which are a different algebraic structure which, in future …

An Exploration Of Voting With Partial Orders, Mason Acevedo

HMC Senior Theses

In this thesis, we discuss existing ideas and voting systems in social choice theory. Specifically, we focus on the Kemeny rule and the Borda count. Then, we begin trying to understand generalizations of these voting systems in a setting where voters can submit partial rankings on their ballot, instead of complete rankings.

Exploring The Complex Relationship Between Engineering Students Math Experiences And Identity Formation, Jill Davishahl, Joseph Brobst, Elizabeth Litzler, Andrew Klein, Sura Alqudah

Division of Research and Economic Development Faculty & Staff Publications

This paper shares the experiences of a group of S-STEM scholarship students as they progressed through their first year of undergraduate mathematics education including a math placement exam, a math focused bridge program, and calculus course(s). In addition, connections between student experiences and their math identity development were investigated with the goal of better understanding math identity formation. The authors used a mixed-methods approach to explore the math-related experiences of 12 students over the first year of participation in an NSF-funded S-STEM program. Data includes answers to select survey questions and transcripts of student focus groups. First, each student case …

On The Finiteness Of Quantum K-Theory Of A Homogeneous Space, D. Anderson, Linda Chen, H.-H. Tseng

Mathematics & Statistics Faculty Works

We show that the product in the quantum K-ring of a generalized flag manifold G/P involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the J-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory. An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.

On The Polytopal Generalization Of Sperner’S Lemma, Amit Harlev

HMC Senior Theses

We introduce and prove Sperner’s lemma, the well known combinatorial analogue of the Brouwer fixed point theorem, and then attempt to gain a better understanding of the polytopal generalization of Sperner’s lemma conjectured in Atanassov (1996) and proven in De Loera et al. (2002). After explaining the polytopal generalization and providing examples, we present a new, simpler proof of a slightly weaker result that helps us better understand the result and why it is correct. Some ideas for how to generalize this proof to the complete result are discussed. In the last two chapters we provide a brief introduction to …

Search Under Uncertainty Should Be Randomized: A Lesson From The 2021 Nobel Prize In Medicine, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

In many real-life situations, we know that one of several objects has the desired property, but we do not know which one. To find the desired object, we need to test these objects one by one. In situations when we have no additional information, there is no reason to prefer any testing order and thus, a usual recommendation is to test them in any order. This is usually interpreted as ordering the objects in the increasing value of some seemingly unrelated quantity. A possible drawback of this approach is that it may turn out that the selected quantity is correlated …

Topics In Moufang Loops, Riley Britten

Electronic Theses and Dissertations

We will begin by discussing power graphs of Moufang loops. We are able to show that as in groups the directed power graph of a Moufang loop is uniquely determined by the undirected power graph. In the process of proving this result we define the generalized octonion loops, a variety of Moufang loops which behave analogously to the generalized quaternion groups. We proceed to investigate para-F quasigroups, a variety of quasigroups which we show are antilinear over Moufang loops. We briefly depart from the context of Moufang loops to discuss solvability in general loops. We then prove some results on …

Games For One, Games For Two: Computationally Complex Fun For Polynomial-Hierarchical Families, Kye Shi

HMC Senior Theses

In the first half of this thesis, we explore the polynomial-time hierarchy, emphasizing an intuitive perspective that associates decision problems in the polynomial hierarchy to combinatorial games with fixed numbers of turns. Specifically, problems in �� are thought of as 0-turn games, ���� as 1-turn “puzzle” games, and in general ��ₖ�� as ��-turn games, in which decision problems answer the binary question, “can the starting player guarantee a win?” We introduce the formalisms of the polynomial hierarchy through this perspective, alongside definitions of ��-turn CIRCUIT SATISFIABILITY games, whose ��ₖ��-completeness is assumed from prior work (we briefly justify this assumption …

What's New In Differentialgeometry Release Dg2022, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This Maple worksheet demonstrates the salient new features and functionalities of the 2022 release of the DifferentialGeometry software package.

Integral Representations Of Sl_2(Z/Nz), Yatin Dinesh Patel

Wayne State University Dissertations

The aim of this work is to determine for which commutative rings integral representations of SL_2(Z/nZ) exist and to explicitly compute them. We start with R = Z/pZ and then consider Z=p^\lambda Z. A new approach will be used to do this based on the Weil representation. We then consider general finite rings Z/nZ by extending methods described in [26]. We make extensive use of group theory, linear representations of finite groups, ring theory, algebraic geometry, and number theory. From number theory we will employ results regarding modular forms, Legendre symbols, Hilbert symbols, and quadratic forms. We consider the works …