Path¶
Core Idea¶
A path is an ordered, adjacency-honouring sequence of edges connecting one node to another through a relational substrate. It is a committed realization of one connection — a concrete route, as opposed to the network's manifold of what could connect.
How would you explain it like I'm…
The Trail You Walked
One Real Route
Committed Traversal
Broad Use¶
- Graph theory: paths, walks, and geodesics, with shortest-path algorithms foundational.
- Computing and networking: routing paths through the internet, call stacks, execution traces, query plans.
- Logistics: every dispatched route through a road or distribution network, optimised against cost and capacity.
- Epidemiology: chains of transmission through the contact network, reconstructed by contact tracing.
- Law: the appellate path through a court hierarchy; the chain from arrest to conviction.
- Causal reasoning: a directed cause-to-effect path through a structural graph, blocked to compute interventions.
- Search and reasoning: a solution path from initial state to goal in a game tree, proof search, or planner.
Clarity¶
It separates the possibility-structure (network) from the selected trajectory (path), keeping distinct three questions — does a route exist, can the system support routes, which route was chosen — each with a different remedy.
Manages Complexity¶
A path is a one-dimensional projection of a high-dimensional network, so reasoning about the selected trajectory exposes only the edges traversed, never the exponential space of all routes.
Abstract Reasoning¶
It licenses reasoning about reachability, cost, the bottleneck (weakest link), alternative routing under a cut, and path-dependence — outcomes that hinge on which route was taken, not just the endpoints.
Knowledge Transfer¶
- Software: contact-tracing paths transfer to defect-tracing on the version graph — instrument high-traversal edges, sever risky ones.
- Audit: causal-path analysis transfers to audit-trail design, tracing a consequential output back to its responsible step.
- Organizations: routing's lesson that each node compute its next hop locally transfers to robust distributed responsibility.
Example¶
A package routes factory → port → ship → port → customs → distribution centre → van, each node a waypoint where it can be lost; the interventions are identical to packet routing — find the bottleneck edge, precompute an edge-disjoint alternative.
Relationships to Other Abstractions¶
Current abstraction Path Prime
Parents (1) — more general patterns this builds on
-
Path presupposes Network Prime
'A path is one COMMITTED realization of a connection through the underlying relational substrate (a network)...
Children (5) — more specific cases that build on this
-
Differentiable curve Domain-specific is a kind of Path
The proposed strict upward parent is
prime:path. -
External Ray Domain-specific is a kind of Path
Path is the proposed immediate parent.
-
Geodesic Domain-specific is a kind of Path
Geodesic is proposed as a strict specialization of Path: it is a traversable curve or route whose admissible progression respects a geometric substrate, with the added invariant of intrinsic straightness.
-
Process function Domain-specific is a kind of Path
The proposed strict upward parent is
prime:path. -
Line of Operation Domain-specific is part of Path
A traversable spatial or force-orientation path is the geometric constituent that makes a line of operation a line.
Hierarchy path (1) — routes to 1 parentless root
- Path → Network → Reservoir-Flux Network → Conservation Laws → Invariance
Not to Be Confused With¶
- Path is not a Network because a network is the manifold of what could connect, whereas a path is one committed realization of a connection — capacity fixes versus routing fixes.
- Path is not a Markov Process because a Markov process is a stochastic generative rule for next states, whereas a path is a single realized ordered sequence carrying no transition law.
- Path is not Pareto Efficiency because a path need not be shortest or best — "a route exists" and "the optimal route" are different questions.