---
title: Consistent Path Systems in Graph Theory
url: https://www.emergentmind.com/topics/consistent-path-systems
type: topic
---

# Consistent Path Systems in Graph Theory

Searching arXiv for recent and foundational papers on consistent path systems and closely related notions.
Consistent path systems are families of designated paths that satisfy a coherence condition under restriction to subpaths or intersections. In the graph-theoretic formulation that has become central to recent work, a connected finite simple graph \(G=(V,E)\) carries a consistent path system \(\mathcal P\) if for every pair \(u,v\in V\) there is exactly one chosen \(uv\)-path \(P_{u,v}\), and the intersection of any two chosen paths is either empty, a single vertex, or itself a chosen path. This axiomatizes the combinatorics of unique geodesics without presupposing edge lengths, and it leads to the realization problem: when does a consistent path system arise from shortest paths under a positive weighting, and when does every consistent path system on a graph admit such a realization [2311.09364].

## 1. Definitions and equivalent formulations

A consistent path system on a graph \(G=(V,E)\) is a collection \(\mathcal P\) of paths such that
\[
\forall u,v\in V,\ \exists!\ P_{u,v}\in\mathcal P \text{ joining }u\text{ and }v,
\]
and for all \(P,Q\in\mathcal P\),
\[
P\cap Q\in \{\emptyset,\text{ a single vertex},\text{ a path in }\mathcal P\}.
\]
This is the precise graph-based formulation of being intersection-closed [2311.09364].

An equivalent formulation emphasizes subpaths: if \(y,z\in P_{u,v}\), then the subpath of \(P_{u,v}\) between \(y\) and \(z\) is exactly \(P_{y,z}\). In this form, consistency says that designated routes are closed under taking internal segments [2007.13782]. The same idea appears in the abstract path-system setting, where a path system \(S=(V,\Pi)\) is consistent when any two paths containing the same ordered pair \(u,v\) have the same continuous \(u\leadsto v\) subpath. In prose, no two paths may intersect, split apart, and then intersect again [1804.09745].

The motivation is inherited from shortest-path geometry. If a path is a unique shortest path, then every continuous subpath is again a unique shortest path. Consistency isolates exactly this closure phenomenon at the combinatorial level. A plausible implication is that consistent path systems should be viewed as abstract geodesic structures: they encode one coherent route between every pair, but not yet the metric that would certify those routes as shortest.

## 2. Metric realization, metrizability, and strong metrizability

A consistent path system \(\mathcal P\) is called metric if there exists a positive edge-length assignment
\[
w:E\to \mathbb R_{>0}
\]
such that every path in \(\mathcal P\) is a \(w\)-shortest path. A graph \(G\) is metrizable if every consistent path system in \(G\) is metric [2311.09364]. In the stronger abstract formulation, a path system \(S=(V,\Pi)\) is strongly metrizable if there exists a directed weighted graph \(G=(V,E,w)\) such that every \(\pi\in\Pi\) is the unique shortest path between its endpoints [1804.09745].

For a fixed consistent path system, realizability can be expressed as a linear feasibility problem. If \(P_{u,v}\) is the chosen \(uv\)-path, then for every alternative \(uv\)-path \(Q\),
\[
\sum_{e\in P_{u,v}} w_e \le \sum_{e\in Q} w_e,
\qquad
w_e>0 \ \forall e\in E.
\]
Non-metrizability is certified when the resulting inequalities force some \(w_e\le 0\), contradicting positivity [2311.09364]. In the strong setting, consistency is necessary but not sufficient: there exist consistent abstract path systems, such as the octahedral example \(\operatorname{OCT}_1\), whose unique-shortest-path inequalities sum to an impossibility [1804.09745].

This distinction between consistency and realizability is quantitatively sharp. The number of consistent path systems on \(n\) vertices is
\[
n^{\frac{n^2}{2}(1-o(1))},
\]
whereas the number of consistent path systems realizable as the unique geodesics with respect to some metric is only
\[
2^{\Theta(n^2)}.
\]
Thus abstract consistency is much less restrictive than unique-geodesic realizability [2508.21379].

## 3. Structural theory on graphs

Recent structural results show that graph metrizability is extremely rigid. A major inheritance property is closure under topological minors: if a graph contains a subdivision of a non-metrizable graph, then it is itself non-metrizable [2311.09364]. This makes forbidden subdivisions central to the theory.

A key structural device is the compliant edge. A branch vertex is a vertex of degree at least \(3\). A flat path is a path of length at least \(2\) whose internal vertices all have degree \(2\). An edge \(xy\) is compliant if \(x\) and \(y\) are also connected by a flat path. Such edges are metrically inessential:
\[
G \text{ is metrizable } \iff G-e \text{ is metrizable}
\]
for any compliant edge \(e\) [2311.09364].

After deleting compliant edges, large \(2\)-connected metrizable graphs have a short list of possible cores. If \(G\) is \(2\)-connected, metrizable, \(|V(G)|\ge 11\), and has no compliant edges, then
\[
G=K_{2,n}\text{ for some }n\ge 4,
\]
or \(G\) is a subdivision of
\[
K_{2,3},\ K_4,\ W_4,\ W_4'.
\]
A strong corollary is that every \(2\)-connected metrizable graph with at least \(11\) vertices has a vertex \(x\) such that \(G-x\) is outerplanar; this is the “outerplanar plus one vertex” phenomenon [2311.09364].

These results are asymptotic rather than converse characterizations. Many subdivisions of \(K_4\), \(K_{2,3}\), \(W_4\), and \(W_4'\) are still non-metrizable, and the complete classification of metrizable theta graphs \(\Theta_{a,b,c}\) remains open [2311.09364]. At the same time, there are infinite positive families: cycles are strictly metrizable, and every outerplanar graph is strictly metrizable [2007.13782].

## 4. Forbidden patterns, topology, and the abstract theory

The abstract theory of path systems strengthens the graph-based picture by treating paths as node sequences independent of any ambient graph. In that setting, the complete directed characterization is:
\[
S \text{ is strongly metrizable } \iff S \text{ is consistent and there is no polyhedral path system }T\text{ with }T\to S.
\]
Here \(T\to S\) denotes a path-system homomorphism preserving subpath structure and branching or merging structure [1804.09745].

The forbidden objects are polyhedral path systems. They admit two complementary descriptions. Combinatorially, they are pairs of path systems that are flat at every node, with local structure decomposing into pinwheels. Topologically, they correspond to balanced two-colored cell decompositions of compact orientable \(2\)-manifolds; in the undirected case, non-orientable obstructions also appear [1804.09745]. This yields a topological obstruction theory for unique-shortest-path realizability.

The significance of this characterization is that pairwise consistency is only the first obstruction. Consistency forbids the visible defect that two paths intersect, diverge, and later rejoin. Polyhedral obstructions capture higher-order global incompatibilities among many paths. This suggests that the geometry of unique shortest paths is governed not only by local subpath coherence but also by global surface-like cancellation patterns.

## 5. Enumeration, approximation, and algorithmic questions

Consistent path systems are abundant. The asymptotic count
\[
\#\{\text{consistent path systems on }n\text{ vertices}\}
=
n^{\frac{n^2}{2}(1-o(1))}
\]
is obtained by constructing many diameter-\(2\) neighborly systems, while the strictly metric count remains only exponential in \(n^2\) [2508.21379]. The same work connects these counts to bounds on the number of faces of the metric cone and to the enumeration of maximum VC-classes [2508.21379].

Approximate realizability has also been formalized. A path system \(\mathscr P\) is \(\alpha\)-metric if there exists a metric \(\rho\) on the vertex set such that for every designated path \((x_0,\dots,x_k)\in\mathscr P\),
\[
\sum_{i=1}^{k}\rho(x_{i-1},x_i)\le \alpha\,\rho(x_0,x_k).
\]
The infimum of such \(\alpha\) is denoted \(\Delta(\mathscr P)\). There are infinitely many \(n\)-point consistent path systems with
\[
\Delta(\mathscr P_n)\ge n^{\frac12-o(1)},
\]
showing that consistency alone can be very far from metric geodesicity. At the same time, \(\Delta(\mathscr P)\) is an algebraic number and can be computed in polynomial time [2601.21982].

Algorithmically, the realization problem has several distinct forms. For graph-based metrizability, feasibility of the shortest-path inequality system gives an LP-style criterion [2311.09364]. For strong metrizability of abstract path systems, there is an LP-based recognition method with \(m|\Pi|\) variables and \(n|\Pi|+m|\Pi|+m\) constraints, together with a dual obstruction theory based on multiflow rigidity [1804.09745]. A plausible implication is that computation is substantially better understood than structural classification in the converse direction.

## 6. Related notions and terminological extensions

The phrase “consistent path system” is not uniform across adjacent literatures. In computational geometry, two labelled point sets admit compatible geometric paths when the same permutation of labels yields a noncrossing straight-line path in both sets. Deciding existence in general is NP-complete, but polynomial-time algorithms are known in three restricted regimes: \(O(n)\) time for points in convex position, \(O(n^2)\) time for two simple polygons with the paths constrained to stay inside the polygons, and \(O(n^2\log n)\) time for compatible monotone paths on general point sets [2004.07996]. This is a consistency notion across embeddings rather than across subpaths.

In oriented-graph decomposition, “consistent” denotes something else entirely: a digraph \(D\) is consistent when its path number equals the degree-imbalance lower bound
\[
\operatorname{pn}(D)=\operatorname{ex}(D)
=
\frac12\sum_{v\in V(D)}|d^+(v)-d^-(v)|.
\]
There the problem is not shortest-path realizability but decomposition of directed edges into as few paths as possible. For fixed odd \(d\), a uniformly random \(n\)-vertex \(d\)-regular graph is strongly consistent with probability tending to \(1\) as \(n\to\infty\), and every odd-\(d\) regular graph with girth at least \(200d^2\) is strongly consistent [2411.06982].

These extensions do not preserve the graph-geodesic definition, but they show that “consistency” is repeatedly used to express a global coherence condition on families of paths. In the graph-metric literature, that coherence is subpath closure and metric realizability; in geometric compatibility it is a common noncrossing embedding; in oriented decompositions it is attainment of an optimal degree-based lower bound. This suggests that the modern theory of consistent path systems is best understood as a cluster of closely related coherence notions, with the graph-theoretic geodesic formulation as the most developed structural core [2311.09364].

Source: https://www.emergentmind.com/topics/consistent-path-systems