---
title: Joint-State Graph (JSG) for Coordination
url: https://www.emergentmind.com/topics/joint-state-graph-jsg
type: topic
---

# Joint-State Graph (JSG) for Coordination

Searching arXiv for the specified paper and related "Joint-State Graph" usages to ground the article in current literature.
Joint-State Graph (JSG) denotes a reformulation in which a multi-entity coordination or inference problem is lifted into a state space over tuples of local states, so that coupled decisions can be handled through graph-based optimization or message passing. In the multi-agent coordination literature, JSG is introduced as a planning problem in the joint state space, with joint states given by Cartesian products of agent locations and edge weights that implicitly encode support actions, thereby reducing a coordination problem with state-dependent edge costs to a standard single-agent shortest-path problem on the lifted graph [2303.11457]. In a distinct usage in CSS syndrome decoding, the term refers to a binary factor-graph representation in which paired local variables \((x_i^X,x_i^Z)\) are coupled by a joint prior, and sum-product on that graph is termed joint belief propagation; in that setting, the “joint-state” construction preserves local channel correlation and is shown to be algebraically identical to four-state BP after relabeling and marginalization [2605.05132]. The term therefore names a general representational strategy rather than a single universally standardized object.

## 1. Definition and scope

In the graph-coordination setting of “Team Coordination on Graphs with State-Dependent Edge Cost,” the base environment graph is \(G=(V,E)\), agents occupy vertices of \(V\), and a joint state is an \(m\)-tuple
\[
s=(s_1,s_2,\dots,s_m)\in S_{\mathrm{JSG}}:=V^m.
\]
For \(m=2\), the notation \(s_{ij}\) denotes \((s_1=i,s_2=j)\), and the joint-state graph is \(J=(S_{\mathrm{JSG}},L)\), where \(L\) contains allowed tuple-to-tuple transitions and each such transition has a scalar cost \(c_{\mathrm{JSG}}(s,s')\) [2303.11457]. This construction is expressly motivated by the addition of a “support” action, under which one agent can reduce the cost for its teammate to traverse some edges that have higher costs otherwise; because of that feature, the traversal problem is no longer a standard multi-agent path planning problem [2303.11457].

The later extension on Team Coordination on Graphs with Risky Edges (TCGRE) retains the same core idea but develops it over a simplified graph \(G_s=(V_s,E_s)\) whose vertices \(V_s\) are “special” nodes, including every agent start/goal, every endpoint of a risky edge, and every support node of a risky edge [2509.07234]. There, a joint state is an \(N\)-tuple of robot locations on \(V_s\),
\[
JS=(\ell_1,\dots,\ell_N),\qquad \ell_n\in V_s,
\]
with node set \(V_{\mathrm{JSG}}=V_s^N\) [2509.07234].

In CSS syndrome decoding, the terminology is structurally different. The construction consists of two binary Tanner graphs coupled by a local joint prior at each qubit. Each qubit \(i\) carries two binary random variables, \(x_i^X\in\{0,1\}\) and \(x_i^Z\in\{0,1\}\), and the local factor
\[
\psi_i(x_i^Z,x_i^X)=\Pr(X\text{-error}=x_i^X,\; Z\text{-error}=x_i^Z)
\]
connects the two components [2605.05132]. The paper calls the resulting factorization and its sum-product algorithm “joint BP,” and the supporting graph is described there as a Joint-State Graph [2605.05132].

A plausible implication is that “JSG” is best understood as a family of lifted graphical representations whose common purpose is to make cross-component dependence explicit, either for shortest-path search or for probabilistic inference.

## 2. Joint-state construction for team coordination

The 2023 formulation begins with a directed environment graph \(G=(V,E)\) in which each edge \(e=(i\to j)\in E\) has two costs: a nominal cost \(\tilde c_{i,j}\) and a reduced cost \(c_{i,j}\) if that edge is supported. For each risk-edge \((i\to j)\), there is also a support-node set \(Z_{i,j}\subseteq V\) [2303.11457]. The JSG converts this team-coordination problem into a shortest-path problem on joint states.

For \(m=2\), an edge from \(s=(i,j)\) to \(s'=(w,k)\) exists exactly when each agent either stays in place or moves along an original edge, namely when \((i\to w)\in E\cup\{i\to i\}\) and \((j\to k)\in E\cup\{j\to j\}\) [2303.11457]. The edge cost is then defined casewise. If agent 1 stays and agent 2 moves, then support is possible when the stationary location of agent 1 lies in the support-node set for the moving edge. In that case,
\[
c_{\mathrm{JSG}}((i,j),(i,k))=\min\{\tilde c_{j,k},\, c_{j,k}+c_s\},
\]
and otherwise \(c_{\mathrm{JSG}}((i,j),(i,k))=\tilde c_{j,k}\) [2303.11457]. The symmetric rule holds when agent 2 stays and agent 1 moves. If both move, each pays nominal cost independent of support, so
\[
c_{\mathrm{JSG}}((i,j),(w,k))=\tilde c_{i,w}+\tilde c_{j,k},
\]
and if both stay, the cost is zero [2303.11457].

For general \(m\), an edge from \(s=(s_1,\dots,s_m)\) to \(s'=(s'_1,\dots,s'_m)\) exists if each agent either stays or moves along \(E\), and the cost is the sum over agents of either nominal cost or supported-cost plus support-penalty when exactly one agent is moving on an edge for which another agent is stationed in a support set [2303.11457].

The 2025 extension generalizes the cost model by computing support assignments through a maximum-weight bipartite matching. If \(X\) is the set of agents traversing risky super-edges and \(Y\) is the set of agents located at support nodes, then a complete bipartite graph \(B=(X\cup Y,X\times Y)\) is formed, with edge weight
\[
\Delta_{i\to j}=c^0_{\ell_i,\ell'_i}-c^s_{\ell_i,\ell'_i}
\]
whenever agent \(i\) moves on a risky super-edge and agent \(j\) stands on its support node [2509.07234]. The joint-edge cost is
\[
c(JS\to JS')=\sum_{n=1}^N c^0_{\ell_n,\ell'_n}-\maxMatchingWeight(B),
\]
so the system begins from the uncoordinated cost sum and subtracts the maximum total savings achievable by pairing risky-edge traversals with available support nodes [2509.07234].

This evolution from explicit case distinctions to a matching-based cost function suggests a shift from pairwise support encoding toward a more systematic combinatorial treatment of simultaneous support opportunities.

## 3. Algorithms and planning workflow

The static JSG workflow in the 2023 account has two stages. First, the full joint-state graph is constructed by enumerating all tuples in \(V^m\), checking whether each candidate successor differs by valid local moves or stays, and assigning edge weights according to whether an agent moves alone with support, moves without support, both move, or stays [2303.11457]. Second, a standard shortest-path algorithm such as Dijkstra or A* is run on the resulting graph from \(s_{\text{start}}\) to \(s_{\text{goal}}\), yielding a joint-state path from which individual trajectories can be extracted [2303.11457].

The 2025 extension gives a full-expansion algorithm over the simplified graph \(G_s\). It enumerates all \(N\)-tuples in \(V_s^N\); for each joint state and each choice of \(N\) super-edges in \(E_s\), it constructs the successor tuple, computes the uncoordinated sum \(U\), builds the bipartite graph between agents moving on risky edges and agents on support nodes, solves maximum-weight matching by Hungarian in \(O(N^3)\), and assigns edge weight \(U-\Delta^*\) [2509.07234]. The resulting graph again supports shortest-path search by Dijkstra.

The same paper then proposes Dynamic-HJSG, which interleaves graph search with on-the-fly node and edge generation rather than building \(V_{\mathrm{JSG}}\) in advance. Its key data structures are a min-priority queue of discovered joint states keyed by \(g(JS)\), a hash map \(dist[JS]\), \(prev[JS]\), and a visited set [2509.07234]. Successor generation is pruned by only allowing up to two agents to move at once, and each edge cost is computed by the same matching-based routine [2509.07234].

The following table organizes the principal planning variants stated in the sources.

| Variant | Core construction | Search mode |
|---|---|---|
| JSG | Full joint-state graph over \(V^m\) or \(V_s^N\) | Dijkstra or A* [2303.11457], Dijkstra [2509.07234] |
| CJSG | Smaller graph over “critical” joint-states | Two-level planning with high-level Dijkstra [2303.11457] |
| Dynamic-HJSG | On-the-fly construction with \(\leq 2\) moving agents per step | Priority-queue search on discovered states [2509.07234] |

Within this family, the algorithmic role of JSG is stable: it serves as the substrate on which coordination is optimized by graph search. What changes across variants is whether the graph is fully materialized, reduced to critical states, or constructed lazily.

## 4. Complexity and scalability

The principal drawback of the naïve JSG approach is the curse of dimensionality in both the number of agents and the size of the graph [2303.11457]. In the 2023 formulation, the number of nodes is \(|S|=|V|^m\). Each agent has at most \((\deg_V+1)\) move-or-stay choices, so the total outgoing edges per joint state are at most \((\deg_V+1)^m\), giving
\[
|L|=O(|V|^m(\deg_V+1)^m)=O((|V|\cdot \deg_V)^m).
\]
In the dense worst case \(\deg_V=|V|\), one obtains \(|L|=O(|V|^{2m})\) [2303.11457]. Space to store the JSG is \(O(|V|^m+|V|^{2m})\), time to build it is approximately \(O(|V|^{2m}\cdot m)\), and Dijkstra search takes
\[
O(|L|+|S|\log|S|)=O(|V|^{2m}+|V|^m\cdot m\log|V|).
\]
For \(m=2\), this becomes \(|S|=|V|^2\), \(|L|=O(|V|^4)\), so a direct JSG method is \(O(|V|^4)\) [2303.11457].

The 2025 paper restates the static complexity in terms of the simplified graph size. Let \(|V_s|=M\), \(|E_s|=E\), and \(d\) be the maximum degree in \(G_s\). Then static JSG has \(M^N\) joint states and at most \(M^N(d+1)^N\) edges, with build time \(O(N^3\cdot M^N\cdot (d+1)^N)\) due to matchings, plus Dijkstra time \(O(M^N(d+1)^N\cdot \log(M^N))\); the method is therefore exponential in \(N\) and in \(M\) [2509.07234].

Dynamic-HJSG seeks to reduce effective complexity by expanding only discovered states and pruning transitions to those in which at most two agents move. If \(P\) is the number of joint states actually expanded, then each state has \(O(N^2d^2)\) neighbors, total edges examined are \(Q=O(P\cdot N^2d^2)\), each edge cost via Hungarian is \(O(N^3)\), and each expansion performs extract-min or update in \(O(\log P)\). The overall time is
\[
O(Q\cdot (N^3+\log P))=O(P\cdot N^2d^2\cdot (N^3+\log P)),
\]
with space \(O(P)\) [2509.07234].

These bounds establish a consistent theme: JSG provides exact coordination at the price of state-space explosion, and subsequent work concentrates on preserving optimality while avoiding full enumeration.

## 5. Hierarchical and dynamic reductions

The 2023 paper introduces a hierarchical decomposition called the Critical Joint-State Graph (CJSG) in order to avoid the \(|V|^{2m}\) blow-up [2303.11457]. The idea is to construct a smaller graph only over “critical” joint states at which a support interaction can begin or end. Between such states, each agent travels decoupled along its own shortest path [2303.11457].

The procedure has two levels. First, one identifies all risk edges \((i\to j)\) with \(Z_{i,j}\neq\emptyset\). For each such edge and each support node \(k\in Z_{i,j}\), two critical joint states are introduced, \(s=(k,i)\) and \(s'=(k,j)\), together with the start state and goal state [2303.11457]. Second, these critical states are fully connected. The cost of an edge \(h\) from \(s=(i,j)\) to \(s'=(w,k)\) is
\[
W(s,s')=\min\{\text{cost\_with\_support\_if\_applicable},\ \text{cost\_without\_support}\},
\]
where
\[
\text{cost\_without\_support}=\psi_{i\to w}+\psi_{j\to k},
\]
and \(\psi_{a\to b}\) is the single-agent shortest-path cost on \(G\) from \(a\) to \(b\) with no support [2303.11457]. If the transition corresponds exactly to one risk edge having support, then
\[
\text{cost\_with\_support}=c_{j,k}+c_s,
\]
and \(W\) is the minimum of the supported and unsupported costs [2303.11457]. By Lemma III.1, this preserves optimality while producing a graph whose size \(|M|\) can be much smaller than \(|V|^2\) when the number of risk edges and support nodes is small [2303.11457].

The 2025 work moves from hierarchical reduction to dynamic construction. Dynamic-HJSG does not precompute the entire graph; it constructs successors on demand and uses the fact that coordination is intrinsically pairwise to justify restricting each joint transition to at most two moving agents [2509.07234]. Lemma 1 states that this restriction does not lose any optimal coordination paths, since any multi-agent simultaneous move can be broken into a sequence of at most-2 moves without increasing total cost [2509.07234].

A plausible implication is that CJSG and Dynamic-HJSG target complementary axes of the same scalability problem. CJSG compresses the graph by exploiting sparsity in support opportunities, while Dynamic-HJSG compresses search effort by exploiting pairwise structure and lazy expansion.

## 6. Worked examples and domain-specific reinterpretation

The 2023 paper provides a concrete 3-node, 2-agent example. Let
\[
V=\{1,2,3\},\qquad E=\{(1\to 2),(2\to 3),(3\to 2),(2\to 1)\},
\]
with both agents starting at 1 and both targeting 2 [2303.11457]. The edge \((1\to 2)\) is risky with nominal cost \(\tilde c_{1,2}=5\), reduced cost \(c_{1,2}=2\), support penalty \(c_s=1\), and support-node set \(Z_{1,2}=\{3\}\) [2303.11457]. The direct JSG contains 9 states. Dijkstra on those states finds the three-step path
\[
U^*=(1,1)\to(3,1)\to(3,2)\to(2,2)
\]
with total cost \(1+3+1=5\), whereas the direct simultaneous jump \((1,1)\to(2,2)\) costs \(5+5=10\) [2303.11457]. The corresponding CJSG contains only four critical states, \((1,1)\), \((2,2)\), \((3,1)\), and \((3,2)\), and yields the same optimal path and cost [2303.11457].

The 2025 paper gives a 4-node toy environment with nodes \(\{A,B,C,D\}\), risky edge \(A\!-\!B\) of cost 5 supported by node \(C\), edges \(B\!-\!C\) and \(C\!-\!D\) of cost 1, and \(A\!-\!D\) of cost 7; the reduced cost on \(A\!-\!B\) with support is 2 [2509.07234]. With two agents, \(JS\in V_s^2\) gives 16 possible joint states. From \(JS=(A,C)\) to \((B,C)\), agent 1 traverses the risky edge and agent 2 remains at the support node, so the bipartite matching yields \(\Delta^*=3\) and cost \(5-3=2\), matching the reduced-cost traversal [2509.07234].

In the CSS-decoding setting, the worked structure is not a shortest-path example but a factorization of the posterior:
\[
P(\mathbf{x}^X,\mathbf{x}^Z\mid \mathbf{s}^X,\mathbf{s}^Z)
=
\frac1Z
\prod_{j=1}^n \psi_j(x_j^Z,x_j^X)
\prod_{i=1}^m \delta\!\Bigl(\sum_{j:H^Z_{i,j}=1} x_j^X=s_i^X\Bigr)
\prod_{i=1}^m \delta\!\Bigl(\sum_{j:H^X_{i,j}=1} x_j^Z=s_i^Z\Bigr),
\]
with all sums modulo 2 [2605.05132]. Variable-to-factor, check-to-variable, and local-prior-to-variable message updates then follow the standard sum-product rules on this graph [2605.05132]. The joint belief at qubit \(j\) is
\[
b_j(x^Z,x^X)\propto
\psi_j(x^Z,x^X)
\prod_{f\in N(x_j^Z)}\mu_{f\to x_j^Z}(x^Z)
\prod_{f\in N(x_j^X)}\mu_{f\to x_j^X}(x^X),
\]
and hard decisions are taken by maximizing \(b_j\) over \(\{0,1\}^2\) [2605.05132].

The juxtaposition of these examples clarifies that “joint state” can mean either a tuple of agent positions in a planning graph or a locally coupled pair of binary error variables in a factor graph. The commonality lies in explicit representation of interdependence; the operational semantics differ substantially.

## 7. Relation to adjacent frameworks and common misconceptions

In team coordination on graphs, JSG is not identical to standard multi-agent path planning. The 2023 formulation states that incorporating support action causes graph traversal to be no longer a standard multi-agent path planning problem [2303.11457]. The later TCGRE work further shows that the underlying coordination problem reduces from Minimum 3-Dimensional Matching and is NP-hard [2509.07234]. This rules out the misconception that JSG is merely a cosmetic reformulation of an ordinary MAPF instance.

JSG is also not synonymous with any single solver. In the TCGRE line, it is one component of a larger methodological family that also includes Coordination-Exhaustive Search (CES) and Receding-Horizon Optimistic Cooperative A* (RHOCA*) [2509.07234]. Dynamic-HJSG is a variant of JSG construction rather than a different problem definition [2509.07234].

In CSS decoding, joint BP should not be confused with a quaternary-state formulation that uses a different posterior. The 2026 note shows that joint BP and four-state BP have the same posterior weights, messages, and beliefs after relabeling the four local Pauli states and marginalizing the irrelevant binary component [2605.05132]. The distinction is therefore representational rather than inferential. The JSG in that setting keeps \(2n\) binary variables, one local \(2\times 2\)-table factor per qubit, and usual binary check-node operations, while preserving all \(X/Z\) correlations at only a constant \(2\times 2\) marginalization cost per qubit [2605.05132].

A final misconception is that optimality-preserving reductions necessarily require full global coupling. In the coordination literature, both CJSG and Dynamic-HJSG are explicitly presented as optimality-preserving under their stated lemmas and theorems [2303.11457; 2509.07234]. This suggests that the essential coupling structure is often sparser or more pairwise than the full Cartesian product representation initially indicates.

Source: https://www.emergentmind.com/topics/joint-state-graph-jsg