Physical Sciences and Mathematics Commons^™

The Advection-Diffusion Equation And The Enhanced Dissipation Effect For Flows Generated By Hamiltonians, Michael Kumaresan

Dissertations, Theses, and Capstone Projects

We study the Cauchy problem for the advection-diffusion equation when the diffusive parameter is vanishingly small. We consider two cases - when the underlying flow is a shear flow, and when the underlying flow is generated by a Hamiltonian. For the former, we examine the problem on a bounded domain in two spatial variables with Dirichlet boundary conditions. After quantizing the system via the Fourier transform in the first spatial variable, we establish the enhanced-dissipation effect for each mode. For the latter, we allow for non-degenerate critical points and represent the orbits by points on a Reeb graph, with vertices …

Physical Applications Of The Geometric Minimum Action Method, George L. Poppe Jr.

Dissertations, Theses, and Capstone Projects

This thesis extends the landscape of rare events problems solved on stochastic systems by means of the \textit{geometric minimum action method} (gMAM). These include partial differential equations (PDEs) such as the real Ginzburg-Landau equation (RGLE), the linear Schroedinger equation, along with various forms of the nonlinear Schroedinger equation (NLSE) including an application towards an ultra-short pulse mode-locked laser system (MLL).

Additionally we develop analytical tools that can be used alongside numerics to validate those solutions. This includes the use of instanton methods in deriving state transitions for the linear Schroedinger equation and the cubic diffusive NLSE.

These analytical solutions are …

Infinitely Many Solutions To Asymmetric, Polyharmonic Dirichlet Problems, Edger Sterjo

Dissertations, Theses, and Capstone Projects

In this dissertation we prove new results on the existence of infinitely many solutions to nonlinear partial differential equations that are perturbed from symmetry. Our main theorems focus on polyharmonic Dirichlet problems with exponential nonlinearities, and are now published in Topol. Methods Nonlinear Anal. Vol. 50, No.1, (2017), 27-63. In chapter 1 we give an introduction to the problem, its history, and the perturbation argument itself. In chapter 2 we prove the variational principle of Bolle on the behavior of critical values under perturbation, and the variational principle of Tanaka on the existence of critical points of large augmented Morse …

Gradient Estimation For Attractor Networks, Thomas Flynn

Dissertations, Theses, and Capstone Projects

It has been hypothesized that neural network models with cyclic connectivity may be more powerful than their feed-forward counterparts. This thesis investigates this hypothesis in several ways. We study the gradient estimation and optimization procedures for several variants of these networks. We show how the convergence of the gradient estimation procedures are related to the properties of the networks. Then we consider how to tune the relative rates of gradient estimation and parameter adaptation to ensure successful optimization in these models. We also derive new gradient estimators for stochastic models. First, we port the forward sensitivity analysis method to the …

Asymptotic Counting Formulas For Markoff-Hurwitz Tuples, Ryan Ronan

Dissertations, Theses, and Capstone Projects

The Markoff equation is a Diophantine equation in 3 variables first studied in Markoff's celebrated work on indefinite binary quadratic forms. We study the growth of solutions to an n variable generalization of the Markoff equation, which we refer to as the Markoff-Hurwitz equation. We prove explicit asymptotic formulas counting solutions to this generalized equation with and without a congruence restriction. After normalizing and linearizing the equation, we show that all but finitely many solutions appear in the orbit of a certain semigroup of maps acting on finitely many root solutions. We then pass to an accelerated subsemigroup of maps …

Some Results In Combinatorial Number Theory, Karl Levy

Dissertations, Theses, and Capstone Projects

The first chapter establishes results concerning equidistributed sequences of numbers. For a given $d\in\mathbb{N}$, $s(d)$ is the largest $N\in\mathbb{N}$ for which there is an $N$-regular sequence with $d$ irregularities. We compute lower bounds for $s(d)$ for $d\leq 10000$ and then demonstrate lower and upper bounds $\left\lfloor\sqrt{4d+895}+1\right\rfloor\leq s(d)< 24801d^{3} + 942d^{2} + 3$ for all $d\geq 1$. In the second chapter we ask if $Q(x)\in\mathbb{R}[x]$ is a degree $d$ polynomial such that for $x\in[x_k]=\{x_1,\cdots,x_k\}$ we have $|Q(x)|\leq 1$, then how big can its lead coefficient be? We prove that there is a unique polynomial, which we call $L_{d,[x_k]}(x)$, with maximum lead coefficient under these constraints and construct an algorithm that generates $L_{d,[x_k]}(x)$.

Interstructure Lattices And Types Of Peano Arithmetic, Athar Abdul-Quader

Dissertations, Theses, and Capstone Projects

The collection of elementary substructures of a model of PA forms a lattice, and is referred to as the substructure lattice of the model. In this thesis, we study substructure and interstructure lattices of models of PA. We apply techniques used in studying these lattices to other problems in the model theory of PA.

In Chapter 2, we study a problem that had its origin in Simpson, who used arithmetic forcing to show that every countable model of PA has an expansion to PA^∗ that is pointwise definable. Enayat later showed that there are 2^ℵ₀ models with …

Some Metric Properties Of The Teichmüller Space Of A Closed Set In The Riemann Sphere, Nishan Chatterjee

Dissertations, Theses, and Capstone Projects

Let E be an infinite closed set in the Riemann sphere, and let T(E) denote its Teichmüller space. In this dissertation we study some metric properties of T(E). We prove Earle's form of Teichmüller contraction for T(E), holomorphic isometries from the open unit disk into T(E), extend Earle's form of Schwarz's lemma for classical Teichmüller spaces to T(E), and finally study complex geodesics and unique extremality for T(E).

Involute Analysis: Virtual Discourse, Memory Systems And Archive In The Involutes Of Thomas De Quincey, Kimberley A. Garcia

Dissertations, Theses, and Capstone Projects

Thomas De Quincey’s involutes inform metaphysical thought on memory and language, particularly concerning multiplicity and the virtual, repetition and difference. When co-opting the mathematic and mechanic involute in Suspiria de Profundis, De Quincey generates an interdisciplinary matrix for the semiotics underpinning his philosophy of language and theory of memory and experience. Involutes entangle and reproduce. De Quincey’s involute exposes the concrete and actual through which all experience accesses the abstract or virtual. The materiality of their informatics and technics provides a literary model and theoretical precursor to a combination of archive and systems theory. The textuality of involute system(s)—both …

Morphogenesis And Growth Driven By Selection Of Dynamical Properties, Yuri Cantor

Dissertations, Theses, and Capstone Projects

Organisms are understood to be complex adaptive systems that evolved to thrive in hostile environments. Though widely studied, the phenomena of organism development and growth, and their relationship to organism dynamics is not well understood. Indeed, the large number of components, their interconnectivity, and complex system interactions all obscure our ability to see, describe, and understand the functioning of biological organisms.

Here we take a synthetic and computational approach to the problem, abstracting the organism as a cellular automaton. Such systems are discrete digital models of real-world environments, making them more accessible and easier to study then their physical world …

Turaev Surfaces And Toroidally Alternating Knots, Seungwon Kim

Dissertations, Theses, and Capstone Projects

In this thesis, we study knots and links via their alternating diagrams on closed orientable surfaces. Every knot or link has such a diagram by a construction of Turaev, which is called the Turaev surface of the link. Links that have an alternating diagram on a torus were defined by Adams as toroidally alternating. For a toroidally alternating link, the minimal genus of its Turaev surface may be greater than one. Hence, these surfaces provide different topological measures of how far a link is from being alternating.

First, we classify link diagrams with Turaev genus one and two in terms …

Joint Laver Diamonds And Grounded Forcing Axioms, Miha Habič

Dissertations, Theses, and Capstone Projects

In chapter 1 a notion of independence for diamonds and Laver diamonds is investigated. A sequence of Laver diamonds for κ is joint if for any sequence of targets there is a single elementary embedding j with critical point κ such that each Laver diamond guesses its respective target via j. In the case of measurable cardinals (with similar results holding for (partially) supercompact cardinals) I show that a single Laver diamond for κ yields a joint sequence of length κ, and I give strict separation results for all larger lengths of joint sequences. Even though the principles get …

Manifold Convergence: Sewing Sequences Of Riemannian Manifolds With Positive Or Nonnegative Scalar Curvature, Jorge E. Basilio

Dissertations, Theses, and Capstone Projects

In this thesis, we develop a new method of performing surgery on 3-dimensional manifolds called "sewing" and use this technique to construct sequences of Riemannian manifolds with positive or nonnegative scalar curvature. The foundation of our method is a strengthening of the Gromov-Lawson tunnel construction which guarantees the existence of “tiny” and arbitrarily “short” tunnels. We study the limits of sequences of sewn spaces under the Gromov-Hausdorff (GH) and Sormani-Wenger Instrinsic-Flat (SWIF) distances and discuss to what extent the notion of scalar curvature extends to these spaces. We give three applications of the sewing technique to demonstrate that stability theorems …

Intercusp Geodesics And Cusp Shapes Of Fully Augmented Links, Rochy Flint

Dissertations, Theses, and Capstone Projects

We study the geometry of fully augmented link complements in the 3-sphere by looking at their link diagrams. We extend the method introduced by Thistlethwaite and Tsvietkova to fully augmented links and define a system of algebraic equations in terms of parameters coming from edges and crossings of the link diagrams. Combining it with the work of Purcell, we show that the solutions to these algebraic equations are related to the cusp shapes of fully augmented link complements. As an application we use the cusp shapes to study the commensurability classes of fully augmented links.

Elimination For Systems Of Algebraic Differential Equations, Richard Gustavson

Dissertations, Theses, and Capstone Projects

We develop new upper bounds for several effective differential elimination techniques for systems of algebraic ordinary and partial differential equations. Differential elimination, also known as decoupling, is the process of eliminating a fixed subset of unknown functions from a system of differential equations in order to obtain differential algebraic consequences of the original system that do not depend on that fixed subset of unknowns. A special case of differential elimination, which we study extensively, is the question of consistency, that is, if the given system of differential equations has a solution. We first look solely at the ``algebraic data" of …

Rewriting Methods In Groups With Applications To Cryptography, Gabriel Zapata

Dissertations, Theses, and Capstone Projects

In this thesis we describe how various rewriting methods in combinatorial group theory can be used to diffuse information about group elements, which makes it possible to use these techniques as an important constituent in cryptographic primitives. We also show that, while most group-based cryptographic primitives employ the complexity of search versions of algorithmic problems in group theory, it is also possible to use the complexity of decision problems, in particular the word problem, to claim security of relevant protocols.

Solving Algorithmic Problems In Finitely Presented Groups Via Machine Learning, Jonathan Gryak

Dissertations, Theses, and Capstone Projects

Machine learning and pattern recognition techniques have been successfully applied to algorithmic problems in free groups. In this dissertation, we seek to extend these techniques to finitely presented non-free groups, in particular to polycyclic and metabelian groups that are of interest to non-commutative cryptography.

As a prototypical example, we utilize supervised learning methods to construct classifiers that can solve the conjugacy decision problem, i.e., determine whether or not a pair of elements from a specified group are conjugate. The accuracies of classifiers created using decision trees, random forests, and N-tuple neural network models are evaluated for several non-free groups. …

Counting Rational Points, Integral Points, Fields, And Hypersurfaces, Joseph Gunther

Dissertations, Theses, and Capstone Projects

This thesis comes in four parts, which can be read independently of each other.

In the first chapter, we prove a generalization of Poonen's finite field Bertini theorem, and use this to show that the obvious obstruction to embedding a curve in some smooth surface is the only obstruction over perfect fields, extending a result of Altman and Kleiman. We also prove a conjecture of Vakil and Wood on the asymptotic probability of hypersurface sections having a prescribed number of singularities.

In the second chapter, for a fixed base curve over a finite field of characteristic at least 5, we …

Diophantine Approximation And The Atypical Numbers Of Nathanson And O'Bryant, David Seff

Dissertations, Theses, and Capstone Projects

For any positive real number $\theta > 1$, and any natural number $n$, it is obvious that sequence $\theta^{1/n}$ goes to 1. Nathanson and O'Bryant studied the details of this convergence and discovered some truly amazing properties. One critical discovery is that for almost all $n$, $\displaystyle\floor{\frac{1}{\fp{\theta^{1/n}}}}$ is equal to $\displaystyle\floor{\frac{n}{\log\theta}-\frac{1}{2}}$, the exceptions, when $n > \log_2 \theta$, being termed atypical $n$ (the set of which for fixed $\theta$ being named $\mcA_\theta$), and that for $\log\theta$ rational, the number of atypical $n$ is finite. Nathanson left a number of questions open, and, subsequently, O'Bryant developed a theory to answer most of these …

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

Dissertations, Theses, and Capstone Projects

The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background.

In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry’s original system AI was later expanded to the system PAI. The hallmark of Parry’s systems—and of …

Explicit Reciprocity Laws For Higher Local Fields, Jorge Florez

Dissertations, Theses, and Capstone Projects

In this thesis we generalize to higher dimensional local fields the explicit reciprocity laws of Kolyvagin for the Kummer pairing associated to a formal group. The formulas obtained describe the values of the pairing in terms of multidimensional p-adic differentiation, the logarithm of the formal group, the generalized trace and the norm on Milnor K-groups.

A Geometric Model Of Twisted Differential K-Theory, Byung Do Park

Dissertations, Theses, and Capstone Projects

We construct a model of even twisted differential K-theory when the underlying topological twist represents a torsion class. We use smooth U(1)-gerbes with connection as differential twists and twisted vector bundles with connection as cycles. The model we construct satisfies the axioms of Kahle and Valentino, including functoriality, naturality of twists, and the hexagon diagram. We also construct an odd twisted Chern character of a twisted vector bundle with an automorphism. In addition to our geometric model of twisted differential K-theory, we introduce a smooth variant of the Hopkins-Singer model of differential K-theory. We prove that our model is naturally …

Explicit Formulae And Trace Formulae, Tian An Wong

Dissertations, Theses, and Capstone Projects

In this thesis, motivated by an observation of D. Hejhal, we show that the explicit formulae of A. Weil for sums over zeroes of Hecke L-functions, via the Maass-Selberg relation, occur in the continuous spectral terms in the Selberg trace formula over various number fields. In Part I, we discuss the relevant parts of the trace formulae classically and adelically, developing the necessary representation theoretic background. In Part II, we show how show the explicit formulae intervene, using the classical formulation of Weil; then we recast this in terms of Weil distributions and the adelic formulation of Weil. As an …

On Sums Of Binary Hermitian Forms, Cihan Karabulut

Dissertations, Theses, and Capstone Projects

In one of his papers, Zagier defined a family of functions as sums of powers of quadratic polynomials. He showed that these functions have many surprising properties and are related to modular forms of integral weight and half integral weight, certain values of Dedekind zeta functions, Diophantine approximation, continued fractions, and Dedekind sums. He used the theory of periods of modular forms to explain the behavior of these functions. We study a similar family of functions, defining them using binary Hermitian forms. We show that this family of functions also have similar properties.

Some 2-Categorical Aspects In Physics, Arthur Parzygnat

Dissertations, Theses, and Capstone Projects

2-categories provide a useful transition point between ordinary category theory and infinity-category theory where one can perform concrete computations for applications in physics and at the same time provide rigorous formalism for mathematical structures appearing in physics. We survey three such broad instances. First, we describe two-dimensional algebra as a means of constructing non-abelian parallel transport along surfaces which can be used to describe strings charged under non-abelian gauge groups in string theory. Second, we formalize the notion of convex and cone categories, provide a preliminary categorical definition of entropy, and exhibit several examples. Thirdly, we provide a universal description …

On The Derivative Of 2-Holonomy For A Non-Abelian Gerbe, Cheyne J. Miller

Dissertations, Theses, and Capstone Projects

The local 2-holonomy for a non abelian gerbe with connection is first studied via a local zig-zag Hochschild complex. Next, by locally integrating the cocycle data for our gerbe with connection, and then glueing this data together, an explicit definition is offered for a global version of 2-holonomy. After showing this definition satisfies the desired properties for 2-holonomy, its derivative is calculated whereby the only interior information added is the integration of the 3-curvature. Finally, for the case when the surface being mapped into the manifold is a sphere, the derivative of 2-holonomy is extended to an equivariant closed form …

On The Free And G-Saturated Weight Monoids Of Smooth Affine Spherical Varieties For G=Sl(N), Won Geun Kim

Dissertations, Theses, and Capstone Projects

Let $X$ be an affine algebraic variety over $\mathbb{C}$ equipped with an action of a connected reductive group $G$. The weight monoid $\Gamma(X)$ of $X$ is the set of isomorphism classes of irreducible representations of $G$ that occur in the coordinate ring $\mathbb{C}[X]$ of $X$. Losev has shown that if $X$ is a smooth affine spherical variety, that is, if $X$ is smooth and $\mathbb{C}[X]$ is multiplicity-free as a representation of $G$, then $\Gamma(X)$ determines $X$ up to equivariant automorphism.

Pezzini and Van Steirteghem have recently obtained a combinatorial characterization of the weight monoids of smooth affine spherical varieties, using …

The Fourth Movement Of György Ligeti's Piano Concerto: Investigating The Musical-Mathematical Connection, Cynthia L. Wong

Dissertations, Theses, and Capstone Projects

This interdisciplinary study explores musical-mathematical analogies in the fourth movement of Ligeti’s Piano Concerto. Its aim is to connect musical analysis with the piece’s mathematical inspiration. For this purpose, the dissertation is divided into two sections. Part I (Chapters 1-2) provides musical and mathematical context, including an explanation of ideas related to Ligeti’s mathematical inspiration. Part II (Chapters 3-5) delves into an analysis of the rhythm, form, melody / motive, and harmony. Appendix A is a reduced score of the entire movement, labeled according to my analysis.

Cohomology Of Certain Polyhedral Product Spaces, Elizabeth A. Vidaurre

Dissertations, Theses, and Capstone Projects

The study of torus actions led to the discovery of moment-angle complexes and their generalization, polyhedral product spaces. Polyhedral products are constructed from a simplicial complex. This thesis focuses on computing the cohomology of polyhedral products given by two different classes of simplicial complexes: polyhedral joins (composed simplicial complexes) and $n$-gons. A homological decomposition of a polyhedral product developed by Bahri, Bendersky, Cohen and Gitler is used to derive a formula for the case of polyhedral joins. Moreover, methods from and results by Cai will be used to give a full description of the non-trivial cup products in a real …

Cayley Graphs Of Semigroups And Applications To Hashing, Bianca Sosnovski

Dissertations, Theses, and Capstone Projects

In 1994, Tillich and Zemor proposed a scheme for a family of hash functions that uses products of matrices in groups of the form $SL_2(F_{2^n})$. In 2009, Grassl et al. developed an attack to obtain collisions for palindromic bit strings by exploring a connection between the Tillich-Zemor functions and maximal length chains in the Euclidean algorithm for polynomials over $F_2$.

In this work, we present a new proposal for hash functions based on Cayley graphs of semigroups. In our proposed hash function, the noncommutative semigroup of linear functions under composition is considered as platform for the scheme. We will also …