The operator layer cake theorem is equivalent to Frenkel's integral formula
Quantum Physics
2025-12-05 v1 Information Theory
Mathematical Physics
Functional Analysis
math.IT
math.MP
Abstract
The operator layer cake theorem provides an integral representation for the directional derivative of the operator logarithm in terms of a family of projections [arXiv:2507.06232]. Recently, the related work [arXiv:2507.07065] showed that the theorem gives an alternative proof to Frenkel's integral formula for Umegaki's relative entropy [Quantum, 7:1102 (2023)]. In this short note, we find a converse implication, demonstrating that the operator layer cake theorem is equivalent to Frenkel's integral formula.
Cite
@article{arxiv.2512.04345,
title = {The operator layer cake theorem is equivalent to Frenkel's integral formula},
author = {Hao-Chung Cheng and Gilad Gour and Ludovico Lami and Po-Chieh Liu},
journal= {arXiv preprint arXiv:2512.04345},
year = {2025}
}
Comments
This note is related to arXiv:2208.12194, arXiv:2507.06232, and arXiv:2507.07065