---
title: 'Wardropian Cycles: Intertemporal Fairness in Routing'
url: https://www.emergentmind.com/topics/wardropian-cycles
type: topic
---

# Wardropian Cycles: Intertemporal Fairness in Routing

Searching arXiv for the cited papers and closely related work on Wardropian cycles.
Wardropian Cycles are multi-day routing schedules in which aggregate path flows are system-optimal each day while the assignment of individual users to those paths is rotated over time so that, after a finite cycle, every user on the same origin–destination pair has the same average travel time [2507.19675]. In the formulation introduced for compliant connected autonomous vehicles, a Wardropian Cycle is constructed from daily assignment matrices that preserve a prescribed aggregate assignment, typically the System Optimum, and whose cumulative deviation from the origin–destination average travel time is zero over the cycle [2507.19675]. The term also appears in a distinct but related sense in a closed capacitated network model of ski resorts, where users repeatedly choose directed cycles rather than origin–destination paths, and a Wardrop-type equilibrium is imposed on these cycles via a variational inequality [2509.13392]. Across these usages, the common theme is the extension of Wardrop’s equilibrium logic beyond a single static path assignment, either to repeated intertemporal permutations of users over fixed optimal flows or to endogenous equilibrium over closed loops in capacitated cyclic networks [2507.19675] [2509.13392].

## 1. Definitions and conceptual variants

The clearest formalization of Wardropian Cycles is given in the connected-autonomous-vehicle setting. For one origin–destination pair with \(Q\) drivers and \(K\) candidate paths, a daily assignment is a binary matrix
\[
A_j \in \{0,1\}^{Q\times K}
\]
whose rows index drivers and columns index paths, with each driver assigned to exactly one path and each path receiving the prescribed number \(Q_k\) of drivers [2507.19675]. If \(t_k\) is the travel time of path \(k\) and
\[
\hat{t} = \frac{\sum_k Q_k t_k}{Q},
\]
the daily deviation vector is
\[
D_j = A_j T - \hat{t}\mathbf{1},
\]
where \(T=[t_1,\dots,t_K]^T\) [2507.19675]. A Wardropian Cycle of length \(n\) is then a finite sequence of daily assignments \(A=(A_1,\dots,A_n)\) such that
\[
\mathcal{D}_n = \sum_{j=1}^n D_j = 0,
\]
so each driver’s cumulative deviation from \(\hat{t}\) is zero and therefore each driver’s average travel time over the cycle equals the origin–destination average [2507.19675].

This definition is explicitly designed to reconcile Wardrop’s first and second principles. Each day, aggregate flows coincide with System Optimum, so daily total travel time is minimized. Over the cycle, average travel times equalize across users on the same origin–destination pair, producing a time-averaged fairness analogous to User Equilibrium [2507.19675]. The paper therefore states that Wardropian Cycles make the assignment fair on top of being optimal, which amounts to satisfaction of both Wardrop’s principles [2507.19675].

A second usage appears in the ski-resort model "Modeling skiers flows via Wardrope equilibrium in closed capacitated networks" [2509.13392]. There, the objects are not multi-day assignment permutations but closed directed walks in a network. A skier’s strategy is a cycle \(c\) in a directed graph, the population distribution over cycles is
\[
\mathbf{n}\in \Delta^C := \left\{ \mathbf{n}\in\mathbb{R}^{|C|}\ \middle|\ \sum_{c\in C} n_c=1,\ n_c\ge 0 \right\},
\]
and cycle utility is defined by
\[
\tau_c(\mathbf{n})=\frac{v_c}{t_c(\mathbf{n})+\tilde t_c},
\]
where \(v_c\) is the sum of slope values, \(\tilde t_c\) is queue-free traversal time, and \(t_c(\mathbf{n})\) is the sum of congestion-induced waiting times on lifts used by the cycle [2509.13392]. In that closed-network setting, “Wardropian cycles” refers to equilibrium assignments of users to feasible loops, rather than temporal permutations of users across days [2509.13392].

These two formulations differ sharply in ontology. In the traffic-assignment paper, the cycle is temporal: a period of days after which user-level fairness is restored exactly [2507.19675]. In the ski-resort paper, the cycle is spatial: a closed route repeatedly traversed inside a closed capacitated network [2509.13392]. The shared Wardropian element is the no-improving-deviation logic, but the objects over which equilibrium is defined are different.

## 2. Mathematical structure of multi-day Wardropian Cycles

The multi-day traffic formulation begins with a standard static assignment problem on a directed network \(G=(N,A)\) with origin–destination demands \(q_{od}\), path flows \(f_p\), link flows
\[
x_a = \sum_{(o,d)} \sum_{p\in\mathcal{K}_{od}} \delta_{ap} f_p,
\]
and path travel times
\[
t_p = \sum_{a\in p} c_a(x_a)
\]
under increasing convex link costs such as BPR-type functions [2507.19675]. System Optimum solves
\[
\min_f \sum_{a\in A} x_a c_a(x_a),
\]
while User Equilibrium is characterized by equality of travel times on all used paths for each origin–destination pair [2507.19675]. The Price of Anarchy is
\[
\text{PoA} = \frac{T^{UE}}{T^{SO}},
\]
with
\[
T^{UE} = \sum_a x_a^{UE} c_a(x_a^{UE}), \qquad
T^{SO} = \sum_a x_a^{SO} c_a(x_a^{SO})
\]
[2507.19675].

Wardropian Cycles operate after fixing an aggregate assignment \(Q_k\), typically a discretized System Optimum flow on an origin–destination pair. The daily assignment matrices preserve these aggregate path counts exactly:
\[
\sum_{i=1}^Q [A_j]_{i,k}=Q_k \quad \forall k,
\]
while also assigning each driver to exactly one path:
\[
\sum_{k=1}^K [A_j]_{i,k}=1 \quad \forall i
\]
[2507.19675]. The fairness requirement is expressed through the cumulative deviations \(\mathcal{D}_J\) and inequity measures
\[
I_J = \frac{\|\mathcal{D}_J\|_2^2}{Q}, \qquad
\bar I_J = \frac{I_J}{\hat t}
\]
[2507.19675]. Exact equalization at the end of a cycle means \(I_n=0\) and \(\bar I_n=0\) [2507.19675].

The paper’s central existence construction uses permutation matrices. Starting from any valid assignment matrix \(A_1\), let \(P\) be the cyclic shift matrix and define
\[
A_{j+1}=P^j A_1 \quad \text{for } j=1,\dots,Q-1.
\]
After \(Q\) days, each driver has been assigned to route \(k\) exactly \(Q_k\) times, so each driver’s total travel time equals \(\sum_k Q_k t_k\), and every driver’s average equals \(\hat t\) [2507.19675]. This proves that Wardropian Cycles always exist and are finite for any origin–destination pair and any given aggregate assignment [2507.19675].

The paper then shortens cycles using the greatest common divisor
\[
M=\gcd(Q_1,\dots,Q_K),
\]
which reduces the cycle length from \(Q\) to \(Q/M\) by shifting by \(M\) positions per day [2507.19675]. A further shortening based on partitioning the multiset of route times into equal-mean groups is discussed, but the associated partition problem is NP-hard via reduction from SUBSET-SUM [2507.19675]. This places optimal cycle design in a combinatorial regime even though existence is elementary.

## 3. Fairness, optimality, and Cyclical User Equilibrium

The central claim for Wardropian Cycles in traffic assignment is that they eliminate the usual efficiency–fairness tension between System Optimum and User Equilibrium by shifting fairness from a one-day to a many-day horizon [2507.19675]. System Optimum is efficient but typically unfair because some users consistently receive shorter paths than others. User Equilibrium is fair within a day because all used paths for a given origin–destination pair have equal travel time, but it is inefficient and suffers from a Price of Anarchy [2507.19675].

Wardropian Cycles preserve System Optimum every day by maintaining SO path flows, so daily total travel time remains minimal. Fairness is restored over the cycle because
\[
\mathcal{D}_n=0,
\]
which means every user’s average travel time equals the origin–destination average \(\hat t\) [2507.19675]. If the underlying aggregate assignment is SO, then \(\hat t\) is the SO average and is typically strictly less than the UE travel time \(t^{UE}\) for that origin–destination pair [2507.19675]. The paper describes this as satisfying SO every day and a UE-like fairness in the time average [2507.19675].

This leads to the new equilibrium concept of Cyclical User Equilibrium. For a Wardropian Cycle \(\mathcal{A}^{WC}=(A_1,\dots,A_\zeta)\), CUE requires both equalization over the cycle,
\[
\sum_{j=1}^{\zeta} D_j = 0,
\]
and individual benefit relative to UE,
\[
\forall i\le Q:\quad \left[\sum_{j=1}^{\zeta} A_j T\right]_i < t^{UE}\cdot \zeta
\]
[2507.19675]. This is a time-averaged stability notion: no driver can improve over the cycle by reverting to the UE baseline, and since all drivers on the same origin–destination pair have identical average travel time, no one can improve by swapping positions in the cycle [2507.19675]. The paper formalizes this with a Pareto order on cyclical assignments and states that a Wardropian Cycle based on SO is strictly better than UE, while among all CUEs it is Pareto-optimal [2507.19675].

A plausible implication is that Wardropian Cycles recast Wardrop’s first principle from a pointwise statement about used routes on a single day into an intertemporal statement about average treatment over a finite horizon. That interpretation is consistent with the paper’s own claim that Cyclical User Equilibrium extends Wardrop’s principles to multi-day cycles and time-averaged travel times [2507.19675].

The ski-resort paper yields a different fairness–stability picture. There, equilibrium means that every used cycle maximizes value-per-time:
\[
n_c^*>0 \Rightarrow \tau_c(\mathbf{n}^*)=\max_{d\in C}\tau_d(\mathbf{n}^*),
\]
while unused cycles have no higher utility [2509.13392]. The equilibrium is encoded as the variational inequality
\[
\langle \boldsymbol{\tau}(\mathbf{n}^*), \mathbf{n}-\mathbf{n}^* \rangle \le 0
\quad \forall \mathbf{n}\in \Delta^C
\]
[2509.13392]. Here fairness is not interpersonal equalization over time but equilibrium equalization of maximal utility across the set of used spatial cycles.

## 4. Algorithms and computational complexity

Constructing some Wardropian Cycle is straightforward; constructing a short cycle or one with favorable interim fairness is not. The traffic paper identifies several optimization problems around cycle design and shows that many are NP-hard [2507.19675]. Beyond GCD shortening, it considers reordering daily deviation vectors to minimize the maximum cumulative deviation
\[
\max_i \max_{l\le N} \left| \sum_{j=1}^l [D_{\sigma(j)}]_i \right|
\]
and proves NP-hardness via a reduction from SUBSET-SUM [2507.19675]. The same computational barrier appears in finding equal-mean partitions of route-time multisets to shorten cycles [2507.19675].

Because exact optimization is hard, the paper introduces the Greedy Assignment Rule, a Markovian assignment rule that, at each day \(j+1\), sorts drivers by current cumulative deviation and paths by travel time, then assigns the most favored drivers to the longest routes and the least favored drivers to the shortest routes while respecting the required path flows \(Q_k\) [2507.19675]. The assignment is encoded by a permutation matrix \(P_j\) built from the order of \(\mathcal{D}_j\) and the path-capacity map \(T_j(l)\), and the next assignment is
\[
A_{j+1}=P_j A_j
\]
[2507.19675]. Proposition 2.11 states that for fixed flows and path times, this greedy assignment minimizes the next day’s inequity \(I_{j+1}\) among all feasible assignments, via the rearrangement inequality [2507.19675].

The same section proves a uniform bound on cumulative deviations. If \(M=\|D_0\|_\infty\), and \(K^+\), \(K^-\) are the counts of drivers with nonnegative and negative initial deviations, then for all drivers \(i\) and days \(J\),
\[
-M(K^-+1) \le \sum_{j=1}^J [D_j]_i \le M(K^+ + 1)
\]
[2507.19675]. This implies convergence of average travel times to \(\hat t\) over time, even when the process is not forced into an exact finite cycle [2507.19675].

The ski-resort formulation yields a different computational pipeline. Given a distribution \(\mathbf{n}\) over cycles, waiting times are found by solving the convex program
\[
\begin{aligned}
\min_{\mathbf{f}^C \ge 0}\quad &
\langle \tilde{\mathbf{t}}, \mathbf{f}^C \rangle
- \langle \mathbf{n}, \ln \mathbf{f}^C \rangle \\
\text{subject to}\quad &
\Theta^\top \mathbf{f}^C \le \mathbf{b},
\end{aligned}
\]
where \(\Theta\) is the cycle–lift membership matrix and \(\mathbf{b}\) the lift capacities [2509.13392]. The dual variables are the lift waiting times \(\mathbf{t}\), and strict convexity yields a unique solution \((\mathbf{f}^C(\mathbf{n}),\mathbf{t}(\mathbf{n}))\) for each \(\mathbf{n}\) [2509.13392]. The global equilibrium is then solved via the Extragradient method on the simplex \(\Delta^C\), with Euclidean projections and repeated evaluations of \(\boldsymbol{\tau}(\cdot)\) via the queueing subproblem [2509.13392].

These two algorithmic pictures illustrate the split within the literature. Traffic Wardropian Cycles are combinatorial objects built from permutations of users over fixed optimal flows [2507.19675]. Closed-network Wardropian cycles are equilibrium objects on a finite set of spatial loops solved through convex optimization and variational inequalities [2509.13392].

## 5. Empirical results and observed behavior

The connected-autonomous-vehicle study reports large-scale experiments on static benchmark networks from the Transportation Networks repository: Barcelona, Anaheim, Eastern Massachusetts, Berlin Tiergarten, and Sioux Falls [2507.19675]. The daily aggregate assignments are computed using Frank–Wolfe, then discretized to integer path counts \(Q_k\), after which exact cycles or greedy assignments are constructed at the origin–destination level [2507.19675].

The paper reports the following system-level values for total travel time and Price of Anarchy.

| City | \(T_{UE}\) (min) | \(T_{SO}\) (min) | PoA |
|---|---:|---:|---:|
| Barcelona | 1,297,794 | 1,268,541 | 1.02 |
| Anaheim | 1,322,588 | 1,304,584 | 1.01 |
| EMA | 28,183 | 27,325 | 1.03 |
| Berlin T. | 581,509 | 565,388 | 1.03 |
| Sioux Falls | 7,480,157 | 7,194,761 | 1.04 |

In Barcelona, moving from UE to SO saves around 670 vehicle-hours per peak hour, and these savings are fully preserved in Wardropian Cycles because SO flows are implemented every day [2507.19675]. At the origin–destination level, about 82.5% of OD pairs have shorter travel times in SO than UE; the remaining approximately 17.5% would require special treatment or OD-fair SO to fit the CUE definition [2507.19675].

For Barcelona, exact cycles based on the existence construction have full-shift lengths with max 777 days, mean 31 days, median 16 days, and 95th percentile around 100 days [2507.19675]. GCD-shortened cycles retain the same maximum 777 days but improve mean to 26 days, median to 11 days, and 95th percentile to about 91 days [2507.19675]. These figures support the paper’s conclusion that exact Wardropian Cycles always exist but can be impractically long for some OD pairs [2507.19675].

The Greedy Assignment Rule yields faster practical equalization. In Barcelona, the normalized inequity \(\bar I_J\) drops to about \(0.16\) of \(\bar I_1\) after 5 days, about \(0.07\) after 10 days, about \(0.05\) after 20 days, and about \(0.04\) after 50 days [2507.19675]. Across Barcelona, Anaheim, and Sioux Falls, less than 7% of the initial inequity remains after 10 days [2507.19675]. Across all five networks, the normalized inequity summed over ODs decreases roughly to 10–17% after 5 days, 3–16% after 10 days, 1–13% after 20 days, and about 1–6% after 50 days [2507.19675]. This suggests that near-equalization can be achieved quickly even when exact cycles are long.

The ski-resort paper reports numerical tests on a synthetic graph with five cycles and five lifts, solving the queueing subproblem in CVXPY at every iteration of the Extragradient method [2509.13392]. The variational-inequality gap
\[
\operatorname{Gap}(\mathbf{n}) =
\max_{\mathbf{z}\in\Delta^C}
\langle \boldsymbol{\tau}(\mathbf{n}), \mathbf{z}-\mathbf{n}\rangle
\]
decreases monotonically, and multiple random initializations converge to the same \(\mathbf{n}^*\), suggesting a unique equilibrium and stable numerical behavior for the tested instances [2509.13392].

## 6. Relation to broader Wardrop dynamics and the question of cycles

The phrase “Wardropian cycles” also interacts with a different literature on whether route-adjustment dynamics can themselves cycle. The paper "Hessian Riemannian Flow For Multi-Population Wardrop Equilibrium" [2504.16028] is particularly explicit on this point. It studies multi-population Wardrop equilibrium on generalized graphs, formulates equilibrium as a variational inequality, and introduces a continuous-time Hessian Riemannian flow
\[
\dot{\vartheta}^r + H_r(\vartheta^r)^{-1} F_r(\vartheta^r)\,
c^r(\vartheta^r,\vartheta^{-r}) = 0
\]
for each population \(r\) [2504.16028]. Under continuity, local Lipschitzness, and strict monotonicity of the cost mapping, the system has a unique global solution, trajectories remain feasible and positive, and converge to the unique Wardrop equilibrium [2504.16028].

The same paper states directly that the Lyapunov structure rules out limit cycles or other non-convergent recurrent behavior of the HRF: if there were a nontrivial periodic orbit, the Bregman-divergence Lyapunov function would have to be periodic, contradicting strict monotone decrease [2504.16028]. It further notes that although the paper does not use the phrase “Wardropian cycles,” the convergence theorem plus strict monotonicity imply that no persistent Wardropian cycles, understood as limit cycles or recurrent orbits of the adjustment dynamics, can occur under HRF [2504.16028].

This stands in contrast to the destination-preserving LWR network model "A destination-preserving model for simulating Wardrop equilibria in traffic flow on networks" [1409.0350], which discusses three behavioral regimes—basic, rational, and highly rational—and observes numerically that in the highly rational regime the fixed-point iteration may oscillate between two distinct solutions on the same network [1409.0350]. The paper states that it is unclear under which assumptions the highly rational model admits a solution, and that numerical tests have shown the algorithm oscillates between two non-equilibrium solutions, even if a small perturbation of an equilibrium solution is used as initial guess [1409.0350]. This suggests that in dynamic route-choice settings, “Wardropian cycles” can also refer to oscillatory or cyclic equilibrium-seeking behavior rather than the finite fairness cycles of the CAV paper.

A related negative result about persistent cycling appears in "Stability Analysis of Transportation Networks with Multiscale Driver Decisions" [1101.2220]. That paper studies coupled fast traffic dynamics and slow perturbed best-response path-preference updates on an acyclic network, and shows that if path-preference updates are sufficiently slow, the state of the network approaches a neighborhood of the Wardrop equilibrium, with the neighborhood shrinking as the time-scale separation grows and decision noise vanishes [1101.2220]. Under its assumptions, persistent oscillations around equilibrium do not occur [1101.2220].

These neighboring papers matter because they delimit the semantic range of “Wardropian cycles.” In the CAV setting, the cycle is a designed, desirable periodic schedule that enforces fairness [2507.19675]. In closed ski networks, it is a spatial loop chosen in equilibrium [2509.13392]. In the dynamics literature, “cycle” may refer to undesirable recurrent behavior of the adjustment process, which some algorithms exclude and others may exhibit [2504.16028] [1409.0350] [1101.2220].

## 7. Applications, limitations, and open directions

The explicit application domain of Wardropian Cycles in the traffic-assignment sense is centrally routed compliant connected autonomous vehicles. The paper assumes that a central operator can assign daily routes, that users are willing to accept day-to-day variability if long-run average travel time is fair and strictly better than under UE, and that compliance is full or high [2507.19675]. It also sketches how a platform could maintain each user’s cumulative deviation history and assign routes using the greedy rule, effectively implementing intertemporal fairness accounting [2507.19675].

The main limitations identified by the paper are structural. Exact cycle design can yield long periods, with some OD pairs requiring more than 90 days even after GCD shortening [2507.19675]. Optimal cycle shortening and interim-fairness optimization are NP-hard [2507.19675]. The core theory uses static demand and deterministic path travel times, while extensions to dynamic, stochastic, or SUE settings are left for future work [2507.19675]. The basic model also assumes homogeneous preferences within each OD, and the authors note that mixed traffic with only partial controllability remains an open direction [2507.19675].

The ski-resort framework is more abstract and could apply to other closed systems in which users circulate through capacitated service stations and “enjoyment” links, such as amusement parks or closed multi-server networks [2509.13392]. It also suggests extensions to multi-class users with class-specific slope values and to data-driven attractiveness models for cycles [2509.13392]. Its limitations include static steady-state modeling, deterministic point queues, and the assumption that all relevant cycles are known and finite in number [2509.13392].

A plausible implication across both papers is that Wardropian Cycles are most natural in environments with either strong centralized assignment capabilities or naturally closed circulation patterns. In open, decentralized route-choice systems with incomplete compliance, the fairness-cycle interpretation becomes substantially harder to enforce, while the spatial-cycle interpretation depends on the network actually being closed and repeatedly traversed.

From a conceptual standpoint, the 2025 literature separates three distinct research programs under adjacent vocabulary. One concerns intertemporal fairness schedules that preserve SO and eliminate the Price of Anarchy in the long-run average [2507.19675]. A second concerns equilibrium on closed loops in closed capacitated networks [2509.13392]. A third concerns whether equilibrium-seeking dynamics converge or cycle [2504.16028] [1409.0350] [1101.2220]. The term “Wardropian Cycles” is therefore context-sensitive, but in all cases it denotes an attempt to extend Wardropian equilibrium reasoning beyond the single-shot static path assignment that dominates classical traffic theory.

Source: https://www.emergentmind.com/topics/wardropian-cycles