ASU Electronic Theses and Dissertations
This collection includes most of the ASU Theses and Dissertations from 2011 to present. ASU Theses and Dissertations are available in downloadable PDF format; however, a small percentage of items are under embargo. Information about the dissertations/theses includes degree information, committee members, an abstract, supporting data or media.
In addition to the electronic theses found in the ASU Digital Repository, ASU Theses and Dissertations can be found in the ASU Library Catalog.
Dissertations and Theses granted by Arizona State University are archived and made available through a joint effort of the ASU Graduate College and the ASU Libraries. For more information or questions about this collection contact or visit the Digital Repository ETD Library Guide or contact the ASU Graduate College at gradformat@asu.edu.
Displaying 1 - 10 of 11
Filtering by
- All Subjects: Mathematics
Description
This dissertation will cover two topics. For the first, let $K$ be a number field. A $K$-derived polynomial $f(x) \in K[x]$ is a polynomial that
factors into linear factors over $K$, as do all of its derivatives. Such a polynomial
is said to be {\it proper} if
its roots are distinct. An unresolved question in the literature is
whether or not there exists a proper $\Q$-derived polynomial of degree 4. Some examples
are known of proper $K$-derived quartics for a quadratic number field $K$, although other
than $\Q(\sqrt{3})$, these fields have quite large discriminant. (The second known field
is $\Q(\sqrt{3441})$.) I will describe a search for quadratic fields $K$
over which there exist proper $K$-derived quartics. The search finds examples for
$K=\Q(\sqrt{D})$ with $D=...,-95,-41,-19,21,31,89,...$.\\
For the second topic, by Krasner's lemma there exist a finite number of degree $n$ extensions of $\Q_p$. Jones and Roberts have developed a database recording invariants of $p$-adic extensions for low degree $n$. I will contribute data to this database by computing the Galois slope content, inertia subgroup, and Galois mean slope for a variety of wildly ramified extensions of composite degree using the idea of \emph{global splitting models}.
factors into linear factors over $K$, as do all of its derivatives. Such a polynomial
is said to be {\it proper} if
its roots are distinct. An unresolved question in the literature is
whether or not there exists a proper $\Q$-derived polynomial of degree 4. Some examples
are known of proper $K$-derived quartics for a quadratic number field $K$, although other
than $\Q(\sqrt{3})$, these fields have quite large discriminant. (The second known field
is $\Q(\sqrt{3441})$.) I will describe a search for quadratic fields $K$
over which there exist proper $K$-derived quartics. The search finds examples for
$K=\Q(\sqrt{D})$ with $D=...,-95,-41,-19,21,31,89,...$.\\
For the second topic, by Krasner's lemma there exist a finite number of degree $n$ extensions of $\Q_p$. Jones and Roberts have developed a database recording invariants of $p$-adic extensions for low degree $n$. I will contribute data to this database by computing the Galois slope content, inertia subgroup, and Galois mean slope for a variety of wildly ramified extensions of composite degree using the idea of \emph{global splitting models}.
ContributorsCarrillo, Benjamin (Author) / Jones, John (Thesis advisor) / Bremner, Andrew (Thesis advisor) / Childress, Nancy (Committee member) / Fishel, Susanna (Committee member) / Kaliszewski, Steven (Committee member) / Arizona State University (Publisher)
Created2019
Description
The author employs bundle theory to investigate dynamics on C*- algebras. Using methods old and new to define dynamics on topological spaces (often with additional structure), implications of the dynamics are investigated in the non-commutative setting, and in suitable situations the dynamics are classified. As a result, new Morita equivalence results are derived and new settings introduced in the study of crossed products, whether by group coactions or by actions of groups and groupoids.
ContributorsHall, Lucas (Author) / Quigg, John (Thesis advisor) / Kaliszewski, S. (Committee member) / Spielberg, Jack (Committee member) / Paupert, Julien (Committee member) / Kotschwar, Brett (Committee member) / Arizona State University (Publisher)
Created2022
Recursive Bayesian Estimation on Projective Spaces: Theoretical Foundations and Practical Algorithms
Description
This thesis develops geometrically and statistically rigorous foundations for multivariate analysis and bayesian inference posed on grassmannian manifolds. Requisite to the development of key elements of statistical theory in a geometric realm are closed-form, analytic expressions for many differential geometric objects, e.g., tangent vectors, metrics, geodesics, volume forms. The first part of this thesis is devoted to a mathematical exposition of these. In particular, it leverages the classical work of Alan James to derive the exterior calculus of differential forms on special grassmannians for invariant measures with respect to which integration is permissible. Motivated by various multi-sensor remote sensing applications, the second part of this thesis describes the problem of recursively estimating the state of a dynamical system propagating on the Grassmann manifold. Fundamental to the bayesian treatment of this problem is the choice of a suitable probability distribution to a priori model the state. Using the Method of Maximum Entropy, a derivation of maximum-entropy probability distributions on the state space that uses the developed geometric theory is characterized. Statistical analyses of these distributions, including parameter estimation, are also presented. These probability distributions and the statistical analysis thereof are original contributions. Using the bayesian framework, two recursive estimation algorithms, both of which rely on noisy measurements on (special cases of) the Grassmann manifold, are the devised and implemented numerically. The first is applied to an idealized scenario, the second to a more practically motivated scenario. The novelty of both of these algorithms lies in the use of thederived maximumentropy probability measures as models for the priors. Numerical simulations demonstrate that, under mild assumptions, both estimation algorithms produce accurate and statistically meaningful outputs. This thesis aims to chart the interface between differential geometry and statistical signal processing. It is my deepest hope that the geometric-statistical approach underlying this work facilitates and encourages the development of new theories and new computational methods in geometry. Application of these, in turn, will bring new insights and bettersolutions to a number of extant and emerging problems in signal processing.
ContributorsCrider, Lauren N (Author) / Cochran, Douglas (Thesis advisor) / Kotschwar, Brett (Committee member) / Scharf, Louis (Committee member) / Taylor, Thomas (Committee member) / Turaga, Pavan (Committee member) / Arizona State University (Publisher)
Created2021
DescriptionCantor sets are totally disconnected, compact, metrizable, and contain no isolated points. All Cantor sets are homeomorphic to each other, but the addition of the metric yields new properties which can be detected by their correspondence with the boundaries of infinite rooted trees.
ContributorsAmes, Robert (Author) / Spielberg, John (Thesis advisor) / Kaliszewski, Steven (Committee member) / Quigg, John (Committee member) / Arizona State University (Publisher)
Created2022
Description
Iwasawa theory is a branch of number theory that studies the behavior of certain objects associated to a $\mathbb{Z}_p$-extension. We will focus our attention to the cyclotomic $\mathbb{Z}_p$-extensions of imaginary quadratic fields for varying primes p, and will give some conditions for when the corresponding lambda-invariants are greater than 1.
ContributorsStokes, Christopher Mathewson (Author) / Childress, Nancy (Thesis advisor) / Sprung, Florian (Committee member) / Montaño, Johnathan (Committee member) / Paupert, Julian (Committee member) / Kaliszewski, Steven (Committee member) / Arizona State University (Publisher)
Created2023
Description
In the 1980's, Gromov and Piatetski-Shapiro introduced a technique called "hybridization'' which allowed them to produce non-arithmetic hyperbolic lattices from two non-commensurable arithmetic lattices. It has been asked whether an analogous hybridization technique exists for complex hyperbolic lattices, because certain geometric obstructions make it unclear how to adapt this technique. This thesis explores one possible construction (originally due to Hunt) in depth and uses it to produce arithmetic lattices, non-arithmetic lattices, and thin subgroups in SU(2,1).
ContributorsWells, Joseph (Author) / Paupert, Julien (Thesis advisor) / Kotschwar, Brett (Committee member) / Childress, Nancy (Committee member) / Fishel, Susanna (Committee member) / Kawski, Matthias (Committee member) / Arizona State University (Publisher)
Created2019
Description
The main part of this work establishes existence, uniqueness and regularity properties of measure-valued solutions of a nonlinear hyperbolic conservation law with non-local velocities. Major challenges stem from in- and out-fluxes containing nonzero pure-point parts which cause discontinuities of the velocities. This part is preceded, and motivated, by an extended study which proves that an associated optimal control problem has no optimal $L^1$-solutions that are supported on short time intervals.
The hyperbolic conservation law considered here is a well-established model for a highly re-entrant semiconductor manufacturing system. Prior work established well-posedness for $L^1$-controls and states, and existence of optimal solutions for $L^2$-controls, states, and control objectives. The results on measure-valued solutions presented here reduce to the existing literature in the case of initial state and in-flux being absolutely continuous measures. The surprising well-posedness (in the face of measures containing nonzero pure-point part and discontinuous velocities) is directly related to characteristic features of the model that capture the highly re-entrant nature of the semiconductor manufacturing system.
More specifically, the optimal control problem is to minimize an $L^1$-functional that measures the mismatch between actual and desired accumulated out-flux. The focus is on the transition between equilibria with eventually zero backlog. In the case of a step up to a larger equilibrium, the in-flux not only needs to increase to match the higher desired out-flux, but also needs to increase the mass in the factory and to make up for the backlog caused by an inverse response of the system. The optimality results obtained confirm the heuristic inference that the optimal solution should be an impulsive in-flux, but this is no longer in the space of $L^1$-controls.
The need for impulsive controls motivates the change of the setting from $L^1$-controls and states to controls and states that are Borel measures. The key strategy is to temporarily abandon the Eulerian point of view and first construct Lagrangian solutions. The final section proposes a notion of weak measure-valued solutions and proves existence and uniqueness of such.
In the case of the in-flux containing nonzero pure-point part, the weak solution cannot depend continuously on the time with respect to any norm. However, using semi-norms that are related to the flat norm, a weaker form of continuity of solutions with respect to time is proven. It is conjectured that also a similar weak continuous dependence on initial data holds with respect to a variant of the flat norm.
The hyperbolic conservation law considered here is a well-established model for a highly re-entrant semiconductor manufacturing system. Prior work established well-posedness for $L^1$-controls and states, and existence of optimal solutions for $L^2$-controls, states, and control objectives. The results on measure-valued solutions presented here reduce to the existing literature in the case of initial state and in-flux being absolutely continuous measures. The surprising well-posedness (in the face of measures containing nonzero pure-point part and discontinuous velocities) is directly related to characteristic features of the model that capture the highly re-entrant nature of the semiconductor manufacturing system.
More specifically, the optimal control problem is to minimize an $L^1$-functional that measures the mismatch between actual and desired accumulated out-flux. The focus is on the transition between equilibria with eventually zero backlog. In the case of a step up to a larger equilibrium, the in-flux not only needs to increase to match the higher desired out-flux, but also needs to increase the mass in the factory and to make up for the backlog caused by an inverse response of the system. The optimality results obtained confirm the heuristic inference that the optimal solution should be an impulsive in-flux, but this is no longer in the space of $L^1$-controls.
The need for impulsive controls motivates the change of the setting from $L^1$-controls and states to controls and states that are Borel measures. The key strategy is to temporarily abandon the Eulerian point of view and first construct Lagrangian solutions. The final section proposes a notion of weak measure-valued solutions and proves existence and uniqueness of such.
In the case of the in-flux containing nonzero pure-point part, the weak solution cannot depend continuously on the time with respect to any norm. However, using semi-norms that are related to the flat norm, a weaker form of continuity of solutions with respect to time is proven. It is conjectured that also a similar weak continuous dependence on initial data holds with respect to a variant of the flat norm.
ContributorsGong, Xiaoqian, Ph.D (Author) / Kawski, Matthias (Thesis advisor) / Kaliszewski, Steven (Committee member) / Motsch, Sebastien (Committee member) / Smith, Hal (Committee member) / Thieme, Horst (Committee member) / Arizona State University (Publisher)
Created2019
Description
This dissertation contains three main results. First, a generalization of Ionescu's theorem is proven. Ionescu's theorem describes an unexpected connection between graph C*-algebras and fractal geometry. In this work, this theorem is extended from ordinary directed graphs to higher-rank graphs. Second, a characterization is given of the Cuntz-Pimsner algebra associated to a tensor product of C*-correspondences. This is a generalization of a result by Kumjian about graphs algebras. This second result is applied to several important special cases of Cuntz-Pimsner algebras including topological graph algebras, crossed products by the integers and crossed products by completely positive maps. The result has meaningful interpretations in each context. The third result is an extension of the second result from an ordinary tensor product to a special case of Woronowicz's twisted tensor product. This result simultaneously characterizes Cuntz-Pimsner algebras of ordinary and graded tensor products and Cuntz-Pimsner algebras of crossed products by actions and coactions of discrete groups, the latter partially recovering earlier results of Hao and Ng and of Kaliszewski, Quigg and Robertson.
ContributorsMorgan, Adam (Author) / Kaliszewski, Steven (Thesis advisor) / Quigg, John (Thesis advisor) / Spielberg, Jack (Committee member) / Kawski, Matthias (Committee member) / Kotschwar, Brett (Committee member) / Arizona State University (Publisher)
Created2016
DescriptionReprising the work of Kolpakov and Martelli, a manifold is constructed by face pairings of a four dimensional polytope, the 24-cell. The resulting geometry is a single cusped hyperbolic 4-manifold of finite volume. A short discussion of its geometry and underlying topology is included.
ContributorsAbram, Christopher (Author) / Paupert, Julien (Thesis advisor) / Kawski, Mattias (Committee member) / Kotschwar, Brett (Committee member) / Arizona State University (Publisher)
Created2014
Description
This thesis explores several questions concerning the preservation of geometric structure under the Ricci flow, an evolution equation for Riemannian metrics. Within the class of complete solutions with bounded curvature, short-time existence and uniqueness of solutions guarantee that symmetries and many other geometric features are preserved along the flow. However, much less is known about the analytic and geometric properties of solutions of potentially unbounded curvature. The first part of this thesis contains a proof that the full holonomy group is preserved, up to isomorphism, forward and backward in time. The argument reduces the problem to the preservation of reduced holonomy via an analysis of the equation satisfied by parallel translation around a loop with respect to the evolving metric. The subsequent chapter examines solutions satisfying a certain instantaneous, but nonuniform, curvature bound, and shows that when such solutions split as a product initially, they will continue to split for all time. This problem is encoded as one of uniqueness for an auxiliary system constructed from a family of time-dependent, orthogonal distributions of the tangent bundle. The final section presents some details of an ongoing project concerning the uniqueness of asymptotically product gradient shrinking Ricci solitons, including the construction of a certain system of mixed differential inequalities which measures the extent to which such a soliton fails to split.
ContributorsCook, Mary (Author) / Kotschwar, Brett (Thesis advisor) / Paupert, Julien (Committee member) / Kawski, Matthias (Committee member) / Kaliszewski, Steven (Committee member) / Fishel, Susanna (Committee member) / Arizona State University (Publisher)
Created2021