---
title: Cyclical User Equilibrium
url: https://www.emergentmind.com/topics/cyclical-user-equilibrium
type: topic
---

# Cyclical User Equilibrium

Cyclical user equilibrium denotes a family of equilibrium concepts in which user rationality, fairness, or route optimality is evaluated over cycles rather than in a single static assignment. In one formulation, the cycle is temporal: a finite sequence of daily assignments equalizes average travel times across drivers while preserving system-optimal path flows on every day and keeping each driver strictly better off than under User Equilibrium [2507.19675]. In another formulation, the cycle is topological: users choose closed loops in a capacitated network, and equilibrium requires that all used cycles attain maximal utility under endogenous waiting times [2509.13392]. In both cases, the concept extends Wardrop-style reasoning beyond the conventional origin–destination path setting.

## 1. Conceptual scope and defining variants

The term has at least two technically distinct meanings in the recent literature. The first is a **multi-day assignment equilibrium** for compliant connected autonomous vehicles, where fairness is defined over a repeating sequence of daily route allocations rather than day by day. The second is a **closed-network cycle-choice equilibrium**, where the user strategy itself is a cycle in a graph and the equilibrium object is a stationary distribution over cycles.

| Formulation | Strategic object | Defining equilibrium condition |
|---|---|---|
| Wardropian Cycles / CUE | Sequence of daily assignment matrices \(A_1,\dots,A_\zeta\) | \(\sum_{j=1}^{\zeta}\mathbf D_j=\mathbf 0\) and every driver’s cycle-average travel time is below \(t^{UE}\) [2507.19675] |
| Closed capacitated network equilibrium | Cycle-flow vector \(\mathbf n \in \Delta^C\) | All used cycles have maximal utility; equivalently a variational inequality on the simplex [2509.13392] |

This distinction is important because adjacent literatures often use related vocabulary without defining a cyclical equilibrium in the strict sense. Static deterministic user-equilibrium approximation methods remain snapshot-based [2107.04018]. Dynamic user equilibrium with route and departure time choice studies within-day temporal equilibrium, not a periodic or multi-day cycle [2508.07159]. Schedule-based transit assignment with hard vehicle capacities allows cyclic behavior in a heuristic, but the equilibrium itself is static and side-constrained rather than cyclical [2406.17153].

## 2. Multi-day cyclical user equilibrium and Wardropian cycles

In the multi-day formulation, an origin–destination pair with \(Q\) drivers and \(K\) available paths is represented by a binary daily assignment matrix
\[
A_j \in \mathcal{M}^{Q \times K}(\{0,1\}),
\]
with
\[
\sum_{k=1}^K [A_j]_{i,k} = 1 \quad \text{for every } i \in \{1,\dots,Q\},
\]
and
\[
\sum_{i=1}^Q [A_j]_{i,k} = Q_k \quad \text{for every } k \in \{1,\dots,K\}.
\]
Here \(Q_k\) is usually taken from the System Optimum solution, so each day preserves system-optimal path flows [2507.19675].

Let \(T=[t_1,\dots,t_K]^T\) be the route travel-time vector and \(\hat t\) the OD-average travel time. The daily deviation vector is
\[
D_j = A_j
\begin{bmatrix}
t_1\\
t_2\\
\dots\\
t_K
\end{bmatrix}
-
\begin{bmatrix}
\hat t\\
\hat t\\
\dots\\
\hat t
\end{bmatrix},
\]
and cumulative deviation up to day \(J\) is
\[
\mathcal D_J = \sum_{j=1}^J D_j.
\]
A **Wardropian Cycle** of length \(n\) is a finite sequence \(A=(A_1,\dots,A_n)\) such that
\[
\mathcal D_n=0.
\]
Over the full cycle, each driver’s total deviation from the OD-average travel time vanishes, so average travel times are equalized across drivers [2507.19675].

The corresponding **Cyclical User Equilibrium** is defined by a sequence \(\mathcal A^{WC}=(A_1,\ldots,A_\zeta)\) satisfying
\[
\sum_{j=1}^{\zeta} \mathbf{D}_j = \mathbf{0},
\]
and
\[
\forall_{i \leq Q} \left[ \sum_{j=1}^{\zeta} A_j \mathbf{T} \right]_i < t^{UE} \cdot \zeta.
\]
The first condition equalizes cycle-average travel times among users. The second ensures that every driver is strictly better off than under the User Equilibrium benchmark. The formulation is explicitly intended to combine the daily efficiency of System Optimum with the long-run fairness associated with Wardrop’s first principle [2507.19675].

This construction differs sharply from standard one-day User Equilibrium and System Optimum. In the User Equilibrium description used in the same work, all used routes for an OD pair have equal travel time and all users experience equal travel time \(\hat t\). System Optimum minimizes \(\sum_k Q_k t_k\) but can assign some users to slower routes than others. Cyclical User Equilibrium resolves that tension intertemporally: each day remains SO-like, but fairness is restored over the cycle [2507.19675].

## 3. Cycle-based equilibrium in closed capacitated networks

A distinct meaning of cyclical user equilibrium appears in a closed-network model of ski resorts, where users are assigned to cycles in an oriented graph whose links are lifts and slopes. The set of admissible strategies is the set of all cycles \(C\), and the normalized cycle-flow vector lies in
\[
\mathbf n \in \Delta^C = \{\mathbf{n} \in \mathbb{R}^{|C|}~|~ \sum_{c \in C} n_c = 1, ~n_c \ge 0\}.
\]
The network is closed because users do not enter or leave via external sinks or sources during the steady state, and capacitated because each lift \(u \in U\) has finite throughput \(b_u\) [2509.13392].

Congestion is induced by a deterministic point-queue model. If \(q_u\) is queue size and \(f_u^{\text{in}}\) the inflow, then
\[
f_u = \min\{b_u, f^{\text{in}}_{u}\}, \quad q_u = 0,
\]
and
\[
f_u = b_u, \quad q_u > 0,
\]
with queue growth rate \(f^{\text{in}}_u - f_u\). Waiting time at lift \(u\) is
\[
t_u =
\begin{cases}
\frac{q_u}{b_u}, & q_u > 0,\\
0, & q_u = 0.
\end{cases}
\]
A cycle \(c\) has value
\[
v_c = \sum_{s \in c} v_s,
\]
and utility
\[
\tau_c(\mathbf n) = \frac{v_c}{t_c(\mathbf n) + \bar t_c},
\]
where \(\bar t_c\) is queue-free cycle time and
\[
t_c(\mathbf n) = \sum_{u \in c} t_u(\mathbf n)
\]
is the total waiting time on lifts in cycle \(c\) [2509.13392].

The Wardrop-style equilibrium condition is adapted directly to cycles: in equilibrium, all used cycles have maximal utility and unused cycles have no higher utility than the used ones. This is written as the variational inequality
\[
\langle \boldsymbol{\tau}(\mathbf{n}^*), \mathbf{n} - \mathbf{n}^* \rangle \le 0, \quad \forall \mathbf{n} \in \Delta^C.
\]
The interpretation is standard: no skier can improve benefit by unilaterally switching cycles. The novelty lies in replacing origin–destination paths by recurrent loops inside a closed system [2509.13392].

For a fixed user distribution \(\mathbf n\), waiting times and cycle flows are recovered from a nonlinear steady-state queueing system involving cycle flows \(f^C\), lift flows \(f^U\), and the incidence matrix \(\Theta\), or equivalently from the convex program
\[
\min_{\mathbf{f}^C \ge 0} \quad \langle \bar{\mathbf t}, \mathbf{f}^C \rangle - \langle \mathbf{n}, \ln \mathbf{f}^C \rangle
\quad \text{subject to} \quad
\Theta^\top \mathbf{f}^C \le \mathbf{b}.
\]
The corresponding KKT conditions reproduce the queue system, and because the primal and dual are strictly convex and concave, the solution \((\mathbf f^C,\mathbf t)\) is unique for any fixed \(\mathbf n\) [2509.13392].

## 4. Relation to classical user equilibrium and nearby concepts

Cyclical user equilibrium remains Wardropian in spirit, but it should not be conflated with the standard User Equilibrium, dynamic user equilibrium, stochastic user equilibrium, or day-to-day learning models.

In the static deterministic setting, Wardrop’s first principle is stated as: “The travel times on all used paths between an origin and destination point are equal and less than those which would be experienced by a single vehicle on any unused path.” The k-PSA algorithm is a heuristic approximation method for this static deterministic user-equilibrium traffic assignment problem, and it does not model time-varying demand, day-to-day learning, temporal path oscillations, or cyclical equilibrium phenomena [2107.04018].

Within-day dynamic models are also distinct. The corridor-network study of dynamic system optimum and dynamic user equilibrium derives closed-form DSO and DUE solutions for morning and evening commutes and shows that, under certain schedule-delay conditions, the queueing delay at each bottleneck in DUE equals the optimal toll in DSO. The paper notes relevance to cyclical commuting patterns, but it does not define a separate cyclical equilibrium concept [2102.01899]. Likewise, the queue replacement approach to DUE assignment with route and departure time choice works with a single assignment period \(T\); its equilibrium queueing-delay pattern is temporal, but not cyclic in the sense of a repeating periodic equilibrium [2508.07159].

Day-to-day learning models are closer in spirit but still conceptually different. The cumulative logit model CULO is a day-to-day discrete-time dynamical model that converges to User Equilibrium and, under specific initial-information conditions, to the maximum-entropy user equilibrium. It gives a behavioral interpretation of repeated route learning, but its limit object is MEUE rather than a cyclical equilibrium over recurring daily assignments [2401.08013].

Stochastic and side-constrained equilibrium models modify the feasible comparison set rather than introducing cycles as the equilibrium object. The eUnit-SUE model imposes a bounded perceived travel-time interval and can exclude routes outside \([l_{ij},u_{ij}]\), yielding a Beckmann-type convex formulation and a unique solution that approaches deterministic user equilibrium as the bound range collapses [2402.18435]. In schedule-based transit networks with hard vehicle capacities, equilibrium is defined only against admissible deviations under boarding-capacity constraints, characterized by a quasi-variational inequality and an equivalent Bernstein–Smith equilibrium with discontinuous costs; cyclicity can appear in the heuristic update process, not in the equilibrium definition [2406.17153].

A common misconception is therefore that any model with time, queues, or iterative updates is already a cyclical user equilibrium. The literature instead separates at least three notions: multi-day cyclical fairness, closed-network cycle choice, and algorithmic or day-to-day dynamics.

## 5. Existence, computation, and algorithmic structure

For Wardropian cycles, existence is constructive. Given any initial assignment \(A_1\), let \(P\) be the shift matrix
\[
P =
\begin{bmatrix}
0 & 1 & 0 & \dots & 0 & 0 \\
0 & 0 & 1 & \dots & 0 & 0 \\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots \\
0 & 0 & 0 & \dots & 0 & 1 \\
1 & 0 & 0 & \dots & 0 & 0
\end{bmatrix}.
\]
Then
\[
A_{j+1} = P^j A_1 \quad \text{for } j=1,\dots,Q-1
\]
is a Wardropian Cycle of length \(Q\). If
\[
M = \gcd(Q_1,Q_2,\dots,Q_K),
\]
the shift can be accelerated to
\[
A_{j+1} = (P^M)^j A_1,
\]
which yields a cycle of length \(Q/M\). The same work also proposes flow partitioning into subsets of equal mean travel time, but proves that dividing a set of routes with time and flow into subsets of equal mean time is NP-hard via reduction from SUBSET-SUM [2507.19675].

The main computational difficulty in the multi-day setting is not existence but optimization of cycle length and within-cycle inconvenience. A reordering result states that one can reorder the cycle so that, for every driver \(i\) and every prefix length \(l\),
\[
\left|\hat{t}_{i,l}(A') - \hat{t}\right|\leq \frac{t_{\max}- t_{\min}}{l}.
\]
To approximate optimal cycles, the paper introduces a Greedy Assignment Rule: at day \(j+1\), drivers with the largest positive cumulative deviation are paired with longer routes, and drivers with the most negative deviation are paired with shorter routes. By the Rearrangement Inequality, this minimizes next-day quadratic inequity. The same analysis proves bounded cumulative deviations under the greedy rule [2507.19675].

For the closed-network cycle-choice model, computation has two nested layers. For fixed \(\mathbf n\), the queue optimization subproblem is solved via CVXPY using an interior-point solver. Then the variational inequality is solved with the Extragradient method:
\[
\mathbf{y}^{(k)} = \Pi_{\Delta^C}\left( \mathbf{n}^{(k)} + \gamma \cdot \boldsymbol{\tau}(\mathbf{n}^{(k)}) \right),
\]
\[
\mathbf{n}^{(k+1)} = \Pi_{\Delta^C}\left( \mathbf{n}^{(k)} + \gamma \cdot \boldsymbol{\tau}(\mathbf{y}^{(k)}) \right).
\]
Under monotonicity and Lipschitz continuity of \(\boldsymbol{\tau}\), convergence is
\[
\|\mathbf{n}^{(k)} - \mathbf{n}^*\|^2 \le \frac{C}{k}
\]
for some constant \(C>0\). Convergence is monitored through the gap function
\[
\operatorname{Gap}(\mathbf{n}) = \max_{\mathbf{z} \in \Delta^C} \langle \boldsymbol{\tau}(\mathbf{n}), \mathbf{z} - \mathbf{n} \rangle \ge 0,
\]
which is zero at equilibrium [2509.13392].

These two computational paradigms are structurally different. The multi-day CUE problem is combinatorial, centered on permutations and fairness over time. The closed-network equilibrium is continuous, centered on convex queue subproblems and a simplex-constrained variational inequality. This suggests that “cyclical user equilibrium” is not a single algorithmic class, but a family of equilibrium constructions linked by the role of cycles.

## 6. Empirical behavior, fairness, and practical limitations

The empirical case for multi-day CUE is developed through large-scale simulations. In Barcelona, switching from UE to SO improves the system by about \(3\%\), corresponding to about **670 vehicle-hours saved per day**, but **17.5\%** of OD pairs are worse off under SO than under UE; this is the fairness problem the cyclical construction is meant to address [2507.19675]. For Barcelona OD pairs, full shift-matrix cycles have max **777 days**, mean **31.37**, median **16**, standard deviation **52.06**, 75th percentile **34**, and 95th percentile **100.3**. GCD-shortened cycles retain max **777** but reduce mean to **25.94**, median to **11**, standard deviation to **47.81**, 75th percentile to **28**, and 95th percentile to **91**. The same study notes that many cycles remain too long for practical acceptance [2507.19675].

The reported path-time spreads help interpret that limitation. For **80\%** of Barcelona OD pairs, the difference between shortest and longest path in SO is below **1 minute**; only a small number exceed **6 minutes**, with a maximum just below **10 minutes**. Under the greedy assignment rule, inequity falls quickly: after **5 days**, total inequity is more than halved; after **20 days**, inequity can be reduced by up to **88\%**; after **50 days**, the remaining inequity is very small. The normalized inequity \(\bar I\) shrinks from an initial mean around **0.1085** at day 1 to **0.0031** by day 50, while the median drops from **0.0143** to **0.00002** [2507.19675].

Cross-city experiments report positive price of anarchy in every tested network: **Barcelona** UE \(1297794\), SO \(1268541\), PoA \(1.02\); **Anaheim** UE \(1322588\), SO \(1304584\), PoA \(1.01\); **EMA** UE \(28183\), SO \(27325\), PoA \(1.03\); **Berlin T.** UE \(581509\), SO \(565388\), PoA \(1.03\); and **Sioux Falls** UE \(7480157\), SO \(7194761\), PoA \(1.04\). The greedy assignment reduces inequity after 5 days to around **0.10–0.17** of initial inequity depending on city, and after 50 days to around **0.01** in Anaheim, Berlin, and Sioux Falls, with Barcelona reaching about **0.04** [2507.19675].

The closed-network equilibrium evidence is smaller in scale but methodologically clearer. Numerical experiments on a synthetic five-cycle, five-lift network show convergence to a stable equilibrium distribution for different attractiveness parameters \(a\). The gap function decreases monotonically over iterations, and multiple random initializations converge to the same solution \(\mathbf n^*\), suggesting uniqueness and favorable operator behavior. On the two-lift toy network, the CVXPY implementation “was always finding the solution to \eqref{eq:queue_system} with high accuracy” [2509.13392].

The main controversy is therefore not existence. In both principal formulations, existence or computability is established. The contested issue is operational interpretation. In the multi-day setting, long cycle lengths and within-cycle inconvenience directly affect acceptability. In the closed-network setting, the model is tailored to systems where users remain inside the network and repeatedly traverse cycles, which is structurally different from ordinary commuter traffic. Cyclical user equilibrium is thus best understood not as a universal replacement for User Equilibrium, but as a specialized extension for settings in which fairness or optimality is naturally assessed over recurring cycles rather than isolated trips.

Source: https://www.emergentmind.com/topics/cyclical-user-equilibrium