Eliminating the obstructive d=4 higher-dimensional configuration
Prove that in the d=4 case with j=2, the triples from a common 3-flat associated with a given pair cannot be almost all contained in a line, or otherwise establish a construction guaranteeing conditions (i) and (ii) of balanced supersaturation simultaneously; extend the result to the analogous obstruction in all higher dimensions.
References
For the case j = 2, we now need to add three points from U which are in the same 3-flat with a given pair from A2. However, it may happen that almost all such triples from the same 3-flat are actually in a line, in which case we cannot guarantee (i) and (ii) at the same time. Intuitively, we think this case should not exist at all, but we do not know how to prove it.
— Maximum number of points in general position in a random subset of finite $3$-dimensional spaces
(2503.04102 - Balogh et al., 6 Mar 2025) in Section 4, Concluding remarks, p. 11