Log-Convexity of Fisher Information Along Heat Flow
Prior state unknown→disproved
For every smooth positive density $f$ on $\mathbb{R}^d$, must the Fisher information $t \mapsto I(f * \gamma_t)$ be log-convex along the heat flow?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review