arXiv++ Combinatorics

Consider a finite and simple graph $G=(V,E)$ with maximum degree $Δ$. A strong Roman dominating function over the graph $G$ is understood as a map $f : V (G)\rightarrow \{0, 1,\ldots , \left\lceil \fracΔ{2}\right\rceil+ 1\}$ which carries out the condition stating that all the vertices $v$ labeled $f(v)=0$ are adjacent to at least one another vertex $u$ that satisfies $f(u)\geq 1+ \left\lceil \frac{1}{2}\vert N(u)\cap V_0\vert \right\rceil$, such that $V_0=\{v \in V \mid f(v)=0 \}$ and the notation $N(u)$ stands for the open neighborhood of $u$. The total version of one strong Roman dominating function includes the additional property concerning the not existence of vertices of degree zero in the subgraph of $G$, induced by the set of vertices labeled with a positive value. The minimum possible value for the sum $ω(f)=f(V)=\sum_{v\in V} f(v)$ (also called the weight of $f$), taken amongst all existent total strong Roman dominating functions $f$ of $G$, is called the total strong Roman domination number of $G$, denoted by $γ_{StR}^t(G)$. This total and strong version of the Roman domination number (for graphs) is introduced in this research, and the study of its mathematical properties is therefore initiated. For instance, we establish upper bounds for such parameter, and relate it with several parameters related to vertex domination in graphs, from which we remark the standard domination number, the total version of the standard domination number and the (strong) Roman domination number. In addition, among other results, we show that for any tree $T$ of order $n(T)\ge 3$, with maximum degree $Δ(T)$ and $s(T)$ support vertices, $γ_{StR}^t(T)\ge \left\lceil \frac{n(T)+s(T)}{Δ(T)}\right\rceil+1$.

A non-increasing sequence $π=(d_1,\ldots,d_n)$ of nonnegative integers is said to be graphic if it is realizable by a simple graph $G$ on $n$ vertices. A graphic sequence $π=(d_1,\ldots,d_n)$ is said to be potentially $_3C_\ell$-graphic if there is a realization of $π$ containing cycles of every length $r$, $3\le r\le \ell$. It is well-known that if the non-increasing degree sequence $(d_1,\ldots,d_\ell)$ of a graph $G$ on $\ell$ vertices satisfies the Pósa condition that $d_{\ell+1-i}\ge i+1$ for every $i$ with $1\le i<\frac{\ell}{2}$, then $G$ is either pancyclic or bipartite. In this paper, we obtain a Pósa-type condition of potentially $_3C_\ell$-graphic sequences, that is, we prove that if $\ell\ge 5$ is an integer, $n\ge \ell$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $d_{\ell+1-i}\ge i+1$ for every $i$ with $1\le i<\frac{\ell}{2}$, then $π$ is potentially $_3C_\ell$-graphic. This result improves a Dirac-type condition of potentially $_3C_\ell$-graphic sequences due to Yin et al. [Appl. Math. Comput., 353 (2019) 88--94], and asymptotically answers a problem due to Li et al. [Adv. Math., 33 (2004) 273--283]. As an application, this result also completely implies the value $σ(C_\ell,n)$ for $\ell\ge 5$ and $n\ge \ell$, improving the result of Lai [J. Combin. Math. Combin. Comput., 49 (2004) 57--64].

Let $G$ be a simple graph. The dominated coloring of a graph $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $χ_{dom}(G)$. In this paper, we examine the effects on $χ_{dom}(G)$ when $G$ is modified by operations on vertex and edge of $G$.

Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs, which was conjectured by Berge. We consider the class ${\mathcal A}$ of graphs that have no odd holes, no antiholes and no odd stretchers as induced subgraphs. In particular, every graph belonging to ${\mathcal A}$ is perfect. Everett and Reed conjectured that a graph belongs to ${\mathcal A}$ if and only if it is perfectly contractile. In the present paper, we discuss graphs belonging to ${\mathcal A}$ from a viewpoint of commutative algebra. In fact, we conjecture that a perfect graph $G$ belongs to ${\mathcal A}$ if and only if the toric ideal of the stable set polytope of $G$ is generated by quadratic binomials. Especially, we show that this conjecture is true for Meyniel graphs, perfectly orderable graphs, and clique separable graphs, which are perfectly contractile graphs.

Let $α=α(G)$ be the independence number of a simple graph $G$ with $n$ vertices and $I(G)$ be its edge ideal in $S=K[x_1,\ldots, x_n]$. If $S/I(G)$ is Gorenstein, the graph $G$ is called Gorenstein over $K$ and if $G$ is Gorenstein over every field, then we simply say that $G$ is Gorenstein. In this article, first we state a condition equivalent to $G$ being Gorenstein and using this we give a characterization of Gorenstein graphs with $α=2$. Then we present some properties of Gorenstein graphs with $α=3$ and as an application of these results we characterize triangle-free Gorenstein graphs with $α=3$.

In combinatorics, a latin square is a $n\times n$ matrix filled with n different symbols, each occurring exactly once in each row and exactly once in each column. Associated to each latin square, we can define a simple graph called a latin square graph. In this article, we compute lower and upper bounds for the domination number and the k-tuple total domination numbers of such graphs. Moreover, we describe a formula for the 2-tuple total domination number.

We show various upper bounds for the order of a digraph (or a mixed graph) whose Hermitian adjacency matrix has an eigenspace of prescribed codimension. In particular, this generalizes the so-called absolute bound for (simple) graphs first shown by Delsarte, Goethals, and Seidel (1977) and extended by Bell and Rowlinson (2003). In doing so, we also adapt the Blokhuis' theory (1983) of harmonic analysis in real hyperbolic spaces to that in complex hyperbolic spaces.

Let $D$ be an orientation of a simple graph. Given $u,v\in V(D)$, a directed shortest $(u,v)$-path is a $(u,v)$-geodesic. $S \subseteq V(D)$ is convex if, for every $u,v \in S$, the vertices in each $(u,v)$-geodesic and in each $(v,u)$-geodesic are in $S$. For each $S \subseteq V(D)$ the (convex) hull of $S$, denoted by $[S]$, is the smallest convex set containing $S$. $S \subseteq V(D)$ is a hull set if $[S] = V(D)$. $S \subseteq V(D)$ is a geodetic set of $D$ if each vertex of $D$ lies in a $(u,v)$-geodesic, for some $u,v \in S$. The cardinality of a minimum hull set (resp. geodetic set) of $G$ is the hull number (resp. geodetic number) of $D$, denoted by $ \overrightarrow{\textrm{hn}} (D)$ (resp. $\overrightarrow{\textrm{gn}}(D)$). We first show a tight upper bound on $\overrightarrow{\textrm{hn}}(D)$. Given $k\in\mathbb{Z}_+^*$, we prove that deciding if $\overrightarrow{\textrm{hn}}\leq k$ is NP-complete when $D$ is an oriented partial cube; and if $\overrightarrow{\textrm{gn}}(D)\leq k$ is W[2]-hard parameterized by $k$ and has no $(c \cdot \ln n)$-approximation algorithm, unless P = NP, even if $D$ has an underlying graph that is bipartite or split or cobipartite. We also show polynomial-time algorithms to compute $\overrightarrow{\textrm{hn}}(D)$ and $\overrightarrow{\textrm{gn}}(D)$ when $D$ is an oriented cactus.

The cyclic matching sequenceability of a simple graph $G$, denoted $\mathrm{cms}(G)$, is the largest integer $s$ for which there exists a cyclic ordering of the edges of $G$ so that every set of $s$ consecutive edges forms a matching. In this paper we consider the minimum cyclic matching sequenceability of $k$-regular graphs. We completely determine this for $2$-regular graphs, and give bounds for $k \geq 3$.

We generalize the Poincare-Hopf theorem sum_v i(v) = X(G) to vector fields on a finite simple graph (V,E) with Whitney complex G. To do so, we define a directed simplicial complex as a finite abstract simplicial complex equipped with a bundle map F: G to V telling which vertex T(x) in x dominates the simplex x. The index i(v) of a vertex v is defined as X(F^-1(v)), where X is the Euler characteristic. We get a flow by adding a section map F: V to G. The resulting map T on G is a discrete model for a differential equation x'=F(x) on a compact manifold. Examples of directed complexes are defined by Whitney complexes defined by digraphs with no cyclic triangles or gradient fields on finite simple graphs defined by a locally injective function. The result extends to simplicial complexes equipped with an energy function H:G to Z that implements a divisor. The index sum is then the total energy.

For a non-negative integer $\ell$, the $\ell$-leaf power of a tree $T$ is a simple graph $G$ on the leaves of $T$ such that two vertices are adjacent in $G$ if and only if their distance in $T$ is at most $\ell$. We provide a polynomial kernel for the problem of deciding whether we can delete at most $k$ vertices to make an input graph a $3$-leaf power of some tree. More specifically, we present a polynomial-time algorithm for an input instance $(G,k)$ for the problem to output an equivalent instance $(G',k')$ such that $k'\leq k$ and $G'$ has at most $O(k^{14})$ vertices.

The directed power graph $\mathcal G(\mathbf G)$ of a group $\mathbf G$ is the simple digraph with vertex set $G$ in which $x\rightarrow y$ if $y$ is a power of $x$, the power graph is the underlying simple graph, and the enhanced power graph of $\mathbf G$ is the simple graph with the same vertex set such that two vertices are adjacent if they are powers of some element of $\mathbf G$. In this paper three versions of the definition of the power graphs are discussed, and it is proved that the power graph by any of the three versions of the definitions determines the other two up to isomorphism. It is also proved that, if $\mathbf G$ is a torsion-free group of nilpotency class $2$ and if $\mathbf H$ is a group such that $\mathcal G(\mathbf H)\cong\mathcal G(\mathbf G)$, then $\mathbf G$ and $\mathbf H$ have isomorphic directed power graphs, which was an open problem proposed by Cameron, Guerra and Jurina.

We prove that every simple graph of order 12 which has minimum degree 6 contains a K_6 minor.

A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper-triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity-regular Steinhaus graphs; i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.

Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. A root of $D_t(G, x)$ is called a total domination root of $G$. The set of total domination roots of graph $G$ is denoted by $Z(D_t(G,x))$. In this paper we show that $D_t(G,x)$ has $δ-2$ non-real roots and if all roots of $D_t(G,x)$ are real then $δ\leq 2$, where $δ$ is the minimum degree of vertices of $G$. Also we show that if $δ\geq 3$ and $D_t(G,x)$ has exactly three distinct roots, then $Z(D_t(G,x))\subseteq \{0, -2\pm \sqrt{2}i, \frac{-3\pm \sqrt{3}i}{2}\}$. Finally we study the location roots of total domination polynomial of some families of graphs.

We consider the action of the (combinatorial) Laplacian of a finite and simple graph on integer vectors. By a \emph{Laplacian monopole} we mean an image vector negative at exactly one coordinate associated with a vertex. We consider a numerical semigroup $H_f(P)$ given by all monopoles at a vertex of a graph. The well-known analogy between finite graphs and algebraic curves (Riemann surfaces) has motivated much work. More specifically for us, the motivation arises out of the classical Weierstrass semigroup of a rational point on a curve whose properties are tied to the Riemann-Roch Theorem, as well as out of the graph theoretic Riemann-Roch Theorem demonstrated by Baker and Norine. We determine $H_f(P)$ for some families of graphs and demonstrate a connection between $H_f(P)$ and the vertex (also edge) connectivity of a graph. We also study $H_r(P)$, another numerical semigroup which arises out of the result of Baker and Norine, and explore its connection to $H_f(P)$ on graphs. We show that $H_r(P)\subseteq H_f(P)$ in a number of special cases. In contrast to the situation in the classical setting, we demonstrate that $H_f(P)\setminus H_r(P)$ can be arbitrarily large and identify a potential obstruction to the inclusion of $H_r(P)$ in $H_f(P)$ in general, though we still conjecture this inclusion. We conclude with a few open questions.

Symmetric edge polytopes are a class of lattice polytopes constructed from finite simple graphs. In the present paper we highlight their connections to the Kuramoto synchronization model in physics -- where they are called adjacency polytopes -- and to Kantorovich--Rubinstein polytopes from finite metric space theory. Each of these connections motivates the study of symmetric edge polytopes of particular classes of graphs. We focus on such classes and apply algebraic-combinatorial methods to investigate invariants of the associated symmetric edge polytopes.

Let $G$ be a simple graph. The dominated coloring of $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $χ_{dom}(G)$. Stability (bondage number) of dominated chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the dominated chromatic number of $G$. In this paper, we study the dominated chromatic number, dominated stability and dominated bondage number of certain graphs.

A finite simple graph G is declared to have positive curvature if every in G embedded wheel graph has five or six vertices. A d-graph is a finite simple graph G for which every unit sphere is a (d-1)-sphere. A d-sphere is a d-graph G for which there exists a vertex x such that G-x is contractible. A graph G is contractible if there is a vertex x such that S(x) and G-x are contractible. The empty graph 0 is the (-1)-sphere. The 1-point graph 1 is contractible. The theorem is that for d bigger than 1, every connected positive curvature d-graph is a d-sphere. A discrete Synge result follows: a positive curvature graph is simply connected and orientable. For every d larger than 1, there are only finitely many positive curvature graphs. There are six for d=2 and all have diameter less or equal to 3. To prove the theorem, we use a "geomag lemma" which shows that every geodesic in G can be extended to an immersed 2-graph S of positive curvature and must so be a 2-sphere with positive curvature. As none of these has diameter larger than 3, also G has a diameter 3 or less. This can be used to show that G-x is contractible and so must be a sphere.

The matching complex of a simple graph $G$ is a simplicial complex consisting of the matchings on $G$. Jelić Milutinović et al. studied the matching complexes of the polygonal line tilings, and they gave a lower bound for the connectivity of the matching complexes of polygonal line tilings. In this paper, we determine the homotopy types of the matching complexes of polygonal line tilings recursively, and determine their connectivities.