Physical Sciences and Mathematics Commons^™

Barrier Graphs And Extremal Questions On Line, Ray, Segment, And Hyperplane Sensor Networks, Kirk Anthony Boyer

Electronic Theses and Dissertations

A sensor network is typically modeled as a collection of spatially distributed objects with the same shape, generally for the purpose of surveilling or protecting areas and locations. In this dissertation we address several questions relating to sensors with linear shapes: line, line segment, and rays in the plane, and hyperplanes in higher dimensions.

First we explore ray sensor networks in the plane, whose resilience is the number of sensors that must be crossed by an agent traveling between two known locations. The coverage of such a network is described by a particular tripartite graph, the barrier graph of the …

Applications Of Geometric And Spectral Methods In Graph Theory, Lauren Morey Nelsen

Electronic Theses and Dissertations

Networks, or graphs, are useful for studying many things in today’s world. Graphs can be used to represent connections on social media, transportation networks, or even the internet. Because of this, it’s helpful to study graphs and learn what we can say about the structure of a given graph or what properties it might have. This dissertation focuses on the use of the probabilistic method and spectral graph theory to understand the geometric structure of graphs and find structures in graphs. We will also discuss graph curvature and how curvature lower bounds can be used to give us information about …

Decidability For Residuated Lattices And Substructural Logics, Gavin St. John

Electronic Theses and Dissertations

We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple equations, dually, the extension of substructural logics by simple structural rules, with the aim of classifying simple equations by the decidability properties shared by their extensions. We also prove a number of relationships among simple extensions by showing the equational theory of their idempotent semiring reducts coincides with simple extensions of idempotent semirings. On the decidability front, we develop both semantical and syntactical …