arXiv subjects

Ryan Pepper

Publications and source records attributed to Ryan Pepper.

13 recordsLinked to original sources

arXiv2025

In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator

We present four open conjectures in graph theory generated by the automated conjecturing system \texttt{TxGraffiti}. Each conjecture is concise, grounded in natural graph invariants, and empirically validated across hundreds of graphs. Despite extensive effort, these statements remain unresolved--defying both proof and counterexample. They are not only mathematical challenges but creative expressions--born of symbolic pattern recognition and mathematician-defined heuristics, refined through years of human dialogue, and now offered back to the community as collaborative artifacts. These conjectures invite not only formal proof, but also reflection on how machines can evoke wonder, spark curiosity, and contribute to the raw material of discovery. By highlighting these problems, we aim to inspire both human mathematicians and AI systems to engage with them--not only to solve them, but to reflect on what it means when machines participate meaningfully in the creative process of mathematical thought.

cs.DM↗

arXiv2025

Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs

Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $\alpha_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $\alpha_{\mathcal{F}}(G) \le (r-1)k\gamma(G)$, where $\gamma(G)$ is the \emph{domination number}. When $\mathcal{F}$ is the family of empty graphs, this bound simplifies to $\alpha(G) \le 2\gamma(G)$ for $K_{1,3}$-free (claw-free) graphs, where $\alpha(G)$ is the \emph{independence number} of $G$. For $d$-regular graphs, this is further refined to the bound $\alpha(G) \le 2\left(\frac{d+1}{d+2}\right)\gamma(G)$, which is tight for $d \in \{2, 3, 4\}$. Using Ramsey theory, we extend this framework to edge-hereditary graph families, showing that for $K_{1,r}$-free graphs, we have $\alpha_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})\gamma(G)$, where $\mathcal{F^*}$ is the set of graphs not in $\mathcal{F}$. Specializing to $K_q$-free graphs, we show $\alpha_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)\gamma(G)$. Finally, for the \emph{$k$-independence number} $\alpha_k(G)$, we prove that if $G$ is $K_{1,r}$-free with order $n$ and minimum degree $\delta \ge k+1$, \[ \alpha_k(G) \le \left( \frac{(r-1)(k+1)}{\delta - k + (r-1)(k+1)} \right) n, \] and this bound is sharp for all parameters.

math.CO↗

arXiv2024

Comparing the $p$-independence number of regular graphs to the $q$-independence number of their line graphs

Let $G$ be a simple graph and let $L(G)$ denote the \emph{line graph} of $G$. A \emph{$p$-independent} set in $G$ is a set of vertices $S \subseteq V(G)$ such that the subgraph induced by $S$ has maximum degree at most $p$. The \emph{$p$-independence number} of $G$, denoted by $\alpha_p(G)$, is the cardinality of a maximum $p$-independent set in $G$. In this paper, and motivated by the recent result that independence number is at most matching number for regular graphs~\cite{CaDaPe2020}, we investigate which values of the non-negative integers $p$, $q$, and $r$ have the property that $\alpha_p(G) \leq \alpha_q(L(G))$ for all r-regular graphs. Triples $(p, q, r)$ having this property are called \emph{valid $\alpha$-triples}. Among the results we prove are: \begin{itemize} \item $(p, q, r)$ is valid $\alpha$-triple for $p \geq 0$, $q \geq 3$ , and $r\geq 2$. \item $(p, q, r)$ is valid $\alpha$-triple for $p \leq q < 3$ and $r\geq 2$. \item $(p, q, r)$ is valid $\alpha$-triple for $p \geq 0$, $q = 2$, and $r$ even. \item $(p, q, r)$ is valid $\alpha$-triple for $p \geq 0$, $q = 2$, and $r$ odd with $r = \max \Big \{ 3, \frac{17(p+1)}{16}\Big \}$. \end{itemize} We also show a close relation between undetermined possible valid $\alpha$-triples, the Linear Aboricity Conjecture, and the Path-Cover Conjecture.

math.CO↗

arXiv2021

Conjecture of TxGraffiti: Independence, domination, and matchings

TxGraffiti is an automated conjecturing program that produces graph theoretic conjectures in the form of conjectured inequalities. This program written and maintained by the second author since 2017 was inspired by the successes of previous automated conjecturing programs including Fajtlowicz's GRAFFITI and DeLaVi\~{n}a's GRAFFITI.pc. In this paper we prove and generalize several conjectures generated by TxGraffiti when it was prompted to conjecture on the \emph{independence number}, the \emph{domination number}, and the \emph{matching number} (and generalizations of each of these graph invariants). Moreover, in several instances we also show the proposed inequalities relating these graph invariants are sharp.

math.CO↗

arXiv2019

New results relating independence and matchings

In this paper we study relationships between the \emph{matching number}, written $\mu(G)$, and the \emph{independence number}, written $\alpha(G)$. Our first main result is to show \[ \alpha(G) \le \mu(G) + |X| - \mu(G[N_G[X]]), \] where $X$ is \emph{any} intersection of maximum independent sets in $G$. Our second main result is to show \[ \delta(G)\alpha(G) \le \Delta(G)\mu(G), \] where $\delta(G)$ and $\Delta(G)$ denote the minimum and maximum vertex degrees of $G$, respectively. These results improve on and generalize known relations between $\mu(G)$ and $\alpha(G)$. Further, we also give examples showing these improvements.

math.CO↗

arXiv2018

Proposal for a micromagnetic standard problem for materials with Dzyaloshinskii-Moriya interaction

Understanding the role of the Dzyaloshinskii-Moriya interaction (DMI) for the formation of helimagnetic order, as well as the emergence of skyrmions in magnetic systems that lack inversion symmetry, has found increasing interest due to the significant potential for novel spin based technologies. Candidate materials to host skyrmions include those belonging to the B20 group such as FeGe, known for stabilising Bloch-like skyrmions, interfacial systems such as cobalt multilayers or Pd/Fe bilayers on top of Ir(111), known for stabilising N\'eel-like skyrmions, and, recently, alloys with a crystallographic symmetry where anti-skyrmions are stabilised. Micromagnetic simulations have become a standard approach to aid the design and optimisation of spintronic and magnetic nanodevices and are also applied to the modelling of device applications which make use of skyrmions. Several public domain micromagnetic simulation packages such as OOMMF, MuMax3 and Fidimag already offer implementations of different DMI terms. It is therefore highly desirable to propose a so-called micromagnetic standard problem that would allow one to benchmark and test the different software packages in a similar way as is done for ferromagnetic materials without DMI. Here, we provide a sequence of well-defined and increasingly complex computational problems for magnetic materials with DMI. Our test problems include 1D, 2D and 3D domains, spin wave dynamics in the presence of DMI, and validation of the analytical and numerical solutions including uniform magnetisation, edge tilting, spin waves and skyrmion formation. This set of problems can be used by developers and users of new micromagnetic simulation codes for testing and validation and hence establishing scientific credibility.

cond-mat.other↗

arXiv2017

Maximum oriented forcing number for complete graphs

The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for the underlying simple graph $G$, $\MOF_k(K_n)$ can also be interpreted as an interesting property for tournaments. Our main results further focus on the case when $k=1$. These include a lower bound on $\MOF(K_n)$ of roughly $\frac{3}{4}n$, and for $n\ge 2$, a lower bound of $n - \frac{2n}{\log_2(n)}$. Along the way, we also consider various lower bounds on the maximum oriented $k$-forcing number for the closely related complete $q$-partite graphs.

math.CO↗

arXiv2017

Extremal $k$-forcing sets in oriented graphs

This article studies the \emph{$k$-forcing number} for oriented graphs, generalizing both the \emph{zero forcing number} for directed graphs and the $k$-forcing number for simple graphs. In particular, given a simple graph $G$, we introduce the maximum (minimum) oriented $k$-forcing number, denoted $\MOF_k(G)$ ($\mof_k(G)$), which is the largest (smallest) $k$-forcing number among all possible orientations of $G$. These new ideas are compared to known graph invariants and it is shown that, among other things, $\mof(G)$ equals the path covering number of $G$ while $\MOF_k(G)$ is greater than or equal to the independence number of $G$ -- with equality holding if $G$ is a tree or if $k$ is at least the maximum degree of $G$. Along the way, we also show that many recent results about $k$-forcing number can be modified for oriented graphs.

math.CO↗

arXiv2016

Bounds on the connected forcing number of a graph

In this paper, we study (zero) forcing sets which induce connected subgraphs of a graph. The minimum cardinality of such a set is called the connected forcing number of the graph. We provide sharp upper and lower bounds on the connected forcing number in terms of the minimum degree, maximum degree, girth, and order of the graph.

math.CO↗

arXiv2014

Dynamic approach to k-forcing

The k-forcing number of a graph is a generalization of the zero forcing number. In this note, we give a greedy algorithm to approximate the k-forcing number of a graph. Using this dynamic approach, we give corollaries which improve upon two theorems from a recent paper of Amos, Caro, Davila and Pepper [2], while also answering an open problem posed by Meyer [9].

math.CO↗

arXiv2014

Upper bounds on the k-forcing number of a graph

Given a simple undirected graph $G$ and a positive integer $k$, the $k$-forcing number of $G$, denoted $F_k(G)$, is the minimum number of vertices that need to be initially colored so that all vertices eventually become colored during the discrete dynamical process described by the following rule. Starting from an initial set of colored vertices and stopping when all vertices are colored: if a colored vertex has at most $k$ non-colored neighbors, then each of its non-colored neighbors becomes colored. When $k=1$, this is equivalent to the zero forcing number, usually denoted with $Z(G)$, a recently introduced invariant that gives an upper bound on the maximum nullity of a graph. In this paper, we give several upper bounds on the $k$-forcing number. Notable among these, we show that if $G$ is a graph with order $n \ge 2$ and maximum degree $\Delta \ge k$, then $F_k(G) \le \frac{(\Delta-k+1)n}{\Delta - k + 1 +\min{\{\delta,k\}}}$. This simplifies to, for the zero forcing number case of $k=1$, $Z(G)=F_1(G) \le \frac{\Delta n}{\Delta+1}$. Moreover, when $\Delta \ge 2$ and the graph is $k$-connected, we prove that $F_k(G) \leq \frac{(\Delta-2)n+2}{\Delta+k-2}$, which is an improvement when $k\leq 2$, and specializes to, for the zero forcing number case, $Z(G)= F_1(G) \le \frac{(\Delta -2)n+2}{\Delta -1}$. These results resolve a problem posed by Meyer about regular bipartite circulant graphs. Finally, we present a relationship between the $k$-forcing number and the connected $k$-domination number. As a corollary, we find that the sum of the zero forcing number and connected domination number is at most the order for connected graphs.

math.CO↗

arXiv2013

Regular independent sets

The regular independence number, introduced by Albertson and Boutin in 1990, is the size of a largest set of independent vertices with the same degree. Lower bounds were proven for this invariant, in terms of the order, for trees and planar graphs. In this article, we generalize and extend these results to find lower bounds for the regular $k$-independence number for trees, forests, planar graphs, $k$-trees and $k$-degenerate graphs.

math.CO↗

arXiv2012

Degree Sequence Index Strategy

We introduce a procedure, called the Degree Sequence Index Strategy (DSI), by which to bound graph invariants by certain indices in the ordered degree sequence. As an illustration of the DSI strategy, we show how it can be used to give new upper and lower bounds on the $k$-independence and the $k$-domination numbers. These include, among other things, a double generalization of the annihilation number, a recently introduced upper bound on the independence number. Next, we use the DSI strategy in conjunction with planarity, to generalize some results of Caro and Roddity about independence number in planar graphs. Lastly, for claw-free and $K_{1,r}$-free graphs, we use DSI to generalize some results of Faudree, Gould, Jacobson, Lesniak and Lindquester.

math.CO↗