← Back to arXiv
arXivCombinatoricsarXiv:2609.12125

Curvature-Distortion Numbers of Graphs: Nonnegative Lin--Lu--Yau Curvature

The paper introduces a new way to measure how "curved" a network (graph) is, and how much you need to adjust the weights on its edges to make that curvature everywhere nonnegative. The specific notion of curvature used, called Lin-Lu-Yau curvature, comes from comparing how neighborhoods of connected nodes overlap: positive curvature means neighbors tend to share many common connections, while negative curvature means they do not. The "curvature-distortion number" captures the smallest multiplicative factor by which edge weights need to spread apart to achieve nonnegative curvature throughout the graph. A distortion number of 1 means no adjustment is needed; larger values mean the network's structure resists being made nonnegatively curved without significant reweighting.

For trees, which are graphs with no cycles, the paper derives a clean mathematical description of this distortion number and shows it has a unique best solution (up to scaling). The key result is that the distortion number directly limits how topologically complicated the tree can be: specifically, it places an upper bound on how many branching points the tree contains. This is a striking connection because it ties together a geometric quantity (how hard it is to make curvature nonnegative) with a purely structural feature (how many times the tree splits into multiple branches). The paper also fully characterizes which infinite trees have finite distortion, finding that only two types qualify: the infinite path going in both directions, and trees formed by taking a finite tree and attaching a single infinite path.

For general graphs beyond trees, the paper focuses on the parts of the graph that contain no short cycles (of length 3, 4, or 5), since short cycles tend to produce positive curvature on their own. These tree-like portions of the graph inherit the same distortion bounds and topological restrictions as pure trees. This framework leads to complete classifications of which graphs with no short cycles at all (called high-girth graphs) can achieve nonnegative curvature with finite distortion. Overall, the work establishes a precise quantitative dictionary between how difficult it is to geometrically "fix" a graph's curvature and how complicated its branching structure is allowed to be.

Read original →