Digital Commons Network^™

The Fundamental Groupoid In Discrete Homotopy Theory, Udit Ajit Mavinkurve

Electronic Thesis and Dissertation Repository

Discrete homotopy theory is a homotopy theory designed for studying graphs and for detecting combinatorial, rather than topological, “holes”. Central to this theory are the discrete homotopy groups, defined using maps out of grids of suitable dimensions. Of these, the discrete fundamental group in particular has found applications in various areas of mathematics, including matroid theory, subspace arrangements, and topological data analysis.

In this thesis, we introduce the discrete fundamental groupoid, a multi-object generalization of the discrete fundamental group, and use it as a starting point to develop some robust computational techniques. A new notion of covering graphs allows us …

Monotone Functions On General Measure Spaces, Alejandro Santacruz Hidalgo

Electronic Thesis and Dissertation Repository

Given a measure space and a totally ordered collection of measurable sets, called an ordered core, the notion of a core decreasing function is introduced and used to generalize monotone functions to general measure spaces. The least core decreasing majorant construction, the level function construction, and the greatest core decreasing minorant, already known for functions on the real line, are extended to this general setting. A functional description of these constructions is provided and is shown to be closely related to the pre-order relation of functions induced by integrals over the ordered core.

For an ordered core, the down space …

Analytic Properties Of Quantum States On Manifolds, Manimugdha Saikia

Electronic Thesis and Dissertation Repository

The principal objective of this study is to investigate how the Kahler geometry of a classical phase space influences the quantum information aspects of the quantum Hilbert space obtained from geometric quantization and vice versa. We associated states with subsets of a product of two integral Kahler manifolds using a quantum line bundle in a particular manner. We proved that the states associated this way are separable when the subset is a finite union of products. We presented an asymptotic result for the average entropy over all the pure states on the Hilbert space H⁰(M₁,L_{1 …}

Geometry In Spectral Triples: Immersions And Fermionic Fuzzy Geometries, Luuk S. Verhoeven

Electronic Thesis and Dissertation Repository

We investigate the metric nature of spectral triples in two ways.

Given an oriented Riemannian embedding i:X->Y of codimension 1 we construct a family of unbounded KK-cycles i!(epsilon), each of which represents the shriek class of i in KK-theory. These unbounded KK-cycles are further equipped with connections, allowing for the explicit computation of the products of i! with the spectral triple of Y at the unbounded level. In the limit epsilon to 0 the product of these unbounded KK-cycles with the canonical spectral triple for Y admits an asymptotic expansion. The divergent part of this expansion is known and …

Generating Polynomials Of Exponential Random Graphs, Mohabat Tarkeshian

Electronic Thesis and Dissertation Repository

The theory of random graphs describes the interplay between probability and graph theory: it is the study of the stochastic process by which graphs form and evolve. In 1959, Erdős and Rényi defined the foundational model of random graphs on n vertices, denoted G(n, p) ([ER84]). Subsequently, Frank and Strauss (1986) added a Markov twist to this story by describing a topological structure on random graphs that encodes dependencies between local pairs of vertices ([FS86]). The general model that describes this framework is called the exponential random graph model (ERGM).

In the past, determining when a probability distribution has strong …

Polynomial Density Of Compact Smooth Surfaces, Luke P. Broemeling

Electronic Thesis and Dissertation Repository

We show that any smooth closed surface has polynomial density 3 and that any connected compact smooth surface with boundary has polynomial density 2.

Internal Yoneda Ext Groups, Central H-Spaces, And Banded Types, Jarl Gunnar Taxerås Flaten

Electronic Thesis and Dissertation Repository

We develop topics in synthetic homotopy theory using the language of homotopy type theory, and study their semantic counterparts in an ∞-topos. Specifically, we study Grothendieck categories and Yoneda Ext groups in this setting, as well as a novel class of central H-spaces along with their associated bands. The former are fundamental notions from homological algebra that support important computations in traditional homotopy theory. We develop these tools with the goal of supporting similar computations in our setting. In contrast, our results about central H-spaces and bands are new, even when interpreted into the ∞-topos of spaces.

In Chapter …

Complex-Valued Approach To Kuramoto-Like Oscillators, Jacqueline Bao Ngoc Doan

Electronic Thesis and Dissertation Repository

The Kuramoto Model (KM) is a nonlinear model widely used to model synchrony in a network of oscillators – from the synchrony of the flashing fireflies to the hand clapping in an auditorium. Recently, a modification of the KM (complex-valued KM) was introduced with an analytical solution expressed in terms of a matrix exponential, and consequentially, its eigensystem. Remarkably, the analytical KM and the original KM bear significant similarities, even with phase lag introduced, despite being determined by distinct systems. We found that this approach gives a geometric perspective of synchronization phenomena in terms of complex eigenmodes, which in turn …

Multi-Trace Matrix Models From Noncommutative Geometry, Hamed Hessam

Electronic Thesis and Dissertation Repository

Dirac ensembles are finite dimensional real spectral triples where the Dirac operator is allowed to vary within a suitable family of operators and is assumed to be random. The Dirac operator plays the role of a metric on a manifold in the noncommutative geometry context of spectral triples. Thus, integration over the set of Dirac operators within a Dirac ensemble, a crucial aspect of a theory of quantum gravity, is a noncommutative analog of integration over metrics.

Dirac ensembles are closely related to random matrix ensembles. In order to determine properties of specific Dirac ensembles, we use techniques from random …

On The Spatial Modelling Of Biological Invasions, Tedi Ramaj

Electronic Thesis and Dissertation Repository

We investigate problems of biological spatial invasion through the use of spatial modelling. We begin by examining the spread of an invasive weed plant species through a forest by developing a system of partial differential equations (PDEs) involving an invasive weed and a competing native plant species. We find that extinction of the native plant species may be achieved by increasing the carrying capacity of the forest as well as the competition coefficient between the species. We also find that the boundary conditions exert long-term control on the biomass of the invasive weed and hence should be considered when implementing …

Automorphism-Preserving Color Substitutions On Profinite Graphs, Michal Cizek

Electronic Thesis and Dissertation Repository

Profinite groups are topological groups which are known to be Galois groups. Their free product was extensively studied by Luis Ribes and Pavel Zaleskii using the notion of a profinite graph and having profinite groups act freely on such graphs. This thesis explores a different approach to study profinite groups using profinite graphs and that is with the notion of automorphisms and colors. It contains a generalization to profinite graphs of the theorem of Frucht (1939) that shows that every finite group is a group of automorphisms of a finite connected graph, and establishes a profinite analog of the theorem …

Reduction Of L-Functions Of Elliptic Curves Modulo Integers, Félix Baril Boudreau

Electronic Thesis and Dissertation Repository

Let $\mathbb{F}_q$ be a finite field of size $q$, where $q$ is a power of a prime $p \geq 5$. Let $C$ be a smooth, proper, and geometrically connected curve over $\mathbb{F}_q$. Consider an elliptic curve $E$ over the function field $K$ of $C$ with nonconstant $j$-invariant. One can attach to $E$ its $L$-function $L(T,E/K)$, which is a generating function that contains information about the reduction types of $E$ at the different places of $K$. The $L$-function of $E/K$ was proven to be a polynomial in $\mathbb{Z}[T]$.

In 1985, Schoof devised an algorithm to compute the zeta function of an …

The Design And Implementation Of A High-Performance Polynomial System Solver, Alexander Brandt

Electronic Thesis and Dissertation Repository

This thesis examines the algorithmic and practical challenges of solving systems of polynomial equations. We discuss the design and implementation of triangular decomposition to solve polynomials systems exactly by means of symbolic computation.

Incremental triangular decomposition solves one equation from the input list of polynomials at a time. Each step may produce several different components (points, curves, surfaces, etc.) of the solution set. Independent components imply that the solving process may proceed on each component concurrently. This so-called component-level parallelism is a theoretical and practical challenge characterized by irregular parallelism. Parallelism is not an algorithmic property but rather a geometrical …

Polynomial Identities Of Algebras With Actions: A Unified Combinatorial Approach, Mayecxiliana Cardenas Montoya

Electronic Thesis and Dissertation Repository

Fix a field k. In this thesis, we establish different criteria for when a given (associative or Lie) k-algebra is a PI-algebra.

Fix a unitary associative k-algebra R. Our focus is on associative k-algebras A endowed with an R-module action ρ:R\to End_k(A) with the property that ρ(R) is finite-dimensional. Our main result asserts that if such an algebra is endowed with an R-module action that is `compatible’ with the multiplicative structure of A, then A is a PI-algebra if (and only if), for some positive integer d and all a_1,...,a_d in A, the product a_1···a_d is a linear combination of …

Towards A Generalization Of Fulton's Intersection Multiplicity Algorithm, Ryan Sandford

Electronic Thesis and Dissertation Repository

In this manuscript we generalize Fulton's bivariate intersection multiplicity algorithm to a partial intersection multiplicity algorithm in the n-variate setting. We extend this generalization of Fulton's algorithm to work at any point, rational or not, using the theory of regular chains. We implement these algorithms in Maple and provide experimental testing. The results indicate the proposed algorithm often outperforms the existing standard basis-free intersection multiplicity algorithm in Maple, typically by one to two orders of magnitude. Moreover, we also provide some examples where the proposed algorithm outperforms intersection multiplicity algorithms which rely on standard bases, indicating the proposed algorithm is …

On The Geometry Of Multi-Affine Polynomials, Junquan Xiao

Electronic Thesis and Dissertation Repository

This work investigates several geometric properties of the solutions of the multi-affine polynomials. Chapters 1, 2 discuss two different notions of invariant circles. Chapter 3 gives several loci of polynomials of degree three. A locus of a complex polynomial p(z) is a minimal, with respect to inclusion, set that contains at least one point of every solution of the polarization of the polynomial. The study of such objects allows one to improve upon know results about the location of zeros and critical points of complex polynomials, see for example [22] and [24]. A complex polynomial has many loci. It is …

An Implementation Of Integrated Information Theory In Resting-State Fmri, Idan E. Nemirovsky

Electronic Thesis and Dissertation Repository

Integrated Information Theory (IIT) is a framework developed to explain consciousness, arguing that conscious systems consist of interacting elements that are integrated through their causal properties. In this study, we present the first application of IIT to functional magnetic resonance imaging (fMRI) data and investigate whether its principal metric, Phi, can meaningfully quantify resting-state cortical activity patterns. Data was acquired from 17 healthy subjects who underwent sedation with propofol, a short acting anesthetic. Using PyPhi, a software package developed for IIT, we thoroughly analyze how Phi varies across different networks and throughout sedation. Our findings indicate that variations in Phi …

Equisingular Approximation Of Analytic Germs, Aftab Yusuf Patel

Electronic Thesis and Dissertation Repository

This thesis deals with the problem of approximating germs of real or complex analytic spaces by Nash or algebraic germs. In particular, we investigate the problem of approximating analytic germs in various ways while preserving the Hilbert-Samuel function, which is of importance in the resolution of singularities. We first show that analytic germs that are complete intersections can be arbitrarily closely approximated by algebraic germs which are complete intersections with the same Hilbert-Samuel function. We then show that analytic germs whose local rings are Cohen-Macaulay can be arbitrarily closely approximated by Nash germs whose local rings are Cohen- Macaulay and …

Cache-Friendly, Modular And Parallel Schemes For Computing Subresultant Chains, Mohammadali Asadi

Electronic Thesis and Dissertation Repository

The RegularChains library in Maple offers a collection of commands for solving polynomial systems symbolically with taking advantage of the theory of regular chains. The primary goal of this thesis is algorithmic contributions, in particular, to high-performance computational schemes for subresultant chains and underlying routines to extend that of RegularChains in a C/C++ open-source library.

Subresultants are one of the most fundamental tools in computer algebra. They are at the core of numerous algorithms including, but not limited to, polynomial GCD computations, polynomial system solving, and symbolic integration. When the subresultant chain of two polynomials is involved in a client …

Distribution Of The P-Torsion Of Jacobian Groups Of Regular Matroids, Sergio R. Zapata Ceballos

Electronic Thesis and Dissertation Repository

Given a regular matroid $M$ and a map $\lambda\colon E(M)\to \N$, we construct a regular matroid $M_\lambda$. Then we study the distribution of the $p$-torsion of the Jacobian groups of the family $\{M_\lambda\}_{\lambda\in\N^{E(M)}}$. We approach the problem by parameterizing the Jacobian groups of this family with non-trivial $p$-torsion by the $\F_p$-rational points of the configuration hypersurface associated to $M$. In this way, we reduce the problem to counting points over finite fields. As a result, we obtain a closed formula for the proportion of these groups with non-trivial $p$-torsion as well as some estimates. In addition, we show that the …

Genus Bounds For Some Dynatomic Modular Curves, Andrew W. Herring

Electronic Thesis and Dissertation Repository

We prove that for every $n \ge 10$ there are at most finitely many values $c \in \mathbb{Q} $ such that the quadratic polynomial $x^2 + c$ has a point $\alpha \in \mathbb{Q} $ of period $n$. We achieve this by proving that for these values of $n$, every $n$-th dynatomic modular curve has genus at least two.

Centralizers Of Abelian Hamiltonian Actions On Rational Ruled Surfaces, Pranav Vijay Chakravarthy

Electronic Thesis and Dissertation Repository

In this thesis, we compute the homotopy type of the group of equivariant symplectomorphisms of $S^2 \times S^2$ and $CP^2$ blown up once under the presence of Hamiltonian group actions of either $S^1$ or finite cyclic groups. For Hamiltonian circle actions, we prove that the centralizers are homotopy equivalent to either a torus, or to the homotopy pushout of two tori depending on whether the circle action extends to a single toric action or to exactly two non-equivalent toric actions. We can show that the same holds for the centralizers of most finite cyclic groups in the Hamiltonian group $\Ham(M)$. …

Cubical Models Of Higher Categories, Brandon Doherty

Electronic Thesis and Dissertation Repository

This thesis concerns model structures on presheaf categories, modeling the theory of infinity-categories. We introduce the categories of simplicial and cubical sets, and review established examples of model structures on these categories for infinity-groupoids and (infinity, 1)-categories, including the Quillen and Joyal model structures on simplicial sets, and the Grothendieck model structure on cubical sets. We also review the complicial model structure on marked simplicial sets, which presents the theory of (infinity, n)-categories. We then construct a model structure on the category of cubical sets whose cofibrations are the monomor- phisms and whose fibrant objects are defined by the right …

Applying Front End Compiler Process To Parse Polynomials In Parallel, Amha W. Tsegaye

Electronic Thesis and Dissertation Repository

Parsing large expressions, in particular large polynomial expressions, is an important task for computer algebra systems. Despite of the apparent simplicity of the problem, its efficient software implementation brings various challenges. Among them is the fact that this is a memory bound application for which a multi-threaded implementation is necessarily limited by the characteristics of the memory organization of supporting hardware.

In this thesis, we design, implement and experiment with a multi-threaded parser for large polynomial expressions. We extract parallelism by splitting the input character string, into meaningful sub-strings that can be parsed concurrently before being merged into a single …

A Generic Implementation Of Fast Fourier Transforms For The Bpas Library, Colin S. Costello

Electronic Thesis and Dissertation Repository

In this thesis we seek to realize an efficient implementation of a generic parallel fast Fourier transform (FFT). The FFT will be used in support of fast multiplication of polynomials with coefficients in a finite field. Our goal is to obtain a relatively high performing parallel implementation that will run over a variety of finite fields with different sized characteristic primes. To this end, we implement and compare two Cooley-Tukey Six-Step fast Fourier transforms and a Cooley-Tukey Four-Step variant against a high performing specialized FFT already implemented in the Basic Polynomial Algebra Subprograms (BPAS) library. We use optimization techniques found …

Locally Persistent Categories And Metric Properties Of Interleaving Distances, Luis N. Scoccola

Electronic Thesis and Dissertation Repository

This thesis presents a uniform treatment of different distances used in the applied topology literature. We introduce the notion of a locally persistent category, which is a category with a notion of approximate morphism that lets one define an interleaving distance on its collection of objects. The framework is based on a combination of enriched category theory and homotopy theory, and encompasses many well-known examples of interleaving distances, as well as weaker notions of distance, such as the homotopy interleaving distance and the Gromov–Hausdorff distance.

We show that the approach is not only an organizational tool, but a useful theoretical …

Equivariant Cohomology For 2-Torus Actions And Torus Actions With Compatible Involutions, Sergio Chaves Ramirez

Electronic Thesis and Dissertation Repository

The Borel equivariant cohomology is an algebraic invariant of topological spaces with actions of a compact group which inherits a canonical module structure over the cohomology of the classifying space of the acting group. The study of syzygies in equivariant cohomology characterize in a more general setting the torsion-freeness and freeness of these modules by topological criteria. In this thesis, we study the syzygies for elementary 2-abelian groups (or 2- tori) in equivariant cohomology with coefficients over a field of characteristic two. We approach the equivariant cohomology theory by an equivalent approach using group cohomology, that will allow us to …

Enriched Derivators, James Richardson

Electronic Thesis and Dissertation Repository

In homotopical algebra, the theory of derivators provides a convenient abstract setting for computing with homotopy limits and colimits. In enriched homotopy theory, the analogues of homotopy (co)limits are weighted homotopy (co)limits. In this thesis, we develop a theory of derivators and, more generally, prederivators enriched over a monoidal derivator E. In parallel to the unenriched case, these E-prederivators provide a framework for studying the constructions of enriched homotopy theory, in particular weighted homotopy (co)limits.

As a precursor to E-(pre)derivators, we study E-categories, which are categories enriched over a bicategory Prof(E) associated to E. We prove a number of fundamental …

Albert Forms, Quaternions, Schubert Varieties & Embeddability, Jasmin Omanovic

Electronic Thesis and Dissertation Repository

The origin of embedding problems can be understood as an effort to find some minimal datum which describes certain algebraic or geometric objects. In the algebraic theory of quadratic forms, Pfister forms are studied for a litany of powerful properties and representations which make them particularly interesting to study in terms of embeddability. A generalization of these properties is captured by the study of central simple algebras carrying involutions, where we may characterize the involution by the existence of particular elements in the algebra. Extending this idea even further, embeddings are just flags in the Grassmannian, meaning that their study …

Torsors Over Simplicial Schemes, Alexander S. Rolle

Electronic Thesis and Dissertation Repository

Let X be a simplicial object in a small Grothendieck site C, and let G be a sheaf of groups on C. We define a notion of G-torsor over X, generalizing a definition of Gillet, and prove that there is a bijection between the set of isomorphism classes of G-torsors over X, and the set of maps in the homotopy category of simplicial presheaves on C, with respect to the local weak equivalences, from X to BG. We prove basic results about the resulting non-abelian cohomology invariant, including an exact sequence associated to a central extension of sheaves of groups, …