Latency-Aware Resource Allocation over Heterogeneous Networks: A Lorentz-Invariant Market Mechanism
Abstract
We present a telecom-native auction mechanism for allocating bandwidth and time slots across heterogeneous-delay networks, ranging from low-Earth-orbit (LEO) satellite constellations to delay-tolerant deep-space relays. The Lorentz-Invariant Auction (LIA) treats bids as spacetime events and reweights reported values based on the horizon slack, a causal quantity derived from the earliest-arrival times relative to a public clearing horizon. Unlike other delay-equalization rules, LIA combines a causal-ordering formulation, a uniquely exponential slack correction implied by a semigroup-style invariance axiom, and a critical-value implementation that ensures truthful reported values once slacks are fixed by trusted infrastructure. We analyze the incentive result in the exogenous-slack regime and separately examine bounded slack-estimation error and endogenous-delay limitations. Under fixed feasible slacks, LIA is individually rational and achieves welfare at least relative to the optimal feasible allocation, where is the slack spread. We evaluate LIA on STARLINK-200, INTERNET-100, and DSN-30 across 52,500 baseline instances with market sizes and conduct additional robustness sweeps. On Starlink and Internet, LIA maintains near-efficiency while eliminating measured timing rents. However, on DSN, welfare is lower in thin markets but improves with depth. We also distinguish winner-determination time from the background cost of maintaining slack estimates and study robustness beyond independent and identically distributed (iid) noise through error-spread bounds and structured (distance-biased and subnetwork-correlated) noise models. These results suggest that causal-consistent mechanism design offers a practical non-buffering alternative to synchronized delay equalization in heterogeneous telecom infrastructures.
Figures & tables
| Design family | Core idea | Artificial waiting? | Global schedule? | Per-bid causal slack? | Value-DSIC with fixed delay weights? | Typical limitation in heterogeneous networks |
|---|---|---|---|---|---|---|
| Frequent batch auctions | Periodic clearing on a public batch clock | Yes | Yes | No | Yes | Fairness improves only by buffering; batch size directly increases waiting |
| Speed bumps / HoldBack | Delay early arrivals to equalize access | Yes | Usually yes | No | Yes | Requires trusted delay equalization and can impose unnecessary holdback |
| Common-deadline normalization | Wait until a public horizon and clear on raw values | Yes | Yes | No | Yes | Eliminates order advantage only by delaying everyone to the deadline |
| Asynchronous / distributed auctions | Clear under partial arrivals or replicated logs | Low / variable | Not necessarily | Usually no | Case specific | Often preserves residual propagation advantage or sacrifices simple truthfulness |
| LIA | Clear at a public horizon using value weighted by horizon slack from earliest arrival | No extra holdback | Public horizon, but no synchronized buffering | Yes | Yes, conditional on fixed exogenous slacks | Requires trusted or bounded-error slack estimates; endogenous slack lies outside the single-parameter theorem |
| Symbol | Meaning |
|---|---|
| Clearing horizon time on the auctioneer worldline | |
| True earliest-arrival time at for a bid event | |
| Estimated earliest-arrival time used by the controller in deployment | |
| Horizon slack for bidder , | |
| Estimated slack, | |
| Discount rate (units ) used in |
| Function | Boundary | Monotonicity | Composition |
|---|---|---|---|
| Linear: | ✓ | ✓ | Fails |
| Rational: | ✓ | ✓ | Fails |
| Polynomial: | ✓ | ✓ | Fails |
| Exponential: | ✓ | ✓ | ✓ |
| Operation | Asymptotic cost | Dominant primitive |
|---|---|---|
| Slack-map refresh (static snapshot) | Reverse-graph Dijkstra / shortest paths | |
| Slack-map refresh (time varying) | Controller dependent | Time-dependent earliest-arrival or periodic recomputation |
| Per-bid slack lookup | Array / hash lookup in cached slack map | |
| Winner & payment computation | Single pass over discounted bids | |
| Audit logging | Persist values, slacks, winner, payment |
| Topology | p50 (ms) | p95 (ms) | Mean feasible fraction |
|---|---|---|---|
| STARLINK-200 | |||
| INTERNET-100 | |||
| DSN-30 |
| Topology | Mechanism | Compute (ms) | Clearing latency (ms) | ||
|---|---|---|---|---|---|
| STARLINK-200 | Sync-VCG | [ , ] | [ , ] | [ , ] | [ , ] |
| HoldBack | [ , ] | [ , ] | [ , ] | [ , ] | |
| LIA ( ) | [ , ] | [ , ] | [ , ] | [ , ] | |
| LIA ( ) | [ , ] | [ , ] | [ , ] | [ , ] | |
| LIA ( ) | [ , ] | [ , ] | [ , ] | [ , ] | |
| LIA ( ) | [ , ] | [ , ] | [ , ] | [ , ] |
| Mechanism | Fairness strategy | LAI ( ) | Clearing latency (ms) | Explicit waiting rule | |
|---|---|---|---|---|---|
| Fast-VCG | Arrival-order clearing | No | |||
| Batch-VCG ( ms) | Public batch window | Yes | |||
| Batch-VCG ( ms) | Public batch window | Yes | |||
| Sync-VCG | Common horizon | Yes | |||
| HoldBack | Delay equalization | Yes | |||
| LIA ( ) | Causal slack discount | No |
| (ms) | iid | bias | dist | subnet | iid | bias | dist | subnet |
|---|---|---|---|---|---|---|---|---|
Mechanism Design
Mechanism design studies rules for allocating resources and shaping incentives when participants hold private information or act strategically.
See all 137 papers