Discrete Mathematics and Combinatorics Commons^™

Homomesies And Toggleability Spaces, Alec Mertin

All Dissertations

We study the homomesy phenomenon under the rowmotion operator acting on order ideals of posets. We provide details for the extensions of several results in the literature concerning homomesies of toggleability statistics from finite to infinite orbits, which allows us to obtain homomesies for piecewise-linear and birational rowmotion, even in the case of infinite orbits. Integral to this is a novel generalization of a result in the literature, which relaxes the conditions needed to lift a statistic.

We completely describe the order ideal (resp. antichain) toggleability space for general fences: the space of statistics which are linear combinations of …

Multiple Monochromatic Subgraphs In Edge-Colored Graphs, Emma Felicity Jent

Dissertations

Ramsey theory, though a relatively young branch of mathematics, has captivated the attention of graph theorists, combinatorialists, and theoretical computer scientists alike through its raw beauty, versatility, and powerful applications. Before it emerged as a branch of mathematics, the central idea of Ramsey theory appeared in the form of three lemmas in three separate papers by three different mathematicians working on three distinct areas of research. The first such lemma was published by David Hilbert in 1892, followed by the second lemma published by Issai Schur in 1916. However, Frank Ramsey’s renowned lemma, published in 1930, compelled mathematicians to establish …

Simplicial Decomposition And Realization, Matthew Ellison

Dartmouth College Ph.D Dissertations

In simplicial decomposition, we define two invariants --- V_Z and V_Q --- which represent notions of integral and rational volume of a certain class of simplicial complexes. We prove V_Z and V_Q are additive under disjoint union and connected sum, and investigate `integrality gaps' between the two quantities. We apply the theory to establish a conjecture of Sleator, Thurston, and Tarjan on tetrahedral fillings, and, as a corollary, obtain a new proof of Pournin's 2012 result on the diameter of the associahedron. In simplicial realization, we provide practical sufficient conditions and computer code to prove the existence of Euclidean embeddings …

The Degrees Of The Irreducible Representations Of The Symmetric Group With Respect To Primes, Vanessa F. Beeler

Master's Theses

In this thesis, we explore the relationship between the degrees of irreducible matrix representations of the symmetric group and prime numbers. We start by building up the required background necessary to construct our results. We dive into topics of discrete mathematics including matrix representations, characters of representations, integer partitions, conjugacy classes, class functions, and tableaux. Some other key ingredients in our work include using character tables to classify the irreducible rep- resentations of the symmetric group and the hook-length formula to easily compute the degrees of these representations. Once we have laid the groundwork for our in- vestigation, we begin …

On The Design Of A Framework For Large-Scale Exploratory Graph Analytics, Oliver Andres Alvarado Rodriguez

Dissertations

Large-scale exploratory graph analytics merges data science with high-performance computing to extract critical insights from network-representable data. Data scientists routinely analyze data from the natural, social, and computing sciences by representing it as networks, or graphs, where objects become vertices and their relationships become edges. This representation allows data scientists to add graph analytics to their toolbox. However, designing tools for large-scale exploratory graph analytics is challenging due to the complexities of graph algorithms, such as high communication in distributed systems and large memory demands. These challenges can lead to overly complex software, which limits usability and development to a …

Lower Bounds For The Total Distance $K$-Domination Number Of A Graph, Randy R. Davila

Theory & Applications of Graphs

For $k \geq 1$ and a graph $G$ without isolated vertices, a \emph{total distance $k$-dominating set} of $G$ is a set of vertices $S \subseteq V(G)$ such that every vertex in $G$ is within distance $k$ to some vertex of $S$ other than itself. The \emph{total distance $k$-domination number} of $G$ is the minimum cardinality of a total $k$-dominating set in $G$ and is denoted by $\gamma_{k}^t(G)$. When $k=1$, the total $k$-domination number reduces to the \emph{total domination number}, written $\gamma_t(G)$; that is, $\gamma_t(G) = \gamma_{1}^t(G)$. This paper shows that several known lower bounds on the total domination number generalize …

The Integer-Antimagic Spectra Of A Weak Join Of Hamiltonian Graphs, Ugur Odabasi, Dan Roberts, Richard M. Low

Theory & Applications of Graphs

A simple graph $G$ with vertex set $V(G)$ and edge set $E(G)$ is \emph{$\mathbb{Z}_{k}$-antimagic} if there exists a function $f: E(G) \to \mathbb{Z}_{k} \backslash \{0\}$ such that the induced function $f^+(v)=\sum_{uv\in E(G)} f(uv)$ is injective. The \textit{integer-antimagic spectrum} of a graph $G$ is the set IAM$(G) = \{k: G \textnormal{ is } \mathbb{Z}_k\textnormal{-antimagic and } k \geq 2\}$. A \emph{weak join} of vertex-disjoint graphs is the collection of the graphs with additional simple edges (possibly none) between the original graphs. In this paper, we characterize IAM$(H)$ where $H$ is a weak join of Hamiltonian graphs.

Prime Labelings On A 3xn Grid Graph, Stephen J. Curran, Matt A. Ollis

Theory & Applications of Graphs

It is conjectured that the mxn grid graph has a prime labeling for all positive integers m and n. It is known that for any prime p and any integer n such that 1≤n≤p², there exists a prime labeling on the pxn grid graph P_m x P_n. Also, it is known that the ladder P₂ x P_n has a prime labeling for all positive integers n. We assume that Goldbach's Even Conjecture and a strengthened variant of Lemoine's Conjecture are true in order to show that the 3xn grid graph P …

All Graphs Of Order N With Distinguishing Number N−1 Or N − 2, Andi Pujo Rahadi, Edy Tri Baskoro, Suhadi Wido Saputro

Theory & Applications of Graphs

Let G be a simple connected graph. The distinguishing number of G, denoted by D(G), is the least integer d such that G has a vertex d-labeling preserved only by the trivial automorphism. In this paper, we characterize all graphs of order n with distinguishing number n − 1, or n − 2.

On The Hexgame, Corwin Jones

Mathematical Sciences Technical Reports (MSTR)

The SOMA Cube has been studied by mathematicians for a number of decades, but so far methods for solving three-dimensional space-filling puzzles like the SOMA cube remain numerical; we do not have a means to predict the number of solutions to SOMA-like puzzles. We present a two-dimensional puzzle that shares certain features of the SOMA Cube, with the hope that it will be a more convenient object of study for future research into space-filling/space-covering puzzles.

Two-Player Trick-Taking Games On Bipartite Tournaments., Allan Bagley

College of Arts & Sciences Senior Theses

We consider a two-person game played on a bipartite tournament with equal size parts. The game is modeled after trick-taking card games like bridge or euchre. The two players, South and North, each receive one of the parts as their hand, and the arcs from a vertex in one hand beat the corresponding vertices in the other hand. The game is played over rounds called tricks where the number of tricks is equal to the number of vertices in each player’s hand. At the beginning of the game, one player is designated as the leader, and they play the first …

Maximal Independent Set Algorithms Within Procedural Planar Maps: A Large-Scale Evaluation, Chaucer Ihrig

Honors College Theses

Analysis of a childhood game has led us to the problem of maximum independent sets in planar graphs. We wrote a graph creation utility using R to generate a random planar map and its dual graph. This utility then finds a graph’s maximal independent set using a variety of six algorithms. We investigate statistical connections between graph structure, colorability, and the maximal independent sets found using these algorithms over an incredibly large and procedurally generated dataset. We find one can always win the coloring game if the resultant graph is two-colorable. The algorithms perform statistically and practically significantly better on …

Knighted Pawn's Tour, Morgan Wilson

Honors Theses

The Knighted Pawn’s Tour is a variant of the traditional Knight’s Tour problem, whichitself is an instance of the Hamiltonian cycle problem. The deviation from the Knight’s Tour problem is that a pawn begins on any field on the second rank (row), and advances with legal moves that can include captures to the opposite end of the board to become a knight. These fields, used by the pawn on the path to knighthood, are subsequently forbidden for the knight’s return to the starting field. The knight must traverse the rest of the chessboard, visiting each remaining field exactly once …

Combinatorial Rigidity And Flexibility Of Simplicial 2-Complexes With Few Vertices, Serge A. Lawrence, Abdulkarim M. Magomedov, Olga I. Chelyapina, Valentina M. Rudenko

Theory & Applications of Graphs

We study the problem of reconstruction of a simplicial 2-complex from its 1- skeleton together with the prescribed quantities of 2-simplices at each 1-simplex, under the restriction that these quantities are bounded above by 2. It is a known fact that a 2-complex is uniquely reconstructible, or “combinatorially rigid”, if it has 5 or fewer vertices. In this paper “combinatorially flexible” 2-complexes (that is, non-uniquely reconstructible from their 1-skeletons) with 6 vertices are characterized in terms of necessary 2-subcomplexes.

Counting Hamiltonian Cycles In Quartic Circulant Graphs, Allison Hilliard

Seaver College Research And Scholarly Achievement Symposium

We consider the problem of counting Hamiltonian cycles in circulant graphs $C_n^{1,k}$. Our method is to partition the set of Hamiltonian cycles according to their winding numbers. Then, we construct a weighted digraph that allows us to produce a generating function that counts the number of Hamiltonian cycles for each winding number. Summing these generating functions derives a formula for the total number of Hamiltonian cycles in a circulant graph with $n$ vertices.

32 - Nested Two Level Decomposition For Quantum Computing, Andrew Maciejunes, John Stenger, Dan Gunlycke, Nikos Chrisochoides

Undergraduate Research Symposium

Abstract—We present a two-level decomposition strategy for solving the Vehicle Routing Problem (VRP) using the Quantum Approximate Optimization Algorithm (QAOA). A Problem-Level Decomposition (PLD) partitions a 9-node (72-qubit) VRP into smaller Traveling Salesman Problem (TSP) instances. Each TSP is then further simplified via Circuit-Level Decomposition (CLD), enabling execution on near-term quantum devices. Our approach achieves up to 90% reductions in circuit depth and qubit count. These results demonstrate the feasibility of solving VRPs previously too complex for quantum simulators and provide early evidence of potential quantum utility.

Chain Theorems For Different Classes Of 3-Connected Graphs, Avin Sunuwar

LSU Doctoral Dissertations

This dissertation explores the structural properties of graphs by extending the classical result of Tutte's Wheel Theorem. In particular, we develop an improved version of Tutte's Wheel Theorem along with new chain theorems for subclasses of 3-connected graphs. These chain theorems provide a systematic approach to characterizing graphs that exclude certain minors, leading to significantly shorter proofs of established results.

In Chapter 5, we present a generalization of the block-tree theorem for connected graphs, which removes the restriction on cut vertices and allows greater flexibility in separator sizes. By integrating the results from Chapters 3, 4, and 5, we …

Irreversible K-Threshold Number Ck(G) And Saturation Probability P[G] For Corona Product And Double Corona Product Graphs, Eric J. Moon, Soumya Bhoumik, Paul Flesher

SACAD: Scholarly Activities

We discuss the Irreversible k-conversion process for graphs, where a vertex becomes saturated and remains saturated indefinitely if at least k of its neighbors are saturated. We investigate sets S₀, which when initially saturated, lead to complete graph saturation. We are interested in the minimum |S₀| = C_k(G), called the k-threshold number. We consider the construction of the Corona Product Graphs (of C_n and K_p). Additionally, we extend our analysis by defining and exploring Double Corona Product Graphs (of C_n and K_p). Then we incorporate …

Patterns Within The Collatz Conjecture, Kiel Harrison

SACAD: Scholarly Activities

The Collatz Conjecture, also known as 3n+1, one of the most famous unsolved problems in mathematics, has been forever out of reach of being truly solved. However, through the application of traces, there is now a new pathway forward to working out a potential solution. This study shows how this pathway was found, and what steps need to be taken to follow it.

Unavoidable Immersions And Topological Minors Of K-Edge-Connected Graphs, Brittian Qualls

LSU Doctoral Dissertations

In this work, we present results concerning the unavoidable structures in large and infinite k-edge-connected graphs. These results are inspired by the classical result of Ramsey, who proved that for every positive integer r, every sufficiently large graph contains as an induced subgraph either K_r or $\overline{K_r}$. We consider different graph containment relations, focusing primarily on the immersion relation. In the case of finite graphs, we provide the unavoidable immersions of 4-edge-connected graphs and prove that linear edge-connectivity suffices to immerse the graph C_t,r.

This dissertation also considers infinite graphs. We present the …