arXiv++ Combinatorics

For a graph $G$, a function $f:V(G) \to \{0,1,2\}$ is called a $2$-limited dominating broadcast on $G$ if for every vertex $u$, there exists a vertex $v$ such that $f(v)>0$ and the distance between $u$ and $v$ in $G$ is at most $f(v)$. The {\it cost} of $f$ means the value $\sum_{v\in V(G)}f(v)$, and the {\it $2$-limited broadcast domination number} of $G$, denoted by $γ_{b,2}(G)$, is the cost of a $2$-limited dominating broadcast on $G$ with minimum cost. Henning, MacGillivray, and Yang (2020) conjectured that $γ_{b,2}(G)\leq \frac{|V(G)|}{3}$ for every cubic graph $G$. In this paper, we confirm the conjecture.

We say that a digraph $D$ is $(i,j)$-step competitive if any two vertices have an $(i,j)$-step common out-neighbor in $D$ and that a graph $G$ is $(i,j)$-step competitively orientable if there exists an $(i,j)$-step competitive orientation of $G$. In [Choi et al. Competitively orientable complete multipartite graphs. Discrete Mathematics, 345(9):112950, 2022], Choi et al. introduce the notion of competitive digraph and completely characterize competitively orientable complete multipartite graphs in terms of the sizes of its partite sets. Here, a competitive digraph means a $(1,1)$-step competitive digraph. In this paper, the result of Choi et al. has been extended to a general characterization of $(i,j)$-step competitively orientable complete multipartite graphs.

The competition-common enemy graph (CCE graph) of a digraph $D$ is the graph with the vertex set $V(D)$ and an edge $uv$ if and only if $u$ and $v$ have a common predator and a common prey in $D$. If each vertex of a digraph $D$ has indegree at most $i$ and outdegree at most $j$, then $D$ is called an $\langle i,j \rangle$ digraph. In this paper, we fully characterize the CCE graphs of $\langle 2,2\rangle$ digraphs. Then we investigate the CCE graphs of acyclic $\langle 2,2 \rangle$ digraphs, and prove that any CCE graph of an acyclic $\langle 2,2 \rangle$ digraph with at most seven components is interval, and the bound is sharp. While characterizing acyclic $\langle 2,2 \rangle$ digraphs that have interval graphs as their competition graphs, Hefner~{\it et al}. (1991) initiated the study of competition graphs of degree-bounded digraphs. Recently, Lee~{\em et al}. (2017) and Eoh and Kim (2021) studied phylogeny graphs of degree-bounded digraphs to extend their work.

We say that a digraph is a $(t,λ)$-liking digraph if every $t$ vertices have exactly $λ$ common out-neighbors. In 1975, Plesník [Graphs with a homogeneity, 1975. {\it Glasnik Mathematicki} 10:9-23] proved that any $(t,1)$-liking digraph is the complete digraph on $t+1$ vertices for each $t\geq 3$. Choi {\it et al}. [A digraph version of the Friendship Theorem, 2025. {\it Discrete mathematics}, 348(1), 114238] showed that a $(2,1)$-liking digraph is a fancy wheel digraph or a $k$-diregular digraph for some positive integer $k$. In this paper, we extend these results by completely characterizing the $(t,λ)$-liking digraphs with $t \geq λ+2$ and giving some equivalent conditions for a $(t,λ)$-liking digraph being a complete digraph on $t+λ$ vertices.

A multipartite tournament is an orientation of a complete $k$-partite graph for some positive integer $k\geq 3$. We say that a multipartite tournament $D$ is tight if every partite set forms a clique in the $(1,2)$-step competition graph, denoted by $C_{1,2}(D)$, of $D$. In the previous paper titled "On $(1,2)$-step competition graphs of multipartite tournaments" \cite{choi202412step} we completely characterize $C_{1,2}(D)$ for a tight multipartite tournament $D$. As an extension, in this paper, we study $(1,2)$-step competition graphs of multipartite tournaments that are not tight, which will be called loose. For a loose multipartite tournament $D$, various meaningful results are obtained in terms of $C_{1,2}(D)$ being interval and $C_{1,2}(D)$ being connected.

A multipartite tournament is an orientation of a complete $k$-partite graph for some positive integer $k\geq 3$. We say that a multipartite tournament $D$ is tight if every partite set forms a clique in the $(1,2)$-step competition graph, denoted by $C_{1,2}(D)$, of $D$. In this paper, we completely characterize $C_{1,2}(D)$ for a tight multipartite tournament $D$. We will study $C_{1,2}(D)$ for a multipartite tournament $D$ that is not tight in a follow up paper.

The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdős, Alfréd Rényi, and Vera T. Sós in 1966. ``What would happen if instead any pair of persons likes precisely one person?" While a friendship relation is symmetric, a liking relation may not be symmetric. Therefore to represent a liking relation we should use a directed graph. We call this digraph a ``liking digraph". It is easy to check that a symmetric liking digraph becomes a friendship graph if each directed cycle of length two is replaced with an edge. In this paper, we provide a digraph formulation of the Friendship Theorem which characterizes the liking digraphs. We also establish a sufficient and necessary condition for the existence of liking digraphs.

An acyclic digraph in which every vertex has indegree at most $i$ and outdegree at most $j$ is called an $(i,j)$ digraph for some positive integers $i$ and $j$. The phylogeny graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if one of the following is true: $(u,v) \in A(D)$; $(v,u) \in A(D)$; $(u,w) \in A(D)$ and $(v,w) \in A(D)$ for some $w \in V(D)$. A graph $G$ is a phylogeny graph (resp.\ an $(i,j)$ phylogeny graph) if there is an acyclic digraph $D$ (resp.\ an $(i,j)$ digraph $D$) such that the phylogeny graph of $D$ is isomorphic to $G$. Lee~{\em et al.} (2017) and Eoh and Kim (2021) studied the $(2,2)$ phylogeny graphs, $(1,j)$ phylogeny graphs, $(i,1)$ phylogeny graphs, and $(2,j)$ phylogeny graphs. Their work was motivated by problems related to evidence propagation in a Bayesian network for which it is useful to know which acyclic digraphs have chordal moral graphs (phylogeny graphs are called moral graphs in Bayesian network theory). In this paper, we extend their work by giving necessary conditions of chordal $(i,2)$ phylogeny graphs. We go further to give necessary conditions of $(i,j)$ phylogeny graphs by listing forbidden induced subgraphs.

In this paper, we discover all the triangle-free graphs that are competition graphs of multipartite tournaments.

In this paper, we completely characterize the digraphs of order $n$ whose $m$-step competition graphs are star graphs for positive integers $2\leq m < n$. This result in matrix version identifies the solution set to the matrix equation $X^m(X^T)^m= Λ_n+I_n$ for positive integers $2\leq m < n$ where $I_n$ is the identity matrix of order $n$ and $Λ_n$ is a $(0,1)$ Boolean matrix such that the first row and the first column consist of $1$'s except $(1,1)$-entry and the remaining entries are $0$, which is the adjacency matrix of a star graph of order $n$. We also derive meaningful properties of the digraphs whose $m$-step competition graphs are trees. In the process, we extend a result of Helleloid~[Connected triangle-free $m$-step competition graphs, Discrete Appl.\ Math.\ 145 (2005) 376--383] by showing that for all positive integers $m \geq 2$ and $n$, the connected triangle-free $m$-step competition graph on $n$ vertices is a tree.

We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete. We derive some useful properties of competitively orientable graphs and show that a complete graph of order $n$ is competitively orientable if and only if $n \geq 7$. Then we completely characterize a competitively orientable complete multipartite graph in terms of the sizes of its partite sets. Moreover, we present a way to build a competitive multipartite tournament in each of competitively orientable cases.

The niche graph of a digraph $D$ has $V(D)$ as the vertex set and an edge $uv$ if and only if $(u,w) \in A(D)$ and $(v,w) \in A(D)$, or $(w,u) \in A(D)$ and $(w,v) \in A(D)$ for some $w \in V(D)$. The notion of niche graph was introduced by Cable et al. (1989) as a variant of competition graph. If a graph is the niche graph of a digraph $D$, it is said to be niche-realizable through $D$. If a graph $G$ is niche-realizable through a $k$-partite tournament for an integer $k \ge 2$, then we say that the pair $(G, k)$ is niche-realizable. Bowser et al. (1999) studied the graphs that are niche-realizable through a tournament and Eoh et al. (2018) studied niche-realizable pairs $(G, k)$ for $k=2$. In this paper, we study niche-realizable pairs $(G, k)$ when $G$ is a graph and $k$ is an integer at least $3$ to extend their work. We show that the niche graph of a $k$-partite tournament has at most three components if $k \ge 3$ and is connected if $k \ge 4$. Then we find all the niche-realizable pairs $(G, k)$ when $G$ is a disconnected graph, when $G$ is a complete graph, and when $G$ is a connected triangle-free graph.