An intrinsically subcritical four-point counterexample

Vignon Oussa

Building on the vector-Zak and cohomological framework developed by Faulhuber, Petersen, van Velthoven, and Voigtlaender in their twelve-point counterexample, we give a computer-as…