Showing 2026Show all
3 papers · 1 filter
math.FA2026
Near-Parseval orbit frames for irreducible unitary representations: from mixing and expansion
Vignon Oussa
We establish an abstract storage theorem for projectively unitary representations admitting a pair of one-parameter subgroups with conjugation escape. It produces, for every…
math.CA2026
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…
math.FA2026
Lean-certified four-point HRT results for three lattice points and one off-lattice point
Vignon Oussa
We record a Lean-certified theorem package for the four-point Heil--Ramanathan--Topiwala configuration \[ Λ=\{0,a,b,ν\}\subset \R^2, \qquad \Lzero=\Z a+\Z b, \qquad ν=r a+s b, \] w…