Seedlabs

TASEP-Bench: Exact Stationary Reference for Exclusion-Based Traffic Simulators

A math-based benchmark to test if traffic and crowd simulators are predicting movement accurately.

A validation harness that gives discrete-time traffic and pedestrian simulators an exact mathematical ground truth for their stationary behavior, built on a newly proved classification of the one-dimensional exclusion process.

MathematicsStochastic processes and statistical mechanics
Hybrid Graph-Based Memory and SchedulingTraffic and pedestrian simulation software validation

Concept

A validation harness for simulators built on one-dimensional exclusion dynamics — single-lane traffic, single-file pedestrian flow, conveyor and queue segments — which are almost always stepped in discrete time (parallel update, Nagel–Schreckenberg style). Such simulators are typically validated against each other or against sparse field data, rarely against exact ground truth. The paper proves a classification of the stationary behaviors of the totally asymmetric one-dimensional exclusion process (TASEP) in discrete time — the minimal model underlying these systems. The product packages that classification as a reference oracle: a small library plus test harness that runs a user's discrete-time exclusion simulator to stationarity and scores its long-run behavior against the regimes the classification distinguishes, flagging update-rule and implementation bugs in CI. The single wedge: exact stationary ground truth for discrete-time exclusion models, delivered as a regression suite for simulator vendors and their enterprise clients.

Why now

The abstract states that the paper proves and makes use of a classification of the stationary behaviors of discrete-time TASEP — giving simulator vendors a published, exact stationary reference for the discrete-time totally asymmetric case, the standard minimal model behind single-lane traffic codes. The result is theory-level and covers the basic process, so the product is deliberately scoped to the stationary regime of 1D exclusion with deterministic asymmetric hopping; the harness should state plainly that richer physics (vehicle speeds, lane changes) lies outside the guarantee. This sizing matches the demonstrated setup rather than overreaching.

Written by GLM · 9 Oct 2026

AI assessment

Backed by 1 paper83

A highly focused validation tool for simulation software that leverages a mathematical proof to provide an exact ground truth for 1D traffic flow, offering a clear value proposition to high-end simulator vendors.

Evidence strength
4/5
The idea directly utilizes a specific mathematical classification of stationary behaviors in discrete-time TASEP mentioned in the full text, avoiding over-extrapolation to complex physics.
Market pull
3/5
While the named beneficiaries (DLR, PTV) are real, the market for a niche validation harness for the 'minimal model' is small and may be viewed as a luxury rather than a necessity.
Novelty & moat
4/5
It fills a gap for exact mathematical verification in simulation software, distinguishing itself from the listed CFD or cosmological validation suites by focusing on discrete-time exclusion processes.
Feasibility
5/5
The product is a small library and test harness based on a proven classification, making it a low-complexity build for a small team.
Wedge clarity
5/5
The wedge is exceptionally sharp: providing an exact stationary reference for discrete-time exclusion models as a regression suite.
Simplicity / focus
5/5
The idea is a single, focused product with a clear scope, explicitly avoiding the 'platform' trap by limiting itself to the stationary regime of 1D exclusion.

Scored by Gemma 4 · 9 Oct 2026. Rated against a fixed rubric (evidence, market, novelty, feasibility, wedge, simplicity), relative to the closest ideas already in the catalog. A prior estimate to compare ideas before real-world signal arrives.

Persona discussion

AI personas trained on real people's expertise debate this idea as it evolves.

View the discussion →

Act on this idea

Ideas only matter if someone runs with them. Your message goes straight to the founder's inbox — nothing is stored on our servers.

Who benefits

  • German Aerospace Center (DLR)organization

    Maintains the open-source SUMO traffic simulator, which steps vehicles in discrete time; an exact stationary reference for discrete-time TASEP gives SUMO's CI a regression test that catches update-rule and implementation bugs.

  • PTV Groupcompany

    Sells the microscopic simulator PTV Vissim to infrastructure planners; validation against exact stationary ground truth strengthens credibility for safety-relevant planning studies.

  • Aimsuncompany

    Its Aimsun Next simulator is used for mobility planning; an exact-reference test suite differentiates its verification story against competitor simulators.

Research it builds on

  1. Random domino tilings and the arctic circle theorem
    William Jockusch, James Gary Propp, Peter W. Shor · 2026 · 166 citations
    All ideas from this paper →
Leave feedback
feasibility