Source-linked AI summary
Token Economy Design for Fair and Efficient Highway Congestion Management with Express Lanes
Leonardo Pedroso, Juan Pablo Bertucci, W. P. M. H. Heemels, Mauro Salazar
TL;DR
Toll-based express-lane access can favor higher-income users, while one-time credits may be depleted, motivating a fairer allocation approach. The paper models lane allocation as a finite-population dynamic game and uses a mean-field approximation with limited behavioral assumptions to design token prices. Roughly 9% lower urgency-weighted perceived travel time than baseline; average travel time was 15.7 min for baseline and 15.5 min for the token economy.
Problem
Toll-based express-lane access can favor higher-income users, while one-time credits may be depleted, motivating a fairer allocation approach.
Source: §1 · p. 1Method
The paper models lane allocation as a finite-population dynamic game and uses a mean-field approximation with limited behavioral assumptions to design token prices.
Source: §1 · p. 2Results
Roughly 9% lower urgency-weighted perceived travel time than baseline; average travel time was 15.7 min for baseline and 15.5 min for the token economy.
Source: §4.3 · pp. 5–6Takeaways & Limitations
The results indicate that token economies can combine express-lane congestion management with fairness over time through turn-taking.
Source: §1 · p. 2, §5 · p. 6The discussion notes that known techniques exist for an issue involving passengers aboard vehicles.
Source: §5 · p. 6
Abstract
from arXiv · showhide
We study the design of a token economy for highway lane allocation that aims to improve fairness without sacrificing traffic efficiency. Motivated by the San Mateo 101 Express Lanes Project, we consider a setting in which high-occupancy vehicles have unrestricted access to an express lane, while the remaining users can alternate between regular and express lanes by earning and spending nonmonetary tokens. We model the resulting interaction as a finite-population dynamic congestion game with heterogeneous time preferences and limited-information evolutionary policy revisions. Building on a mean-field approximation, we derive token prices that enforce the system-optimal lane split while inducing fairness over time through turn-taking. The scheme is evaluated in a microscopic traffic simulation with real-world demand data. The results show that the proposed prices yield nearly the same average travel time as a baseline scenario in which no lane is reserved as an express lane, while substantially reducing urgency-weighted perceived travel time. These findings highlight token economies as a promising alternative to monetary congestion pricing for fairer management of scarce road capacity.
1. INTRODUCTION
Highway express lanes can improve throughput, but toll-based access raises fairness concerns and one-time credits do not ensure lasting equitable access. The paper proposes a token economy designed to combine efficiency with turn-taking fairness.
1. INTRODUCTION
- Highway lane allocation is a mechanism-design problem because individual route choices can congest shared infrastructure and reduce overall efficiency.The paper situates this challenge among resource-allocation problems in sharing economies.Source: §1 · p. 1
- Toll-based express-lane access can favor higher-income solo travelers, while one-time credits may be depleted and allow repeated access by higher-income users.The San Mateo 101 project introduced a credit-based equity program that gives low-income residents a one-time 100 USD credit.Source: §1 · pp. 1–2
- The token economy replaces repeated monetary payments with tokens earned on regular lanes and spent on express-lane access, letting users time faster travel to their needs.Users cannot buy or trade tokens; choosing regular lanes earns tokens, while express-lane use costs them.Source: §1 · p. 2
- Mean-field analysis with limited assumptions about user decisions is used to design prices for efficiency and fairness, and the framework is evaluated in a microscopic traffic simulator using realistic San Mateo 101 demand profiles.The paper models the allocation problem as a finite-population dynamic game.Source: §1 · p. 2
2. TOKEN ECONOMY MODEL
The model treats express-lane allocation as a dynamic game in which users’ travel preferences, token balances, and route choices shape congestion. It also specifies limited-information policy revision and evaluates efficiency through average travel time and fairness through equal average latency for comparable users.
2.1 Finite-Population Dynamic Congestion Game Model
- The game has a finite population grouped by preferred travel-time bins in each direction, with users randomly selected to travel according to a known demand profile.A user selected for an outbound trip is also selected for an inbound trip that day, but users need not travel daily.Source: §2.1 · p. 2
- At each trip, users choose between regular and express lanes subject to token affordability, while their state tracks token balance and reward sensitivity.Token prices may vary over time; regular-lane prices are nonpositive so users can always afford at least one action.Source: §2.1 · p. 2
2.2 Evolutionary Decision Model
- Users follow oblivious, Markov, stationary policies based on current tokens and reward sensitivity, without access to population-wide state distributions or personal histories.They also cannot predict future payoffs and choose a policy they plan to use indefinitely.Source: §2.2 · p. 3
- Users revise policies at low-rate independent Poisson opportunities using imitative or pairwise-comparison protocols that require very limited payoff information.The protocols need, at most, the payoff of the current policy and a randomly chosen policy.Source: §2.2 · p. 3
2.3 Performance Metrics
- Efficiency is measured by average travel time, while intra-class fairness requires comparable users to experience the same long-time average latency.The fairness comparison is among users with the same time preference who carry fewer than two passengers, within each direction and time bin.Source: §2.3 · pp. 3–4
3. TOKEN ECONOMY MODEL DESIGN
The design uses a mean-field approximation and limited regularization to derive token prices for optimal lane flows. Turn-taking supplies intra-class fairness, while prices apply during congested hours.
3.1 Regularization Assumptions
- The model uses a mean-field approximation to make analysis tractable, with approximation guarantees relative to the finite-population model.A low-rate Poisson noise clock gives users one token and makes long-time average reward independent of initial token holdings.Source: §3.1 · p. 4
3.2 Design
- For any token prices, induced turn-taking satisfies the intra-class fairness condition by design.The fairness result is attributed to Pedroso et al. (2026, Theorem 3).Source: §3.2 · p. 4
- Prices are designed to induce flows that minimize average travel time in each direction and time bin.The mean-field approximation permits noninteger flows and represents high-occupancy vehicle flows as a fraction of total flow.Source: §3.2 · p. 4
- The design procedure computes token prices from those target flows; prices are active only during congested hours.With fixed α0, prices remain approximately constant during congested hours even under time-varying demand.Source: §3.2 · p. 4
4. CASE-STUDY RESULTS
In the San Mateo US-101 simulation, the token economy maintained nearly the same average travel time as the no-express-lane baseline and reduced urgency-weighted perceived travel time. For one northbound user class, travel times converged to a tight interval.
4. CASE-STUDY RESULTS
- The SM 101 case study uses a SUMO microscopic simulation, a corridor network with dedicated express lanes, and demand profiles derived from real-world traffic data.The simulation covers the US-101 corridor from I-380 to SR-84; demand profiles use Caltrans AADT and PeMS data.Source: §4 · p. 4, §4.1 · pp. 4–5
4.3 Results
- 15.7 min for the baseline and 15.5 min for the token economy; Fig. 2 compares overall average daily travel time across the scenarios.The baseline has no express lane and no token economy.Source: Figure 2 · p. 5, §4.3 · p. 5
- For the northbound class with an inbound trip preference between 6pm and 7pm, average travel time converges to a tight interval.The authors attribute this to token-induced turn-taking; the fairness condition is not exact because the finite population has heterogeneous driving behavior absent from the model.Source: Figure 3 · p. 5, §4.3 · p. 6
4.2 Design
- During congested hours, token prices are approximately constant at τR1 = τR2 = −2 and τE1 = τE2 = 7.Congested hours are defined as periods with at least 70% of peak demand, corresponding to 5am–9pm.Source: §4.2 · p. 5
4.3 Results
- Roughly 9% lower urgency-weighted perceived travel time than the baseline is reported for northbound users.Fig. 4 shows this measure over time; users take turns using the express lane depending on their urgency to travel fast.Source: §4.3 · pp. 5–6, Figure 4 · p. 6
5. CONCLUSION
The conclusion presents token economies as a way to allocate express-lane access while maintaining system-level efficiency and improving fairness over time. It identifies passenger-aware efficiency measurement and pricing as a direction for future work.
5. CONCLUSION
- The token economy preserves system-level efficiency, with average travel time essentially unchanged from a baseline without a reserved express lane.The conclusion also reports roughly 9% lower urgency-weighted perceived travel time relative to the baseline.Source: §5 · p. 6
- The proposed mechanism replaces repeated monetary payments with nonmonetary tokens earned on regular lanes and spent for express-lane access.The conclusion describes turn-taking as the mechanism for fairness over time.Source: §5 · p. 6
- The study uses vehicle flow as its efficiency metric; person flow would be preferable and would require prices dependent on passenger count.Passenger counts are not available in sufficient detail.Source: §5 · p. 6