The length of a unitary transformation for characteristic 2.
We show that for n ≥ 5, a length space (X; d) satisfies a rough n-point condition if and only if it is rough CAT(0). As a consequence, we show that the class of rough CAT(0) spaces is closed under reasonably general limit processes such as pointed and unpointed Gromov-Hausdorff limits and ultralimits.
In this paper, we prove the nonexistence of arcs with parameters (232, 48) and (233, 48) in PG(4,5). This rules out the existence of linear codes with parameters [232,5,184] and [233,5,185] over the field with five elements and improves two instances in the recent tables by Maruta, Shinohara and Kikui of optimal codes of dimension 5 over F5.