Hyperbolicity of direct products of graphs
Carballosa, de la Cruz, Martínez-Pérez, Rodríguez · math.MG · 2016-11-14 · 原文
If X is a geodesic metric space and x_1,x_2,x_3\in X, a {\it geodesic triangle} T=\{x_1,x_2,x_3\} is the union of the three geodesics [x_1x_2], [x_2x_3] and [x_3x_1] in X. The space X is δ-\emph{hyperbolic} (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of the two other sides, for every geodesic triangle T in X. If X is hyperbolic, we denote by δ(X) the sharp hyperbolicity constant of X, i.e., δ(X)=\inf\{δ\ge 0: \, X \, \text{ is δ-hyperbolic}\,\}. Some previous works characterize the hyperbolic product graphs (for the Cartesian, strong, join, corona and lexicographic products) in terms of properties of the factor graphs. However, the problem with the direct product is more complicated. In this paper, we prove that if the direct product G_1\times G_2 is hyperbolic, then one factor is hyperbolic and the other one is bounded. Also, we prove that this necessary condition is, in fact, a characterization in many cases. In other cases, we find characterizations which are not so simple. Furthermore, we obtain formulae or good bounds for the hyperbolicity constant of the direct product of some important graphs.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
If X is a geodesic metric space and x_1,x_2,x_3\in X, a {\it geodesic triangle} T=\{x_1,x_2,x_3\} is the union of the three geodesics [x_1x_2], [x_2x_3] and [x_3x_1] in X.
The space X is δ-\emph{hyperbolic} (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of the two other sides, for every geodesic triangle T in X.
2. 领域脉络
本文类目：math.MG，属于其所在研究脉络的最新进展。
3. 机制拆解
摘要未展开方法细节——精读时重点看方法/模型部分。
4. 证据与数字
If X is hyperbolic, we denote by δ(X) the sharp hyperbolicity constant of X, i.e., δ(X)=\inf\{δ\ge 0: \, X \, \text{ is δ-hyperbolic}\,\}. Some previous works characterize the hyperbolic product graphs (for the Cartesian, strong, join, corona and lexicographic products) in terms of properties of the factor graphs.
In this paper, we prove that if the direct product G_1\times G_2 is hyperbolic, then one factor is hyperbolic and the other one is bounded.
5. 反例与边界
However, the problem with the direct product is more complicated.
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。