Trace formulas for Wiener--Hopf operators with applications to entropies of free fermionic equilibrium states
Hajo Leschke, Alexander V. Sobolev, Wolfgang Spitzer

TL;DR
This paper extends trace formulas for Wiener--Hopf operators to non-smooth functions, providing uniform estimates and asymptotic formulas that are applied to analyze the large-scale behavior of entropies in free fermionic equilibrium states across various dimensions.
Contribution
It introduces uniform trace norm estimates and quasiclassical asymptotics for non-smooth functions of Wiener--Hopf operators, and applies these to study entanglement and local entropies in fermionic systems.
Findings
Derived uniform trace norm estimates for non-smooth functions of Wiener--Hopf operators.
Established quasiclassical asymptotic formulas for traces in one dimension.
Analyzed the large-scale behavior of entanglement entropy at positive temperature.
Abstract
We consider non-smooth functions of (truncated) Wiener--Hopf type operators on the Hilbert space . Our main results are uniform estimates for trace norms () and quasiclassical asymptotic formulas for traces of the resulting operators (). Here, we follow Harold Widom's seminal ideas, who proved such formulas for smooth functions decades ago. The extension to non-smooth functions and the uniformity of the estimates in various (physical) parameters rest on recent advances by one of the authors (AVS). We use our results to obtain the large-scale behaviour of the local entropy and the spatially bipartite entanglement entropy (EE) of thermal equilibrium states of non-interacting fermions in position space () at positive temperature, . In particular, our definition of the thermal EE leads to estimates that are simultaneously sharp for…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
