Mathematics Commons^™

On 2-Primitive Triangle Decompositions Of Cocktail Party Graphs, Ian P. Waddell

Theses, Dissertations and Capstones

A decomposition of a graph Γ is a collection C of subgraphs, perhaps nonisomorphic, that partition the edges of Γ. Analogously, consider a group of truck drivers whose non-overlapping routes jointly cover all of the roads between a set of cities; that is, each road is traversed by precisely one driver. In this scenario, the cities are the vertices of the graph, the roads are the edges between vertices, and the drivers’ routes are the subgraphs in the decomposition. Given a graph H, we call C an H-decomposition of Γ if each subgraph in C is isomorphic to …

Methods Of Computing Graph Gonalities, Noah Speeter

Theses and Dissertations--Mathematics

Chip firing is a category of games played on graphs. The gonality of a graph tells us how many chips are needed to win one variation of the chip firing game. The focus of this dissertation is to provide a variety of new strategies to compute the gonality of various graph families. One family of graphs which this dissertation is particularly interested in is rook graphs. Rook graphs are the Cartesian product of two or more complete graphs and we prove that the gonality of two dimensional rook graphs is the expected value of (n − 1)m where n is …

Counting Spanning Trees On Triangular Lattices, Angie Wang

CMC Senior Theses

This thesis focuses on finding spanning tree counts for triangular lattices and other planar graphs comprised of triangular faces. This topic has applications in redistricting: many proposed algorithmic methods for detecting gerrymandering involve spanning trees, and graphs representing states/regions are often triangulated. First, we present and prove Kirchhoff’s Matrix Tree Theorem, a well known formula for computing the number of spanning trees of a multigraph. Then, we use combinatorial methods to find spanning tree counts for chains of triangles and 3 × n triangular lattices (some limiting formulas exist, but they rely on higher level mathematics). For a chain of …

Graphs, Adjacency Matrices, And Corresponding Functions, Yang Hong

Honors Theses

Stable polynomials, in the context of this research, are two-variable polynomials like $p(z_1,z_2) = 2 - z_1 - z_2$ that are guaranteed to be non-zero if both input variables have an absolute value less than one in the complex plane. Stable polynomials are used in a variety of mathematical fields, thus finding ways to construct stable polynomials is valuable. An important property of these polynomials is whether they have boundary zeros, which are points in the complex plane where the polynomial equals zero and both variables have an absolute value of 1. Overall, it is challenging to find stable polynomials …

Selected Problems In Graph Coloring, Hudson Lafayette

Theses and Dissertations

The Borodin–Kostochka Conjecture states that for a graph G, if ∆(G) ≥ 9 and ω(G) ≤ ∆(G) − 1, then χ(G) ≤ ∆(G) − 1. We prove the Borodin–Kostochka Conjecture for (P5, gem)-free graphs, i.e., graphs with no induced P5 and no induced K1 ∨P4.

For a graph G and t, k ∈ Z+ at-tone k-coloring of G is a function f : V (G) → [k] such that |f(v) ∩f (w)| < d(v,w) for all distinct v, w ∈ V(G). The t-tone chromatic number of G, denoted τt(G), is the minimum k such that G is t-tone k-colorable. For small values of t, we prove sharp or nearly sharp upper bounds on the t-tone chromatic number of various classes of sparse graphs. In particular, we determine τ2(G) exactly when mad(G) < 12/5 and also determine τ2(G), up to a small additive constant, when G is outerplanar. Finally, we determine τt(Cn) exactly when t ∈ {3, 4, 5}.

Rainbow Turan Methods For Trees, Victoria Bednar

Theses and Dissertations

The rainbow Turan number, a natural extension of the well-studied traditional
Turan number, was introduced in 2007 by Keevash, Mubayi, Sudakov and Verstraete. The rainbow Tur ́an number of a graph F , ex*(n, F ), is the largest number of edges for an n vertex graph G that can be properly edge colored with no rainbow F subgraph. Chapter 1 of this dissertation gives relevant definitions and a brief history of extremal graph theory. Chapter 2 defines k-unique colorings and the related k-unique Turan number and provides preliminary results on this new variant. In Chapter 3, we explore the …

Investigations In The Semi-Strong Product Of Graphs And Bootstrap Percolation, Kevin J. Mccall

Theses and Dissertations

The semi-strong product of graphs G and H is a way of forming a new graph from the graphs G and H. The vertex set of the semi-strong product is the Cartesian product of the vertex sets of G and H, V(G) x V(H). The edges of the semi-strong product are determined as follows: (g₁,h₁)(g₂,h₂) is an edge of the product whenever g₁g₂ is an edge of G and h₁h₂ is an edge of H or g₁ = g₂ and h₁h_{2 …}

Kōlams In Graph Theory: Mathematics In South Indian Ritual Art, Nathan Hartmann

Murray State Theses and Dissertations

Kōlams are a ritual art form found in India, most commonly in the southern state
of Tamil Nadu. Comprised of different interlocking knots, these women-drawn designs are placed on the entrances to people’s home to showcase the household’s emotional state and ask the earth goddess Bhūdevi for forgiveness. More aesthetically pleasing kōlams are considered latshanam, where the design permeates beauty; monolinearity is one such aspect that implements latshanam. Using graph theory, we examine one style of these drawings, the labyrinthine variety, to identify if a given kōlam is monolinear and how to construct monolinear kōlams.

On Prime Labelings Of Uniform Cycle Snake Graphs, M. A. Ollis

Emerson Authors, Researchers, & Creators

A reseaech paper in graph theory, a subfield of math. At the time of the research Agam Bedi and Samiksha Ramesh were undergraduate students at Emerson College and the work was completed as part of the SOC320 Research Co-Curricular in the summer of 2022. The work has a Creative Commons BY-NC licence.

Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox

Theory & Applications of Graphs

In [Abueida, A. and Roblee, K., More harmonious labelings of families of disjoint unions of an odd cycle and certain trees, J. Combin. Math. Combin. Comput., 115 (2020), 61-68] it is shown that the disjoint union of an odd cycle and certain paths is harmonious, and that certain starlike trees are harmonious using properties of cosets for a particular subgroup of the integers modulo m, where m is the number of edges of the graph. We expand upon these results by first exploring the numerical properties when adding values from cosets and subcosets in the integers modulo m. …

Nessie Notation: A New Tool In Sequential Substitution Systems And Graph Theory For Summarizing Concatenations, Colton Davis

Student Research

While doing research looking for ways to categorize causal networks generated by Sequential Substitution Systems, I created a new notation to compactly summarize concatenations of integers or strings of integers, including infinite sequences of these, in the same way that sums, products, and unions of sets can be summarized. Using my method, any sequence of integers or strings of integers with a closed-form iterative pattern can be compactly summarized in just one line of mathematical notation, including graphs generated by Sequential Substitution Systems, many Primitive Pythagorean Triplets, and various Lucas sequences including the Fibonacci sequence and the sequence of square …

3-Uniform 4-Path Decompositions Of Complete 3-Uniform Hypergraphs, Rachel Mccann

Mathematical Sciences Undergraduate Honors Theses

The complete 3-uniform hypergraph of order v is denoted as K_v and consists of vertex set V with size v and edge set E, containing all 3-element subsets of V. We consider a 3-uniform hypergraph P₇, a path with vertex set {v₁, v₂, v₃, v₄, v₅, v₆, v₇} and edge set {{v₁, v₂, v₃}, {v₂, v₃, v₄}, {v₄, v₅, v₆}, {v₅, v_{6 …}

Structure Of Number Theoretic Graphs, Lee Trent

Mathematical Sciences Technical Reports (MSTR)

The tools of graph theory can be used to investigate the structure
imposed on the integers by various relations. Here we investigate two
kinds of graphs. The first, a square product graph, takes for its vertices
the integers 1 through n, and draws edges between numbers whose product
is a square. The second, a square product graph, has the same vertex set,
and draws edges between numbers whose sum is a square.
We investigate the structure of these graphs. For square product
graphs, we provide a rather complete characterization of their structure as
a union of disjoint complete graphs. For …

How To Guard An Art Gallery: A Simple Mathematical Problem, Natalie Petruzelli

The Review: A Journal of Undergraduate Student Research

The art gallery problem is a geometry question that seeks to find the minimum number of guards necessary to guard an art gallery based on the qualities of the museum’s shape, specifically the number of walls. Solved by Václav Chvátal in 1975, the resulting Art Gallery Theorem dictates that ⌊n/3⌋ guards are always sufficient and sometimes necessary to guard an art gallery with n walls. This theorem, along with the argument that proves it, are accessible and interesting results even to one with little to no mathematical knowledge, introducing readers to common concepts in both geometry and graph …

Vertex Identification In Graphs, Yuya Kono

Dissertations

In recent decades, there has been increased interest in studying ways touniquely identify the vertices of a given graph. Two of best-known vertex identification methods are referred to as the metric dimension introduced by Slater and by Harary, and Melter in the1970s, and the partition dimension introduced by Chartrand in 2000. The first method deals with locating an ordered set of vertices in a connected graph G and uniquely identifying each vertex of G by means of the distance between this vertex and the vertices in the ordered set. The second method deals with partitioning the vertex set of a …

Minimality Of Integer Bar Visibility Graphs, Emily Dehoff

University Honors Theses

A visibility representation is an association between the set of vertices in a graph and a set of objects in the plane such that two objects have an unobstructed, positive-width line of sight between them if and only if their two associated vertices are adjacent. In this paper, we focus on integer bar visibility graphs (IBVGs), which use horizontal line segments with integer endpoints to represent the vertices of a given graph. We present results on the exact widths of IBVGs of paths, cycles, and stars, and lower bounds on trees and general graphs. In our main results, we find …

Intersection Cographs And Aesthetics, Robert Haas

Journal of Humanistic Mathematics

Cographs are complete graphs with colored lines (edges); in an intersection cograph, the points (vertices) and lines (edges) are labeled by sets, and the line between each pair of points is (or represents) their intersection. This article first presents the elementary theory of intersection cographs: 15 are possible on 4 points; constraints on the triangles and quadrilaterals; some forbidden configurations; and how, under suitable constraints, to generate the points from the lines alone. The mathematical theory is then applied to aesthetics, using set cographs to describe the experience of a person enjoying a picture (Mu Qi), poem (Dickinson), play (Shakespeare), …

Graphs, Local Zeta Functions, Log-Coulomb Gases, And Phase Transitions At Finite Temperature, Wilson A. Zuniga-Galindo, Brian A. Zambrano-Luna, E. León-Cardenal

School of Mathematical & Statistical Sciences Faculty Publications

We study a log-gas on a network (a finite, simple graph) confined in a bounded subset of a local field (i.e., R, C, and Qp being the field of p-adic numbers). In this gas, a log-Coulomb interaction between two charged particles occurs only when the sites of the particles are connected by an edge of the network. The partition functions of such gases turn out to be a particular class of multivariate local zeta functions attached to the network and a positive test function, which is determined by the confining potential. The methods and results of the theory of local …

Local-Global Results On Discrete Structures, Alexander Lewis Stevens

Electronic Theses and Dissertations

Local-global arguments, or those which glean global insights from local information, are central ideas in many areas of mathematics and computer science. For instance, in computer science a greedy algorithm makes locally optimal choices that are guaranteed to be consistent with a globally optimal solution. On the mathematical end, global information on Riemannian manifolds is often implied by (local) curvature lower bounds. Discrete notions of graph curvature have recently emerged, allowing ideas pioneered in Riemannian geometry to be extended to the discrete setting. Bakry- Émery curvature has been one such successful notion of curvature. In this thesis we use combinatorial …

Equitable Coloring Of Complete Tripartitle Graphs, Maxwell Vlam, Bailey Orehosky, Dominic Ditizio

Capstone Showcase

In this paper, we prove the Equitable Coloring Conjecture for variations of complete tripartite graphs with graphs K_n,n,n, K_n,n,2n, K_n,n,n+2, and K_n,n+2,n+4.

Matrix Interpretations And Tools For Investigating Even Functionals, Benjamin Stringer

Theses and Dissertations--Computer Science

Even functionals are a set of polynomials evaluated on the terms of hollow symmetric matrices. Their properties lend themselves to applications such as counting subgraph embeddings in generic (weighted or unweighted) host graphs and computing moments of binary quadratic forms, which occur in combinatorial optimization. This research focuses primarily on counting subgraph embeddings, which is traditionally accomplished with brute-force algorithms or algorithms curated for special types of graphs. Even functionals provide a method for counting subgraphs algebraically in time proportional to matrix multiplication and is not restricted to particular graph types. Counting subgraph embeddings can be accomplished by evaluating a …

Domino Circles, Lauren L. Rose, A. Gwinn Royal, Amanda Serenevy, Anna Varvak

Journal of Math Circles

Creating a circle with domino pieces has a connection with complete graphs in Graph Theory. We present a hands-on activity for all ages, using dominoes to explore problem solving, pattern recognition, parity, graph theory, and combinatorics. The activities are suitable for elementary school students, the graph theory interpretations are suitable for middle and high school students, and the underlying mathematical structures will be of interest to college students and beyond.

New Results On Subtractive Magic Graphs, Matthew J. Ko, Jason Pinto, Aaron Davis

Rose-Hulman Undergraduate Mathematics Journal

For any edge xy in a directed graph, the subtractive edge-weight is the sum of the label of xy and the label of y minus the label of x. Similarly, for any vertex z in a directed graph, the subtractive vertex-weight of z is the sum of the label of z and all edges directed into z and all the labels of edges that are directed away from z. A subtractive magic graph has every subtractive edge and vertex weight equal to some constant k. In this paper, we will discuss variations of subtractive magic labelings on …

On Problems In Random Structures, Ryan Cushman

Dissertations

This work addresses two problems in optimizing substructures within larger random structures. In the first, we study the triangle-packing number v(G), which is the maximum size of a set of edge-disjoint triangles in a graph. In particular we study this parameter for the random graph G(n,m). We analyze a random process called the online triangle packing process in order to bound v(G). The lower bound on v(G(n,m)) that this produces allows for the verification of a conjecture of Tuza for G( …

On The Hamiltonicity Of Subgroup Lattices, Nicholas Charles Fleece

Graduate Theses/Dissertations

In this paper we discuss the Hamiltonicity of the subgroup lattices of

different classes of groups. We provide sufficient conditions for the

Hamiltonicity of the subgroup lattices of cube-free abelian groups. We also

prove the non-Hamiltonicity of the subgroup lattices of dihedral and

dicyclic groups. We disprove a conjecture on non-abelian p-groups by

producing an infinite family of non-abelian p-groups with Hamiltonian

subgroup lattices. Finally, we provide a list of the Hamiltonicity of the

subgroup lattices of every finite group up to order 35 barring two groups.

Dna Self-Assembly Design For Gear Graphs, Chiara Mattamira

Rose-Hulman Undergraduate Mathematics Journal

Application of graph theory to the well-known complementary properties of DNA strands has resulted in new insights about more efficient ways to form DNA nanostructures, which have been discovered as useful tools for drug delivery, biomolecular computing, and biosensors. The key concept underlying DNA nanotechnology is the formation of complete DNA complexes out of a given collection of branched junction molecules. These molecules can be modeled in the abstract as portions of graphs made up of vertices and half-edges, where complete edges are representations of double-stranded DNA pieces that have joined together. For efficiency, one aim is to minimize the …

Bipartite Dot Product Graphs, Sean Bailey, David E. Brown

Mathematics and Statistics Faculty Publications

Given a bipartite graph G = (X, Y, E), the bipartite dot product representation of G is a function f : X ∪Y → ℝ^k and a positive threshold t such that for any x ∈ X and y ∈ Y , xy ∈ E if and only if f(x) · f(y) ≥ t. The minimum k such that a bipartite dot product representation exists for G is the bipartite dot product dimension of G, denoted bdp(G). We will show that such representations exist for all bipartite graphs as well as give an upper bound for the bipartite dot …

Trees With Unique Italian Dominating Functions Of Minimum Weight, Alyssa England

Electronic Theses and Dissertations

An Italian dominating function, abbreviated IDF, of $G$ is a function $f \colon V(G) \rightarrow \{0, 1, 2\}$ satisfying the condition that for every vertex $v \in V(G)$ with $f(v)=0$, we have $\sum_{u \in N(v)} f(u) \ge 2$. That is, either $v$ is adjacent to at least one vertex $u$ with $f(u) = 2$, or to at least two vertices $x$ and $y$ with $f(x) = f(y) = 1$. The Italian domination number, denoted $\gamma_I$(G), is the minimum weight of an IDF in $G$. In this thesis, we use operations that join two trees with a single edge in order …

Inductive Constructions In Logic And Graph Theory, Davis Deaton

Honors Scholars Collaborative Projects

Just as much as mathematics is about results, mathematics is about methods. This thesis focuses on one method: induction. Induction, in short, allows building complex mathemati- cal objects from simple ones. These mathematical objects include the foundational, like logical statements, and the abstract, like cell complexes. Non-mathematicians struggle to find a common thread throughout all of mathematics, but I present induction as such a common thread here. In particular, this thesis discusses everything from the very foundations of mathematics all the way to combina- torial manifolds. I intend to be casual and opinionated while still providing all necessary formal rigor. …

Extremal Problems On Induced Graph Colorings, James Hallas

Dissertations

Graph coloring is one of the most popular areas of graph theory, no doubt due to its many fascinating problems and applications to modern society, as well as the sheer mathematical beauty of the subject. As far back as 1880, in an attempt to solve the famous Four Color Problem, there have been numerous examples of certain types of graph colorings that have generated other graph colorings of interest. These types of colorings only gained momentum a century later, however, when in the 1980s, edge colorings were studied that led to vertex colorings of various types, led by the introduction …