5 papers
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…
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…
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, \…
Trichotomy for the HRT Conjecture for mixed integer configuration
Vignon Oussa
We consider the HRT conjecture in the mixed-integer setting, where a finite configuration in consists of points in and one point o…
Translation--Modulation Identities, Ergodic Log-Products and a Conditional Obstruction for Schwartz Functions
Vignon Oussa
We study very smooth functions on the real line, namely Schwartz functions, that satisfy a finite identity relating their translates and a single modulation. Concretely, we assume…