{"id":"arxiv/2607.15826","url":"https://arxiv.org/abs/2607.15826","tags":["math.CA","math-ph","math.SP"],"score":0,"title":"Orthonormal Sobolev estimates with fractal measures","domain":"math.CA","source":"arxiv","authors":["Neal Bez","Keith M. Rogers","Shunya Toyoshima"],"reviews":0,"subject":"math.CA","summary":"We prove a fractal version of Lieb's Hardy-Littlewood-Sobolev inequality for orthonormal functions. On the one hand, this can be viewed as a trace theorem for orthonormal functions. On the other, it allows us to recover the Rozenblum-Tashchiyan bound for the number of negative eigenvalues of $-Δ-μ$, where $μ$ is a shell potential. We also recover Rozenblum's bound for the sum of negative eigenvalues via a Lieb-Thirring kinetic inequality. Our proof is direct, avoiding both Schatten classes and variational arguments. We first reprove Adams' fractal Hardy-Littlewood-Sobolev inequality (for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}