English

Timing, Entry, and Revenue in Clock-Based Platform Markets

Theoretical Economics 2026-05-15 v2

Abstract

On platforms where time-to-contract is itself payoff-relevant--Aalsmeer's flower auctions, ride-hailing dispatch, on-demand-labor matching--the textbook revenue equivalence between Dutch and first-price formats holds the trading outcome fixed. Once participation is endogenous and both sides bear waiting costs, the trading format directly shapes who enters, market thickness, volume, and platform revenue. The platform's ranking of the descending clock against immediate and batched posted-price benchmarks is decided by two estimable primitives on each side of the market: an earnings gap and a timing gap. A bidirectional four-case classification identifies when the descending clock dominates at every level of waiting costs, only above a floor, only below a ceiling, or not at all; the last case is unconditional -- when the descending clock charges no more per trade and contracts no faster than the posted-price benchmark, it cannot win. No format admits a universal ranking. The local verdict propagates through endogenous entry, and cross-side complementarity amplifies shared local advantages into joint dominance. A conditional revenue theorem converts entry and volume gains into a platform-revenue ranking. In calibrated parameterizations the revenue-ranking switching boundary lies near p0/vˉ1p_0/\bar v\approx 1, inside the empirical range for ride-hailing platforms. A measurement protocol provides explicit nonparametric estimators for the six reduced-form objects and a test statistic for the dominance condition, and a Lean~4 formalization audits the algebraic and order-theoretic content. In markets where goods or services cannot wait, the speed of the trading mechanism is a primitive of market design.

Keywords

Cite

@article{arxiv.2604.10638,
  title  = {Timing, Entry, and Revenue in Clock-Based Platform Markets},
  author = {Thomas Pitz and Vinicius Ferraz},
  journal= {arXiv preprint arXiv:2604.10638},
  year   = {2026}
}

Comments

Substantially revised. Paper reframed as a trading-format design framework with a bidirectional four-case classifier identifying when each mechanism wins. Batch and revenue results conditional; Lean 4 audit covers algebraic content with Brouwer step the single gap. Code: github.com/vferraz/dutch-auctions-matching-markets. App: vferraz.github.io/dutch-auctions-matching-markets

R2 v1 2026-07-01T12:05:01.617Z