Open Access
This article is

- freely available
- re-usable

*Symmetry*
**2018**,
*10*(7),
279;
https://doi.org/10.3390/sym10070279

Article

Hyperbolicity of Direct Products of Graphs

^{1}

Department of Mathematics and Statistics, Florida International University, 11200 SW 8th Street, Miami, FL 33199, USA

^{2}

Department of Mathematics, Miami Dade College, 300 NE Second Ave. Miami, FL 33132, USA

^{3}

Departamento de Matemáticas, Universidad Carlos III de Madrid, Avenida de la Universidad 30, Leganés, 28911 Madrid, Spain

^{4}

Facultad CC. Sociales de Talavera, Universidad de Castilla La Mancha, Avda. Real Fábrica de Seda, s.n. Talavera de la Reina, 45600 Toledo, Spain

^{*}

Author to whom correspondence should be addressed.

Received: 11 June 2018 / Accepted: 9 July 2018 / Published: 12 July 2018

## Abstract

**:**

It is well-known that the different products of graphs are some of the more symmetric classes of graphs. Since we are interested in hyperbolicity, it is interesting to study this property in products of graphs. Some previous works characterize the hyperbolicity of several types of product graphs (Cartesian, strong, join, corona and lexicographic products). However, the problem with the direct product is more complicated. The symmetry of this product allows us to prove that, if the direct product ${G}_{1}\times {G}_{2}$ is hyperbolic, then one factor is bounded and the other one is hyperbolic. Besides, we prove that this necessary condition is also sufficient in many cases. In other cases, we find (not so simple) characterizations of hyperbolic direct products. Furthermore, we obtain good bounds, and even formulas in many cases, for the hyperbolicity constant of the direct product of some important graphs (as products of path, cycle and even general bipartite graphs).

Keywords:

direct product of graphs; geodesics; Gromov hyperbolicity; bipartite graphs## 1. Introduction

An interesting topic in graph theory is the study of the different types of products of graphs [1]. In particular, given two graphs ${G}_{1},{G}_{2}$, the direct product${G}_{1}\times {G}_{2}$ is defined as the graph with vertices the (Cartesian) product of $V\left({G}_{1}\right)$ and $V\left({G}_{2}\right)$, and two vertices $({u}_{1},{v}_{1}),({u}_{2},{v}_{2})\in V({G}_{1}\times {G}_{2})$ are connected by an edge if and only if $[{u}_{1},{u}_{2}]\in E\left({G}_{1}\right)$ and $[{v}_{1},{v}_{2}]\in E\left({G}_{2}\right)$. The direct product is associative and commutative. Direct product was introduced in Principia Mathematica by Russell and Whitehead.

Weichsel observed that ${G}_{1}\times {G}_{2}$ is connected if and only if the graphs ${G}_{1}$ and ${G}_{2}$ are connected and ${G}_{1}$ or ${G}_{2}$ is not a bipartite graph [2], i.e., there exists an odd cycle. The direct product is known with different names: tensor product, conjunction, categorical product, Kronecker product and cardinal product. There are many works studying several properties of direct products. These works include structural results [3,4,5,6,7,8], hamiltonian properties [9,10], and above all the well-known Hedetniemi’s conjecture (see [11,12]). Imrich has an algorithm in [13] which can recognize in polynomial time if a graph is a direct product; furthermore, the algorithm provides a factorization if the graph is a direct product. This fact facilitates the computational use of the direct product of graphs.

Hyperbolic spaces are an important tool in geometry and group theory [14,15,16]. Gromov hyperbolicity is a meeting point for different spaces: some of them continuous (hyperbolic plane and many Riemannian manifolds with negative curvature) and some of them discrete (trees and many graphs) [14,15,16].

Gromov hyperbolicity was introduced in the context of finitely generated groups [16], and it was applied, in the science of computation, to the study of automatic groups [17,18]. Gromov hyperbolicity is useful in networking, algorithms and discrete mathematics [19,20,21,22,23,24]; also, many real networks are hyperbolic [25,26,27,28,29]. Besides, there are several important applications of hyperbolic spaces to the Internet [30,31,32,33,34] and to random graphs [35,36,37]. It has recently been pointed out that also some aspects of biological systems require hyperbolicity for proper functioning [38]. In [39], it was proven that, for a large class of Riemannian surfaces endowed with a metric of negative curvature, there is a very simple graph related with the surface such that the surface is hyperbolic if and only if the graph is hyperbolic; therefore, it is interesting to study hyperbolic graphs to understand hyperbolic surfaces.

All these facts show the increasing interest of hyperbolic graphs (see, e.g., [19,24,25,26,27,32,33,35,36,37,39,40,41,42,43,44,45,46,47] and the references therein).

In this paper, let us denote by $G=(V,E)=\left(V\right(G),E(G\left)\right)$ a connected graph with $V\left(G\right)\ne \varnothing $. We consider that the length of each edge is 1. In addition, we assume that the graph does not have either multiple edges or loops.

Trees are the graphs with hyperbolicity constant zero. Thus, we can view the hyperbolicity constant as a measure of how “tree-like” the space is. This is an important subject (see, e.g., [48,49]).

From a computational viewpoint, we can obtain $\delta \left(G\right)$ in time $O\left({n}^{3.69}\right)$ for graphs with n vertices [50]. In addition, there is an algorithm which decides if a Cayley graph is hyperbolic [51]. In [52], this algorithm is improved, allowing to obtain $\delta \left(G\right)$ in time $O\left({n}^{2}\right)$, but only if the graph is given in terms of its distance-matrix. However, it is usually very difficult to decide if an infinite graph is hyperbolic. Therefore, it is useful to study hyperbolicity for particular classes of graphs. There are many works dealing with the hyperbolicity of different types of graphs: median graphs [53], line graphs [54,55,56], cubic graphs [57], complement graphs [58], regular graphs [59], chordal graphs [25,42,45,60], planar graphs [61,62], bipartite and intersection graphs [63], vertex-symmetric graphs [64], periodic graphs [65,66], expanders [34], bridged graphs [67], short graphs [68], graph minors [69], graphs with small hyperbolicity constant [70], Mycielskian graphs [71], geometric graphs [56,72], and some types of products of graphs: Cartesian product and sum [46,73], strong product [74], lexicographic product [75], and corona and join product [76].

Some of these works give results about the hyperbolicity of some unary operations in graphs:

For a large class of minor graphs, the minor graph is hyperbolic if and only if the original graph does [69].

Mycielskian graphs are always hyperbolic [71].

Now, we summarize the known results about the hyperbolicity of the main class of binary operations in graphs: products of graphs.

The Cartesian product is hyperbolic if and only if one factor graph is bounded and the other one is hyperbolic [46].

The same holds for the strong product [74].

The corona product ${G}_{1}\diamond {G}_{2}$ is hyperbolic if and only if the first factor ${G}_{1}$ is hyperbolic, and the join ${G}_{1}\uplus {G}_{2}$ is always hyperbolic [76].

The Cartesian sum ${G}_{1}\oplus {G}_{2}$ is always hyperbolic, if the factors have at least two vertices [73].

The lexicographic product graph ${G}_{1}\circ {G}_{2}$ is hyperbolic if and only if ${G}_{1}$ does, if the first factor has at least two vertices [75].

The goal of this paper is the characterization in many cases of the direct product of graphs which are hyperbolic. Here, the situation is more complicated than with other products of graphs. This is partly because the direct product of two bipartite graphs (i.e., graphs without odd cycles) is already disconnected and the formula for the distance in ${G}_{1}\times {G}_{2}$ is more complicated that in the case of other products of graphs. The symmetry of this product allows us to show that, if ${G}_{1}\times {G}_{2}$ is hyperbolic, then one factor is hyperbolic and the other one is bounded (see Theorem 10). Besides, we prove that this necessary condition is also sufficient in many cases. If ${G}_{1}$ is a hyperbolic graph and ${G}_{2}$ is a bounded graph, then we prove that ${G}_{1}\times {G}_{2}$ is hyperbolic when ${G}_{2}$ has some odd cycle (Theorem 3) or ${G}_{1}$ and ${G}_{2}$ do not have odd cycles (Theorem 4). One could think that otherwise (if ${G}_{1}$ has some odd cycle and ${G}_{2}$ does not have odd cycles) this necessary condition is also sufficient; however, Theorem 15 allows constructing in an easy way examples ${G}_{1},{G}_{2}$ (with ${G}_{1}$ hyperbolic and ${G}_{2}$ bounded) such that ${G}_{1}\times {G}_{2}$ is not hyperbolic. This shows that the characterization of hyperbolic direct products is a more difficult task when ${G}_{1}$ has some odd cycle and ${G}_{2}$ does not have odd cycles. Theorems 11 and 12 provide sufficient conditions for non-hyperbolicity and hyperbolicity, respectively. Besides, Theorems 15 and Corollary 5 characterize the hyperbolicity of ${G}_{1}\times {G}_{2}$ under some additional conditions. Furthermore, we obtain good bounds, and even formulas in many cases, for the hyperbolicity constant of the direct product of some important graphs; in particular, Theorem 18 provides the hyperbolicity constant of many direct products of bipartite graphs, and Theorems 17 and 19 give the hyperbolicity constant of many direct products of path and cycle graphs.

We want to remark that, in a general context, the hypothesis on the existence (or non-existence) of odd cycles is artificial in the context of Gromov hyperbolicity. However, it is an essential hypothesis in the works on direct products (see Theorem 1). Throughout the development of this work, we have verified that the existence of odd cycles is also essential in the study of hyperbolic product graphs.

## 2. Definitions and Background

Let $(X,d)$ be a metric space, and denote by L the length associated to the distance d. A geodesic is a curve $g:[a,b]\to X$ satisfying $L\left(g{|}_{[t,s]}\right)=d(g\left(t\right),g\left(s\right))=|t-s|$ for every $s,t\in [a,b]$ (here, ${g|}_{[t,s]}$ is the restriction of g to $[t,s]$). We say that the metric space X is a geodesic metric space if for each $p,q\in X$ there is a geodesic connecting them; we denote by $\left[pq\right]$ any geodesic form p to q. Hence, a geodesic metric space is a connected space. When X is a graph and $p,q\in V\left(X\right)$, $[p,q]$ denotes the edge connecting p and q if they are adjacent.

Along this paper, we consider the graphs as geodesic metric spaces. To do that, we identify any edge $[p,q]\in E\left(G\right)$ with the real interval $[0,1]$; therefore, the points in a graph are the vertices and also the points in the interior of the edges. Hence, we can define a natural distance on the points of a connected graph G by taking shortest paths in G, and so, we consider G as a metric graph. If p and q are points in different connected components of the graph, we define $d(p,q)=\infty $.

Some authors do not consider the internal points of edges in the study. Although this approach has some advantages, we prefer to consider the internal points since these graphs are geodesic metric spaces. We use this approach since to work with geodesic metric spaces provides an interesting geometric viewpoint (for instance, Theorem 2 holds for geodesic metric spaces).

Given a geodesic metric space X and three points ${x}_{1},{x}_{2},{x}_{3}\in X$, the geodesic triangle $T=\{{x}_{1},{x}_{2},{x}_{3}\}$ is the union of three geodesics $\left[{x}_{1}{x}_{2}\right]$, $\left[{x}_{2}{x}_{3}\right]$ and $\left[{x}_{3}{x}_{1}\right]$. The points ${x}_{1},{x}_{2},{x}_{3}$ are the vertices of the triangle T. The geodesic triangle T is $\delta $-thin if any side of T is contained in the $\delta $-neighborhood of the union of the two other sides. We define the thin constant of the triangle T by $\delta \left(T\right):=inf\{\delta \ge 0:\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\delta -\mathrm{thin}\phantom{\rule{0.166667em}{0ex}}\},$ and the hyperbolicity constant of the space X as $\delta \left(X\right):=sup\left\{\delta \right(T):\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{geodesic}\phantom{\rule{4.pt}{0ex}}\mathrm{triangle}\phantom{\rule{4.pt}{0ex}}\mathrm{in}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{0.166667em}{0ex}}X\phantom{\rule{0.166667em}{0ex}}\}.$ The space X is hyperbolic if $\delta \left(X\right)<\infty $, and it is $\delta $-hyperbolic if X is hyperbolic and the constant $\delta $ satisfies $\delta \ge \delta \left(X\right)$. We say that a triangle with two identical vertices is a “bigon”. Of course, each bigon in a space (which is $\delta $-hyperbolic) is $\delta $-thin. If ${\left\{{X}_{i}\right\}}_{i\in I}$ are the connected components of X, then we can define $\delta \left(X\right):={sup}_{i\in I}\delta \left({X}_{i}\right)$, and X is hyperbolic if and only if $\delta \left(X\right)<\infty $.

We want to remark that in the classical references on hyperbolicity [14,15,77] appear many different definitions of Gromov hyperbolicity. However, the definitions are equivalent: if X is ${\delta}_{1}$-hyperbolic for a definition, then it is ${\delta}_{2}$-hyperbolic for every definition, where the constant ${\delta}_{2}$ can be obtained from ${\delta}_{1}$.

We refer to the classical book [1] for definitions and background about direct product graphs.

We need bounds for the distance between points in the direct product. We use the definition given in [1].

**Definition**

**1.**

Let ${G}_{1}=(V\left({G}_{1}\right),E\left({G}_{1}\right))$ and ${G}_{2}=(V\left({G}_{2}\right),E\left({G}_{2}\right))$ be two graphs. Thedirect product${G}_{1}\times {G}_{2}$ of ${G}_{1}$ and ${G}_{2}$ has $V\left({G}_{1}\right)\times V\left({G}_{2}\right)$ as vertex set, so that two distinct vertices $({u}_{1},{v}_{1})$ and $({u}_{2},{v}_{2})$ of ${G}_{1}\times {G}_{2}$ are adjacent if $[{u}_{1},{u}_{2}]\in E\left({G}_{1}\right)$ and $[{v}_{1},{v}_{2}]\in E\left({G}_{2}\right)$.

If ${G}_{1}$ and ${G}_{2}$ are isomorphic, we write ${G}_{1}\simeq {G}_{2}$. It is clear that, if ${G}_{1}\simeq {G}_{2}$, then $\delta \left({G}_{1}\right)=\delta \left({G}_{2}\right)$.

It is clear that the direct product of two graphs is commutative, i.e., ${G}_{1}\times {G}_{2}\simeq {G}_{2}\times {G}_{1}$. Therefore, the conclusion of every result in this paper with some “non-symmetric” hypothesis also holds if we change the roles of ${G}_{1}$ and ${G}_{2}$ (see, e.g., Theorems 3, 4, 11, 12 and 15 and Corollary 5).

Denote by ${\pi}_{i}$ the projection map ${\pi}_{i}:V({G}_{1}\times {G}_{2})\to V\left({G}_{i}\right)$ for $i\in \{1,2\}$. In fact, this projection is well defined as a map ${\pi}_{i}:{G}_{1}\times {G}_{2}\to {G}_{i}$ for $i\in \{1,2\}$.

We need some previous results of [1]. If $u,{u}^{\prime}\in V\left(G\right)$, then by a $u,{u}^{\prime}$-walk in G we mean a path joining u and ${u}^{\prime}$ where repeating vertices is allowed.

**Proposition**

**1.**

([1], Proposition 5.7) Suppose $(u,v)$ and $({u}^{\prime},{v}^{\prime})$ are vertices of the direct product ${G}_{1}\times {G}_{2}$, and n is an integer for which ${G}_{1}$ has a $u,{u}^{\prime}$-walk of length n and ${G}_{2}$ has a $v,{v}^{\prime}$-walk of length n. Then, ${G}_{1}\times {G}_{2}$ has a walk of length n from $(u,v)$ to $({u}^{\prime},{v}^{\prime})$. The smallest such n (if it exists) equals ${d}_{{G}_{1}\times {G}_{2}}((u,v),({u}^{\prime},{v}^{\prime}))$. If no such n exists, then ${d}_{{G}_{1}\times {G}_{2}}((u,v),({u}^{\prime},{v}^{\prime}))=\infty $.

**Proposition**

**2.**

([1], Proposition 5.8) Suppose x and y are vertices of ${G}_{1}\times {G}_{2}$. Then,
where it is understood that ${d}_{{G}_{1}\times {G}_{2}}(x,y)=\infty $ if no such n exists.

$${d}_{{G}_{1}\times {G}_{2}}(x,y)=min\left\{n\in \mathbb{N}\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{4.pt}{0ex}}each\phantom{\rule{4.pt}{0ex}}factor\phantom{\rule{4.pt}{0ex}}{G}_{i}\phantom{\rule{4.pt}{0ex}}has\phantom{\rule{4.pt}{0ex}}a\phantom{\rule{4.pt}{0ex}}{\pi}_{i}\left(x\right),{\pi}_{i}\left(y\right)-walk\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}length\phantom{\rule{4.pt}{0ex}}n\phantom{\rule{4.pt}{0ex}}for\phantom{\rule{4.pt}{0ex}}i=1,2\right\},$$

**Definition**

**2.**

If G is a connected graph, the diameter of its vertices is
and the diameter of G is

$$diamV\left(G\right):=sup\{{d}_{G}(u,v):u,v\in V\left(G\right)\},$$

$$diamG:=sup\{{d}_{G}(x,y):x,y\in G\}.$$

**Corollary**

**1.**

We have for every $(u,v),({u}^{\prime},{v}^{\prime})\in V({G}_{1}\times {G}_{2})$
and, consequently,

$${d}_{{G}_{1}\times {G}_{2}}((u,v),({u}^{\prime},{v}^{\prime}))\ge max\left\{{d}_{{G}_{1}}(u,{u}^{\prime}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(v,{v}^{\prime})\right\}$$

$$diamV({G}_{1}\times {G}_{2})\ge max\left\{diamV\left({G}_{1}\right),\phantom{\rule{0.166667em}{0ex}}diamV\left({G}_{2}\right)\right\}.$$

Furthermore, if ${d}_{{G}_{1}}(u,{u}^{\prime})$ and ${d}_{{G}_{2}}(v,{v}^{\prime})$ have the same parity, then
and, consequently,

$${d}_{{G}_{1}\times {G}_{2}}((u,v),({u}^{\prime},{v}^{\prime}))=max\left\{{d}_{{G}_{1}}(u,{u}^{\prime}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(v,{v}^{\prime})\right\}$$

$$diamV({G}_{1}\times {G}_{2})=max\left\{diamV\left({G}_{1}\right),\phantom{\rule{0.166667em}{0ex}}diamV\left({G}_{2}\right)\right\}.$$

By trivial graph, we mean a graph which has only a vertex.

The following result characterizes when a direct product is connected. By cycle, we mean a simple closed curve, i.e., a path with different vertices, unless the last one, which is equal to the first vertex.

**Theorem**

**1.**

([1], Theorem 5.9) Suppose ${G}_{1}$ and ${G}_{2}$ are connected non-trivial graphs. If at least one of ${G}_{1}$ or ${G}_{2}$ has an odd cycle, then ${G}_{1}\times {G}_{2}$ is connected. If both ${G}_{1}$ and ${G}_{2}$ are bipartite, then ${G}_{1}\times {G}_{2}$ has exactly two connected components.

**Corollary**

**2.**

([1], Corollary 5.10) A direct product of connected non-trivial graphs is connected if and only if at most one of the factors is bipartite. In fact, the product has ${2}^{max\{k,1\}-1}$ connected components, where k is the number of bipartite factors.

Consider the metric spaces $(X,{d}_{X})$ and $(Y,{d}_{Y})$. Given constants $\alpha \ge 1,\phantom{\rule{0.166667em}{0ex}}\beta \ge 0$, a map $f:X\u27f6Y$ is an $(\alpha ,\beta )$-quasi-isometric embedding if
for $x,y\in X$. We say that f is $\epsilon $-full if for each $y\in Y$ there is $x\in X$ with ${d}_{Y}(f\left(x\right),y)\le \epsilon $.

$${\alpha}^{-1}{d}_{X}(x,y)-\beta \le {d}_{Y}(f\left(x\right),f\left(y\right))\le \alpha {d}_{X}(x,y)+\beta ,$$

We say that f is a quasi-isometry if there exist constants $\alpha ,\beta ,\epsilon ,$ such that f is an $\epsilon $-full $(\alpha ,\beta )$-quasi-isometric embedding.

Two metric spaces X and Y are quasi-isometric if there exists a quasi-isometry $f:X\u27f6Y$. One can check that to be quasi-isometric is an equivalence relation. An $(\alpha ,\beta )$-quasi-geodesic in X is an $(\alpha ,\beta )$-quasi-isometric embedding between an interval of $\mathbb{R}$ and X.

We need the following result ([15], p. 88).

**Theorem**

**2**

(Invariance of hyperbolicity). Let $f:X\u27f6Y$ be an $(\alpha ,\beta )$-quasi-isometric embedding between the geodesic metric spaces X and Y. If Y is ${\delta}_{Y}$-hyperbolic, then X is ${\delta}_{X}$-hyperbolic, where ${\delta}_{X}$ is a constant which just depends on $\alpha ,\beta ,{\delta}_{Y}$.

Besides, if f is ε-full for some $\epsilon \ge 0$ (a quasi-isometry) and X is ${\delta}_{X}$-hyperbolic, then Y is ${\delta}_{Y}$-hyperbolic, where ${\delta}_{Y}$ is a constant which just depends on $\alpha ,\beta ,{\delta}_{X},\epsilon $.

There are several explicit expressions for ${\delta}_{X}={\delta}_{X}(\alpha ,\beta ,{\delta}_{Y})$, some of them very complicated. In [78] appears the best possible formula for ${\delta}_{X}$:
for some explicit constants ${A}_{1},{A}_{2}$.

$${\delta}_{X}(\alpha ,\beta ,{\delta}_{Y})=8\alpha (2{\alpha}^{2}({A}_{1}b+{A}_{2}{\delta}_{Y})+4{\delta}_{Y}+\beta ).$$

## 3. Hyperbolic Direct Products

Let us start with a necessary condition for hyperbolicity.

**Proposition**

**3.**

Let ${G}_{1}$ and ${G}_{2}$ be two unbounded connected graphs. Then, ${G}_{1}\times {G}_{2}$ is not hyperbolic.

**Proof.**

Since ${G}_{1}$ and ${G}_{2}$ are unbounded graphs, for each positive integer n there exist two geodesic paths ${P}_{1}:=[{w}_{1},{w}_{2}]\cup [{w}_{2},{w}_{3}]\cup \cdots \cup [{w}_{n-1},{w}_{n}]$ in ${G}_{1}$ and ${P}_{2}:=[{v}_{1},{v}_{2}]\cup [{v}_{2},{v}_{3}]\cup \cdots \cup [{v}_{n-1},{v}_{n}]$ in ${G}_{2}$. If n is odd, then we can consider the geodesic triangle T in ${G}_{1}\times {G}_{2}$ (see Figure 1) defined by the following geodesics:

$$\begin{array}{cc}\hfill {\gamma}_{1}& :=[({w}_{1},{v}_{2}),({w}_{2},{v}_{1})]\cup [({w}_{2},{v}_{1}),({w}_{3},{v}_{2})]\cup [({w}_{3},{v}_{2}),({w}_{4},{v}_{1})]\cup \cdots \cup [({w}_{n-1},{v}_{1}),({w}_{n},{v}_{2})],\hfill \\ \hfill {\gamma}_{2}& :=[({w}_{1},{v}_{2}),({w}_{2},{v}_{3})]\cup [({w}_{2},{v}_{3}),({w}_{1},{v}_{4})]\cup [({w}_{1},{v}_{4}),({w}_{2},{v}_{5})]\cup \cdots \cup [({w}_{1},{v}_{n-1}),({w}_{2},{v}_{n})],\hfill \\ \hfill {\gamma}_{3}& :=[({w}_{2},{v}_{n}),({w}_{3},{v}_{n-1})]\cup [({w}_{3},{v}_{n-1}),({w}_{4},{v}_{n-2})]\cup [({w}_{4},{v}_{n-2}),({w}_{5},{v}_{n-3})]\cup \cdots \cup [({w}_{n-1},{v}_{3}),({w}_{n},{v}_{2})],\hfill \end{array}$$

Corollary 1 gives that ${\gamma}_{1},{\gamma}_{2},{\gamma}_{3}$ are geodesics.

Let $m:=\frac{n+1}{2}$ and consider the vertex $({w}_{m},{v}_{m+1})$ in ${\gamma}_{3}$. For every vertex $({w}_{i},{v}_{j})$ in ${\gamma}_{1}$, $j\in \{1,2\},$ we have ${d}_{{G}_{1}\times {G}_{2}}(({w}_{m},{v}_{m+1}),({w}_{i},{v}_{j}))\ge {d}_{{G}_{2}}({v}_{m+1},{v}_{j})\ge m+1-2=\frac{n-1}{2}$ by Corollary 1. We have for every vertex $({w}_{i},{v}_{j})$ in ${\gamma}_{2}$, $i\in \{1,2\}$, by Corollary 1, ${d}_{{G}_{1}\times {G}_{2}}(({w}_{m},{v}_{m+1}),({w}_{i},{v}_{j}))\ge {d}_{{G}_{1}}({w}_{m},{w}_{i})\ge m-2=\frac{n-3}{2}$. Hence, ${d}_{{G}_{1}\times {G}_{2}}\left(({w}_{m},{v}_{m+1}),{\gamma}_{1}\cup {\gamma}_{2}\right)\ge \frac{n-3}{2}$ and $\delta ({G}_{1}\times {G}_{2})\ge \delta \left(T\right)\ge \frac{n-3}{2}$. Since n is arbitrarily large, ${G}_{1}\times {G}_{2}$ is not hyperbolic. □

**Lemma**

**1.**

Consider two connected graphs ${G}_{1}$ and ${G}_{2}$. If $f:V\left({G}_{1}\right)\u27f6V\left({G}_{2}\right)$ is an $(\alpha ,\beta )$-quasi-isometric embedding, then there exists an $(\alpha ,\alpha +\beta )$-quasi-isometric embedding $g:{G}_{1}\u27f6{G}_{2}$ with $g=f$ on $V\left({G}_{1}\right)$. In addition, if f is ε-full, then g is $(\epsilon +\frac{1}{2})$-full.

**Proof.**

For each $x\in {G}_{1}$, let us choose a closest point ${v}_{x}\in V\left({G}_{1}\right)$ from x, and define $g\left(x\right):=f\left({v}_{x}\right)$. Note that ${v}_{x}=x$ if $x\in V\left({G}_{1}\right)$ and so $g=f$ on $V\left({G}_{1}\right)$. Given $x,y\in {G}_{1},$ we have
and g is an $(\alpha ,\alpha +\beta )$-quasi-isometric embedding, since $\alpha \ge 1\ge {\alpha}^{-1}$.

$$\begin{array}{cc}\hfill {d}_{{G}_{2}}(g\left(x\right),g\left(y\right))& ={d}_{{G}_{2}}(f\left({v}_{x}\right),f\left({v}_{y}\right))\le \alpha {d}_{{G}_{1}}({v}_{x},{v}_{y})+\beta \le \alpha \left({d}_{{G}_{1}}(x,y)+1\right)+\beta ,\hfill \\ \hfill {d}_{{G}_{2}}(g\left(x\right),g\left(y\right))& ={d}_{{G}_{2}}(f\left({v}_{x}\right),f\left({v}_{y}\right))\ge {\alpha}^{-1}{d}_{{G}_{1}}({v}_{x},{v}_{y})-\beta \ge {\alpha}^{-1}\left({d}_{{G}_{1}}(x,y)-1\right)-\beta ,\hfill \end{array}$$

In addition, if f is $\epsilon $-full, then g is $(\epsilon +\frac{1}{2})$-full since $g\left({G}_{1}\right)=f\left(V\left({G}_{1}\right)\right)$. □

Given a graph G, let ${g}_{I}\left(G\right)$ denote the odd girth of G, that is, the length of the shortest odd cycle in G.

**Theorem**

**3.**

Let ${G}_{1}$ be a connected graph and ${G}_{2}$ be a non-trivial bounded connected graph with some odd cycle. Then, ${G}_{1}\times {G}_{2}$ is hyperbolic if and only if ${G}_{1}$ is hyperbolic.

**Proof.**

Fix ${v}_{0}\in V\left({G}_{2}\right)$ with ${v}_{0}$ contained in an odd cycle C with $L\left(C\right)={g}_{I}\left({G}_{2}\right)$. Consider the map $i:V\left({G}_{1}\right)\to V({G}_{1}\times {G}_{2})$ such that $i\left(w\right):=(w,{v}_{0})$ for every $w\in V\left({G}_{1}\right)$.

By Corollary 1, for every ${w}_{1},{w}_{2}\in V\left({G}_{1}\right)$, ${d}_{{G}_{1}}({w}_{1},{w}_{2})\le {d}_{{G}_{1}\times {G}_{2}}\left(({w}_{1},{v}_{0}),({w}_{2},{v}_{0})\right)$. In addition, Proposition 2 gives the following.

If a geodesic joining ${w}_{1}$ and ${w}_{2}$ has even length, then

$${d}_{{G}_{1}\times {G}_{2}}\left(({w}_{1},{v}_{0}),({w}_{2},{v}_{0})\right)={d}_{{G}_{1}}({w}_{1},{w}_{2}).$$

If a geodesic joining ${w}_{1}$ and ${w}_{2}$ has odd length, then C defines a ${v}_{0},{v}_{0}$-walk with odd length and

$${d}_{{G}_{1}\times {G}_{2}}\left(({w}_{1},{v}_{0}),({w}_{2},{v}_{0})\right)\le max\{{d}_{{G}_{1}}({w}_{1},{w}_{2}),{g}_{I}\left({G}_{2}\right)\}\le {d}_{{G}_{1}}({w}_{1},{w}_{2})+{g}_{I}\left({G}_{2}\right).$$

Thus, i is a $\left(1,{g}_{I}\left({G}_{2}\right)\right)$ quasi-isometric embedding.

Consider any $(w,v)\in V({G}_{1}\times {G}_{2})$. Then, if the geodesic joining v and ${v}_{0}$ has even length,

$${d}_{{G}_{1}\times {G}_{2}}\left((w,v),(w,{v}_{0})\right)={d}_{{G}_{2}}(v,{v}_{0}).$$

If a geodesic joining v and ${v}_{0}$ has odd length, $\left[v{v}_{0}\right]\cup C$ defines a $v,{v}_{0}$-walk with even length. Therefore,

$${d}_{{G}_{1}\times {G}_{2}}\left((w,v),(w,{v}_{0})\right)\le {d}_{{G}_{2}}(v,{v}_{0})+{g}_{I}\left({G}_{2}\right).$$

Thus, i is $\left(diam\left(V\left({G}_{2}\right)\right)+{g}_{I}\left({G}_{2}\right)\right)$-full.

Hence, by Lemma 1, there is a $\left(\phantom{\rule{-0.166667em}{0ex}}diam\left(V\left({G}_{2}\right)\right)+{g}_{I}\left({G}_{2}\right)+\frac{1}{2}\right)$-full $\left(1,{g}_{I}\left({G}_{2}\right)+1\right)$-quasi-isometry, $j:{G}_{1}\to {G}_{1}\times {G}_{2}$, and ${G}_{1}\times {G}_{2}$ is hyperbolic if and only if ${G}_{1}$ is hyperbolic by Theorem 2. □

**Theorem**

**4.**

Let ${G}_{1}$ be a connected graph without odd cycles and ${G}_{2}$ be a non-trivial bounded connected graph without odd cycles. Then, ${G}_{1}\times {G}_{2}$ is hyperbolic if and only if ${G}_{1}$ is hyperbolic.

**Proof.**

Fix some vertex ${w}_{0}\in V\left({G}_{1}\right)$ and some edge $[{v}_{1},{v}_{2}]\in E\left({G}_{2}\right)$.

By Theorem 1, there are exactly two components in ${G}_{1}\times {G}_{2}$. Since there are no odd cycles, there is no $({w}_{0},{v}_{1}),({w}_{0},{v}_{2})$-walk in ${G}_{1}\times {G}_{2}$. Thus, let us denote by ${({G}_{1}\times {G}_{2})}^{1}$ the component containing the vertex $({w}_{0},{v}_{1})$ and by ${({G}_{1}\times {G}_{2})}^{2}$ the component containing the vertex $({w}_{0},{v}_{2})$.

Consider $i:V\left({G}_{1}\right)\to V{({G}_{1}\times {G}_{2})}^{1}$ defined as $i\left(w\right):=(w,{v}_{1})$ for every $w\in V\left({G}_{1}\right)$ such that every ${w}_{0},w$-walk has even length and $i\left(w\right):=(w,{v}_{2})$ for every $w\in V\left({G}_{1}\right)$ such that every ${w}_{0},w$-walk has odd length.

By Proposition 2, ${d}_{{G}_{1}\times {G}_{2}}\left(i\left({w}_{1}\right),i\left({w}_{2}\right)\right)={d}_{{G}_{1}}({w}_{1},{w}_{2})$ for every ${w}_{1},{w}_{2}\in V\left({G}_{1}\right)$ and i is a $(1,0)$-quasi-isometric embedding.

Let $(w,v)\in V{({G}_{1}\times {G}_{2})}^{1}$. Let ${v}_{j}$ with $j\in \{1,2\}$ such that every $v,{v}_{j}$-walk has even length. Then, by Proposition 2, ${d}_{{G}_{1}\times {G}_{2}}\left((w,v),(w,{v}_{j})\right)={d}_{{G}_{2}}(v,{v}_{j})\le diam\left({G}_{2}\right)$. Therefore, i is $diam\left({G}_{2}\right)$-full.

Hence, by Lemma 1, there is a $\left(\phantom{\rule{-0.166667em}{0ex}}diam\left({G}_{2}\right)+\frac{1}{2}\right)$-full $\left(1,1\right)$-quasi-isometry, $j:{G}_{1}\to {({G}_{1}\times {G}_{2})}^{1}$, and ${({G}_{1}\times {G}_{2})}^{1}$ is hyperbolic if and only if ${G}_{1}$ is hyperbolic by Theorem 2.

The same argument proves that ${({G}_{1}\times {G}_{2})}^{2}$ is hyperbolic. □

Denote by ${P}_{2}$ the path graph with two vertices and an edge.

**Lemma**

**2.**

Let ${G}_{1}$ be a connected graph with some odd cycle and ${G}_{2}$ a non-trivial bounded graph without odd cycles. Then, ${G}_{1}\times {G}_{2}$ and ${G}_{1}\times {P}_{2}$ are quasi-isometric and $\delta ({G}_{1}\times {P}_{2})\le \delta ({G}_{1}\times {G}_{2})$.

**Proof.**

By Theorem 1, we know that ${G}_{1}\times {G}_{2}$ and ${G}_{1}\times {P}_{2}$ are connected graphs.

Denote by ${v}_{1}$ and ${v}_{2}$ the vertices of ${P}_{2}$ and fix $[{w}_{1},{w}_{2}]\in E\left({G}_{2}\right)$. The map $f:V({G}_{1}\times {P}_{2})\u27f6V({G}_{1}\times [{w}_{1},{w}_{2}])$ defined as $f(u,{v}_{j}):=(u,{w}_{j})$ for every $u\in V\left({G}_{1}\right)$ and $j=1,2,$ is an isomorphism of graphs; hence, it suffices to prove that ${G}_{1}\times {G}_{2}$ and ${G}_{1}\times [{w}_{1},{w}_{2}]$ are quasi-isometric.

Consider the inclusion map $i:V({G}_{1}\times [{w}_{1},{w}_{2}])\u27f6V({G}_{1}\times {G}_{2})$. Since ${G}_{1}\times [{w}_{1},{w}_{2}]$ is a subgraph of ${G}_{1}\times {G}_{2}$, we have ${d}_{{G}_{1}\times {G}_{2}}(x,y)\le {d}_{{G}_{1}\times [{w}_{1},{w}_{2}]}(x,y)$ for every $x,y\in V({G}_{1}\times [{w}_{1},{w}_{2}])$.

Since ${G}_{2}$ is a graph without odd cycles, every ${w}_{1},{w}_{2}$-walk has odd length and every ${w}_{j},{w}_{j}$-walk has even length for $j=1,2$. Thus, Proposition 2 gives, for every $x=(u,{w}_{1}),y=(v,{w}_{2})\in V({G}_{1}\times [{w}_{1},{w}_{2}])$,

$${d}_{{G}_{1}\times [{w}_{1},{w}_{2}]}(x,y)={d}_{{G}_{1}\times {G}_{2}}(x,y)=min\left\{L\left(g\right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}g\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}u,v-\mathrm{walk}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{odd}\phantom{\rule{4.pt}{0ex}}\mathrm{length}\right\}.$$

Furthermore, for every $x=(u,{w}_{j}),y=(v,{w}_{j})\in V({G}_{1}\times [{w}_{1},{w}_{2}])$ and $j=1,2,$

$${d}_{{G}_{1}\times [{w}_{1},{w}_{2}]}(x,y)={d}_{{G}_{1}\times {G}_{2}}(x,y)=min\left\{L\left(g\right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}g\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}u,v-\mathrm{walk}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{even}\phantom{\rule{4.pt}{0ex}}\mathrm{length}\right\}.$$

Hence, ${d}_{{G}_{1}\times [{w}_{1},{w}_{2}]}(x,y)={d}_{{G}_{1}\times {G}_{2}}(x,y)$ for every $x,y\in V({G}_{1}\times [{w}_{1},{w}_{2}])$, and the inclusion map i is an $(1,0)$-quasi-isometric embedding. Therefore, $\delta ({G}_{1}\times {P}_{2})=\delta ({G}_{1}\times [{w}_{1},{w}_{2}])\le \delta ({G}_{1}\times {G}_{2})$.

Since ${G}_{2}$ is a graph without odd cycles, given any $w\in V\left({G}_{2}\right)$, we have either that every $w,{w}_{1}$-walk has even length and every $w,{w}_{2}$-walk has odd length or that every $w,{w}_{2}$-walk has even length and every $w,{w}_{1}$-walk has odd length. In addition, since ${G}_{1}$ is connected, for each $u\in V\left({G}_{1}\right)$ there is some ${u}^{\prime}\in V\left({G}_{1}\right)$ such that $[u,{u}^{\prime}]\in E\left({G}_{1}\right)$. Therefore, by Proposition 2, for every $(u,w)\in V({G}_{1}\times {G}_{2})$, if $min\left\{{d}_{{G}_{2}}(w,{w}_{1}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(w,{w}_{2})\right\}$ is even, then
and if $min\left\{{d}_{{G}_{2}}(w,{w}_{1}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(w,{w}_{2})\right\}$ is odd, then

$${d}_{{G}_{1}\times {G}_{2}}\left((u,w),V({G}_{1}\times [{w}_{1},{w}_{2}])\right)={d}_{{G}_{1}\times {G}_{2}}\left((u,w),V(u\times [{w}_{1},{w}_{2}])\right)=min\left\{{d}_{{G}_{2}}(w,{w}_{1}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(w,{w}_{2})\right\},$$

$${d}_{{G}_{1}\times {G}_{2}}\left((u,w),V({G}_{1}\times [{w}_{1},{w}_{2}])\right)={d}_{{G}_{1}\times {G}_{2}}\left((u,w),V({u}^{\prime}\times [{w}_{1},{w}_{2}])\right)=min\left\{{d}_{{G}_{2}}(w,{w}_{1}),\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{2}}(w,{w}_{2})\right\}.$$

In both cases,
and i is $\left(\phantom{\rule{-0.166667em}{0ex}}diamV\left({G}_{2}\right)\right)$-full. By Lemma 1, there exists a $\left(\phantom{\rule{-0.166667em}{0ex}}diamV\left({G}_{2}\right)+\frac{1}{2}\right)$-full $(1,1)$-quasi-isometry $g:{G}_{1}\times [{w}_{1},{w}_{2}]\u27f6{G}_{1}\times {G}_{2}$. □

$$\begin{array}{c}\hfill {d}_{{G}_{1}\times {G}_{2}}\left((u,w),V({G}_{1}\times [{w}_{1},{w}_{2}])\right)\le diamV\left({G}_{2}\right),\end{array}$$

A subgraph Γ of G is said isometric if ${d}_{\Gamma}(x,y)={d}_{G}(x,y)$ for any $x,y\in \Gamma $. One can check that Γ is isometric if and only if ${d}_{\Gamma}(u,v)={d}_{G}(u,v)$ for any $u,v\in V(\Gamma )$.

**Lemma**

**3.**

([47], Lemma 5) If Γ is an isometric subgraph of G, then $\delta (\Gamma )\le \delta \left(G\right)$.

A $u,v$-walk g in G is a shortcut of a cycle C if $g\cap C=\{u,v\}$ and $L\left(g\right)<{d}_{C}(u,v)$ where ${d}_{C}$ denotes the length metric on C.

A cycle ${C}^{\prime}$ is a reduction of the cycle C if both have odd length and ${C}^{\prime}$ is the union of a subarc $\eta $ of C and a shortcut of C joining the endpoints of $\eta $. Note that $L\left({C}^{\prime}\right)\le L\left(C\right)-2$. We say that a cycle is minimal if it has odd length and it does not have a reduction.

**Lemma**

**4.**

If C is a minimal cycle of G, then $L\left(C\right)\le 4\delta \left(G\right)$.

**Proof.**

We prove first that C is an isometric subgraph of G. Assume that C is not an isometric subgraph. Thus, there exists a shortcut g of C with endpoints $u,v$. There are two subarcs ${\eta}_{1},{\eta}_{2}$ of C joining u and v; since C has odd length, we can assume that ${\eta}_{1}$ has even length and ${\eta}_{2}$ has odd length. If g has even length, then ${C}^{\prime}:=g\cup {\eta}_{2}$ is a reduction of C. If g has odd length, then ${C}^{\u2033}:=g\cup {\eta}_{1}$ is a reduction of C. Hence, C is not minimal, a contradiction, and so C is an isometric subgraph of G.

It is easy to show that any isometric cycle C has length $4\delta \left(C\right)$. This fact and Lemma 3 give $L\left(C\right)=4\delta \left(C\right)\le 4\delta \left(G\right)$. □

Given any ${w}_{0},{w}_{k}$-walk $g=[{w}_{0},{w}_{1}]\cup [{w}_{1},{w}_{2}]\cup \cdots \cup [{w}_{k-1},{w}_{k}]$ in ${G}_{1}$ and ${P}_{2}=[{v}_{1},{v}_{2}]$, if $L\left(g\right)$ is either odd or even, then we define the $({w}_{0},{v}_{1}),({w}_{k},{v}_{i})$-walk for $i\in 1,2$,
respectively.

$$\begin{array}{cc}\hfill {\Gamma}_{1}g& :=[({w}_{0},{v}_{1}),({w}_{1},{v}_{2})]\cup [({w}_{1},{v}_{2}),({w}_{2},{v}_{1})]\cup [({w}_{2},{v}_{1}),({w}_{3},{v}_{2})]\cup \cdots \cup [({w}_{k-1},{v}_{1}),({w}_{k},{v}_{2})],\hfill \\ \hfill {\Gamma}_{1}g& :=[({w}_{0},{v}_{1}),({w}_{1},{v}_{2})]\cup [({w}_{1},{v}_{2}),({w}_{2},{v}_{1})]\cup [({w}_{2},{v}_{1}),({w}_{3},{v}_{2})]\cup \cdots \cup [({w}_{k-1},{v}_{2}),({w}_{k},{v}_{1})],\hfill \end{array}$$

**Remark**

**1.**

By Proposition 2, if g is a geodesic path in ${G}_{1}$, then ${\Gamma}_{1}g$ is a geodesic path in ${G}_{1}\times {P}_{2}$.

Let us define the map $R:V({G}_{1}\times {P}_{2})\to V({G}_{1}\times {P}_{2})$ as $R(w,{v}_{1})=(w,{v}_{2})$ and $R(w,{v}_{2})=(w,{v}_{1})$ for every $w\in V\left({G}_{1}\right)$, and the path ${\Gamma}_{2}g$ as ${\Gamma}_{2}g=R\left({\Gamma}_{1}g\right)$.

Let us define the map ${\left({\Gamma}_{1}g\right)}^{\prime}:g\to {\Gamma}_{1}g$ which is an isometry on the edges and such that ${\left({\Gamma}_{1}g\right)}^{\prime}\left({w}_{j}\right)=({w}_{j},{v}_{1})$ if j is even and ${\left({\Gamma}_{1}g\right)}^{\prime}\left({w}_{j}\right)=({w}_{j},{v}_{2})$ if j is odd. In addition, let ${\left({\Gamma}_{2}g\right)}^{\prime}:g\to {\Gamma}_{2}g$ be the map defined by ${\left({\Gamma}_{2}g\right)}^{\prime}:=R\circ {\left({\Gamma}_{1}g\right)}^{\prime}$.

Given a graph G, denote by $\mathcal{C}$ the set of minimal cycles of G.

**Lemma**

**5.**

Let ${G}_{1}$ be a connected graph with some odd cycle and ${P}_{2}=[{v}_{1},{v}_{2}]$. Consider a geodesic $g=\left[{w}_{0}{w}_{k}\right]=[{w}_{0},{w}_{1}]\cup [{w}_{1},{w}_{2}]\cup \cdots \cup [{w}_{k-1},{w}_{k}]$ in ${G}_{1}$. Let us define ${w}_{0}^{\prime}:={\left({\Gamma}_{1}g\right)}^{\prime}\left({w}_{0}\right)=({w}_{0},{v}_{1})$ and ${w}_{k}^{\prime}:={\left({\Gamma}_{2}g\right)}^{\prime}\left({w}_{k}\right)$, i.e., ${w}_{k}^{\prime}:=({w}_{k},{v}_{1})$ or ${w}_{k}^{\prime}:=({w}_{k},{v}_{2})$ if k is odd or even, respectively. Then, ${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})>\sqrt{{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)}$ for every $0\le j\le k$.

**Proof.**

Fix $0\le j\le k$. Define

$$\mathcal{P}:=\left\{\sigma \phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}\sigma \phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}{w}_{0},{w}_{k}-\mathrm{walk}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{such}\phantom{\rule{4.pt}{0ex}}\mathrm{that}\phantom{\rule{4.pt}{0ex}}L\left(\sigma \right)\phantom{\rule{4.pt}{0ex}}\mathrm{has}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{parity}\phantom{\rule{4.pt}{0ex}}\mathrm{different}\phantom{\rule{4.pt}{0ex}}\mathrm{from}\phantom{\rule{4.pt}{0ex}}\mathrm{that}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}k\right\}.$$

Proposition 2 gives

$${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})=min\left\{L\left(\sigma \right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}\sigma \in \mathcal{P}\right\}.$$

Choose ${\sigma}_{0}\in \mathcal{P}$ such that $L\left({\sigma}_{0}\right)={d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})$. Since $L\left(g\right)+L\left({\sigma}_{0}\right)$ is odd, we have $L\left(g\right)+L\left({\sigma}_{0}\right)=2t+1$ for some positive integer t. Thus, ${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})=L\left({\sigma}_{0}\right)>\frac{1}{2}(2t+1)$.

If $g\cup {\sigma}_{0}$ is a cycle, then let us define ${C}_{0}:=g\cup {\sigma}_{0}$. Thus, $L\left({C}_{0}\right)=2t+1$ and ${d}_{{G}_{1}}\left({w}_{j},{C}_{0}\right)=0$ for every $0\le j\le k$. Otherwise, we may assume that $g\cap {\sigma}_{0}=\left[{w}_{0}{w}_{{i}_{1}}\right]\cup \left[{w}_{{i}_{2}}{w}_{k}\right]$ for some $0\le {i}_{1}<{i}_{2}\le k$. If ${\sigma}_{1}={\sigma}_{0}\backslash g$, then let us define ${C}_{0}:=\left[{w}_{{i}_{1}}{w}_{{i}_{2}}\right]\cup {\sigma}_{1}$ (where $\left[{w}_{{i}_{1}}{w}_{{i}_{2}}\right]\subset g$). Hence, ${C}_{0}$ is a cycle, $L\left({C}_{0}\right)\le 2t-1$ and ${d}_{{G}_{1}}\left({w}_{j},{C}_{0}\right)<\frac{1}{2}(2t+1)$.

If ${C}_{0}$ is not minimal, then consider a reduction ${C}_{1}$ of ${C}_{0}$. Let us repeat the process until we obtain a minimal cycle ${C}_{s}$. Note that $L\left({C}_{1}\right)\le L\left({C}_{0}\right)-2$ and for every point ${p}_{1}\in {C}_{0}$, ${d}_{{G}_{1}}\left({p}_{1},{C}_{1}\right)<\frac{1}{2}L\left({C}_{0}\right)$. Now, repeating the argument, for every $1<i\le s$, $L\left({C}_{i}\right)\le L\left({C}_{i-1}\right)-2$ and for every point ${p}_{i}\in {C}_{i-1}$, ${d}_{{G}_{1}}\left({p}_{i},{C}_{i}\right)<\frac{1}{2}L\left({C}_{i-1}\right)$. Therefore,

$$\begin{array}{cc}\hfill {d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)\le {d}_{{G}_{1}}\left({w}_{j},{C}_{s}\right)& \le {d}_{{G}_{1}}\left({w}_{j},{C}_{0}\right)+\frac{1}{2}L\left({C}_{0}\right)+\frac{1}{2}L\left({C}_{1}\right)+\cdots +\frac{1}{2}L\left({C}_{s}\right)\hfill \\ & <\frac{1}{2}(2t+1)+\frac{1}{2}(2t-1)+\cdots +\frac{5}{2}+\frac{3}{2}\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

Hence,
□

$${d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)<\frac{1}{2}\sum _{i=1}^{t}(2i+1)=\frac{1}{2}{t}^{2}+t<{\left(\frac{1}{2}(2t+1)\right)}^{2}<{\left({d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})\right)}^{2}.$$

**Corollary**

**3.**

Let ${G}_{1}$ be a hyperbolic connected graph with some odd cycle and ${P}_{2}=[{v}_{1},{v}_{2}]$. Consider a geodesic $g=\left[{w}_{0}{w}_{k}\right]=[{w}_{0},{w}_{1}]\cup [{w}_{1},{w}_{2}]\cup \cdots \cup [{w}_{k-1},{w}_{k}]$ in ${G}_{1}$. Let us define ${w}_{0}^{\prime}:={\left({\Gamma}_{1}g\right)}^{\prime}\left({w}_{0}\right)=({w}_{0},{v}_{1})$ and ${w}_{k}^{\prime}:={\left({\Gamma}_{2}g\right)}^{\prime}\left({w}_{k}\right)$. Then, we have for every $0\le j\le k$,

$$\frac{1}{2}\left(k+\sqrt{{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)}\phantom{\rule{0.166667em}{0ex}}\right)\le {d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})\le k+2{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)+4\delta \left({G}_{1}\right).$$

**Proof.**

Corollary 1 and Lemma 5 give ${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})\ge k$ and ${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})\ge \sqrt{{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)}$, and these inequalities provide the lower bound of ${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})$.

Consider a geodesic $\gamma $ joining ${w}_{j}$ and $C\in \mathcal{C}\left({G}_{1}\right)$ with $L\left(\gamma \right)={d}_{{G}_{1}}({w}_{j},C)={d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)$ and the ${w}_{0},{w}_{k}$-walk

$${g}^{\prime}:=\left[{w}_{0}{w}_{j}\right]\cup \gamma \cup C\cup \gamma \cup \left[{w}_{j}{w}_{k}\right].$$

One can check that ${\Gamma}_{1}{g}^{\prime}$ is a ${w}_{0}^{\prime},{w}_{k}^{\prime}$-walk in ${G}_{1}\times {P}_{2}$, and so Lemma 4 gives
□

$${d}_{{G}_{1}\times {P}_{2}}({w}_{0}^{\prime},{w}_{k}^{\prime})\le L\left({\Gamma}_{1}{g}^{\prime}\right)=L\left({g}^{\prime}\right)=k+2{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)+L\left(C\right)\le k+2{d}_{{G}_{1}}\left({w}_{j},\mathcal{C}\left({G}_{1}\right)\right)+4\delta \left({G}_{1}\right).$$

If $[{v}_{1},{v}_{2}]$ is an edge of G, then the point $x\in [{v}_{1},{v}_{2}]$ with ${d}_{G}(x,{v}_{1})={d}_{G}(x,{v}_{2})=1/2$ is the midpoint of the edge $[{v}_{1},{v}_{2}]$. Denote by $J\left(G\right)$ the set of vertices and midpoints of edges in G. Consider the set ${\mathbb{T}}_{1}\left(G\right)$ of geodesic triangles T in G which are cycles and such that the vertices of T are in $J\left(G\right)$. We denote by ${\delta}_{1}\left(G\right)$ the infimum of the constants $\mu $ such that any triangle in ${\mathbb{T}}_{1}\left(G\right)$ is $\mu $-thin.

The following three results are used throughout the paper.

**Theorem**

**5.**

([40], Theorem 2.5) For every connected graph G, we have ${\delta}_{1}\left(G\right)=\delta \left(G\right)$.

**Theorem**

**6.**

([40], Theorem 2.6) Let G be any connected graph. Then, $\delta \left(G\right)$ is always a multiple of $1/4$.

**Theorem**

**7.**

([40], Theorem 2.7) For any hyperbolic connected graph G, there exists a geodesic triangle $T\in {\mathbb{T}}_{1}\left(G\right)$ such that $\delta \left(T\right)=\delta \left(G\right)$.

Consider the set ${\mathbb{T}}_{v}\left(G\right)$ of geodesic triangles T in G that are cycles and such that the three vertices of the triangle T are also vertices of G. ${\delta}_{v}\left(G\right)$ denotes the infimum of the constants $\mu $ such that every triangle in ${\mathbb{T}}_{v}\left(G\right)$ is $\mu $-thin.

**Theorem**

**8.**

For every connected graph G, we have ${\delta}_{v}\left(G\right)\le \delta \left(G\right)\le 4{\delta}_{v}\left(G\right)+1/2$. Hence, G is hyperbolic if and only if ${\delta}_{v}\left(G\right)<\infty $. Furthermore, if G is hyperbolic, then there are a geodesic triangle $T=\{a,b,c\}\in {\mathbb{T}}_{v}\left(G\right)$ and $q\in \left[ab\right]\cap J\left(G\right)$ such that $d(p,\left[ac\right]\cup \left[cb\right])=\delta \left(T\right)={\delta}_{v}\left(G\right)$. In addition, ${\delta}_{v}\left(G\right)$ is an integer multiple of $1/2$.

**Proof.**

The inequality ${\delta}_{v}\left(G\right)\le \delta \left(G\right)$ is direct.

Consider the set ${\mathbb{T}}_{v}^{\prime}\left(G\right)$ of geodesic triangles T in G such that the three vertices of the triangle T belong to $V\left(G\right)$, and denote by ${\delta}_{v}^{\prime}\left(G\right)$ the infimum of the constants $\mu $ such that every triangle in ${\mathbb{T}}_{v}^{\prime}\left(G\right)$ is $\mu $-thin. The argument in the proof of (ref. [79], Lemma 2.1) gives that ${\delta}_{v}^{\prime}\left(G\right)={\delta}_{v}\left(G\right)$.

Let us prove now $\delta \left(G\right)\le 4{\delta}_{v}\left(G\right)+1/2$. Let us assume that G is hyperbolic. If ${\delta}_{v}^{\prime}\left(G\right)=\infty $, then the inequality is trivial. Thus, it suffices to consider the case ${\delta}_{v}^{\prime}\left(G\right)<\infty $. By Theorem 7, there is a triangle $T=\{a,b,c\}$ that is a cycle with $a,b,c\in J\left(G\right)$ and $q\in \left[ab\right]$ such that $d(q,[ac]\cup [cb\left]\right)=\delta \left(T\right)=\delta \left(G\right)$. Assume that $a,b,c\in J\left(G\right)\backslash V\left(G\right)$ (otherwise, the argument is simpler). Let ${a}_{1},{a}_{2},{b}_{1},{b}_{2},{c}_{1},{c}_{2}\in T\cap V\left(G\right)$ such that $a\in [{a}_{1},{a}_{2}],b\in [{b}_{1},{b}_{2}],c\in [{c}_{1},{c}_{2}]$ and ${a}_{2},{b}_{1}\in \left[ab\right],{c}_{2},{d}_{1}\in \left[cd\right],{d}_{2},{a}_{1}\in \left[ac\right]$. Since $H:=\{{a}_{2},{b}_{1},{b}_{2},{c}_{1},{c}_{2},{a}_{1}\}$ is a geodesic hexagon with vertices in $V\left(G\right)$, it is $4{\delta}_{v}^{\prime}\left(G\right)$-thin and every point $w\in [{b}_{1},{b}_{2}]\cup \left[{b}_{2}{c}_{1}\right]\cup [{c}_{1},{c}_{2}]\cup \left[{c}_{2}{a}_{1}\right]\cup [{a}_{1},{a}_{2}]$ verifies $d(w,[ac]\cup [cb\left]\right)\le 1/2$, we have

$$\begin{array}{cc}\hfill \delta \left(G\right)& =d(q,\left[ac\right]\cup \left[cb\right])\le d(q,[{b}_{1},{b}_{2}]\cup \left[{b}_{2}{c}_{1}\right]\cup [{c}_{1},{c}_{2}]\cup \left[{c}_{2}{a}_{1}\right]\cup [{a}_{1},{a}_{2}])+1/2\hfill \\ & \le 4{\delta}_{v}^{\prime}\left(G\right)+1/2=4{\delta}_{v}\left(G\right)+1/2.\hfill \end{array}$$

Assume that G is not hyperbolic. Therefore, for each $M>0$ there is a triangle $T=\{a,b,c\}$ which is a cycle with $a,b,c\in J\left(G\right)$ and $q\in \left[ab\right]$ with $d(q,[ac]\cup [cb\left]\right)\ge M$. The previous argument gives $M\le 4{\delta}_{v}\left(G\right)+1/2$ and, since M is arbitrary, we conclude ${\delta}_{v}\left(G\right)=\infty =\delta \left(G\right)$.

Finally, consider any geodesic triangle $T=\{a,b,c\}$ in ${\mathbb{T}}_{v}\left(G\right)$. Since $d(q,[ac]\cup [cb\left]\right)=d(q,(\left[ac\right]\cup \left[cb\right])\cap V(G\left)\right)$, $d(q,[ac]\cup [cb\left]\right)$ attains its maximum value when $q\in J\left(G\right)$. Hence, $\delta \left(T\right)$ is a multiple of $1/2$ for any triangle $T\in {\mathbb{T}}_{v}\left(G\right)$. Since the set of non-negative numbers that are multiple of $1/2$ is a discrete set, $\delta \left(G\right)$ is an integer multiple of $1/2$ if G is hyperbolic, and there is a triangle $T=\{a,b,c\}\in {\mathbb{T}}_{v}\left(G\right)$ and $q\in \left[ab\right]\cap J\left(G\right)$ with $d(q,\left[ac\right]\cup \left[cb\right])=\delta \left(T\right)={\delta}_{v}\left(G\right)$. This finishes the proof. □

**Theorem**

**9.**

If ${G}_{1}$ is a non-hyperbolic connected graph, then ${G}_{1}\times {P}_{2}$ is not hyperbolic.

**Proof.**

Since ${G}_{1}$ is not hyperbolic, by Theorem 8, given any $R>0$ there exists a triangle $T=\{x,y,z\}$ wich is a cycle, with $x,y,z\in V\left({G}_{1}\right)$ and such that T is not R-thin. Therefore, there exists some point $m\in T$, let us assume that $m\in \left[xy\right]$, such that ${d}_{{G}_{1}}(m,\left[yz\right]\cup \left[zx\right])>R$.

Seeking for a contradiction let us assume that ${G}_{1}\times {P}_{2}$ is $\delta $-hyperbolic.

Suppose that for some $R>\delta $, there is a geodesic triangle $T=\{x,y,z\}$ that is an even cycle in ${G}_{1}$, with $x,y,z\in V\left({G}_{1}\right)$ and such that T is not R-thin. Consider the (closed) path $\Lambda =\left[xy\right]\cup \left[yz\right]\cup \left[zx\right]$. Then, since T has even length, the path ${\Gamma}_{1}\Lambda $ defines a cycle in ${G}_{1}\times {P}_{2}$. Let ${\gamma}_{1}$, ${\gamma}_{2}$, ${\gamma}_{3}$ be the paths in ${\Gamma}_{1}\Lambda $ corresponding to $\left[xy\right],\left[yz\right],\left[zx\right]$, respectively. By Corollary 1, the curves ${\gamma}_{1}$, ${\gamma}_{2}$ and ${\gamma}_{3}$ are geodesics, and ${d}_{{G}_{1}\times {P}_{2}}\left({({\Gamma}_{1}\Lambda )}^{\prime}\left(m\right),{\gamma}_{2}\cup {\gamma}_{3}\right)>\delta $, leading to contradiction.

Suppose that, for every $R>0$, there is a geodesic triangle $T=\{x,y,z\}$ which is an odd cycle, with $x,y,z\in V\left({G}_{1}\right)$ and such that T is not R-thin.

Let ${T}_{1}=\{x,y,z\}$ be a geodesic triangle as above and let us assume that $diam\left({T}_{1}\right)=D>8\delta $.

Let ${T}_{2}=\{{x}^{\prime},{y}^{\prime},{z}^{\prime}\}$ be another triangle as above such that ${T}_{2}$ is not $3(D+8\delta )$-thin, this is, there is a point m in one of the sides, let us call it $\sigma $, of ${T}_{2}$ such that ${d}_{{G}_{1}}(m,{T}_{2}\backslash \sigma )>3(D+8\delta )$.

Let $g=\left[{w}_{0}{w}_{k}\right]$ with ${w}_{0}\in {T}_{1}$ and ${w}_{k}\in {T}_{2}$ be a shortest geodesic in ${G}_{1}$ joining ${T}_{1}$ and ${T}_{2}$ (if ${T}_{1}$ and ${T}_{2}$ intersect, just assume that g is a single vertex, ${w}_{0}={w}_{k}$, in the intersection). See Figure 2.

Let us assume that ${w}_{0}\in \left[xz\right]$ and ${w}_{k}\in \left[{x}^{\prime}{z}^{\prime}\right]$. Then, let us consider the closed path C in ${G}_{1}$ given by the union of the geodesics in ${T}_{1}$, g, the geodesics in ${T}_{2}$ and the inverse of g from ${w}_{k}$ to ${w}_{0}$, this is,

$$C:=\left[{w}_{0}x\right]\cup \left[xy\right]\cup \left[yz\right]\cup \left[z{w}_{0}\right]\cup \left[{w}_{0}{w}_{k}\right]\cup \left[{w}_{k}{x}^{\prime}\right]\cup \left[{x}^{\prime}{y}^{\prime}\right]\cup \left[{y}^{\prime}{z}^{\prime}\right]\cup \left[{z}^{\prime}{w}_{k}\right]\cup \left[{w}_{k}{w}_{0}\right].$$

Since ${T}_{1},{T}_{2}$ are odd cycles, C is an even closed cycle. Therefore, ${\Gamma}_{1}C$ defines a cycle in ${G}_{1}\times {P}_{2}$. Moreover, by Remark 1, ${\Gamma}_{1}C$ is a geodesic decagon in ${G}_{1}\times {P}_{2}$ with sides ${\gamma}_{1}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{w}_{0}x\right]\right)$, ${\gamma}_{2}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[xy\right]\right)$, ${\gamma}_{3}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[yz\right]\right)$, ${\gamma}_{4}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[z{w}_{0}\right]\right)$, ${\gamma}_{5}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{w}_{0}{w}_{k}\right]\right)$, ${\gamma}_{6}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{w}_{k}{x}^{\prime}\right]\right)$, ${\gamma}_{7}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{x}^{\prime}{y}^{\prime}\right]\right)$, ${\gamma}_{8}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{y}^{\prime}{z}^{\prime}\right]\right)$, ${\gamma}_{9}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{z}^{\prime}{w}_{k}\right]\right)$ and ${\gamma}_{10}={\left({\Gamma}_{1}C\right)}^{\prime}\left(\left[{w}_{k}{w}_{0}\right]\right)$.

Since we are assuming that ${G}_{1}\times {P}_{2}$ is $\delta $-hyperbolic, then for every $1\le i\le 10$ and every point $p\in {\gamma}_{i}$, ${d}_{{G}_{1}\times {P}_{2}}(p,C\backslash {\gamma}_{i})\le 8\delta $.

Let $p:={\left({\Gamma}_{1}C\right)}^{\prime}\left(m\right)$.

Case 1. Suppose that ${d}_{{G}_{1}}(m,{T}_{1}\cup g)>8\delta $. See Figure 2.

By assumption, ${d}_{{G}_{1}}(m,{T}_{2}\backslash \sigma )>8\delta $. If $\sigma =\left[{x}^{\prime}{y}^{\prime}\right]$ (resp. $\sigma =\left[{y}^{\prime}{z}^{\prime}\right]$), then $p\in {\gamma}_{7}$ (resp. $p\in {\gamma}_{8}$) and, by Corollary 1, ${d}_{{G}_{1}\times {P}_{2}}(p,C\backslash {\gamma}_{7})>8\delta $ (resp. ${d}_{{G}_{1}\times {P}_{2}}(p,C\backslash {\gamma}_{8})>8\delta $) leading to contradiction. If $\sigma =\left[{x}^{\prime}{z}^{\prime}\right]$, since $\left[{x}^{\prime}{z}^{\prime}\right]=\left[{x}^{\prime}{w}_{k}\right]\cup \left[{w}_{k}{z}^{\prime}\right]$, let us assume $m\in \left[{x}^{\prime}{w}_{k}\right]$. Then, since ${d}_{{G}_{1}}(m,{w}_{k})>8\delta $, it follows that ${d}_{{G}_{1}}(m,\left[{w}_{k}{z}^{\prime}\right])>8\delta $. Thus, $p\in {\gamma}_{6}$ and, by Corollary 1, ${d}_{{G}_{1}\times {P}_{2}}(p,C\backslash {\gamma}_{6})>8\delta $ leading to contradiction.

Case 2. Suppose that ${d}_{{G}_{1}}(m,{T}_{1}\cup g)\le 8\delta $ and $L\left(g\right)\le 8\delta $. See the left side of Figure 3. Then, for every point q in ${T}_{1}\cup g$, ${d}_{{G}_{1}}(m,q)\le 8\delta +D+8\delta $. In particular, ${d}_{{G}_{1}}(m,{w}_{k})\le 8\delta +D+8\delta $. Therefore, $m\in \left[{x}^{\prime}{z}^{\prime}\right]$ and let us assume that $m\in \left[{x}^{\prime}{w}_{k}\right]$. Since ${d}_{{G}_{1}}(m,{x}^{\prime})\ge {d}_{{G}_{1}}(m,\left[{x}^{\prime}{y}^{\prime}\right]\cup \left[{y}^{\prime}{z}^{\prime}\right])>3(D+8\delta )$, there is a point ${m}^{\prime}\in \left[{x}^{\prime}m\right]\subset \left[{x}^{\prime}{w}_{k}\right]$ such that ${d}_{{G}_{1}}(m,{m}^{\prime})=2(D+8\delta )$. Then, ${d}_{{G}_{1}}({m}^{\prime},{T}_{1}\cup g)\ge 2(D+8\delta )-D-8\delta -8\delta =D>8\delta $. In addition, it is trivial to check that ${d}_{{G}_{1}}({m}^{\prime},\left[{x}^{\prime}{y}^{\prime}\right]\cup \left[{y}^{\prime}{z}^{\prime}\right])>3(D+8\delta )-2(D+8\delta )>8\delta $ and since $\left[{x}^{\prime}{z}^{\prime}\right]$ is a geodesic, ${d}_{{G}_{1}}({m}^{\prime},\left[{z}^{\prime}{w}_{k}\right])>8\delta $. Thus, if ${p}^{\prime}:={\left({\Gamma}_{1}C\right)}^{\prime}\left({m}^{\prime}\right)$, then ${p}^{\prime}\in {\gamma}_{6}$ and, by Corollary 1, ${d}_{{G}_{1}\times {P}_{2}}({p}^{\prime},C\backslash {\gamma}_{6})>8\delta $ leading to contradiction.

Case 3. Suppose that ${d}_{{G}_{1}}(m,{T}_{1}\cup g)\le 8\delta $ and $L\left(g\right)>8\delta $. See the right side of Figure 3. Since g is a shortest geodesic in ${G}_{1}$ joining ${T}_{1}$ and ${T}_{2}$, this implies that ${d}_{{G}_{1}}({T}_{1},{T}_{2})>8\delta $ and ${d}_{{G}_{1}}(m,\left[{w}_{0}{w}_{k}\right])\le 8\delta $. Moreover, ${d}_{{G}_{1}}(m,{w}_{k})\le 16\delta $. Otherwise, there is a point $q\in \left[{w}_{0}{w}_{k}\right]$ such that ${d}_{{G}_{1}}(m,q)\le 8\delta $ and ${d}_{{G}_{1}}(q,{w}_{k})>8\delta $ which means that ${d}_{{G}_{1}}(q,{w}_{0})<{d}_{{G}_{1}}({w}_{0},{w}_{k})-8\delta $ and ${d}_{{G}_{1}}(m,{w}_{0})<{d}_{{G}_{1}}({w}_{0},{w}_{k})$ leading to contradiction.

Since ${d}_{{G}_{1}}(m,{w}_{k})\le 16\delta $, $m\in \left[{x}^{\prime}{z}^{\prime}\right]$. Let us assume that $m\in \left[{x}^{\prime}{w}_{k}\right]$. Since ${d}_{{G}_{1}}(m,\left[{x}^{\prime}{y}^{\prime}\right]\cup \left[{y}^{\prime}{z}^{\prime}\right])>3(D+8\delta )$, there is a point ${m}^{\prime}\in \left[{x}^{\prime}m\right]\subset \left[{x}^{\prime}{w}_{k}\right]$ such that ${d}_{{G}_{1}}(m,{m}^{\prime})=2(D+8\delta )$. Let us see that ${d}_{{G}_{1}}({m}^{\prime},\left[{w}_{0}{w}_{k}\right])>8\delta $. Suppose there is some $q\in \left[{w}_{0}{w}_{k}\right]$ such that ${d}_{{G}_{1}}({m}^{\prime},q)\le 8\delta $. Since ${m}^{\prime}\in {T}_{2}$ and g is a shortest geodesic joining ${T}_{1}$ and ${T}_{2}$, ${d}_{{G}_{1}}(q,{w}_{k})\le 8\delta $. However, $32\delta <2(D+8\delta )={d}_{{G}_{1}}({m}^{\prime},m)\le {d}_{{G}_{1}}({m}^{\prime},q)+{d}_{{G}_{1}}(q,{w}_{k})+{d}_{{G}_{1}}({w}_{k},m)\le 8\delta +8\delta +16\delta $ which is a contradiction. Hence, ${d}_{{G}_{1}}({m}^{\prime},\left[{w}_{0}{w}_{k}\right])>8\delta $. In addition, it is trivial to check that ${d}_{{G}_{1}}({m}^{\prime},\left[{x}^{\prime}{y}^{\prime}\right]\cup \left[{y}^{\prime}{z}^{\prime}\right])>3(D+8\delta )-2(D+8\delta )>8\delta $ and since $\left[{x}^{\prime}{z}^{\prime}\right]$ is a geodesic, ${d}_{{G}_{1}}({m}^{\prime},\left[{z}^{\prime}{w}_{k}\right])>8\delta $. Thus, if ${p}^{\prime}:={\left({\Gamma}_{1}C\right)}^{\prime}\left({m}^{\prime}\right)$, then ${p}^{\prime}\in {\gamma}_{6}$ and, by Corollary 1, ${d}_{{G}_{1}\times {P}_{2}}({p}^{\prime},C\backslash {\gamma}_{6})>8\delta $ leading to contradiction. □

Proposition 3, Lemma 2 and Theorems 3, 4 and 9 have the following consequence.

**Corollary**

**4.**

If ${G}_{1}$ is a non-hyperbolic connected graph and ${G}_{2}$ is some non-trivial connected graph, then ${G}_{1}\phantom{\rule{3.33333pt}{0ex}}\times \phantom{\rule{3.33333pt}{0ex}}{G}_{2}$ is not hyperbolic.

Proposition 3 and Corollary 4 provide a necessary condition for the hyperbolicity of ${G}_{1}\times {G}_{2}$.

**Theorem**

**10.**

Let ${G}_{1},{G}_{2}$ be non-trivial connected graphs. If ${G}_{1}\times {G}_{2}$ is hyperbolic, then one factor graph is hyperbolic and the other one is bounded.

Theorems 3 and 4 show that this necessary condition is also sufficient if either ${G}_{2}$ has some odd cycle or ${G}_{1}$ and ${G}_{2}$ do not have odd cycles (when ${G}_{1}$ is a hyperbolic graph and ${G}_{2}$ is a bounded graph). We deal now with the other case, when ${G}_{1}$ has some odd cycle and ${G}_{2}$ does not have odd cycles.

**Theorem**

**11.**

Let ${G}_{1}$ be a connected graph with some odd cycle and ${G}_{2}$ a non-trivial bounded connected graph without odd cycles. Assume that ${G}_{1}$ satisfies the following property: for each $M>0$ there exist a geodesic g joining two minimal cycles of ${G}_{1}$ and a vertex $u\in g\cap V\left({G}_{1}\right)$ with ${d}_{{G}_{1}}\left(u,\mathcal{C}\left({G}_{1}\right)\right)\ge M$. Then, ${G}_{1}\times {G}_{2}$ is not hyperbolic.

**Proof.**

If ${G}_{1}$ is not hyperbolic, then Corollary 4 gives that ${G}_{1}\times {G}_{2}$ is not hyperbolic. Assume now that ${G}_{1}$ is hyperbolic. By Theorem 2 and Lemma 2, we can assume that ${G}_{2}={P}_{2}$ and $V\left({P}_{2}\right)=\{{v}_{1},{v}_{2}\}$.

Fix $M>0$ and choose a geodesic $g=\left[{w}_{0}{w}_{k}\right]=[{w}_{0},{w}_{1}]\cup [{w}_{1},{w}_{2}]\cup \cdots \cup [{w}_{k-1},{w}_{k}]$ joining two minimal cycles in ${G}_{1}$ and $0<r<k$ with ${d}_{{G}_{1}}\left({w}_{r},\mathcal{C}\left({G}_{1}\right)\right)\ge M$.

Define the paths ${g}_{1}$ and ${g}_{2}$ in ${G}_{1}\times {P}_{2}$ as ${g}_{1}:={\Gamma}_{1}g$ and ${g}_{2}:={\Gamma}_{2}g$. Since $L\left({g}_{1}\right)=L\left({g}_{2}\right)=L\left(g\right)={d}_{{G}_{1}}({w}_{0},{w}_{k})$, we have

$${d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{0}\right),{g}_{1}\left({w}_{k}\right)\right)\le L\left({g}_{1}\right)={d}_{{G}_{1}}({w}_{0},{w}_{k}),\phantom{\rule{2.em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}\left({g}_{2}\left({w}_{0}\right),{g}_{2}\left({w}_{k}\right)\right)\le L\left({g}_{2}\right)={d}_{{G}_{1}}({w}_{0},{w}_{k}).$$

Corollary 1 gives that

$${d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{0}\right),{g}_{1}\left({w}_{k}\right)\right)\ge {d}_{{G}_{1}}({w}_{0},{w}_{k}),\phantom{\rule{2.em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}\left({g}_{2}\left({w}_{0}\right),{g}_{2}\left({w}_{k}\right)\right)\ge {d}_{{G}_{1}}({w}_{0},{w}_{k}).$$

Hence, ${g}_{1}$ and ${g}_{2}$ are geodesics in ${G}_{1}\times {P}_{2}$. Choose geodesics ${g}_{3}=\left[{g}_{1}\left({w}_{0}\right){g}_{2}\left({w}_{0}\right)\right]$ and ${g}_{4}=\left[{g}_{1}\left({w}_{k}\right){g}_{2}\left({w}_{k}\right)\right]$ in ${G}_{1}\times {P}_{2}$. Since ${d}_{{P}_{2}}({v}_{1},{v}_{2})=1$ is odd, Proposition 2 gives

$$\begin{array}{cc}\hfill {d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{0}\right),{g}_{2}\left({w}_{0}\right)\right)& =min\left\{L\left(\sigma \right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}\sigma \phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}{w}_{0},{w}_{0}-\mathrm{walk}\phantom{\rule{4.pt}{0ex}}\right\}\hfill \\ & =min\left\{L\left(\sigma \right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}\sigma \phantom{\rule{4.pt}{0ex}}\mathrm{cycle}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{odd}\phantom{\rule{4.pt}{0ex}}\mathrm{length}\phantom{\rule{4.pt}{0ex}}\mathrm{containing}\phantom{\rule{4.pt}{0ex}}{w}_{0}\right\}.\hfill \end{array}$$

Since ${w}_{0}$ belongs to a minimal cycle, $L\left({g}_{3}\right)\le 4\delta \left({G}_{1}\right)$ by Lemma 4. In a similar way, we obtain $L\left({g}_{4}\right)\le 4\delta \left({G}_{1}\right)$.

Consider the geodesic quadrilateral $Q:=\{{g}_{1},{g}_{2},{g}_{3},{g}_{4}\}$ in ${G}_{1}\times {P}_{2}$. Thus, ${d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{r}\right),{g}_{2}\cup {g}_{3}\cup {g}_{4}\right)\le 2\delta ({G}_{1}\times {P}_{2})$. Since $max\left\{L\left({g}_{3}\right),L\left({g}_{4}\right)\right\}\le 4\delta \left({G}_{1}\right)$, we deduce ${d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{r}\right),{g}_{2}\right)\le 2\delta ({G}_{1}\times {P}_{2})+4\delta \left({G}_{1}\right)$.

Let $0\le j\le k$ with ${d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{r}\right),{g}_{2}\right)={d}_{{G}_{1}\times {P}_{2}}\left({g}_{1}\left({w}_{r}\right),{g}_{2}\left({w}_{j}\right)\right)$. Let us define ${w}_{r}^{\prime}:={g}_{1}\left({w}_{r}\right)$ and ${w}_{j}^{\prime}:={g}_{2}\left({w}_{j}\right)$. Thus, Lemma 5 gives
and since M is arbitrarily large, we deduce that ${G}_{1}\times {P}_{2}$ is not hyperbolic. □

$$\sqrt{M}\le \sqrt{{d}_{{G}_{1}}\left({w}_{r},\mathcal{C}\left({G}_{1}\right)\right)}\le {d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{\prime},{w}_{j}^{\prime})={d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{\prime},{g}_{2})\le 2\delta ({G}_{1}\times {P}_{2})+4\delta \left({G}_{1}\right),$$

**Lemma**

**6.**

Let ${G}_{1}$ be a hyperbolic connected graph and suppose there is some constant $K>0$ such that for every vertex $w\in {G}_{1}$, ${d}_{{G}_{1}}(w,\mathcal{C}\left({G}_{1}\right))\le K$. Then, ${G}_{1}\times {P}_{2}$ is hyperbolic.

**Proof.**

Denote by ${v}_{1}$ and ${v}_{2}$ the vertices of ${P}_{2}$. Let $i:V\left({G}_{1}\right)\to V({G}_{1}\times {P}_{2})$ defined as $i\left(w\right):=(w,{v}_{1})$ for every $w\in {G}_{1}$.

For every $x,y\in V\left({G}_{1}\right)$, by Corollary 1, ${d}_{{G}_{1}}(x,y)\le {d}_{{G}_{1}\times {P}_{2}}(i\left(x\right),i\left(y\right))$. By Corollary 3,

$${d}_{{G}_{1}\times {P}_{2}}(i\left(x\right),i\left(y\right))\le {d}_{{G}_{1}}(x,y)+2{d}_{{G}_{1}}\left(x,\mathcal{C}\left({G}_{1}\right)\right)+4\delta \left({G}_{1}\right)\le {d}_{{G}_{1}}(x,y)+2K+4\delta \left({G}_{1}\right).$$

Therefore, $i:V\left({G}_{1}\right)\to V({G}_{1}\times {P}_{2})$ is a $\left(1,2K+4\delta \left({G}_{1}\right)\right)$-quasi-isometric embedding.

Notice that for every $(w,{v}_{1})\in V({G}_{1}\times {P}_{2})$, $(w,{v}_{1})=i\left(w\right)$. In addition, for any $(w,{v}_{2})\in V({G}_{1}\times {P}_{2})$, since ${G}_{1}$ is connected, there is some edge $[w,{w}^{\prime}]\in E\left({G}_{1}\right)$ and we have $[(w,{v}_{2}),({w}^{\prime},{v}_{1})]\in E({G}_{1}\times {P}_{2})$. Therefore, $i:V\left({G}_{1}\right)\to V({G}_{1}\times {P}_{2})$ is 1-full.

Thus, by Lemma 1, ${G}_{1}$ and ${G}_{1}\times {P}_{2}$ are quasi-isometric and, by Theorem 2, ${G}_{1}\times {P}_{2}$ is hyperbolic. □

Theorem 3 and Lemmas 2 and 6 give the following result.

**Theorem**

**12.**

Let ${G}_{1}$ be a hyperbolic connected graph and ${G}_{2}$ some non-trivial bounded connected graph. If there is some constant $K>0$ such that for every vertex $w\in {G}_{1}$, ${d}_{{G}_{1}}(w,\mathcal{C}\left({G}_{1}\right))\le K$, then ${G}_{1}\times {G}_{2}$ is hyperbolic.

We finish this section with a characterization of the hyperbolicity of ${G}_{1}\times {G}_{2}$, under an additional hypothesis. We present first some lemmas.

Let J be a finite or infinite index set. Now, given a graph ${G}_{1}$, we define some graphs related to ${G}_{1}$ which will be useful in the following results. Let ${B}_{j}:={B}_{{G}_{1}}({w}_{j},{K}_{j})$ with ${w}_{j}\in V\left({G}_{1}\right)$ and ${K}_{j}\in {\mathbb{Z}}^{+}$, for any $j\in J$, such that ${sup}_{j}{K}_{j}=K<\infty ,\phantom{\rule{0.166667em}{0ex}}{\overline{B}}_{{j}_{1}}\cap {\overline{B}}_{{j}_{2}}=\varnothing $ if ${j}_{1}\ne {j}_{2}$, and every odd cycle C in ${G}_{1}$ satisfies $C\cap {B}_{j}\ne \varnothing $ for some $j\in J$. Denote by ${G}_{1}^{\prime}$ the subgraph of ${G}_{1}$ induced by $V\left({G}_{1}\right)\backslash \left({\cup}_{j}{B}_{j}\right)$. Let ${N}_{j}:=\partial {B}_{j}=\{w\in V\left({G}_{1}\right):{d}_{{G}_{1}}(w,{w}_{j})={K}_{j}\}$. Denote by ${G}_{1}^{\ast}$ the graph with $V\left({G}_{1}^{\ast}\right)=V\left({G}_{1}^{\prime}\right)\cup \left({\cup}_{j}\left\{{w}_{j}^{\ast}\right\}\right)$, where ${w}_{j}^{\ast}$ are additional vertices, and $E\left({G}_{1}^{\ast}\right)=E\left({G}_{1}^{\prime}\right)\cup \left({\cup}_{j}\{[w,{w}_{j}^{\ast}]:w\in {N}_{j}\}\right)$. We have ${G}_{1}^{\prime}={G}_{1}\cap {G}_{1}^{\ast}$.

**Lemma**

**7.**

Let ${G}_{1}$ be a connected graph as above. Then, there is a quasi-isometry $g:{G}_{1}\to {G}_{1}^{\ast}$ such that $g\left({w}_{j}\right)={w}_{j}^{\ast}$ for every $j\in J$.

**Proof.**

Let $f:V\left({G}_{1}\right)\to V\left({G}_{1}^{\ast}\right)$ defined as $f\left(u\right)=u$ for every $u\in V\left({G}_{1}^{\prime}\right)$, and $f\left(u\right)={w}_{i}^{\ast}$ for every $u\in V\left({B}_{i}\right)$. It is clear that $f:V\left({G}_{1}\right)\to V\left({G}_{1}^{\ast}\right)$ is 0-full.

Now, we focus on proving that $f:V\left({G}_{1}\right)\to V\left({G}_{1}^{\ast}\right)$ is a $(K,2K)$-quasi-isometric embedding. For every $u,v\in V\left({G}_{1}\right)$, it is clear that ${d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))\le {d}_{{G}_{1}}(u,v)$.

Let us prove the other inequality. Fix $u,v\in V\left({G}_{1}\right)$ and consider an oriented geodesic $\gamma $ in ${G}_{1}^{\ast}$ from $f\left(u\right)$ to $f\left(v\right)$.

Assume that $u,v\in V\left({G}_{1}^{\prime}\right)$. If $L\left(\gamma \right)={d}_{{G}_{1}}(u,v)$, then ${d}_{{G}_{1}}(u,v)={d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))$. If $L\left(\gamma \right)<{d}_{{G}_{1}}(u,v)$, then $\gamma $ meets some ${w}_{j}^{\ast}$. Since $\gamma $ is a compact set, it intersects only a finite number of ${w}_{j}^{\ast}$’s, which we denote by ${w}_{{j}_{1}}^{\ast},\dots {w}_{{j}_{r}}^{\ast}$. Since $\gamma $ is an oriented curve from $f\left(u\right)$ to $f\left(v\right)$, we can assume that $\gamma $ meets ${w}_{{j}_{1}}^{\ast},\dots {w}_{{j}_{r}}^{\ast}$ in this order.

Let us define the following vertices in $\gamma $
for every $1\le i\le r$. Note that $\left[{w}_{i}^{2}{w}_{i+1}^{1}\right]\subset {G}_{1}^{\prime}$ for every $1\le i<r$ (it is possible to have ${w}_{i}^{2}={w}_{i+1}^{1}$).

$${w}_{i}^{1}=\left[f\left(u\right){w}_{{j}_{i}}^{\ast}\right]\cap {N}_{{j}_{i}},\phantom{\rule{1.em}{0ex}}\phantom{\rule{1.em}{0ex}}{w}_{i}^{2}=\left[{w}_{{j}_{i}}^{\ast}f\left(v\right)\right]\cap {N}_{{j}_{i}},$$

Since ${d}_{{G}_{1}^{\ast}}({w}_{i}^{1},{w}_{i}^{2})=2$ and ${d}_{{G}_{1}}({w}_{i}^{1},{w}_{i}^{2})\le 2K$, we have ${d}_{{G}_{1}^{\ast}}({w}_{i}^{1},{w}_{i}^{2})\ge \frac{1}{K}\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}}({w}_{i}^{1},{w}_{i}^{2})$ for every $1\le i\le r$. Thus,

$$\begin{array}{cc}\hfill {d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))& ={d}_{{G}_{1}^{\ast}}(f\left(u\right),{w}_{1}^{1})+\sum _{i=1}^{r}{d}_{{G}_{1}^{\ast}}({w}_{i}^{1},{w}_{i}^{2})+\sum _{i=1}^{r-1}{d}_{{G}_{1}^{\ast}}({w}_{i}^{2},{w}_{i+1}^{1})+{d}_{{G}_{1}^{\ast}}({w}_{r}^{2},f\left(v\right))\hfill \\ & \ge {d}_{{G}_{1}}(u,{w}_{1}^{1})+\frac{1}{K}\sum _{i=1}^{r}{d}_{{G}_{1}}({w}_{i}^{1},{w}_{i}^{2})+\sum _{i=1}^{r-1}{d}_{{G}_{1}}({w}_{i}^{2},{w}_{i+1}^{1})+{d}_{{G}_{1}}({w}_{r}^{2},v)\hfill \\ & \ge \frac{1}{K}\phantom{\rule{0.166667em}{0ex}}\left({d}_{{G}_{1}}(u,{w}_{1}^{1})+\sum _{i=1}^{r}{d}_{{G}_{1}}({w}_{i}^{1},{w}_{i}^{2})+\sum _{i=1}^{r-1}{d}_{{G}_{1}}({w}_{i}^{2},{w}_{i+1}^{1})+{d}_{{G}_{1}}({w}_{r}^{2},v)\right)\hfill \\ & \ge \frac{1}{K}\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}}(u,v).\hfill \end{array}$$

Assume that $f\left(u\right)=f\left(v\right)$. Therefore, there exists j with $u,v\in {B}_{j}$ and

$${d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))=0>{d}_{{G}_{1}}(u,v)-2K.$$

Assume now that u and/or v does not belong to $V\left({G}_{1}^{\prime}\right)$ and $f\left(u\right)\ne f\left(v\right)$. Let ${u}_{0},{v}_{0}$ be the closest vertices in $V\left({G}_{1}^{\prime}\right)\cap \gamma $ to $f\left(u\right),f\left(v\right)$, respectively (it is possible to have ${u}_{0}=f\left(u\right)$ or ${v}_{0}=f\left(v\right)$). Since ${u}_{0},{v}_{0}\in V\left({G}_{1}^{\prime}\right)$, ${u}_{0}=f\left({u}_{0}\right),{v}_{0}=f\left({v}_{0}\right)$, we have ${d}_{{G}_{1}}(u,{u}_{0})<2K$ and ${d}_{{G}_{1}}(v,{v}_{0})<2K$. Hence,

$$\begin{array}{cc}\hfill {d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))& ={d}_{{G}_{1}^{\ast}}(f\left(u\right),{u}_{0})+{d}_{{G}_{1}^{\ast}}({u}_{0},{v}_{0})+{d}_{{G}_{1}^{\ast}}({v}_{0},f\left(v\right))\hfill \\ & \ge {d}_{{G}_{1}^{\ast}}(f\left({u}_{0}\right),f\left({v}_{0}\right))\hfill \\ & \ge \frac{1}{K}\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}}({u}_{0},{v}_{0})\hfill \\ & \ge \frac{1}{K}\phantom{\rule{0.166667em}{0ex}}\left({d}_{{G}_{1}}(u,v)-{d}_{{G}_{1}}(u,{u}_{0})-{d}_{{G}_{1}}(v,{v}_{0})\right)\hfill \\ & >\frac{1}{K}\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}}(u,v)-4.\hfill \end{array}$$

If $K\ge 2$, then ${d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))>\frac{1}{K}\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}}(u,v)-2K$. If $K=1$, then ${d}_{{G}_{1}}(u,{u}_{0})\le 1,{d}_{{G}_{1}}(v,{v}_{0})\le 1$, and ${d}_{{G}_{1}^{\ast}}(f\left(u\right),f\left(v\right))\ge {d}_{{G}_{1}}(u,v)-2$.

Finally, we conclude that $f:V\left({G}_{1}\right)\to V\left({G}_{1}^{\ast}\right)$ is a $(K,2K)$-quasi-isometric embedding. Thus, Lemma 1 provides a quasi-isometry $g:{G}_{1}\to {G}_{1}^{\ast}$ with the required property. □

**Definition**

**3.**

Given a connected graph ${G}_{1}$ and some index set J, let ${\mathcal{B}}_{J}={\left\{{B}_{j}\right\}}_{j\in J}$ be a family of balls where ${B}_{j}:={B}_{{G}_{1}}({w}_{j},{K}_{j})$ with ${w}_{j}\in V\left({G}_{1}\right)$, ${K}_{j}\in {\mathbb{Z}}^{+}$ for any $j\in J$, ${sup}_{j}{K}_{j}=K<\infty $ and ${\overline{B}}_{{j}_{1}}\cap {\overline{B}}_{{j}_{2}}=\varnothing $ if ${j}_{1}\ne {j}_{2}$. Suppose that every odd cycle C in ${G}_{1}$ satisfies that $C\cap {B}_{j}\ne \varnothing $ for some $j\in J$. If there is some constant $M>0$ such that for every $j\in J$, there is an odd cycle ${C}_{j}$ such that ${C}_{j}\cap {B}_{j}\ne \varnothing $ with $L\left({C}_{j}\right)<M$, then we say that ${\mathcal{B}}_{J}$ is M-regular.

**Remark**

**2.**

If J is finite, then there exists $M>0$ such that ${\left\{{B}_{j}\right\}}_{j\in J}$ is M-regular.

Denote by ${G}^{\ast}$ the graph with $V\left({G}^{\ast}\right)=V({G}_{1}^{\prime}\times {P}_{2})\cup \left({\cup}_{j}\left\{{w}_{j}^{\ast}\right\}\right)$, where ${G}_{1}^{\prime}$ is a graph as above and ${w}_{j}^{\ast}$ are additional vertices, and $E\left({G}^{\ast}\right)=E({G}_{1}^{\prime}\times {P}_{2})\cup \left({\cup}_{j}\{[w,{w}_{j}^{\ast}]:{\pi}_{1}\left(w\right)\in {N}_{j}\}\right)$.

**Lemma**

**8.**

Let ${G}_{1}$ be a connected graph as above and ${P}_{2}$ with $V\left({P}_{2}\right)=\{{v}_{1},{v}_{2}\}$. If ${G}_{1}$ is hyperbolic and ${\mathcal{B}}_{J}$ as above is M-regular, then there exists a quasi-isometry $f:{G}_{1}\times {P}_{2}\to {G}^{\ast}$ with $f({w}_{j},{v}_{i})={w}_{j}^{\ast}$ for every $j\in J$ and $i\in \{1,2\}$.

**Proof.**

Let $F:V({G}_{1}\times {P}_{2})\to V\left({G}^{\ast}\right)$ defined as $F(v,{v}_{i})=(v,{v}_{i})$ for every $v\in V\left({G}_{1}^{\prime}\right)$, and $F(v,{v}_{i})={w}_{j}^{\ast}$ for every $v\in V\left({B}_{j}\right)$. It is clear that $F:V({G}_{1}\times {P}_{2})\to V\left({G}^{\ast}\right)$ is 0-full. Recall that we denote by ${\pi}_{1}:{G}_{1}\times {P}_{2}\to {G}_{1}$ the projection map. Define ${\pi}^{\ast}:{G}^{\ast}\to {G}_{1}$ as ${\pi}^{\ast}={\pi}_{1}$ on ${G}_{1}^{\prime}\times {P}_{2}$ and ${\pi}^{\ast}\left(x\right)={w}_{j}$ for every x with ${d}_{{G}^{\ast}}(x,{w}_{j}^{\ast})<1$ for some $j\in J$.

Now, we focus on proving that $F:V({G}_{1}\times {P}_{2})\to V\left({G}^{\ast}\right)$ is a quasi-isometric embedding. For every $(w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}})\in V({G}_{1}\times {P}_{2})$, one can check

$${d}_{{G}^{\ast}}(F(w,{v}_{i}),F({w}^{\prime},{v}_{{i}^{\prime}}))\le {d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}})).$$

To prove the other inequality, let us fix $(w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}})\in V({G}_{1}^{\prime}\times {P}_{2})$ (the inequalities in other cases can be obtained from the one in this case, as in the proof of Lemma 7). Consider a geodesic $\gamma :=\left[F(w,{v}_{i})F({w}^{\prime},{v}_{{i}^{\prime}})\right]$ in ${G}^{\ast}$. If $L\left(\gamma \right)={d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}}))$, then

$${d}_{{G}^{\ast}}(F(w,{v}_{i}),F({w}^{\prime},{v}_{{i}^{\prime}}))={d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}})).$$

If $L\left(\gamma \right)<{d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}}))$, then ${\pi}^{\ast}\left(\gamma \right)$ meets some ${B}_{j}$. Since $\gamma $ is a compact set, ${\pi}^{\ast}\left(\gamma \right)$ intersects just a finite number of ${B}_{j}$’s, which we denote by ${B}_{{j}_{1}},\dots {B}_{{j}_{r}}$. We consider $\gamma $ as an oriented curve from $F(w,{v}_{i})$ to $F({w}^{\prime},{v}_{{i}^{\prime}})$; thus we can assume that ${\pi}^{\ast}\left(\gamma \right)$ meets ${B}_{{j}_{1}},\dots ,{B}_{{j}_{r}}$ in this order.

Let us define the following set of vertices in $\gamma $
for every $1\le i\le r$, such that ${d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),{w}_{i}^{1})<{d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),{w}_{i}^{2})$. Note that $\left[{w}_{i}^{2}{w}_{i+1}^{1}\right]\subset {G}_{1}^{\prime}\times {P}_{2}$ for every $1\le i<r$ and ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})\ge 1$ since ${\overline{B}}_{{j}_{i}}\cap {\overline{B}}_{{j}_{i+1}}=\varnothing $.

$$\{{w}_{i}^{1},{w}_{i}^{2}\}:=\gamma \cap ({N}_{{j}_{i}}\times {P}_{2}),$$

If ${d}_{{G}_{1}}(\pi \left({w}_{i}^{1}\right),\pi \left({w}_{i}^{2}\right))={d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})$ for some $1\le i\le r$, then ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le 2K$. Since ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})\ge 1$ for $1\le i<r$, we have that ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le 2K\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})$ in this case.

If ${d}_{{G}_{1}}({\pi}_{1}\left({w}_{i}^{1}\right),{\pi}_{1}\left({w}_{i}^{2}\right))<{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})$ for some $1\le i\le r$, then ${d}_{{G}_{1}}({\pi}_{1}\left({w}_{i}^{1}\right),{\pi}_{1}\left({w}_{i}^{2}\right))+{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})$ is odd.

Since ${\mathcal{B}}_{J}$ is M-regular, consider an odd cycle C with $C\cap {B}_{{j}_{i}}\ne \varnothing $ and $L\left(C\right)<M$, and let ${b}_{i}\in C\cap {B}_{{j}_{i}}$ and $\left[{\pi}_{1}\left({w}_{i}^{1}\right){b}_{i}\right],\left[{b}_{i}{\pi}_{1}\left({w}_{i}^{2}\right)\right]$ geodesics in ${G}_{1}$. Thus, $\left[{\pi}_{1}\left({w}_{i}^{1}\right){b}_{i}\right]\cup \left[{b}_{i}{\pi}_{1}\left({w}_{i}^{2}\right)\right]$ and $\left[{\pi}_{1}\left({w}_{i}^{1}\right){b}_{i}\right]\cup C\cup \left[{b}_{i}{\pi}_{1}\left({w}_{i}^{2}\right)\right]$ have different parity which means that one of them has different parity from $\left[{\pi}_{1}\left({w}_{i}^{1}\right){\pi}_{1}\left({w}_{i}^{2}\right)\right]$. Then, ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le L(\left[{\pi}_{1}\left({w}_{i}^{1}\right){b}_{i}\right]\cup C\cup \left[{b}_{i}{\pi}_{1}\left({w}_{i}^{2}\right)\right])\le 4K+M$. Since ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})\ge 1$ for $1\le i<r$, we have that ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le \left(4K+M\right)\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})$ in this case.

Thus, we have that ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le 4K+M$ for every $1\le i\le r$ and ${d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})\le \left(4K+M\right)\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})$ for every $1\le i<r$. Therefore,

$$\begin{array}{cc}\hfill \phantom{\rule{-14.22636pt}{0ex}}& {d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),({w}^{\prime},{v}_{{i}^{\prime}}))\le {d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),{w}_{1}^{1})+\sum _{i=1}^{r}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{1},{w}_{i}^{2})+\sum _{i=1}^{r-1}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \phantom{\rule{113.81102pt}{0ex}}+\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{2},({w}^{\prime},{v}_{{i}^{\prime}}))\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \le {d}_{{G}_{1}\times {P}_{2}}((w,{v}_{i}),{w}_{1}^{1})+{d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{2},({w}^{\prime},{v}_{{i}^{\prime}}))+\left(4K+M+1\right)\sum _{i=1}^{r-1}{d}_{{G}_{1}\times {P}_{2}}({w}_{i}^{2},{w}_{i+1}^{1})\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \phantom{\rule{113.81102pt}{0ex}}+\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{1},{w}_{r}^{2})\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& ={d}_{{G}^{\ast}}(F(w,{v}_{i}),F\left({w}_{1}^{1}\right))+{d}_{{G}^{\ast}}(F\left({w}_{r}^{2}\right),F({w}^{\prime},{v}_{{i}^{\prime}}))+\left(4K+M+1\right)\sum _{i=1}^{r-1}{d}_{{G}^{\ast}}(F\left({w}_{i}^{2}\right),F\left({w}_{i+1}^{1}\right))\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \phantom{\rule{113.81102pt}{0ex}}+\phantom{\rule{0.166667em}{0ex}}{d}_{{G}_{1}\times {P}_{2}}({w}_{r}^{1},{w}_{r}^{2})\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \le \left(4K+M+1\right)({d}_{{G}^{\ast}}(F(w,{v}_{i}),F\left({w}_{1}^{1}\right))+{d}_{{G}^{\ast}}(F\left({w}_{r}^{2}\right),F({w}^{\prime},{v}_{{i}^{\prime}}))+\sum _{i=1}^{r-1}{d}_{{G}^{\ast}}(F\left({w}_{i}^{2}\right),F\left({w}_{i+1}^{1}\right)))+4K+M\hfill \\ \hfill \phantom{\rule{-14.22636pt}{0ex}}& \le \left(4K+M+1\right)\phantom{\rule{0.166667em}{0ex}}{d}_{{G}^{\ast}}(F(w,{v}_{i}),F({w}^{\prime},{v}_{{i}^{\prime}}))+4K+M.\hfill \end{array}$$

We conclude that $F:V({G}_{1}\times {P}_{2})\to V\left({G}^{\ast}\right)$ is a quasi-isometric embedding. Thus, Lemma 1 provides a quasi-isometry $f:{G}_{1}\times {P}_{2}\to {G}^{\ast}$ with the required property. □

**Definition**

**4.**

Given a geodesic metric space X and closed connected pairwise disjoint subsets ${\left\{{\eta}_{j}\right\}}_{j\in J}$ of X, we consider another copy ${X}^{\prime}$ of X. The double $DX$ of X is the union of X and ${X}^{\prime}$ obtained by identifying the corresponding points in each ${\eta}_{j}$ and ${\eta}_{j}^{\prime}$.

**Definition**

**5.**

Let us consider $H>0$, a metric space X, and subsets $Y,Z\subseteq X$. The set ${V}_{H}\left(Y\right):=\{x\in X:\phantom{\rule{0.166667em}{0ex}}d(x,Y)\le H\}$ is called the H-neighborhood of Y in X. The Hausdorff distance of Y to Z is defined by $\mathcal{H}(Y,Z):=inf\{H>0:\phantom{\rule{0.166667em}{0ex}}Y\subseteq {V}_{H}\left(Z\right),\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}Z\subseteq {V}_{H}\left(Y\right)\}$.

**Theorem**

**13.**

([80], Theorem 3.2) Let us consider a geodesic metric space X and closed connected pairwise disjoint subsets ${\left\{{\eta}_{j}\right\}}_{j\in J}$ of X, such that the double $DX$ is a geodesic metric space. Then, the following conditions are equivalent:

- (1)
- $DX$ is hyperbolic.
- (2)
- X is hyperbolic and there exists a constant ${c}_{1}$ such that for every $k,l\in J$ and $a\in {\eta}_{k},b\in {\eta}_{l}$ we have ${d}_{X}(x,{\cup}_{j\in J}{\eta}_{j})\le {c}_{1}$ for every $x\in \left[ab\right]\subset X$.
- (3)
- X is hyperbolic and there exist constants ${c}_{2},\alpha ,\beta $ such that for every $k,l\in J$ and $a\in {\eta}_{k},b\in {\eta}_{l}$ we have ${d}_{X}(x,{\cup}_{j\in J}{\eta}_{j})\le {c}_{2}$ for every x in some $(\alpha ,\beta )$-quasi-geodesic joining a with b in X.

**Theorem**

**14.**

([15], p. 87) For each $\delta \ge 0$, $a\ge 1$ and $b\ge 0$, there exists a constant $H=H(\delta ,a,b)$ with the following property:

Let us consider a δ-hyperbolic geodesic metric space X and an $(a,b)$-quasigeodesic g starting in x and finishing in y. If γ is a geodesic joining x and y, then $\mathcal{H}(g,\gamma )\le H$.

This property is called geodesic stability. It is well-known that hyperbolicity is, in fact, equivalent to geodesic stability [81].

**Theorem**

**15.**

Let ${G}_{1}$ be a connected graph and ${B}_{j}:={B}_{{G}_{1}}({w}_{j},{K}_{j})$ with ${w}_{j}\in V\left({G}_{1}\right)$ and ${K}_{j}\in {\mathbb{Z}}^{+}$, for any $j\in J$, such that ${sup}_{j}{K}_{j}=K<\infty $, ${\overline{B}}_{{j}_{1}}\cap {\overline{B}}_{{j}_{2}}=\varnothing $ if ${j}_{1}\ne {j}_{2}$, and every odd cycle C in ${G}_{1}$ satisfies $C\cap {B}_{j}\ne \varnothing $ for some $j\in J$. Suppose ${\left\{{B}_{j}\right\}}_{j\in J}$ is M-regular for some $M>0$. Let ${G}_{2}$ be a non-trivial bounded connected graph without odd cycles. Then, the following statements are equivalent:

- (1)
- ${G}_{1}\times {G}_{2}$ is hyperbolic.
- (2)
- ${G}_{1}$ is hyperbolic and there exists a constant ${c}_{1}$, such that for every $k,l\in J$ and ${w}_{k}\in {B}_{k}$, ${w}_{l}\in {B}_{l}$ there exists a geodesic $\left[{w}_{k}{w}_{l}\right]$ in ${G}_{1}$ with ${d}_{{G}_{1}}(x,{\cup}_{j\in J}{w}_{j})\le {c}_{1}$ for every $x\in \left[{w}_{k}{w}_{l}\right]$.
- (3)
- ${G}_{1}$ is hyperbolic and there exist constants ${c}_{2},\alpha ,\beta $, such that for every $k,l\in J$ we have ${d}_{{G}_{1}}(x,{\cup}_{j\in J}{w}_{j})\le {c}_{2}$ for every x in some ($\alpha ,\beta $)-quasi-geodesic joining ${w}_{k}$ with ${w}_{l}$ in ${G}_{1}$.

**Proof.**

Items $\left(2\right)$ and $\left(3\right)$ are equivalent by geodesic stability in ${G}_{1}$ (see Theorem 14).

Assume that $\left(2\right)$ holds. By Lemma 7, there exists an $(\alpha ,\beta )$-quasi-isometry $f:{G}_{1}\to {G}_{1}^{\ast}$ with $f\left({w}_{j}\right)={w}_{j}^{\ast}$ for every $j\in J$. Given $k,l\in J,f\left(\left[{w}_{k}{w}_{l}\right]\right)$ is an $(\alpha ,\beta )$-quasi-geodesic with endpoints ${w}_{k}^{\ast}$ and ${w}_{l}^{\ast}$ in ${G}_{1}^{\ast}$. Given $x\in f\left(\left[{w}_{k}{w}_{l}\right]\right)$, we have $x=f\left({x}_{0}\right)$ with ${x}_{0}\in \left[{w}_{k}{w}_{l}\right]$ and ${d}_{{G}_{1}^{\ast}}(x,{\cup}_{j\in J}{w}_{j}^{\ast})\le \alpha {d}_{{G}_{1}}({x}_{0},{\cup}_{j\in J}{w}_{j})+\beta \le \alpha {c}_{1}+\beta $. Taking $X={G}_{1}^{\ast},DX={G}^{\ast}$ and ${\eta}_{j}={w}_{j}^{\ast}$ for every $j\in J$, Theorem 13 gives that ${G}^{\ast}$ is hyperbolic. Now, Lemma 8 gives that ${G}_{1}\times {P}_{2}$ is hyperbolic and we conclude that ${G}_{1}\times {G}_{2}$ is hyperbolic by Lemma 2.

Now, suppose $\left(1\right)$ holds. By Lemma 2, ${G}_{1}\times {P}_{2}$ is hyperbolic and, by Theorem 9, ${G}_{1}$ is hyperbolic. Then, Lemma 8 gives that ${G}^{\ast}$ is hyperbolic and taking $X={G}_{1}^{\ast},DX={G}^{\ast}$ and ${\eta}_{j}={w}_{j}^{\ast}$ for every $j\in J$, by Theorem 13, $\left(2\right)$ holds. □

Theorem 15 and Remark 2 have the following consequence.

**Corollary**

**5.**

Let ${G}_{1}$ be a connected graph and suppose that there are a positive integer K and a vertex $w\in {G}_{1}$, such that every odd cycle in ${G}_{1}$ intersects the open ball $B:={B}_{{G}_{1}}(w,K)$. Let ${G}_{2}$ be a non-trivial bounded connected graph without odd cycles. Then, ${G}_{1}\times {G}_{2}$ is hyperbolic if and only if ${G}_{1}$ is hyperbolic.

## 4. Bounds for the Hyperbolicity Constant of Some Direct Products

The following well-known result will be useful (see a proof, e.g., in ([47], Theorem 8)).

**Theorem**

**16.**

In any connected graph G the inequality $\delta \left(G\right)\le (diamG)/2$ holds.

**Remark**

**3.**

Note that, if ${G}_{1}$ is a bipartite connected graph, then $diam{G}_{1}=diamV\left({G}_{1}\right)$. Furthermore, if ${G}_{2}$ is a bipartite connected graph, then the product ${G}_{1}\times {G}_{2}$ has exactly two connected components, which are denoted by ${({G}_{1}\times {G}_{2})}^{1}$ and ${({G}_{1}\times {G}_{2})}^{2}$, where each one is a bipartite graph and, consequently, $diam{({G}_{1}\times {G}_{2})}^{i}=diamV\left({({G}_{1}\times {G}_{2})}^{i}\right)$ for $i\in \{1,2\}$.

**Remark**

**4.**

Let ${P}_{m},{P}_{n}$ be two path graphs with $m\ge n\ge 2$. The product ${P}_{m}\times {P}_{n}$ has exactly two connected components, which will be denoted by ${({P}_{m}\times {P}_{n})}^{1}$ and ${({P}_{m}\times {P}_{n})}^{2}$. If $u,v\in V\left({({P}_{m}\times {P}_{n})}^{i}\right)$ for $i\in \{1,2\}$, then ${d}_{{({P}_{m}\times {P}_{n})}^{i}}(u,v)=max\left\{{d}_{{P}_{m}}({\pi}_{1}\left(u\right),{\pi}_{1}\left(v\right)),{d}_{{P}_{n}}({\pi}_{2}\left(u\right),{\pi}_{2}\left(v\right))\right\}$ and $diam{({P}_{m}\times {P}_{n})}^{i}=diamV\left({({P}_{m}\times {P}_{n})}^{i}\right)=m-1$.

Furthermore, if ${m}_{1}\le m$ and ${n}_{1}\le n$, then $\delta ({P}_{m}\times {P}_{n})\ge \delta ({P}_{{m}_{1}}\times {P}_{{n}_{1}})$.

**Lemma**

**9.**

Let ${P}_{m},{P}_{n}$ be two path graphs with $m\ge n\ge 3$, and let γ be a geodesic in ${P}_{m}\times {P}_{n}$ such that there are two different vertices $u,v$ in γ, with ${\pi}_{1}\left(u\right)={\pi}_{1}\left(v\right)$. Then, $L\left(\gamma \right)\le n-1$.

**Remark**

**5.**

Note that the conclusion of Lemma 9 does not hold for $n=2$, since we always have $L\left(\gamma \right)\ge 2$.

**Proof.**

Let $\gamma :=\left[xy\right]$, and let $V\left({P}_{m}\right)=\{{v}_{1},\dots ,{v}_{m}\},V\left({P}_{n}\right)=\{{w}_{1},\dots ,{w}_{n}\}$ be the sets of vertices in ${P}_{m},{P}_{n}$, respectively, such that $[{v}_{j},{v}_{j+1}]\in E\left({P}_{m}\right)$ and $[{w}_{i},{w}_{i+1}]\in E\left({P}_{n}\right)$ for $1\le j<m,1\le i<n$. Seeking for a contradiction, assume that $L\left(\gamma \right)>n-1$. Notice that if $\left[uv\right]$ denotes the geodesic contained in $\gamma $ joining u and v, then ${\pi}_{2}$ restricted to $\left[uv\right]$ is injective. Consider two vertices ${u}^{\prime},{v}^{\prime}\in \gamma $ such that $\left[uv\right]\subseteq \left[{u}^{\prime}{v}^{\prime}\right]\subseteq \gamma $, ${\pi}_{2}$ is injective in $\left[{u}^{\prime}{v}^{\prime}\right]$ and ${\pi}_{2}\left({u}^{\prime}\right)={w}_{{i}_{1}}$, ${\pi}_{2}\left({v}^{\prime}\right)={w}_{{i}_{2}}$ with ${i}_{2}-{i}_{1}$ maximal under these conditions. See Figure 4.

Since $L\left(\gamma \right)>n-1\ge {i}_{2}-{i}_{1}$, either there is an edge $[{v}^{\prime},w]$ in ${G}_{1}\times {G}_{2}$ such that $[{v}^{\prime},w]\cap (\gamma \backslash \left[{u}^{\prime}{v}^{\prime}\right])\ne \varnothing $ or there is an edge $[{u}^{\prime},{w}^{\prime}]$ in ${G}_{1}\times {G}_{2}$ such that $[{u}^{\prime},{w}^{\prime}]\cap (\gamma \backslash \left[{u}^{\prime}{v}^{\prime}\right])\ne \varnothing $. In addition, since $L\left(\gamma \right)>n-1$, notice that ${\pi}_{2}$ is not injective in $\gamma $. Moreover, since ${i}_{2}-{i}_{1}$ is maximal, if ${\pi}_{2}\left(w\right)={w}_{{i}_{2}+1}$, then $w\notin \gamma $, and since $L\left(\gamma \right)>n-1$, ${u}^{\prime}\notin \{x,y\}$ and ${\pi}_{2}\left({w}^{\prime}\right)={w}_{{i}_{1}+1}$. Thus, either ${\pi}_{2}\left(w\right)={w}_{{i}_{2}-1}$ or ${\pi}_{2}\left({w}^{\prime}\right)={w}_{{i}_{1}+1}$.

Hence, let us assume that there is an edge $[{v}^{\prime},w]$ in ${G}_{1}\times {G}_{2}$ such that $[{v}^{\prime},w]\cap (\gamma \backslash \left[{u}^{\prime}{v}^{\prime}\right])\ne \varnothing $ with ${\pi}_{2}\left(w\right)={w}_{{i}_{2}-1}$ (otherwise, if there is an edge $[{u}^{\prime},{w}^{\prime}]$ in ${G}_{1}\times {G}_{2}$ such that $[{u}^{\prime},{w}^{\prime}]\cap (\gamma \backslash \left[{u}^{\prime}{v}^{\prime}\right])\ne \varnothing $ with ${\pi}_{2}\left({w}^{\prime}\right)={w}_{{i}_{1}+1}$, the proof is similar).

Suppose ${\pi}_{1}\left({v}^{\prime}\right)={v}_{j}$. Let ${v}^{\prime \prime}$ be the vertex in $\left[{u}^{\prime}{v}^{\prime}\right]$ such that ${\pi}_{2}\left({v}^{\prime \prime}\right)={w}_{{i}_{2}-1}$. Then, by construction of ${G}_{1}\times {G}_{2}$, since ${v}^{\prime \prime}\ne w$, it follows that $\{{\pi}_{1}\left({v}^{\prime \prime}\right),{\pi}_{1}\left(w\right)\}=\{{v}_{j-1},{v}_{j+1}\}$. Therefore, in particular, $1<j<m$.

Assume that ${v}^{\prime \prime}=({v}_{j-1},{w}_{{i}_{2}-1})$ (if ${v}^{\prime \prime}=({v}_{j+1},{w}_{{i}_{2}-1})$, then the argument is similar). Therefore, $w=({v}_{j+1},{w}_{{i}_{2}-1})$.

Consider the geodesic

$$\sigma =[({v}_{j+1},{w}_{{i}_{2}-1}),({v}_{j},{w}_{{i}_{2}-2})]\cup [({v}_{j},{w}_{{i}_{2}-2}),({v}_{j-1},{w}_{{i}_{2}-3})]\cup [({v}_{j-1},{w}_{{i}_{2}-3}),({v}_{j-2},{w}_{{i}_{2}-4})]\cup \dots $$

Since ${\pi}_{1}\left(u\right)={\pi}_{1}\left(v\right)$, there is a vertex $\xi $ of $V({P}_{m}\times {P}_{n})$ in $\left[{u}^{\prime}{v}^{\prime}\right]\cap \sigma $. Let $s\in [{v}^{\prime},w]\cap \gamma $ with $s\ne {v}^{\prime}$. Let ${\sigma}_{0}$ be the geodesic contained in $\sigma $ joining $\xi $ and w. Let ${\gamma}_{0}$ be the geodesic contained in $\gamma $ joining $\xi $ and s. Hence, $L({\sigma}_{0}\cup \left[ws\right])<L\left({\sigma}_{0}\right)+1<L\left({\gamma}_{0}\right)$ leading to contradiction. □

**Theorem**

**17.**

Let ${P}_{m},{P}_{n}$ be two path graphs with $m\ge n\ge 2$. If $n=2$, then $\delta ({P}_{m}\times {P}_{2})=0$. If $n\ge 3$, then

$$min\left\{\frac{m}{2}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{0.166667em}{0ex}}n-1\right\}-1\le \delta ({P}_{m}\times {P}_{n})\le min\left\{\frac{m}{2}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{0.166667em}{0ex}}n\right\}-\frac{1}{2}\phantom{\rule{0.166667em}{0ex}}.$$

Furthermore, if $m\le 2n-3$ and m is odd, then $\delta ({P}_{m}\times {P}_{n})=(m-1)/2$.

**Proof.**

If $m\ge 2$, then ${P}_{m}\times {P}_{2}$ has two connected components isomorphic to ${P}_{m}$, and $\delta ({P}_{m}\times {P}_{2})=0$.

Assume that $n\ge 3$. By symmetry, it suffices to prove the inequalities for $\delta \left({({P}_{m}\times {P}_{n})}^{1}\right)$. Hence, Theorem 16 and Remark 4 give $\delta \left({({P}_{m}\times {P}_{n})}^{1}\right)\le \frac{m-1}{2}$. By Theorem 7, there exists a geodesic triangle $T=\{x,y,z\}\in {\mathbb{T}}_{1}({P}_{m}\times {P}_{n})$ with $p\in {\gamma}_{1}:=\left[xy\right],{\gamma}_{2}:=\left[xz\right],{\gamma}_{3}:=\left[yz\right]$, and $\delta \left({({P}_{m}\times {P}_{n})}^{1}\right)=\delta \left(T\right)={d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,{\gamma}_{2}\cup {\gamma}_{3})$. Let $u\in V\left({\gamma}_{1}\right)$ such that ${d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,u)\le 1/2$.

To prove $\delta \left({({P}_{m}\times {P}_{n})}^{1}\right)\le n-1/2$, we consider two cases.

Assume first that there is at least a vertex $v\in V\left({({P}_{m}\times {P}_{n})}^{1}\right)\cap T\backslash \left\{u\right\}$ such that ${\pi}_{1}\left(u\right)={\pi}_{1}\left(v\right)$. If $v\notin {\gamma}_{1}$, then $v\in {\gamma}_{2}\cup {\gamma}_{3}$ and

$$\delta \left(T\right)={d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,{\gamma}_{2}\cup {\gamma}_{3})\le 1/2+{d}_{{({P}_{m}\times {P}_{n})}^{1}}(u,v)\le n-1/2.$$

If $v\in {\gamma}_{1}$, then $L\left({\gamma}_{1}\right)\le n-1$ by Lemma 9, and

$$\delta \left(T\right)={d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,{\gamma}_{2}\cup {\gamma}_{3})\le {d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,\{x,y\})\le (n-1)/2<n-1/2.$$

Assume now that there is not a vertex $v\in V\left({({P}_{m}\times {P}_{n})}^{1}\right)\cap T\backslash \left\{u\right\}$ such that ${\pi}_{1}\left(u\right)={\pi}_{1}\left(v\right)$. Then, there exist two different vertices ${v}_{1},{v}_{2}$ in $T\backslash \left\{u\right\}$ such that ${d}_{{({P}_{m}\times {P}_{n})}^{1}}(u,{v}_{1})={d}_{{({P}_{m}\times {P}_{n})}^{1}}(u,{v}_{2})=1$, and ${\pi}_{1}\left({v}_{1}\right)={\pi}_{1}\left({v}_{2}\right)$. If ${v}_{1}$ or ${v}_{2}$ belongs to ${\gamma}_{2}\cup {\gamma}_{3}$, then $\delta \left(T\right)={d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,{\gamma}_{2}\cup {\gamma}_{3})\le 3/2\le n-1/2$. Otherwise, ${v}_{1},{v}_{2}\in {\gamma}_{1}\backslash \left\{u\right\}$. Lemma 9 gives $L\left({\gamma}_{1}\right)\le n-1$, and we have that
$$\delta \left(T\right)={d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,{\gamma}_{2}\cup {\gamma}_{3})\le {d}_{{({P}_{m}\times {P}_{n})}^{1}}(p,\{x,y\})\le (n-1)/2<n-1/2.$$

To prove the lower bound, denote the vertices of ${P}_{m}$ and ${P}_{n}$ by $V\left({P}_{m}\right)=\{{w}_{1},{w}_{2},{w}_{3},\dots ,{w}_{m}\}$ and $V\left({P}_{n}\right)=\{{v}_{1},{v}_{2},{v}_{3},\dots ,{v}_{n}\}$, with $[{w}_{i},{w}_{i+1}]\in E\left({P}_{m}\right)$ for $1\le i<m$ and $[{v}_{i},{v}_{i+1}]\in E\left({P}_{n}\right)$ for $1\le i<n$.

Let ${({P}_{m}\times {P}_{n})}^{1}$ be the connected component of ${P}_{m}\times {P}_{n}$ containing $({w}_{1},{v}_{n-1})$.

Assume first that $m\ge 2n-3$. Consider the following curves in ${({P}_{m}\times {P}_{n})}^{1}$:

$$\begin{array}{cc}\hfill {\gamma}_{1}& :=[({w}_{1},{v}_{n-1}),({w}_{2},{v}_{n})]\cup [({w}_{2},{v}_{n}),({w}_{3},{v}_{n-1})]\cup [({w}_{3},{v}_{n-1}),({w}_{4},{v}_{n})]\cup \cdots \cup [({w}_{2n-4},{v}_{n}),({w}_{2n-3},{v}_{n-1})],\hfill \\ \hfill {\gamma}_{2}& :=[({w}_{1},{v}_{n-1}),({w}_{2},{v}_{n-2})]\cup [({w}_{2},{v}_{n-2}),({w}_{3},{v}_{n-3})]\cup \cdots \cup [({w}_{n-2},{v}_{2}),({w}_{n-1},{v}_{1})]\cup [({w}_{n-1},{v}_{1}),({w}_{n},{v}_{2})]\hfill \\ & \cup \cdots \cup [({w}_{2n-4},{v}_{n-2}),({w}_{2n-3},{v}_{n-1})].\hfill \end{array}$$

Corollary 1 gives that ${\gamma}_{1},{\gamma}_{2}$ are geodesics. If B is the geodesic bigon $B=\{{\gamma}_{1},{\gamma}_{2}\}$, then Remark 4 gives that

$$\delta ({P}_{m}\times {P}_{n})\ge \delta \left(B\right)\ge {d}_{{({P}_{m}\times {P}_{n})}^{1}}(({w}_{n-1},{v}_{1}),{\gamma}_{1})=n-2.$$

If m is odd with $m\le 2n-3$, then $n-(m+1)/2\ge 1$ and we can consider the curves in ${({P}_{m}\times {P}_{n})}^{1}$:

$$\begin{array}{cc}\hfill {\gamma}_{1}& :=[({w}_{1},{v}_{n-1}),({w}_{2},{v}_{n})]\cup [({w}_{2},{v}_{n}),({w}_{3},{v}_{n-1})]\cup [({w}_{3},{v}_{n-1}),({w}_{4},{v}_{n})]\cup \cdots \cup [({w}_{m-1},{v}_{n}),({w}_{m},{v}_{n-1})],\hfill \\ \hfill {\gamma}_{2}& :=[({w}_{1},{v}_{n-1}),({w}_{2},{v}_{n-2})]\cup [({w}_{2},{v}_{n-2}),({w}_{3},{v}_{n-3})]\cup \cdots \cup [({w}_{(m+1)/2-1},{v}_{n-(m+1)/2+1}),({w}_{(m+1)/2},{v}_{n-(m+1)/2})]\hfill \\ & \cup [({w}_{(m+1)/2},{v}_{n-(m+1)/2}),({w}_{(m+1)/2+1},{v}_{n-(m+1)/2+1})]\cup \cdots \cup [({w}_{m-1},{v}_{n-2}),({w}_{m},{v}_{n-1})].\hfill \end{array}$$

Corollary 1 gives that ${\gamma}_{1},{\gamma}_{2}$ are geodesics. If $B=\{{\gamma}_{1},{\gamma}_{2}\}$, then Remark 4 gives that

$$\delta ({P}_{m}\times {P}_{n})\ge \delta \left(B\right)\ge {d}_{{({P}_{m}\times {P}_{n})}^{1}}(({w}_{(m+1)/2},{v}_{n-(m+1)/2}),{\gamma}_{1})=(m-1)/2.$$

By Remark 4, if m is even with $m-1\le 2n-3$, then we have that

$$\delta ({P}_{m}\times {P}_{n})\ge \delta ({P}_{m-1}\times {P}_{n})\ge (m-2)/2.$$

Hence,

$$\delta ({P}_{m}\times {P}_{n})\ge \left\{\begin{array}{cc}n-2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}m\ge 2n-3\hfill \\ (m-2)/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}m\le 2n-2\hfill \end{array}\right\}=min\left\{n-2,\frac{m-2}{2}\right\}=min\left\{\frac{m}{2},n-1\right\}-1.$$

Furthermore, if $m\le 2n-3$ and m is odd, then we have proven $(m-1)/2\le \delta ({P}_{m}\times {P}_{n})\le (m-1)/2$. □

**Theorem**

**18.**

If ${G}_{1}$ and ${G}_{2}$ are bipartite connected graphs with ${k}_{1}:=diamV\left({G}_{1}\right)$ and ${k}_{2}:=diamV\left({G}_{2}\right)$ such that ${k}_{1}\ge {k}_{2}\ge 1$, then

$$max\left\{min\left\{\frac{{k}_{1}-1}{2},{k}_{2}-1\right\},\delta \left({G}_{1}\right),\delta \left({G}_{2}\right)\right\}\le \delta ({G}_{1}\times {G}_{2})\le \frac{{k}_{1}}{2}.$$

Furthermore, if ${k}_{1}\le 2{k}_{2}-2$ and ${k}_{1}$ is even, then $\delta ({G}_{1}\times {G}_{2})={k}_{1}/2$.

**Proof.**

Corollary 1, Theorem 16 and Remark 3 give us the upper bound.

To prove the lower bound, we can see that there exist two path graphs ${P}_{{k}_{1}+1},{P}_{{k}_{2}+1}$ which are isometric subgraphs of ${G}_{1}$ and ${G}_{2}$, respectively. It is easy to check that ${P}_{{k}_{1}+1}\times {P}_{{k}_{2}+1}$ is an isometric subgraph of ${G}_{1}\times {G}_{2}$. By Lemma 3 and Theorem 17, we have

$$min\left\{\frac{{k}_{1}-1}{2},{k}_{2}-1\right\}\le \delta ({P}_{{k}_{1}+1}\times {P}_{{k}_{2}+1})\le \delta ({G}_{1}\times {G}_{2}).$$

Using a similar argument as above, we have $\delta ({P}_{2}\times {G}_{2})\le \delta ({G}_{1}\times {G}_{2})$ and $\delta ({G}_{1}\times {P}_{2})\le \delta ({G}_{1}\times {G}_{2})$. Thus, since ${({G}_{1}\times {P}_{2})}^{i}\simeq {G}_{1}$ and ${({P}_{2}\times {G}_{2})}^{i}\simeq {G}_{2}$ for $i\in \{1,2\}$, we obtain the first statement.

Furthermore, if ${k}_{1}+1\le 2({k}_{2}+1)-3$ and ${k}_{1}+1$ is odd, then Theorem 17 gives $\delta ({P}_{{k}_{1}+1}\times {P}_{{k}_{2}+1})={k}_{1}/2$, and we conclude $\delta ({G}_{1}\times {G}_{2})={k}_{1}/2$. □

The following result deals just with odd cycles since otherwise we can apply Theorem 18.

**Theorem**

**19.**

For every odd number $m\ge 3$ and every $n\ge 2$,

$$\delta ({C}_{m}\times {P}_{n})=\left\{\begin{array}{cc}m/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}n-1\le m,\hfill \\ (n-1)/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}m<n-1<2m,\hfill \\ m-1/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}n-1\ge 2m.\hfill \end{array}\right.$$

**Proof.**

Let $V\left({C}_{m}\right)=\{{w}_{1},\dots ,{w}_{m}\}$ and $V\left({P}_{n}\right)=\{{v}_{1},\dots ,{v}_{n}\}$ be the sets of vertices in ${C}_{m}$ and ${P}_{n}$, respectively, such that $[{w}_{1},{w}_{m}],[{w}_{j},{w}_{j+1}]\in E\left({C}_{m}\right)$ and $[{v}_{i},{v}_{i+1}]\in E\left({P}_{n}\right)$ for $j\in \{1,\dots ,m-1\}$, $i\in \{1,\dots ,n-1\}$. Note that for $1\le j,r\le m$ and $1\le i,s\le n,$ we have ${d}_{{C}_{m}\times {P}_{n}}\left(({w}_{j},{v}_{i}),({w}_{r},{v}_{s})\right)=max\left\{\right|i-s|,|j-r\left|\right\}$, if $|i-s|\equiv |j-r|\left(\mathrm{mod}\phantom{\rule{4.pt}{0ex}}2\right)$, or ${d}_{{C}_{m}\times {P}_{n}}\left(({w}_{j},{v}_{i}),({w}_{r},{v}_{s})\right)=max\left\{\right|i-s|,m-|j-r\left|\right\}$, if $|i-s|\neg \equiv |j-r|\left(\mathrm{mod}\phantom{\rule{4.pt}{0ex}}2\right)$. Besides, we have $diam({C}_{m}\times {P}_{n})=diam\left(V({C}_{m}\times {P}_{n})\right)$, i.e., $diam({C}_{m}\times {P}_{n})=m$ if $n-1\le m$, and $diam({C}_{m}\times {P}_{n})=n-1$ if $n-1>m$. Thus, by Theorem 16, we have

$$\delta ({C}_{m}\times {P}_{n})\le \left\{\begin{array}{cc}m/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}n-1\le m,\hfill \\ (n-1)/2,\phantom{\rule{1.em}{0ex}}\hfill & if\phantom{\rule{4pt}{0ex}}n-1>m.\hfill \end{array}\right.$$

Assume first that $n-1\le m$. Note that ${C}_{m}\times {P}_{2}\simeq {C}_{2m}$ and ${C}_{m}\times {P}_{{n}^{\prime}}$ is an isometric subgraph of ${C}_{m}\times {P}_{n}$, if ${n}^{\prime}\le n$. By Lemma 3, we have $\delta ({C}_{m}\times {P}_{n})\ge \delta \left({C}_{2m}\right)=m/2$, and we obtain the result in this case.

Assume now that $n-1>m$. Consider the geodesic triangle T in ${C}_{m}\times {P}_{n}$ defined by the following geodesics
where $({w}_{1},{v}_{n})$(respectively, $({w}_{m},{v}_{n})$) is an endpoint of either ${\gamma}_{2}$ or ${\gamma}_{3}$, depending of the parity of n. Since T is a geodesic triangle in ${C}_{m}\times {P}_{n}$, we have $\delta ({C}_{m}\times {P}_{n})\ge \delta \left(T\right)$. If $n-1<2m$ and M is the midpoint of the geodesic ${\gamma}_{3}$, then $\delta ({C}_{m}\times {P}_{n})\ge \delta \left(T\right)={d}_{{C}_{m}\times {P}_{n}}(M,{\gamma}_{1}\cup {\gamma}_{2})=L\left({\gamma}_{3}\right)/2=(n-1)/2$. Therefore, the result for $m<n-1<2m$ follows.

$$\begin{array}{cc}\hfill {\gamma}_{1}:=& [({w}_{1},{v}_{n}),({w}_{2},{v}_{n-1})]\cup [({w}_{2},{v}_{n-1}),({w}_{3},{v}_{n})]\cup [({w}_{3},{v}_{n}),({w}_{4},{v}_{n-1})]\cup \dots \cup [({w}_{m-1},{v}_{n-1}),({w}_{m},{v}_{n})],\hfill \\ \hfill {\gamma}_{2}:=& [({w}_{(m+1)/2},{v}_{1}),({w}_{(m-1)/2},{v}_{2})]\cup [({w}_{(m-1)/2},{v}_{2}),({w}_{(m-3)/2},{v}_{3})]\cup \dots \cup [({w}_{2},{v}_{(m-1)/2}),({w}_{1},{v}_{(m+1)/2})]\cup \hfill \\ & [({w}_{1},{v}_{(m+1)/2}),({w}_{m},{v}_{(m+3)/2})]\cup [({w}_{m},{v}_{(m+3)/2}),({w}_{1},{v}_{(m+5)/2})]\cup [({w}_{1},{v}_{(m+5)/2}),({w}_{m},{v}_{(m+7)/2})]\cup \dots ,\hfill \\ \hfill {\gamma}_{3}:=& [({w}_{(m+1)/2},{v}_{1}),({w}_{(m+3)/2},{v}_{2})]\cup [({w}_{(m+3)/2},{v}_{2}),({w}_{(m+5)/2},{v}_{3})]\cup \dots \cup [({w}_{m-1},{v}_{(m-1)/2}),({w}_{m},{v}_{(m+1)/2})]\cup \hfill \\ & [({w}_{m},{v}_{(m+1)/2}),({w}_{1},{v}_{(m+3)/2})]\cup [({w}_{1},{v}_{(m+3)/2}),({w}_{m},{v}_{(m+5)/2})]\cup [({w}_{m},{v}_{(m+5)/2}),({w}_{1},{v}_{(m+7)/2})]\cup \dots ,\hfill \end{array}$$

Finally, assume that $n-1\ge 2m$. Let us consider $N\in {\gamma}_{3}$ such that ${d}_{{C}_{m}\times {P}_{n}}\left(N,({w}_{(m+1)/2},{v}_{1})\right)=m-1/2$. Thus, $\delta ({C}_{m}\times {P}_{n})\ge \delta \left(T\right)\ge {d}_{{C}_{m}\times {P}_{n}}(N,{\gamma}_{1}\cup {\gamma}_{2})={d}_{{C}_{m}\times {P}_{n}}\left(N,({w}_{(m+1)/2},{v}_{1})\right)=m-1/2$. To finish the proof, it suffices to prove that $\delta ({C}_{m}\times {P}_{n})\le m-1/2$. Seeking for a contradiction, assume that $\delta ({C}_{m}\times {P}_{n})>m-1/2$. By Theorems 6 and 7, there is a geodesic triangle $\u25b5=\{x,y,z\}\in {\mathbb{T}}_{1}({C}_{m}\times {P}_{n})$ and $p\in \left[xy\right]$ with ${d}_{{C}_{m}\times {P}_{n}}(p,\left[yz\right]\cup \left[zx\right])=\delta ({C}_{m}\times {P}_{n})\ge m-1/4$. Then, $L\left(\left[xy\right]\right)={d}_{{C}_{m}\times {P}_{n}}(x,p)+{d}_{{C}_{m}\times {P}_{n}}(p,y)\ge 2m-1/2$. Let ${V}_{x}$ (respectively, ${V}_{y}$) be the closest vertex to x (respectively, y) in $\left[xy\right]$, and consider a vertex ${V}_{p}$ in $\left[xy\right]$ such that ${d}_{{C}_{m}\times {P}_{n}}\left(p,V({C}_{m}\times {P}_{n})\right)={d}_{{C}_{m}\times {P}_{n}}(p,{V}_{p})$. Note that ${d}_{{C}_{m}\times {P}_{n}}(p,\left[yz\right]\cup \left[zx\right])\ge m-1/4$ implies that ${d}_{{C}_{m}\times {P}_{n}}(p,{V}_{p})\le 1/2$. Since $x,y,z\in J({C}_{m}\times {P}_{n})$, we have ${d}_{{C}_{m}\times {P}_{n}}({V}_{x},{V}_{y})\ge 2m-1>m$ and, consequently, ${\pi}_{2}\left(\left[xy\right]\right)$ is a geodesic in ${P}_{n}$. Since ${\pi}_{2}(\left[yz\right]\cup \left[zx\right])$ is a path in ${P}_{n}$ joining ${\pi}_{2}\left(x\right)$ and ${\pi}_{2}\left(y\right)$, there exists a vertex $(u,v)\in \left[xz\right]\cup \left[zy\right]$ such that ${\pi}_{2}\left({V}_{p}\right)=v$ and $u\ne {\pi}_{1}\left({V}_{p}\right)$. Therefore, ${d}_{{C}_{m}\times {P}_{n}}\left({V}_{p},(u,v)\right)\le m-1$ and, consequently, ${d}_{{C}_{m}\times {P}_{n}}(p,\left[xz\right]\cup \left[zy\right])\le {d}_{{C}_{m}\times {P}_{n}}(p,{V}_{p})+{d}_{{C}_{m}\times {P}_{n}}({V}_{p},\left[xz\right]\cup \left[zy\right])\le 1/2+m-1$, leading to contradiction. □

## 5. Conclusions

In this paper, we characterize in many cases the hyperbolic direct product of graphs. Here, the situation is more complex than with other graph products, partly because the direct product of two bipartite graphs is already disconnected and the formula for the distance in ${G}_{1}\times {G}_{2}$ is more complicated than in the case of other products of graphs. Although in the study of hyperbolicity in a general context the hypothesis on the existence (or non-existence) of odd cycles is artificial, in the study of hyperbolic direct products, it is an essential hypothesis. We have proven that, if ${G}_{1}\times {G}_{2}$ is hyperbolic, then one factor is hyperbolic and the other one is bounded. Besides, we prove that this necessary condition is also sufficient in many cases. If ${G}_{1}$ is a hyperbolic graph and ${G}_{2}$ is a bounded graph, then we prove that ${G}_{1}\times {G}_{2}$ is hyperbolic when ${G}_{2}$ has some odd cycle or ${G}_{1}$ and ${G}_{2}$ do not have odd cycles. Otherwise, the characterization of hyperbolic direct products is a more difficult task. If ${G}_{1}$ has some odd cycle and ${G}_{2}$ does not have odd cycles, we provide sufficient conditions for non-hyperbolicity and hyperbolicity, respectively. Besides, we characterize the hyperbolicity of ${G}_{1}\times {G}_{2}$ under some additional conditions.

A natural open problem is the complete characterization of hyperbolic direct products.

A second open problem is to compute the precise value of the hyperbolicity constant of the graphs appearing in Theorems 17 and 18 with unknown hyperbolicity constant.

Direct product of graphs is a subject closely related to lift of graphs, which have been intensively studied (see, e.g., [82] and the references therein). Another interesting problem is to study the hyperbolicity of lift of graphs. We think that it is possible to obtain some similar results in this context, although the odd cycles may not play an important role in the study of hyperbolic lifts of graphs.

## Author Contributions

The authors contributed equally to this work.

## Funding

This work was supported in part by four grants from Ministerio de Economía y Competititvidad (MTM2012-30719, MTM2013-46374-P, MTM2016-78227-C2-1-P and MTM2015-69323-REDT), Spain.

## Acknowledgments

We thank the referees for their suggestions and helpful remarks.

## Conflicts of Interest

The authors declare no conflict of interest. The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.

## References

- Hammack, R.; Imrich, W.; Klavžar, S. Handbook of Product Graphs, 2rd ed.; Discrete Mathematics and Its Applications Series; CRC Press: Boca Raton, FL, USA, 2011. [Google Scholar]
- Weichsel, P.M. The Kronecker product of graphs. Proc. Am. Math. Soc.
**1962**, 13, 47–52. [Google Scholar] [CrossRef] - Bendall, S.; Hammack, R. Centers of n-fold tensor products of graphs. Discuss. Math. Graph Theory
**2004**, 24, 491–501. [Google Scholar] [CrossRef] - Brešar, B.; Imrich, W.; Klavžar, S.; Zmazek, B. Hypercubes as direct products. SIAM J. Discret. Math.
**2005**, 18, 778–786. [Google Scholar] [CrossRef] - Hammack, R. Minimum cycle bases of direct products of bipartite graphs. Australas. J. Combin.
**2006**, 36, 213–222. [Google Scholar] - Imrich, W.; Rall, D.F. Finite and infinite hypercubes as direct products. Australas. J. Combin.
**2006**, 36, 83–90. [Google Scholar] - Imrich, W.; Stadler, P. A prime factor theorem for a generalized direct product. Discuss. Math. Graph Theory
**2006**, 26, 135–140. [Google Scholar] [CrossRef] - Jha, P.K.; Klavžar, S. Independence in direct-product graphs. Ars Combin.
**1998**, 50, 53–63. [Google Scholar] - Balakrishnan, R.; Paulraja, P. Hamilton cycles in tensor product of graphs. Discret. Math.
**1998**, 186, 1–13. [Google Scholar] [CrossRef] - Kheddouci, H.; Kouider, M. Hamiltonian cycle decomposition of Kronecker product of some cubic graphs by cycles. J. Combin. Math. Combin. Comput.
**2000**, 32, 3–22. [Google Scholar] - Imrich, W.; Klavžar, S. Product Graphs: Structure and Recognition; John Wiley & Sons: New York, NY, USA, 2000. [Google Scholar]
- Zhu, X. A survey on Hedetniemi’s conjecture. Taiwanese J. Math.
**1998**, 2, 1–24. [Google Scholar] [CrossRef] - Imrich, W. Factoring cardinal product graphs in polynomial time. Discr. Math.
**1998**, 192, 119–144. [Google Scholar] [CrossRef] - Alonso, J.; Brady, T.; Cooper, D.; Delzant, T.; Ferlini, V.; Lustig, M.; Mihalik, M.; Shapiro, M.; Short, H. Notes on word hyperbolic groups. In Group Theory from a Geometrical Viewpoint; Ghys, E., Haefliger, A., Verjovsky, A., Eds.; World Scientific: Singapore, 1992. [Google Scholar]
- Ghys, E.; de la Harpe, P. Sur les Groupes Hyperboliques d’après Mikhael Gromov; Progress in Mathematics 83; Birkhäuser Boston Inc.: Boston, MA, USA, 1990. [Google Scholar]
- Gromov, M. Hyperbolic groups. In Essays in Group Theory; Gersten, S.M., Ed.; Mathematical Sciences Research Institute Publications; Springer: Berlin, Germany, 1987; Volume 8, pp. 75–263. [Google Scholar]
- Oshika, K. Discrete Groups; AMS Bookstore: Providence, RI, USA, 2002. [Google Scholar]
- Charney, R. Artin groups of finite type are biautomatic. Math. Ann.
**1992**, 292, 671–683. [Google Scholar] [CrossRef] - Chepoi, V.; Estellon, B. Packing and covering δ-hyperbolic spaces by balls. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques; Springer: Berlin/Heidelberg, Germany, 2007; pp. 59–73. [Google Scholar]
- Eppstein, D. Squarepants in a tree: Sum of subtree clustering and hyperbolic pants decomposition. In Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms (SODA’2007), Barcelona, Spain, 16–19 January 2017; pp. 29–38. [Google Scholar]
- Gavoille, C.; Ly, O. Distance labeling in hyperbolic graphs. In Proceedings of the International Symposium on Algorithms and Computation (ISAAC); Springer: Berlin/Heidelberg, Germany, 2005; pp. 171–179. [Google Scholar]
- Krauthgamer, R.; Lee, J.R. Algorithms on negatively curved spaces. In Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS’06), Berkeley, CA, USA, 21–24 October 2006; pp. 1–11. [Google Scholar]
- Shavitt, Y.; Tankel, T. On Internet embedding in hyperbolic spaces for overlay construction and distance estimation. IEEE/ACM Trans. Netw.
**2008**, 16, 25–36. [Google Scholar] [CrossRef] - Verbeek, K.; Suri, S. Metric embeddings, hyperbolic space and social networks. In Proceedings of the 30th Annual Symposium on Computational Geometry, Kyoto, Japan, 8–11 June 2014; pp. 501–510. [Google Scholar]
- Wu, Y.; Zhang, C. Chordality and hyperbolicity of a graph. Electr. J. Comb.
**2011**, 18, P43. [Google Scholar] - Abu-Ata, M.; Dragan, F.F. Metric tree-like structures in real-life networks: An empirical study. Networks
**2016**, 67, 49–68. [Google Scholar] [CrossRef] - Adcock, A.B.; Sullivan, B.D.; Mahoney, M.W. Tree-like structure in large social and information networks. In Proceedings of the 13th Int Conference Data Mining (ICDM), Dallas, TX, USA, 7–10 December 2013; pp. 1–10. [Google Scholar]
- Krioukov, D.; Papadopoulos, F.; Kitsak, M.; Vahdat, A.; Boguná, M. Hyperbolic geometry of complex networks. Phys. Rev. E
**2010**, 82, 036106. [Google Scholar] [CrossRef] [PubMed] - Montgolfier, F.; Soto, M.; Viennot, L. Treewidth and Hyperbolicity of the Internet. In Proceedings of the 10th IEEE International Symposium on Network Computing and Applications (NCA), Cambridge, MA, USA, 25–27 August 2011; pp. 25–32. [Google Scholar]
- Chepoi, V.; Dragan, F.F.; Vaxès, Y. Core congestion is inherent in hyperbolic networks. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, Barcelona, Spain, 16–19 January 2017; pp. 2264–2279. [Google Scholar]
- Grippo, E.; Jonckheere, E.A. Effective resistance criterion for negative curvature: application to congestion control. In Proceedings of the 2016 IEEE Conference on Control Applications (CCA), Buenos Aires, Argentina, 19–22 September 2016. [Google Scholar]
- Jonckheere, E.A. Contrôle du traffic sur les réseaux à géométrie hyperbolique—Vers une théorie géométrique de la sécurité l’acheminement de l’information. J. Eur. Syst. Autom.
**2002**, 8, 45–60. [Google Scholar] - Jonckheere, E.A.; Lohsoonthorn, P. Geometry of network security. In Proceedings of the 2004 American Control Conference, Boston, MA, USA, 30 June–2 July 2004; pp. 111–151. [Google Scholar]
- Li, S.; Tucci, G.H. Traffic Congestion in Expanders, (p,δ)-Hyperbolic Spaces and Product of Trees. Int. Math.
**2015**, 11, 134–142. [Google Scholar] - Shang, Y. Lack of Gromov-hyperbolicity in colored random networks. Pan-Am. Math. J.
**2011**, 21, 27–36. [Google Scholar] - Shang, Y. Lack of Gromov-hyperbolicity in small-world networks. Cent. Eur. J. Math.
**2012**, 10, 1152–1158. [Google Scholar] [CrossRef] - Shang, Y. Non-hyperbolicity of random graphs with given expected degrees. Stoch. Models
**2013**, 29, 451–462. [Google Scholar] [CrossRef] - Gosak, M.; Markovič, R.; Dolenšek, J.; Slak Rupnik, M.; Marhl, M.; Stožer, A.; Perc, M. Network science of biological systems at different scales: A review. Phys. Life Rev.
**2018**, 24, 118–135. [Google Scholar] [CrossRef] [PubMed] - Tourís, E. Graphs and Gromov hyperbolicity of non-constant negatively curved surfaces. J. Math. Anal. Appl.
**2011**, 380, 865–881. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Sigarreta, J.M. Computing the hyperbolicity constant. Comput. Math. Appl.
**2011**, 62, 4592–4595. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Sigarreta, J.M.; Vilaire, J.-M. Gromov hyperbolic graphs. Discr. Math.
**2013**, 313, 1575–1585. [Google Scholar] [CrossRef] - Brinkmann, G.; Koolen, J.; Moulton, V. On the hyperbolicity of chordal graphs. Ann. Comb.
**2001**, 5, 61–69. [Google Scholar] [CrossRef] - Chepoi, V.; Dragan, F.F.; Estellon, B.; Habib, M.; Vaxes, Y. Notes on diameters, centers, and approximating trees of δ-hyperbolic geodesic spaces and graphs. Electr. Notes Discr. Math.
**2008**, 31, 231–234. [Google Scholar] [CrossRef] - Dragan, F.; Mohammed, A. Slimness of graphs. arXiv, 2017; arXiv:1705.09797. [Google Scholar]
- Martínez-Pérez, A. Chordality properties and hyperbolicity on graphs. Electr. J. Comb.
**2016**, 23, P3.51. [Google Scholar] - Michel, J.; Rodríguez, J.M.; Sigarreta, J.M.; Villeta, M. Gromov hyperbolicity in Cartesian product graphs. Proc. Indian Acad. Sci. Math. Sci.
**2010**, 120, 1–17. [Google Scholar] [CrossRef] - Rodríguez, J.M.; Sigarreta, J.M.; Vilaire, J.-M.; Villeta, M. On the hyperbolicity constant in graphs. Discr. Math.
**2011**, 311, 211–219. [Google Scholar] [CrossRef] - Chen, B.; Yau, S.-T.; Yeh, Y.-N. Graph homotopy and Graham homotopy. Discret. Math.
**2001**, 241, 153–170. [Google Scholar] [CrossRef] - Shang, Y. On the likelihood of forests. Phys. A Stat. Mech. Appl.
**2016**, 456, 157–166. [Google Scholar] [CrossRef] - Fournier, H.; Ismail, A.; Vigneron, A. Computing the Gromov hyperbolicity of a discrete metric space. Inf. Process. Lett.
**2015**, 115, 576–579. [Google Scholar] [CrossRef][Green Version] - Papasoglu, P. An algorithm detecting hyperbolicity. In Geometric and Computational Perspectives on Infinite Groups, DIMACS; Series in Discrete Mathematics and Theoretical Computer Science; AMS: Hong Kong, China, 1996; Volume 25, pp. 193–200. [Google Scholar]
- Chalopin, J.; Chepoi, V.; Papasoglu, P.; Pecatte, T. Cop and robber game and hyperbolicity. SIAM J. Discr. Math.
**2015**, 28, 1987–2007. [Google Scholar] [CrossRef] - Sigarreta, J.M. Hyperbolicity in median graphs. Proc. Indian Acad. Sci. Math. Sci.
**2013**, 123, 455–467. [Google Scholar] [CrossRef] - Carballosa, W.; Rodríguez, J.M.; Sigarreta, J.M. New inequalities on the hyperbolicity constant of line graphs. Ars Combin.
**2016**, 129, 367–386. [Google Scholar] - Carballosa, W.; Rodríguez, J.M.; Sigarreta, J.M.; Villeta, M. Gromov hyperbolicity of line graphs. Electr. J. Comb.
**2011**, 18, P210. [Google Scholar] - Cohen, N.; Coudert, D.; Ducoffe, G.; Lancin, A. Applying clique-decomposition for computing Gromov hyperbolicity. Theor. Comp. Sci.
**2017**. [Google Scholar] [CrossRef] - Pestana, D.; Rodríguez, J.M.; Sigarreta, J.M.; Villeta, M. Gromov hyperbolic cubic graphs. Central Eur. J. Math.
**2012**, 10, 1141–1151. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Sigarreta, J.M.; Tourís, E. Hyperbolicity and complement of graphs. Appl. Math. Lett.
**2011**, 24, 1882–1887. [Google Scholar] [CrossRef] - Hernández, J.C.; Rodríguez, J.M.; Sigarreta, J.M.; Torres-Nuñez, Y.; Villeta, M. Gromov hyperbolicity of regular graphs. Ars Combin.
**2017**, 130, 395–416. [Google Scholar] - Bermudo, S.; Carballosa, W.; Rodríguez, J.M.; Sigarreta, J.M. On the hyperbolicity of edge-chordal and path-chordal graphs. Filomat
**2016**, 30, 2599–2607. [Google Scholar] [CrossRef] - Carballosa, W.; Portilla, A.; Rodríguez, J.M.; Sigarreta, J.M. Planarity and hyperbolicity in graphs. Graphs Combin.
**2015**, 31, 1311–1324. [Google Scholar] [CrossRef] - Portilla, A.; Rodríguez, J.M.; Sigarreta, J.M.; Vilaire, J.-M. Gromov hyperbolic tessellation graphs. Utilitas Math.
**2015**, 97, 193–212. [Google Scholar] - Coudert, D.; Ducoffe, G. On the hyperbolicity of bipartite graphs and intersection graphs. Discr. Appl. Math.
**2016**, 214, 187–195. [Google Scholar] [CrossRef][Green Version] - Calegari, D.; Fujiwara, K. Counting subgraphs in hyperbolic graphs with symmetry. J. Math. Soc. Jpn.
**2015**, 67, 1213–1226. [Google Scholar] [CrossRef][Green Version] - Cantón, A.; Granados, A.; Pestana, D.; Rodríguez, J.M. Gromov hyperbolicity of periodic graphs. Bull. Malays. Math. Sci. Soc.
**2016**, 39, S89–S116. [Google Scholar] [CrossRef] - Cantón, A.; Granados, A.; Pestana, D.; Rodríguez, J.M. Gromov hyperbolicity of periodic planar graphs. Acta Math. Sin.
**2014**, 30, 79–90. [Google Scholar] [CrossRef] - Koolen, J.H.; Moulton, V. Hyperbolic Bridged Graphs. Eur. J. Comb.
**2002**, 23, 683–699. [Google Scholar] [CrossRef] - Rodríguez, J.M. Characterization of Gromov hyperbolic short graphs. Acta Math. Sin.
**2014**, 30, 197–212. [Google Scholar] [CrossRef] - Carballosa, W.; Rodríguez, J.M.; Rosario, O.; Sigarreta, J.M. Gromov hyperbolicity of graph minors. Bull. Iran. Math. Soc.
**2018**, 44, 481–503. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Rosario, O.; Sigarreta, J.M. Small values of the hyperbolicity constant in graphs. Discr. Math.
**2016**, 339, 3073–3084. [Google Scholar] [CrossRef][Green Version] - Granados, A.; Pestana, D.; Portilla, A.; Rodríguez, J.M. Gromov hyperbolicity in Mycielskian Graphs. Symmetry
**2017**, 9, 131. [Google Scholar] [CrossRef] - Hernández, J.C.; Reyes, R.; Rodríguez, J.M.; Sigarreta, J.M. Mathematical properties on the hyperbolicity of interval graphs. Symmetry
**2017**, 9, 255. [Google Scholar] [CrossRef] - Carballosa, W.; de la Cruz, A.; Rodríguez, J.M. Gromov hyperbolicity in the Cartesian sum of graphs. Bull. Iran. Math. Soc.
**2017**, 1–20. [Google Scholar] [CrossRef] - Carballosa, W.; Casablanca, R.M.; de la Cruz, A.; Rodríguez, J.M. Gromov hyperbolicity in strong product graphs. Electr. J. Comb.
**2013**, 20, 2. [Google Scholar] - Carballosa, W.; de la Cruz, A.; Rodríguez, J.M. Gromov hyperbolicity in lexicographic product graphs. arXiv, 2015; arXiv:1506.06034. [Google Scholar]
- Carballosa, W.; Rodríguez, J.M.; Sigarreta, J.M. Hyperbolicity in the corona and join of graphs. Aequ. Math.
**2015**, 89, 1311–1327. [Google Scholar] [CrossRef] - Bowditch, B.H. Notes on Gromov’s hyperbolicity criterion for path-metric spaces. In Group Theory from a Geometrical Viewpoint; Ghys, E., Haefliger, A., Verjovsky, A., Eds.; World Scientific: River Edge, NJ, USA, 1991; pp. 64–167. [Google Scholar]
- Shchur, V. A quantitative version of the Morse lemma and quasi-isometries fixing the ideal boundary. J. Funct. Anal.
**2013**, 264, 815–836. [Google Scholar] [CrossRef] - Rodríguez, J.M.; Tourís, E. Gromov hyperbolicity through decomposition of metric spaces. Acta Math. Hung.
**2004**, 103, 53–84. [Google Scholar] [CrossRef] - Alvarez, V.; Portilla, A.; Rodríguez, J.M.; Tourís, E. Gromov hyperbolicity of Denjoy domains. Geom. Dedic.
**2006**, 121, 221–245. [Google Scholar] [CrossRef][Green Version] - Bonk, M. Quasi-geodesics segments and Gromov hyperbolic spaces. Geom. Dedicata
**1996**, 62, 281–298. [Google Scholar] [CrossRef] - Shang, Y. Random Lifts Of Graphs: Network Robustness Based On The Estrada Index. Appl. Math. E-Notes
**2012**, 12, 53–61. [Google Scholar]

**Figure 1.**If ${G}_{1}$ and ${G}_{2}$ are unbounded, for any odd n, there is a geodesic triangle $T\subset {G}_{1}\times {G}_{2}$ with $\delta \left(T\right)\ge \frac{n-3}{2}$.

**Figure 2.**Two geodesic triangles, ${T}_{1},{T}_{2}$, which are odd cycles and a geodesic g joining them define an even closed path.

**Figure 3.**If ${d}_{{G}_{1}}(m,{T}_{1}\cup g)\le 8\delta $, then $m\in \left[{x}^{\prime}{z}^{\prime}\right]$ and there is a point ${m}^{\prime}\in \left[{x}^{\prime}m\right]\subset \left[{x}^{\prime}{w}_{k}\right]$ such that ${d}_{{G}_{1}}(m,{m}^{\prime})=2(D+8\delta )$.

**Figure 4.**For any geodesic $\gamma $ in ${P}_{m}\times {P}_{n}$ with ${\pi}_{1}\left(u\right)={\pi}_{1}\left(v\right)$ for some different vertices $u,v$ in $\gamma $, then $L\left(\gamma \right)\le n-1$.

© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).