PreprintCC BY 4.0arXiv
PaxosLease in Relativistic Inertial Frames
Abstract
A lease grants one holder exclusive authority over a resource for a fixed term, and its safety property guarantees that at most one holder has the lease at any time. Under special relativity ``at any time'' has no frame-independent meaning for participants in relative motion. This note first restates the classical safety property with light cones, requiring a holder's expiry to lie in the causal past of any later acquisition by a different holder, an order every observer agrees about. Second, the paper modifies classical PaxosLease: the core change is that the containment and quarantine rules each gain a factor of k = √((1+β)/(1−β)), the relativistic Doppler factor, where β is relative speed as a fraction of the speed of light.
Related
- Quantum discord of Gaussian states in non-inertial frames
- Theory of Gravity as Theory of Local Inertial Frames
- Restoring Invariance to the Mechanical Wave Equation across Inertial Frames
- Classical and quantum perspectives on temperature in accelerated frames
- Compact low-frequency optomechanical triaxial inertial sensor
BibTeX
@misc{trencseni2026paxoslease,
title = {{PaxosLease in Relativistic Inertial Frames}},
author = {Márton Trencséni},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02879},
eprint = {2610.02879},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02879},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - PaxosLease in Relativistic Inertial Frames
AU - Márton Trencséni
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.02879
UR - https://arxiv.org/abs/2610.02879
AB - A lease grants one holder exclusive authority over a resource for a fixed term, and its safety property guarantees that at most one holder has the lease at any time. Under special relativity ``at any time'' has no frame-independent meaning for participants in relative motion. This note first restates the classical safety property with light cones, requiring a holder's expiry to lie in the causal past of any later acquisition by a different holder, an order every observer agrees about. Second, the paper modifies classical PaxosLease: the core change is that the containment and quarantine rules each gain a factor of k = √((1+β)/(1−β)), the relativistic Doppler factor, where β is relative speed as a fraction of the speed of light.
ER -