AI 中文总结
该研究针对正弦核时带限算子S_c，推导其熵型迹的恒等式、下界与矩展开，分析相关假设的蕴含关系，并区分初等算子方法与Riemann-Hilbert渐近的结论。
AI 中文摘要
我们在L²(0,c)上通过熵型迹Trφ_u(S_c)研究正弦核时带限算子S_c，其中φ_u(x)=log(1+(e^u-1)x)-ux。傅里叶分解给出S_c=A_c^*A_c且TrS_c=c。我们推导了Tr(S_c-S_c²)的精确恒等式及下界Tr(S_c-S_c²)≥π⁻²logc - π⁻³，由此得到Trφ_u(S_c)≥ulogc/(4π²)。我们还得到正矩展开Trφ_u(S_c)=∑ₙ≥1Aₙ(u)Tₙ(c)，对每个固定n，有Landau-Widom渐近式Tₙ(c)=logc/(π²n)+oₙ(logc)。三个自然的一致性假设（记为(LC)、(MT)和(QM)）在对数增长窗口上给出阶为u²logc的二次下界。我们证明了这些假设之间的蕴含关系及所得界，给出显式常数，并解释为何仅固定指标渐近无法提供所需一致性。这些假设本身仍未解决。最后，一篇配套论文中的带符号增长参数正弦核行列式定理独立于(LC)、(MT)和(QM)给出了二次下界，这区分了初等算子方法与使用Riemann-Hilbert渐近可得到的结论。
英文摘要
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.
Comments20 pages, no figures
