利用 lorentz R 包在狭义相对论中系统搜寻三速度陀螺分配律

在此我介绍用于处理相对论物理的 lorentz 包。该包包含四矢量变换、三速度加法以及其它相对论过程（如光子的行为）的功能。其设计旨在促进对陀螺分配律的搜寻。在狭义相对论中，三速度与标量构成一个具有加法 $\oplus$ 和标量乘法 $\odot$ 的陀螺矢量空间。标准矢量空间对标量 $a$ 与矢量 $x$、$y$ 满足分配律 $a(x + y) = ax + ay$；但对 $r\odot (u \oplus v)$ 尚无已知的类似陀螺分配律。该包被设计为促进对陀螺分配律的搜寻，并包含四矢量变换与三速度加法的功能，后者是非交换且非结合的。我使用该包系统性地扫描了庞大的潜在陀螺分配律空间，但未获成功。该包可在 CRAN 获取，地址为 \url{https://CRAN.R-project.org/package=lorentz}。