Registry · Proposition
V.P84
tau-effective
formalized
V.P84 — Lensing-Gas Offset Bound
In any cluster merger with relative velocity v and gas fraction f_g, the lensing-gas offset satisfies Delta x <= v t_cross (1 - f_g/(1 + M_partial/M_p)), bounded by the crossing time and the ratio of boundary holonomy mass to particle mass.
Book V
Part 5
Ch. 43