RG的流是递推还是真正的流

RG 的”流”：只是递推，还是真正的流？

你的质疑有对的内核，但结论要翻案：在简单情形”流”确实就是迭代一个映射（递推），可”流”(flow) 本身是精确的数学术语，用在这里恰如其分——真正不严谨的反倒是”重整化群”里的”群”字。

内核没错：离散 RG 就是递推

一步因子 $b$ 的 RG 是一个映射 ${\mu }^{\prime }=R_b(\mu )$，反复迭代就是

$\mu \to {\mu }^{\prime }\to {\mu }^{\prime \prime }\to \cdots$

这在数学上就是离散动力系统——迭代单个映射，等同于一条递推关系。一维伊辛抽取（一维伊辛抽取RG）尤其朴素：$K^{\prime }=\frac{1}{2}\ln \cosh 2K$ 反复套，就是个一元递推、两个不动点。在这一层，“流”和”递推”指的是同一个对象，你说得对。

但”流”是个精确的数学词

动力系统里，流 (flow) 有严格定义：一族单参数变换 ${\varphi }_s$，满足 ${\varphi }_0=\mathrm{id}$、${\varphi }_{s+t}={\varphi }_s\circ {\varphi }_t$，由一个向量场（速度场）生成——“沿速度场走时间 $s$“，本质是个自治 ODE 的解映射。RG 正好是这样的东西，原因就是第五站用过的半群性质

$R_{b_1}\circ R_{b_2}=R_{b_1{b}_2}.$

令 $\ell =\ln b$（可加），它变成 ${\varphi }_{{\ell }_1+{\ell }_2}={\varphi }_{{\ell }_1}\circ {\varphi }_{{\ell }_2}$——单参数半群。再让 $b$ 连续、步长无穷小，迭代就真的成了一个 ODE：

$\frac{d\mu }{d\ell }=\beta (\mu ).$

你已经见过一个具体的它：威尔逊–费希尔的 $\frac{du}{d\ell }=\epsilon u-(n+8)u^2$（05-重整化群）。这不是递推，是不折不扣的流（微分方程）。所以”流”这个名字是数学正主，不是物理学家瞎安的。

为什么用”流”而不用”递推”

因为重点在耦合空间里的几何，不在”算下一项”的代数。递推强调算法，“流”强调全局图像：轨迹、不动点、稳定/不稳定方向（=无关/相关，05-重整化群）、吸引域（=普适类）。RG 的全部要害——“流向哪个不动点”——正是动力系统的语言。何况数学里迭代映射也叫轨道/离散流，“流”与数学用法一致，并不冲突。

真正不严谨的是”群”

RG 反而在另一处用词偷懒：粗粒化要把短程自由度求和掉，是多对一、不可逆的（$R_b$ 没有逆），所以 $\{R_b\}$ 只构成半群而非群——流只能朝长尺度单向走（一维里 $K^{\prime }<K$ 永远把你推向 $K^{\ast }=0$）。“重整化群”严格说该叫”重整化半群”。

结论

不是物理学家不懂数学术语，恰相反：RG 是动力系统的一个相当地道的应用，“流”借得精准。一维抽取只是它退化到一元递推、两个不动点的婴儿版；等耦合空间高维（甚至无穷维）、再取连续极限成 $\beta$ 函数，“流”这个词才显出它真正的分量。若要挑刺，该挑的是”群”——它其实是半群。