activity
20102026
most citedConstructive proof of the Carpenter's Theorem

13 citations · 36 across the 22 of their papers we have counts for

collaborators

40 papers

math.FA2026

Incoherent filter banks

William J. Brinkley, Matthew Fickus, John Jasper +1

Equi-isoclinic (EI) and equichordal (EC) tight fusion frames (TFFs) are types of minimally coherent (maximally orthogonal) subspace packings that arise in several applications, suc…

stat.ML2026

Towards a mathematical theory of superposition

Michael I. Ivanitskiy, John Jasper, Emily J. King +1

We develop a mathematical theory of superposition in neural networks using tools from frame theory and compressed sensing. In our model, a sparse binary vector \(x\) of active feat…

math.FA2026

HRT counterexamples with exponential tails

John Jasper, Dustin G. Mixon

We build on the recent breakthrough of Faulhuber, Petersen, van Velthoven, and Voigtlaender that disproved the HRT conjecture with a Schwartz function and a -point configuratio…

math.FA2026

The Singer-Zauner gap for equiangular tight frames

Matthew Fickus, John Jasper, Dustin G. Mixon

We show that there does not exist a complex equiangular tight frame with \[ d^2-d+1<n<d^2. \] The proof, which originated from an internal model at OpenAI, mimics the r…

math.CO2025

Asymptotically optimal approximate Hadamard matrices

Boris Alexeev, John Jasper, Dustin G. Mixon

An approximate Hadamard matrix is a well-conditioned square matrix with all entries in . We measure the quality of a matrix by its condition number, i.e., the ratio of it…

math.FA2025

Nearly tight weighted 2-designs in complex projective spaces of every dimension

John Jasper, Dustin G. Mixon

We use dense Sidon sets to construct small weighted projective 2-designs. This represents quantitative progress on Zauner's conjecture.