Physical Sciences and Mathematics Commons^™

A Categorical Formulation Of Algebraic Geometry, Bradley Willocks

Doctoral Dissertations

We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a ``spec datum" is introduced, as a certain relation between categories, of which one has been given a Grothendieck topology. A ``geometry" is interpreted as a sub-category of $\Omega$, and a formalism is given by which such a subcategory is to be associated to a spec datum, reflecting the standard construction of the category of schemes from the category of rings by affine charts.

Equations For Nilpotent Varieties And Their Intersections With Slodowy Slices, Benjamin Johnson

Doctoral Dissertations

This thesis investigates minimal generating sets of ideals defining certain nilpotent varieties in simple complex Lie algebras. A minimal generating set of invariants for the whole nilpotent cone is known due to Kostant. Broer determined a minimal generating set for the subregular nilpotent variety in all simple Lie algebra types. I extend Broer's results to two families of nilpotent varieties, valid in any simple Lie algebra, that include the nilpotent cone, the subregular case, and usually more. In the first part of my thesis I describe a minimal generating set for the ideal of each of these varieties in the …

Coverings Of Graphs And Tiered Trees, Sam Glennon

Doctoral Dissertations

This dissertation will cover two separate topics. The first of these topics will be coverings of graphs. We will discuss a recent paper by Marcus, Spielman, and Srivastava proving the existence of infinite families of bipartite Ramanujan graphs for all regularities. The proof works by showing that for any d-regular Ramanujan graph, there exists an infinite tower of bipartite Ramanujan graphs in which each graph is a twofold covering of the previous one. Since twofold coverings of a graph correspond to ways of labeling the edges of the graph with elements of a group of order 2, we will generalize …

Generalizations Of Coarse Properties In Large Scale Spaces, Kevin Michael Sinclair

Doctoral Dissertations

Many results in large scale geometry are proven for a metric space. However, there exists many large scale spaces that are not metrizable. We generalize several concepts to general large scale spaces and prove relationships between them. First we look into the concept of coarse amenability and other variations of amenability on large scale spaces. This leads into the definition of coarse sparsification and connections with coarse amenability. From there, we look into an equivalence of Sako's definition of property A on uniformly locally finite spaces and prove that finite coarse asymptotic definition implies it. As well, we define large …

Approximation Of Invariant Subspaces, Faruk Yilmaz

Doctoral Dissertations

For a real number α [alpha] the Dirichlet-type spaces 𝔇_α [script D sub alpha] are the family of Hilbert spaces consisting of all analytic functions f(z) = ∑_n=0^∞[sum over n equals zero to infinity] ˆf(n) [f hat of n] zⁿ [z to the n] defined on the open unit disc 𝔻 [unit disc] such that

∑_n=0^∞ (n+1)^α | ˆf(n) |²

[sum over n equals 0 to infinity] [(n+1) to α] [ | f hat of n | to 2]

is finite.

For α < 0, the spaces 𝔇_α are known as weighted Bergman spaces. When …

Statistical Computational Topology And Geometry For Understanding Data, Joshua Lee Mike

Doctoral Dissertations

Here we describe three projects involving data analysis which focus on engaging statistics with the geometry and/or topology of the data.

The first project involves the development and implementation of kernel density estimation for persistence diagrams. These kernel densities consider neighborhoods for every feature in the center diagram and gives to each feature an independent, orthogonal direction. The creation of kernel densities in this realm yields a (previously unavailable) full characterization of the (random) geometry of a dataspace or data distribution.

In the second project, cohomology is used to guide a search for kidney exchange cycles within a kidney paired …

Construction And Classification Results For Commuting Squares Of Finite Dimensional *-Algebras, Chase Thomas Worley

Doctoral Dissertations

In this dissertation, we present new constructions of commuting squares, and we investigate finiteness and isolation results for these objects. We also give applications to the classification of complex Hadamard matrices and to Hopf algebras.

In the first part, we recall the notion of commuting squares which were introduced by Popa and arise naturally as invariants in Jones' theory of subfactors. We review some of the main known examples of commuting squares such as those constructed from finite groups and from complex Hadamard matrices. We also recall Nicoara's notion of defect which gives an upper bound for the number of …

Localization Of Large Scale Structures, Ryan James Jensen

Doctoral Dissertations

We begin by giving the definition of coarse structures by John Roe, but quickly move to the equivalent concept of large scale geometry given by Jerzy Dydak. Next we present some basic but often used concepts and results in large scale geometry. We then state and prove the equivalence of various definitions of asymptotic dimension for arbitrary large scale spaces. Some of these are generalizations of asymptotic dimension for metric spaces, and many of the proofs are new. Particularly useful in proving the equivalences of the various definitions is the notion of partitions of unity, originally set forth by Jerzy …

Various Topics On Graphical Structures Placed On Commutative Rings, Darrin Weber

Doctoral Dissertations

In this dissertation, we look at two types of graphs that can be placed on a commutative ring: the zero-divisor graph and the ideal-based zero-divisor graph. A zero-divisor graph is a graph whose vertices are the nonzero zero-divisors of a ring and two vertices are connected by an edge if and only if their product is 0. We classify, up to isomorphism, all commutative rings without identity that have a zero-divisor graph on 14 or fewer vertices.

An ideal-based zero-divisor graph is a generalization of the zero-divisor graph where for a ring R and ideal I the vertices are { …

Generalizations And Variations Of The Zero-Divisor Graph, Grace Elizabeth Mcclurkin

Doctoral Dissertations

We explore generalizations and variations of the zero-divisor graph on commutative rings with identity. A zero-divisor graph is a graph whose vertex set is the nonzero zero-divisors of a ring, wherein two distinct vertices are adjacent if their product is zero. Variations of the zero-divisor graph are created by changing the vertex set, the edge condition, or both. The annihilator graph and the extended zero-divisor graph are both variations that change the edge condition, whereas the compressed graph and ideal-based graph change the vertex set. By combining these concepts, we define and investigate graphs where both the vertex set and …

Dependence Structures In Lévy-Type Markov Processes, Eddie Brendan Tu

Doctoral Dissertations

In this dissertation, we examine the positive and negative dependence of infinitely divisible distributions and Lévy-type Markov processes. Examples of infinitely divisible distributions include Poissonian distributions like compound Poisson and α-stable distributions. Examples of Lévy-type Markov processes include Lévy processes and Feller processes, which include a class of jump-diffusions, certain stochastic differential equations with Lévy noise, and subordinated Markov processes. Other examples of Lévy-type Markov processes are time-inhomogeneous Feller evolution systems (FES), which include additive processes. We will provide a tour of various forms of positive dependence, which include association, positive supermodular association (PSA), positive supermodular dependence (PSD), and positive …

Dynamical Systems And Zeta Functions Of Function Fields, Daniel Nichols

Doctoral Dissertations

This doctoral dissertation concerns two problems in number theory. First, we examine a family of discrete dynamical systems in F_2[t] analogous to the 3x + 1 system on the positive integers. We prove a statistical result about the large-scale dynamics of these systems that is stronger than the analogous theorem in Z. We also investigate mx + 1 systems in rings of functions over a family of algebraic curves over F_2 and prove a similar result there. Second, we describe some interesting properties of zeta functions of algebraic curves. Generally L-functions vanish only to the order required by their root …

Jet-Hadron Correlations Relative To The Event Plane Pb--Pb Collisions At The Lhc In Alice, Joel Anthony Mazer

Doctoral Dissertations

In relativistic heavy ion collisions at the Large Hadron Collider (LHC), a hot, dense and strongly interacting medium known as the Quark Gluon Plasma (QGP) is produced. Quarks and gluons from incoming nuclei collide to produce partons at high momenta early in the collisions. By fragmenting into collimated sprays of hadrons, these partons form 'jets'. Within the framework of perturbative Quantum Chromodynamics (pQCD), jet production is well understood in pp collisions. We can use jets measured in pp interactions as a baseline reference for comparing to heavy ion collision systems to detect and study jet quenching. The jet quenching mechanism …

A Seifert-Van Kampen Theorem For Legendrian Submanifolds And Exact Lagrangian Cobordisms, Mark Lowell

Doctoral Dissertations

We prove a Seifert-van Kampen theorem for Legendrian submanifolds and exact Lagrangian cobordisms, and use it to calculate the change in the DGA caused by critical Legendrian ambient surgery.

Bootstrap-Based Confidence Intervals In Partially Accelerated Life Testing, Ahmed Mohamed Eshebli

Doctoral Dissertations

"Accelerated life testing (ALT) is utilized to estimate the underlying failure distribution and related parameters of interest in situations where the components under study are designed for long life and therefore will not yield failure data within a reasonable test period. In ALT, life testing is carried out under two or more higher than normal stress levels, with the resulting acceleration of the failure process yielding a sufficient amount of un-censored life-span data within a practical test duration. Usually one (or more) parameters of the life distribution is linked to the stress level through a suitably selected model based on …

An Improved Imaging Method For Extended Targets, Sui Zhang

Doctoral Dissertations

The dissertation presents an improved method for the inverse scattering problem to obtain better numerical results. There are two main methods for solving the inverse problem: the direct imaging method and the iterative method. For the direct imaging method, we introduce the MUSIC (MUltiple SIgnal Classification) algorithm, the multi-tone method and the linear sampling method with different boundary conditions in different cases, which are the smooth case, the one corner case, and the multiple corners case. The dissertation introduces the relations between the far field data and the near field data.

When we use direct imaging methods for solving inverse …

Balanced Truncation Model Reduction Of Nonlinear Cable-Mass Pde System, Madhuka Hareena Lochana Weerasinghe

Doctoral Dissertations

We consider model order reduction of a cable-mass system modeled by a one dimensional wave equation with interior damping and dynamic boundary conditions. The system is driven by a time dependent forcing input to a linear mass-spring system at the left boundary of the cable. A mass-spring model at the right end of the cable includes a nonlinear stiffening force. The goal of the model reduction is to produce a low order model that produces an accurate approximation to the displacement and velocity of the mass in the nonlinear mass-spring system at the right boundary. We believe the nonlinear cable-mass …

Numerical Investigation On Nonlocal Problems With The Fractional Laplacian, Siwei Duo

Doctoral Dissertations

"Nonlocal models have recently become a powerful tool for studying complex systems with long-range interactions or memory effects, which cannot be described properly by the traditional differential equations. So far, different nonlocal (or fractional differential) models have been proposed, among which models with the fractional Laplacian have been well applied. The fractional Laplacian (-Δ)^α/2 represents the infinitesimal generator of a symmetric α-stable Lévy process. It has been used to describe anomalous diffusion, turbulent flows, stochastic dynamics, finance, and many other phenomena. However, the nonlocality of the fractional Laplacian introduces considerable challenges in its mathematical modeling, numerical simulations, and mathematical …

A Harmonic M-Factorial Function And Applications, Reginald Alfred Brigham Ii

Doctoral Dissertations

"We offer analogs to the falling factorial and rising factorial functions for the set of harmonic numbers, as well as a mixed factorial function called the M-factorial. From these concepts, we develop a harmonic analog of the binomial coefficient and an alternate expression of the harmonic exponential function and establish several identities. We generalize from the harmonic numbers to a general time scale and demonstrate how solutions to some second order eigenvalue problems and partial dynamic equations can be constructed using power series built from the M-factorial function"--Abstract, page iii.

Programming Problems On Time Scales: Theory And Computation, Rasheed Basheer Al-Salih

Doctoral Dissertations

"In this dissertation, novel formulations for several classes of programming problems are derived and proved using the time scales technique. The new formulations unify the discrete and continuous programming models and extend them to other cases "in between." Moreover, the new formulations yield the exact optimal solution for the programming problems on arbitrary isolated time scales, which solve an important open problem. Throughout this dissertation, six distinct classes of programming problems are presented as follows. First, the primal as well as the dual time scales linear programming models on arbitrary time scales are formulated. Second, separated linear programming primal and …

Local Holomorphic Extension Of Cauchy Riemann Functions, Brijitta Antony

Doctoral Dissertations

"The purpose of this dissertation is to give an analytic disc approach to the CR extension problem. Analytic discs give a very convenient tool for holomorphic extension of CR functions. The type function is introduced and showed how these type functions have direct application to important questions about CR extension. In this dissertation the CR extension theorem is proved for a rigid hypersurface M in C² given by y = (Re ω)^m(Im ω)ⁿ where m and n are non-negative integers. If the type function is identically zero at the origin, then there is no CR extension. …

Zero-Dimensional Spaces And Their Inverse Limits, Sahika Sahan

Doctoral Dissertations

"In this dissertation we investigate zero-dimensional compact metric spaces and their inverse limits. We construct an uncountable family of zero-dimensional compact metric spaces homeomorphic to their Cartesian squares. It is known that the inverse limit on [0,1] with an upper semi-continuous function with a connected graph has either one or infinitely many points. We show that this result cannot be generalized to the inverse limits on simple triods or simple closed curves. In addition to that, we introduce a class of zero-dimensional spaces that can be obtained as the inverse limits of arcs. We complete by answering a problem by …

T-Closed Sets, Multivalued Inverse Limits, And Hereditarily Irreducible Maps, Hussam Abobaker

Doctoral Dissertations

"This dissertation consists of three subjects: T-closed sets, inverse limits with multivalued functions, and hereditarily irreducible maps.

For a subset A of a continuum X define T(A) = X \ {x ∈ X : there exists a subcontinuum K of X such that x ∈ int_xX(K) ⊂ K ⊂ X \ A}. This function was defined by F. Burton Jones and extensively investigated in the book [20] by Sergio Macias. A subset A of a continuum X is called T-closed set if T(A) = A. A characterization of T-closed set is given using generalized …