How much load can a shared lab instrument carry when its twin assumes exponential service?
research/queue-twin
How much load a shared lab instrument carries when its twin assumes exponential service: exact Pollaczek–Khinchine wait off by (1+c²)/2, twin admits ρ=0.667 vs real 0.444 (c²=4) or 0.133 (c²=25), tails 11.7× worse, infinite mean wait for Pareto index < 2, and a plug-in c² repair that violates the SLA 70–89% of the time.
What it found
With Poisson arrivals and one server, the mean wait is exactly ρ(1+c2)/(2(1−ρ)) service times (Pollaczek–Khinchine; matched to a 1.5-million-job simulation within one standard error), so a twin with exponential service is off by (1+c2)/2 at every load. At a mean-wait SLA of 2 service times the twin admits ρ=0.667 while the real instrument admits 0.444 (c2=4) or 0.133 (c2=25): real mean waits 2.5× to 13× the SLA, and 11.7× the twin’s tail-exceedance claim at c2=4. With a Pareto tail of index below 2 the real mean wait is infinite. A negative repair result: a plug-in c2 fitted from n logged service times violates the SLA in 70–89% of repeats for n=25–1600, and a 90% bootstrap bound still 46% at n=1600. Stylised (Poisson arrivals, one server, simulated “real” instrument).
A figure from its own output
Paper, code and results
More in Digital twins & sim-to-real
- How much smoothing does a differentiable twin of a hard contact event need, and what does it cost?Smoothing a hard contact edge to make a twin trainable: real gradient is zero, twin ascent is trapped below
τ_c=0.105and misses the edge aboveR/(8cm), annealing crosses the trap, and the overshoot≈τ ln(R/(2cmτ))is an implicit safety margin capped at 0.168. - How many redundant sensors does a twin with independent errors say a robot needs?How many redundant sensors a twin with independent errors says a robot needs: exact equicorrelated fused variance,
n_eff < 1/ρand a floorσ√ρ, twin says 16 sensors vs real 30 (ρ=0.03) or none (ρ≥0.0625), 3σ gate false-alarms 8.6× too often, and a plug-in ρ repair that misses the target about half the time. - How much is one long digital-twin run worth when its output is serially correlated?How much one long digital-twin run is worth when its output is autocorrelated: exact AR(1) run-mean variance, M/M/1 wait inflation 9.7×–363× (ρ=0.5–0.9), naive 95% intervals cover 9–53%, false SLA certification 26% vs 4.8% with batch means, and batch means fail when batches are shorter than the correlation time.
- How much of a digital-twin run should be thrown away because it started in the wrong state?A twin started in the wrong state: exact AR(1) warm-up bias and MSE-optimal deletion (≈ one relaxation time, ≤1.5× gain), M/M/1 empty-start bias (−21% at ρ=0.9, n=500; 1% at 10⁴), and a negative result: MSER-5 truncation leaves more bias and more false SLA certifications than fixed deletion.
- How wrong is a twin's localisation error when real ranges have non-line-of-sight bias?A twin with Gaussian range noise vs real non-line-of-sight bias: exact rms law
GDOP·√(σ²+p(2−p)m²)(4.5–7.3× the twin's error, zero mean), a predictable bias for a blocked side, anchor counts 4 → 28–46 for a 1 m / 95% corridor, and a trimming fix that costs 24% when NLOS is absent. - Can a twin identified from logs of the deployed controller tell you whether a different controller is stable?A twin identified from logs of the deployed controller: held-out error is 1.00σ² at every dither level while the predicted pole under a new gain has sd
(σ/√n)√((k−k')²/τ²+1/v)(0.037→0.82), no dither gives a confident wrong twin (b̂=−0.22 vs +1), point-rule false stability certification 3–48% vs 0.1–4.7% for the OLS bound.
All 164 Digital twins & sim-to-real projects →
Other research topics
Proper scoring & elicitation28Effort & peer prediction9Verification games & slashing19Detection & tolerances14Markets as routers13Prediction-market design9Paying contributors8Decentralised training systems23Digital twins & sim-to-real164LLM chip design loops40Robot manufacturing loops53Ambient AI assistant46Self-replicating manufacturing34Simulation-first design64Engineered clothing45Task-specific AI accelerators40Algorithmic chip-design loops42Open-source purpose-built robots44The software-engineering loop43Adversarial human imitation41Open-source residential construction41Autonomous multi-angle capture34Sensing, imaging and 3D31Energy supply and dense energy storage39Robot societies among people31Agentic co-design of low-cost robots27Laundry-hanging robots25Machine learning on qualitative data23Robots on the building site27Civilizations & group psychology1History & human sciences1
Produced with AI assistance (Claude). Results are from the code in this repository and are simulated or stylised unless the abstract says otherwise; nothing here implies affiliation with or endorsement by any lab, researcher or company cited. MIT licensed.