Physical Sciences and Mathematics Commons^™

Bifurcations And Resultants For Rational Maps And Dynatomic Modular Curves In Positive Characteristic, Colette Lapointe

Dissertations, Theses, and Capstone Projects

No abstract provided.

Explicit Composition Identities For Higher Composition Laws In The Quadratic Case, Ajith A. Nair

Dissertations, Theses, and Capstone Projects

The theory of Gauss composition of integer binary quadratic forms provides a very useful way to compute the structure of ideal class groups in quadratic number fields. In addition to that, Gauss composition is also important in the problem of representations of integers by binary quadratic forms. In 2001, Bhargava discovered a new approach to Gauss composition which uses 2x2x2 integer cubes, and he proved a composition law for such cubes. Furthermore, from the higher composition law on cubes, he derived four new higher composition laws on the following spaces - 1) binary cubic forms, 2) pairs of binary quadratic …

Sigma_N-Correct Forcing Axioms, Benjamin P. Goodman

Dissertations, Theses, and Capstone Projects

I introduce a new family of axioms extending ZFC set theory, the Sigma_n-correct forcing axioms. These assert roughly that whenever a forcing name a' can be forced by a poset in some forcing class Gamma to have some Sigma_n property phi which is provably preserved by all further forcing in Gamma, then a' reflects to some small name such that there is already in V a filter which interprets that small name so that phi holds. Sigma_1-correct forcing axioms turn out to be equivalent to classical forcing axioms, while Sigma_2-correct forcing axioms for Sigma_2-definable forcing classes are consistent relative to …

Parabolic And Non-Parabolic Surfaces With Small Or Large End Spaces Via Fenchel-Nielsen Parameters, Michael Antony Pandazis

Dissertations, Theses, and Capstone Projects

We consider conditions on the Fenchel-Nielsen parameters of a Riemann surface X that determine whether or not a surface X is parabolic. Fix a geodesic pants decomposition of a surface and call the boundary geodesics in the decomposition cuffs. For a zero or half-twist flute surface, we prove that parabolicity is equivalent to the surface having a covering group of the first kind. Using that result, we give necessary and sufficient conditions on the Fenchel-Nielsen parameters of a half-twist flute surface X with increasing cuff lengths such that X is parabolic. As an application, we determine whether or not each …

Higher Diffeology Theory, Emilio Minichiello

Dissertations, Theses, and Capstone Projects

Finite dimensional smooth manifolds have been studied for hundreds of years, and a massive theory has been built around them. However, modern mathematicians and physicists are commonly dealing with objects outside the purview of classical differential geometry, such as orbifolds and loop spaces. Diffeology is a new framework for dealing with such generalized smooth spaces. This theory (whose development started in earnest in the 1980s) has started to catch on amongst the wider mathematical community, thanks to its simplicity and power, but it is not the only approach to dealing with generalized smooth spaces. Higher topos theory is another such …

New Algorithmic Support For The Fundamental Theorem Of Algebra, Vitaly Zaderman

Dissertations, Theses, and Capstone Projects

Univariate polynomial root-finding is a venerated subjects of Mathematics and Computational Mathematics studied for four millenia. In 1924 Herman Weyl published a seminal root-finder and called it an algorithmic proof of the Fundamental Theorem of Algebra. Steve Smale in 1981 and Arnold Schonhage in 1982 proposed to classify such algorithmic proofs in terms of their computational complexity. This prompted extensive research in 1980s and 1990s, culminated in a divide-and-conquer polynomial root-finder by Victor Pan at ACM STOC 1995, which used a near optimal number of bit-operations. The algorithm approximates all roots of a polynomial p almost as fast as one …

A Causal Inference Approach For Spike Train Interactions, Zach Saccomano

Dissertations, Theses, and Capstone Projects

Since the 1960s, neuroscientists have worked on the problem of estimating synaptic properties, such as connectivity and strength, from simultaneously recorded spike trains. Recent years have seen renewed interest in the problem coinciding with rapid advances in experimental technologies, including an approximate exponential increase in the number of neurons that can be recorded in parallel and perturbation techniques such as optogenetics that can be used to calibrate and validate causal hypotheses about functional connectivity. This thesis presents a mathematical examination of synaptic inference from two perspectives: (1) using in vivo data and biophysical models, we ask in what cases the …

Soundness And Completeness Results For The Logic Of Evidence Aggregation And Its Probability Semantics, Eoin Moore

Dissertations, Theses, and Capstone Projects

The Logic of Evidence Aggregation (LEA), introduced in 2020, offers a solution to the problem of evidence aggregation, but LEA is not complete with respect to the intended probability semantics. This left open the tasks to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this thesis we do both. We also develop the proof theory for some LEA-related logics and show surprising connections between LEA-related logics and Lax Logic.

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 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 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.

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.

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

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 …

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.

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.

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 …

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 …

A Geometric Model For Real And Complex Differential K-Theory, Matthew T. Cushman

Dissertations, Theses, and Capstone Projects

We construct a differential-geometric model for real and complex differential K-theory based on a smooth manifold model for the K-theory spectra defined by Behrens using spaces of Clifford module extensions. After writing representative differential forms for the universal Pontryagin and Chern characters we transgress these forms to all the spaces of the spectra and use them to define an abelian group structure on maps up to an equivalence relation that refines homotopy. Finally we define the differential K-theory functors and verify the axioms of Bunke-Schick for a differential cohomology theory.

Differentiability Of The Liouville Map Via Geodesic Currents, Xinlong Dong

Dissertations, Theses, and Capstone Projects

For a conformally hyperbolic Riemann surface, the Teichmüller space is the space of quasiconformal maps factored by an equivalence relation, and it is a complex Banach manifold. The space of geodesic currents endowed with the uniform weak* topology is a subset of a Fréchet space of Hölder distributions. We introduce an appropriate topology on the space of Hölder distributions and this new topology coincides with the uniform weak* topology on the space of geodesic currents. The Liouville map of the Teichmüller space becomes differentiable in the Fréchet sense. In particular, the derivative of Liouville currents exists and belongs to the …

Clifford Harmonics, Samuel L. Hosmer

Dissertations, Theses, and Capstone Projects

In 1980 Michelsohn defined a differential operator on sections of the complex Clifford bundle over a compact Kähler manifold M. This operator is a differential and its Laplacian agrees with the Laplacian of the Dolbeault operator on forms through a natural identification of differential forms with sections of the Clifford bundle. Relaxing the condition that M be Kähler, we introduce two differential operators on sections of the complex Clifford bundle over a compact almost Hermitian manifold which naturally generalize the one introduced by Michelsohn. We show surprising Kähler- like symmetries of the kernel of the Laplacians of these operators in …

Representing The Derivative Of Trace Of Holonomy, Jeffrey Peter Kroll

Dissertations, Theses, and Capstone Projects

Trace of holonomy around a fixed loop defines a function on the space of unitary connections on a hermitian vector bundle over a Riemannian manifold. Using the derivative of trace of holonomy, the loop, and a flat unitary connection, a functional is defined on the vector space of twisted degree 1 cohomology classes with coefficients in skew-hermitian bundle endomorphisms. It is shown that this functional is obtained by pairing elements of cohomology with a degree 1 homology class built directly from the loop and equipped with a flat section obtained from the variation of holonomy around the loop. When the …

Hierarchical Hyperbolicity Of Graph Products And Graph Braid Groups, Daniel James Solomon Berlyne

Dissertations, Theses, and Capstone Projects

This thesis comprises three original contributions by the author concerning hierarchical hyperbolicity, a coarse geometric tool developed by Behrstock, Hagen, and Sisto to provide a common framework for studying aspects of non-positive curvature in a wide variety of groups and spaces.

We show that any graph product of finitely generated groups is hierarchically hyperbolic relative to its vertex groups. We apply this to answer two questions of Genevois about the electrification of a graph product of finite groups. We also answer two questions of Behrstock, Hagen, and Sisto: we show that the syllable metric on a graph product forms a …

Some Model Theory Of Free Groups, Christopher James Natoli

Dissertations, Theses, and Capstone Projects

There are two main sets of results, both pertaining to the model theory of free groups. In the first set of results, we prove that non-abelian free groups of finite rank at least 3 or of countable rank are not A-homogeneous. We then build on the proof of this result to show that two classes of groups, namely finitely generated free groups and finitely generated elementary free groups, fail to form A-Fraisse classes and that the class of non-abelian limit groups fails to form a strong A-Fraisse class.

The second main result is that if a countable group is elementarily …

Spectral Sequences For Almost Complex Manifolds, Qian Chen

Dissertations, Theses, and Capstone Projects

In recent work, two new cohomologies were introduced for almost complex manifolds: the so-called J-cohomology and N-cohomology [CKT17]. For the case of integrable (complex) structures, the former cohomology was already considered in [DGMS75], and the latter agrees with de Rham cohomology. In this dissertation, using ideas from [CW18], we introduce spectral sequences for these two cohomologies, showing the two cohomologies have natural bigradings. We show the spectral sequence for the J-cohomology converges at the second page whenever the almost complex structure is integrable, and explain how both fit in a natural diagram involving Bott-Chern cohomology and the Frolicher spectral sequence. …

Role Of Influence In Complex Networks, Nur Dean

Dissertations, Theses, and Capstone Projects

Game theory is a wide ranging research area; that has attracted researchers from various fields. Scientists have been using game theory to understand the evolution of cooperation in complex networks. However, there is limited research that considers the structure and connectivity patterns in networks, which create heterogeneity among nodes. For example, due to the complex ways most networks are formed, it is common to have some highly “social” nodes, while others are highly isolated. This heterogeneity is measured through metrics referred to as “centrality” of nodes. Thus, the more “social” nodes tend to also have higher centrality.

In this thesis, …

Growth Of Conjugacy Classes Of Reciprocal Words In Triangle Groups, Blanca T. Marmolejo

Dissertations, Theses, and Capstone Projects

In this thesis we obtain the growth rates for conjugacy classes of reciprocal words for triangle groups of the form G = Z2 ∗ H where H is finitely generated and does not contain an order 2 element. We explore cases where H is infinite cyclic and finite cyclic. The quotient O = H/G is an orbifold and contains a cone point of order 2, due to the first factor Z2 in the free product G. The reciprocal words in G correspond to geodesics on O which pass through the order 2 cone point on O. We use methods from …