Entropy-type traces and moment expansions for the sine-kernel time-band limiting operator

Abstract

We study the sine-kernel time--band limiting operator $S_c$ on $L^2(0,c)$ through the entropy-type trace $\operatorname{Tr}φ_u(S_c)$, where $φ_u(x)=\log(1+(e^u-1)x)-ux$. A Fourier factorization gives $S_c=A_c^*A_c$ and $\operatorname{Tr}S_c=c$. We derive an exact identity for $\operatorname{Tr}(S_c-S_c^2)$ and the lower bound $\operatorname{Tr}(S_c-S_c^2)\geπ^{-2}\log c-π^{-3}$, which in turn yields $\operatorname{Tr}φ_u(S_c)\ge u\log c/(4π^2)$. We also obtain a positive moment expansion $\operatorname{Tr}φ_u(S_c)=\sum_{n\ge1}A_n(u)T_n(c)$ and, for each fixed $n$, the Landau--Widom asymptotic $T_n(c)=\log c/(π^2n)+o_n(\log c)$. Three natural uniformity hypotheses, denoted (LC), (MT), and (QM), lead to a quadratic lower bound of order $u^2\log c$ on logarithmically growing windows. We prove the implications among these hypotheses and the resulting bounds, with explicit constants, and explain why the fixed-index asymptotic alone does not provide the required uniformity. The hypotheses themselves remain open. Finally, a signed growing-parameter sine-kernel determinant theorem from a companion paper gives the quadratic lower bound independently of (LC), (MT), and (QM). This separates the conclusions available from elementary operator methods from those that use Riemann--Hilbert asymptotics.