The operator layer cake theorem is equivalent to Frenkel's integral formula

Hao-Chung Cheng, Gilad Gour, Ludovico Lami +1

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].…