Reshetnyak Majorisation and discrete upper curvature bounds for Lorentzian length spaces

We present an analogue to the Majorisation Theorem of Reshetnyak in the setting of Lorentzian length spaces with upper curvature bounds: given two future-directed timelike rectifiable curves $α$ and $β$ with the same endpoints in a Lorentzian length space X, there exists a convex region in L²(K) bounded by two future-directed causal curves α and β with the same endpoints and a 1-anti-Lipschitz map from that region into X such that α and β are respectively mapped $τ$-length-preservingly onto $α$ and $β$. A special case of this theorem leads to an interesting characterisation of upper curvature bounds via four-point configurations which is truly suitable for a discrete setting.