The operator layer cake theorem is equivalent to Frenkel's integral formula
By: Hao-Chung Cheng , Gilad Gour , Ludovico Lami and more
Potential Business Impact:
Proves math idea is same as another math idea.
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.
Similar Papers
A Formalization of the Generalized Quantum Stein's Lemma in Lean
Quantum Physics
Makes quantum computers more trustworthy and reliable.
Simple and Sharp Generalization Bounds via Lifting
Statistics Theory
Makes computer learning more accurate and faster.
Talagrand's convolution conjecture up to loglog via perturbed reverse heat
Probability
Makes guessing better for computers.