Mathematics Commons^™

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, …

Evaluation Of Symmetric Functions And Boolean Functions Over Stochastic Input, Naifeng Liu

Dissertations, Theses, and Capstone Projects

In our daily life, we often face situations where we need to make precise judgments based on initially unknown information, while gathering all the evidence to make informed conclusions can be very costly. In this dissertation, we explore the problem of optimizing the decision-making process under uncertainty, and we focus on problems that can be found in both theoretical computer science and discrete mathematics. The primary goal is to develop approximation algorithms with guaranteed worst-case performance. These algorithms aim to minimize the expected cost of acquiring information necessary for evaluating fundamental functions, such as Boolean and symmetric functions. Furthermore, we …

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.

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 …

Fuglede's Conjecture In Some Finite Abelian Groups, Thomas Fallon

Dissertations, Theses, and Capstone Projects

This dissertation thoroughly examines Fuglede's Conjecture within some discrete settings, shedding light on its intricate details. Fuglede's Conjecture establishes a profound connection between the geometric property of being a tiling set and the analytical attribute of being a spectral set. By exploring the conjecture on various discrete settings, this thesis delves into the implications and ramifications of the conjecture, unraveling its implications within the field.

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.

An Explicit Construction Of Sheaves In Context, Tyler A. Bryson

Dissertations, Theses, and Capstone Projects

This document details the body of theory necessary to explicitly construct sheaves of sets on a site together with the development of supporting material necessary to connect sheaf theory with the wider mathematical contexts in which it is applied. Of particular interest is a novel presentation of the plus construction suitable for direct application to a site without first passing to the generated grothendieck topology.

Pairings In A Ring Spectrum-Based Bousfield-Kan Spectral Sequence, Jonathan Toledo

Dissertations, Theses, and Capstone Projects

Bousfield and Kan traditionally formulated their homotopy spectral sequence over a simplicial set X resolved with respect to a ring R. By considering an adequate category of ring spectra, one can take a ring spectrum E, create from it a functor of a triple on the category of simplicial sets, and build a cosimplicial simplicial set EX. The homotopy spectral sequence can then be formed over such cosimplicial spaces by a similar construction to the original. Pairings can be established on these spectral sequences, and, for nice enough spaces, these pairings on the E₂-terms coincide with certain …

Quantifying Separability In Limit Groups, Keino Brown

Dissertations, Theses, and Capstone Projects

We show that for any finitely generated non-abelian subgroup H of a limit group L, there exists a finite-index subgroup K which is fully residually H. This generalizes the result of Wilton that limit groups admit local retractions. We also show that for any finitely generated subgroup of a limit group, there is a finite-dimensional representation of the limit group which separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a limit group. This generalizes results of Louder, …

Analyzing Real Life Scenarios Through Linear And Exponential Functions Using Open Pedagogy., Lili Grigorian

Open Educational Resources

This assignment is on linear and exponential growth, which is connected to real life scenarios from students’ everyday life as well as teaches them financial responsibility and awareness of economic issues. Project has five parts. In part 1, students would use digital communication ability by creating a video about the topic from the knowledge they had prior to this project. In part 2 (the Mathematical part) they will use problem-solving and inquiry learning to better understand linear and exponential growth, in part 3 students will use global learning through reading to then annotate article and watch video to then discuss …

Mth 125 - Modeling With Exponential Functions, Stivi Manoku

Open Educational Resources

The file includes a variety of problems that emphasize the importance of modeling exponential growth and/or radioactive decay. Through different exercises and problems, the assignment goal is to improve their comprehension of exponential functions and hone their problem-solving abilities.

Number Theoretic Arithmetic Functions And Dirichlet Series, Ivan V. Morozov

Publications and Research

In this study, we will study number theoretic functions and their associated Dirichlet series. This study lay the foundation for deep research that has applications in cryptography and theoretical studies. Our work will expand known results and venture into the complex plane.

Mth 50 Syllabus, Koby Kohulan

Open Educational Resources

No abstract provided.

A Result In The Theory Of Twin Primes, Nelson Carella

Publications and Research

This article determines a lower bound for the number of twin primes $p$ and $p+2$ up to a large number $x$.

A Stronger Strong Schottky Lemma For Euclidean Buildings, Michael E. Ferguson

Dissertations, Theses, and Capstone Projects

We provide a criterion for two hyperbolic isometries of a Euclidean building to generate a free group of rank two. In particular, we extend the application of a Strong Schottky Lemma to buildings given by Alperin, Farb and Noskov. We then use this extension to obtain an infinite family of matrices that generate a free group of rank two. In doing so, we also introduce an algorithm that terminates in finite time if the lemma is applicable for pairs of certain kinds of matrices acting on the Euclidean building for the special linear group over certain discretely valued fields.

Precalculus, 3rd Edition, Thomas Tradler, Holly Carley

Open Educational Resources

This text, our third edition, contains notes for a course in precalculus as it is taught at New York City College of Technology, CUNY, where it is offered under the course number MAT 1375. Our approach is calculator-based. As of the third edition of this text, we use the Desmos graphing calculator to analyze and solve many of the examples studied in this course. An introduction to the Desmos graphing calculator appears in Chapter 4. Moreover, we are very grateful to be able to include in this edition many wonderful illustrations of the cartoon characters featured on the cover of …

Math 301: Abstract Algebra I, Nicholas Vlamis

Open Educational Resources

No abstract provided.

Logic, Co-Ordination And The Envelope Of Our Beliefs, Rohit J. Parikh

Publications and Research

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope.

Decision theory - or single agent game theory tells us when to make the best choice in a game of us against nature. But nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign.

Things …

Conflict Dynamics In Scale-Free Networks With Degree Correlations And Hierarchical Structure, Eduardo Jacobo-Villegas, Bibiana Obregón-Quintana, Lev Guzmán-Vargas, Larry S. Liebovitch

Publications and Research

We present a study of the dynamic interactions between actors located on complex networks with scale-free and hierarchical scale-free topologies with assortative mixing, that is, correlations between the degree distributions of the actors. The actor’s state evolves according to a model that considers its previous state, the inertia to change, and the influence of its neighborhood. We show that the time evolution of the system depends on the percentage of cooperative or competitive
interactions. For scale-free networks, we find that the dispersion between actors is higher when all interactions are either cooperative or competitive, while a balanced presence of interactions …

Asymptotic Classes, Pseudofinite Cardinality And Dimension, Alexander Van Abel

Dissertations, Theses, and Capstone Projects

We explore the consequences of various model-theoretic tameness conditions upon the behavior of pseudofinite cardinality and dimension. We show that for pseudofinite theories which are either Morley Rank 1 or uncountably categorical, pseudofinite cardinality in ultraproducts satisfying such theories is highly well-behaved. On the other hand, it has been shown that pseudofinite dimension is not necessarily well-behaved in all ultraproducts of theories which are simple or supersimple; we extend such an observation by constructing simple and supersimple theories in which pseudofinite dimension is necessarily ill-behaved in all such ultraproducts. Additionally, we have novel results connecting various forms of asymptotic classes …

The Local Lifting Problem For Curves With Quaternion Actions, George Mitchell

Dissertations, Theses, and Capstone Projects

The lifting problem asks whether one can lift Galois covers of curves defined over positive characteristic to Galois covers of curves over characteristic zero. The lifting problem has an equivalent local variant, which asks if a Galois extension of complete discrete valuation rings over positive characteristic, with algebraically closed residue field, can be lifted to characteristic zero. In this dissertation, we content ourselves with the study of the local lifting problem when the prime is 2, and the Galois group of the extension is the group of quaternions. In this case, it is known that certain quaternion extensions cannot be …

Generalization Of Bi-Canonical Degrees, Joseph Brennan, Laura Ghezzi, Jooyoun Hong, Wolmer Vasconcelos

Publications and Research

We discuss invariants of Cohen-Macaulay local rings that admit a canonical module ω. Attached to each such ring R, when ω is an ideal, there are integers–the type of R, the reduction number of ω–that provide valuable metrics to express the deviation of R from being a Gorenstein ring. In (Ghezzi et al. in JMS 589:506–528, 2017) and (Ghezzi et al. in JMS 571:55–74, 2021) we enlarged this list with the canonical degree and the bi-canonical degree. In this work we extend the bi-canonical degree to rings where ω is not necessarily an ideal. We also discuss generalizations to rings …

Preconditioned Iteractive Solvers For The 2d Helmholtz Equation Via Radial Basis Functions, Lina Wu

Publications and Research

In this paper, we discuss the solution solver for the linear system of equations arising from the discretized 2D Helmholtz equation using the radial basis functions. The coefficient matrix A that is generated from the discretization is dense and often ill-conditioned. This paper uses preconditioned iterative methods such as the General Minimal Residual method (GMRES) to solve the linear system. Different preconditioners are compared. Numerical experiments are conducted in order to provide a comparison of the convergence rates among various preconditioned linear systems. A further observation is made into the eigenvalue distributions and the choice of the shaping parameters during …

The Zariski-Riemann Space As A Universal Model For The Birational Geometry Of A Function Field, Giovan Battista Pignatti Morano Di Custoza

Dissertations, Theses, and Capstone Projects

Given a function field $K$ over an algebraically closed field $k$, we propose to use the Zariski-Riemann space $\ZR (K/k)$ of valuation rings as a universal model that governs the birational geometry of the field extension $K/k$. More specifically, we find an exact correspondence between ad-hoc collections of open subsets of $\ZR (K/k)$ ordered by quasi-refinements and the category of normal models of $K/k$ with morphisms the birational maps. We then introduce suitable Grothendieck topologies and we develop a sheaf theory on $\ZR (K/k)$ which induces, locally at once, the sheaf theory of each normal model. Conversely, given a sheaf …

Thickened Surfaces, Checkerboard Surfaces, And Quantum Link Invariants, Joseph W. Boninger

Dissertations, Theses, and Capstone Projects

This dissertation has two parts, each motivated by an open problem related to the Jones polynomial. The first part addresses the Volume Conjecture of Kashaev, Murakami, and Murakami. We define a polynomial invariant, J^T_n, of links in the thickened torus, which we call the nth toroidal colored Jones polynomial, and we show J^T_n satisfies many properties of the original colored Jones polynomial. Most significantly, J^T_n exhibits volume conjecture behavior. We prove a volume conjecture for the 2-by-2 square weave, and provide computational evidence for other links. We also give two equivalent constructions …

Prime Factors: America’S Prioritization Of Literacy Over Numeracy And Its Relationship To Systemic Inequity, Troy Smith

Dissertations, Theses, and Capstone Projects

For much of American history, literacy has been prioritized in K-12 education and society, at large, at the expense of numeracy. This lack of numerical emphasis has established innumeracy as an American cultural norm that has resulted in America not producing a sufficient number of numerate citizens, and ranking poorly on mathematical performance in international comparisons. This paper investigates the decisions and circumstances that led to this under prioritization, along with the public and cultural impact of said actions. Toward this end, literature regarding contemporary and historical influences on American mathematics education (e.g., civic, policy, and parental) was reviewed. The …

Trapped Surfaces, Topology Of Black Holes, And The Positive Mass Theorem, Lan-Hsuan Huang, Dan A. Lee

Publications and Research

No abstract provided.

Combinatorial Optimization With Photonics-Inspired Clock Models, Mostafa Honari-Latifpour, Matthew S. Mills, Mohammad-Ali Miri

Publications and Research

NP-hard combinatorial optimization problems are in general hard problems that their computational complexity grows faster than polynomial scaling with the size of the problem. Thus, over the years there has been a great interest in developing unconventional methods and algorithms for solving such problems. Here, inspired by the nonlinear optical process of q-photon down-conversion, in which a photon is converted into q degenerate lower energy photons, we introduce a nonlinear dynamical model that builds on coupled single-variable phase oscillators and allows for efficiently approximating the ground state of the classical q-state planar Potts Hamiltonian. This reduces the exhaustive search in …

Spin(7) Orientifolds And 2d N = (0, 1) Triality, Sebastían Franco, Alessandro Mininno, Ángel M. Uranga, Xingyang Yu

Publications and Research

We present a new, geometric perspective on the recently proposed triality of 2d N = (0, 1) gauge theories, based on its engineering in terms of D1-branes probing Spin(7) orientifolds. In this context, triality translates into the fact that multiple gauge theories correspond to the same underlying orientifold. We show how Spin(7) orientifolds based on a particular involution, which we call the universal involution, give rise to precisely the original version of N = (0, 1) triality. Interestingly, our work also shows that the space of possibilities is significantly richer. Indeed, general Spin(7) orientifolds extend triality to theories that can …

2d N = (0, 1) Gauge Theories And Spin(7) Orientifolds, Sebastían Franco, Alessandro Mininno, Ángel M. Uranga, Xingyang Yu

Publications and Research

We initiate the geometric engineering of 2d N = (0, 1) gauge theories on D1-branes probing singularities. To do so, we introduce a new class of backgrounds obtained as quotients of Calabi-Yau 4-folds by a combination of an anti-holomorphic involution leading to a Spin(7) cone and worldsheet parity. We refer to such constructions as Spin(7) orientifolds. Spin(7) orientifolds explicitly realize the perspective on 2d N = (0, 1) theories as real slices of N = (0, 2) ones. Remarkably, this projection is geometrically realized as Joyce’s construction of Spin(7) manifolds via quotients of Calabi-Yau 4-folds by antiholomorphic …