On rough isometries of Poisson processes on the line (Q968773)

Two metric spaces \(X\) and \(Y\) are rough isometric if there exists a mapping \(T:X\to Y\) and constants \(M,D,R\geq0\) such that any \(x_1,x_2\in X\) satisfy \[ \frac{1}{M}d_X(x_1,x_2)-D\leq d_Y(T(x_1),T(x_2))\leq M d_x(x_1,x_2)+D \] and for any \(y\in Y\) there exists \(x\in X\) such that \(d_Y(y,T(x))\leq R\). Szegedy conjectured that two independent Poisson point processes on the line are rough isometric almost surely. Benjamini proposed to consider a quantitative version of this problem, which roughly states the following: given two independent percolations on \(\mathbb{N}\), for which constants are the first \(n\) points of the first percolation rough isometric to the initial segment of the second, with the first point mapping to the first point and with probability uniformly bounded from below? The author proves that the original question concerning Poisson processes is equivalent to proving that absolute constants are possible in this quantitative version. The author makes a progress toward the conjecture by showing that constants of order \(\sqrt{\log n}\) suffice in the quantitative version. This is the first result to improve upon the trivial construction which has constants of order \(\log n\). The constructed rough isometry is weakly monotone, and the author also discusses general monotone rough isometries, their properties and an interesting lattice structure inherent in them.