Manuscript Oai119-A@1 · Oai119-A.tex · section · fdff7292
Gate 3: dimension induction and classical semigroup
Stage 1: the five proof interfaces › Gate 3: dimension induction and classical semigroup · lines 650–660
The hypothesis of Proposition prop:conditionalflow is not proved in this manuscript. In particular, the exact semigroup identity does not prove the nonlinear induction step. The mean-dependent joining profile is intended to supply that step OpenAI119I,ChenGohariNair.
This semigroup acts on classical functions. No matrix-algebra Lindblad evolution is specified.