Peter Cholak Marianna Csörnyei Neil Lutz Patrick Lutz Elvira Mayordomo Donald M. Stull Algorithmic Information Bounds for Distances and Orthogonal Projections. 2025 September abs/2509.05211 CoRR https://doi.org/10.48550/arXiv.2509.05211 db/journals/corr/corr2509.html#abs-2509-05211 streams/journals/corr