Showing math.FAShow 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.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, \…
math.FA2025
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…