Significance of the horoball shift property

Determine whether the horoball shift property has independent significance beyond abelian groups and groups whose horofunctions are uniformly quasi-subadditive and have no lower bound.

Background

The paper introduces the horoball shift property as a condition ensuring that the set of non-deterministic horofunctions is invariant under the natural group action on the horofunction boundary. The authors prove that this property follows from uniform quasi-subadditivity and the absence of a lower bound for horofunctions, but they do not establish whether the property itself has broader conceptual or geometric significance.

The unresolved issue concerns whether the horoball shift property is useful for groups outside the abelian setting and outside the class of groups already known to satisfy the two sufficient conditions used in the paper.

References

As we have seen, \cref{prop:condition_G} holds assuming only eq:horoball_shift. We do not currently know if this property has independent significance beyond abelian groups, or groups that already satisfy conditions \ref{itemhorofct:1} and \ref{itemhorofct:2}.

— Non-determinism in group actions and topological minimal self-joinings  (2609.26479 - Bitar et al., 22 Sep 2026) in Section 3, subsection “The action on the border and invariance of non-deterministic horofunctions,” immediately following Proposition 3.??